Inventory rows M8

M808BGDNHF M808BGDNHF

URI	`m2://inv/M808BGDNHF`
Kind	statement
Layer	research
MSC	54-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35180#42RC (statement). In ZA34B1CR9M/e1, lemma 2.1

History

2026-10-30: add by m2/v0.4.12

Loomis–Whitney inequality M80FGTFF6C

URI	`m2://inv/M80FGTFF6C`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of inequalities#GS4D, Loomis–Whitney inequality (statement)

History

2026-11-02: add by m2/dev

Shared-data coverage checking and policy learning M80GK9FEY6

URI	`m2://inv/M80GK9FEY6`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37380#EM79, Shared-data coverage checking and policy learning (statement). In 14Y4SA4SX0/e1, corollary

History

2026-10-30: add by m2/v0.4.12

Borel's lemma M80N44BH9N

URI	`m2://inv/M80N44BH9N`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of lemmas#S5KM, Borel's lemma (statement)

History

2026-11-02: add by m2/dev

Quartic Stein factors M80P80KR8T

URI	`m2://inv/M80P80KR8T`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25380#BRRN, Quartic Stein factors (statement)

History

2026-11-01: add by m2/v0.6.15

Local existence and uniqueness theorem simplified M80RRVF4G8

URI	`m2://inv/M80RRVF4G8`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ordinary differential equation#WKT3, Local existence and uniqueness theorem simplified (statement)

History

2026-11-02: add by m2/dev

De Bruijn function M80W2FQS6C

URI	`m2://inv/M80W2FQS6C`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of eponyms of special functions#7E0X, De Bruijn function (definition)

History

2026-11-02: add by m2/dev

M8155MV4GE M8155MV4GE

URI	`m2://inv/M8155MV4GE`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/alg-NT/artin.tex#ex:ray_class_group_finite_modulus (example). In RZP28ERRZV, example, section 8.3

History

2026-11-01: add by m2/v0.6.13

Formula M816EZE519

URI	`m2://inv/M816EZE519`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Radius#301V, Formula (statement)

History

2026-11-02: add by m2/dev

Stefan Szeider M81AHRRZMF

URI	`m2://inv/M81AHRRZMF`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#E34T, Stefan Szeider (unknown)

History

2026-11-02: add by m2/dev

Magnetic field lines M81CEZCPZS

URI	`m2://inv/M81CEZCPZS`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Magnetic field#2EW9, Magnetic field lines (unknown)

History

2026-11-02: add by m2/dev

M81DKBJ3AJ M81DKBJ3AJ

URI	`m2://inv/M81DKBJ3AJ`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16399#L2DO (statement). In 2N87D4KTSY/e1, lemma 3.6

History

2026-10-28: add by m2/v0.4.2

Generalizations M81GW53MWC

URI	`m2://inv/M81GW53MWC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Klein bottle#4UO1, Generalizations (statement)

History

2026-11-02: add by m2/dev

M81W8QTB18 M81W8QTB18

URI	`m2://inv/M81W8QTB18`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16235#47DP (statement). In RNGNWGMX85/e1, corollary 3.19

History

2026-10-28: add by m2/v0.4.2

blancmange curve M8246S11F1

URI	`m2://inv/M8246S11F1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Blancmange curve BQXRD4GVKZ

Mentions

wikidata: Wikidata Q3001209, blancmange curve (unknown). Also MathWorld BlancmangeFunction
wikipedia: Wikipedia Blancmange curve, Blancmange curve (definition). Also Wikidata Q3001209

History

2026-10-26: add by m2/dev

Carlitz exponential M82MECC5KB

URI	`m2://inv/M82MECC5KB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of exponential topics#7W60, Carlitz exponential (definition)

History

2026-11-02: add by m2/dev

M82MWX1ZKS M82MWX1ZKS

URI	`m2://inv/M82MWX1ZKS`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12810#IUL9 (statement). In DR35633CPN/e1, lemma 4.12

History

2026-10-28: add by m2/v0.4.2

Slash distribution M82RYEY6E9

URI	`m2://inv/M82RYEY6E9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#BDML, Slash distribution (definition)

History

2026-11-02: add by m2/dev

Construction M831KDFNJW

URI	`m2://inv/M831KDFNJW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Loupekine snark#HVK2, Construction (definition)

History

2026-11-02: add by m2/dev

Stokes phenomenon M832ESXP9F

URI	`m2://inv/M832ESXP9F`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Stokes phenomenon TTGF8KCA8C

Mentions

wikidata: Wikidata Q7618550, Stokes phenomenon (concept). Also MathWorld StokesPhenomenon
wikipedia: Wikipedia Stokes phenomenon, Stokes phenomenon (definition). Also Wikidata Q7618550

History

2026-10-26: add by m2/dev

Euclidean ordered field M833FVE0WR

URI	`m2://inv/M833FVE0WR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Euclidean ordered field, Euclidean ordered field (definition). Also Wikidata Q2896043

History

2026-11-02: add by m2/dev

M836RH6VR9 M836RH6VR9

URI	`m2://inv/M836RH6VR9`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37471#QQRB (statement). In KDF1GTQV08/e1, lemma 8

History

2026-10-30: add by m2/v0.4.12

M83MQ2Z0CD M83MQ2Z0CD

URI	`m2://inv/M83MQ2Z0CD`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30067#JDSZ (statement)

History

2026-11-01: add by m2/v0.6.15

Variants M83PEWY03R

URI	`m2://inv/M83PEWY03R`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Primitive recursive function#56ED, Variants (statement)

History

2026-11-02: add by m2/dev

Formal definition M83QH2JPBW

URI	`m2://inv/M83QH2JPBW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Coadjoint representation#FNKN, Formal definition (definition)

History

2026-11-02: add by m2/dev

Properties M83T4DS56P

URI	`m2://inv/M83T4DS56P`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tate curve#J59B, Properties (statement)

History

2026-11-02: add by m2/dev

Definition M84270868H

URI	`m2://inv/M84270868H`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dawson function#1GY6, Definition (definition)

History

2026-11-02: add by m2/dev

Example M842P04N3N

URI	`m2://inv/M842P04N3N`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia K-server problem#H9SX, Example (example)

History

2026-11-02: add by m2/dev

M84574R6XY M84574R6XY

URI	`m2://inv/M84574R6XY`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30274#TVM7 (statement). In 6ASPPVJP5M/e1, proposition 7

History

2026-10-31: add by m2/v0.5.6

Izabela Abramowicz M84JZXMHSC

URI	`m2://inv/M84JZXMHSC`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Izabela Abramowicz, Izabela Abramowicz (topic). Also Wikidata Q61956494

History

2026-11-02: add by m2/dev

M84R88M2RV M84R88M2RV

URI	`m2://inv/M84R88M2RV`
Kind	problem
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2608.24190#N3BP (problem). In DW7FVA587C/e1, problem 5.1

History

2026-10-27: add by m2/v0.3.5

Special cases M84TXZNZ33

URI	`m2://inv/M84TXZNZ33`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dinic's algorithm#T7U8, Special cases (statement)

History

2026-11-02: add by m2/dev

M84VJM92GY M84VJM92GY

URI	`m2://inv/M84VJM92GY`
Kind	statement
Layer	research
MSC	05-XX, 20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.03763#NAKD (statement). In ARZ4X5PXXC/e1, theorem 1.1

