Inventory rows 7X

7X06YEQJVC 7X06YEQJVC

URI	`m2://inv/7X06YEQJVC`
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.03555#G2HC (statement). In 9JZJTRRVR1/e1, proposition 4.5

History

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

7X07BW7R94 7X07BW7R94

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

Mentions

arxiv: arXiv 2609.32338#ODCL (statement). In HVY45JQRNK/e1, theorem 6.6

History

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

7X087M89Q3 7X087M89Q3

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

Mentions

arxiv: arXiv 2610.22074#NWJU (definition). In F3BKXXPR3K/e1, definition B.2

History

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

7X0C3NSEJ8 7X0C3NSEJ8

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

Mentions

arxiv: arXiv 2610.16339#M7V2 (statement). In ER5EH4W919/e1, theorem 1.2

History

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

Definitions 7X0JT4R0W0

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

Mentions

wikipedia: Wikipedia Hilbert modular variety#7AQB, Definitions (definition)

History

2026-11-02: add by m2/dev

Unique Readability 7X0WYQJYJX

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prop-1, Unique Readability (statement). In PKGMM3P5QY, prop, section 62.6

History

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

Phil Carter 7X1CYSBQ12

URI	`m2://inv/7X1CYSBQ12`
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#EJXA, Phil Carter (unknown)

History

2026-11-02: add by m2/dev

Bianchi identity 7X1F5BTFEF

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

Mentions

wikipedia: Wikipedia Scalar curvature#30F2, Bianchi identity (statement)

History

2026-11-02: add by m2/dev

Reduction to a single character 7X1VZV9H4K

URI	`m2://inv/7X1VZV9H4K`
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.22345#QN2A, Reduction to a single character (statement). In 7JATJ4VG9G/e1, proposition 9.1

History

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

7X1W5W9TY8 7X1W5W9TY8

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#ptwsconv:prop (statement). In E59CDZA4DP, prop, section 9.1.1

History

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

Cuatro Caminos 7X24D3JVFJ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#W2I8, Cuatro Caminos (unknown)

History

2026-11-02: add by m2/dev

7X271KA1SD 7X271KA1SD

URI	`m2://inv/7X271KA1SD`
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.14689#IGWR (statement). In 6BKMNJYNPJ/e1, theorem 3.4

History

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

Challenging 7X2BVX429P

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-84, Challenging (exercise). In E59CDZA4DP, exercise, section 10.6.6

History

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

Information geometry 7X2EDGPDHW

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

Mentions

wikipedia: Wikipedia List of statistics articles#YADI, Information geometry (definition)
wikipedia: Wikipedia List of differential geometry topics#0CG8, Information geometry (definition)
wikipedia: Wikipedia List of probability topics#4O0Y, Information geometry (definition)

History

2026-11-02: add by m2/dev

Definition 7X2GWTK06V

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

Mentions

wikipedia: Wikipedia Landau distribution#C8VT, Definition (definition)

History

2026-11-02: add by m2/dev

Stone–von Neumann theorem 7X2TNEJPAF

URI	`m2://inv/7X2TNEJPAF`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	4
Outcome	open
Node	Stone–von Neumann theorem Z877XDBMQ3

Mentions

mathlib_1000: mathlib_1000 Q7619449, Stone–von Neumann theorem (statement). Also Wikidata Q7619449
thousand_plus: thousand_plus Q7619449, Stone–von Neumann theorem (statement). Also Wikidata Q7619449, Wikipedia Stone–von Neumann theorem
wikidata: Wikidata Q7619449, Stone–von Neumann theorem (statement). Also MathWorld Stone-vonNeumannTheorem
wikipedia: Wikipedia Stone–von Neumann theorem, Stone–von Neumann theorem (statement). Also Wikidata Q7619449

History

2026-10-26: add by m2/dev

dominated convergence theorem 7X2VAD97KN

URI	`m2://inv/7X2VAD97KN`
Kind	statement
Layer	textbook
MSC	28-XX
Sources	6
Outcome	open
Node	Dominated convergence theorem BYNV84PF86

Mentions

mathlib_1000: mathlib_1000 Q1067156, Dominated convergence theorem (statement). Also Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence, Wikidata Q1067156
mathlib_1000: mathlib_1000 Q1067156X, Bounded convergence theorem (statement). Also Mathlib MeasureTheory.FiniteMeasure.tendsto_lintegral_nn_of_le_const, Mathlib MeasureTheory.tendsto_lintegral_nn_filter_of_le_const, Wikidata Q1067156
mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > dominated convergence theorem, dominated convergence theorem (unknown). Also Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > dominated convergence theorem, dominated convergence theorem (unknown). Also Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence
thousand_plus: thousand_plus Q1067156, Dominated convergence theorem (statement). Also Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence, Wikidata Q1067156, Wikipedia Dominated convergence theorem
thousand_plus: thousand_plus Q1067156X, Bounded convergence theorem (statement). Also Mathlib MeasureTheory.FiniteMeasure.tendsto_lintegral_nn_of_le_const, Mathlib MeasureTheory.tendsto_lintegral_nn_filter_of_le_const, Wikidata Q1067156, Wikipedia Bounded convergence theorem
wikidata: Wikidata Q1067156, dominated convergence theorem (statement). Also MathWorld LebesguesDominatedConvergenceTheorem, ProofWiki Lebesgue's_Dominated_Convergence_Theorem
wikipedia: Wikipedia Dominated convergence theorem, Dominated convergence theorem (statement). Also Wikidata Q1067156

History

2026-10-26: add by m2/dev

Dozenal Society of America 7X2XJDYZ30

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

Mentions

wikipedia: Wikipedia Duodecimal#1UTA, Dozenal Society of America (unknown)

History

2026-11-02: add by m2/dev

Definition 7X30M3TRDW

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

Mentions

wikipedia: Wikipedia Weyr canonical form#XBYF, Definition (definition)

History

2026-11-02: add by m2/dev

Wallace–Bolyai–Gerwien theorem 7X342SDG04

URI	`m2://inv/7X342SDG04`
Kind	statement
Layer	textbook
MSC	52-XX
Sources	4
Outcome	open
Node	Wallace–Bolyai–Gerwien theorem 5RQGCEQYK5

Mentions

mathlib_1000: mathlib_1000 Q834211, Wallace–Bolyai–Gerwien theorem (statement). Also Wikidata Q834211
thousand_plus: thousand_plus Q834211, Wallace–Bolyai–Gerwien theorem (statement). Also Wikidata Q834211, Wikipedia Wallace–Bolyai–Gerwien theorem, Wikipedia Bolyai–Gerwien theorem
wikidata: Wikidata Q834211, Wallace–Bolyai–Gerwien theorem (statement). Also MathWorld Wallace-Bolyai-GerwienTheorem
wikipedia: Wikipedia Wallace–Bolyai–Gerwien theorem, Wallace–Bolyai–Gerwien theorem (statement). Also Wikidata Q834211

History

