Inventory rows JE

JE057BSK7V JE057BSK7V

URI	`m2://inv/JE057BSK7V`
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.20013#KFED (statement). In SC5JZQKZH6/e1, lemma 4.3

History

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

JE08WJTF78 JE08WJTF78

URI	`m2://inv/JE08WJTF78`
Kind	example
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 2610.12489#0Z4Q (example). In FDWFVD08SE/e1, example 2.3

History

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

JE0J0S6ZFS JE0J0S6ZFS

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

Mentions

arxiv: arXiv 2306.00590#NZ4E (proof). In D3WTQN2F7B/e1, proof

History

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

Law of truly large numbers JE0NTCEMQR

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

Mentions

wikipedia: Wikipedia List of statistics articles#2DAF, Law of truly large numbers (statement)
wikipedia: Wikipedia List of probability topics#I3EE, Law of truly large numbers (statement)

History

2026-11-02: add by m2/dev

JE0YRG0MZV JE0YRG0MZV

URI	`m2://inv/JE0YRG0MZV`
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.21494#JPN8 (statement). In ZWT4C1DYPE/e1, proposition 7.2

History

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

CP2K JE15762APQ

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#DLJ3, CP2K (unknown)
wikipedia: Wikipedia List of open-source software for mathematics#EEFE, CP2K (unknown)

History

2026-11-02: add by m2/dev

Panjer class JE16EW3BX1

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

Mentions

wikipedia: Wikipedia Panjer recursion#8LJU, Panjer class (unknown)

History

2026-11-02: add by m2/dev

Complete finite regular flat classification JE1ACWEYXR

URI	`m2://inv/JE1ACWEYXR`
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.12014#CS2N, Complete finite regular flat classification (statement). In DR7BK4CQ0V/e1, theorem 5.3

History

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

Ahmed Almheiri JE1JCAHBED

URI	`m2://inv/JE1JCAHBED`
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 Q75776525, Ahmed Almheiri (unknown). Also nLab Ahmed Almheiri

History

2026-10-26: add by m2/dev

JE1SMEYRCE JE1SMEYRCE

URI	`m2://inv/JE1SMEYRCE`
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.25190#Z693 (statement)

History

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

Rice distribution JE1VFASKF4

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

Mentions

wikipedia: Wikipedia List of probability distributions#XWK2, Rice distribution (definition)

History

2026-11-02: add by m2/dev

JE1Y9VZZY5 JE1Y9VZZY5

URI	`m2://inv/JE1Y9VZZY5`
Kind	statement
Layer	research
MSC	46-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.27798#TEAG (statement)

History

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

JE1Z90NZRZ JE1Z90NZRZ

URI	`m2://inv/JE1Z90NZRZ`
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.07508#LGD7 (statement). In TPA3E67MKK/e1, theorem 9.1

History

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

Characterization JE22A8PMG9

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

Mentions

wikipedia: Wikipedia Log-Cauchy distribution#LT0R, Characterization (statement)

History

2026-11-02: add by m2/dev

JE248QBHDX JE248QBHDX

URI	`m2://inv/JE248QBHDX`
Kind	definition
Layer	research
MSC	11-XX, 14-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.32181#CBRU (definition). In 8FKEQSPN7M/e1, definition 1.2

History

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

quasiregular polyhedron JE29A9QXDX

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

Mentions

wikidata: Wikidata Q869652, quasiregular polyhedron (unknown). Also MathWorld QuasiregularPolyhedron
wikipedia: Wikipedia Quasiregular polyhedron, Quasiregular polyhedron (object). Also Wikidata Q869652

History

2026-10-26: add by m2/dev

Boolean-valued function JE29CWWQ4M

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

Mentions

wikidata: Wikidata Q17020770, Boolean-valued function (unknown). Also nLab boolean-valued function
wikipedia: Wikipedia Boolean-valued function, Boolean-valued function (definition). Also Wikidata Q17020770

History

2026-10-26: add by m2/dev

Examples JE2CKQJMZ7

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

Mentions

wikipedia: Wikipedia Compact convergence#26H5, Examples (example)

History

2026-11-02: add by m2/dev

JE2MM81S09 JE2MM81S09

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 6.2.4

History

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

564 (number) JE2MXVR4DG

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

Mentions

wikipedia: Wikipedia 500 (number)#GQTE, 564 (number) (unknown)

History

2026-11-02: add by m2/dev

linkage JE2TBD81RA

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#5KFJ, linkage (definition)

History

2026-11-02: add by m2/dev

JE2TKSNJZK JE2TKSNJZK

URI	`m2://inv/JE2TKSNJZK`
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.21568#XLHB (statement)

History

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

Generalized continuum hypothesis JE2YAB1YAR

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

Mentions

wikipedia: Wikipedia List of statements independent of ZFC#LSU1, Generalized continuum hypothesis (statement)

History

2026-11-02: add by m2/dev

Multi-compartment model JE2Z4A6AZ3

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

Mentions

wikipedia: Wikipedia Multi-compartment model, Multi-compartment model (definition). Also Wikidata Q6934435

History

2026-11-02: add by m2/dev

JE30E9AWAY JE30E9AWAY

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-173 (exercise). In VNMV985MXX, exercise, section 3.2

History

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

Contraction and queen positions JE32A52ENF

URI	`m2://inv/JE32A52ENF`
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.31336#WQF9, Contraction and queen positions (statement). In 70RV7J456D/e1, proposition 9

History

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

JE3999YPJB JE3999YPJB

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-26 (exercise). In Y91XFCEVHQ, exercise, section 1.3

History

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

JE3DQF7FHW JE3DQF7FHW

URI	`m2://inv/JE3DQF7FHW`
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.20165#4TKU (statement). In QTD3BP5GA0/e1, lemma 3.10

History

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

JE3GKAQB60 JE3GKAQB60

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

History

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

Axioms JE3H0Z35TQ

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

Mentions

wikipedia: Wikipedia CC system#6K3G, Axioms (statement)

History

2026-11-02: add by m2/dev

JE3SS1HB36 JE3SS1HB36

URI	`m2://inv/JE3SS1HB36`
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 1903.07030#HP0W (definition). In 9H45HQE7AZ/e1, definition 2.24

History

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

CMIDE JE3TW988GJ

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

Mentions

wikipedia: Wikipedia Opinion polls in Venezuela#8N5M, CMIDE (unknown)

History

2026-11-02: add by m2/dev

JE3V4DB2E3 JE3V4DB2E3

URI	`m2://inv/JE3V4DB2E3`
Kind	statement
Layer	research
MSC	11-XX, 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.03231#AF5C (statement). In 3Y76AQQGF0/e1, theorem 1.1

History

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

JE47K7HNQ9 JE47K7HNQ9

URI	`m2://inv/JE47K7HNQ9`
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 2603.21971#MQGH (statement). In R6KSZ9H8CY/e1, lemma 4.3

History

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

Standard-CCR reduction of a faithful-input covariance-dual optimizer JE4BFA4YVN