History

2026-10-29: add by m2/v0.4.12

M85A33X1ET M85A33X1ET

URI	`m2://inv/M85A33X1ET`
Kind	statement
Layer	research
MSC	13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25167#N6KF (statement)

History

2026-11-01: add by m2/v0.6.15

Meep M85AECYBCK

URI	`m2://inv/M85AECYBCK`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#ATYL, Meep (unknown)
wikipedia: Wikipedia List of open-source software for mathematics#GVJA, Meep (unknown)

History

2026-11-02: add by m2/dev

Spherical measure M85DF1NR78

URI	`m2://inv/M85DF1NR78`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Spherical measure, Spherical measure (definition). Also Wikidata Q7576709

History

2026-11-02: add by m2/dev

M85HPKDK9N M85HPKDK9N

URI	`m2://inv/M85HPKDK9N`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10745#JG3H (statement). In 5MJ4NJ5ZCV/e1, proposition C.1

History

2026-10-28: add by m2/v0.4.3

M85J9W145N M85J9W145N

URI	`m2://inv/M85J9W145N`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2306.01410#ARQA (statement). In BE0P5W2W3T/e1, lemma 2.1

History

2026-10-27: add by m2/v0.4.0

Approximations of the gamma function M85KWHVVFR

URI	`m2://inv/M85KWHVVFR`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gamma function#KMOJ, Approximations of the gamma function (unknown)

History

2026-11-02: add by m2/dev

Identity and geography M860TFDSBP

URI	`m2://inv/M860TFDSBP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Barhebraeus#GG4S, Identity and geography (statement)

History

2026-11-02: add by m2/dev

M869ZJAJH0 M869ZJAJH0

URI	`m2://inv/M869ZJAJH0`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2601.18223#YQKM (statement). In ZRXE7EJA93/e1, proposition 4.1

History

2026-10-27: add by m2/v0.3.5

Freudenthal magic square M86BHRMM9E

URI	`m2://inv/M86BHRMM9E`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of algebraic constructions#W0O9, Freudenthal magic square (definition)

History

2026-11-02: add by m2/dev

Corollary: Tucker's lemma M86GSGXMX6

URI	`m2://inv/M86GSGXMX6`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ky Fan lemma#PTVY, Corollary: Tucker's lemma (statement)

History

2026-11-02: add by m2/dev

M86KYDGFDW M86KYDGFDW

URI	`m2://inv/M86KYDGFDW`
Kind	statement
Layer	research
MSC	54-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33841#56S1 (statement). In 3CVQHT206K/e1, corollary 4.7

History

2026-10-30: add by m2/v0.4.12

Hadamard transform M86MWK4AEN

URI	`m2://inv/M86MWK4AEN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of transforms#L398, Hadamard transform (definition)

History

2026-11-02: add by m2/dev

Strong tail optimality of \DynoSPLIT M86RG9XR62

URI	`m2://inv/M86RG9XR62`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17329#KV7E, Strong tail optimality of \DynoSPLIT (statement). In F6GD5JWK9M/e1, theorem 3.3

History

2026-10-28: add by m2/v0.4.2

Definition M87590XV3E

URI	`m2://inv/M87590XV3E`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Idempotent relation#MKL6, Definition (definition)

History

2026-11-02: add by m2/dev

Hypercontractivity M87EN2EKHM

URI	`m2://inv/M87EN2EKHM`
Kind	definition
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22338#O0IA, Hypercontractivity (definition)

History

2026-11-02: add by m2/v0.6.17

Computation M87G01G1AT

URI	`m2://inv/M87G01G1AT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Engset formula#9Y7D, Computation (definition)

History

2026-11-02: add by m2/dev

M87HPP6H56 M87HPP6H56

URI	`m2://inv/M87HPP6H56`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01251#TBPH (statement). In CZ2247RGQ4/e1, theorem 3.2.2

History

2026-10-29: add by m2/v0.4.12

Brouwer–Haemers graph M87K8QE027

URI	`m2://inv/M87K8QE027`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q939219, Brouwer–Haemers graph (unknown). Also House of Graphs 962, MathWorld Brouwer-HaemersGraph
wikipedia: Wikipedia Brouwer–Haemers graph, Brouwer–Haemers graph (definition). Also Wikidata Q939219

History

2026-10-26: add by m2/dev

M87MTXM727 M87MTXM727

URI	`m2://inv/M87MTXM727`
Kind	definition
Layer	research
MSC	05-XX, 51-XX, 52-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2208.13855#H7GW (definition). In GJKRVZ5YN5/e1, definition Definition

History

2026-10-27: add by m2/v0.3.5

Examples M87NRYZTDA

URI	`m2://inv/M87NRYZTDA`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Common cause and special cause (statistics)#AK5F, Examples (example)

History

2026-11-02: add by m2/dev

M87QZB4VQE M87QZB4VQE

URI	`m2://inv/M87QZB4VQE`
Kind	problem
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia NL (complexity)#W8AV (problem)

History

2026-11-02: add by m2/dev

M8832XXBMC M8832XXBMC

URI	`m2://inv/M8832XXBMC`
Kind	statement
Layer	research
MSC	14-XX, 37-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13100#2Z8J (statement). In CC6S1HVK0T/e1, lemma 5.27

History

2026-10-28: add by m2/v0.4.2

Great 120-cell honeycomb M883D9ZX6H

URI	`m2://inv/M883D9ZX6H`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical shapes#AM7M, Great 120-cell honeycomb (definition)

History

2026-11-02: add by m2/dev

Magnus-Moldavansky method M885529H0B

URI	`m2://inv/M885529H0B`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia One-relator group#DUQG, Magnus-Moldavansky method (unknown)

History

2026-11-02: add by m2/dev

M88FBMG1SH M88FBMG1SH

URI	`m2://inv/M88FBMG1SH`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08288#TG3I (statement). In CHVWYJM7RM/e1, lemma C.7

History

2026-10-29: add by m2/v0.4.10

Analemma M88G724KSH

URI	`m2://inv/M88G724KSH`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Analemma, Analemma (definition). Also Wikidata Q484737

History

2026-11-02: add by m2/dev

Definition M88JQ4YVAE

URI	`m2://inv/M88JQ4YVAE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fuzzy measure theory#5VTD, Definition (definition)

History

2026-11-02: add by m2/dev

List of things named after Stefan Banach M88MEZSWF3

URI	`m2://inv/M88MEZSWF3`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lists of mathematics topics#KRMC, List of things named after Stefan Banach (unknown)

History

2026-11-02: add by m2/dev

Proposition 2 M88TA5NRFB

URI	`m2://inv/M88TA5NRFB`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Geiringer–Laman theorem#DD88, Proposition 2 (statement)

History

2026-11-02: add by m2/dev

Ciphertext expansion M88TPRXHGK

URI	`m2://inv/M88TPRXHGK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ciphertext expansion, Ciphertext expansion (definition). Also Wikidata Q5121276

History

2026-11-02: add by m2/dev

M88TX4AR8A M88TX4AR8A

URI	`m2://inv/M88TX4AR8A`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2411.17412#NVIN (statement). In DPBHYJBGKD/e1, proposition 3.15

