Inventory rows J8

Quadratic surd J80GR77H7Y

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

Mentions

wikipedia: Wikipedia List of types of numbers#TIBM, Quadratic surd (definition)

History

2026-11-02: add by m2/dev

J80GVBXZTJ J80GVBXZTJ

URI	`m2://inv/J80GVBXZTJ`
Kind	statement
Layer	research
MSC	05-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 2610.03612#A7GL (statement). In REDG6QVHM3/e1, theorem 6.8

History

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

Time–frequency analysis J80T7GT8MN

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

Mentions

wikipedia: Wikipedia Time–frequency analysis, Time–frequency analysis (definition). Also Wikidata Q7806653

History

2026-11-02: add by m2/dev

Definition J80THX0KY9

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

Mentions

wikipedia: Wikipedia Persistent homology group#S4P6, Definition (definition)

History

2026-11-02: add by m2/dev

Preorder J80VKZFS4K

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/orders.tex#defn-1, Preorder (definition). In PKGMM3P5QY, defn, section 80.4

History

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

Berge conjecture J80ZNNJ7YB

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#9FMY, Berge conjecture (unknown)

History

2026-11-02: add by m2/dev

J818C091KQ J818C091KQ

URI	`m2://inv/J818C091KQ`
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.34876#ICW1 (statement). In XXQAW3ZBDF/e1, theorem 3.9

History

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

MacGuffin J81A1KEJH1

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

Mentions

wikipedia: Wikipedia MacGuffin (cipher), MacGuffin (definition). Also Wikidata Q11127451

History

2026-11-02: add by m2/dev

Non-emptiness and attainment J81BQWEGDN

URI	`m2://inv/J81BQWEGDN`
Kind	statement
Layer	research
MSC	62-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.23350#RF1P, Non-emptiness and attainment (statement)

History

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

J81HKQT9MV J81HKQT9MV

URI	`m2://inv/J81HKQT9MV`
Kind	statement
Layer	research
MSC	16-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 2205.13464#QNCK (statement). In JPYGC2R3FC/e1, theorem 7.5

History

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

Definition J81MGBXWT5

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

Mentions

wikipedia: Wikipedia Ε-quadratic form#3D4O, Definition (definition)

History

2026-11-02: add by m2/dev

Sijzi J81NDFJPGQ

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#FGZH, Sijzi (unknown)

History

2026-11-02: add by m2/dev

J81RN8WHS9 J81RN8WHS9

URI	`m2://inv/J81RN8WHS9`
Kind	definition
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 0903.1569#UNLU (definition). In ZM7WZ2A9H2/e1, definition 2.4

History

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

J81TAEW1T6 J81TAEW1T6

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 27.1

History

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

Parallel mesh generation J81XF03WTZ

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

Mentions

wikipedia: Wikipedia Parallel mesh generation, Parallel mesh generation (definition). Also Wikidata Q7135005

History

2026-11-02: add by m2/dev

JRF iteration for mixed state ensembles J824JZ35D2

URI	`m2://inv/J824JZ35D2`
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.40203#UTXZ, JRF iteration for mixed state ensembles (statement). In ECH66J4Y43/e1, corollary 9

History

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

alternating harmonic series J8295WDSXJ

URI	`m2://inv/J8295WDSXJ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Alternating harmonic series 0JQ5Y3WWVE

Mentions

wikidata: Wikidata Q91251728, alternating harmonic series (unknown). Also MathWorld AlternatingHarmonicSeries

History

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

Free transport J829SRG3V0

URI	`m2://inv/J829SRG3V0`
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.20682#GPUV, Free transport (statement)

History

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

Cohen–Macaulay J82BN6WDYG

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

Mentions

wikipedia: Wikipedia Glossary of module theory#G84H, Cohen–Macaulay (definition)

History

2026-11-02: add by m2/dev

J82R3AWW0J J82R3AWW0J

URI	`m2://inv/J82R3AWW0J`
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.33015#L9DU (statement). In W6Y6NPK648/e1, proposition 3.7

History

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

Definition J82R8CJ078

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

Mentions

wikipedia: Wikipedia Currying#W7KI, Definition (definition)

History

2026-11-02: add by m2/dev

Definition J82S67WXFF

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

Mentions

wikipedia: Wikipedia Row and column spaces#J8OL, Definition (definition)

History

2026-11-02: add by m2/dev

Mean Shortest Distance J82WZJ43V0

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

Mentions

wikipedia: Wikipedia Web of trust#9KTK, Mean Shortest Distance (unknown)

History

2026-11-02: add by m2/dev

Stability J831FSMZ8X

URI	`m2://inv/J831FSMZ8X`
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.18270#QGMO, Stability (statement). In CPDMYJ0NJV/e1, corollary 2.8

History

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

J831VXSXTK J831VXSXTK

URI	`m2://inv/J831VXSXTK`
Kind	statement
Layer	research
MSC	20-XX, 22-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 2610.09319#HGN2 (statement). In GMRT5GHBZS/e1, proposition 6.6

History

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

J83528D1X6 J83528D1X6

URI	`m2://inv/J83528D1X6`
Kind	example
Layer	research
MSC	16-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.22247#ZUGU (example). In SBNH1MWND8/e1, example 20

History

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

Peter Schneider J83E9WFWDX

URI	`m2://inv/J83E9WFWDX`
Kind	topic
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#0XCH, Peter Schneider (topic)

History

2026-11-02: add by m2/dev

Applications J83PFMFDGS

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

Mentions

wikipedia: Wikipedia Mollifier#8UWC, Applications (example)

History

2026-11-02: add by m2/dev

Euler's number J83TZAMKAT

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#NL1D, Euler's number (definition)

History

2026-11-02: add by m2/dev

Branches of cryptography J83Z5V5CN8

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

Mentions

wikipedia: Wikipedia Outline of cryptography#5EBU, Branches of cryptography (unknown)

History

2026-11-02: add by m2/dev

J8465GS6P5 J8465GS6P5

URI	`m2://inv/J8465GS6P5`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 26-XX, 46-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.27570#MCMW (statement)

History

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

Completely positive map J84AJHAEQT

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

Mentions

wikipedia: Wikipedia Completely positive map, Completely positive map (definition). Also Wikidata Q24107961

History

2026-11-02: add by m2/dev

J84FCAHGCF J84FCAHGCF

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-24 (proof). In E59CDZA4DP, proof, section 1.7.2

History

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

J84G84YXN2 J84G84YXN2

URI	`m2://inv/J84G84YXN2`
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 2508.17135#L1VM (statement). In 74MXJ2RX4B/e1, lemma 3.2

History

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

J84GFJXESF J84GFJXESF

URI	`m2://inv/J84GFJXESF`
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 2610.15360#7CFM (statement). In DJCXDQQK7Y/e1, lemma 4.1

History

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

J84GS004F6 J84GS004F6

URI	`m2://inv/J84GS004F6`
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.16060#YDSZ (statement). In X0BTF9HPGM/e1, fact C.2

History

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

Conductor of a Character J84P6TC4VW