2026-10-26: add by m2/dev

7X35Q61439 7X35Q61439

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

Mentions

arxiv: arXiv 1010.3284#76GB (statement). In 7D3VBRZGMY/e1, corollary 1.3

History

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

7X39RDKMHA 7X39RDKMHA

URI	`m2://inv/7X39RDKMHA`
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.13556#J4WU (statement). In 5ZB8N3YY72/e1, corollary 4.4

History

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

Unfolding 7X3DAQC9YS

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

Mentions

wikipedia: Wikipedia Unfolding (functions), Unfolding (definition). Also Wikidata Q7884367

History

2026-11-02: add by m2/dev

7X3E1QFDSA 7X3E1QFDSA

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

Mentions

arxiv: arXiv 2610.20956#CICJ (statement). In X9WFC1D9ZS/e1, theorem 31

History

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

7X3J2NBFAB 7X3J2NBFAB

URI	`m2://inv/7X3J2NBFAB`
Kind	conjecture
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 2503.16884#D2M9 (conjecture). In B984KNW591/e1, conjecture Conjecture

History

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

7X3N23HZSY 7X3N23HZSY

URI	`m2://inv/7X3N23HZSY`
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#Y3VY (statement). In 2W5Z97BBW4/e1, lemma 5.3

History

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

7X3NE5M4GB 7X3NE5M4GB

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

Mentions

napkin: napkin tex/diffgeo/forms.tex#def:evaluate_differential_form (definition). In RZP28ERRZV, definition, section 43.3

History

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

Torsion subgroup 7X3SCMC0YN

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

Mentions

wikipedia: Wikipedia List of group theory topics#7E39, Torsion subgroup (definition)

History

2026-11-02: add by m2/dev

Algorithms 7X414XA7BP

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

Mentions

wikipedia: Wikipedia Cartogram#UYE1, Algorithms (definition)

History

2026-11-02: add by m2/dev

Common-scale multichannel edge asymptotic 7X480ZD4SN

URI	`m2://inv/7X480ZD4SN`
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.27335#8Z02, Common-scale multichannel edge asymptotic (statement)

History

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

Konstantinos Tzechanis 7X4CC64WZ0

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

Mentions

wikipedia: Wikipedia Konstantinos Tzechanis, Konstantinos Tzechanis (topic). Also Wikidata Q6430199

History

2026-11-02: add by m2/dev

7X4CCNCWV9 7X4CCNCWV9

URI	`m2://inv/7X4CCNCWV9`
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.15744#ILCG (statement). In NV3PBZGBB7/e1, theorem 4.2

History

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

One-dimensional version of Corollary 3.1 7X4DHSEP58

URI	`m2://inv/7X4DHSEP58`
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.12740#SOLQ, One-dimensional version of Corollary 3.1 (statement). In HKYRZSZPEC/e1, theorem F.1

History

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

7X4VHK3SX2 7X4VHK3SX2

URI	`m2://inv/7X4VHK3SX2`
Kind	definition
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.20469#510K (definition)

History

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

prime ideal 7X4XZXY4S0

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

Mentions

lebl_scv: lebl_scv index/6.7/prime-ideal, prime ideal (concept). In VNMV985MXX, index, section 6.7

History

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

Geometry-adapted random-reshuffling momentum control 7X512AFR30

URI	`m2://inv/7X512AFR30`
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.11309#KST2, Geometry-adapted random-reshuffling momentum control (statement). In TTEAQA1XXR/e1, proposition B.11

History

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

7X573KVBFB 7X573KVBFB

URI	`m2://inv/7X573KVBFB`
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.06461#EOIH (statement). In QXY3W2JV2N/e1, theorem 1.2

History

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

7X59KZAXBN 7X59KZAXBN

URI	`m2://inv/7X59KZAXBN`
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#J293 (statement). In 12JKZ8EN52/e1, theorem 8.5

History

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

Weak solutions and Dirichlet principle 7X5GZAFSZW

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

Mentions

wikipedia: Wikipedia Laplace's equation#BAV1, Weak solutions and Dirichlet principle (statement)

History

2026-11-02: add by m2/dev

Chow–Liu tree 7X5Q68JQPQ

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

Mentions

wikipedia: Wikipedia Chow–Liu tree, Chow–Liu tree (definition). Also Wikidata Q5105584

History

2026-11-02: add by m2/dev

7X5T22ES2J 7X5T22ES2J

URI	`m2://inv/7X5T22ES2J`
Kind	statement
Layer	research
MSC	49-XX, 60-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.07285#IXV3 (statement). In S284XRA4WK/e1, lemma F.2

History

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

7X61PZ4WT3 7X61PZ4WT3

URI	`m2://inv/7X61PZ4WT3`
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 2410.01436#7E27 (statement). In FE59Q5BHKZ/e1, proposition 9

History

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

Approximate solutions of the multi-armed bandit problem 7X63W7TCDB

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

Mentions

wikipedia: Wikipedia Multi-armed bandit#2TJ3, Approximate solutions of the multi-armed bandit problem (unknown)

History

2026-11-02: add by m2/dev

Examples 7X6548FPSD

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

Mentions

wikipedia: Wikipedia Convex set#0DSX, Examples (example)

History

2026-11-02: add by m2/dev

Alfred Errera 7X6BVFZAM6

URI	`m2://inv/7X6BVFZAM6`
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#4TB0, Alfred Errera (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M5HM, Alfred Errera (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z2CM, Alfred Errera (topic)

History

2026-11-02: add by m2/dev

7X6DZ68S9W 7X6DZ68S9W

URI	`m2://inv/7X6DZ68S9W`
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 2609.24374#E2RT (statement)

History

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

7X6HAQBGMY 7X6HAQBGMY

URI	`m2://inv/7X6HAQBGMY`
Kind	definition
Layer	research
MSC	16-XX, 55-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.21365#OX0X (definition). In FCMMB2EVAP/e1, definition 3.1

History

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

7X6Q41FSVV 7X6Q41FSVV

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

Mentions

arxiv: arXiv 2508.07340#ORVX (statement). In 2HSB99DW4M/e1, proposition 6.5

History

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

7X6SK38NMR 7X6SK38NMR

URI	`m2://inv/7X6SK38NMR`
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.38188#QOD1 (statement). In 7615KVXDB5/e1, corollary 2.15

History

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

Classical solutions are minimizers 7X6X9P1EJF

URI	`m2://inv/7X6X9P1EJF`
Kind	statement
Layer	research
MSC	35-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.25449#C9F7, Classical solutions are minimizers (statement). In 9JHMTYGWFQ/e1, proposition 9.2

History

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

Jun Zhu 7X766XKEZ4

URI	`m2://inv/7X766XKEZ4`
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#RNFI, Jun Zhu (unknown)

History

2026-11-02: add by m2/dev

7X7A4MW222 7X7A4MW222

URI	`m2://inv/7X7A4MW222`
Kind	statement
Layer	research
MSC	11-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 2509.16523#CKLR (statement). In CJPFYRFY41/e1, theorem 1