History

2026-10-27: add by m2/v0.3.6

M88VR10JQH M88VR10JQH

URI	`m2://inv/M88VR10JQH`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23341#V6JY (statement)

History

2026-11-02: add by m2/v0.6.17

The 2-out-of-3 property M88W0H8E76

URI	`m2://inv/M88W0H8E76`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book equivalences.tex#thm:two-out-of-three, The 2-out-of-3 property (statement). In N54F33XE07, thm, section 3.7

History

2026-11-01: add by m2/v0.6.13

Burnside's lemma M88XB1R1QA

URI	`m2://inv/M88XB1R1QA`
Kind	statement
Layer	textbook
Sources	3
Outcome	node (a node has the same Wikidata item as the row)
Node	Burnside's lemma 0Z47M1B2VS

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > Burnside lemma, Burnside lemma (unknown). Also Mathlib MulAction.sum_card_fixedBy_eq_card_orbits_mul_card_group
wikidata: Wikidata Q1330377, Burnside's lemma (statement). Also EoM Burnside_Lemma, Mathlib MulAction.sum_card_fixedBy_eq_card_orbits_mul_card_group, MathWorld Cauchy-FrobeniusLemma, ProofWiki Burnside's_Lemma
wikipedia: Wikipedia Burnside's lemma, Burnside's lemma (statement). Also Wikidata Q1330377

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Hp-FEM M897VP3CV0

URI	`m2://inv/M897VP3CV0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of numerical analysis topics#146J, Hp-FEM (definition)

History

2026-11-02: add by m2/dev

M89DWVJV8C M89DWVJV8C

URI	`m2://inv/M89DWVJV8C`
Kind	statement
Layer	research
MSC	55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2509.21444#ISTG (statement). In CTVPA2FQT1/e1, lemma 7.2

History

2026-10-27: add by m2/v0.4.0

Properties M89H62SBJV

URI	`m2://inv/M89H62SBJV`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia BLS digital signature#RG04, Properties (statement)

History

2026-11-02: add by m2/dev

Clebsch surface M89K1CWGEQ

URI	`m2://inv/M89K1CWGEQ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#R8XD, Clebsch surface (definition)

History

2026-11-02: add by m2/dev

The off-diagonal estimate M89MBFH9DY

URI	`m2://inv/M89MBFH9DY`
Kind	statement
Layer	research
MSC	35-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24739#5I4U, The off-diagonal estimate (statement)

History

2026-11-01: add by m2/v0.6.15

Formal definitions M89ZAJY05H

URI	`m2://inv/M89ZAJY05H`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Time-scale calculus#G3XX, Formal definitions (definition)

History

2026-11-02: add by m2/dev

Idempotent measure M8A6F6VFZC

URI	`m2://inv/M8A6F6VFZC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Idempotent measure, Idempotent measure (definition). Also Wikidata Q5988171

History

2026-11-02: add by m2/dev

M8A7M4R4DR M8A7M4R4DR

URI	`m2://inv/M8A7M4R4DR`
Kind	conjecture
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02352#05T6 (conjecture). In EAMF68FANV/e1, conjecture 4

History

2026-10-29: add by m2/v0.4.12

Govindasvāmi M8A97SMT7T

URI	`m2://inv/M8A97SMT7T`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Indian mathematicians#NL1B, Govindasvāmi (unknown)

History

2026-11-02: add by m2/dev

M8AC6PVAVN M8AC6PVAVN

URI	`m2://inv/M8AC6PVAVN`
Kind	statement
Layer	research
MSC	18-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09945#RE3G (statement). In V7VCEA0VAA/e1, lemma 3.14

History

2026-10-29: add by m2/v0.4.10

M8AER0Q94W M8AER0Q94W

URI	`m2://inv/M8AER0Q94W`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27253#JXUI (statement)

History

2026-11-01: add by m2/v0.6.15

M8AHTKS49S M8AHTKS49S

URI	`m2://inv/M8AHTKS49S`
Kind	statement
Layer	research
MSC	35-XX, 46-XX, 65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06645#HMBI (statement). In 79H1DEK4M9/e1, theorem 5.6

History

2026-10-29: add by m2/v0.4.10

M8AJVCJS40 M8AJVCJS40

URI	`m2://inv/M8AJVCJS40`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14278#DIJ1 (statement). In RTE2C0PH4S/e1, lemma 4.2

History

2026-10-28: add by m2/v0.4.2

History of business analytics M8AYYBTZRG

URI	`m2://inv/M8AYYBTZRG`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Business analytics#2UU3, History of business analytics (unknown)

History

2026-11-02: add by m2/dev

Gilbert W. Beebe M8B0MYVKCG

URI	`m2://inv/M8B0MYVKCG`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#2WM0, Gilbert W. Beebe (unknown)

History

2026-11-02: add by m2/dev

M8B4FVDQ6Z M8B4FVDQ6Z

URI	`m2://inv/M8B4FVDQ6Z`
Kind	statement
Layer	research
MSC	13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13888#S0MA (statement). In XJWYBPS14M/e1, lemma 5.4

History

2026-10-28: add by m2/v0.4.2

Addition theorem M8B51DG9FX

URI	`m2://inv/M8B51DG9FX`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Weierstrass elliptic function#IZSN, Addition theorem (statement)

History

2026-11-02: add by m2/dev

Remark M8B9XFKWQM

URI	`m2://inv/M8B9XFKWQM`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#Z3MA, Remark (unknown)

History

2026-11-02: add by m2/dev

M8BEYK978J M8BEYK978J

URI	`m2://inv/M8BEYK978J`
Kind	statement
Layer	research
MSC	46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17411#9K69 (statement). In 73QW05MWQB/e1, corollary 1.6

History

2026-10-28: add by m2/v0.4.2

Riemann–Roch theorem M8BF0M8VQW

URI	`m2://inv/M8BF0M8VQW`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Riemann–Roch theorem#SYSB, Riemann–Roch theorem (statement)

History

2026-11-02: add by m2/dev

Locked state M8BFE7KJWN

URI	`m2://inv/M8BFE7KJWN`
Kind	definition
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15686#9K31, Locked state (definition). In 4HCK722M2G/e1, definition 2.8

History

2026-10-28: add by m2/v0.4.2

Boris Feigin M8BM4Y8YVT

URI	`m2://inv/M8BM4Y8YVT`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q893715, Boris Feigin (unknown). Also nLab Boris Feigin
wikipedia: Wikipedia Boris Feigin, Boris Feigin (topic). Also Wikidata Q893715

History

2026-10-26: add by m2/dev

M8BMAFE8W5 M8BMAFE8W5

URI	`m2://inv/M8BMAFE8W5`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2405.10580#4ACS (statement). In FXEJE0PWEP/e1, lemma A.2

History

2026-10-27: add by m2/v0.3.5

Solvability of the balance equations M8C3CJTVEY

URI	`m2://inv/M8C3CJTVEY`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02843#G78N, Solvability of the balance equations (statement). In 2XC1KQXA9H/e1, lemma 4

History

2026-10-29: add by m2/v0.4.12

M8C63YBE17 M8C63YBE17

URI	`m2://inv/M8C63YBE17`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2507.17002#BS5H (statement). In 2EEBP88T16/e1, theorem 3.1

History