URI	`m2://inv/J84P6TC4VW`
Kind	definition
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 2609.27042#HMAI, Conductor of a Character (definition)

History

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

Full-level Maass functional equation J850JFFYA5

URI	`m2://inv/J850JFFYA5`
Kind	statement
Layer	research
MSC	11-XX, 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 2501.09848#PDRW, Full-level Maass functional equation (statement). In HF7YNMW39N/e1, theorem 10.2

History

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

Basic properties J850YSA1W5

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

Mentions

wikipedia: Wikipedia Eulerian number#Z2C2, Basic properties (statement)

History

2026-11-02: add by m2/dev

Catherine Doléans-Dade J8563ZDDHM

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

Mentions

wikipedia: Wikipedia Catherine Doléans-Dade, Catherine Doléans-Dade (topic). Also Wikidata Q19877924

History

2026-11-02: add by m2/dev

J8567V3ATN J8567V3ATN

URI	`m2://inv/J8567V3ATN`
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.25289#VIGD (statement)

History

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

Dependence on the class J85EE0NH3X

URI	`m2://inv/J85EE0NH3X`
Kind	statement
Layer	research
MSC	14-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.21093#SKI3, Dependence on the class (statement). In TBFPBPQV3G/e1, proposition 2.4

History

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

Kay Toliver J85EF9DMPS

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

Mentions

wikipedia: Wikipedia Kay Toliver, Kay Toliver (topic). Also Wikidata Q6380298

History

2026-11-02: add by m2/dev

Theorem for arrivals governed by a Poisson process J85F71YZHC

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

Mentions

wikipedia: Wikipedia Arrival theorem#KJ6I, Theorem for arrivals governed by a Poisson process (statement)

History

2026-11-02: add by m2/dev

J85FKNH74C J85FKNH74C

URI	`m2://inv/J85FKNH74C`
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.18033#IF6D (statement). In 59VRB6Y27N/e1, theorem 1.1

History

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

J85RQZ31E0 J85RQZ31E0

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-24 (exercise). In E9HS8K3A52, exercise, section 6.9.1

History

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

J860TXCCKA J860TXCCKA

URI	`m2://inv/J860TXCCKA`
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 2610.17691#5D3I (statement). In AT8VD3XB8M/e1, lemma 2.3

History

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

Glivenko–Cantelli theorem J86J8CK79S

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

Mentions

wikipedia: Wikipedia List of theorems#7PZ6, Glivenko–Cantelli theorem (statement)

History

2026-11-02: add by m2/dev

J86K13CXV3 J86K13CXV3

URI	`m2://inv/J86K13CXV3`
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 2610.22317#6DJ7 (statement). In 2W5Z97BBW4/e1, proposition 3.8

History

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

Second-moment closure J86NX7Y6ZE

URI	`m2://inv/J86NX7Y6ZE`
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.09356#83IT, Second-moment closure (statement). In 3VVGPXWH6R/e1, proposition B.1

History

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

J86SX76SQR J86SX76SQR

URI	`m2://inv/J86SX76SQR`
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.21899#ZPRU (statement). In YRN5P43B2N/e1, lemma 2.2

History

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

J86WB2WJK1 J86WB2WJK1

URI	`m2://inv/J86WB2WJK1`
Kind	statement
Layer	research
MSC	03-XX, 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 2609.20718#6K68 (statement)

History

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

J86ZEC2E54 J86ZEC2E54

URI	`m2://inv/J86ZEC2E54`
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 2212.01916#04UO (statement). In XTGB5Z08YH/e1, lemma 4.7

History

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

J875T0PSH2 J875T0PSH2

URI	`m2://inv/J875T0PSH2`
Kind	statement
Layer	research
MSC	11-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.33590#SBWG (statement). In WRE0P7V6Z3/e1, lemma 14.7

History

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

J876RMF7NA J876RMF7NA

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example-2 (example). In E9HS8K3A52, example, section 8.2.4

History

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

Mashallah ibn Athari J877SQVDP3

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#GM4W, Mashallah ibn Athari (unknown)

History

2026-11-02: add by m2/dev

Hill equation J8789R30AS

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

Mentions

wikipedia: Wikipedia Hill equation (biochemistry), Hill equation (definition). Also Wikidata Q2554020

History

2026-11-02: add by m2/dev

Construction J879K6NFMC

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

Mentions

wikipedia: Wikipedia Tridiminished icosahedron#PVJS, Construction (definition)

History

2026-11-02: add by m2/dev

J87A1KVD2Y J87A1KVD2Y

URI	`m2://inv/J87A1KVD2Y`
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.26455#H9SX (statement)

History

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

path, augmenting J87BBAEQYA

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

Mentions

applied_combinatorics: applied_combinatorics index/13.3/path-augmenting, path, augmenting (concept). In QKM9DD2H56, index, section 13.3

History

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

Algorithms J87DVPDZ66

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

Mentions

wikipedia: Wikipedia Separable permutation#EY7G, Algorithms (definition)

History

2026-11-02: add by m2/dev

J87H61FWWM J87H61FWWM

URI	`m2://inv/J87H61FWWM`
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.11143#0EVE (statement). In 9CS15SV662/e1, corollary 1.4

History

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

120-cell honeycomb J87RA9AJH7

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

Mentions

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

History

2026-11-02: add by m2/dev

J87T9P0EZP J87T9P0EZP

URI	`m2://inv/J87T9P0EZP`
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.30203#ZXHI (statement)

History

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

J8822S1X7Q J8822S1X7Q

URI	`m2://inv/J8822S1X7Q`
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 2605.00407#X8HG (statement). In TVFD0G3F2W/e1, lemma 2.5

History

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

Howard L. Resnikoff J884WJTKBP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IIBE, Howard L. Resnikoff (topic)

History

2026-11-02: add by m2/dev

Small stellapentakis dodecahedron J886WH8R0B

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

Mentions

wikidata: Wikidata Q7543581, Small stellapentakis dodecahedron (unknown). Also MathWorld SmallStellapentakisDodecahedron
wikipedia: Wikipedia Small stellapentakis dodecahedron, Small stellapentakis dodecahedron (object). Also Wikidata Q7543581

History

2026-10-26: add by m2/dev

Convergence of inverse clocks J887M8Y5PW

URI	`m2://inv/J887M8Y5PW`
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.20302#VPF4, Convergence of inverse clocks (statement). In GN8JWKH956/e1, lemma 5.3

History

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

Minimal theory of truth J8889RQ2NN

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

Mentions

wikipedia: Wikipedia Deflationary theory of truth#6OMT, Minimal theory of truth (unknown)

History

2026-11-02: add by m2/dev

J88N1C52JF J88N1C52JF

URI	`m2://inv/J88N1C52JF`
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 2609.21682#R7X6 (problem)

History

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

sampling bias J88Q4MMV0C

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#YA25, sampling bias (definition)

History

2026-11-02: add by m2/dev

Generalized mean J88RCV41BS

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

Mentions

wikipedia: Wikipedia List of real analysis topics#GLBD, Generalized mean (definition)

