Inventory rows E0

Expected value E000KV7TT5

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

Mentions

wikipedia: Wikipedia List of paradoxes#BJR2, Expected value (definition)

History

2026-11-02: add by m2/dev

Definition E003N7WTYZ

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

Mentions

wikipedia: Wikipedia Cylindrical coordinate system#DIFT, Definition (definition)

History

2026-11-02: add by m2/dev

E00DXHVW0R E00DXHVW0R

URI	`m2://inv/E00DXHVW0R`
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.08052#AKVU (statement). In 672XAVEQ34/e1, corollary 6.5

History

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

Picture language E00EPQAC58

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

Mentions

wikipedia: Wikipedia Picture language, Picture language (definition). Also Wikidata Q7191197

History

2026-11-02: add by m2/dev

SO(3) E00NBGAPC7

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

Mentions

wikipedia: Wikipedia List of manifolds#2EHP, SO(3) (definition)

History

2026-11-02: add by m2/dev

E00S2MN5QM E00S2MN5QM

URI	`m2://inv/E00S2MN5QM`
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 2608.23797#9SID (definition). In PZCA01JXVR/e1, definition 5.10

History

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

HP 33s E00Y915NBY

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

Mentions

wikipedia: Wikipedia HP 33s, HP 33s (definition). Also Wikidata Q5635630

History

2026-11-02: add by m2/dev

E00YS2TB3B E00YS2TB3B

URI	`m2://inv/E00YS2TB3B`
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#O1JB (definition)

History

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

Definition E01JVR9T3F

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

Mentions

wikipedia: Wikipedia Codazzi tensor#0OUD, Definition (definition)

History

2026-11-02: add by m2/dev

Upper bound sieve E01QHWAE8T

URI	`m2://inv/E01QHWAE8T`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 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 2610.00109#KWJ1, Upper bound sieve (statement). In FS8J84KFX2/e1, lemma 4.1

History

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

E01Y9ESPEZ E01Y9ESPEZ

URI	`m2://inv/E01Y9ESPEZ`
Kind	definition
Layer	research
MSC	26-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 2411.16022#2DI8 (definition). In QG9ATXTKJ6/e1, definition 2.6

History

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

E0206BTAK3 E0206BTAK3

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

Mentions

arxiv: arXiv 2609.21438#V33M (statement)

History

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

E025QMA4W7 E025QMA4W7

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

Mentions

arxiv: arXiv 2609.26769#3R0N (statement)

History

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

Results E0335B6EXH

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

Mentions

wikipedia: Wikipedia Ordered geometry#52HK, Results (statement)

History

2026-11-02: add by m2/dev

E0365DZHTW E0365DZHTW

URI	`m2://inv/E0365DZHTW`
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.35398#NIOP (statement). In NAJCCHYXR6/e1, lemma 3.12

History

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

E03A87CAX0 E03A87CAX0

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

History

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

Example E03AR0NK9K

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

Mentions

wikipedia: Wikipedia Valuation ring#IYV7, Example (example)

History

2026-11-02: add by m2/dev

Bootstrap aggregating E03GWWEE39

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

Mentions

wikipedia: Wikipedia List of statistics articles#8FMF, Bootstrap aggregating (definition)

History

2026-11-02: add by m2/dev

E03RQ76FP8 E03RQ76FP8

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 2.1.5

History

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

E03SAWT8R7 E03SAWT8R7

URI	`m2://inv/E03SAWT8R7`
Kind	definition
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 1705.04310#WDHU (definition). In MG51GG0QZN/e1, definition 4.8

History

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

E03Y0Z6ZXV E03Y0Z6ZXV

URI	`m2://inv/E03Y0Z6ZXV`
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.16180#FAKI (statement). In FCFD59D3T6/e1, lemma 3.2

History

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

E03Y68ZGKP E03Y68ZGKP

URI	`m2://inv/E03Y68ZGKP`
Kind	example
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.21622#P3VX (example). In H21X3FHNYJ/e1, example 1.8

History

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

Leonhard Euler Gold Medal E03Y77D6YE

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

Mentions

wikipedia: Wikipedia Leonhard Euler Gold Medal, Leonhard Euler Gold Medal (definition). Also Wikidata Q7704960

History

2026-11-02: add by m2/dev

Automatically Tuned Linear Algebra Software E03Z5EPFJ6

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#R4E8, Automatically Tuned Linear Algebra Software (definition)

History

2026-11-02: add by m2/dev

E041CE93KS E041CE93KS

URI	`m2://inv/E041CE93KS`
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 2610.14240#WPP4 (definition). In HGQCBDDMQJ/e1, definition 3.10

History

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

Fixed-cut reconstruction E04302Y957

URI	`m2://inv/E04302Y957`
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 2610.10557#WNYP, Fixed-cut reconstruction (statement). In D2MXWDTHWS/e1, proposition 21

History

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

E043DMWVV0 E043DMWVV0

URI	`m2://inv/E043DMWVV0`
Kind	example
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.03327#QUJN (example). In EBNXA84CPM/e1, example 4.2

History

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

Cevian point E045F6X7HE

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

Mentions

wikidata: Wikidata Q3925811, Cevian point (concept). Also MathWorld CevianPoint

History

2026-10-26: add by m2/dev

Ludolph van Ceulen E045YQAMT6

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

Mentions

wikipedia: Wikipedia List of German mathematicians#8EH0, Ludolph van Ceulen (topic)

History

2026-11-02: add by m2/dev

Constructions E04GB3EK3Y

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

Mentions

wikipedia: Wikipedia Conic section#0TG4, Constructions (definition)

History

2026-11-02: add by m2/dev

E04RXPPCHQ E04RXPPCHQ

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

Mentions

arxiv: arXiv 2610.06338#TW8X (statement). In F1CYVYK7YB/e1, theorem 5.12

History

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

cycle index E04SVX4AZY

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

Mentions

applied_combinatorics: applied_combinatorics index/15.4.1/cycle-index, cycle index (concept). In QKM9DD2H56, index, section 15.4.1

History

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

Turingismus E04TX836YP

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#6VX8, Turingismus (definition)

History

2026-11-02: add by m2/dev

Anthropocentric thinking E04VWQ3ET8

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

Mentions

wikipedia: Wikipedia List of cognitive biases#PUDW, Anthropocentric thinking (definition)

History

2026-11-02: add by m2/dev

Tubular neighborhood theorem E04XTMKDPN

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

Mentions

wikipedia: Wikipedia Calculus on Euclidean space#E2Y3, Tubular neighborhood theorem (statement)

History

2026-11-02: add by m2/dev

Branching random walk E05M44CZF5

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