2026-10-27: add by m2/v0.3.5

M8CG9ZKHHV M8CG9ZKHHV

URI	`m2://inv/M8CG9ZKHHV`
Kind	statement
Layer	research
MSC	05-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08196#EJ34 (statement). In 8QVWZ23N42/e1, lemma 5.12

History

2026-10-29: add by m2/v0.4.10

collinear M8D0C94A8J

URI	`m2://inv/M8D0C94A8J`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#ISZ3, collinear (definition)

History

2026-11-02: add by m2/dev

M8D2BZYM9V M8D2BZYM9V

URI	`m2://inv/M8D2BZYM9V`
Kind	statement
Layer	research
MSC	30-XX, 32-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00914#TEMG (statement). In TQ9CKHBTWN/e1, lemma 3.1

History

2026-10-29: add by m2/v0.4.12

M8DAD23PTY M8DAD23PTY

URI	`m2://inv/M8DAD23PTY`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/first-order-logic/tableaux/provability-consistency.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 22.7

History

2026-11-01: add by m2/v0.6.13

Applications M8DC8JF96M

URI	`m2://inv/M8DC8JF96M`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Differential equation#Y0JP, Applications (example)

History

2026-11-02: add by m2/dev

Examples M8DD0GMFY3

URI	`m2://inv/M8DD0GMFY3`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Free category#2FEY, Examples (example)

History

2026-11-02: add by m2/dev

Uniform bound for a fixed bending parameter M8DEJTN8JG

URI	`m2://inv/M8DEJTN8JG`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26873#N1I6, Uniform bound for a fixed bending parameter (statement)

History

2026-11-01: add by m2/v0.6.15

M8DENDAR03 M8DENDAR03

URI	`m2://inv/M8DENDAR03`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02489#4TVF (statement). In ZCJDWDR16Z/e1, theorem 6.4

History

2026-10-29: add by m2/v0.4.12

Real hyperbolic spectral hyperuniformity M8DFWNAQEH

URI	`m2://inv/M8DFWNAQEH`
Kind	definition
Layer	research
MSC	37-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2503.01567#6PHT, Real hyperbolic spectral hyperuniformity (definition). In GB0V23Q6C5/e1, definition A.6

History

2026-10-27: add by m2/v0.3.5

Valuations after a quadratic shift M8DNV42EJE

URI	`m2://inv/M8DNV42EJE`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30301#2SVF, Valuations after a quadratic shift (statement). In 7NS75J7HAM/e1, lemma 9.36

History

2026-10-31: add by m2/v0.5.6

main M8DPY2KQAE

URI	`m2://inv/M8DPY2KQAE`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02743#UF7L, main (statement). In GQH4ZPDWET/e1, theorem 1.2

History

2026-10-29: add by m2/v0.4.12

International Conference on Technology in Collegiate Mathematics M8DQSPKX57

URI	`m2://inv/M8DQSPKX57`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia International Conference on Technology in Collegiate Mathematics, International Conference on Technology in Collegiate Mathematics (definition). Also Wikidata Q6049692

History

2026-11-02: add by m2/dev

Friedberg–Muchnik theorem M8DR30JWA2

URI	`m2://inv/M8DR30JWA2`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Friedberg–Muchnik theorem#Q9WJ, Friedberg–Muchnik theorem (statement)

History

2026-11-02: add by m2/dev

M8DX5ATCZ4 M8DX5ATCZ4

URI	`m2://inv/M8DX5ATCZ4`
Kind	definition
Layer	research
MSC	18-XX, 54-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10930#ROV2 (definition). In HX63A1PH1W/e1, definition 7.25

History

2026-10-28: add by m2/v0.4.3

Jacopo Barsotti M8E2G3EASM

URI	`m2://inv/M8E2G3EASM`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Italian mathematicians#HIPQ, Jacopo Barsotti (topic)

History

2026-11-02: add by m2/dev

M8EAJK8YX8 M8EAJK8YX8

URI	`m2://inv/M8EAJK8YX8`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31689#QUFI (statement). In Z7M2JSF6HA/e1, lemma 10.1

History

2026-10-31: add by m2/v0.5.6

Van der Corput lemma M8EJFEDCWP

URI	`m2://inv/M8EJFEDCWP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia ATS theorem#QHJL, Van der Corput lemma (statement)

History

2026-11-02: add by m2/dev

M8EZWEKNM8 M8EZWEKNM8

URI	`m2://inv/M8EZWEKNM8`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12705#IBZB (statement). In P9ZEYB9AMG/e1, theorem 1

History

2026-10-28: add by m2/v0.4.2

M8F0M0V9EC M8F0M0V9EC

URI	`m2://inv/M8F0M0V9EC`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02579#VN0Q (statement). In CBTJDYHH34/e1, lemma 6

History

2026-10-29: add by m2/v0.4.12

M8F86ANRTV M8F86ANRTV

URI	`m2://inv/M8F86ANRTV`
Kind	statement
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31783#QY3V (statement). In CGNVT4C47F/e1, lemma 5.1

History

2026-10-31: add by m2/v0.5.6

M8F9HYHAGS M8F9HYHAGS

URI	`m2://inv/M8F9HYHAGS`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22296#KXW1 (statement)

History

2026-11-02: add by m2/v0.6.17

M8FY9PB1A0 M8FY9PB1A0

URI	`m2://inv/M8FY9PB1A0`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2308.02672#UMLQ (statement). In ETRT1R1CQ8/e1, proposition 3.1

History

2026-10-27: add by m2/v0.4.0

M8G0B7V55B M8G0B7V55B

URI	`m2://inv/M8G0B7V55B`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17589#0EWM (statement). In GSTK4569X1/e1, lemma 2.4

History

2026-10-28: add by m2/v0.4.2

M8G5G1G3D9 M8G5G1G3D9

URI	`m2://inv/M8G5G1G3D9`
Kind	statement
Layer	research
MSC	17-XX, 57-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18618#DA3Q (statement). In C8VC86B6H8/e1, lemma A.4

History

2026-10-28: add by m2/v0.4.2

M8G77S8X2F M8G77S8X2F

URI	`m2://inv/M8G77S8X2F`
Kind	statement
Layer	research
MSC	46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11043#JWRW (statement). In R3NJYPZH52/e1, lemma 4.8

History

2026-10-28: add by m2/v0.4.3

M8G8DY38X5 M8G8DY38X5

URI	`m2://inv/M8G8DY38X5`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11031#JDQR (statement). In 9DMJXFRQN9/e1, lemma 2.12

History

2026-10-28: add by m2/v0.4.3

Vaughan Jones construction M8GBZ8S4E9

URI	`m2://inv/M8GBZ8S4E9`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of algebraic constructions#L0H1, Vaughan Jones construction (unknown)

History

2026-11-02: add by m2/dev

Construction M8GCD09HSJ

URI	`m2://inv/M8GCD09HSJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gray graph#9GVQ, Construction (definition)

History

2026-11-02: add by m2/dev

Discrete Wronskian identity M8GDMB2YZC

URI	`m2://inv/M8GDMB2YZC`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00396#WMIC, Discrete Wronskian identity (statement). In V13TE1RWT9/e1, proposition 5.1

History

2026-10-30: add by m2/v0.4.12