URI	`m2://inv/JE4BFA4YVN`
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#LILT, Standard-CCR reduction of a faithful-input covariance-dual optimizer (statement). In MM8P5CJR18/e1, proposition 5.24

History

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

Nizar Touzi JE4MTZFJXJ

URI	`m2://inv/JE4MTZFJXJ`
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#ZM8H, Nizar Touzi (topic)

History

2026-11-02: add by m2/dev

JE4NQ0Y90V JE4NQ0Y90V

URI	`m2://inv/JE4NQ0Y90V`
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.19311#2VNG (statement). In 3MFD6RSV41/e1, proposition 3.1

History

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

Singular-value bases for a compact embedding JE4WT6A7DS

URI	`m2://inv/JE4WT6A7DS`
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.33033#KSIR, Singular-value bases for a compact embedding (statement). In AJWBAHJ8VD/e1, proposition 5.10

History

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

JE5CGTWPFF JE5CGTWPFF

URI	`m2://inv/JE5CGTWPFF`
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.36412#7CFH (statement). In 6HKGGCMBCK/e1, lemma 8.2

History

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

Initial topology JE5FCY9NGP

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

Mentions

wikipedia: Wikipedia Initial topology, Initial topology (definition). Also Wikidata Q13416298

History

2026-11-02: add by m2/dev

category, locally cartesian closed JE5GC4RTJ7

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

Mentions

hott_book: hott_book index/C.1.4/category-locally-cartesian-closed, category, locally cartesian closed (concept). In N54F33XE07, index, section C.1.4

History

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

Properties JE5H0KXTSQ

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

Mentions

wikipedia: Wikipedia Logarithmically concave function#D0OO, Properties (statement)

History

2026-11-02: add by m2/dev

Maximal decompositions can be fully refined JE5MV5PGHK

URI	`m2://inv/JE5MV5PGHK`
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.20922#BVJ3, Maximal decompositions can be fully refined (statement). In BYG6MRRYA1/e1, corollary 2.1

History

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

JE5NPPVJHZ JE5NPPVJHZ

URI	`m2://inv/JE5NPPVJHZ`
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 2610.08382#2DKO (statement). In GYMGDQS25R/e1, corollary 6.11

History

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

JE5NT5D3T2 JE5NT5D3T2

URI	`m2://inv/JE5NT5D3T2`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 47-XX, 58-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.17139#ARF0 (statement). In AQWX60Z563/e1, theorem 4.15

History

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

limit comparison test JE5PNGA9DV

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

Mentions

wikipedia: Wikipedia Glossary of calculus#NCOK, limit comparison test (definition)

History

2026-11-02: add by m2/dev

Circular reference JE5SN90CDG

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

Mentions

wikipedia: Wikipedia Circular reference, Circular reference (definition). Also Wikidata Q205808

History

2026-11-02: add by m2/dev

Gaussian elimination JE62CXDZ65

URI	`m2://inv/JE62CXDZ65`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Gaussian elimination 0JVJ2WCXZH

Mentions

wikidata: Wikidata Q2658, Gaussian elimination (unknown). Also MathWorld GaussianElimination, nLab Gaussian elimination
wikipedia: Wikipedia Gaussian elimination, Gaussian elimination (definition). Also Wikidata Q2658

History

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

Definition JE65Y4G4ET

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

Mentions

wikipedia: Wikipedia Summability kernel#PYUR, Definition (definition)

History

2026-11-02: add by m2/dev

Lie point symmetry JE698JAM54

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

Mentions

wikipedia: Wikipedia Lie point symmetry, Lie point symmetry (definition). Also Wikidata Q6543828

History

2026-11-02: add by m2/dev

JE6DYTJKG4 JE6DYTJKG4

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/maximally-consistent-sets.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 11.7

History

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

First Coast JE6E43675B

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

Mentions

wikipedia: Wikipedia List of places with numeric names#RHT7, First Coast (unknown)

History

2026-11-02: add by m2/dev

JE6S9PMM4V JE6S9PMM4V

URI	`m2://inv/JE6S9PMM4V`
Kind	example
Layer	research
MSC	13-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.37931#GSIZ (example). In J8C1EXQW86/e1, example 5.6

History

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

8700 JE6VVHWK66

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

Mentions

wikipedia: Wikipedia 8000 (number)#3FS1, 8700 (unknown)

History

2026-11-02: add by m2/dev

Markov property (group theory) JE788PGGPK

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

Mentions

wikipedia: Wikipedia Adian–Rabin theorem#7I4Q, Markov property (group theory) (unknown)

History

2026-11-02: add by m2/dev

torsion tensor JE7BW6RJ0J

URI	`m2://inv/JE7BW6RJ0J`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Torsion tensor JZNQAN00ZJ

Mentions

wikidata: Wikidata Q13229797, torsion tensor (unknown). Also MathWorld TorsionTensor, nLab torsion of a metric connection
wikipedia: Wikipedia Torsion tensor, Torsion tensor (definition). Also Wikidata Q13229797

History

2026-10-26: add by m2/dev

Eckmann--Hilton argument JE7EN18M6N

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

Mentions

hott_book: hott_book index/1.1/eckmann-hilton-argument, Eckmann--Hilton argument (concept). In N54F33XE07, index, section 1.1

History

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

Abraham–Lorentz force JE7FCGMAZP

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

Mentions

wikipedia: Wikipedia Abraham–Lorentz force, Abraham–Lorentz force (definition). Also Wikidata Q253011

History

2026-11-02: add by m2/dev

Short five lemma JE7HZY55E6

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#04G0, Short five lemma (statement)
wikipedia: Wikipedia List of lemmas#7397, Short five lemma (statement)

History

2026-11-02: add by m2/dev

Cluster analysis JE7PF9RMA9

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

Mentions

wikipedia: Wikipedia List of statistics articles#LE4L, Cluster analysis (definition)

History

2026-11-02: add by m2/dev

Rate Bounded JE7Q18D8PF

URI	`m2://inv/JE7Q18D8PF`
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 2610.12716#L1HQ, Rate Bounded (definition). In M6BCSQSM3R/e1, definition 2

History

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

Szemerédi–Trotter theorem JE7VKGS1FV

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

Mentions

mathlib_1000: mathlib_1000 Q721695, Szemerédi–Trotter theorem (statement). Also Wikidata Q721695
thousand_plus: thousand_plus Q721695, Szemerédi–Trotter theorem (statement). Also Wikidata Q721695, Wikipedia Szemerédi–Trotter theorem
wikipedia: Wikipedia Szemerédi–Trotter theorem, Szemerédi–Trotter theorem (statement). Also Wikidata Q721695

History

2026-10-26: add by m2/dev

JE7XZBHV98 JE7XZBHV98

URI	`m2://inv/JE7XZBHV98`
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.18777#O1QL (statement). In TFZDPHDF7V/e1, proposition 2.7

History

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

Markov chain JE7Z5Y2PE2

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