History

2026-11-02: add by m2/dev

Statement of the theorem J88W3ERHAX

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

Mentions

wikipedia: Wikipedia Kolmogorov's normability criterion#A6P0, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Name definitions J88ZCBX1WC

URI	`m2://inv/J88ZCBX1WC`
Kind	definition
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 math/0003117#W5HI, Name definitions (definition). In WD2NCBV9F0/e1, definition 9.14

History

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

Statement J8913690X7

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

Mentions

wikipedia: Wikipedia Roth's theorem#4CVQ, Statement (statement)

History

2026-11-02: add by m2/dev

J898R4GK56 J898R4GK56

URI	`m2://inv/J898R4GK56`
Kind	statement
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.39293#F6PS (statement). In S26QVW5613/e1, proposition 2.4.3

History

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

J898Z2VVF8 J898Z2VVF8

URI	`m2://inv/J898Z2VVF8`
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 2111.08123#GTXJ (statement). In TAAB0QAKAG/e1, lemma 2.2

History

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

J89A11SC69 J89A11SC69

URI	`m2://inv/J89A11SC69`
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 2610.19214#JNON (statement). In WZPD7TNNY9/e1, corollary 5.3

History

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

J89C3N4834 J89C3N4834

URI	`m2://inv/J89C3N4834`
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.36877#343C (statement). In FYS6VV5M99/e1, lemma 2.9

History

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

rank of a linear map J89PWVW5GR

URI	`m2://inv/J89PWVW5GR`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Rank of a linear map 0JGB7A6GTS

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > rank of a linear map, rank of a linear map (unknown). Also Mathlib LinearMap.rank

History

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

J8A7F0GQHZ J8A7F0GQHZ

URI	`m2://inv/J8A7F0GQHZ`
Kind	definition
Layer	research
MSC	17-XX, 20-XX, 22-XX, 46-XX, 47-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.13213#AD95 (definition). In V97F4YZ8B0/e1, definition 9.1

History

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

Agustín Maravall J8A8JVKJ0Y

URI	`m2://inv/J8A8JVKJ0Y`
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#799C, Agustín Maravall (unknown)

History

2026-11-02: add by m2/dev

Channel Class Conditions J8AD0MAA4R

URI	`m2://inv/J8AD0MAA4R`
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.01932#9BAH, Channel Class Conditions (statement). In XDKWW6NR0K/e1, corollary 3.4

History

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

J8AQQPS1WP J8AQQPS1WP

URI	`m2://inv/J8AQQPS1WP`
Kind	statement
Layer	research
MSC	51-XX, 52-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 2610.01087#EH6Y (statement). In 7QXAZXGNPQ/e1, theorem 4.5

History

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

Conerve J8AREFTQVS

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

Mentions

wikipedia: Wikipedia Cotangent complex#DWHE, Conerve (unknown)

History

2026-11-02: add by m2/dev

Rewrite order J8AX2W6WJN

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

Mentions

wikipedia: Wikipedia Rewrite order, Rewrite order (definition). Also Wikidata Q19599552

History

2026-11-02: add by m2/dev

subtheory J8B0HGT91A

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

Mentions

wikipedia: Wikipedia Glossary of logic#J5IY, subtheory (definition)

History

2026-11-02: add by m2/dev

Cellular chain complex gives $H_n(X)$ J8B7F30192

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

Mentions

napkin: napkin tex/homology/cellular.tex#thm:cellular_chase, Cellular chain complex gives $H_n(X)$ (statement). In RZP28ERRZV, theorem, section 50.2

History

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

Cannabis use in pregnancy J8BAM2RA61

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#4PCK, Cannabis use in pregnancy (unknown)

History

2026-11-02: add by m2/dev

J8BE4XPXV9 J8BE4XPXV9

URI	`m2://inv/J8BE4XPXV9`
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 1612.08394#0GBN (statement). In 1P8D88DKG5/e1, lemma 3.6

History

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

J8BG15J9GQ J8BG15J9GQ

URI	`m2://inv/J8BG15J9GQ`
Kind	definition
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 2610.19214#P7BF (definition). In WZPD7TNNY9/e1, definition 2.4

History

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

J8BKFZYRMF J8BKFZYRMF

URI	`m2://inv/J8BKFZYRMF`
Kind	statement
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 2501.17276#CF5E (statement). In EWKHA675JY/e1, theorem 5.3

History

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

J8BNCE57SY J8BNCE57SY

URI	`m2://inv/J8BNCE57SY`
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.28495#GWAD (statement)

History

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

J8BR5RA4K4 J8BR5RA4K4

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 2

History

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

Regular levels J8BV355JV4

URI	`m2://inv/J8BV355JV4`
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.06480#NYN3, Regular levels (statement). In 2Y47E704Z9/e1, lemma 3.3

History

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

J8BZEDH6TQ J8BZEDH6TQ

URI	`m2://inv/J8BZEDH6TQ`
Kind	conjecture
Layer	research
MSC	51-XX, 52-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.27931#P61B (conjecture)

History

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

J8C0M9WJ2T J8C0M9WJ2T

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-117 (exercise). In E9HS8K3A52, exercise, section 4.9.1

History

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

J8C1C65D8N J8C1C65D8N

URI	`m2://inv/J8C1C65D8N`
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.21388#GIPM (statement). In 3X4E9KSVWV/e1, corollary 3.6

History

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

Bounds under higher moments J8C2GA3N83

URI	`m2://inv/J8C2GA3N83`
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.00103#GGDA, Bounds under higher moments (statement). In S7RDXJWP1A/e1, corollary 1.4

History

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

J8CBN246ES J8CBN246ES

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

Mentions

active_calculus: active_calculus source/sec-1-7-lim-cont-diff.xml#definition-2 (definition). In 907G4C4EJ1, definition, section 1.7.3

History

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

Jan Zwicky J8CJCE72N8

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

Mentions

wikipedia: Wikipedia Jan Zwicky, Jan Zwicky (topic). Also Wikidata Q1682395

History

2026-11-02: add by m2/dev

J8CNVJNW2J J8CNVJNW2J

URI	`m2://inv/J8CNVJNW2J`
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.25390#QEYI (statement)

History

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

Hermann Flaschka J8CPE1NA4B

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

Mentions

wikipedia: Wikipedia Hermann Flaschka, Hermann Flaschka (topic). Also Wikidata Q1611080

History

2026-11-02: add by m2/dev

List of polygons, polyhedra and polytopes J8CREBHACQ

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes, List of polygons, polyhedra and polytopes (topic). Also Wikidata Q6634331

History

2026-11-02: add by m2/dev

J8CRQA0WYH J8CRQA0WYH

URI	`m2://inv/J8CRQA0WYH`
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 2610.03661#OMXO (statement). In ESDKTYDHC8/e1, corollary 25

History

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

Definition J8CVPYNHS6

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

Mentions

wikipedia: Wikipedia Compound matrix#MK61, Definition (definition)

History

2026-11-02: add by m2/dev

Miami Lakes J8CWAHYZRD

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#SLXS, Miami Lakes (unknown)