Mentions

wikipedia: Wikipedia Branching random walk, Branching random walk (definition). Also Wikidata Q4956437

History

2026-11-02: add by m2/dev

Psychological Methods E05V57BFAN

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

Mentions

wikipedia: Wikipedia List of statistics journals#PF2K, Psychological Methods (definition)

History

2026-11-02: add by m2/dev

Carathéodory's theorem E0603CKSDC

URI	`m2://inv/E0603CKSDC`
Kind	statement
Layer	textbook
MSC	51-XX, 52-XX, 62-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Carathéodory's theorem 0201Q4P2B5

Mentions

arxiv: arXiv 2610.17909#Q53H, Carathéodory's theorem (statement). In YXZX6Z8S6A/e1, theorem 5.23
mathlib_1000: mathlib_1000 Q2471737, Carathéodory's theorem (convex hull) (statement). Also Mathlib convexHull_eq_union, Wikidata Q2471737
mathlib_overview: mathlib_overview Analysis > Convexity > Carathéodory's theorem, Carathéodory's theorem (unknown). Also Mathlib convexHull_eq_union
thousand_plus: thousand_plus Q2471737, Carathéodory's theorem (convex hull) (statement). Also Mathlib convexHull_eq_union, Wikidata Q2471737, Wikipedia Carathéodory's theorem (convex hull)
wikidata: Wikidata Q2471737, Carathéodory's theorem (statement). Also ProofWiki Carathéodory's_Theorem_(Convex_Analysis)
wikipedia: Wikipedia Carathéodory's theorem (convex hull), Carathéodory's theorem (statement). Also Wikidata Q2471737

History

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