Mentions

applied_combinatorics: applied_combinatorics index/16.3/markov-chain, Markov chain (concept). In QKM9DD2H56, index, section 16.3

History

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

Jean-Claude Falmagne JE816HE998

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1TFB, Jean-Claude Falmagne (topic)

History

2026-11-02: add by m2/dev

Kelly Rondestvedt JE81JMN5HG

URI	`m2://inv/JE81JMN5HG`
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#XLOA, Kelly Rondestvedt (unknown)

History

2026-11-02: add by m2/dev

Nakayama's lemma JE85V6370E

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

Mentions

wikipedia: Wikipedia Noncommutative ring#A2PU, Nakayama's lemma (statement)

History

2026-11-02: add by m2/dev

JE8677T1EG JE8677T1EG

URI	`m2://inv/JE8677T1EG`
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 2609.34856#QGLR (statement). In MRR92GQNZE/e1, theorem H

History

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

uniqueness, principle, for product types JE88BDYD5Y

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

Mentions

hott_book: hott_book index/A.12.3/uniqueness-principle-for-product-types, uniqueness, principle, for product types (concept). In N54F33XE07, index, section A.12.3

History

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

Kolmogorov Prize JE8CGHTM4E

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

Mentions

wikipedia: Wikipedia Kolmogorov Prize, Kolmogorov Prize (definition). Also Wikidata Q18408471

History

2026-11-02: add by m2/dev

Tatjana Stykel JE8FQA0N4R

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

Mentions

wikipedia: Wikipedia Tatjana Stykel, Tatjana Stykel (topic). Also Wikidata Q86718346

History

2026-11-02: add by m2/dev

JE8GHZ6ER0 JE8GHZ6ER0

URI	`m2://inv/JE8GHZ6ER0`
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.25656#JGA1 (statement)

History

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

JE8JSVB6E5 JE8JSVB6E5

URI	`m2://inv/JE8JSVB6E5`
Kind	problem
Layer	research
MSC	46-XX, 47-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.15180#F71N (problem). In AMRWRJDNKJ/e1, problem 5

History

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

JE8Q1WAW5E JE8Q1WAW5E

URI	`m2://inv/JE8Q1WAW5E`
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.35030#6HRW (statement). In DPT4P2BTEW/e1, proposition 2.5

History

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

Associative operad JE8T2KXJB9

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

Mentions

wikipedia: Wikipedia Operad#QHBC, Associative operad (unknown)

History

2026-11-02: add by m2/dev

Complexification JE8VT578DR

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

Mentions

wikipedia: Wikipedia Complexification, Complexification (definition). Also Wikidata Q445569

History

2026-11-02: add by m2/dev

Alchian–Allen effect JE8Y4YPQCX

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

Mentions

mathlib_1000: mathlib_1000 Q4713046, Alchian–Allen theorem (statement). Also Wikidata Q4713046
thousand_plus: thousand_plus Q4713046, Alchian–Allen theorem (statement). Also Wikidata Q4713046, Wikipedia Alchian–Allen theorem
wikipedia: Wikipedia Alchian–Allen effect, Alchian–Allen effect (definition). Also Wikidata Q4713046

History

2026-10-26: add by m2/dev

Esteban Terrades JE93EK2VXF

URI	`m2://inv/JE93EK2VXF`
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#EO2J, Esteban Terrades (topic)

History

2026-11-02: add by m2/dev

primitive element theorem JE94J990CZ

URI	`m2://inv/JE94J990CZ`
Kind	statement
Layer	textbook
MSC	12-XX, 20-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Primitive element theorem 0SVX98HYV1

Mentions

arxiv: arXiv 2610.18154#KEDN, Primitive element theorem (statement). In 4W7ARR1DAR/e1, fact B.2
mathlib_1000: mathlib_1000 Q2093886, Primitive element theorem (statement). Also Mathlib Field.exists_primitive_element, Wikidata Q2093886
thousand_plus: thousand_plus Q2093886, Primitive element theorem (statement). Also Mathlib Field.exists_primitive_element, Wikidata Q2093886, Wikipedia Primitive element theorem
wikidata: Wikidata Q2093886, primitive element theorem (statement). Also ProofWiki Primitive_Element_Theorem
wikipedia: Wikipedia Primitive element theorem, Primitive element theorem (statement). Also Wikidata Q2093886

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent
2026-10-31: merge by m2/v0.5.6

JE97VB0BPT JE97VB0BPT

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.9

History

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

JE9BDJ9NX2 JE9BDJ9NX2

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

Mentions

arxiv: arXiv 2106.06387#QBNF (unknown). In 4YJH4FPWDA/e1, unknown 2.3

History

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

JE9MF0PBHE JE9MF0PBHE

URI	`m2://inv/JE9MF0PBHE`
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.09596#0E7V (statement). In HXFA55BREZ/e1, lemma 4.3

History

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

Iterated prisoner's dilemma JE9S53375Y

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

Mentions

wikipedia: Wikipedia Prisoner's dilemma#W7ZQ, Iterated prisoner's dilemma (unknown)

History

2026-11-02: add by m2/dev

JE9VDG5THF JE9VDG5THF

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#example-4 (example). In E59CDZA4DP, example, section 4.1

History

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

Melvin Hochster JEA0V46P4M

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#UHP2, Melvin Hochster (unknown)

History

2026-11-02: add by m2/dev

JEAB3CQP1N JEAB3CQP1N

URI	`m2://inv/JEAB3CQP1N`
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.16358#V842 (statement). In RJA3YJ9NYK/e1, lemma 3.5

History

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

Czitrom, Veronica JEAF4WMBGH

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

Mentions

wikipedia: Wikipedia List of statisticians#UKGH, Czitrom, Veronica (unknown)

History

2026-11-02: add by m2/dev

Microsoft Pulse JEAHDV2ATG

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

Mentions

wikipedia: Wikipedia Microsoft Pulse, Microsoft Pulse (definition). Also Wikidata Q19867119

History

2026-11-02: add by m2/dev

Overall recovery upper bound for one-bit posterior sampling under a covering partition JEAMG954YG

URI	`m2://inv/JEAMG954YG`
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.11834#9BD3, Overall recovery upper bound for one-bit posterior sampling under a covering partition (statement). In SMC03CWP4R/e1, lemma 3.4

History

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

JEAPYHYDAQ JEAPYHYDAQ

URI	`m2://inv/JEAPYHYDAQ`
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#U2IG (statement). In 80Q4X3WT8W/e1, lemma 2.1

History

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

JEAQRY7CZT JEAQRY7CZT

URI	`m2://inv/JEAQRY7CZT`
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.13833#1K9D (statement). In VD4JP4HVBX/e1, proposition 8.7

History

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

Construction JEAZHSEG90

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

Mentions

wikipedia: Wikipedia Exotic R4#P85N, Construction (definition)

History

2026-11-02: add by m2/dev

JEB0DDNFT1 JEB0DDNFT1