History

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

7X7B5C8177 7X7B5C8177

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

Mentions

open_logic: open_logic content/sets-functions-relations/arithmetization/cauchy.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 78.1

History

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

7X7DDY5T5M 7X7DDY5T5M

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

Mentions

wikipedia: Wikipedia Malfatti circles#5RSI (problem)

History

2026-11-02: add by m2/dev

Colva Roney-Dougal 7X7JFY3WCZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DFEJ, Colva Roney-Dougal (unknown)

History

2026-11-02: add by m2/dev

Vera Kublanovskaya 7X7Q3HAAZW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3WRA, Vera Kublanovskaya (topic)

History

2026-11-02: add by m2/dev

Continuity and uniform tails of the features 7X7QHD8D8K

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

Mentions

arxiv: arXiv 2609.29147#FFP9, Continuity and uniform tails of the features (statement)

History

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

Definition 7X7QSTC55W

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

Mentions

wikipedia: Wikipedia Limiting density of discrete points#0S6A, Definition (definition)

History

2026-11-02: add by m2/dev

7X85971FQ7 7X85971FQ7

URI	`m2://inv/7X85971FQ7`
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.16931#ODOY (statement). In H7DMRWBBJN/e1, corollary 7.3

History

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

7X85XZRFAJ 7X85XZRFAJ

URI	`m2://inv/7X85XZRFAJ`
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 2405.05684#4X6A (statement). In 1PR73ECTZB/e1, proposition 16

History

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

7X8BYDJFX1 7X8BYDJFX1

URI	`m2://inv/7X8BYDJFX1`
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 2609.31090#9Y3M (statement). In SMTJDX0Q6R/e1, lemma 5.1

History

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

7X8F2XYMTF 7X8F2XYMTF

URI	`m2://inv/7X8F2XYMTF`
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#Z6VB (statement)

History

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

7X8P8PFP0N 7X8P8PFP0N

URI	`m2://inv/7X8P8PFP0N`
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.00770#1N6I (statement). In AYGRJSRG1M/e1, lemma

History

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

7X8XQ35SVW 7X8XQ35SVW

URI	`m2://inv/7X8XQ35SVW`
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 2211.14214#COGQ (statement). In SY85Y9E45A/e1, lemma 39

History

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

mapping-space contractibility 7X91X2CNXX

URI	`m2://inv/7X91X2CNXX`
Kind	statement
Layer	research
MSC	54-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.15099#CLIO, mapping-space contractibility (statement). In PF5JJ9DS8Q/e1, theorem 4.3.1

History

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

Legendre's relation 7X97E9EKPV

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

Mentions

wikipedia: Wikipedia Legendre's relation, Legendre's relation (definition). Also Wikidata Q6517885

History

2026-11-02: add by m2/dev

Properties 7X9DJRT76H

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

Mentions

wikipedia: Wikipedia Hilbert manifold#9B9U, Properties (statement)

History

2026-11-02: add by m2/dev

7X9F0ESV96 7X9F0ESV96

URI	`m2://inv/7X9F0ESV96`
Kind	statement
Layer	research
MSC	35-XX, 47-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.23682#AJDB (statement)

History

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

7X9HHQ56FA 7X9HHQ56FA

URI	`m2://inv/7X9HHQ56FA`
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.21752#K76G (statement). In E4DJTPKHAX/e1, theorem 5.10

History

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

Fourier optics 7X9KNQ6YCC

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

Mentions

wikipedia: Wikipedia Fourier optics, Fourier optics (topic). Also Wikidata Q1003236

History

2026-11-02: add by m2/dev

Preservation under regularisation 7X9QPAZF8Q

URI	`m2://inv/7X9QPAZF8Q`
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.07404#FHPM, Preservation under regularisation (statement). In VAJ9MBT3SJ/e1, lemma 7

History

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

David Khorol 7X9W4XC9PM

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#2ILI, David Khorol (unknown)

History

2026-11-02: add by m2/dev

7X9ZZXZBB8 7X9ZZXZBB8

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/proof-examples.tex#prop:G1c-axioms (statement). In PKGMM3P5QY, prop, section 61.10

History

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

National Mathematics Year 7XA00AF53E

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

Mentions

wikipedia: Wikipedia National Mathematics Year, National Mathematics Year (definition). Also Wikidata Q6974276

History

2026-11-02: add by m2/dev

George Darwin 7XAC9632CX

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

Mentions

wikipedia: Wikipedia George Darwin, George Darwin (topic). Also Wikidata Q325016

History

2026-11-02: add by m2/dev

Negentropy 7XAJ8J63JS

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

Mentions

wikipedia: Wikipedia List of statistics articles#HQEJ, Negentropy (definition)

History

2026-11-02: add by m2/dev

Bayes factor 7XB98DTFJG

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

Mentions

wikipedia: Wikipedia List of statistics articles#TTWM, Bayes factor (definition)

History

2026-11-02: add by m2/dev

7XBC47PJ5V 7XBC47PJ5V

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

Mentions

arxiv: arXiv 2610.13100#PG33 (statement). In CC6S1HVK0T/e1, proposition 7.1

History

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

Recursive descent parser 7XBEH7CTHJ

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

Mentions

wikipedia: Wikipedia List of algorithms#6BLR, Recursive descent parser (unknown)

History

2026-11-02: add by m2/dev

Pamela Morse 7XBERYS8YA

URI	`m2://inv/7XBERYS8YA`
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#Y4VS, Pamela Morse (topic)

History

2026-11-02: add by m2/dev

7XBF2JXNAP 7XBF2JXNAP

URI	`m2://inv/7XBF2JXNAP`
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.08633#SQ22 (statement). In 7MV7RGDVXF/e1, theorem 3.2.1

History

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

Solution of triangles 7XBFK2QQ2X

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

Mentions

wikipedia: Wikipedia List of triangle topics#O4RN, Solution of triangles (definition)

History

2026-11-02: add by m2/dev

7XBHE0XJ7Q 7XBHE0XJ7Q

URI	`m2://inv/7XBHE0XJ7Q`
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.23128#H21U (statement)

History

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

Jones polynomial 7XBKSYBY07

URI	`m2://inv/7XBKSYBY07`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Jones polynomial 4SPC17FPXE

Mentions

wikidata: Wikidata Q1528291, Jones polynomial (unknown). Also MathWorld JonesPolynomial, nLab Jones polynomial
wikipedia: Wikipedia Jones polynomial, Jones polynomial (definition). Also Wikidata Q1528291

History

2026-10-26: add by m2/dev

Extensions 7XBQR5ETPF

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

Mentions

wikipedia: Wikipedia Mixture model#4WU7, Extensions (statement)

History

2026-11-02: add by m2/dev

Small snub icosicosidodecahedron 7XC0BN021E

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#98IR, Small snub icosicosidodecahedron (definition)

History