Proof that pi is irrational M8GDRFQ3JA

URI	`m2://inv/M8GDRFQ3JA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Proof that pi is irrational, Proof that pi is irrational (definition). Also Wikidata Q3267775

History

2026-11-02: add by m2/dev

Existence of cuspidal base change M8GESFDYG5

URI	`m2://inv/M8GESFDYG5`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26477#B6QJ, Existence of cuspidal base change (statement)

History

2026-11-01: add by m2/v0.6.15

M8GV0QRBKS M8GV0QRBKS

URI	`m2://inv/M8GV0QRBKS`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40355#P6ZV (statement). In SBP98GWKC8/e1, lemma 2

History

2026-10-30: add by m2/v0.4.12

M8GVSX94CN M8GVSX94CN

URI	`m2://inv/M8GVSX94CN`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18277#SZO9 (statement). In YFRNY7S92A/e1, proposition 6.9

History

2026-10-28: add by m2/v0.4.2

Composition and countable summation M8GZB7VP21

URI	`m2://inv/M8GZB7VP21`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29147#MR4R, Composition and countable summation (statement)

History

2026-11-01: add by m2/v0.6.15

Poisson comparison for unbiased PSD sparsifiers M8GZJCTSQ1

URI	`m2://inv/M8GZJCTSQ1`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38228#YDEC, Poisson comparison for unbiased PSD sparsifiers (statement). In 9YAE8FNQST/e1, theorem 7.12

History

2026-10-30: add by m2/v0.4.12

Finite-energy renormalized weak solution M8H95XSRVT

URI	`m2://inv/M8H95XSRVT`
Kind	definition
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12387#1F5Z, Finite-energy renormalized weak solution (definition). In 3Z0PRE77SY/e1, definition 1.1

History

2026-10-28: add by m2/v0.4.2

M8HASJZ9HJ M8HASJZ9HJ

URI	`m2://inv/M8HASJZ9HJ`
Kind	definition
Layer	research
MSC	17-XX, 18-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2304.07398#RLQ2 (definition). In JS5FKV1S9T/e1, definition F.2

History

2026-10-27: add by m2/v0.3.5

John Robert Ringrose M8HCA8G0JY

URI	`m2://inv/M8HCA8G0JY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1C7N, John Robert Ringrose (unknown)

History

2026-11-02: add by m2/dev

Properties M8HHEK2HZR

URI	`m2://inv/M8HHEK2HZR`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Proximity space#BYAT, Properties (statement)

History

2026-11-02: add by m2/dev

Finitism M8HN94W1QR

URI	`m2://inv/M8HN94W1QR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Finitism, Finitism (definition). Also Wikidata Q1417326

History

2026-11-02: add by m2/dev

Results M8HNVJCJZ5

URI	`m2://inv/M8HNVJCJZ5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 1941 Romanian census#PKJG, Results (statement)

History

2026-11-02: add by m2/dev

M8HY4PK0ED M8HY4PK0ED

URI	`m2://inv/M8HY4PK0ED`
Kind	example
Layer	research
MSC	53-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1408.1555#7CLD (example). In S1F2QW24YW/e1, example 2.14

History

2026-10-27: add by m2/v0.3.5

Fin M8HZJTD0Q5

URI	`m2://inv/M8HZJTD0Q5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fin (extended surface), Fin (definition). Also Wikidata Q604165

History

2026-11-02: add by m2/dev

Spatial weight matrix M8J41JWTW6

URI	`m2://inv/M8J41JWTW6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Spatial weight matrix, Spatial weight matrix (definition). Also Wikidata Q125784590

History

2026-11-02: add by m2/dev

M8J4HNMVCJ M8J4HNMVCJ

URI	`m2://inv/M8J4HNMVCJ`
Kind	statement
Layer	research
MSC	30-XX, 32-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35474#MFP3 (statement). In 9QWPGZ92ZN/e1, proposition 2.4

History

2026-10-30: add by m2/v0.4.12

M8J5QH3BER M8J5QH3BER

URI	`m2://inv/M8J5QH3BER`
Kind	example
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07673#VDVZ (example). In 37B1MPV8GX/e1, example 8.5

History

2026-10-29: add by m2/v0.4.10

M8JD09X0JM M8JD09X0JM

URI	`m2://inv/M8JD09X0JM`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39700#8O5Q (statement). In E7W2HDNEKJ/e1, corollary 9.32

History

2026-10-30: add by m2/v0.4.12

M8JFT1YDA7 M8JFT1YDA7

URI	`m2://inv/M8JFT1YDA7`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11481#TL9A (statement). In 8XHK5ZCX7H/e1, lemma 6.3

History

2026-10-28: add by m2/v0.4.3

M8JV045YNR M8JV045YNR

URI	`m2://inv/M8JV045YNR`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-7 (example). In E59CDZA4DP, example, section 6.2.3

History

2026-11-01: add by m2/v0.6.13

M8JZ43WEJM M8JZ43WEJM

URI	`m2://inv/M8JZ43WEJM`
Kind	problem
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04809#ZJLG (problem). In 2VHV0RNTNV/e1, problem 10.5

History

2026-10-29: add by m2/v0.4.12

Nancy Obuchowski M8K7FCTD0N

URI	`m2://inv/M8K7FCTD0N`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#GQXP, Nancy Obuchowski (topic)

History

2026-11-02: add by m2/dev

M8K7QHPZ3F M8K7QHPZ3F

URI	`m2://inv/M8K7QHPZ3F`
Kind	definition
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09129#YXUV (definition). In Z1RZSF68XZ/e1, definition 4.3

History

2026-10-29: add by m2/v0.4.10

M8KBEJF68V M8KBEJF68V

URI	`m2://inv/M8KBEJF68V`
Kind	definition
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05056#335S (definition). In 4PF04DW3YP/e1, definition 2.2

History

2026-10-29: add by m2/v0.4.12

Permutation pattern M8KE83SBQT

URI	`m2://inv/M8KE83SBQT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Permutation pattern, Permutation pattern (definition). Also Wikidata Q7169371

History

2026-11-02: add by m2/dev

topological modular form M8KYGDTZVH

URI	`m2://inv/M8KYGDTZVH`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Topological modular forms JN73KE96YB

Mentions

wikidata: Wikidata Q7825037, topological modular form (unknown). Also nLab topological modular form
wikipedia: Wikipedia Topological modular forms, Topological modular forms (definition). Also Wikidata Q7825037

History

2026-10-26: add by m2/dev

M8M6SJ83QS M8M6SJ83QS

URI	`m2://inv/M8M6SJ83QS`
Kind	statement
Layer	research
MSC	49-XX, 62-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22642#66E5 (statement)

History

2026-11-02: add by m2/v0.6.17

M8MM2ZJYK5 M8MM2ZJYK5

URI	`m2://inv/M8MM2ZJYK5`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25524#RXBI (statement)

History

2026-11-01: add by m2/v0.6.15

M8MMVERZZY M8MMVERZZY

URI	`m2://inv/M8MMVERZZY`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20805#8P1H (statement)

History

2026-11-02: add by m2/v0.6.18

Oded Regev M8MN8V53DZ

URI	`m2://inv/M8MN8V53DZ`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#DLUC, Oded Regev (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JEDM, Oded Regev (topic)

History