Modularity of \( f_K \ E062HM8P97

URI	`m2://inv/E062HM8P97`
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.33946#RXNR, Modularity of \( f_K \ (statement). In T61D8EZH24/e1, proposition

History

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

Beyond 2011 E062N8Q41E

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

Mentions

wikipedia: Wikipedia Beyond 2011, Beyond 2011 (definition). Also Wikidata Q16951464

History

2026-11-02: add by m2/dev

Sumset E066WAQAGN

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

Mentions

wikipedia: Wikipedia List of number theory topics#X6G1, Sumset (definition)

History

2026-11-02: add by m2/dev

E0674QNE4H E0674QNE4H

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

Mentions

arxiv: arXiv 2609.21491#TREA (definition)

History

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

E06DDE5FBM E06DDE5FBM

URI	`m2://inv/E06DDE5FBM`
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 2206.05392#4EQD (conjecture). In 58D1ZC82DW/e1, conjecture 27

History

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

Scaled-inverse-chi-squared distribution E06FYZX2P3

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

Mentions

wikipedia: Wikipedia List of statistics articles#WGTN, Scaled-inverse-chi-squared distribution (definition)

History

2026-11-02: add by m2/dev

Support separation E06PEQVT0Y

URI	`m2://inv/E06PEQVT0Y`
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.31811#67KY, Support separation (statement). In A8ZBZW9RNA/e1, lemma 5.1

History

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

E06TMWCB3G E06TMWCB3G

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-65 (exercise). In E9HS8K3A52, exercise, section 2.5.5

History

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

Fekete–Szegő inequality E073380GS2

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

Mentions

wikipedia: Wikipedia List of inequalities#J2G5, Fekete–Szegő inequality (statement)

History

2026-11-02: add by m2/dev

Lower envelope E0750J732A

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

Mentions

wikipedia: Wikipedia Lower envelope, Lower envelope (definition). Also Wikidata Q107132312

History

2026-11-02: add by m2/dev

Cyclic pentagon E0777NQYD5

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

Mentions

wikipedia: Wikipedia Pentagon#SYUB, Cyclic pentagon (unknown)

History

2026-11-02: add by m2/dev

E07A7ZQAWD E07A7ZQAWD

URI	`m2://inv/E07A7ZQAWD`
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 2610.11700#MT4A (statement). In RW9AZQ1YZ2/e1, theorem 3

History

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

E07EB6R01S E07EB6R01S

URI	`m2://inv/E07EB6R01S`
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 2205.09049#0QL0 (statement). In 37S7MNMZ2F/e1, corollary 38

History

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

Dynkin formula E07J3406WV

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

Mentions

wikipedia: Wikipedia Markov property#GUEK, Dynkin formula (statement)

History

2026-11-02: add by m2/dev

E07QWVQK6X E07QWVQK6X

URI	`m2://inv/E07QWVQK6X`
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 2310.14879#E3QV (statement). In 3VZ55B2N0D/e1, lemma 5.26

History

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

Rete algorithm E07TYC05DM

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

Mentions

wikipedia: Wikipedia List of algorithms#RBXX, Rete algorithm (unknown)

History

2026-11-02: add by m2/dev

E07XG9EME3 E07XG9EME3

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

Mentions

arxiv: arXiv 2610.09900#VESK (problem). In ATSYBWEMMP/e1, problem 5

History

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

E07ZGQ1GBQ E07ZGQ1GBQ

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-211 (exercise). In VNMV985MXX, exercise, section 4.3

History

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

E08ARY79JZ E08ARY79JZ

URI	`m2://inv/E08ARY79JZ`
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 2610.10338#FCGB (statement). In WZ3GXRAB00/e1, proposition 4.3

History

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

class function E08F8BNH54

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

Mentions

wikidata: Wikidata Q130303652, class function (unknown). Also nLab class function (set theory)

History

2026-10-26: add by m2/dev

Vasilii Alekseevich Iskovskikh E08P5FVEMQ

URI	`m2://inv/E08P5FVEMQ`
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#VCJU, Vasilii Alekseevich Iskovskikh (topic)

History

2026-11-02: add by m2/dev

Strong cohomological rigidity for Bott manifolds E08Q4ZVRG6

URI	`m2://inv/E08Q4ZVRG6`
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 2202.10920#159W, Strong cohomological rigidity for Bott manifolds (statement). In 6TTFGK6ZV0/e1, theorem 1.1

History

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

dwarf planet E08SYA2634

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

Mentions

wikidata: Wikidata Q2199, dwarf planet (definition). Also ProofWiki Definition:Dwarf_Planet

History

2026-10-26: add by m2/dev

Problem 7 E08SYV02PM

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

Mentions

wikipedia: Wikipedia Jade Mirror of the Four Unknowns#N8J8, Problem 7 (problem)

History

2026-11-02: add by m2/dev

Adriaan van Wijngaarden E08T4R1179

URI	`m2://inv/E08T4R1179`
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#EPK1, Adriaan van Wijngaarden (topic)

History

2026-11-02: add by m2/dev

Embedded submanifold E08V3SEYE4

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

Mentions

wikipedia: Wikipedia Submanifold#LA16, Embedded submanifold (unknown)

History

2026-11-02: add by m2/dev

E08VXRTJB9 E08VXRTJB9

URI	`m2://inv/E08VXRTJB9`
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 2006.05158#F2UP (statement). In 4VCW6SZQXK/e1, lemma 5

History

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

Sharks can get cancer E08Z24MSBN

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#CCSB, Sharks can get cancer (unknown)

History

2026-11-02: add by m2/dev

Taniyama–Shimura–Weil conjecture E09029FR39

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

Mentions

wikipedia: Wikipedia Fermat's Last Theorem#8BS0, Taniyama–Shimura–Weil conjecture (statement)

History

2026-11-02: add by m2/dev

E09BPKXN79 E09BPKXN79

URI	`m2://inv/E09BPKXN79`
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.06458#JVFU (statement). In 4X93XG8NMD/e1, theorem 1.3

History

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

Huazhen Lin E09CSZVF46

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

Mentions

wikipedia: Wikipedia Huazhen Lin, Huazhen Lin (topic). Also Wikidata Q88991886

History

2026-11-02: add by m2/dev

The estimator is a primal--dual gap E09K0CR4W5

URI	`m2://inv/E09K0CR4W5`
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.12088#N2PQ, The estimator is a primal--dual gap (statement). In 5A39XSJ04W/e1, proposition 7.4

History

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

challenging E09KB9WASA

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-112, challenging (exercise). In E9HS8K3A52, exercise, section 5.9.1

History

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

Perplexity E09RWSYVN5

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

Mentions

wikipedia: Wikipedia Perplexity, Perplexity (definition). Also Wikidata Q372193

History

2026-11-02: add by m2/dev

E09SM7EZ1C E09SM7EZ1C

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

Mentions

hott_book: hott_book categories.tex#proof-13 (proof). In N54F33XE07, proof, section 2.4

History

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

Necklace ring E09ZK0C3XP

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

Mentions

wikipedia: Wikipedia Necklace ring, Necklace ring (definition). Also Wikidata Q17043745

History

2026-11-02: add by m2/dev

Grothendieck polynomials E0A00Q5EAD

URI	`m2://inv/E0A00Q5EAD`
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 2609.30675#FYY8, Grothendieck polynomials (definition). In RQ0K0A6PQA/e1, definition 1.1

History

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

E0A1PA74RN E0A1PA74RN

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-10 (exercise). In VNMV985MXX, exercise, section 1.2

History

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

E0AAGFBJM5 E0AAGFBJM5

URI	`m2://inv/E0AAGFBJM5`
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#MTJE (statement). In BT6E9BXXF3/e1, lemma 1

History

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

E0AJPAHKKA E0AJPAHKKA

URI	`m2://inv/E0AJPAHKKA`
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 2312.14319#1LHR (statement). In V0S2EZ53GB/e1, theorem 2.13

History

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

E0AN513WCP E0AN513WCP

URI	`m2://inv/E0AN513WCP`
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.21116#B7DN (statement)

History

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

E0AVE0SS0D E0AVE0SS0D

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

Mentions

arxiv: arXiv 2610.04434#S6MH (statement). In EY0QS456EC/e1, proposition 5.2

History

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

Generalizations E0B0BV0GM4

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

Mentions

wikipedia: Wikipedia Campbell's theorem (probability)#EU46, Generalizations (statement)

History

2026-11-02: add by m2/dev

direct sum E0B2KJH37Z

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > direct sum, direct sum (unknown). Also Mathlib DirectSum.IsInternal

History

2026-10-26: add by m2/dev

E0B3ZX8Q24 E0B3ZX8Q24

URI	`m2://inv/E0B3ZX8Q24`
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.06541#AZ1O (statement). In R604B78EVK/e1, theorem 6.5

History

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

axiom, of choice E0B4PMXY56

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

Mentions

hott_book: hott_book index/2.9/axiom-of-choice, axiom, of choice (concept). In N54F33XE07, index, section 2.9

History

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

Definable real number E0B5EWR0W7

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

Mentions

wikipedia: Wikipedia Definable real number, Definable real number (definition). Also Wikidata Q3893614

History

2026-11-02: add by m2/dev

Maximal weak subslope E0BFNBDAPR

URI	`m2://inv/E0BFNBDAPR`
Kind	statement
Layer	research
MSC	35-XX, 46-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 2610.21775#TVFZ, Maximal weak subslope (statement). In KM3Q791JY0/e1, theorem 4.9

History

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

Applications E0BJK7HBX5

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

Mentions

wikipedia: Wikipedia Markov chain Monte Carlo#TNLW, Applications (example)

History

2026-11-02: add by m2/dev

Chuu-Lian Terng E0BKRV1NR7

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

Mentions

wikipedia: Wikipedia Chuu-Lian Terng, Chuu-Lian Terng (topic). Also Wikidata Q644047

History

2026-11-02: add by m2/dev

E0BPAG6NZM E0BPAG6NZM

URI	`m2://inv/E0BPAG6NZM`
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.17240#0ESE (statement). In 59BZ4V9RQW/e1, lemma 9.1

History

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

E0BW5Z9VPF E0BW5Z9VPF

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

Mentions

arxiv: arXiv 2302.05529#7B34 (statement). In 9VPMHV0M4R/e1, proposition 1.7

History

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

Universal approximation theorem (L1 distance, ReLU activation, arbitrary depth, minimal width) E0C2TGGF85

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

Mentions

wikipedia: Wikipedia Universal approximation theorem#UWJY, Universal approximation theorem (L1 distance, ReLU activation, arbitrary depth, minimal width) (statement)

History

2026-11-02: add by m2/dev

E0C8BH4W1Q E0C8BH4W1Q

URI	`m2://inv/E0C8BH4W1Q`
Kind	definition
Layer	research
MSC	20-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 2503.00560#DI69 (definition). In KH1H3TSWPS/e1, definition 2.8

History

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

Skew elliptical distribution E0C9GFK5H4

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

Mentions

wikipedia: Wikipedia List of probability distributions#GE6W, Skew elliptical distribution (unknown)

History

2026-11-02: add by m2/dev

E0CBNGT255 E0CBNGT255

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

Mentions

arxiv: arXiv 2610.10745#HKQ1 (example). In 5MJ4NJ5ZCV/e1, example 4.3

History

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

E0CCKHGF6C E0CCKHGF6C

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

Mentions

arxiv: arXiv 2609.26984#ZKDA (statement)

History

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

Corollary 2 E0CPNZ3XDF

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

Mentions

wikipedia: Wikipedia Differential calculus#S6MB, Corollary 2 (statement)

History

2026-11-02: add by m2/dev

Other worlds strategy E0CZRJTTGT

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

Mentions

wikipedia: Wikipedia Nonexistent objects#OMVK, Other worlds strategy (unknown)

History

2026-11-02: add by m2/dev

E0D27YFXJW E0D27YFXJW

URI	`m2://inv/E0D27YFXJW`
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.01970#TCX6 (statement). In 1B400PB2NJ/e1, theorem 1.3

History

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

E0D4ZRQ6V3 E0D4ZRQ6V3

URI	`m2://inv/E0D4ZRQ6V3`
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.26357#T7TO (statement)

History

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

L1 space E0D5G4N0DV

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

Mentions

wikidata: Wikidata Q91315763, L1 space (unknown). Also MathWorld L1-Space

History

2026-10-26: add by m2/dev

E0D87YE6KD E0D87YE6KD

URI	`m2://inv/E0D87YE6KD`
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 1002.0879#TPNY (statement). In M0SQY5EZN5/e1, corollary 2.8.12

History

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

E0DFFFQDP5 E0DFFFQDP5

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

Mentions

arxiv: arXiv 2610.10262#6O55 (statement). In MVSGDTN2PB/e1, lemma 4.4

History

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

1 E-26 m E0DQG7K8KN

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

Mentions

wikipedia: Wikipedia Orders of magnitude (length)#OKOI, 1 E-26 m (unknown)

History

2026-11-02: add by m2/dev

E0DSVX8GB7 E0DSVX8GB7

URI	`m2://inv/E0DSVX8GB7`
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.17408#1VZ6 (statement). In QR8H4M1X4N/e1, theorem 5.5

History

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

regular E0DYJ4ZK9Z

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#03XN, regular (definition)

History

2026-11-02: add by m2/dev

E0E1RXBF92 E0E1RXBF92

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

Mentions

hott_book: hott_book reals.tex#RD-dedekind-complete (statement). In N54F33XE07, cor, section B.2.3

History

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

Spectral moment-cancellation lower bound E0E64NPWV5

URI	`m2://inv/E0E64NPWV5`
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.21363#FYD3, Spectral moment-cancellation lower bound (statement). In YPH7NS5AAQ/e1, theorem 6.1

History

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

Normal-fan representation of crossing E0EG3R27HC

URI	`m2://inv/E0EG3R27HC`
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.33472#Q0C8, Normal-fan representation of crossing (statement). In WBQQBZ4FCJ/e1, proposition C.3

History

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

E0EJEHBR3N E0EJEHBR3N

URI	`m2://inv/E0EJEHBR3N`
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.13103#QXVF (statement). In GG2ZZV6KEQ/e1, lemma 2.4

History

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

E0EMH28CZM E0EMH28CZM

URI	`m2://inv/E0EMH28CZM`
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 2609.27360#NF70 (statement)

History

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

Fredkin gate E0EMNA46CS

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

Mentions

napkin: napkin tex/quantum/circuits.tex#problem-1, Fredkin gate (exercise). In RZP28ERRZV, problem, section 75.4

History

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

Peel reciprocity problem E0EV630EZH

URI	`m2://inv/E0EV630EZH`
Kind	problem
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.26196#QOYZ, Peel reciprocity problem (problem)

History

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

Ronald Jensen E0EWP47J8B

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

Mentions

wikipedia: Wikipedia Ronald Jensen, Ronald Jensen (topic). Also Wikidata Q324896

History

2026-11-02: add by m2/dev

E0EXQ1F9A0 E0EXQ1F9A0

URI	`m2://inv/E0EXQ1F9A0`
Kind	definition
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 1705.04310#DG6R (definition). In MG51GG0QZN/e1, definition 3.7

History

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

statistical model E0EXSJBFHY

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#ZUI4, statistical model (definition)

History

2026-11-02: add by m2/dev

Generalization E0EYMVTSB2

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

Mentions

wikipedia: Wikipedia Fisher's inequality#4K54, Generalization (statement)

History

2026-11-02: add by m2/dev

E0F4J2S2G5 E0F4J2S2G5

URI	`m2://inv/E0F4J2S2G5`
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.01828#FRE1 (statement). In RQMJY73C8Q/e1, theorem II.4

History

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

Rebecca Doerge E0F5G790J2

URI	`m2://inv/E0F5G790J2`
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#5Y3S, Rebecca Doerge (unknown)

History

2026-11-02: add by m2/dev

E0F6AX6RDH E0F6AX6RDH

URI	`m2://inv/E0F6AX6RDH`
Kind	problem
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 2610.18620#AB4L (problem). In 6WJ0R9YEBR/e1, problem 3.23

History

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

complete metric space E0F8Q0THPW

URI	`m2://inv/E0F8Q0THPW`
Kind	definition
Layer	textbook
Sources	3
Outcome	node (a node has the same name as the row)
Node	Complete metric space 08EWT7J0SC

Mentions

mathlib_overview: mathlib_overview Topology > Uniform notions > completeness, completeness (unknown). Also Mathlib CompleteSpace
wikidata: Wikidata Q848569, complete metric space (definition). Also EoM complete_space, Mathlib CompleteSpace, MathWorld CompleteMetricSpace, ProofWiki Definition:Complete_Metric_Space
wikipedia: Wikipedia Complete metric space, Complete metric space (definition). Also Wikidata Q848569

History

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

K-medoids E0F9AXB99V

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

Mentions

wikipedia: Wikipedia K-medoids, K-medoids (definition). Also Wikidata Q3191282

History

2026-11-02: add by m2/dev

focus of a conic section E0FAYRP92D

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

Mentions

wikidata: Wikidata Q78150425, focus of a conic section (unknown). Also MathWorld Focus

History

2026-10-26: add by m2/dev

Definition E0FJT5Q5DC

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

Mentions

wikipedia: Wikipedia Uniform convergence#GFI6, Definition (definition)

History

2026-11-02: add by m2/dev

Theorem E0FNDPW6E6

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#BZY8, Theorem (statement)

History

2026-11-02: add by m2/dev

E0FPWQVRDQ E0FPWQVRDQ

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

Mentions

arxiv: arXiv 2610.10790#R4YY (definition). In HHQ6P3RRB8/e1, definition Notation

History

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

Definition E0FQJSR2PH

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

Mentions

wikipedia: Wikipedia Quasideterminant#8BDA, Definition (definition)

History

2026-11-02: add by m2/dev

E0FW4NKC8A E0FW4NKC8A

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

Mentions

arxiv: arXiv 2609.21534#F10H (statement)

History

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

E0FZM6VZ9G E0FZM6VZ9G

URI	`m2://inv/E0FZM6VZ9G`
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.16768#RLLW (statement). In 8FWK676AQX/e1, lemma 2

History

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

Hadwiger conjecture E0G379Q64C

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#7AT0, Hadwiger conjecture (conjecture)

History

2026-11-02: add by m2/dev

E0G4H9SQZA E0G4H9SQZA

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

Mentions

arxiv: arXiv 2609.25353#Z8XQ (definition)

History

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

Examples E0G5BYVQJQ

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

Mentions

wikipedia: Wikipedia Vapnik–Chervonenkis dimension#JXWC, Examples (example)

History

2026-11-02: add by m2/dev

E0G5GK84P9 E0G5GK84P9

URI	`m2://inv/E0G5GK84P9`
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 1002.0879#0XTI (definition). In M0SQY5EZN5/e1, definition 1.4.7

History

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

Bounds for SID and PID Codes E0G8DE7V34

URI	`m2://inv/E0G8DE7V34`
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 2609.37578#X7BW, Bounds for SID and PID Codes (statement). In D7NDCWSDJE/e1, theorem 1

History

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

Goldberg–Coxeter construction E0G91G2W9P

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

Mentions

wikipedia: Wikipedia Goldberg–Coxeter construction, Goldberg–Coxeter construction (definition). Also Wikidata Q48999899

History

2026-11-02: add by m2/dev

Past version of the $C^{(1,3)}$ Hawking singularity theorem, version 1 E0GB38XJT8

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

Mentions

arxiv: arXiv 2610.11911#F0UG, Past version of the $C^{(1,3)}$ Hawking singularity theorem, version 1 (statement). In 5BYE5NYB89/e1, corollary 4.5

History

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

Veera Baladandayuthapani E0GCT3EB5E

URI	`m2://inv/E0GCT3EB5E`
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#RADN, Veera Baladandayuthapani (topic)

History

2026-11-02: add by m2/dev

Probability Surveys E0GGQSGA9E

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

Mentions

wikipedia: Wikipedia Probability Surveys, Probability Surveys (definition). Also Wikidata Q7246871

History

2026-11-02: add by m2/dev

E0GJZMK9CP E0GJZMK9CP

URI	`m2://inv/E0GJZMK9CP`
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 2411.05198#3S1E (statement). In NJWY6HPFHG/e1, lemma 6

History

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

Definition E0GKEF9WDX

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

Mentions

wikipedia: Wikipedia Jordan's totient function#TF4J, Definition (definition)

History

2026-11-02: add by m2/dev

E0GQ5GMZTN E0GQ5GMZTN

URI	`m2://inv/E0GQ5GMZTN`
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 2504.04729#UDWV (statement). In DCDJ82120R/e1, lemma 1

History

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

The matrix $\mathscr H_{(a)}$ as a block mixed-type recurrence E0GT2NARPQ

URI	`m2://inv/E0GT2NARPQ`
Kind	statement
Layer	research
MSC	05-XX, 26-XX, 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.26066#B6R2, The matrix $\mathscr H_{(a)}$ as a block mixed-type recurrence (statement)

History

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

E0H1YSVTJM E0H1YSVTJM

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

Mentions

arxiv: arXiv 2609.36725#H81U (statement). In AR26SZ8JGN/e1, lemma 3.2

History

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

University Park E0HCGKGE90

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#VRZE, University Park (unknown)

History

2026-11-02: add by m2/dev

E0HKZSXNMX E0HKZSXNMX

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

Mentions

arxiv: arXiv 2610.20849#06OJ (statement). In HK7FV97MFD/e1, theorem 7.1

History

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

The Ramanujan conjecture E0HWT66CAY

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

Mentions

wikipedia: Wikipedia Srinivasa Ramanujan#0IEM, The Ramanujan conjecture (statement)

History

2026-11-02: add by m2/dev

E0J1G5MHC6 E0J1G5MHC6

URI	`m2://inv/E0J1G5MHC6`
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 2610.13291#HWEM (statement). In D16PSAVVWV/e1, lemma 2.1

History

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

E0JF7JYP1V E0JF7JYP1V

URI	`m2://inv/E0JF7JYP1V`
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 2610.16779#5NIZ (statement). In 1R7H0ZAHWA/e1, lemma 2.3

History

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

Bernoulli polynomials of the second kind E0JYX5B8RJ

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

Mentions

wikipedia: Wikipedia Bernoulli polynomials of the second kind, Bernoulli polynomials of the second kind (definition). Also Wikidata Q60790776

History

2026-11-02: add by m2/dev

Enigma procedures E0KB1XQ3RG

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

Mentions

wikipedia: Wikipedia Enigma machine#W81V, Enigma procedures (unknown)

History

2026-11-02: add by m2/dev

Examples E0KBVESNKY

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

Mentions

wikipedia: Wikipedia Radon–Riesz property#4NHP, Examples (example)

History

2026-11-02: add by m2/dev

S (set theory) E0KFFM2DPY

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

Mentions

wikipedia: Wikipedia List of alternative set theories#J3KR, S (set theory) (definition)

History

2026-11-02: add by m2/dev

Rousseeuw, Peter J. E0KR9KNPMP

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

Mentions

wikipedia: Wikipedia List of statisticians#6EJ7, Rousseeuw, Peter J. (topic)

History

2026-11-02: add by m2/dev

Detlef Müller E0KRTBTCQN

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

Mentions

wikipedia: Wikipedia Detlef Müller (mathematician), Detlef Müller (topic). Also Wikidata Q44374721

History

2026-11-02: add by m2/dev

E0KS3SNGVK E0KS3SNGVK

URI	`m2://inv/E0KS3SNGVK`
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.20740#D95V (statement)

History

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

Śaṅkaranārāyaṇa E0KT6BKZPS

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#0L2U, Śaṅkaranārāyaṇa (unknown)

History

2026-11-02: add by m2/dev

Fundamental lemma of the calculus of variations E0KWNBA6P4

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

Mentions

wikipedia: Wikipedia Fundamental lemma of the calculus of variations, Fundamental lemma of the calculus of variations (statement). Also Wikidata Q2474925

History

2026-11-02: add by m2/dev

General derivation of the work–energy principle for a particle E0KXT3B4EJ

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

Mentions

wikipedia: Wikipedia Work (physics)#0SWQ, General derivation of the work–energy principle for a particle (statement)

History

2026-11-02: add by m2/dev

E0M0C1SPHP E0M0C1SPHP

URI	`m2://inv/E0M0C1SPHP`
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#WZ68 (statement). In GYMGDQS25R/e1, proposition 6.10

History

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

center of a category E0M589JEVK

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

Mentions

wikidata: Wikidata Q139882694, center of a category (unknown). Also nLab center of a category

History

2026-10-26: add by m2/dev

Reconstruction-error tightness under certified rank preservation E0M6SZZX5X

URI	`m2://inv/E0M6SZZX5X`
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.28029#QH1U, Reconstruction-error tightness under certified rank preservation (statement)

History

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

E0M8HSACS4 E0M8HSACS4

URI	`m2://inv/E0M8HSACS4`
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 2511.07697#9V6Y (statement). In 57P5P33HS3/e1, lemma 12

History

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

Giulio Ascoli E0MR4D9X9D

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#K74D, Giulio Ascoli (topic)

History

2026-11-02: add by m2/dev

E0MSA46EGF E0MSA46EGF

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

Mentions

arxiv: arXiv 2605.16669#XJCJ (statement). In 1463YCCRP5/e1, theorem 4.7

History

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

E0MW7J7SC0 E0MW7J7SC0

URI	`m2://inv/E0MW7J7SC0`
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.13295#S9FC (statement). In 8Q7QXTWD0S/e1, theorem 1.1

History

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

E0MYXHMSK8 E0MYXHMSK8

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

Mentions

napkin: napkin tex/riemann-surface/line-bundles.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 85.3

History

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

Étale topology E0N5PPZTKH

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

Mentions

wikipedia: Wikipedia List of topologies on the category of schemes#CRN3, Étale topology (definition)

History

2026-11-02: add by m2/dev

E0NA6WVEBC E0NA6WVEBC

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

Mentions

arxiv: arXiv 2609.21438#LQTL (statement)

History

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

E0NB5BTH67 E0NB5BTH67

URI	`m2://inv/E0NB5BTH67`
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 1903.11969#L4TJ (statement). In 9N4EV3GRM7/e1, theorem 3.7

History

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

Helmholtz theorem (classical mechanics) E0NE9CZCAE

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

Mentions

wikipedia: Wikipedia List of theorems#CE6Y, Helmholtz theorem (classical mechanics) (statement)

History

2026-11-02: add by m2/dev

E0NEHCPRT2 E0NEHCPRT2

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#thm:max_ideal_quotient (statement). In RZP28ERRZV, theorem, section 4.4

History

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

Intersection E0NFPKF3M0

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

Mentions

wikipedia: Wikipedia Intersection (geometry), Intersection (definition). Also Wikidata Q1364910

History

2026-11-02: add by m2/dev

E0NGNWYFCY E0NGNWYFCY

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 1.2

History

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

E0NKWA7FG5 E0NKWA7FG5

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

Mentions

arxiv: arXiv 2610.07673#D1A1 (example). In 37B1MPV8GX/e1, example 3.6

History

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

E0NN25YJSS E0NN25YJSS

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

Mentions

arxiv: arXiv 2609.22077#N5F4 (statement)

History

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

\coqident{MoreFoundations}{ClosureOfHrel}{isdecidable_hrel E0NQ9QFRBD

URI	`m2://inv/E0NQ9QFRBD`
Kind	definition
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 1904.09810#460H, \coqident{MoreFoundations}{ClosureOfHrel}{isdecidable_hrel (definition). In T1VFA7TXPA/e1, definition 59

History

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

Statistic E0NWSC5NV8

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

Mentions

wikipedia: Wikipedia List of statistics articles#I3S7, Statistic (definition)

History

2026-11-02: add by m2/dev

EnRUPT E0NYGBQT8P

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

Mentions

wikipedia: Wikipedia EnRUPT, EnRUPT (definition). Also Wikidata Q4038037

History

2026-11-02: add by m2/dev

Eventually constant Metelmann parameters E0P5H3XTDX

URI	`m2://inv/E0P5H3XTDX`
Kind	statement
Layer	research
MSC	26-XX, 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.08568#E1XG, Eventually constant Metelmann parameters (statement). In FDDA562VCA/e1, proposition 2.29

History

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

E0P86MCDRS E0P86MCDRS

URI	`m2://inv/E0P86MCDRS`
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.03255#SJGE (statement). In DCC0Y18670/e1, theorem 2.1

History

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

E0PAKD1J7Q E0PAKD1J7Q

URI	`m2://inv/E0PAKD1J7Q`
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.36321#62EK (statement). In 3KTZ6Z615H/e1, proposition 6.5

History

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

Descent up to a power E0PEJNW8WN

URI	`m2://inv/E0PEJNW8WN`
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.15831#VF50, Descent up to a power (statement). In CVESAPNMCQ/e1, lemma 5.4

History

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

Locally compact Hausdorff induced spaces E0PG2PAQPN

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

Mentions

arxiv: arXiv 2609.23281#4Z2E, Locally compact Hausdorff induced spaces (statement)

History

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

E0PHTEBY8Z E0PHTEBY8Z

URI	`m2://inv/E0PHTEBY8Z`
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 2608.23797#WCOH (statement). In PZCA01JXVR/e1, lemma 4.5

History

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

E0PQ32KS7A E0PQ32KS7A

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

Mentions

arxiv: arXiv 2609.33841#K3EM (statement). In 3CVQHT206K/e1, theorem 3.11

History

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

compact-open topology E0PV703XTP

URI	`m2://inv/E0PV703XTP`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Compact-open topology RG15F0TWPW

Mentions

wikidata: Wikidata Q1669863, compact-open topology (unknown). Also EoM Compact-open_topology, MathWorld Compact-OpenTopology, nLab compact-open topology
wikipedia: Wikipedia Compact-open topology, Compact-open topology (definition). Also Wikidata Q1669863

History

2026-10-26: add by m2/dev

Definition E0PYPV50DD

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

Mentions

wikipedia: Wikipedia Relaxation (approximation)#9TE7, Definition (definition)

History

2026-11-02: add by m2/dev

E0Q141AEWG E0Q141AEWG

URI	`m2://inv/E0Q141AEWG`
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.08664#HSOD (statement). In 1YY0P4ZS0T/e1, corollary 50

History

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

Application E0Q5CG5CCT

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

Mentions

wikipedia: Wikipedia Mostowski collapse lemma#LDM0, Application (example)

History

2026-11-02: add by m2/dev

E0QGVK6T85 E0QGVK6T85

URI	`m2://inv/E0QGVK6T85`
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.20422#Q4MZ (statement). In HCH89W5Y2C/e1, corollary 12

History

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

E0QP5W02EV E0QP5W02EV

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

Mentions

arxiv: arXiv 1804.05688#9F0B (proof). In M8F4PDHH3S/e1, proof

History

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

E0QWQ29KJY E0QWQ29KJY

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

Mentions

arxiv: arXiv 2610.10377#B83Z (statement). In 6HP7BR9WZM/e1, lemma 3.10

History

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

Proper time E0R2BK4G72

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#39O8, Proper time (definition)

History

2026-11-02: add by m2/dev

surface area E0R386ZS3W

URI	`m2://inv/E0R386ZS3W`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Surface area 0S29Y4ZW0Y

Mentions

wikidata: Wikidata Q1379273, surface area (unknown). Also MathWorld SurfaceArea
wikipedia: Wikipedia Surface area, Surface area (definition). Also Wikidata Q1379273

History

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

From Linear temporal logic formula E0R7TM57N7

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

Mentions

wikipedia: Wikipedia Büchi automaton#HYIQ, From Linear temporal logic formula (statement)

History

2026-11-02: add by m2/dev

minimal model E0RE638SGC

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

Mentions

wikidata: Wikidata Q15427593, minimal model (unknown). Also nLab minimal model CFT

History

2026-10-26: add by m2/dev

Conics intersection E0RGNJH8JP

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

Mentions

wikipedia: Wikipedia Conic section#XJBN, Conics intersection (unknown)

History

2026-11-02: add by m2/dev

Andrew Goldstein E0RNTXRQ7P

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MVYQ, Andrew Goldstein (unknown)

History

2026-11-02: add by m2/dev

Nivenmorphic number E0RPWZWE2T

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

Mentions

wikipedia: Wikipedia Harshad number#3ZVA, Nivenmorphic number (unknown)

History

2026-11-02: add by m2/dev

Foliated incidence datum E0RYE6F9ZD

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

Mentions

arxiv: arXiv 2501.09848#OY0P, Foliated incidence datum (definition). In HF7YNMW39N/e1, definition 2.1

History

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

E0S00GETN0 E0S00GETN0

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

History

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

E0S5VWVJEM E0S5VWVJEM

URI	`m2://inv/E0S5VWVJEM`
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 2610.07092#33TY (statement). In JWNYJVH8XG/e1, lemma 5.2

History

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

E0S60GXYRH E0S60GXYRH

URI	`m2://inv/E0S60GXYRH`
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.37197#U2AO (statement). In 98ESNNP0CC/e1, proposition 2.1

History

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

invariant factor E0SC6RATMA

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

Mentions

wikidata: Wikidata Q6059514, invariant factor (concept). Also MathWorld InvariantFactor
wikipedia: Wikipedia Invariant factor, Invariant factor (definition). Also Wikidata Q6059514

History

2026-10-26: add by m2/dev

Related results E0SE924T45

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

Mentions

wikipedia: Wikipedia Order convergence#7F4B, Related results (statement)

History

2026-11-02: add by m2/dev

compactness theorem E0SP64C2KA

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

Mentions

wikipedia: Wikipedia Glossary of logic#MC4H, compactness theorem (definition)

History

2026-11-02: add by m2/dev

E0SPQJ8TCR E0SPQJ8TCR

URI	`m2://inv/E0SPQJ8TCR`
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.01273#CQGP (statement). In RAT41DDR51/e1, proposition 2.6

History

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

E0STFY9BX3 E0STFY9BX3

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

Mentions

arxiv: arXiv 2609.26808#12G2 (statement)

History

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

Giovanni Antonio Magini E0TAK938SM

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#Q6VF, Giovanni Antonio Magini (unknown)

History

2026-11-02: add by m2/dev

E0TDM8SWTD E0TDM8SWTD

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#problem-4 (exercise). In P1C114YBXG, problem, section J

History

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

E0TDT5C8SN E0TDT5C8SN

URI	`m2://inv/E0TDT5C8SN`
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 0810.0962#UTBS (definition). In 80YMRN5KS9/e1, definition 12

History

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

Hodograph E0TF1B947F

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

Mentions

wikipedia: Wikipedia Hodograph, Hodograph (definition). Also Wikidata Q1546281

History

2026-11-02: add by m2/dev

Rate parameter E0TJ0SNJQR

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

Mentions

wikipedia: Wikipedia Scale parameter#B0C8, Rate parameter (unknown)

History

2026-11-02: add by m2/dev

E0TJXNCE7S E0TJXNCE7S

URI	`m2://inv/E0TJXNCE7S`
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 2609.37093#WRZQ (statement). In GA6QH32CJQ/e1, theorem 34

History

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

Measurement problem E0TMM7M65J

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

Mentions

wikipedia: Wikipedia Measurement problem, Measurement problem (problem). Also Wikidata Q2590381

History

2026-11-02: add by m2/dev

Standard-range bound E0V12CCNFH

URI	`m2://inv/E0V12CCNFH`
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.33365#T9F2, Standard-range bound (statement). In MCXCMR7V0T/e1, corollary 3

History

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

Remark E0V2MTE5H4

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

Mentions

wikipedia: Wikipedia Red–black tree#0BV5, Remark (unknown)

History

2026-11-02: add by m2/dev

E0V3YQFR3T E0V3YQFR3T

URI	`m2://inv/E0V3YQFR3T`
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.26386#4R79 (statement)

History

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

E0VC6GNHXE E0VC6GNHXE

URI	`m2://inv/E0VC6GNHXE`
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#CAGV (statement). In S284XRA4WK/e1, lemma G.2

History

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

Tautology E0VDEEYWHT

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#UOLG, Tautology (definition)

History

2026-11-02: add by m2/dev

Edward Felten E0VJE6PTR1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#E7Q9, Edward Felten (unknown)

History

2026-11-02: add by m2/dev

Conger's Kappa E0VQ38XFX3

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#L0AQ, Conger's Kappa (unknown)

History

2026-11-02: add by m2/dev

Examples E0VSAQ9KCC

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

Mentions

wikipedia: Wikipedia Schröder number#IGVH, Examples (example)

History

2026-11-02: add by m2/dev

E0VV33TJ4T E0VV33TJ4T

URI	`m2://inv/E0VV33TJ4T`
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.21305#KCKH (statement)

History

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

prolate hypocycloid E0VVS6W3V6

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

Mentions

wikidata: Wikidata Q78154038, prolate hypocycloid (unknown). Also MathWorld ProlateHypocycloid

History

2026-10-26: add by m2/dev

E0VYSXYMEJ E0VYSXYMEJ

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

Mentions

austin_ula: austin_ula src/section4-5.xml#activity-3 (exercise). In 649HGZKE96, activity, section 4.5.3

History

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

E0W72N4QN1 E0W72N4QN1

URI	`m2://inv/E0W72N4QN1`
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.28323#S37U (statement)

History

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

density E0W820JSC9

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

Mentions

wikidata: Wikidata Q1209467, density (unknown). Also nLab density
wikipedia: Wikipedia Density on a manifold, Density on a manifold (definition). Also Wikidata Q1209467

History

2026-10-26: add by m2/dev

E0WD370H1Y E0WD370H1Y

URI	`m2://inv/E0WD370H1Y`
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.16081#462C (statement). In RS6WWZKMT6/e1, lemma 2.5

History

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

4-momentum operator E0WKMJF0HW

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

Mentions

wikipedia: Wikipedia Momentum operator#DLLH, 4-momentum operator (unknown)

History

2026-11-02: add by m2/dev

Exclusion of the radial endpoint E0WKVPA8WP

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

Mentions

arxiv: arXiv 2609.25762#CFOE, Exclusion of the radial endpoint (statement)

History

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

lunar month E0WRPHEBRX

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

Mentions

wikidata: Wikidata Q591259, lunar month (definition). Also ProofWiki Definition:Time/Unit/Lunar_Month

History

2026-10-26: add by m2/dev

Fekete problem E0X1XVT6HM

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

Mentions

wikipedia: Wikipedia Fekete problem, Fekete problem (problem). Also Wikidata Q5441610

History

2026-11-02: add by m2/dev

Deviance information criterion E0X26PXH97

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

Mentions

wikipedia: Wikipedia List of statistics articles#R3P7, Deviance information criterion (statement)

History

2026-11-02: add by m2/dev

Doubling space E0X67R1B0G

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

Mentions

wikipedia: Wikipedia Doubling space, Doubling space (definition). Also Wikidata Q5300173

History

2026-11-02: add by m2/dev

Definition E0X7X8GK19

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

Mentions

wikipedia: Wikipedia Mylar balloon (geometry)#T995, Definition (definition)

History

2026-11-02: add by m2/dev

Syksy Räsänen E0XFDDRK9X

URI	`m2://inv/E0XFDDRK9X`
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 Q16547243, Syksy Räsänen (unknown). Also nLab Syksy Räsänen

History

2026-10-26: add by m2/dev

E0XHS1EF97 E0XHS1EF97

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

Mentions

arxiv: arXiv 2609.33015#DRYM (example). In W6Y6NPK648/e1, example 3.2

History

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

Sparse matrix E0XN232RSY

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

Mentions

wikipedia: Wikipedia List of algorithms#48G4, Sparse matrix (definition)

History

2026-11-02: add by m2/dev

Recursion formula E0XS2CR84Z

URI	`m2://inv/E0XS2CR84Z`
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.25703#Q0LP, Recursion formula (statement)

History

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

Convex analysis E0XS5SDQ3P

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#QMR7, Convex analysis (definition)

History

2026-11-02: add by m2/dev

E0XY189GD5 E0XY189GD5

URI	`m2://inv/E0XY189GD5`
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.36827#MSKN (statement). In VSHAQTB2CA/e1, theorem 7.8

History

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

Multiplicities of entries in Pascal's triangle E0XZG43H70

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#PYU2, Multiplicities of entries in Pascal's triangle (conjecture)

History

2026-11-02: add by m2/dev

Definition E0XZY7SD06

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

Mentions

wikipedia: Wikipedia Freyd cover#OM28, Definition (definition)

History

2026-11-02: add by m2/dev

358 (number) E0Y2EW3213

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

Mentions

wikipedia: Wikipedia 300 (number)#NJN3, 358 (number) (unknown)

History

2026-11-02: add by m2/dev

An abstract approximation theorem E0Y5S37P9P

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

Mentions

wikipedia: Wikipedia Stein's method#1T6F, An abstract approximation theorem (statement)

History

2026-11-02: add by m2/dev

E0YJECMHBX E0YJECMHBX

URI	`m2://inv/E0YJECMHBX`
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.37580#QJJN (statement). In WJQQBTDARA/e1, theorem 2

History

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

Linearity of differentiation E0YN0GKCXM

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

Mentions

wikipedia: Wikipedia List of real analysis topics#4MZ3, Linearity of differentiation (definition)

History

2026-11-02: add by m2/dev

Topologically transverse fixed point E0YQNVZPMC

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

Mentions

arxiv: arXiv 2610.15686#FQ6L, Topologically transverse fixed point (definition). In 4HCK722M2G/e1, definition 5.1

History

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

Theil index E0YW6M3NVS

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

Mentions

wikipedia: Wikipedia Theil index, Theil index (definition). Also Wikidata Q1655361

History

2026-11-02: add by m2/dev

E0Z6AM9T7X E0Z6AM9T7X

URI	`m2://inv/E0Z6AM9T7X`
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#TF1G (statement). In AYG8HYGW6V/e1, lemma A.11

History

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

Properties E0Z7A57YGR

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

Mentions

wikipedia: Wikipedia Symmetric decreasing rearrangement#P62V, Properties (statement)

History

2026-11-02: add by m2/dev

Eddington number E0Z7CRACK7

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

Mentions

wikipedia: Wikipedia List of numbers#5IWX, Eddington number (definition)

History

2026-11-02: add by m2/dev

E0ZBVQB21J E0ZBVQB21J

URI	`m2://inv/E0ZBVQB21J`
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 0904.0817#77D3 (statement). In 569FZDANV3/e1, lemma 2.8

History

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

Vincent average E0ZDEWCC9A

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

Mentions

wikipedia: Wikipedia Vincent average, Vincent average (definition). Also Wikidata Q18359310

History

2026-11-02: add by m2/dev

E0ZDFMZ06V E0ZDFMZ06V

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#prop:mslimitisunique (statement). In E59CDZA4DP, prop, section 4.5.5

History

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

Realizing the maximizing checkpoint set E0ZGWK0FT5

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

Mentions

arxiv: arXiv 2609.26873#4DG4, Realizing the maximizing checkpoint set (statement)

History

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

Journal of Time Series Analysis E0ZPCQH4EX

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

Mentions

wikipedia: Wikipedia List of statistics journals#L32X, Journal of Time Series Analysis (unknown)

History

2026-11-02: add by m2/dev

E0ZXRGK74H E0ZXRGK74H

URI	`m2://inv/E0ZXRGK74H`
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.39269#LBAF (statement). In HS4X20TX33/e1, lemma 0.40

History

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

Definition E0ZYHCGQX5

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

Mentions

wikipedia: Wikipedia Causal model#O34W, Definition (definition)

History

2026-11-02: add by m2/dev