2026-11-02: add by m2/dev

Expanded cuboctahedron 7XC0SA7E4W

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

Mentions

wikipedia: Wikipedia Expanded cuboctahedron, Expanded cuboctahedron (object). Also Wikidata Q18043350

History

2026-11-02: add by m2/dev

7XC90NQ9DD 7XC90NQ9DD

URI	`m2://inv/7XC90NQ9DD`
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 2302.04470#M5KX (statement). In PVRF0WS223/e1, corollary 3.3

History

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

difference, of sets 7XC9ZNKYW2

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

Mentions

levin_dmoi: levin_dmoi index/1.3.3/difference-of-sets, difference, of sets (concept). In Y91XFCEVHQ, index, section 1.3.3

History

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

Feller–Tornier constant 7XCCF670SC

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

Mentions

wikidata: Wikidata Q29048688, Feller–Tornier constant (object). Also MathWorld Feller-TornierConstant, OEIS A065493
wikipedia: Wikipedia Feller–Tornier constant, Feller–Tornier constant (definition). Also Wikidata Q29048688

History

2026-10-26: add by m2/dev

Leslie Colin Woods 7XCFF8Y38R

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

Mentions

wikipedia: Wikipedia Leslie Colin Woods, Leslie Colin Woods (topic). Also Wikidata Q37739262

History

2026-11-02: add by m2/dev

Shell-probability alternative 7XCGXAMQ5Y

URI	`m2://inv/7XCGXAMQ5Y`
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 2609.29658#E8T2, Shell-probability alternative (statement)

History

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

7XCHZNQEHR 7XCHZNQEHR

URI	`m2://inv/7XCHZNQEHR`
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 2209.08186#4UUZ (statement). In X6VGVPQH8V/e1, theorem 4.8

History

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

7XCK2S4RFF 7XCK2S4RFF

URI	`m2://inv/7XCK2S4RFF`
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.12324#0ZFF (statement). In CJDCSSCF1V/e1, theorem 1

History

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

7XCKBRMY1K 7XCKBRMY1K

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

Mentions

arxiv: arXiv 2609.22764#R6DG (statement)

History

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

Pairs S41--S44 7XCM54N5SR

URI	`m2://inv/7XCM54N5SR`
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.08865#24R0, Pairs S41--S44 (statement). In SJ5JKGH94M/e1, theorem 24

History

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

Constructions 7XCR4TAED7

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

Mentions

wikipedia: Wikipedia Suzuki groups#TDXA, Constructions (definition)

History

2026-11-02: add by m2/dev

Serre spectral sequence 7XCRCBJMCH

URI	`m2://inv/7XCRCBJMCH`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Serre spectral sequence AHW4B5480K

Mentions

wikidata: Wikidata Q7455410, Serre spectral sequence (concept). Also nLab Serre spectral sequence
wikipedia: Wikipedia Serre spectral sequence, Serre spectral sequence (definition). Also Wikidata Q7455410

History

2026-10-26: add by m2/dev

Radial variance identity 7XCXEW1Y08

URI	`m2://inv/7XCXEW1Y08`
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.33008#2LHB, Radial variance identity (statement). In 4M662A3ZF1/e1, lemma A.3

History

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

Frederick Leung 7XCYK47QP2

URI	`m2://inv/7XCYK47QP2`
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#HJEX, Frederick Leung (topic)

History

2026-11-02: add by m2/dev

Shari'a law in northern states 7XD2AJNS63

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

Mentions

wikipedia: Wikipedia LGBTQ rights in Nigeria#MIIS, Shari'a law in northern states (statement)

History

2026-11-02: add by m2/dev

Divisia index 7XD4FH8HWE

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

Mentions

wikipedia: Wikipedia List of statistics articles#RCUF, Divisia index (definition)

History

2026-11-02: add by m2/dev

Dimensionality Reduction 7XDA2TQKN6

URI	`m2://inv/7XDA2TQKN6`
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.20364#MB8Y, Dimensionality Reduction (statement). In 433NXYKPG3/e1, lemma 2

History

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

7XDHJMC10R 7XDHJMC10R

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

Mentions

arxiv: arXiv 2609.39700#1HSN (statement). In E7W2HDNEKJ/e1, lemma 4.27

History

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

functor, covariant 7XDNRJGDS2

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

Mentions

hott_book: hott_book index/8.6/functor-covariant, functor, covariant (concept). In N54F33XE07, index, section 8.6

History

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

Fundamental theorem of algebra 7XDX4RRHPF

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

Mentions

wikipedia: Wikipedia Complex number#XQDO, Fundamental theorem of algebra (statement)

History

2026-11-02: add by m2/dev

Algorithm 7XDXCPJ4PT

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

Mentions

wikipedia: Wikipedia Fermat's theorem on sums of two squares#B36P, Algorithm (definition)

History

2026-11-02: add by m2/dev

7XE5YNK34G 7XE5YNK34G

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

Mentions

arxiv: arXiv 2609.28141#Q1IK (statement)

History

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

Rarefaction 7XE7F5GKKM

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

Mentions

wikipedia: Wikipedia Rarefaction, Rarefaction (definition). Also Wikidata Q7294544

History

2026-11-02: add by m2/dev

complex addition 7XECH5S6WK

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

Mentions

wikidata: Wikidata Q141513058, complex addition (unknown). Also MathWorld ComplexAddition

History

2026-10-26: add by m2/dev

Taylor dispersion 7XEK8DD9BG

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

Mentions

wikipedia: Wikipedia Taylor dispersion, Taylor dispersion (definition). Also Wikidata Q4503311

History

2026-11-02: add by m2/dev

7XEMXX6E59 7XEMXX6E59

URI	`m2://inv/7XEMXX6E59`
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 2610.18101#FHZM (statement). In XXN6KKXPYF/e1, lemma 4.5

History

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

Orbit space 7XEN5YMZ1J

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#BUU3, Orbit space (definition)

History

2026-11-02: add by m2/dev

7XEVS8CP5B 7XEVS8CP5B

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-71 (exercise). In E59CDZA4DP, exercise, section 1.8.7

History

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

Thomas Willwacher 7XF7SB9AMD

URI	`m2://inv/7XF7SB9AMD`
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 Q22265413, Thomas Willwacher (unknown). Also nLab Thomas Willwacher
wikipedia: Wikipedia Thomas Willwacher, Thomas Willwacher (topic). Also Wikidata Q22265413

History

2026-10-26: add by m2/dev

7XF7W85Z8P 7XF7W85Z8P

URI	`m2://inv/7XF7W85Z8P`
Kind	definition
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.09162#03GG (definition). In TAPS8P2VYS/e1, definition 1.8

History

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

Brady, Dorothy 7XFA12CSDY

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

Mentions

wikipedia: Wikipedia List of statisticians#7S4R, Brady, Dorothy (topic)

History

2026-11-02: add by m2/dev

Summation theorems 7XFC86KXVT

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

Mentions