2026-11-02: add by m2/dev

M8MVCBRPMR M8MVCBRPMR

URI	`m2://inv/M8MVCBRPMR`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

active_calculus: active_calculus source/activities/act-2-4-3.xml#act-2-4-3 (exercise). In 907G4C4EJ1, activity, section 2.4.2

History

2026-11-01: add by m2/v0.6.13

M8MZB37CMB M8MZB37CMB

URI	`m2://inv/M8MZB37CMB`
Kind	definition
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2105.13129#TFH5 (definition). In J5Z1JD5VKR/e1, definition 3.1

History

2026-10-27: add by m2/v0.4.0

M8N12R4A77 M8N12R4A77

URI	`m2://inv/M8N12R4A77`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 22-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2603.07541#46D9 (statement). In X3RFXWN6FW/e1, lemma 5.9

History

2026-10-27: add by m2/v0.3.6

cube M8N3TXMQ63

URI	`m2://inv/M8N3TXMQ63`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of graph theory#8MGW, cube (definition)

History

2026-11-02: add by m2/dev

M8N4CZTNHW M8N4CZTNHW

URI	`m2://inv/M8N4CZTNHW`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07673#PGLB (statement). In 37B1MPV8GX/e1, proposition 7.1

History

2026-10-29: add by m2/v0.4.10

Uses of Peirce's criterion M8N690F46Y

URI	`m2://inv/M8N690F46Y`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Peirce's criterion#AEKI, Uses of Peirce's criterion (example)

History

2026-11-02: add by m2/dev

Time series analysis M8NDANED13

URI	`m2://inv/M8NDANED13`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of probability topics#AUBO, Time series analysis (definition)

History

2026-11-02: add by m2/dev

Applications M8NE4FD4E5

URI	`m2://inv/M8NE4FD4E5`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Envelope (mathematics)#OOOE, Applications (example)

History

2026-11-02: add by m2/dev

Uniform shifted products M8NNE8QR9J

URI	`m2://inv/M8NNE8QR9J`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06544#5F5C, Uniform shifted products (statement). In VCRB27RMN6/e1, lemma 4.2

History

2026-10-29: add by m2/v0.4.10

proof M8NYR28X6T

URI	`m2://inv/M8NYR28X6T`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/A.11/proof, proof (concept). In N54F33XE07, index, section A.11

History

2026-11-01: add by m2/v0.6.13

M8P638AB39 M8P638AB39

URI	`m2://inv/M8P638AB39`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24795#VDQE (statement)

History

2026-11-01: add by m2/v0.6.15

factorization homology M8P85YX4HG

URI	`m2://inv/M8P85YX4HG`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q39046233, factorization homology (unknown). Also nLab factorization homology
wikipedia: Wikipedia Factorization homology, Factorization homology (definition). Also Wikidata Q39046233

History

2026-10-26: add by m2/dev

M8PBE73R6A M8PBE73R6A

URI	`m2://inv/M8PBE73R6A`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05791#VBIH (statement). In CP0PVZ70MF/e1, lemma 1

History

2026-10-29: add by m2/v0.4.10

M8PDPWBZME M8PDPWBZME

URI	`m2://inv/M8PDPWBZME`
Kind	statement
Layer	research
MSC	35-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01653#4SE7 (statement). In WZMHJCQPB2/e1, proposition 4.3

History

2026-10-29: add by m2/v0.4.12

Common formulas M8PFZ3KVSW

URI	`m2://inv/M8PFZ3KVSW`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Electric potential#SFBB, Common formulas (statement)

History

2026-11-02: add by m2/dev

hom-class M8PKP6SS56

URI	`m2://inv/M8PKP6SS56`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#2WDG, hom-class (definition)

History

2026-11-02: add by m2/dev

Composite number M8PS2BAWM1

URI	`m2://inv/M8PS2BAWM1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of types of numbers#NL59, Composite number (definition)

History

2026-11-02: add by m2/dev

Applications M8PS883GV4

URI	`m2://inv/M8PS883GV4`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Root mean square deviation#B0UJ, Applications (example)

History

2026-11-02: add by m2/dev

M8PTMD6NN6 M8PTMD6NN6

URI	`m2://inv/M8PTMD6NN6`
Kind	definition
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25703#VCGT (definition)

History

2026-11-01: add by m2/v0.6.15

Binary polyhedral group M8PZBCPND5

URI	`m2://inv/M8PZBCPND5`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Point groups in three dimensions#Y5GC, Binary polyhedral group (unknown)

History

2026-11-02: add by m2/dev

Street Epistemology M8Q8MDMQG1

URI	`m2://inv/M8Q8MDMQG1`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Peter Boghossian#CIMA, Street Epistemology (unknown)

History

2026-11-02: add by m2/dev

M8Q9PV7Q9R M8Q9PV7Q9R

URI	`m2://inv/M8Q9PV7Q9R`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#GKQ4 (unknown). In QNBFHFZ3H0/e1, unknown 96

History

2026-10-28: add by m2/v0.4.2

M8QAZS7HQG M8QAZS7HQG

URI	`m2://inv/M8QAZS7HQG`
Kind	statement
Layer	research
MSC	03-XX, 16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2503.00440#TN76 (statement). In 3HMRK8KEVD/e1, lemma 2.8

History

2026-10-27: add by m2/v0.3.6

M8QQ3A68PR M8QQ3A68PR

URI	`m2://inv/M8QQ3A68PR`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28411#7N0R (statement)

History

2026-11-01: add by m2/v0.6.15

Boundary-pairing estimate M8QSJNDEBF

URI	`m2://inv/M8QSJNDEBF`
Kind	statement
Layer	research
MSC	60-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08149#N07Z, Boundary-pairing estimate (statement). In E128PFR76Q/e1, proposition 2.2

History

2026-10-29: add by m2/v0.4.10

tensor power M8QVFNFTPD

URI	`m2://inv/M8QVFNFTPD`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q77977447, tensor power (unknown). Also nLab tensor power

History

2026-10-26: add by m2/dev

Godofredo Garcia M8QYA2WMV8

URI	`m2://inv/M8QYA2WMV8`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#393Y, Godofredo Garcia (unknown)

History

2026-11-02: add by m2/dev

Dirichlet negative multinomial distribution M8QZNRRGMM

URI	`m2://inv/M8QZNRRGMM`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dirichlet negative multinomial distribution, Dirichlet negative multinomial distribution (definition). Also Wikidata Q96376419

History

2026-11-02: add by m2/dev

reflexive M8R55JBMCV

URI	`m2://inv/M8R55JBMCV`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of module theory#0Q3D, reflexive (definition)

History

2026-11-02: add by m2/dev

Mathematics Magazine M8R83XWW4P

URI	`m2://inv/M8R83XWW4P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mathematics Magazine, Mathematics Magazine (definition). Also Wikidata Q3298519

History

2026-11-02: add by m2/dev

M8R8V50791 M8R8V50791

URI	`m2://inv/M8R8V50791`
Kind	statement
Layer	research
MSC	11-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28141#E7YQ (statement)

History

2026-11-01: add by m2/v0.6.15

M8RA8K33WF M8RA8K33WF

URI	`m2://inv/M8RA8K33WF`
Kind	statement
Layer	research
MSC	11-XX, 20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30200#CI6S (statement)