URI	`m2://inv/JEB0DDNFT1`
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 2609.29489#0NIQ (statement)

History

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

theta divisor JEB3YPH0T9

URI	`m2://inv/JEB3YPH0T9`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q17104025, Riemann singularity theorem (statement). Also Wikidata Q17104025
thousand_plus: thousand_plus Q17104025, Riemann singularity theorem (statement). Also Wikidata Q17104025, Wikipedia Riemann singularity theorem
wikidata: Wikidata Q17104025, theta divisor (unknown). Also nLab theta divisor
wikipedia: Wikipedia Theta divisor, Theta divisor (definition). Also Wikidata Q17104025

History

2026-10-26: add by m2/dev

JEB4CKF8RH JEB4CKF8RH

URI	`m2://inv/JEB4CKF8RH`
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.25457#UOPC (statement)

History

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

V. I. Arnold JEBBDC9YWX

URI	`m2://inv/JEBBDC9YWX`
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 2610.01501#40YY, V. I. Arnold (statement). In 8Q2PXZDGB5/e1, theorem 6.2

History

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

JEBEQ5J270 JEBEQ5J270

URI	`m2://inv/JEBEQ5J270`
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 2610.20126#JN56 (definition). In KVXDWX9B11/e1, definition 2.1

History

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

Example JEBFABP5A3

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

Mentions

wikipedia: Wikipedia Kernel principal component analysis#XDC3, Example (example)

History

2026-11-02: add by m2/dev

Symbolic power of an ideal JEBH0TASV8

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

Mentions

wikipedia: Wikipedia Symbolic power of an ideal, Symbolic power of an ideal (definition). Also Wikidata Q18393178

History

2026-11-02: add by m2/dev

Suslin tree JEBH7VPYGH

URI	`m2://inv/JEBH7VPYGH`
Kind	example
Layer	research
MSC	03-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.01919#R3LR, Suslin tree (example). In 4H727T2YAS/e1, example 6.1

History

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

probability generating functions JEBSJ5W4XW

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

Mentions

mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > probability generating functions, probability generating functions (unknown)

History

2026-10-26: add by m2/dev

The exceptional order four JEBWMGK6Q6

URI	`m2://inv/JEBWMGK6Q6`
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.10950#A543, The exceptional order four (statement). In P392PEVRAY/e1, proposition 7.2

History

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

Calibration error JEC6P7NCJZ

URI	`m2://inv/JEC6P7NCJZ`
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.15511#KZIM, Calibration error (statement). In TZM08VJAQT/e1, lemma 3.5

History

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

paraconsistent logics JEC7K7EPJ9

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

Mentions

wikipedia: Wikipedia Principle of explosion#XSWN, paraconsistent logics (definition)

History

2026-11-02: add by m2/dev

CableCARD JECDTXJ0AX

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

Mentions

wikipedia: Wikipedia CableCARD, CableCARD (definition). Also Wikidata Q5015616

History

2026-11-02: add by m2/dev

JECHR4RXKT JECHR4RXKT

URI	`m2://inv/JECHR4RXKT`
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.23605#ZL1O (statement)

History

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

450 (number) JECN029JKK

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

Mentions

wikipedia: Wikipedia 400 (number)#KA05, 450 (number) (unknown)

History

2026-11-02: add by m2/dev

normed vector space JEDAQAPXWD

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#DILD, normed vector space (definition)

History

2026-11-02: add by m2/dev

graph, eulerian JEDCPS0V8P

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

Mentions

applied_combinatorics: applied_combinatorics index/5.3/graph-eulerian, graph, eulerian (concept). In QKM9DD2H56, index, section 5.3

History

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

JEDQHKSAQT JEDQHKSAQT

URI	`m2://inv/JEDQHKSAQT`
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 2609.40096#9MXL (statement). In XFE35F9NEV/e1, lemma 4.3

History

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

JEDQJ6RMDJ JEDQJ6RMDJ

URI	`m2://inv/JEDQJ6RMDJ`
Kind	definition
Layer	research
MSC	13-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 2405.02275#KDV0 (definition). In 1QXCNGRWV1/e1, definition 4.6

History

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

Robert McNair Ferguson JEDVN8QW5G

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

Mentions

wikipedia: Wikipedia Robert McNair Ferguson, Robert McNair Ferguson (topic). Also Wikidata Q29431876

History

2026-11-02: add by m2/dev

Michèle Vergne JEDX2V0AQY

URI	`m2://inv/JEDX2V0AQY`
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 Q16445, Michèle Vergne (unknown). Also nLab Michèle Vergne
wikipedia: Wikipedia Michèle Vergne, Michèle Vergne (topic). Also Wikidata Q16445

History

2026-10-26: add by m2/dev

The Fundamental Theorem of Aliasing JEE779MWGD

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

Mentions

wikipedia: Wikipedia Aliasing (factorial experiments)#ELFB, The Fundamental Theorem of Aliasing (statement)

History

2026-11-02: add by m2/dev

Monomer correlation function JEE8TD4MZC

URI	`m2://inv/JEE8TD4MZC`
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 2609.29671#SGRC, Monomer correlation function (definition)

History

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

Aleksandrov–Rassias problem JEE9ETFHWA

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

Mentions

wikipedia: Wikipedia Aleksandrov–Rassias problem, Aleksandrov–Rassias problem (problem). Also Wikidata Q4715616

History

2026-11-02: add by m2/dev

Weyl dimension formula JEERA9FW3W

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

Mentions

wikipedia: Wikipedia Weyl character formula#6FDY, Weyl dimension formula (statement)

History

2026-11-02: add by m2/dev

Fundamental theorem of curves JEFEF39PR7

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental#T3PF, Fundamental theorem of curves (statement)

History

2026-11-02: add by m2/dev

JEFFFXGZDB JEFFFXGZDB

URI	`m2://inv/JEFFFXGZDB`
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#LAU2 (statement). In Y1DR0DPWD0/e1, lemma 4.8

History

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

JEFFP5TBM5 JEFFP5TBM5

URI	`m2://inv/JEFFP5TBM5`
Kind	definition
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.18847#XAUJ (definition). In DZ12XTTJSM/e1, definition 5.9

History

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

affine ring JEFJSP2634

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#3J6V, affine ring (definition)

History

2026-11-02: add by m2/dev

JEFRY5DWE3 JEFRY5DWE3

URI	`m2://inv/JEFRY5DWE3`
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.21092#RJTP (statement). In AGJE43FTF8/e1, lemma 7.11

History

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