History

2026-11-02: add by m2/dev

J8D0WMYA9K J8D0WMYA9K

URI	`m2://inv/J8D0WMYA9K`
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.21036#DU20 (statement). In G0M4N3E0CG/e1, theorem 1.4

History

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

J8D6GHB36W J8D6GHB36W

URI	`m2://inv/J8D6GHB36W`
Kind	statement
Layer	research
MSC	62-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.01818#NEWK (statement). In DA31J9XJ4J/e1, lemma B.2

History

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

q-gamma function J8DAQANR0K

URI	`m2://inv/J8DAQANR0K`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	q-gamma function 68P2VKSEP5

Mentions

wikidata: Wikidata Q7265303, q-gamma function (unknown). Also MathWorld q-GammaFunction
wikipedia: Wikipedia Q-gamma function, Q-gamma function (definition). Also Wikidata Q7265303

History

2026-10-26: add by m2/dev

initial condition J8DAS0VCEX

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

Mentions

active_calculus: active_calculus index/5.1.3/initial-condition, initial condition (concept). In 907G4C4EJ1, index, section 5.1.3

History

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

Exclusion of classical tangent cones J8DBFRRMDS

URI	`m2://inv/J8DBFRRMDS`
Kind	statement
Layer	research
MSC	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.04833#6Z8W, Exclusion of classical tangent cones (statement). In AKB3CNDA0F/e1, theorem 4.18

History

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

Ville's inequality J8DEFZE8M1

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

Mentions

wikipedia: Wikipedia Ville's inequality, Ville's inequality (statement). Also Wikidata Q117312457

History

2026-11-02: add by m2/dev

\textbf{Invertibility of }$T_\tau$ J8DKR8CRHT

URI	`m2://inv/J8DKR8CRHT`
Kind	statement
Layer	research
MSC	11-XX, 30-XX, 32-XX, 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.14266#2QGP, \textbf{Invertibility of }$T_\tau$ (statement). In 7R33E8515R/e1, theorem 2.6

History

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

J8DVF0ATTX J8DVF0ATTX

URI	`m2://inv/J8DVF0ATTX`
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 2511.17751#Z7P1 (statement). In J39X0NB31S/e1, proposition 4.32

History

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

Examples J8DZ6PR510

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

Mentions

wikipedia: Wikipedia Birotunda#47RH, Examples (example)

History

2026-11-02: add by m2/dev

Pólya conjecture J8E0Z002R5

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

Mentions

wikidata: Wikidata Q1441904, Pólya conjecture (conjecture). Also MathWorld PolyaConjecture
wikipedia: Wikipedia Pólya conjecture, Pólya conjecture (statement). Also Wikidata Q1441904

History

2026-10-26: add by m2/dev

Federigo Enriques J8E1QME491

URI	`m2://inv/J8E1QME491`
Kind	topic
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#51GM, Federigo Enriques (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8LL2, Federigo Enriques (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G3RM, Federigo Enriques (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NKUH, Federigo Enriques (topic)

History

2026-11-02: add by m2/dev

frustum J8EEEPHKNP

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

Mentions

wikipedia: Wikipedia Glossary of calculus#UGQS, frustum (definition)

History

2026-11-02: add by m2/dev

Fine sheaf J8EPAF9F0X

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

Mentions

wikipedia: Wikipedia Injective sheaf#XAKM, Fine sheaf (unknown)

History

2026-11-02: add by m2/dev

J8EQY46C31 J8EQY46C31

URI	`m2://inv/J8EQY46C31`
Kind	definition
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.01915#AVU5 (definition). In 6HJQXZS0A6/e1, definition 3.8

History

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

Integral cryptanalysis J8ERS8JQEC

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

Mentions

wikipedia: Wikipedia Integral cryptanalysis, Integral cryptanalysis (definition). Also Wikidata Q3005754

History

2026-11-02: add by m2/dev

J8EY60QAR3 J8EY60QAR3

URI	`m2://inv/J8EY60QAR3`
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 2610.16821#GOMT (statement). In EFSGMHG5BW/e1, lemma 2.7

History

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

J8EZHV6DSE J8EZHV6DSE

URI	`m2://inv/J8EZHV6DSE`
Kind	statement
Layer	research
MSC	03-XX, 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.27872#C2YI (statement)

History

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

Sir Cumference J8F029YC8F

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

Mentions

wikipedia: Wikipedia Sir Cumference, Sir Cumference (definition). Also Wikidata Q7526371

History

2026-11-02: add by m2/dev

Theorem J8F4AXPGZ4

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

Mentions

wikipedia: Wikipedia Narrow escape problem#3MSA, Theorem (statement)

History

2026-11-02: add by m2/dev

school of thought J8F81KJQB6

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

Mentions

wikidata: Wikidata Q1387659, school of thought (definition). Also ProofWiki Definition:School

History

2026-10-26: add by m2/dev

First Main Theorem J8F83M0RQC

URI	`m2://inv/J8F83M0RQC`
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.14502#U9H5, First Main Theorem (statement). In 6BVBMTYXNZ/e1, theorem 2.6

History

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

Peter L. Antonelli J8FB7MQ82D

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

Mentions

wikipedia: Wikipedia Peter L. Antonelli, Peter L. Antonelli (topic). Also Wikidata Q102128521

History

2026-11-02: add by m2/dev

J8FBXWQDNC J8FBXWQDNC

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-5.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 7.5

History

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

Dimension reduction, $m<d$ J8FD1125S9

URI	`m2://inv/J8FD1125S9`
Kind	statement
Layer	research
MSC	62-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.19208#G34K, Dimension reduction, $m<d$ (statement). In Z4R05936J8/e1, theorem 1

History

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

The $n$ embeddings of a number field J8FGSANP07

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#thm:n_embeddings, The $n$ embeddings of a number field (statement). In RZP28ERRZV, theorem, section 14.3

History

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

Properties J8FNM8KY8T

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

Mentions

wikipedia: Wikipedia Aitken's delta-squared process#5RHW, Properties (statement)

History

2026-11-02: add by m2/dev

if/then J8FS4KPXB1

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

Mentions

wikipedia: Wikipedia List of rules of inference#I45C, if/then (unknown)

History

2026-11-02: add by m2/dev

J8FT733EWX J8FT733EWX

URI	`m2://inv/J8FT733EWX`
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 math/0003117#C9Z0 (statement). In WD2NCBV9F0/e1, lemma 14.6

History

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

Theorem of the gnomon J8FZWGG341

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

Mentions

wikipedia: Wikipedia List of theorems#NZEW, Theorem of the gnomon (statement)

History

2026-11-02: add by m2/dev

J8G5P5BZ14 J8G5P5BZ14

URI	`m2://inv/J8G5P5BZ14`
Kind	statement
Layer	research
MSC	26-XX, 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.24307#MC3J (statement)

History

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

argument J8G6N889E4

URI	`m2://inv/J8G6N889E4`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Argument of a complex number 070PFSYJJR

Mentions