History

2026-11-01: add by m2/v0.6.15

Quantum computer M8RRD7JCXS

URI	`m2://inv/M8RRD7JCXS`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of computability and complexity topics#88O2, Quantum computer (definition)

History

2026-11-02: add by m2/dev

Price's theorem M8RSTZW1PA

URI	`m2://inv/M8RSTZW1PA`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#N3CJ, Price's theorem (topic)

History

2026-11-02: add by m2/dev

Finite products with a uniform positive density M8RX2DJVXN

URI	`m2://inv/M8RX2DJVXN`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.22107#T2MQ, Finite products with a uniform positive density (statement). In SN5RJPQ713/e1, lemma 8.2

History

2026-10-27: add by m2/v0.4.0

M8S0YPFQ1J M8S0YPFQ1J

URI	`m2://inv/M8S0YPFQ1J`
Kind	statement
Layer	research
MSC	26-XX, 35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.34946#2SI4 (statement). In Y27BAB2BB4/e1, proposition 6.5

History

2026-10-30: add by m2/v0.4.12

Orbifold groupoid M8S173ZQ4C

URI	`m2://inv/M8S173ZQ4C`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Orbifold#N3PU, Orbifold groupoid (unknown)

History

2026-11-02: add by m2/dev

rounded, Dedekind cut M8S8B74XTX

URI	`m2://inv/M8S8B74XTX`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/B.2/rounded-dedekind-cut, rounded, Dedekind cut (concept). In N54F33XE07, index, section B.2

History

2026-11-01: add by m2/v0.6.13

Random measure M8S8BMR0W0

URI	`m2://inv/M8S8BMR0W0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Random measure, Random measure (definition). Also Wikidata Q228249

History

2026-11-02: add by m2/dev

M8SN936YJ3 M8SN936YJ3

URI	`m2://inv/M8SN936YJ3`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31910#LLN5 (statement). In E4EK1XXPY4/e1, proposition 3.5

History

2026-10-31: add by m2/v0.5.6

Demographics of Mexico M8SNMV7EQR

URI	`m2://inv/M8SNMV7EQR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Demographics of Mexico, Demographics of Mexico (definition). Also Wikidata Q615428

History

2026-11-02: add by m2/dev

M8SP5RTXDR M8SP5RTXDR

URI	`m2://inv/M8SP5RTXDR`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20758#H1Y5 (statement). In PG0B4PH9YH/e1, lemma 2.23

History

2026-10-27: add by m2/v0.4.2

categorical syllogism M8SV3SNRD5

URI	`m2://inv/M8SV3SNRD5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of logic#C112, categorical syllogism (definition)

History

2026-11-02: add by m2/dev

Aligned iid outer-shell lists M8SYY6E8GP

URI	`m2://inv/M8SYY6E8GP`
Kind	statement
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37482#NWTC, Aligned iid outer-shell lists (statement). In 9QDRMZX8EY/e1, lemma 24

History

2026-10-30: add by m2/v0.4.12

Liouville's formula M8T52FMB9W

URI	`m2://inv/M8T52FMB9W`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Liouville's formula, Liouville's formula (statement). Also Wikidata Q1827325

History

2026-11-02: add by m2/dev

International Logic Review M8TDQX18R6

URI	`m2://inv/M8TDQX18R6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of logic journals#WH9Q, International Logic Review (unknown)

History

2026-11-02: add by m2/dev

M8TJH9NFZ3 M8TJH9NFZ3

URI	`m2://inv/M8TJH9NFZ3`
Kind	statement
Layer	research
MSC	55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31274#UDMD (statement). In RK0ZMDJ23T/e1, lemma 2.1.12

History

2026-10-31: add by m2/v0.5.6

M8TM9VW29C M8TM9VW29C

URI	`m2://inv/M8TM9VW29C`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31242#YHUS (statement). In 3NPRR9546C/e1, lemma 2.1

History

2026-10-31: add by m2/v0.5.6

M8TQ6N9FJW M8TQ6N9FJW

URI	`m2://inv/M8TQ6N9FJW`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35766#54NZ (statement). In 6638EFW1NG/e1, proposition 4.2

History

2026-10-30: add by m2/v0.4.12

M8TTF8NBSH M8TTF8NBSH

URI	`m2://inv/M8TTF8NBSH`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/H113/ring-flavors.tex#def:prime_ideal (definition). In RZP28ERRZV, definition, section 4.3

History

2026-11-01: add by m2/v0.6.13

Computation M8TW1WPWQ8

URI	`m2://inv/M8TW1WPWQ8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Angles between flats#Q4PU, Computation (definition)

History

2026-11-02: add by m2/dev

Two consecutive belt surgeries M8TWV48Z1J

URI	`m2://inv/M8TWV48Z1J`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29839#448T, Two consecutive belt surgeries (statement)

History

2026-11-01: add by m2/v0.6.15

Interval modulo endpoints M8TY6C8V0S

URI	`m2://inv/M8TY6C8V0S`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/topology/constructions.tex#example-1, Interval modulo endpoints (example). In RZP28ERRZV, example, section 96.2

History

2026-11-01: add by m2/v0.6.13

Frederic Fitch M8V075V6VH

URI	`m2://inv/M8V075V6VH`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Frederic Fitch, Frederic Fitch (topic). Also Wikidata Q1452702

History

2026-11-02: add by m2/dev

Mikhail Kadets M8V26Z7W3V

URI	`m2://inv/M8V26Z7W3V`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mikhail Kadets, Mikhail Kadets (topic). Also Wikidata Q6849563

History

2026-11-02: add by m2/dev

Denjoy–Carleman theorem M8V6P8DZY7

URI	`m2://inv/M8V6P8DZY7`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#5V64, Denjoy–Carleman theorem (definition)

History

2026-11-02: add by m2/dev

Beck's monadicity theorem M8VCDYEMDA

URI	`m2://inv/M8VCDYEMDA`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Monad (category theory)#G5U2, Beck's monadicity theorem (statement)

History

2026-11-02: add by m2/dev

Examples M8VWY4GNH2

URI	`m2://inv/M8VWY4GNH2`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Witt vector#SVUZ, Examples (example)

History

2026-11-02: add by m2/dev

Scholtz, Ágoston M8W2NFQV64

URI	`m2://inv/M8W2NFQV64`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#LKAS, Scholtz, Ágoston (unknown)

History

2026-11-02: add by m2/dev

Complete odd-prime sensitivity formula M8W4BXTNFQ

URI	`m2://inv/M8W4BXTNFQ`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17006#CZJM, Complete odd-prime sensitivity formula (statement). In YY81ZEJ82P/e1, theorem 6.4

History

2026-10-28: add by m2/v0.4.2

M8WAVP6QC4 M8WAVP6QC4

URI	`m2://inv/M8WAVP6QC4`
Kind	statement
Layer	research
MSC	14-XX, 35-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15434#02ZJ (statement). In PWF23QSGDX/e1, lemma 5.2

History

2026-10-28: add by m2/v0.4.2

rigidity lemma, $\PGL_\ell$ form M8WB2YDAJ0

URI	`m2://inv/M8WB2YDAJ0`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09298#H79N, rigidity lemma, $\PGL_\ell$ form (statement). In 1SPQ4J3AWY/e1, proposition 4.8