wikipedia: Wikipedia Metabolic control analysis#1O6Z, Summation theorems (statement)

History

2026-11-02: add by m2/dev

Eitan Tadmor 7XFE1REFX9

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

Mentions

wikipedia: Wikipedia Eitan Tadmor, Eitan Tadmor (topic). Also Wikidata Q15433687

History

2026-11-02: add by m2/dev

7XFSMYQN0K 7XFSMYQN0K

URI	`m2://inv/7XFSMYQN0K`
Kind	statement
Layer	research
MSC	03-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 1209.3562#OS7T (statement). In KZH1DCS18C/e1, theorem 6.9

History

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

surface 7XFTAHY9BW

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#67UV, surface (definition)

History

2026-11-02: add by m2/dev

A Treatise on the Binomial Theorem 7XFTRX423Z

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

Mentions

wikipedia: Wikipedia A Treatise on the Binomial Theorem, A Treatise on the Binomial Theorem (statement). Also Wikidata Q4660285

History

2026-11-02: add by m2/dev

Example 7XG2362T16

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

Mentions

wikipedia: Wikipedia Semi-invariant of a quiver#91W2, Example (example)

History

2026-11-02: add by m2/dev

Gilles Pisier 7XG34RFN7G

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

Mentions

wikipedia: Wikipedia Gilles Pisier, Gilles Pisier (topic). Also Wikidata Q366192

History

2026-11-02: add by m2/dev

7XG45RRP7S 7XG45RRP7S

URI	`m2://inv/7XG45RRP7S`
Kind	statement
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 2108.00412#3904 (statement). In APD8GE0E4F/e1, theorem 4.11

History

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

7XGF06MRY1 7XGF06MRY1

URI	`m2://inv/7XGF06MRY1`
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 1709.08958#KCG8 (statement). In H46J8XRDFJ/e1, proposition 5.1.1

History

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

Completeness 7XGHB9WH7C

URI	`m2://inv/7XGHB9WH7C`
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 2207.11097#O4XS, Completeness (statement). In 13H5BTAXHF/e1, theorem 25

History

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

Linear estimates 7XGJ4H126S

URI	`m2://inv/7XGJ4H126S`
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.28009#4DQT, Linear estimates (statement)

History

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

Examples 7XH1C0AEV0

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

Mentions

wikipedia: Wikipedia Quotient category#OSOF, Examples (example)

History

2026-11-02: add by m2/dev

7XH6HSEWT3 7XH6HSEWT3

URI	`m2://inv/7XH6HSEWT3`
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 2610.04774#YVOI (definition). In DED1CA3JCB/e1, definition 7

History

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

total function 7XHBYPPXYD

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

Mentions

wikidata: Wikidata Q140175744, total function (unknown). Also MathWorld TotalFunction

History

2026-10-26: add by m2/dev

Example 7XHG8X1AH6

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

Mentions

wikipedia: Wikipedia Appeal to probability#5OJZ, Example (example)

History

2026-11-02: add by m2/dev

theory, algebraic 7XHN368ZX7

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

Mentions

hott_book: hott_book index/5.11/theory-algebraic, theory, algebraic (concept). In N54F33XE07, index, section 5.11

History

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

List of topologies 7XHR3TBGS1

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

Mentions

wikipedia: Wikipedia List of topologies, List of topologies (topic). Also Wikidata Q104856705

History

2026-11-02: add by m2/dev

Transfinite recursion theorem 7XHSGBWYCY

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

Mentions

wikipedia: Wikipedia Transfinite recursion theorem, Transfinite recursion theorem (statement). Also Wikidata Q139408392

History

2026-11-02: add by m2/dev

Exact solution of the rounded empirical problem 7XHY8GT90P

URI	`m2://inv/7XHY8GT90P`
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.10393#Z3VP, Exact solution of the rounded empirical problem (statement). In ZGS97E3PB7/e1, proposition B.1

History

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

7XHYTH6QVM 7XHYTH6QVM

URI	`m2://inv/7XHYTH6QVM`
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.15160#MYD5 (statement). In 6FV4CCY1NX/e1, lemma 3.1

History

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

7XHZVB1KQD 7XHZVB1KQD

URI	`m2://inv/7XHZVB1KQD`
Kind	statement
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 2609.37815#SCDU (statement). In SVJYA0171G/e1, lemma 7.1

History

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

Balasubramanyam-Raghuram, Chen 7XJN0D80NK

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

Mentions

arxiv: arXiv 2609.26477#ZPOX, Balasubramanyam-Raghuram, Chen (statement)

History

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

Minkowski space 7XJSGD6AXR

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

Mentions

wikipedia: Wikipedia Minkowski space (number field), Minkowski space (definition). Also Wikidata Q16965242

History

2026-11-02: add by m2/dev

Epidemic overshoot 7XJVDCYGPN

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

Mentions

wikipedia: Wikipedia Herd immunity#03BI, Epidemic overshoot (unknown)

History

2026-11-02: add by m2/dev

7XJZG5XEX7 7XJZG5XEX7

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prop:rep-zero (statement). In PKGMM3P5QY, prop, section 29.3

History

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

7XK7ND1MZT 7XK7ND1MZT

URI	`m2://inv/7XK7ND1MZT`
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.09694#SVEJ (statement). In 7VXBVQ5SAC/e1, corollary 4.5

History

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

Harmonic divisor number 7XKDFMXK4S

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#Y0DF, Harmonic divisor number (definition)

History

2026-11-02: add by m2/dev

7XKE964N35 7XKE964N35

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 8.7

History

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

Gregory L. Cherlin 7XKNFCEMC7

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SMN2, Gregory L. Cherlin (unknown)

History

2026-11-02: add by m2/dev