wikidata: Wikidata Q1780131, argument (unknown). Also MathWorld ComplexArgument
wikipedia: Wikipedia Argument (complex analysis), Argument (definition). Also Wikidata Q1780131

History

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

J8G72EQRM9 J8G72EQRM9

URI	`m2://inv/J8G72EQRM9`
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.18744#M489 (statement). In AE07JDH5D3/e1, theorem 5.7

History

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

Statement of the theorem J8GEZDE8A0

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

Mentions

wikipedia: Wikipedia Hölder's theorem#EDMC, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Peierls bound J8GSNDF9GS

URI	`m2://inv/J8GSNDF9GS`
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 2310.11101#ZB3P, Peierls bound (statement). In YBBKTP4E70/e1, lemma 4.3

History

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

The cyclic quotient J8GVH4EKVA

URI	`m2://inv/J8GVH4EKVA`
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#AFGN, The cyclic quotient (statement). In 7PACGDW3N7/e1, corollary 10.5

History

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

J8GVJ7HAQF J8GVJ7HAQF

URI	`m2://inv/J8GVJ7HAQF`
Kind	definition
Layer	research
MSC	14-XX, 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.38030#JWDQ (definition). In XYYEJN00D8/e1, definition 2.9

History

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

Percy Deift J8GZ2RXKAN

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#SO1R, Percy Deift (topic)

History

2026-11-02: add by m2/dev

J8H21W5XH6 J8H21W5XH6

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 86.1

History

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

J8H40H31WV J8H40H31WV

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

Mentions

wikidata: Wikidata Q5460020 (unknown). Also EoM Existential_quantifier, MathWorld Exists

History

2026-10-26: add by m2/dev

Checkpoint equivalence J8H8MWWTCR

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

Mentions

arxiv: arXiv 2610.15824#R9E6, Checkpoint equivalence (unknown). In GDZXR87FJV/e1, unknown 2

History

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

J8HAYDEB3F J8HAYDEB3F

URI	`m2://inv/J8HAYDEB3F`
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.07790#56ME (statement). In A5YJDDM0NX/e1, corollary A.16

History

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

affine J8HCPTS323

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#29W6, affine (definition)

History

2026-11-02: add by m2/dev

Definition J8HEDN5P2F

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

Mentions

wikipedia: Wikipedia Random geometric graph#XSFL, Definition (definition)

History

2026-11-02: add by m2/dev

MLE for nearly-homogeneous exponentials J8HJF7NN3K

URI	`m2://inv/J8HJF7NN3K`
Kind	statement
Layer	research
MSC	60-XX, 62-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.08766#WWU3, MLE for nearly-homogeneous exponentials (statement). In QA4JM9SHPA/e1, lemma 5.1

History

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

J8HRRP9WE7 J8HRRP9WE7

URI	`m2://inv/J8HRRP9WE7`
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 2609.29304#0HXW (problem)

History

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

Chandrasekhar–Wentzel lemma J8HXXWMX3G

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

Mentions

wikipedia: Wikipedia Chandrasekhar–Wentzel lemma, Chandrasekhar–Wentzel lemma (statement). Also Wikidata Q49000742

History

2026-11-02: add by m2/dev

J8J8QAKH69 J8J8QAKH69

URI	`m2://inv/J8J8QAKH69`
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.02506#TFT0 (statement). In 3JKRBZWJ33/e1, lemma 3.9

History

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

Japanese theorem for cyclic quadrilaterals J8J8T2Q2SB

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

Mentions

mathlib_1000: mathlib_1000 Q1683356, Japanese theorem for concyclic quadrilaterals (statement). Also Wikidata Q1683356
thousand_plus: thousand_plus Q1683356, Japanese theorem for concyclic quadrilaterals (statement). Also Wikidata Q1683356, Wikipedia Japanese theorem for concyclic quadrilaterals
wikipedia: Wikipedia Japanese theorem for cyclic quadrilaterals, Japanese theorem for cyclic quadrilaterals (statement). Also Wikidata Q1683356

History

2026-10-26: add by m2/dev

Steinhaus theorem J8JA89XD4V

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

Mentions

mathlib_1000: mathlib_1000 Q3527166, Steinhaus theorem (statement). Also Mathlib MeasureTheory.Measure.div_mem_nhds_one_of_haar_pos, Wikidata Q3527166
thousand_plus: thousand_plus Q3527166, Steinhaus theorem (statement). Also Wikidata Q3527166, Wikipedia Steinhaus theorem
wikipedia: Wikipedia Steinhaus theorem, Steinhaus theorem (statement). Also Wikidata Q3527166

History

2026-10-26: add by m2/dev

SQ Confidence Set Implies SQ Testing J8JAXM3WTY

URI	`m2://inv/J8JAXM3WTY`
Kind	statement
Layer	research
MSC	62-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.15723#U8YI, SQ Confidence Set Implies SQ Testing (statement). In A3KXZ2GBHN/e1, lemma 3

History

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

Examples J8JBWPSZG1

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

Mentions

wikipedia: Wikipedia Category (mathematics)#LX6L, Examples (example)

History

2026-11-02: add by m2/dev

J8JKKFS1KA J8JKKFS1KA

URI	`m2://inv/J8JKKFS1KA`
Kind	statement
Layer	research
MSC	14-XX, 19-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 0810.2160#1FMZ (statement). In 3HYJ46TKX9/e1, corollary 4

History

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

J8JTFBYGF0 J8JTFBYGF0

URI	`m2://inv/J8JTFBYGF0`
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.21692#K8OM (statement)

History

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

Properties J8JTTP2YH4

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

Mentions

wikipedia: Wikipedia Extendible cardinal#7BIB, Properties (statement)

History

2026-11-02: add by m2/dev

Wilhelm Franz Meyer J8K5MPTQYZ

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

Mentions

wikipedia: Wikipedia Wilhelm Franz Meyer, Wilhelm Franz Meyer (topic). Also Wikidata Q126389

History

2026-11-02: add by m2/dev

conditionalization J8KGPM7KT5

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

Mentions

wikipedia: Wikipedia Glossary of logic#J8M2, conditionalization (definition)

History

2026-11-02: add by m2/dev

J8KKAPT9Q2 J8KKAPT9Q2

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

Mentions

hott_book: hott_book reals.tex#ex:mean-value-theorem (exercise). In N54F33XE07, ex, section B.6

History

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

J8KPGJ4G27 J8KPGJ4G27

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise-56 (exercise). In E59CDZA4DP, exercise, section 5.6.1

History

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

J8KPNNAZF5 J8KPNNAZF5

URI	`m2://inv/J8KPNNAZF5`
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.20025#OLT0 (statement). In 4W1WR4JB89/e1, theorem 2.17

History

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

J8KR8YAH4S J8KR8YAH4S

URI	`m2://inv/J8KR8YAH4S`
Kind	example
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.05623#OPAF (example). In 7PFNKZYB7D/e1, example 1

History

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

Pierre-Louis Lions J8KRE7KM94