History

2026-10-29: add by m2/v0.4.10

Regularity of the reachability operator M8WB41QJRG

URI	`m2://inv/M8WB41QJRG`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31044#DWZB, Regularity of the reachability operator (statement). In Z72AEBE4Z6/e1, proposition 4.2

History

2026-10-31: add by m2/v0.5.6

M8WBF9P087 M8WBF9P087

URI	`m2://inv/M8WBF9P087`
Kind	statement
Layer	research
MSC	20-XX, 37-XX, 57-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.19787#HP87 (statement). In A4VP56CT7B/e1, corollary 7.8

History

2026-10-28: add by m2/v0.4.2

Laplace M8WFT1JGC4

URI	`m2://inv/M8WFT1JGC4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#5TII, Laplace (definition)

History

2026-11-02: add by m2/dev

M8WG52JFSK M8WG52JFSK

URI	`m2://inv/M8WG52JFSK`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/second-incompleteness-thm.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 28.5

History

2026-11-01: add by m2/v0.6.13

Product order M8WMMKGHBY

URI	`m2://inv/M8WMMKGHBY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Product order, Product order (definition). Also Wikidata Q7247786

History

2026-11-02: add by m2/dev

Laplacian matrix M8WT2M22W5

URI	`m2://inv/M8WT2M22W5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of named matrices#W2H5, Laplacian matrix (definition)

History

2026-11-02: add by m2/dev

Computational fluid dynamics M8WVXBGFZ6

URI	`m2://inv/M8WVXBGFZ6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of partial differential equation topics#9MJ9, Computational fluid dynamics (definition)

History

2026-11-02: add by m2/dev

M8X31DEKP6 M8X31DEKP6

URI	`m2://inv/M8X31DEKP6`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.19845#9NFW (statement). In A8Y7B1MD91/e1, proposition A.2

History

2026-10-28: add by m2/v0.4.2

M8X3VQ7RHT M8X3VQ7RHT

URI	`m2://inv/M8X3VQ7RHT`
Kind	statement
Layer	research
MSC	05-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21921#DN3M (statement). In CM2YEK9T4F/e1, proposition 3.4

History

2026-10-27: add by m2/v0.4.2

M8X50TRNQ0 M8X50TRNQ0

URI	`m2://inv/M8X50TRNQ0`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16668#872E (statement). In W7GPN2AHHM/e1, theorem 1.6

History

2026-10-28: add by m2/v0.4.2

Klaus Lamotke M8XJD20Z6V

URI	`m2://inv/M8XJD20Z6V`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1745383, Klaus Lamotke (unknown). Also nLab Klaus Lamotke

History

2026-10-26: add by m2/dev

Ed Perkins M8XJXDXQ16

URI	`m2://inv/M8XJXDXQ16`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#EWRT, Ed Perkins (topic)

History

2026-11-02: add by m2/dev

Link with the volume conjecture M8XKYJ3614

URI	`m2://inv/M8XKYJ3614`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jones polynomial#478U, Link with the volume conjecture (statement)

History

2026-11-02: add by m2/dev

Mega (number) M8XNGRTN4M

URI	`m2://inv/M8XNGRTN4M`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Steinhaus–Moser notation#W7XX, Mega (number) (unknown)

History

2026-11-02: add by m2/dev

Skorokhod's embedding theorem M8XR7SSQ43

URI	`m2://inv/M8XR7SSQ43`
Kind	statement
Layer	textbook
MSC	62-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q7536350, Skorokhod's embedding theorem (statement). Also Wikidata Q7536350
thousand_plus: thousand_plus Q7536350, Skorokhod's embedding theorem (statement). Also Wikidata Q7536350, Wikipedia Skorokhod's embedding theorem
wikipedia: Wikipedia Skorokhod's embedding theorem, Skorokhod's embedding theorem (statement). Also Wikidata Q7536350

History

2026-10-26: add by m2/dev

Typical example of lifting M8Y8FQCMRR

URI	`m2://inv/M8Y8FQCMRR`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/topology/cover-project.tex#example-5, Typical example of lifting (example). In RZP28ERRZV, example, section 97.2

History

2026-11-01: add by m2/v0.6.13

Properties M8YBD50PEP

URI	`m2://inv/M8YBD50PEP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Outermorphism#Z1MA, Properties (statement)

History

2026-11-02: add by m2/dev

Extreme value theory M8YHHA3C9G

URI	`m2://inv/M8YHHA3C9G`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Extreme value theory, Extreme value theory (topic). Also Wikidata Q729429

History

2026-11-02: add by m2/dev

Chebyshev's inequality M8YT4RKXWV

URI	`m2://inv/M8YT4RKXWV`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of analyses of categorical data#CFT8, Chebyshev's inequality (statement)
wikipedia: Wikipedia List of statistics articles#U0Q9, Chebyshev's inequality (statement)
wikipedia: Wikipedia List of real analysis topics#7EIL, Chebyshev's inequality (statement)
wikipedia: Wikipedia List of inequalities#2P38, Chebyshev's inequality (statement)

History

2026-11-02: add by m2/dev

M8YTEJA5KA M8YTEJA5KA

URI	`m2://inv/M8YTEJA5KA`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01268#IC1O (statement). In 80Q4X3WT8W/e1, lemma 3.1

History

2026-10-29: add by m2/v0.4.12

Simple nullity at an interior contact M8YYMW6KYK

URI	`m2://inv/M8YYMW6KYK`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-XX, 58-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22659#YLNO, Simple nullity at an interior contact (statement)

History

2026-11-02: add by m2/v0.6.17

M8Z82CR76M M8Z82CR76M

URI	`m2://inv/M8Z82CR76M`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08658#6N9Z (statement). In 7PK5WS7246/e1, proposition 5.1

History

2026-10-29: add by m2/v0.4.10

M8ZG9DY3KT M8ZG9DY3KT

URI	`m2://inv/M8ZG9DY3KT`
Kind	example
Layer	research
MSC	18-XX, 54-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10930#A9H7 (example). In HX63A1PH1W/e1, example 6.10

History

2026-10-28: add by m2/v0.4.3

M8ZPAWPTTE M8ZPAWPTTE

URI	`m2://inv/M8ZPAWPTTE`
Kind	definition
Layer	research
MSC	16-XX, 18-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18302#IB3K (definition). In VJTRH1S4JA/e1, definition 3.9

History

2026-10-28: add by m2/v0.4.2

Rigid body M8ZR649RMN

URI	`m2://inv/M8ZR649RMN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rigid body, Rigid body (definition). Also Wikidata Q192788

History

2026-11-02: add by m2/dev

M8ZSBB2WVZ M8ZSBB2WVZ

URI	`m2://inv/M8ZSBB2WVZ`
Kind	statement
Layer	research
MSC	05-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.22082#ORF1 (statement). In 7PACGDW3N7/e1, proposition 21.3

History

2026-10-27: add by m2/v0.4.0

Nine-point conic M8ZVHHEZRN

URI	`m2://inv/M8ZVHHEZRN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q23034996, Nine-point conic (unknown). Also MathWorld Nine-PointConic
wikipedia: Wikipedia Nine-point conic, Nine-point conic (definition). Also Wikidata Q23034996

History

2026-10-26: add by m2/dev