\textbf{Cohen-type theorem for Z-Noetherian rings JEG5RKXX19

URI	`m2://inv/JEG5RKXX19`
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.16178#YYAK, \textbf{Cohen-type theorem for Z-Noetherian rings (statement). In 698X5RE1AB/e1, theorem 2.12

History

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

Jacquet module of the maximal factor JEGAR3QA77

URI	`m2://inv/JEGAR3QA77`
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 2610.05364#LJIZ, Jacquet module of the maximal factor (statement). In TPYRE2ARMD/e1, lemma 6.1

History

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

Gian Carlo Wick JEGF7JD4W6

URI	`m2://inv/JEGF7JD4W6`
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 Q1522269, Gian Carlo Wick (unknown). Also nLab Gian-Carlo Wick

History

2026-10-26: add by m2/dev

List of mathematical series JEGGY5MQR9

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#G42Y, List of mathematical series (topic)

History

2026-11-02: add by m2/dev

Product approximation JEGK35MV50

URI	`m2://inv/JEGK35MV50`
Kind	statement
Layer	research
MSC	14-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 2610.09295#QTJU, Product approximation (statement). In 29X0B511NF/e1, lemma 6.3

History

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

JEGN6PMEB8 JEGN6PMEB8

URI	`m2://inv/JEGN6PMEB8`
Kind	definition
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 2503.05873#QEQK (definition). In 2FY5P3FAS0/e1, definition 1

History

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

JEGQRZGZRM JEGQRZGZRM

URI	`m2://inv/JEGQRZGZRM`
Kind	conjecture
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.17602#8RNI (conjecture). In BH62508WHJ/e1, conjecture 2

History

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

Elementary JEH322G6KK

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

Mentions

wikipedia: Wikipedia Glossary of category theory#TOQL, Elementary (definition)

History

2026-11-02: add by m2/dev

JEH336AD7C JEH336AD7C

URI	`m2://inv/JEH336AD7C`
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 2610.09810#WNQ9 (definition). In B6PCH930FV/e1, definition 4

History

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

Half Moon Bay, Alberta JEH3Z5N99X

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

Mentions

wikipedia: Wikipedia List of places with numeric names#8IVX, Half Moon Bay, Alberta (unknown)

History

2026-11-02: add by m2/dev

abstract simplicial complex JEHA6A0JJK

URI	`m2://inv/JEHA6A0JJK`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Simplicial complex V8GZ0W1ZZ5

Mentions

wikidata: Wikidata Q4669959, abstract simplicial complex (concept). Also MathWorld AbstractSimplicialComplex
wikipedia: Wikipedia Abstract simplicial complex, Abstract simplicial complex (definition). Also Wikidata Q4669959

History

2026-10-26: add by m2/dev

induced subgraph JEHAWTZXZJ

URI	`m2://inv/JEHAWTZXZJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Induced subgraph 0EREPBVG2G

Mentions

wikidata: Wikidata Q24743362, induced subgraph (unknown). Also MathWorld Vertex-InducedSubgraph
wikipedia: Wikipedia Induced subgraph, Induced subgraph (definition). Also Wikidata Q24743362

History

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

Homological conjectures JEHD8ZNGHG

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#LAZX, Homological conjectures (conjecture)
wikipedia: Wikipedia List of unsolved problems in mathematics#BGW8, Homological conjectures in commutative algebra (conjecture)

History

2026-11-02: add by m2/dev

Continuum JEHDPV5415

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

Mentions

wikipedia: Wikipedia List of general topology topics#3HF3, Continuum (definition)

History

2026-11-02: add by m2/dev

joint probability JEHEVVK82Q

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#82LA, joint probability (definition)

History

2026-11-02: add by m2/dev

Even degrees JEHFHPF9QC

URI	`m2://inv/JEHFHPF9QC`
Kind	statement
Layer	research
MSC	03-XX, 26-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 2610.12434#7QWU, Even degrees (statement). In YCRZC9SDCE/e1, lemma 6.2

History

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

Singular homology JEHG3V0FG9

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#4A36, Singular homology (definition)

History

2026-11-02: add by m2/dev

JEHMFB591R JEHMFB591R

URI	`m2://inv/JEHMFB591R`
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.36412#QLDR (statement). In 6HKGGCMBCK/e1, proposition 2.5

History

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

Aronhold set JEHPRQNRXE

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#KTX8, Aronhold set (definition)

History

2026-11-02: add by m2/dev

Minima of 4d theta function JEHTJ7JJAS

URI	`m2://inv/JEHTJ7JJAS`
Kind	statement
Layer	research
MSC	11-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.37615#3QVX, Minima of 4d theta function (statement). In T2B54J7121/e1, theorem 1.1

History

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

Bolyai–Lobachevskian geometry JEHZY5X57V

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#D28B, Bolyai–Lobachevskian geometry (definition)

History

2026-11-02: add by m2/dev

JEJ4GYBJC5 JEJ4GYBJC5

URI	`m2://inv/JEJ4GYBJC5`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#2ZBE (statement). In 6KR7Z5ETRY/e1, theorem 2.41

History

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

Seven Springs, Pennsylvania JEJ50Z4RWB

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

Mentions

wikipedia: Wikipedia List of places with numeric names#TRJX, Seven Springs, Pennsylvania (unknown)

History

2026-11-02: add by m2/dev

JEJ8C8AYAT JEJ8C8AYAT

URI	`m2://inv/JEJ8C8AYAT`
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.26191#YVJC (statement)

History

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

JEJ9293NZR JEJ9293NZR

URI	`m2://inv/JEJ9293NZR`
Kind	definition
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 2610.03619#NNX9 (definition). In 7SRERSS1PF/e1, definition 3.3

History

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

Indexed search JEJBK4HTS2

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

Mentions

wikipedia: Wikipedia Indexed search, Indexed search (definition). Also Wikidata Q6019131

History

2026-11-02: add by m2/dev

Stefan Forcey JEJED3Y5EZ

URI	`m2://inv/JEJED3Y5EZ`
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 Q87642539, Stefan Forcey (unknown). Also nLab Stefan Forcey

History

2026-10-26: add by m2/dev

Definition JEJGBY1N37

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

Mentions

wikipedia: Wikipedia Generalized complex structure#92FR, Definition (definition)

History

2026-11-02: add by m2/dev

Carlyle circle JEJR8REMA4

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

Mentions

wikidata: Wikidata Q17004522, Carlyle circle (unknown). Also MathWorld CarlyleCircle
wikipedia: Wikipedia Carlyle circle, Carlyle circle (definition). Also Wikidata Q17004522

History

2026-10-26: add by m2/dev

JEK1KD7TXE JEK1KD7TXE

URI	`m2://inv/JEK1KD7TXE`
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.10873#XVIO (statement). In AYG8HYGW6V/e1, theorem A.8

History

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

Blumenthal's zero–one law JEKBEM7VRH

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

Mentions

wikipedia: Wikipedia List of statistics articles#TKXZ, Blumenthal's zero–one law (statement)

History

2026-11-02: add by m2/dev

Corollary 1 JEKXN402B2

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

Mentions

wikipedia: Wikipedia Differential calculus#CUHX, Corollary 1 (statement)

History

2026-11-02: add by m2/dev

Nikolai Brashman JEM7WP4VK4

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#VWVU, Nikolai Brashman (topic)

History

2026-11-02: add by m2/dev

JEM8342E6M JEM8342E6M

URI	`m2://inv/JEM8342E6M`
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.20556#XKFD (statement)

History

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

JEM9W4QD9G JEM9W4QD9G

URI	`m2://inv/JEM9W4QD9G`
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.16886#26W3 (statement). In Y8QQAH7VCF/e1, corollary 3.3

History

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

JEMBZ75JKG JEMBZ75JKG

URI	`m2://inv/JEMBZ75JKG`
Kind	definition
Layer	research
MSC	03-XX, 11-XX, 26-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.21725#EYNW (definition). In BQDZN6GRGF/e1, definition 2.4

History

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

Existence of an optimal distributed control JEMJA09W56

URI	`m2://inv/JEMJA09W56`
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.08374#7GEM, Existence of an optimal distributed control (statement). In XYVSD6A7GV/e1, theorem 6

History

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

chess puzzle JEMK1HYJP2

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

Mentions

wikidata: Wikidata Q2891654, chess puzzle (definition). Also ProofWiki Definition:Chessboard_Puzzle

History

2026-10-26: add by m2/dev

History of decision theory JEMQ1PFN7M

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

Mentions

wikipedia: Wikipedia Decision theory#DAJ2, History of decision theory (unknown)

History

2026-11-02: add by m2/dev

Zariski surface JEMXTQ68DD

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#9VXP, Zariski surface (definition)

History

2026-11-02: add by m2/dev

JEMY5N2QH9 JEMY5N2QH9

URI	`m2://inv/JEMY5N2QH9`
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.08610#R54I (statement). In CB2JWNS1E9/e1, corollary 6.9

History

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

Calibration (statistics) JEMYZWQ35F

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

Mentions

wikipedia: Wikipedia List of statistics articles#VBUU, Calibration (statistics) (definition)

History

2026-11-02: add by m2/dev

JEN13F066T JEN13F066T

URI	`m2://inv/JEN13F066T`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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 2610.17815#CXSS (statement). In GJ7N2EWACX/e1, lemma 4.1

History

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

JEN27T6BSE JEN27T6BSE

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 6.1.1

History

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

Drinfeld upper half plane JEN7QVBVNN

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

Mentions

wikipedia: Wikipedia Drinfeld upper half plane, Drinfeld upper half plane (definition). Also Wikidata Q5307681

History

2026-11-02: add by m2/dev

JEN8RSH0HA JEN8RSH0HA

URI	`m2://inv/JEN8RSH0HA`
Kind	statement
Layer	research
MSC	13-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.33313#H6RM (statement). In HRCEFY172P/e1, corollary 3.20

History

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

JENQ46N5ST JENQ46N5ST

URI	`m2://inv/JENQ46N5ST`
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.04809#THIR (statement). In 2VHV0RNTNV/e1, corollary 3.20

History

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

JENWHDFTC6 JENWHDFTC6

URI	`m2://inv/JENWHDFTC6`
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.07963#TQV0 (statement). In HAGJKEZ1CK/e1, proposition 8.1

History

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

Petr Vopěnka JEP9ZJFSK8

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

Mentions

wikipedia: Wikipedia Petr Vopěnka, Petr Vopěnka (topic). Also Wikidata Q1888019

History

2026-11-02: add by m2/dev

JEPAKWS8JK JEPAKWS8JK

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

Mentions

hott_book: hott_book setmath.tex#thm:ordord (statement). In N54F33XE07, thm, section C.3

History

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

Montgomery-Zippin-Gleason theorem JEPHBM4K18

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

Mentions

wikipedia: Wikipedia List of theorems#GVEQ, Montgomery-Zippin-Gleason theorem (problem)

History

2026-11-02: add by m2/dev

Mixing JEPR71SD7B

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

Mentions

wikipedia: Wikipedia Mixing (mathematics), Mixing (definition). Also Wikidata Q4350572

History

2026-11-02: add by m2/dev

Classical shadow map JEPWERSTAF

URI	`m2://inv/JEPWERSTAF`
Kind	definition
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.36548#YTUT, Classical shadow map (definition). In TEGEX298ZR/e1, definition 3.4

History

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

JEPY8W53FB JEPY8W53FB

URI	`m2://inv/JEPY8W53FB`
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 math/9201244#D6HY (statement). In 7D3HCN21MK/e1, lemma 3.11

History

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

ENNAMCQ for sample-reweighting models JEQ59FKYMA

URI	`m2://inv/JEQ59FKYMA`
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.39736#9PPR, ENNAMCQ for sample-reweighting models (statement). In BB1XJ47PVW/e1, proposition 17

History

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

Horopter JEQ6ZKXFA8

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#GT6S, Horopter (unknown)
wikipedia: Wikipedia List of curves#HJG9, Horopter (unknown)

History

2026-11-02: add by m2/dev

EPrivacy Regulation JEQ8AQ0EY0

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

Mentions

wikipedia: Wikipedia EPrivacy Regulation, EPrivacy Regulation (definition). Also Wikidata Q41651339

History

2026-11-02: add by m2/dev

JEQAKYVMJZ JEQAKYVMJZ

URI	`m2://inv/JEQAKYVMJZ`
Kind	definition
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.20391#T9L8 (definition). In CTAS41TRM2/e1, definition 7.4

History

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

maximum JEQEFPM4HC

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

Mentions

wikidata: Wikidata Q111305333, maximum (unknown). Also MathWorld Maximum

History

2026-10-26: add by m2/dev

Saturated marker endomorphism JEQJ14CBCB

URI	`m2://inv/JEQJ14CBCB`
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 2609.24449#3W57, Saturated marker endomorphism (definition)

History

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

JEQMMC5XYH JEQMMC5XYH

URI	`m2://inv/JEQMMC5XYH`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2609.26340#4KC7 (statement)

History

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

JEQZ9W3KJK JEQZ9W3KJK

URI	`m2://inv/JEQZ9W3KJK`
Kind	definition
Layer	research
MSC	26-XX, 30-XX, 32-XX, 35-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 2505.04593#BOT9 (definition). In PEXJPV3NP8/e1, definition 6.1

History

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

161038 JER19EPY2C

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

Mentions

wikipedia: Wikipedia Fermat pseudoprime#17VZ, 161038 (unknown)

History

2026-11-02: add by m2/dev

Measurability of Optimization Mappings under the Weak Topology JER630KVHB

URI	`m2://inv/JER630KVHB`
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.21340#RSVB, Measurability of Optimization Mappings under the Weak Topology (statement). In AEYX7SEVBG/e1, proposition 2

History

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

JER8Y9629E JER8Y9629E

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

Mentions

arxiv: arXiv 2610.09206#AJIF (unknown). In T7R1Q29DQK/e1, unknown

History

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

Kronecker substitution JER9BVRD12

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

Mentions

wikipedia: Wikipedia Kronecker substitution, Kronecker substitution (definition). Also Wikidata Q6438897

History

2026-11-02: add by m2/dev

Volume conjecture JERG6N85R5

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

Mentions

wikipedia: Wikipedia Volume conjecture#KY1G, Volume conjecture (statement)

History

2026-11-02: add by m2/dev

Fisher–Tippett–Gnedenko theorem JERK0KRZJ1

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

Mentions

wikipedia: Wikipedia List of statistics articles#R32L, Fisher–Tippett–Gnedenko theorem (statement)

History

2026-11-02: add by m2/dev

JERMYGRBPJ JERMYGRBPJ

URI	`m2://inv/JERMYGRBPJ`
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.28211#DNN6 (statement)

History

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

JERT8ZX5VW JERT8ZX5VW

URI	`m2://inv/JERT8ZX5VW`
Kind	definition
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.36622#J0TV (definition). In 9704QPRPR6/e1, definition 1.1

History

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

JERYZZFZZ4 JERYZZFZZ4

URI	`m2://inv/JERYZZFZZ4`
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.08912#SCW1 (statement). In DK5QY64NGH/e1, lemma 7.13

History

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

Terminology JES5FKCTGH

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

Mentions

wikipedia: Wikipedia Tetration#LBJX, Terminology (definition)

History

2026-11-02: add by m2/dev

homological dimension JES6CRJ4QC

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

Mentions

wikipedia: Wikipedia Glossary of module theory#C60T, homological dimension (definition)

History

2026-11-02: add by m2/dev

F. J. Murray JES6Q1RFPQ

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

Mentions

wikipedia: Wikipedia List of scientific publications by John von Neumann#FGYG, F. J. Murray (topic)

History

2026-11-02: add by m2/dev

Sir George Biddell Airy JES9TAEEWF

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#5GG3, Sir George Biddell Airy (unknown)

History

2026-11-02: add by m2/dev

Isidor Natanson JESB2JBJKA

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

Mentions

wikipedia: Wikipedia Isidor Natanson, Isidor Natanson (topic). Also Wikidata Q4314155

History

2026-11-02: add by m2/dev

Minimum Attained by Abelian Sandpiles JESBC0KV77

URI	`m2://inv/JESBC0KV77`
Kind	conjecture
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 2603.16304#2IKX, Minimum Attained by Abelian Sandpiles (conjecture). In NEGP0YBA3C/e1, conjecture 5.2

History

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

JESC3Q0A5X JESC3Q0A5X

URI	`m2://inv/JESC3Q0A5X`
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 2404.06445#9QB9 (statement). In 12JKZ8EN52/e1, corollary 7.4

History

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

Circle of competence JESC9MY5G5

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

Mentions

wikipedia: Wikipedia Circle of competence, Circle of competence (definition). Also Wikidata Q48971590

History

2026-11-02: add by m2/dev

JESF92NWXN JESF92NWXN

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 27.6

History

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

Nina Snaith JESN8XT8NG

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

Mentions

wikipedia: Wikipedia Nina Snaith, Nina Snaith (topic). Also Wikidata Q3710557

History

2026-11-02: add by m2/dev

Size of edit balls JESSCH6W72

URI	`m2://inv/JESSCH6W72`
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.15631#BGUD, Size of edit balls (statement). In AF465QFRGQ/e1, lemma II.3

History

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

Minkowski's theorem JET01EC1RY

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

Mentions

wikipedia: Wikipedia Blichfeldt's theorem#FD7Y, Minkowski's theorem (statement)

History

2026-11-02: add by m2/dev

$\varphi_{R, j}$ properties JET1M5VK0Z

URI	`m2://inv/JET1M5VK0Z`
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.28454#O2T4, $\varphi_{R, j}$ properties (statement)

History

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

JET6XBP9FR JET6XBP9FR

URI	`m2://inv/JET6XBP9FR`
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 2610.20466#RUAN (statement). In M4ZVJWM8YA/e1, proposition A.8

History

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

JET8E9PJXH JET8E9PJXH

URI	`m2://inv/JET8E9PJXH`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 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.24610#0CP8 (statement)

History

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

Definition JETE5TT9TK

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

Mentions

wikipedia: Wikipedia McKean–Vlasov process#8SBS, Definition (definition)

History

2026-11-02: add by m2/dev

JETKR0V6FS JETKR0V6FS

URI	`m2://inv/JETKR0V6FS`
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.19132#FRVY (statement). In 3CQJND929F/e1, lemma 2.10

History

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

Théophile de Donder JETS4E3SG9

URI	`m2://inv/JETS4E3SG9`
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 Q558384, Théophile de Donder (unknown). Also nLab Théophile de Donder

History

2026-10-26: add by m2/dev

Plancherel JETW482E0T

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#P6GC, Plancherel (definition)

History

2026-11-02: add by m2/dev

JETXMH9M99 JETXMH9M99

URI	`m2://inv/JETXMH9M99`
Kind	definition
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.17817#Y4B8 (definition). In M8TSJ24RC2/e1, definition 3.19

History

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

Kalman decomposition JETZC3TP3D

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

Mentions

wikipedia: Wikipedia Kalman decomposition, Kalman decomposition (definition). Also Wikidata Q9205611

History

2026-11-02: add by m2/dev

JEV7A17XAV JEV7A17XAV

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

Mentions

open_logic: open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#prop:god-infty-m (statement). In PKGMM3P5QY, prop, section 39.4

History

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

JEVY3GBA4T JEVY3GBA4T

URI	`m2://inv/JEVY3GBA4T`
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.39409#9OHP (statement). In CQ0Z7QA0A5/e1, lemma 5.4

History

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

Dynkin's Formula for Continuous-time Glauber dynamics JEW28FVQ21

URI	`m2://inv/JEW28FVQ21`
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.16705#H3S0, Dynkin's Formula for Continuous-time Glauber dynamics (statement). In B48YQVGAF5/e1, lemma 3.9

History

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

JEW52VM3BE JEW52VM3BE

URI	`m2://inv/JEW52VM3BE`
Kind	definition
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.18847#S12D (definition). In DZ12XTTJSM/e1, definition 5.1

History

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

JEW9QH70PG JEW9QH70PG

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

Mentions

napkin: napkin tex/cats/categories.tex#example-1 (example). In RZP28ERRZV, example, section 36.2

History

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

Girth at least six JEW9XGNZYS

URI	`m2://inv/JEW9XGNZYS`
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.21454#AJLT, Girth at least six (statement). In ZP2RJFZ3V2/e1, corollary 1.5

History

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

JEWK5ZNVYN JEWK5ZNVYN

URI	`m2://inv/JEWK5ZNVYN`
Kind	example
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.11292#ICW7 (example). In Y35XMETFV7/e1, example 3.8

History

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

JEWWREJD5X JEWWREJD5X

URI	`m2://inv/JEWWREJD5X`
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 2410.22607#4CSQ (statement). In 6GT33A43SY/e1, lemma 4.1

History

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

Skolem normal form JEWXVDF11J

URI	`m2://inv/JEWXVDF11J`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Skolem normal form GCPQGMJYEV

Mentions

wikidata: Wikidata Q1090524, Skolem normal form (concept). Also MathWorld SkolemizedForm
wikipedia: Wikipedia Skolem normal form, Skolem normal form (definition). Also Wikidata Q1090524

History

2026-10-26: add by m2/dev

Stationary accumulation point JEWYXE9VQH

URI	`m2://inv/JEWYXE9VQH`
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.04264#NQXI, Stationary accumulation point (statement). In 5YRJ4HGY4N/e1, theorem 2

History

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

JEX1PWDDJW JEX1PWDDJW

URI	`m2://inv/JEX1PWDDJW`
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.28594#7LTR (statement)

History

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

alternating bilinear form JEX1WKZNKA

URI	`m2://inv/JEX1WKZNKA`
Kind	unknown
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Alternating bilinear form 08ZQAKBKHF

Mentions

mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > alternating bilinear form, alternating bilinear form (unknown). Also Mathlib LinearMap.BilinForm.IsAlt
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > alternating bilinear forms, alternating bilinear forms (unknown). Also Mathlib LinearMap.BilinForm.IsAlt

History

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

moment JEX3CSBMJF

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

Mentions

wikidata: Wikidata Q13222844, moment (topic)

History

2026-10-26: add by m2/dev

Jacobian and long-run weights JEX6ENEG9X

URI	`m2://inv/JEX6ENEG9X`
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.12873#81O3, Jacobian and long-run weights (statement). In 9MMD2N7DQ1/e1, lemma 6.5

History

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

JEX8392EED JEX8392EED

URI	`m2://inv/JEX8392EED`
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 2610.06785#WW1N (statement). In PG6AEWX25E/e1, lemma 5.4

History

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

JEX9CBKSRN JEX9CBKSRN

URI	`m2://inv/JEX9CBKSRN`
Kind	example
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 1107.2621#C0VF (example). In Z9AZRC1HA1/e1, example 5

History

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

JEX9SWWFSZ JEX9SWWFSZ

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-72 (proof). In VNMV985MXX, proof, section 6.3

History

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

Local stability and boundedness JEXB256248

URI	`m2://inv/JEXB256248`
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 2610.01504#FO5V, Local stability and boundedness (statement). In JAVB10Q2YZ/e1, lemma 4.6

History

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

Decoupling of data collection and sampling JEXB28AZXD

URI	`m2://inv/JEXB28AZXD`
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.10640#652T, Decoupling of data collection and sampling (statement). In BAQVK6N0RD/e1, theorem 8

History

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

JEXC4CJBQK JEXC4CJBQK

URI	`m2://inv/JEXC4CJBQK`
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.39706#YAZZ (statement). In 79Y8JJMKP4/e1, corollary 1.2

History

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

category of JEXD8KN6BV

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

Mentions

wikipedia: Wikipedia Glossary of category theory#RCUW, category of (definition)

History

2026-11-02: add by m2/dev

JEXJKC7V6R JEXJKC7V6R

URI	`m2://inv/JEXJKC7V6R`
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.35307#0YKX (statement). In FT5TKY10T8/e1, proposition 7.3

History

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

JEXQ14RM56 JEXQ14RM56

URI	`m2://inv/JEXQ14RM56`
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.20391#N5W9 (statement). In CTAS41TRM2/e1, theorem A.1

History

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

JEXTCZFXCE JEXTCZFXCE

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#definition-1 (definition). In RZP28ERRZV, definition, section 46.2

History

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

JEY55GVYE0 JEY55GVYE0

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

Mentions

open_logic: open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 37.8

History

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

Methods JEY5P5TF4D

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

Mentions

wikipedia: Wikipedia Crime statistics#PCNH, Methods (definition)

History

2026-11-02: add by m2/dev

JEYB4TXPBW JEYB4TXPBW

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-18 (definition). In VNMV985MXX, defn, section 3.1

History

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

Pipeline planning JEYQSAWJAX

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

Mentions

wikipedia: Wikipedia Pipeline planning, Pipeline planning (definition). Also Wikidata Q7197278

History

2026-11-02: add by m2/dev

JEYS99ADYY JEYS99ADYY

URI	`m2://inv/JEYS99ADYY`
Kind	statement
Layer	research
MSC	14-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.36410#BPJN (statement). In 1FRV7XDEGF/e1, lemma 3.1

History

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

Watson's lemma JEYY2ERTFQ

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

Mentions

wikipedia: Wikipedia Watson's lemma, Watson's lemma (statement). Also Wikidata Q7974787

History

2026-11-02: add by m2/dev

JEYYZPSVK8 JEYYZPSVK8

URI	`m2://inv/JEYYZPSVK8`
Kind	example
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.06108#DFH0 (example). In D3WKY1PW64/e1, example 3.2

History

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

JEZ75V075H JEZ75V075H

URI	`m2://inv/JEZ75V075H`
Kind	example
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.25111#U0JN (example)

History

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

Tangency estimate JEZ7DYS1X0

URI	`m2://inv/JEZ7DYS1X0`
Kind	statement
Layer	research
MSC	03-XX, 26-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 2610.12434#B938, Tangency estimate (statement). In YCRZC9SDCE/e1, lemma 5.1

History

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

Econometric Theory JEZB3EPCET

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

Mentions

wikipedia: Wikipedia List of statistics journals#DF3M, Econometric Theory (unknown)

History

2026-11-02: add by m2/dev

Lloyd S. Nelson JEZN0SSM6D

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

Mentions

wikipedia: Wikipedia Lloyd S. Nelson, Lloyd S. Nelson (topic). Also Wikidata Q107546841

History

2026-11-02: add by m2/dev

JEZNJJ9V0N JEZNJJ9V0N

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-64 (exercise). In E59CDZA4DP, exercise, section 2.5.4

History

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

Np-chart JEZPGZ3BZ8

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

Mentions

wikipedia: Wikipedia List of statistics articles#9NKN, Np-chart (definition)
wikipedia: Wikipedia List of graphical methods#X988, Np-chart (definition)

History

2026-11-02: add by m2/dev

Künneth theorems in generalized homology and cohomology theories JEZRZX69MW

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

Mentions

wikipedia: Wikipedia Künneth theorem#2R2Z, Künneth theorems in generalized homology and cohomology theories (statement)

History

2026-11-02: add by m2/dev

Julia Bienias JEZVQW5CQ3

URI	`m2://inv/JEZVQW5CQ3`
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#K9LT, Julia Bienias (unknown)

History

2026-11-02: add by m2/dev

JEZWVJDS78 JEZWVJDS78

URI	`m2://inv/JEZWVJDS78`
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 2207.07461#BKEW (statement). In GAG532VMPF/e1, lemma 6.2.5

History

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

JEZXAN5KQW JEZXAN5KQW

URI	`m2://inv/JEZXAN5KQW`
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 2610.00856#UTDV (statement). In W6VHD4QBY4/e1, lemma 3.2

History

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