URI	`m2://inv/J8KRE7KM94`
Kind	topic
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#B00N, Pierre-Louis Lions (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E8YI, Pierre-Louis Lions (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WSD7, Pierre-Louis Lions (topic)

History

2026-11-02: add by m2/dev

J8KRTEPPWN J8KRTEPPWN

URI	`m2://inv/J8KRTEPPWN`
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 2006.12475#0CG0 (statement). In 8YWBGQQGA3/e1, proposition 10

History

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

The rational curve J8KVQDFETM

URI	`m2://inv/J8KVQDFETM`
Kind	statement
Layer	research
MSC	37-XX, 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.09912#SE0B, The rational curve (statement). In 65TJENWK7X/e1, lemma 44

History

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

Cabibbo–Kobayashi–Maskawa matrix J8KZ6YFFXV

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

Mentions

wikipedia: Wikipedia Cabibbo–Kobayashi–Maskawa matrix, Cabibbo–Kobayashi–Maskawa matrix (definition). Also Wikidata Q253728

History

2026-11-02: add by m2/dev

Top homology of the simple contraction cores J8KZB85Y5X

URI	`m2://inv/J8KZB85Y5X`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#PG1V, Top homology of the simple contraction cores (statement). In Y1DR0DPWD0/e1, proposition 7.12

History

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

Variation J8M3F10KBZ

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

Mentions

wikipedia: Wikipedia V-optimal histograms#2BYX, Variation (statement)

History

2026-11-02: add by m2/dev

J8M6X994AP J8M6X994AP

URI	`m2://inv/J8M6X994AP`
Kind	statement
Layer	research
MSC	53-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.08222#QU7S (statement). In A4192ETKBD/e1, theorem 2

History

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

othonormal set J8MMFW9EHS

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

Mentions

austin_ula: austin_ula index/6.3.2/othonormal-set, othonormal set (concept). In 649HGZKE96, index, section 6.3.2

History

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

Weak completely bounded approximation property J8MNGDM4NF

URI	`m2://inv/J8MNGDM4NF`
Kind	definition
Layer	research
MSC	35-XX, 46-XX, 47-XX, 58-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.22109#8GBO, Weak completely bounded approximation property (definition). In MZ60NP20BH/e1, definition 4.11

History

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

Jim Hefferon J8MV1B4XKP

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

Mentions

wikipedia: Wikipedia Jim Hefferon, Jim Hefferon (topic). Also Wikidata Q16192746

History

2026-11-02: add by m2/dev

A hyperelliptic curve J8N0H4JW1Y

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

Mentions

napkin: napkin tex/riemann-surface/affine-projective.tex#example-7, A hyperelliptic curve (example). In RZP28ERRZV, example, section 82.3

History

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

Item tree analysis J8N9Y7KQ0X

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

Mentions

wikipedia: Wikipedia List of statistics articles#OUQ3, Item tree analysis (definition)

History

2026-11-02: add by m2/dev

Four-acceleration J8NBYSYZ7X

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

Mentions

wikipedia: Wikipedia Four-acceleration, Four-acceleration (definition). Also Wikidata Q2283172

History

2026-11-02: add by m2/dev

Formulas J8NDQNVE3C

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

Mentions

wikipedia: Wikipedia Dual quaternion#KLTD, Formulas (statement)

History

2026-11-02: add by m2/dev

J8NJ0MV2VJ J8NJ0MV2VJ

URI	`m2://inv/J8NJ0MV2VJ`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX, 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.21536#UE1U (statement). In NBQK8HJSNY/e1, proposition 2

History

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

Emil Horozov J8NMAVD6G4

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

Mentions

wikipedia: Wikipedia Emil Horozov, Emil Horozov (topic). Also Wikidata Q12279839

History

2026-11-02: add by m2/dev

J8NNAS9349 J8NNAS9349

URI	`m2://inv/J8NNAS9349`
Kind	statement
Layer	research
MSC	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 2609.01324#0WCX (statement). In XKXG49TNXH/e1, theorem 1.6

History

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

J8NS6G3CQJ J8NS6G3CQJ

URI	`m2://inv/J8NS6G3CQJ`
Kind	statement
Layer	research
MSC	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 2609.23522#BBQA (statement)

History

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

Luke Mombrea J8NT94Q4SJ

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#KR7W, Luke Mombrea (unknown)

History

2026-11-02: add by m2/dev

J8NX8RZPRX J8NX8RZPRX

URI	`m2://inv/J8NX8RZPRX`
Kind	statement
Layer	research
MSC	05-XX, 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.31104#FNQS (statement). In 67NFPNF39Y/e1, theorem 1.1

History

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

Cyclotomic Frobenius elements J8P2NXB8NK

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#lem:cyclo_frob, Cyclotomic Frobenius elements (statement). In RZP28ERRZV, lemma, section 13.4

History

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

James Eells J8P3AMTPBT

URI	`m2://inv/J8P3AMTPBT`
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 Q1680331, James Eells (unknown). Also nLab James Eells
wikipedia: Wikipedia James Eells, James Eells (topic). Also Wikidata Q1680331

History

2026-10-26: add by m2/dev

van Kampen J8P5KB50WC

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#53UQ, van Kampen (definition)

History

2026-11-02: add by m2/dev

J8P5Z30WPP J8P5Z30WPP

URI	`m2://inv/J8P5Z30WPP`
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.30113#D5UI (statement)

History

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

J8PPAKMRCG J8PPAKMRCG

URI	`m2://inv/J8PPAKMRCG`
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.29623#9WSG (statement)

History

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

Locally nilpotent derivation J8PSYW3H0X

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

Mentions

wikipedia: Wikipedia Locally nilpotent derivation, Locally nilpotent derivation (definition). Also Wikidata Q55621136

History

2026-11-02: add by m2/dev

J8Q8ZVTBBC J8Q8ZVTBBC

URI	`m2://inv/J8Q8ZVTBBC`
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 1011.4141#VNAM (statement). In YQ4JYF18NH/e1, lemma 3.7

History

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

Potential moment identity J8QFF7DH7Q

URI	`m2://inv/J8QFF7DH7Q`
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 2610.05204#Q53M, Potential moment identity (statement). In ET0TQ8YF7Z/e1, corollary 3.4

History

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

J8QHCMQC9T J8QHCMQC9T

URI	`m2://inv/J8QHCMQC9T`
Kind	statement
Layer	research
MSC	20-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 2610.03422#2UYZ (statement). In SF88CM0957/e1, lemma 5.2

History

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

Quadratic Hamiltonians generated by a regular Weyl system J8QM704WMN

URI	`m2://inv/J8QM704WMN`
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.01855#8PGB, Quadratic Hamiltonians generated by a regular Weyl system (statement). In MM8P5CJR18/e1, proposition 3.8

History

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

holism J8QPJN9QGA

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

Mentions

wikipedia: Wikipedia Glossary of logic#OU7X, holism (definition)

History

2026-11-02: add by m2/dev

Prime field J8QTRDBNTC

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

Mentions

wikipedia: Wikipedia Glossary of field theory#32FG, Prime field (definition)

History

2026-11-02: add by m2/dev

