Inventory rows XZ

George Kingsley Zipf XZ02KY8MD1

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

Mentions

wikipedia: Wikipedia George Kingsley Zipf, George Kingsley Zipf (topic). Also Wikidata Q548244

History

2026-11-02: add by m2/dev

XZ03S8EFV6 XZ03S8EFV6

URI	`m2://inv/XZ03S8EFV6`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-XX, 65-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.13629#HGCX (statement). In PQNYA0C510/e1, proposition 2.6

History

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

Zhiliang Ying XZ0A14PDFY

URI	`m2://inv/XZ0A14PDFY`
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#H24X, Zhiliang Ying (unknown)

History

2026-11-02: add by m2/dev

XZ0FCZGJ53 XZ0FCZGJ53

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

Mentions

arxiv: arXiv 2610.07001#Q8H5 (statement). In 5DFTVG7FFF/e1, lemma 2.17

History

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

XZ0G3TQ67K XZ0G3TQ67K

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

Mentions

arxiv: arXiv 2609.28295#NOXX (statement)

History

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

Roe solver XZ0G8M1WCW

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#RU3G, Roe solver (definition)

History

2026-11-02: add by m2/dev

*{Proposition 2.5 XZ0MV2W1JT

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

Mentions

arxiv: arXiv 2411.17227#126C, *{Proposition 2.5 (statement). In DDNP38CHQJ/e1, proposition 2.3

History

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

Statement XZ0VC39TMV

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

Mentions

wikipedia: Wikipedia Helly's theorem#LPBI, Statement (statement)

History

2026-11-02: add by m2/dev

Bessel comparison and factorial asymptotics XZ0YC7Q1GR

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

Mentions

arxiv: arXiv 2610.00396#BHH1, Bessel comparison and factorial asymptotics (conjecture). In V13TE1RWT9/e1, conjecture 3.1

History

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

Capped coordinate-weight exponential moment XZ0Z4YD6SE

URI	`m2://inv/XZ0Z4YD6SE`
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.05498#I7ZH, Capped coordinate-weight exponential moment (statement). In TJT32RQ9GC/e1, lemma 6.10

History

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

hendecagonal number XZ13YTWNKN

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

Mentions

wikidata: Wikidata Q18450836, hendecagonal number (object). Also OEIS A051682

History

2026-10-26: add by m2/dev

Equivalent Definition XZ15T0VSA6

URI	`m2://inv/XZ15T0VSA6`
Kind	definition
Layer	research
MSC	01-XX, 05-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.28552#ALM0, Equivalent Definition (definition)

History

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

Sample (statistics) XZ18X42QAE

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

Mentions

wikipedia: Wikipedia List of statistics articles#RLRW, Sample (statistics) (definition)

History

2026-11-02: add by m2/dev

XZ1BXJW12E XZ1BXJW12E

URI	`m2://inv/XZ1BXJW12E`
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.11905#6DQX (statement). In QQFXT31CA5/e1, proposition 8.5

History

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

XZ1P7GA6HK XZ1P7GA6HK

URI	`m2://inv/XZ1P7GA6HK`
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.30732#K8FD (statement). In Q9ZPYJEHT2/e1, lemma 3.4

History

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

Dean Isaacson XZ1R17Z9QC

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

Mentions

wikipedia: Wikipedia Dean Isaacson, Dean Isaacson (topic). Also Wikidata Q102128328

History

2026-11-02: add by m2/dev

Abelian category XZ23PNWHHG

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#BU0A, Abelian category (definition)
wikipedia: Wikipedia List of algebraic topology topics#JNI3, Abelian category (definition)
wikipedia: Wikipedia List of things named after Niels Henrik Abel#64W7, Abelian category (definition)

History

2026-11-02: add by m2/dev

Max Born XZ25P7X75X

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#FOI5, Max Born (unknown)

History

2026-11-02: add by m2/dev

Example XZ2AYECRZY

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

Mentions

wikipedia: Wikipedia Dual representation#52UY, Example (example)

History

2026-11-02: add by m2/dev

XZ2HRY8VR6 XZ2HRY8VR6

URI	`m2://inv/XZ2HRY8VR6`
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.27301#GJW6 (statement)

History

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

XZ2K2H7507 XZ2K2H7507

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

Mentions

arxiv: arXiv 2610.08211#FS2M (statement). In 1QRK9HXJWT/e1, theorem 2.2

History

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

Harold Grad XZ2N8WZ4E2

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#OYSP, Harold Grad (topic)

History

2026-11-02: add by m2/dev

Definitions XZ2NQPSEWE

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

Mentions

wikipedia: Wikipedia Equaliser (mathematics)#RJSJ, Definitions (definition)

History

2026-11-02: add by m2/dev

Cholesky decomposition XZ35QFX5T8

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#G99B, Cholesky decomposition (definition)

History

2026-11-02: add by m2/dev

XZ39KPAVTP XZ39KPAVTP

URI	`m2://inv/XZ39KPAVTP`
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.24584#FZHN (statement)

History

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

Hardy–Littlewood circle method XZ3ENV4GJF

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

Mentions

wikipedia: Wikipedia List of number theory topics#2PE6, Hardy–Littlewood circle method (definition)

History

2026-11-02: add by m2/dev

Discretization invariance XZ3JHXBJCE

URI	`m2://inv/XZ3JHXBJCE`
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.35531#2Q4L, Discretization invariance (statement). In 6VBKRCMF4K/e1, corollary 2.5

History

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

XZ3VK4JD9P XZ3VK4JD9P

URI	`m2://inv/XZ3VK4JD9P`
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.04516#A36Q (definition). In GZZBR0FX50/e1, definition 2.1

History

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

Alexander Scott XZ3WCN44GA

URI	`m2://inv/XZ3WCN44GA`
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#YM9K, Alexander Scott (unknown)

History

2026-11-02: add by m2/dev

Difference subspace XZ41H5TETX

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

Mentions

arxiv: arXiv 2609.30203#RB0T, Difference subspace (definition)

History

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

Properties XZ48D6QJ69

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

Mentions

wikipedia: Wikipedia Tricolorability#VLRY, Properties (statement)

History

2026-11-02: add by m2/dev

XZ4B3K8A00 XZ4B3K8A00

URI	`m2://inv/XZ4B3K8A00`
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#2DD6 (statement). In CC6S1HVK0T/e1, lemma 3.2

History

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

\bf Existence of strong reduced echelon form XZ4BR76XAY

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

Mentions

arxiv: arXiv 2609.37893#BMS9, \bf Existence of strong reduced echelon form (statement). In 8H0KHK7AMN/e1, theorem 1.4

History

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

XZ4FM45BGC XZ4FM45BGC

URI	`m2://inv/XZ4FM45BGC`
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.00775#O95X (statement). In WVHA7H05QC/e1, theorem 2.12

History

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

Uniform $\mathfrak{S}_4$ Witten--Laplacian multiplier XZ4M39SN4B

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

Mentions

arxiv: arXiv 2610.06308#LRWA, Uniform $\mathfrak{S}_4$ Witten--Laplacian multiplier (statement). In HTWSDDAWGS/e1, lemma A.9

History

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

XZ521D8V1Y XZ521D8V1Y

URI	`m2://inv/XZ521D8V1Y`
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.34852#GIX8 (statement). In TZXEMCBK5V/e1, proposition 7.4

History

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

XZ53DJZNGR XZ53DJZNGR

URI	`m2://inv/XZ53DJZNGR`
Kind	definition
Layer	research
MSC	18-XX, 49-XX, 51-XX, 52-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 1904.08413#I1AS (definition). In X88HPQ0W8C/e1, definition 2.3

History

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

XZ578DFH5Z XZ578DFH5Z

URI	`m2://inv/XZ578DFH5Z`
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.19285#1TZI (statement). In 6DJR9DKY5W/e1, lemma 4.8

History

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

No light segments for the Dirichlet problem XZ5A0DZ54S

URI	`m2://inv/XZ5A0DZ54S`
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#C2FF, No light segments for the Dirichlet problem (statement). In 9JHMTYGWFQ/e1, theorem 1.5

History

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

XZ5AD423M4 XZ5AD423M4

URI	`m2://inv/XZ5AD423M4`
Kind	definition
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 2610.11478#2TON (definition). In R81S9R1XNR/e1, definition 2.4

History

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

XZ5FK9FW2Z XZ5FK9FW2Z

URI	`m2://inv/XZ5FK9FW2Z`
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 2610.01498#W2W0 (statement). In 75GDSC8460/e1, proposition 4.3

History

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

Examples XZ5G9N6SGZ

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

Mentions

wikipedia: Wikipedia Skew partition#ICHX, Examples (example)

History

2026-11-02: add by m2/dev

Statement of the conjecture XZ5K3RSY4J

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

Mentions

wikipedia: Wikipedia Dinitz–Garg–Goemans conjecture#WCWZ, Statement of the conjecture (statement)

History

2026-11-02: add by m2/dev

XZ5KN8NZDJ XZ5KN8NZDJ

URI	`m2://inv/XZ5KN8NZDJ`
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.15720#GBKM (statement). In VNN52G3BRE/e1, theorem 1.2

History

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

Goodstein's theorem XZ5PH9WKQZ

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

Mentions

wikipedia: Wikipedia List of theorems#KPHC, Goodstein's theorem (statement)

History

2026-11-02: add by m2/dev

Cyclic polytope XZ5SM4Q0YA

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

Mentions

wikipedia: Wikipedia Cyclic polytope, Cyclic polytope (definition). Also Wikidata Q245469

History

2026-11-02: add by m2/dev

XZ5WFK4X42 XZ5WFK4X42

URI	`m2://inv/XZ5WFK4X42`
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.36818#HJRL (example). In SK6AP2B9JH/e1, example 5.9

History

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

The (10^n)-th odd-digit number. XZ5YG0JBM4

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

Mentions

wikidata: Wikidata Q100194423, The (10^n)-th odd-digit number. (object). Also OEIS A075879

History

2026-10-26: add by m2/dev

XZ64M5XW65 XZ64M5XW65

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

Mentions

arxiv: arXiv 2609.34570#XNOC (example). In EVFX1R7ZDD/e1, example 10

History

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

XZ671RJ0TZ XZ671RJ0TZ

URI	`m2://inv/XZ671RJ0TZ`
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.17677#0BE6 (statement). In 5E9G06XJKC/e1, lemma C.4

History

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

anticevian triangle XZ68DAA486

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

Mentions

wikidata: Wikidata Q13429859, anticevian triangle (unknown). Also MathWorld AnticevianTriangle

History

2026-10-26: add by m2/dev

XZ69HS53MZ XZ69HS53MZ

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

Mentions

arxiv: arXiv 2610.10937#SZHC (example). In 6VVK3YTABP/e1, example 8.5

History

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

Variance and the ordinary first-order lower bound XZ6K4CP1F7

URI	`m2://inv/XZ6K4CP1F7`
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.01843#BECT, Variance and the ordinary first-order lower bound (statement). In EDG9ZFDSWK/e1, lemma B.16

History

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

XZ6RY8TG2M XZ6RY8TG2M

URI	`m2://inv/XZ6RY8TG2M`
Kind	statement
Layer	research
MSC	05-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.10559#17YQ (statement). In WEP0PNJW09/e1, theorem 2.1

History

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

Example XZ6SSE2Z8D

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

Mentions

wikipedia: Wikipedia Belief revision#XUN7, Example (example)

History

2026-11-02: add by m2/dev

XZ6W8GG2X0 XZ6W8GG2X0

URI	`m2://inv/XZ6W8GG2X0`
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 2603.29838#O14Q (statement). In KP0X1RKKKB/e1, theorem 4.2

History

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

XZ73B3W4Y2 XZ73B3W4Y2

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

Mentions

arxiv: arXiv 2609.30637#FUHR (statement). In 6G1KBA0SXV/e1, proposition 4.21

History

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

Charles Hayes XZ7HJAP1ZB

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

Mentions

wikipedia: Wikipedia Charles Hayes (mathematician), Charles Hayes (topic). Also Wikidata Q5078861

History

2026-11-02: add by m2/dev

At most one prime is powerfully bad XZ7HTX82MT

URI	`m2://inv/XZ7HTX82MT`
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.08424#GJX1, At most one prime is powerfully bad (statement). In BVD2HAAKD5/e1, theorem 1.8

History

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

Statistical model validation XZ7MJ1WHCW

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

Mentions

wikipedia: Wikipedia List of statistics articles#PHM0, Statistical model validation (definition)

History

2026-11-02: add by m2/dev

XZ7NKAG817 XZ7NKAG817

URI	`m2://inv/XZ7NKAG817`
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 2609.32207#0OVO (definition). In R94G9XD5AC/e1, definition 1.1

History

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

XZ7PDK0VXZ XZ7PDK0VXZ

URI	`m2://inv/XZ7PDK0VXZ`
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 2511.05069#HGNM (statement). In SFQBJBTW8K/e1, proposition 4.2

History

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

XZ805THYSY XZ805THYSY

URI	`m2://inv/XZ805THYSY`
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.14450#4EDW (statement). In ZHTGQT07PE/e1, theorem 2.13

History

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

Isolating seeded interval XZ83HAAYXS

URI	`m2://inv/XZ83HAAYXS`
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.36594#6Z26, Isolating seeded interval (statement). In 8JDQ9FWFRK/e1, lemma E.5

History

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

XZ89ZW5YNZ XZ89ZW5YNZ

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

Mentions

arxiv: arXiv 2609.21670#DJL9 (statement)

History

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

Zilber–Pink conjecture XZ8BEE4D52

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#T30R, Zilber–Pink conjecture (statement)

History

2026-11-02: add by m2/dev

XZ8M3R3Y4R XZ8M3R3Y4R

URI	`m2://inv/XZ8M3R3Y4R`
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.20588#9GBH (statement)

History

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

Muller's ratchet XZ8TMZ0C7T

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

Mentions

wikipedia: Wikipedia Muller's ratchet, Muller's ratchet (definition). Also Wikidata Q1154978

History

2026-11-02: add by m2/dev

XZ8VK2T984 XZ8VK2T984

URI	`m2://inv/XZ8VK2T984`
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 2104.05191#SFDQ (statement). In CCNH3FK8YZ/e1, lemma 4.3

History

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

elementary XZ8ZJ11S4E

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

Mentions

wikipedia: Wikipedia Glossary of set theory#71EE, elementary (definition)

History

2026-11-02: add by m2/dev

XZ90Y2H03C XZ90Y2H03C

URI	`m2://inv/XZ90Y2H03C`
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.20190#55YV (statement)

History

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

Risk inclination model XZ942M8X7X

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

Mentions

wikipedia: Wikipedia Risk inclination model, Risk inclination model (definition). Also Wikidata Q7336240

History

2026-11-02: add by m2/dev

Fitting lemma XZ95Z3YM3P

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

Mentions

wikipedia: Wikipedia Fitting lemma, Fitting lemma (statement). Also Wikidata Q3229338

History

2026-11-02: add by m2/dev

XZ97NHEEJ2 XZ97NHEEJ2

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

Mentions

arxiv: arXiv 2609.24007#I0I6 (statement)

History

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

Local flatness XZ9BEEHPF8

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

Mentions

wikipedia: Wikipedia Local flatness, Local flatness (definition). Also Wikidata Q6664369

History

2026-11-02: add by m2/dev

XZ9C1W1DC3 XZ9C1W1DC3

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

Mentions

arxiv: arXiv 2610.13888#23Z9 (problem). In XJWYBPS14M/e1, problem 1.1

History

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

Properties XZ9CAR4TGS

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

Mentions

wikipedia: Wikipedia Queen's graph#J19Q, Properties (statement)

History

2026-11-02: add by m2/dev

Inradius theorems XZ9S1CP07J

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

Mentions

wikipedia: Wikipedia Altitude (triangle)#PCZC, Inradius theorems (statement)

History

2026-11-02: add by m2/dev

Upper topology XZ9VPDXGJF

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

Mentions

wikipedia: Wikipedia List of order theory topics#BZWP, Upper topology (definition)
wikipedia: Wikipedia List of general topology topics#BH2S, Upper topology (definition)

History

2026-11-02: add by m2/dev

XZ9Y4EM2GM XZ9Y4EM2GM

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

Mentions

arxiv: arXiv 2610.08385#2PQV (definition). In D979582ST2/e1, definition 1

History

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

The Secrets of Triangles XZA5S2J5SV

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

Mentions

wikipedia: Wikipedia List of triangle topics#BWA3, The Secrets of Triangles (definition)

History

2026-11-02: add by m2/dev

Interior point XZADFR9WSE

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

Mentions

wikipedia: Wikipedia Glossary of general topology#74RW, Interior point (definition)

History

2026-11-02: add by m2/dev

The algorithm XZAFHA4GHV

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

Mentions

wikipedia: Wikipedia Neighbor joining#LGYJ, The algorithm (definition)

History

2026-11-02: add by m2/dev

XZAHD1YSK9 XZAHD1YSK9

URI	`m2://inv/XZAHD1YSK9`
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.26401#RCWO (statement)

History

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

Poincaré–Miranda theorem XZAHY5QJX3

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#R428, Poincaré–Miranda theorem (statement)

History

2026-11-02: add by m2/dev

XZAMRAWFGT XZAMRAWFGT

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

Mentions

arxiv: arXiv 2609.32860#LPGN (statement). In H71AJ341B3/e1, proposition 6.1

History

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

Free magma XZAMVJ1REZ

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

Mentions

wikipedia: Wikipedia Magma (algebra)#HKNX, Free magma (unknown)

History

2026-11-02: add by m2/dev

XZB5042Z6R XZB5042Z6R

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

Mentions

wikipedia: Wikipedia Hartmanis–Stearns conjecture#QPA2 (problem)

History

2026-11-02: add by m2/dev

XZB6CE60T3 XZB6CE60T3

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

Mentions

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

History

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

XZBEN895C0 XZBEN895C0

URI	`m2://inv/XZBEN895C0`
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 2506.18813#XGY8 (statement). In J2QAPQ7JW3/e1, theorem 2

History

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

Initial segment XZBJH22B18

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

Mentions

wikipedia: Wikipedia Well-order#BX1J, Initial segment (unknown)

History

2026-11-02: add by m2/dev

Econometric model XZBNPPVNFE

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

Mentions

wikipedia: Wikipedia List of statistics articles#DB6H, Econometric model (definition)

History

2026-11-02: add by m2/dev

XZBPB9N1EK XZBPB9N1EK

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#mv:example:planenull (example). In E59CDZA4DP, example, section 5.3.2

History

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

K. S. S. Nambooripad XZBRVFCYJQ

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

Mentions

wikipedia: Wikipedia K. S. S. Nambooripad, K. S. S. Nambooripad (topic). Also Wikidata Q6323973

History

2026-11-02: add by m2/dev

Rhombicosidodecahedral graph XZBRWA99W1

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

Mentions

wikipedia: Wikipedia Rhombicosidodecahedron#QXFF, Rhombicosidodecahedral graph (unknown)

History

2026-11-02: add by m2/dev

XZCARF570K XZCARF570K

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-18 (exercise). In P1C114YBXG, exercise, section 1.1

History

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

Richard Swan XZCMC522R6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#07LA, Richard Swan (topic)

History

2026-11-02: add by m2/dev

Eigenform XZCQ5V4B3S

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

Mentions

wikipedia: Wikipedia Eigenform, Eigenform (definition). Also Wikidata Q137603124

History

2026-11-02: add by m2/dev

Example XZCQ65SVWZ

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

Mentions

wikipedia: Wikipedia J-structure#HINX, Example (example)

History

2026-11-02: add by m2/dev

Ancient Roman mathematics XZD00W46KV

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

Mentions

wikipedia: Wikipedia History of mathematics#161R, Ancient Roman mathematics (unknown)

History

2026-11-02: add by m2/dev

inverse hyperbolic tangent XZD0F29VKR

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

Mentions

wikidata: Wikidata Q1565608, inverse hyperbolic tangent (definition). Also MathWorld InverseHyperbolicTangent, ProofWiki Definition:Area_Hyperbolic_Tangent

History

2026-10-26: add by m2/dev

XZD6QX7MYV XZD6QX7MYV

URI	`m2://inv/XZD6QX7MYV`
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.20690#M1SC (statement)

History

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

XZD8NMJ12V XZD8NMJ12V

URI	`m2://inv/XZD8NMJ12V`
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.16731#DL6A (statement). In D68KBZQ4Q6/e1, lemma 3.27

History

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

Uniform oracle equivalence XZDCX75654

URI	`m2://inv/XZDCX75654`
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.36594#8XLE, Uniform oracle equivalence (statement). In 8JDQ9FWFRK/e1, lemma D.1

History

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

XZDEVCXNWJ XZDEVCXNWJ

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

Mentions

arxiv: arXiv 2609.20894#UOHL (definition)

History

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

Spectral dispersion implies a transition XZDF6W0NBA

URI	`m2://inv/XZDF6W0NBA`
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#UKP1, Spectral dispersion implies a transition (statement). In TTEAQA1XXR/e1, corollary G.8

History

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

XZDQN9SHQE XZDQN9SHQE

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

Mentions

arxiv: arXiv 2610.03298#IKIX (statement). In 9SBZP218SM/e1, theorem 9.2

History

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

Expansion XZDX63150S

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

Mentions

arxiv: arXiv 2610.13972#TUAO, Expansion (problem). In S1KHNS8XQM/e1, problem 1.2

History

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

Carl M. Bender XZDXZ3RJEE

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

Mentions

wikipedia: Wikipedia Carl M. Bender, Carl M. Bender (topic). Also Wikidata Q1039611

History

2026-11-02: add by m2/dev

Line clipping XZE10TW8CP

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

Mentions

wikipedia: Wikipedia Line clipping, Line clipping (definition). Also Wikidata Q6553234

History

2026-11-02: add by m2/dev

Beyer Professor of Applied Mathematics XZE12RS9HE

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

Mentions

wikipedia: Wikipedia Beyer Professor of Applied Mathematics, Beyer Professor of Applied Mathematics (definition). Also Wikidata Q4899853

History

2026-11-02: add by m2/dev

Bloch's theorem XZE17XCP80

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

Mentions

wikipedia: Wikipedia Bloch's theorem#44U9, Bloch's theorem (statement)

History

2026-11-02: add by m2/dev

Cremona group XZE3BW3G7H

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

Mentions

wikidata: Wikidata Q5184105, Cremona group (concept). Also EoM Cremona_group
wikipedia: Wikipedia Cremona group, Cremona group (definition). Also Wikidata Q5184105

History

2026-10-26: add by m2/dev

Stone–Weierstrass theorem (quaternion numbers) XZE5SASXJK

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

Mentions

wikipedia: Wikipedia Stone–Weierstrass theorem#NMUB, Stone–Weierstrass theorem (quaternion numbers) (statement)

History

2026-11-02: add by m2/dev

Environment for DeveLoping KDD-Applications Supported by Index-Structures XZE9P0GYR4

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

Mentions

wikipedia: Wikipedia List of statistical software#OWUU, Environment for DeveLoping KDD-Applications Supported by Index-Structures (unknown)

History

2026-11-02: add by m2/dev

Christoffel transformation associated with an upper cyclic factor XZEM96TC0X

URI	`m2://inv/XZEM96TC0X`
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#FOGO, Christoffel transformation associated with an upper cyclic factor (statement)

History

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

Model metric properties XZEN3TY83A

URI	`m2://inv/XZEN3TY83A`
Kind	statement
Layer	research
MSC	14-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.15926#8LOO, Model metric properties (statement). In G0J92BSX4A/e1, lemma 4.1

History

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

Standard Multivariate Normal Distribution XZER573HXF

URI	`m2://inv/XZER573HXF`
Kind	example
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.16883#EVWH, Standard Multivariate Normal Distribution (example). In TYS9N30M63/e1, example 1

History

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

XZER8PSPBD XZER8PSPBD

URI	`m2://inv/XZER8PSPBD`
Kind	statement
Layer	research
MSC	35-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.11968#UCN3 (statement). In X6E7P2ACAS/e1, lemma 4.1

History

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

Ultimatum game XZEV5X8963

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

Mentions

wikipedia: Wikipedia Ultimatum game, Ultimatum game (definition). Also Wikidata Q2295916

History

2026-11-02: add by m2/dev

XZEWW9TE33 XZEWW9TE33

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

Mentions

arxiv: arXiv 2609.24041#7B2Y (statement)

History

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

Horseshoe lemma XZF651NFGW

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

Mentions

wikipedia: Wikipedia List of lemmas#5HUI, Horseshoe lemma (statement)

History

2026-11-02: add by m2/dev

No escape XZFEF718SR

URI	`m2://inv/XZFEF718SR`
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.14988#J6IR, No escape (statement). In B29M4E6KGC/e1, proposition H.1

History

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

equilateral triangle XZFHK0VKBG

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

Mentions

wikidata: Wikidata Q157002, equilateral triangle (unknown). Also MathWorld EquilateralTriangle
wikipedia: Wikipedia Equilateral triangle, Equilateral triangle (definition). Also Wikidata Q157002

History

2026-10-26: add by m2/dev

XZFS9RTQQA XZFS9RTQQA

URI	`m2://inv/XZFS9RTQQA`
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.24463#IH9I (statement)

History

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

Taylor's theorem XZFTG769VT

URI	`m2://inv/XZFTG769VT`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Taylor's theorem 03QHBVW4TT

Mentions

mathlib_100: mathlib_100 35, Taylor’s Theorem (statement). Also Mathlib taylor_mean_remainder_lagrange, Mathlib taylor_mean_remainder_cauchy, Mathlib map_add_eq_sum_add_integral_iteratedFDeriv
mathlib_1000: mathlib_1000 Q1137206, Taylor's theorem (statement). Also Mathlib taylor_mean_remainder_lagrange, Mathlib taylor_mean_remainder_cauchy, Wikidata Q1137206
mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > Taylor's theorem with integral form for remainder, Taylor's theorem with integral form for remainder (unknown). Also Mathlib map_add_eq_sum_add_integral_iteratedFDeriv
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor's theorem with Lagrange form for remainder, Taylor's theorem with Lagrange form for remainder (unknown). Also Mathlib taylor_mean_remainder_lagrange
thousand_plus: thousand_plus Q1137206, Taylor's theorem (statement). Also Mathlib taylor_mean_remainder_lagrange, Mathlib taylor_mean_remainder_cauchy, Wikidata Q1137206, Wikipedia Taylor's theorem
wikidata: Wikidata Q1137206, Taylor's theorem (statement). Also MathWorld TaylorsTheorem
wikipedia: Wikipedia Taylor's theorem, Taylor's theorem (statement). Also Wikidata Q1137206

History

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

XZFX03T843 XZFX03T843

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-6 (exercise). In PKGMM3P5QY, prob, section 83.11

History

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

Jon A. Wellner XZG6TGJ3Q3

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#1EV7, Jon A. Wellner (topic)

History

2026-11-02: add by m2/dev

strong inductive argument XZGA0FYQ3J

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

Mentions

wikipedia: Wikipedia Glossary of logic#5OXS, strong inductive argument (definition)

History

2026-11-02: add by m2/dev

Examples XZGE2KMZPB

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

Mentions

wikipedia: Wikipedia FK-space#KZZO, Examples (example)

History

2026-11-02: add by m2/dev

XZGN6W442R XZGN6W442R

URI	`m2://inv/XZGN6W442R`
Kind	statement
Layer	research
MSC	05-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.33512#24ZX (statement). In WYHZMYZT31/e1, proposition 4.5

History

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

XZGS2CAG0R XZGS2CAG0R

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

Mentions

arxiv: arXiv 2610.13670#J0HD (statement). In 4PGTZ19B26/e1, lemma 7.2

History

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

XZGV7ZVQN4 XZGV7ZVQN4

URI	`m2://inv/XZGV7ZVQN4`
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.06764#OLUB (statement). In MSWV3MJ5CE/e1, proposition 2.10

History

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

Alfonso Romero XZGVWM3CCK

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#S4L8, Alfonso Romero (unknown)

History

2026-11-02: add by m2/dev

Gosset graph XZGX5B88JP

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

Mentions

wikidata: Wikidata Q3115490, Gosset graph (unknown). Also House of Graphs 1114, MathWorld GossetGraph

History

2026-10-26: add by m2/dev

Convergence of the idealized greedy procedures XZGZQMGMTS

URI	`m2://inv/XZGZQMGMTS`
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.12017#HQHV, Convergence of the idealized greedy procedures (statement). In WW04MP0NAZ/e1, corollary 4.16

History

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

Polygonal chain XZH1YR7VAG

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

Mentions

wikipedia: Wikipedia Polygonal chain, Polygonal chain (definition). Also Wikidata Q633674

History

2026-11-02: add by m2/dev

\bf Overlap gap property -- planted model XZH23PFJCX

URI	`m2://inv/XZH23PFJCX`
Kind	definition
Layer	research
MSC	05-XX, 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 2605.10911#YLH0, \bf Overlap gap property -- planted model (definition). In Y23VR7N90M/e1, definition 1

History

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

Prolate spheroidal wave function XZH3M8MEKH

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

Mentions

wikipedia: Wikipedia Prolate spheroidal wave function, Prolate spheroidal wave function (definition). Also Wikidata Q7249549

History

2026-11-02: add by m2/dev

cylinder of revolution XZH5MMN9FF

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

Mentions

wikipedia: Wikipedia Cylinder#786T, cylinder of revolution (definition)
wikipedia: Wikipedia Cylinder#Z0MY, axis (definition)

History

2026-11-02: add by m2/dev

Zhang Qiujian XZH80N1P1C

URI	`m2://inv/XZH80N1P1C`
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 Q197273, Zhang Qiujian (unknown). Also ProofWiki Mathematician:Zhang_Qiujian

History

2026-10-26: add by m2/dev

XZH8DY308D XZH8DY308D

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

Mentions

arxiv: arXiv 2610.07909#PNX7 (statement). In 6KST0WX37C/e1, theorem 1.2

History

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

Proposition XZH9WTBTGP

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

Mentions

wikipedia: Wikipedia Hessian form of an elliptic curve#HQMS, Proposition (statement)

History

2026-11-02: add by m2/dev

XZHGF0AHXN XZHGF0AHXN

URI	`m2://inv/XZHGF0AHXN`
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#DIPU (statement). In SVJYA0171G/e1, lemma 6.12

History

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

Haroutune Mugurditch Dadourian XZHGM1J76H

URI	`m2://inv/XZHGM1J76H`
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#ZZI7, Haroutune Mugurditch Dadourian (unknown)

History

2026-11-02: add by m2/dev

initial, $\sigma$-frame XZHN21XYEM

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

Mentions

hott_book: hott_book index/B.4/initial-sigma-frame, initial, $\sigma$-frame (concept). In N54F33XE07, index, section B.4

History

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

XZHSR3JKKQ XZHSR3JKKQ

URI	`m2://inv/XZHSR3JKKQ`
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.30585#KK26 (statement). In 15CVBWJDNQ/e1, lemma 3.5

History

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

Thomas Lumsden XZHVMWAZCR

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

Mentions

wikipedia: Wikipedia Thomas Lumsden, Thomas Lumsden (topic). Also Wikidata Q37735562

History

2026-11-02: add by m2/dev

XZHXMCNZTJ XZHXMCNZTJ

URI	`m2://inv/XZHXMCNZTJ`
Kind	example
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.27974#84WA (example)

History

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

XZHZNNNBN3 XZHZNNNBN3

URI	`m2://inv/XZHZNNNBN3`
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.17871#7UAI (statement). In H17E7PBG1M/e1, lemma 2

History

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

Generalizations XZJ47HASQ2

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

Mentions

wikipedia: Wikipedia Stirling numbers of the first kind#8UIN, Generalizations (statement)

History

2026-11-02: add by m2/dev

structural rule XZJ53D1JWW

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

Mentions

wikipedia: Wikipedia Glossary of logic#1EW9, structural rule (definition)

History

2026-11-02: add by m2/dev

Kiros Berhane XZJ7BTB5WP

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

Mentions

wikipedia: Wikipedia Kiros Berhane, Kiros Berhane (topic). Also Wikidata Q90907841

History

2026-11-02: add by m2/dev

Perturbational Complexity Index XZJAPGS24X

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

Mentions

wikipedia: Wikipedia Perturbational Complexity Index, Perturbational Complexity Index (definition). Also Wikidata Q135100309

History

2026-11-02: add by m2/dev

List of self-intersecting polygons XZJD2WR41X

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

Mentions

wikipedia: Wikipedia List of self-intersecting polygons, List of self-intersecting polygons (topic). Also Wikidata Q25037154

History

2026-11-02: add by m2/dev

Construction XZJDSBNNWX

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

Mentions

wikipedia: Wikipedia Smooth completion#OAPU, Construction (definition)

History

2026-11-02: add by m2/dev

Theorem 2 XZJNMA7P85

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

Mentions

wikipedia: Wikipedia Approximate max-flow min-cut theorem#ZPGQ, Theorem 2 (statement)

History

2026-11-02: add by m2/dev

XZJWSQ7ACB XZJWSQ7ACB

URI	`m2://inv/XZJWSQ7ACB`
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.32936#5WF7 (statement). In QDBYK125AB/e1, lemma 3

History

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

Reassignment Operator XZJZ7RPPC1

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

Mentions

arxiv: arXiv 2609.31363#2IS1, Reassignment Operator (definition). In XB8NYRD86J/e1, definition D.2

History

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

XZK1E4AC4P XZK1E4AC4P

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

Mentions

arxiv: arXiv math/9602216#S9GY (example). In SD43497T8C/e1, example 1.14

History

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

Alexey Stakhov XZK7D4KD8P

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

Mentions

wikipedia: Wikipedia Alexey Stakhov, Alexey Stakhov (topic). Also Wikidata Q16105220

History

2026-11-02: add by m2/dev

Titu Andreescu XZK7WFXJ7N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0XZ7, Titu Andreescu (unknown)

History

2026-11-02: add by m2/dev

Gang Tian XZKC35S1HH

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#GQU7, Gang Tian (topic)

History

2026-11-02: add by m2/dev

XZKD9HVHCF XZKD9HVHCF

URI	`m2://inv/XZKD9HVHCF`
Kind	statement
Layer	research
MSC	30-XX, 32-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.00798#KO4E (statement). In FANG3A8NZ9/e1, proposition 4.5

History

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

XZKGKPDPBC XZKGKPDPBC

URI	`m2://inv/XZKGKPDPBC`
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.08039#3SOE (statement). In Y1K8WE4MDP/e1, lemma A.8

History

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

Conditioned Generator XZKP4W01H1

URI	`m2://inv/XZKP4W01H1`
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.24569#CSVV, Conditioned Generator (statement)

History

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

XZKSEY4V5Z XZKSEY4V5Z

URI	`m2://inv/XZKSEY4V5Z`
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 2607.00323#7A8G (statement). In BPRFEQY7W4/e1, proposition 4.2

History

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

XZKV10V97M XZKV10V97M

URI	`m2://inv/XZKV10V97M`
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.20110#WL0J (statement). In 1SAMKN4477/e1, lemma 2.5

History

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

2-comparable sets of triples XZM92Q3NV7

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

Mentions

wikipedia: Wikipedia Tripod packing#FBRY, 2-comparable sets of triples (unknown)

History

2026-11-02: add by m2/dev

Local theory XZMCE1XSGZ

URI	`m2://inv/XZMCE1XSGZ`
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#E4VL, Local theory (statement)

History

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

XZMCJ7QD6X XZMCJ7QD6X

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-50 (exercise). In E9HS8K3A52, exercise, section 7.3.4

History

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

Failure of multiplicity $1$ XZMCXG9TS7

URI	`m2://inv/XZMCXG9TS7`
Kind	example
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.07445#DPST, Failure of multiplicity $1$ (example). In F1BM3Q8125/e1, example 4.9

History

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

decomposition into sums of homogeneous polynomials XZMDHYK4PQ

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

Mentions

mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > decomposition into sums of homogeneous polynomials, decomposition into sums of homogeneous polynomials (unknown). Also Mathlib MvPolynomial.sum_homogeneousComponent

History

2026-10-26: add by m2/dev

RNS formalism XZMFBJYMP8

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

Mentions

wikipedia: Wikipedia List of string theory topics#NUXS, RNS formalism (unknown)

History

2026-11-02: add by m2/dev

Example XZMSFXQ3ZR

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

Mentions

wikipedia: Wikipedia Square root algorithms#09XU, Example (example)

History

2026-11-02: add by m2/dev

XZMSW74WW7 XZMSW74WW7

URI	`m2://inv/XZMSW74WW7`
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 2407.04161#L8VH (statement). In JBZJ7NPQ4G/e1, theorem 3.3

History

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

George Edward St. Lawrence Carson XZN4HG5890

URI	`m2://inv/XZN4HG5890`
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#XL5I, George Edward St. Lawrence Carson (unknown)

History

2026-11-02: add by m2/dev

XZN8BJ0T73 XZN8BJ0T73

URI	`m2://inv/XZN8BJ0T73`
Kind	statement
Layer	research
MSC	20-XX, 37-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 2409.00806#AQS6 (statement). In SBN06J39DG/e1, theorem 3.5

History

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

Examples XZN9XW3VNF

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

Mentions

wikipedia: Wikipedia Blinding (cryptography)#C0V3, Examples (example)

History

2026-11-02: add by m2/dev

XZNB5Z0JES XZNB5Z0JES

URI	`m2://inv/XZNB5Z0JES`
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.02042#TW0W (statement). In P3HWTYFDBX/e1, corollary 6.15

History

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

Formal statement XZNJQQ6FSN

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

Mentions

wikipedia: Wikipedia Kac's lemma#C7L0, Formal statement (statement)

History

2026-11-02: add by m2/dev

parallelism implies equal corresponding angles XZNQ3R206P

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

Mentions

wikidata: Wikidata Q2358904, parallelism implies equal corresponding angles (statement). Also ProofWiki Parallelism_implies_Equal_Corresponding_Angles

History

2026-10-26: add by m2/dev

Definition XZP7Y9HMP8

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

Mentions

wikipedia: Wikipedia Hamiltonian field theory#2CPY, Definition (definition)

History

2026-11-02: add by m2/dev

Weierstrass factorization theorem XZP89XT4VJ

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

Mentions

wikipedia: Wikipedia List of theorems#R0JX, Weierstrass factorization theorem (statement)

History

2026-11-02: add by m2/dev

XZPCJV6AB1 XZPCJV6AB1

URI	`m2://inv/XZPCJV6AB1`
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.33383#1GN3 (statement). In 8AHWRHTP5G/e1, lemma 19

History

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

Willard Van Orman Quine XZPF8YPCJY

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

Mentions

wikipedia: Wikipedia List of logicians#B7QU, Willard Van Orman Quine (topic)

History

2026-11-02: add by m2/dev

Properties XZPYXPZ78M

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

Mentions

wikipedia: Wikipedia Poisson bracket#DC6E, Properties (statement)

History

2026-11-02: add by m2/dev

XZPZENEFPH XZPZENEFPH

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

Mentions

arxiv: arXiv 2609.20018#RGX7 (statement)

History

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

Gap of Unary Clock Dissipator XZQ6FJ0CFQ

URI	`m2://inv/XZQ6FJ0CFQ`
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#1SWZ, Gap of Unary Clock Dissipator (statement)

History

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

XZQ8B3M01B XZQ8B3M01B

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

Mentions

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

History

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

Burks, A. W. XZQ9AAG0WP

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

Mentions

wikipedia: Wikipedia List of scientific publications by John von Neumann#D6GI, Burks, A. W. (topic)

History

2026-11-02: add by m2/dev

Howland will forgery trial XZQ9BGKY11

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

Mentions

wikipedia: Wikipedia Howland will forgery trial, Howland will forgery trial (definition). Also Wikidata Q5922256

History

2026-11-02: add by m2/dev

XZQC6T18GT XZQC6T18GT

URI	`m2://inv/XZQC6T18GT`
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 1810.06028#Y7GX (statement). In ZPFHH6YJG3/e1, corollary 3.4

History

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

Examples XZQK19QJV1

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

Mentions

wikipedia: Wikipedia HMAC#6ZXG, Examples (example)

History

2026-11-02: add by m2/dev

Three exponentials conjecture XZQN0Y8E30

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

Mentions

wikipedia: Wikipedia Four exponentials conjecture#F4Y9, Three exponentials conjecture (statement)

History

2026-11-02: add by m2/dev

XZQX8YHBNK XZQX8YHBNK

URI	`m2://inv/XZQX8YHBNK`
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.02663#6C6M (statement). In PGAZ70WGMG/e1, lemma 19

History

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

II XZQZ6Z3FWZ

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

Mentions

arxiv: arXiv 2609.20998#CSOB, II (example)

History

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

Friedrich Dingeldey XZR2GZJF5N

URI	`m2://inv/XZR2GZJF5N`
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#1DQS, Friedrich Dingeldey (topic)

History

2026-11-02: add by m2/dev

XZR2XJCRYS XZR2XJCRYS

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 30.4

History

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

XZR6QNJ2WB XZR6QNJ2WB

URI	`m2://inv/XZR6QNJ2WB`
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 2608.24190#AV2Z (statement). In DW7FVA587C/e1, lemma 4.18

History

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

Vinh-type bound for rich flats XZR8CEMJ28

URI	`m2://inv/XZR8CEMJ28`
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#HJS8, Vinh-type bound for rich flats (statement). In MCXCMR7V0T/e1, corollary 7

History

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

XZR8D7KT9S XZR8D7KT9S

URI	`m2://inv/XZR8D7KT9S`
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 2608.24606#E863 (statement). In VFV3FFB7Q7/e1, theorem 2

History

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

XZRCTACY2G XZRCTACY2G

URI	`m2://inv/XZRCTACY2G`
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 2609.27078#HY00 (definition)

History

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

\labelcref{integral_BC_are_iso XZRP01XCHM

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

Mentions

arxiv: arXiv 2609.35625#G6EX, \labelcref{integral_BC_are_iso (statement). In 7N144YJM0R/e1, theorem

History

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

XZRRTZ4KFG XZRRTZ4KFG

URI	`m2://inv/XZRRTZ4KFG`
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#NZPO (statement). In 37S7MNMZ2F/e1, proposition 13

History

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

Mary Tsingou XZRXYDE1DQ

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

Mentions

wikipedia: Wikipedia Mary Tsingou, Mary Tsingou (topic). Also Wikidata Q6518533

History

2026-11-02: add by m2/dev

Unit (ring theory) XZS0A2J3NA

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#LSFH, Unit (ring theory) (definition)

History

2026-11-02: add by m2/dev

XZS167F5B6 XZS167F5B6

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

Mentions

arxiv: arXiv 2609.26386#OT7V (definition)

History

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

Ermakoff's test XZSCQ9VM4W

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

Mentions

wikidata: Wikidata Q1789457, Ermakoff's test (statement). Also MathWorld ErmakoffsTest

History

2026-10-26: add by m2/dev

XZSG4HPAVW XZSG4HPAVW

URI	`m2://inv/XZSG4HPAVW`
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.33360#N9VJ (statement). In GH6FSDK4YB/e1, lemma 4.1

History

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

XZSMD3Z55M XZSMD3Z55M

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

Mentions

arxiv: arXiv 2410.02139#WY9P (definition). In TJ1NTK3KJW/e1, definition 22

History

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

Levels-of-processing effect XZTBDF60GG

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

Mentions

wikipedia: Wikipedia List of cognitive biases#9XE4, Levels-of-processing effect (unknown)

History

2026-11-02: add by m2/dev

XZTJCHHW0Q XZTJCHHW0Q

URI	`m2://inv/XZTJCHHW0Q`
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.11652#EH99 (statement). In VEXM27M8Q1/e1, lemma 4.3

History

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

Arthur Whitney XZTMK6TRH0

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QC9U, Arthur Whitney (unknown)

History

2026-11-02: add by m2/dev

XZTMSF87Y7 XZTMSF87Y7

URI	`m2://inv/XZTMSF87Y7`
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.17571#3EYU (definition). In SWFN2HCEE7/e1, definition

History

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

Newton's law of cooling XZV2ZY4MKD

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

Mentions

wikipedia: Wikipedia Convection (heat transfer)#OUNN, Newton's law of cooling (statement)

History

2026-11-02: add by m2/dev

Universal differential equation XZV384NR85

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

Mentions

wikipedia: Wikipedia Universal differential equation, Universal differential equation (definition). Also Wikidata Q7894123

History

2026-11-02: add by m2/dev

XZV7SR6J4Q XZV7SR6J4Q

URI	`m2://inv/XZV7SR6J4Q`
Kind	statement
Layer	research
MSC	05-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.33584#6PBA (statement). In 3HFBAWQCA1/e1, corollary 5.7

History

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

Parity transformation XZVDF51MFB

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#FRWB, Parity transformation (unknown)

History

2026-11-02: add by m2/dev

Augustin-Louis Cauchy XZVDNWRJ0R

URI	`m2://inv/XZVDNWRJ0R`
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 Q8814, Augustin-Louis Cauchy (unknown). Also nLab Augustin Cauchy, ProofWiki Mathematician:Augustin_Louis_Cauchy
wikipedia: Wikipedia Augustin-Louis Cauchy, Augustin-Louis Cauchy (topic). Also Wikidata Q8814

History

2026-10-26: add by m2/dev

XZVEQPADT6 XZVEQPADT6

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#prob:well defined (exercise). In P1C114YBXG, problem, section D

History

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

XZVHJ0T4D6 XZVHJ0T4D6

URI	`m2://inv/XZVHJ0T4D6`
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#CN9N (statement). In 37S7MNMZ2F/e1, proposition 88

History

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

proper rational function XZVQYXD5Y2

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

Mentions

wikipedia: Wikipedia Glossary of calculus#1ZNB, proper rational function (definition)

History

2026-11-02: add by m2/dev

Definition XZW1N3CNKA

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

Mentions

wikipedia: Wikipedia Standard translation#MMJL, Definition (definition)

History

2026-11-02: add by m2/dev

XZW20NN9BC XZW20NN9BC

URI	`m2://inv/XZW20NN9BC`
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.22218#3MGO (statement). In 338GKREFVP/e1, lemma 68

History

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

XZW6D1PS5W XZW6D1PS5W

URI	`m2://inv/XZW6D1PS5W`
Kind	statement
Layer	research
MSC	16-XX, 18-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.16541#SSQ6 (statement). In D0XH7W96T3/e1, lemma 3.4

History

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

Minimal-coverage reduction XZW6QYG14G

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

Mentions

arxiv: arXiv 2610.10950#HYS0, Minimal-coverage reduction (statement). In P392PEVRAY/e1, proposition 3.2

History

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

XZW7X4ZWH9 XZW7X4ZWH9

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

Mentions

open_logic: open_logic content/set-theory/replacement/finiteaxiomatizability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 73.7

History

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

parity group XZW9JRWKC3

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

Mentions

wikidata: Wikidata Q135836, parity group (definition). Also MathWorld CyclicGroupC2, ProofWiki Definition:Parity_Group

History

2026-10-26: add by m2/dev

Moser estimates XZWQ686T3P

URI	`m2://inv/XZWQ686T3P`
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 2407.20385#9KCO, Moser estimates (statement). In PZRSZ19KAH/e1, theorem 2.7

History

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

Klavdija Kutnar XZWTJA5DXJ

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

Mentions

wikipedia: Wikipedia Klavdija Kutnar, Klavdija Kutnar (topic). Also Wikidata Q63105766

History

2026-11-02: add by m2/dev

TREE(3) XZX5FWNC77

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

Mentions

wikipedia: Wikipedia List of numbers#HT21, TREE(3) (statement)

History

2026-11-02: add by m2/dev

XZXDCQG3H8 XZXDCQG3H8

URI	`m2://inv/XZXDCQG3H8`
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.19660#C0B4 (statement). In YKVVY2BW1B/e1, lemma 2.3

History

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

XZXEXW7QX6 XZXEXW7QX6

URI	`m2://inv/XZXEXW7QX6`
Kind	definition
Layer	research
MSC	14-XX, 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 2609.37520#4K6Z (definition). In BDN507RN7J/e1, definition 4.6.8

History

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

XZXF00VHP7 XZXF00VHP7

URI	`m2://inv/XZXF00VHP7`
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 2203.00606#NWBB (statement). In 3WBQFVX65D/e1, theorem 4.1

History

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

XZXJS4YJWT XZXJS4YJWT

URI	`m2://inv/XZXJS4YJWT`
Kind	exercise
Layer	research
MSC	46-XX, 47-XX
Sources	1
Outcome	record (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01802#E7X5 (exercise). In XGPZ0G9E1Q/e1, exercise 4.6

History

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

Properties XZY0NBEVS9

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

Mentions

wikipedia: Wikipedia Limit of a sequence#JYEE, Properties (statement)

History

2026-11-02: add by m2/dev

XZY0RQY2D8 XZY0RQY2D8

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-166 (exercise). In VNMV985MXX, exercise, section 3.1

History

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

XZY8BWVFCH XZY8BWVFCH

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

Mentions

arxiv: arXiv 2610.16668#MO45 (statement). In W7GPN2AHHM/e1, lemma 5.1

History

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

Data mining XZYAK7C9HD

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

Mentions

wikipedia: Wikipedia Data mining, Data mining (definition). Also Wikidata Q172491

History

2026-11-02: add by m2/dev

identity, function XZYM8EGBEF

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

Mentions

hott_book: hott_book index/1.10/identity-function, identity, function (concept). In N54F33XE07, index, section 1.10

History

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

XZYR8J96KG XZYR8J96KG

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

Mentions

arxiv: arXiv 2609.25345#STDN (definition)

History

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

economics XZYR9TQTX1

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

Mentions

wikidata: Wikidata Q8134, economics (definition). Also ProofWiki Definition:Economics

History

2026-10-26: add by m2/dev

1300 (number) XZYSSPEE4N

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

Mentions

wikipedia: Wikipedia 1000 (number)#ODV2, 1300 (number) (unknown)

History

2026-11-02: add by m2/dev

XZZ13KNYPQ XZZ13KNYPQ

URI	`m2://inv/XZZ13KNYPQ`
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.31549#CZS3 (statement). In CVB7NA2N10/e1, theorem 1.2

History

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

affine logic XZZ79SSSYC

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

Mentions

wikidata: Wikidata Q4688943, affine logic (unknown). Also nLab affine logic
wikipedia: Wikipedia Affine logic, Affine logic (definition). Also Wikidata Q4688943

History

2026-10-26: add by m2/dev

XZZK4ABFQE XZZK4ABFQE

URI	`m2://inv/XZZK4ABFQE`
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#5HI7 (statement). In 3VZ55B2N0D/e1, proposition 5.28

History

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

XZZN3Z0CMR XZZN3Z0CMR

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

Mentions

arxiv: arXiv 2610.09812#OC18 (statement). In NWWKD8YX57/e1, lemma 5.8

History

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

Roxy Peck XZZP5S19G2

URI	`m2://inv/XZZP5S19G2`
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#OA24, Roxy Peck (unknown)

History

2026-11-02: add by m2/dev

Christophe Gadbled XZZR0D0WWD

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

Mentions

wikipedia: Wikipedia Christophe Gadbled, Christophe Gadbled (topic). Also Wikidata Q2966252

History

2026-11-02: add by m2/dev

XZZY01ETVV XZZY01ETVV

URI	`m2://inv/XZZY01ETVV`
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 math/9807180#EE59 (definition). In VR3766BVE5/e1, definition 1.1

History

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

Newcomb's problem XZZYP9C594

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

Mentions

wikidata: Wikidata Q1930546, Newcomb's problem (unknown). Also MathWorld NewcombsParadox
wikipedia: Wikipedia Newcomb's problem, Newcomb's problem (problem). Also Wikidata Q1930546

History

2026-10-26: add by m2/dev

Examples XZZYWWMRN8

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

Mentions

wikipedia: Wikipedia Universality (dynamical systems)#X7OD, Examples (example)

History

2026-11-02: add by m2/dev

Mixed-type forms for Laguerre of the second kind and their Jacobi confluence XZZZVEQM1Y

URI	`m2://inv/XZZZVEQM1Y`
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.22027#UTAR, Mixed-type forms for Laguerre of the second kind and their Jacobi confluence (statement)

History

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