cf.\ *{Cor.\ 4.7 7XKNWAJ5RV

URI	`m2://inv/7XKNWAJ5RV`
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 2610.20306#OF81, cf.\ *{Cor.\ 4.7 (statement). In YG5EX49042/e1, proposition 2.15

History

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

7XKQXDXKAD 7XKQXDXKAD

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

Mentions

arxiv: arXiv 2609.22345#BQQV (statement)

History

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

Degree-twelve certificate recovery 7XKS9YHW14

URI	`m2://inv/7XKS9YHW14`
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.04027#D664, Degree-twelve certificate recovery (statement). In DQB4YR2DFH/e1, corollary 5.6

History

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

Properties 7XM149E16H

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

Mentions

wikipedia: Wikipedia Dual representation#O4TA, Properties (statement)

History

2026-11-02: add by m2/dev

Render farm 7XM4DSFGYA

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#HZS6, Render farm (unknown)

History

2026-11-02: add by m2/dev

Statement and relation to other theorem 7XM4WXRJCQ

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

Mentions

wikipedia: Wikipedia Apollonius's theorem#Z0VJ, Statement and relation to other theorem (statement)

History

2026-11-02: add by m2/dev

primary 7XMA5CQX7J

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

Mentions

wikipedia: Wikipedia Glossary of module theory#54YB, primary (definition)

History

2026-11-02: add by m2/dev

7XMBK9DCJ6 7XMBK9DCJ6

URI	`m2://inv/7XMBK9DCJ6`
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 2509.21121#CHD9 (statement). In MTDABJF9AP/e1, lemma 8

History

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

Empirical measure 7XMEYWM2QB

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

Mentions

wikipedia: Wikipedia List of statistics articles#LSXR, Empirical measure (definition)
wikipedia: Wikipedia List of probability topics#5WWL, Empirical measure (definition)

History

2026-11-02: add by m2/dev

Raphaël Beuzart-Plessis 7XMFZAHF6P

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WSI6, Raphaël Beuzart-Plessis (unknown)

History

2026-11-02: add by m2/dev

7XMM6NJZ75 7XMM6NJZ75

URI	`m2://inv/7XMM6NJZ75`
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.05706#URG3 (statement). In 8EHE8CX1KJ/e1, lemma 2.1

History

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

7XMR2V3EC9 7XMR2V3EC9

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

Mentions

arxiv: arXiv 2610.03138#5W7C (definition). In P5SY7AVP5E/e1, definition 6.5

History

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

7XMRMP3ZCR 7XMRMP3ZCR

URI	`m2://inv/7XMRMP3ZCR`
Kind	statement
Layer	research
MSC	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 2609.37698#JMYR (statement). In HA2GG72C23/e1, fact 1.3

History

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

7XMSJY2127 7XMSJY2127

URI	`m2://inv/7XMSJY2127`
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.35153#KB8V (statement). In RNDAAR1ER9/e1, proposition 3

History

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

Membership function 7XMTNE4JE3

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

Mentions

wikipedia: Wikipedia Membership function (mathematics), Membership function (definition). Also Wikidata Q1967302

History

2026-11-02: add by m2/dev

Greatest common divisor 7XMZBP2H36

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#N8WE, Greatest common divisor (definition)

History

2026-11-02: add by m2/dev

7XN1C9V5ZD 7XN1C9V5ZD

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-7 (example). In E9HS8K3A52, example, section 10.4.1

History

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

almost sure $\Gamma$-convergence 7XN7SA9M6M

URI	`m2://inv/7XN7SA9M6M`
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 2204.07227#2I3X, almost sure $\Gamma$-convergence (statement). In R85Z7ZZGBC/e1, theorem 3.2

History

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

Donsker's theorem 7XNEPG3K5W

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

Mentions

wikipedia: Wikipedia List of statistics articles#Z0M1, Donsker's theorem (statement)

History

2026-11-02: add by m2/dev

Overconfidence effect 7XNH0F7Q4X

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

Mentions

wikipedia: Wikipedia List of cognitive biases#G41X, Overconfidence effect (definition)

History

2026-11-02: add by m2/dev

Entropy coding 7XNQ0AJ5W6

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

Mentions

wikipedia: Wikipedia Entropy coding, Entropy coding (definition). Also Wikidata Q1345239

History

2026-11-02: add by m2/dev

7XP5EZNXNN 7XP5EZNXNN

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

Mentions

open_logic: open_logic content/model-theory/interpolation/definability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.9

History

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

Juhani Kakkuri 7XPBCFRGWW

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

Mentions

wikipedia: Wikipedia Juhani Kakkuri, Juhani Kakkuri (topic). Also Wikidata Q16299580

History

2026-11-02: add by m2/dev

Minimal completion 7XPCGKPM4Z

URI	`m2://inv/7XPCGKPM4Z`
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.13951#IE5F, Minimal completion (statement). In BDV8G2CV16/e1, theorem 9

History

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

Flag and feasibility 7XPCP7XA03

URI	`m2://inv/7XPCP7XA03`
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 2609.40252#MF5Z, Flag and feasibility (definition). In 7MVPNFPRKB/e1, definition 3.1

History

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

7XPDVKZHE5 7XPDVKZHE5

URI	`m2://inv/7XPDVKZHE5`
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.38212#58B5 (statement). In 5821K2RD8J/e1, corollary 5.4

History

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

7XPE5166X2 7XPE5166X2

URI	`m2://inv/7XPE5166X2`
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 2103.12669#LMSA (definition). In ZA6XNBA90V/e1, definition 3.5

History

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

7XPHAZ7S5K 7XPHAZ7S5K

URI	`m2://inv/7XPHAZ7S5K`
Kind	statement
Layer	research
MSC	35-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 2609.25000#A56O (statement)

History

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

7XPK0E24SC 7XPK0E24SC

URI	`m2://inv/7XPK0E24SC`
Kind	definition
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 2609.21914#J049 (definition)

History

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

7XPNPDYTCA 7XPNPDYTCA

URI	`m2://inv/7XPNPDYTCA`
Kind	definition
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 1209.5343#YT7O (definition). In 4SPYEGKZ8J/e1, definition 2.9

History

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

7XPS8WQSQC 7XPS8WQSQC

URI	`m2://inv/7XPS8WQSQC`
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.29393#PRW7 (statement)

History

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

Logarithmic growth 7XPT7XPTE0

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

Mentions

wikipedia: Wikipedia Logarithmic growth, Logarithmic growth (definition). Also Wikidata Q6667307

History

2026-11-02: add by m2/dev

7XPTRN1204 7XPTRN1204

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/expotough.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 69.2

History

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

Proposition three 7XPY5V1BT3

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

Mentions

wikipedia: Wikipedia Measurement of a Circle#0D4L, Proposition three (statement)

History

2026-11-02: add by m2/dev

7XQ0KEC956 7XQ0KEC956

URI	`m2://inv/7XQ0KEC956`
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.32599#FAYH (statement). In E1Y93JNBJA/e1, lemma 5.3

History

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

7XQ3CQ5GT5 7XQ3CQ5GT5

URI	`m2://inv/7XQ3CQ5GT5`
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 2609.25468#B0A5 (statement)

History

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

7XQ7XPX3EM 7XQ7XPX3EM

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

Mentions

arxiv: arXiv 2609.28189#CET4 (statement)

History

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

Norm topology 7XQE3JCXDH

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

Mentions

wikipedia: Wikipedia List of topologies#IAOC, Norm topology (definition)

History

2026-11-02: add by m2/dev

7XQH022QR7 7XQH022QR7

URI	`m2://inv/7XQH022QR7`
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.30018#OFEX (statement)

History

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

Slepian–Wolf coding 7XQJ1PX3X3

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

Mentions

wikipedia: Wikipedia Slepian–Wolf coding, Slepian–Wolf coding (definition). Also Wikidata Q7540133

History

2026-11-02: add by m2/dev

Definition 7XQTGVEA0A

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

Mentions

wikipedia: Wikipedia Reflexive closure#CJLM, Definition (definition)

History

2026-11-02: add by m2/dev

Geometric number theory 7XQTMGYETK

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#HFGF, Geometric number theory (definition)

History

2026-11-02: add by m2/dev

Probit 7XQWM5ZJSR

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

Mentions

wikipedia: Wikipedia List of statistics articles#QVZ4, Probit (definition)

History

2026-11-02: add by m2/dev

7XQXHQ9786 7XQXHQ9786

URI	`m2://inv/7XQXHQ9786`
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 2309.01359#LXT8 (statement). In BFV19FC2G7/e1, lemma 2.7

History

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

Uncertainty theory 7XR0M16XDQ

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#1LN8, Uncertainty theory (definition)

History

2026-11-02: add by m2/dev

L. G. Khachiyan 7XR9H0Z6ZM

URI	`m2://inv/7XR9H0Z6ZM`
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#ZN1N, L. G. Khachiyan (topic)

History

2026-11-02: add by m2/dev

Product-form solution 7XRDEP6B38

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

Mentions

wikipedia: Wikipedia Product-form solution, Product-form solution (definition). Also Wikidata Q7247727

History

2026-11-02: add by m2/dev

Dinostratus' theorem 7XRG2Q88VA

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

Mentions

wikipedia: Wikipedia List of theorems#VZVG, Dinostratus' theorem (definition)

History

2026-11-02: add by m2/dev

7XRPJXGAY4 7XRPJXGAY4

URI	`m2://inv/7XRPJXGAY4`
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.05696#2YEK (statement). In MG81A9XJTQ/e1, lemma V.3

History

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

Discrete Schwarz-Ahlfors lemma 7XRRKQTX4M

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

Mentions

arxiv: arXiv 2208.04502#E803, Discrete Schwarz-Ahlfors lemma (statement). In BT6E9BXXF3/e1, theorem 4.7

History

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

Galois theory 7XS7NB24A9

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#J7BI, Galois theory (definition)

History

2026-11-02: add by m2/dev

Closed set 7XS89N2P1Q

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

Mentions

wikipedia: Wikipedia Glossary of general topology#TB54, Closed set (definition)

History

2026-11-02: add by m2/dev

Implementation 7XSF6BEHXM

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

Mentions

wikipedia: Wikipedia Smith–Waterman algorithm#L32C, Implementation (definition)

History

2026-11-02: add by m2/dev

7XSFJ9Z9Y0 7XSFJ9Z9Y0

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

Mentions

arxiv: arXiv 2609.34311#EVC3 (statement). In YYV9SHAPCZ/e1, lemma 4.2

History

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

Example 5 7XSFYY30SZ

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

Mentions

wikipedia: Wikipedia Necessity and sufficiency#D885, Example 5 (example)

History

2026-11-02: add by m2/dev

7XSP73JPW7 7XSP73JPW7

URI	`m2://inv/7XSP73JPW7`
Kind	statement
Layer	research
MSC	35-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.05423#B1QW (statement). In 3ABGS3F1JG/e1, proposition 4.1

History

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

7XSRQTJ66A 7XSRQTJ66A

URI	`m2://inv/7XSRQTJ66A`
Kind	statement
Layer	research
MSC	14-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.16362#EQV4 (statement). In 4NJ4T3DEQB/e1, theorem 4.8

History

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

7XSV1KZ5WN 7XSV1KZ5WN

URI	`m2://inv/7XSV1KZ5WN`
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#NQU5 (statement). In 3JKRBZWJ33/e1, proposition 2.9

History

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

Hans Duistermaat 7XT0332HG1

URI	`m2://inv/7XT0332HG1`
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 Q1697784, Hans Duistermaat (unknown). Also nLab Hans Duistermaat
wikipedia: Wikipedia Hans Duistermaat, Hans Duistermaat (topic). Also Wikidata Q1697784

History

2026-10-26: add by m2/dev

Coding theory 7XTGAKG9B9

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#GQHD, Coding theory (topic)

History

2026-11-02: add by m2/dev

Trinomial expansion 7XTKQ57KGQ

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

Mentions

wikipedia: Wikipedia Trinomial expansion, Trinomial expansion (definition). Also Wikidata Q3077653

History

2026-11-02: add by m2/dev

Definition (Cycle length and small sets) 7XV3RBZZZ2

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

Mentions

wikipedia: Wikipedia Markov chain Monte Carlo#38F2, Definition (Cycle length and small sets) (definition)

History

2026-11-02: add by m2/dev

7XV66TSWWA 7XV66TSWWA

URI	`m2://inv/7XV66TSWWA`
Kind	example
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 2412.14956#RR0X (example). In T8BQ6HHZYT/e1, example 2.4

History

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

Sharp four-point counterexample 7XV72SAH93

URI	`m2://inv/7XV72SAH93`
Kind	statement
Layer	research
MSC	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 2609.27774#16EM, Sharp four-point counterexample (statement)

History

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

Categories for the Working Mathematician 7XV7YS9253

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

Mentions

wikidata: Wikidata Q5051820, Categories for the Working Mathematician (unknown). Also nLab Categories Work
wikipedia: Wikipedia Categories for the Working Mathematician, Categories for the Working Mathematician (definition). Also Wikidata Q5051820

History

2026-10-26: add by m2/dev

triangle 7XVG3WAQ01

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#4UPA, triangle (definition)

History

2026-11-02: add by m2/dev

7XVP6RAE8J 7XVP6RAE8J

URI	`m2://inv/7XVP6RAE8J`
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 2609.26713#P07S (definition)

History

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

7XVQARSVWM 7XVQARSVWM

URI	`m2://inv/7XVQARSVWM`
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 2011.05871#MBCA (statement). In 399GJ6EEC2/e1, theorem 2

History

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

absolute continuity of probability laws 7XVRZD42ZH

URI	`m2://inv/7XVRZD42ZH`
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 > absolute continuity of probability laws, absolute continuity of probability laws (unknown)

History

2026-10-26: add by m2/dev

7XVVADTNDY 7XVVADTNDY

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

Mentions

arxiv: arXiv 1303.4328#VJBL (statement). In HCTYW6VH87/e1, fact 8.7

History

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

7XVZMD5ZRF 7XVZMD5ZRF

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

Mentions

arxiv: arXiv 2609.21274#8APH (statement)

History

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

7XW0FACKWG 7XW0FACKWG

URI	`m2://inv/7XW0FACKWG`
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 2502.08738#C934 (statement). In 9GMTVSTAVN/e1, corollary 4.13

History

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

additive principle 7XW2CM8RBG

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

Mentions

levin_dmoi: levin_dmoi index/2.1/additive-principle, additive principle (concept). In Y91XFCEVHQ, index, section 2.1

History

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

7XW6TEDHQS 7XW6TEDHQS

URI	`m2://inv/7XW6TEDHQS`
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 2507.13548#AM7M (definition). In 4NVVK50D1P/e1, definition

History

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

Strömberg wavelet 7XWE4P0RJK

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

Mentions

wikipedia: Wikipedia Strömberg wavelet, Strömberg wavelet (definition). Also Wikidata Q18737224

History

2026-11-02: add by m2/dev

Richard Borcherds 7XWJWZNRXM

URI	`m2://inv/7XWJWZNRXM`
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 Q334010, Richard Borcherds (unknown). Also nLab Richard Borcherds
wikipedia: Wikipedia Richard Borcherds, Richard Borcherds (topic). Also Wikidata Q334010

History

2026-10-26: add by m2/dev

Basin of attraction 7XWS643KB4

URI	`m2://inv/7XWS643KB4`
Kind	definition
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.07064#DQLC, Basin of attraction (definition). In GPK6W5XQM3/e1, definition 12

History

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

7XWV8AH210 7XWV8AH210

URI	`m2://inv/7XWV8AH210`
Kind	example
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.33954#8HWM (example). In DBC6DB2VW0/e1, example 3.4

History

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

Symmetric product of an algebraic curve 7XWX37D9EK

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

Mentions

wikipedia: Wikipedia Symmetric product of an algebraic curve, Symmetric product of an algebraic curve (definition). Also Wikidata Q7661314

History

2026-11-02: add by m2/dev

Definition 7XWYVES0RN

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

Mentions

wikipedia: Wikipedia Cyclic category#33WV, Definition (definition)

History

2026-11-02: add by m2/dev

7XX2W4SHB1 7XX2W4SHB1

URI	`m2://inv/7XX2W4SHB1`
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.12777#3ZBA (statement). In 1YFK2FB3JY/e1, corollary 3.5

History

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

7XX3031941 7XX3031941

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#example-6 (example). In RZP28ERRZV, example, section 22.4.3

History

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

Examples 7XXB6FJH4P

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

Mentions

wikipedia: Wikipedia Second-countable space#HOV0, Examples (example)

History

2026-11-02: add by m2/dev

ANZIAM 7XXGZ3QG33

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

Mentions

wikipedia: Wikipedia Australian Mathematical Society#7K05, ANZIAM (unknown)

History

2026-11-02: add by m2/dev

Neural language model 7XXKCTKWKB

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

Mentions

wikipedia: Wikipedia Language model#9ZAD, Neural language model (unknown)

History

2026-11-02: add by m2/dev

Natural logarithm 7XXNH9CRQT

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#HPUU, Natural logarithm (object)

History

2026-11-02: add by m2/dev

DSB with costs 7XXXNDJTEA

URI	`m2://inv/7XXXNDJTEA`
Kind	definition
Layer	research
MSC	49-XX, 60-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.27103#TPBZ, DSB with costs (definition)

History

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

initial 7XY0VS3YNS

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

Mentions

wikipedia: Wikipedia Glossary of category theory#5N0V, initial (definition)

History

2026-11-02: add by m2/dev

Regular logic 7XY5N6Z0F5

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

Mentions

wikipedia: Wikipedia Regular category#T4QD, Regular logic (unknown)

History

2026-11-02: add by m2/dev

Georg Feigl 7XY5ZYGRFZ

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

Mentions

wikipedia: Wikipedia Georg Feigl, Georg Feigl (topic). Also Wikidata Q1504183

History

2026-11-02: add by m2/dev

7XY73PSH2D 7XY73PSH2D

URI	`m2://inv/7XY73PSH2D`
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 2610.19360#F19P (statement). In MFCW5CY96C/e1, theorem 2

History

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

Horizon problem 7XY7NYFW54

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

Mentions

wikipedia: Wikipedia Horizon problem, Horizon problem (problem). Also Wikidata Q590581

History

2026-11-02: add by m2/dev

Weighted first main theorem 7XY82QQH2H

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

Mentions

arxiv: arXiv 2610.17589#7239, Weighted first main theorem (statement). In GSTK4569X1/e1, proposition 3.3

History

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

7XYDJWVHX7 7XYDJWVHX7

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

Mentions

arxiv: arXiv 2405.14678#B7UN (example). In 9ZSNSJRJ5N/e1, example 37

History

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

7XYFK456K7 7XYFK456K7

URI	`m2://inv/7XYFK456K7`
Kind	statement
Layer	research
MSC	46-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.20542#9HWK (statement). In 8PZXZ8Y9FK/e1, proposition 4.1

History

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

7XYJ4XX1TG 7XYJ4XX1TG

URI	`m2://inv/7XYJ4XX1TG`
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.09810#TAJ2 (statement). In B6PCH930FV/e1, theorem 16

History

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

7XYK1EW892 7XYK1EW892

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

Mentions

arxiv: arXiv 2610.11210#OUUN (definition). In CRFDGFZHBF/e1, definition 2.4

History

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

7XYMJ8BY03 7XYMJ8BY03

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 9.1.4

History

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

Four Towns, Michigan 7XYRK9SV7M

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

Mentions

wikipedia: Wikipedia List of places with numeric names#C6GD, Four Towns, Michigan (unknown)

History

2026-11-02: add by m2/dev

van Aubel's theorem 7XYVGW1KZC

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

Mentions

mathlib_1000: mathlib_1000 Q594571, Van Aubel's theorem (statement). Also Wikidata Q594571
thousand_plus: thousand_plus Q594571, Van Aubel's theorem (statement). Also Wikidata Q594571, Wikipedia Van Aubel's theorem
wikidata: Wikidata Q594571, van Aubel's theorem (statement). Also MathWorld vanAubelsTheorem
wikipedia: Wikipedia Van Aubel's theorem, Van Aubel's theorem (statement). Also Wikidata Q594571

History

2026-10-26: add by m2/dev

7XZ3XYBP8Y 7XZ3XYBP8Y

URI	`m2://inv/7XZ3XYBP8Y`
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 2609.31127#FX0B (statement). In NS3RZ26JC7/e1, lemma 1

History

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

7XZ75YBHV9 7XZ75YBHV9

URI	`m2://inv/7XZ75YBHV9`
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.03683#1IRJ (statement). In 14AMXF6X2V/e1, lemma 7.3

History

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

7XZ8NB0FDF 7XZ8NB0FDF

URI	`m2://inv/7XZ8NB0FDF`
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.14667#SM2D (statement). In EV886Y8PD7/e1, lemma 3.3

History

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

7XZMPQY4JR 7XZMPQY4JR

URI	`m2://inv/7XZMPQY4JR`
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.09809#7VKB (statement). In 7NKQ6PR78N/e1, corollary 1.2

History

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

7XZV16496P 7XZV16496P

URI	`m2://inv/7XZV16496P`
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.29631#H4WU (statement)

History

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

24 7XZV1RD3BE

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

Mentions

wikidata: Wikidata Q79988, 24 (unknown). Also MathWorld 24
wikipedia: Wikipedia 24 (number), 24 (definition). Also Wikidata Q79988

History

2026-10-26: add by m2/dev

7XZXKPQ904 7XZXKPQ904

URI	`m2://inv/7XZXKPQ904`
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.12983#0SM8 (statement). In M6TFZ6E060/e1, theorem 2.1

History

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