Purely negative $T^2$ in rank two J8R0SW5FR9

URI	`m2://inv/J8R0SW5FR9`
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 2610.20649#DHUD, Purely negative $T^2$ in rank two (statement). In XDTM624YPE/e1, theorem 7.1

History

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

J8R1JSE700 J8R1JSE700

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

Mentions

austin_ula: austin_ula src/section4-4.xml#ula-preview-4-4 (exercise). In 649HGZKE96, exploration, section 4.4.1

History

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

General energy--sum equivalence J8R3H4VE3D

URI	`m2://inv/J8R3H4VE3D`
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 2609.20643#PCZU, General energy--sum equivalence (statement)

History

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

J8RGZWVWY7 J8RGZWVWY7

URI	`m2://inv/J8RGZWVWY7`
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.26600#J9L7 (statement)

History

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

J8RH0F9HE3 J8RH0F9HE3

URI	`m2://inv/J8RH0F9HE3`
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.10192#K9ST (statement). In CEV9Q1KZY7/e1, proposition 8

History

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

divergence J8RJYWB6MJ

URI	`m2://inv/J8RJYWB6MJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Divergence 0MWV6ZTK6S

Mentions

wikidata: Wikidata Q189000, divergence (unknown). Also EoM Divergence, MathWorld Divergence
wikipedia: Wikipedia Divergence, Divergence (definition). Also Wikidata Q189000

History

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

Emilie Martin J8RQFZYS7A

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

Mentions

wikipedia: Wikipedia Emilie Martin, Emilie Martin (topic). Also Wikidata Q17006460

History

2026-11-02: add by m2/dev

J8RRSWV7KP J8RRSWV7KP

URI	`m2://inv/J8RRSWV7KP`
Kind	definition
Layer	research
MSC	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 2104.00162#4GJW (definition). In HVGT9D84WV/e1, definition 1.31

History

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

identity, system J8RTD1NGDR

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

Mentions

hott_book: hott_book index/8.8/identity-system, identity, system (concept). In N54F33XE07, index, section 8.8

History

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

No-trade theorem J8RZ8S5QQA

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

Mentions

wikipedia: Wikipedia List of theorems#75YU, No-trade theorem (statement)

History

2026-11-02: add by m2/dev

Susan Stebbing J8RZH4MFG3

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

Mentions

wikipedia: Wikipedia List of women logicians#IHTS, Susan Stebbing (topic)

History

2026-11-02: add by m2/dev

Notation J8S0BPRVBJ

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

Mentions

wikipedia: Wikipedia Regularization by spectral filtering#HBT8, Notation (definition)

History

2026-11-02: add by m2/dev

J8S3662PM8 J8S3662PM8

URI	`m2://inv/J8S3662PM8`
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 2610.03384#C0II (statement). In J55JTTKG84/e1, proposition 4.29

History

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

J8S6MBYKJH J8S6MBYKJH

URI	`m2://inv/J8S6MBYKJH`
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 2610.20207#FWM3 (statement). In 1MPH7GCFJ2/e1, lemma 4.12

History

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

Moore machine J8SFG4JPP4

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

Mentions

wikidata: Wikidata Q640119, Moore machine (unknown). Also nLab Moore machine
wikipedia: Wikipedia Moore machine, Moore machine (definition). Also Wikidata Q640119

History

2026-10-26: add by m2/dev

J8SGV60B16 J8SGV60B16

URI	`m2://inv/J8SGV60B16`
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.03520#LQPJ (statement). In CSRZ9CWK69/e1, proposition A.2

History

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

Pompeiu derivative J8SJD62604

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

Mentions

wikipedia: Wikipedia Pompeiu derivative, Pompeiu derivative (definition). Also Wikidata Q7227460

History

2026-11-02: add by m2/dev

J8SP0HYFEH J8SP0HYFEH

URI	`m2://inv/J8SP0HYFEH`
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.31537#UN6A (statement). In MNYPK3W135/e1, theorem 1.1

History

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

Properties J8SPJFC1GW

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

Mentions

wikipedia: Wikipedia Lévy–Prokhorov metric#AJZL, Properties (statement)

History

2026-11-02: add by m2/dev

Mei-Chu Chang J8SV9HYYDD

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

Mentions

wikipedia: Wikipedia Mei-Chu Chang, Mei-Chu Chang (topic). Also Wikidata Q29452977

History

2026-11-02: add by m2/dev

J8T456RYNG J8T456RYNG

URI	`m2://inv/J8T456RYNG`
Kind	statement
Layer	research
MSC	18-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.26270#3GEX (statement)

History

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

J8T5A2ZSCK J8T5A2ZSCK

URI	`m2://inv/J8T5A2ZSCK`
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 2609.20094#P0H8 (statement)

History

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

McNamara fallacy J8T835KCDY

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

Mentions

wikipedia: Wikipedia McNamara fallacy, McNamara fallacy (definition). Also Wikidata Q3728905

History

2026-11-02: add by m2/dev

classical, category theory J8T8TY3DTV

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

Mentions

hott_book: hott_book index/2.9/classical-category-theory, classical, category theory (concept). In N54F33XE07, index, section 2.9

History

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

J8TH9JTEJ1 J8TH9JTEJ1

URI	`m2://inv/J8TH9JTEJ1`
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.10928#P7B4 (statement). In 8M7BFVQYMM/e1, lemma 6.3

History

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

J8TN6XPSPD J8TN6XPSPD

URI	`m2://inv/J8TN6XPSPD`
Kind	statement
Layer	research
MSC	14-XX, 53-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.21960#CVP5 (statement). In QX77AN49J0/e1, lemma 8.7

History

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

J8TQM6K7BM J8TQM6K7BM

URI	`m2://inv/J8TQM6K7BM`
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.23262#SIPF (statement)

History

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

Vanishing RCMCI J8TSMB185X

URI	`m2://inv/J8TSMB185X`
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.18428#YBDG, Vanishing RCMCI (statement). In 6BGSQT7SV8/e1, lemma 13

History

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

reflexivity, of inductive cover J8TW7DVHE3

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

Mentions

hott_book: hott_book index/B.5/reflexivity-of-inductive-cover, reflexivity, of inductive cover (concept). In N54F33XE07, index, section B.5

History

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

J8TWPB25KT J8TWPB25KT

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 3.5.1

History

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

J8TXMYV26N J8TXMYV26N

URI	`m2://inv/J8TXMYV26N`
Kind	definition
Layer	research
MSC	03-XX, 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 2609.28742#9L2U (definition)

History

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

Step detection J8TZ244R95

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

Mentions

wikipedia: Wikipedia List of statistics articles#PPR4, Step detection (definition)

History

2026-11-02: add by m2/dev

J8V4YA0DG3 J8V4YA0DG3

URI	`m2://inv/J8V4YA0DG3`
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.37252#3X6O (statement). In E3EK0ESPA7/e1, lemma 3.3

History

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

Projection-slice theorem J8W1KESC05

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#07RH, Projection-slice theorem (statement)

History

2026-11-02: add by m2/dev

Kirsten Morris J8W2B537CR

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

Mentions

wikipedia: Wikipedia Kirsten Morris, Kirsten Morris (topic). Also Wikidata Q102410049

History

2026-11-02: add by m2/dev

disjuction, equivalent implication J8W2J83YTJ

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

Mentions

levin_dmoi: levin_dmoi index/4.1.2/disjuction-equivalent-implication, disjuction, equivalent implication (concept). In Y91XFCEVHQ, index, section 4.1.2

History

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

Density (polytope) J8W98CDVSD

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra#4ANN, Density (polytope) (object)

History

2026-11-02: add by m2/dev

Parbelos J8WCYNY986

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

Mentions

wikipedia: Wikipedia Parbelos, Parbelos (definition). Also Wikidata Q97422891

History

2026-11-02: add by m2/dev

Positive-definite kernel J8WGJ8KRNK

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

Mentions

wikipedia: Wikipedia Positive-definite kernel, Positive-definite kernel (definition). Also Wikidata Q7233207

History

2026-11-02: add by m2/dev

Terminology J8WM9YJYBX

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

Mentions

wikipedia: Wikipedia Antinomy#JQL5, Terminology (definition)

History

2026-11-02: add by m2/dev

Green's conjecture J8WV38WAXK

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

Mentions

wikipedia: Wikipedia Clifford's theorem on special divisors#DSWX, Green's conjecture (statement)

History

2026-11-02: add by m2/dev

Numerical Recipes J8X39Z81KC

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

Mentions

wikipedia: Wikipedia Numerical Recipes, Numerical Recipes (definition). Also Wikidata Q656345

History

2026-11-02: add by m2/dev

J8X4EYS0QR J8X4EYS0QR

URI	`m2://inv/J8X4EYS0QR`
Kind	statement
Layer	research
MSC	60-XX, 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 2609.20410#8SVU (statement)

History

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

Fisher's noncentral hypergeometric distribution J8X5SQQKG6

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

Mentions

wikipedia: Wikipedia List of statistics articles#QH9B, Fisher's noncentral hypergeometric distribution (definition)
wikipedia: Wikipedia List of probability distributions#8KOX, Fisher's noncentral hypergeometric distribution (definition)

History

2026-11-02: add by m2/dev

Examples J8XA9MF4RN

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

Mentions

wikipedia: Wikipedia Matlis duality#XV74, Examples (example)

History

2026-11-02: add by m2/dev

Inverse image J8XG02VTQ6

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

Mentions

wikipedia: Wikipedia Image (mathematics)#7W26, Inverse image (unknown)

History

2026-11-02: add by m2/dev

Regular hyperbolic honeycomb J8XHGR5G68

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

Mentions

wikipedia: Wikipedia Honeycomb (geometry)#MG81, Regular hyperbolic honeycomb (unknown)

History

2026-11-02: add by m2/dev

Examples J8XN2SR1VX

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

Mentions

wikipedia: Wikipedia Exponential family#L551, Examples (example)

History

2026-11-02: add by m2/dev

Classical invariant theory J8XSP3VGK1

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#VMZ2, Classical invariant theory (definition)

History

2026-11-02: add by m2/dev

J8XSQNCHYN J8XSQNCHYN

URI	`m2://inv/J8XSQNCHYN`
Kind	statement
Layer	research
MSC	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 2609.28011#X01C (statement)

History

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

Leopold Kronecker J8XW22DA74

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

Mentions

wikipedia: Wikipedia List of real analysis topics#UNPZ, Leopold Kronecker (topic)
wikipedia: Wikipedia List of mathematicians born in the 19th century#PK21, Leopold Kronecker (topic)

History

2026-11-02: add by m2/dev

Boolean operator J8XZY0CDV0

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

Mentions

wikipedia: Wikipedia Glossary of logic#Y585, Boolean operator (definition)

History

2026-11-02: add by m2/dev

J8Y1FYJXS4 J8Y1FYJXS4

URI	`m2://inv/J8Y1FYJXS4`
Kind	statement
Layer	research
MSC	17-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.19459#LL01 (statement). In SATS9RFBX7/e1, proposition 7

History

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

J8Y3NP6NGG J8Y3NP6NGG

URI	`m2://inv/J8Y3NP6NGG`
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.27484#U4NR (statement)

History

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

J8Y8Z3MR8V J8Y8Z3MR8V

URI	`m2://inv/J8Y8Z3MR8V`
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.15088#IJY1 (statement). In 2BRTT5ZFC6/e1, lemma A.1

History

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

J8YH5C4JZP J8YH5C4JZP

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 90.6

History

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

integral closure J8YJKZX5HV

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

Mentions

wikidata: Wikidata Q78650261, integral closure (unknown). Also MathWorld IntegralClosure, nLab integral closure

History

2026-10-26: add by m2/dev

large fields J8YPZEATSJ

URI	`m2://inv/J8YPZEATSJ`
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#C8ZN, large fields (statement). In 1SPQ4J3AWY/e1, corollary 5.14

History

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

Mikyoung Jun J8YV1RSBF5

URI	`m2://inv/J8YV1RSBF5`
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#OZEI, Mikyoung Jun (topic)

History

2026-11-02: add by m2/dev

J8YWJWN9VE J8YWJWN9VE

URI	`m2://inv/J8YWJWN9VE`
Kind	definition
Layer	research
MSC	03-XX, 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.05986#H4N7 (definition). In N5ZM8MXJXH/e1, definition 2.1

History

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

J8Z1V2Q4XC J8Z1V2Q4XC

URI	`m2://inv/J8Z1V2Q4XC`
Kind	statement
Layer	research
MSC	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 2609.39330#D8MZ (statement). In 7ZTJ23YG7A/e1, lemma 2.2

History

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

J8Z37C17YH J8Z37C17YH

URI	`m2://inv/J8Z37C17YH`
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.20558#YV23 (statement). In 46370P3Y9S/e1, lemma 6.7

History

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

Sebastiani-Thom Isomorphism J8ZE2DCCCS

URI	`m2://inv/J8ZE2DCCCS`
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 math/9908107#Q4XP, Sebastiani-Thom Isomorphism (statement). In Z69NDB0XM9/e1, theorem

History

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

J8ZS1RW88G J8ZS1RW88G

URI	`m2://inv/J8ZS1RW88G`
Kind	problem
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 1804.06366#SFS1 (problem). In 89XYDVXG38/e1, problem 3.7

History

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

Iosif Vorovich J8ZS4HZT33

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

Mentions

wikipedia: Wikipedia Iosif Vorovich, Iosif Vorovich (topic). Also Wikidata Q4125281

History

2026-11-02: add by m2/dev

J8ZSJBZC3T J8ZSJBZC3T

URI	`m2://inv/J8ZSJBZC3T`
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.29450#RHMM (statement)

History

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

Graded poset J8ZWH0G69W

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

Mentions

wikipedia: Wikipedia Graded poset, Graded poset (definition). Also Wikidata Q5591878

History

2026-11-02: add by m2/dev