Inventory rows EP

EP001VPH2F EP001VPH2F

URI	`m2://inv/EP001VPH2F`
Kind	statement
Layer	research
MSC	26-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.11301#UK5V (statement). In YH1W5A0JTS/e1, corollary 3.10

History

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

Buenaventura Lakes EP030WYCNV

URI	`m2://inv/EP030WYCNV`
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#HA8V, Buenaventura Lakes (unknown)

History

2026-11-02: add by m2/dev

EP05T1VCM7 EP05T1VCM7

URI	`m2://inv/EP05T1VCM7`
Kind	statement
Layer	research
MSC	20-XX, 55-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.20932#R6GX (statement). In FV78KV64B9/e1, corollary 4.3

History

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

Generalized Apolarity Lemma EP092X09KM

URI	`m2://inv/EP092X09KM`
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.17565#BB6T, Generalized Apolarity Lemma (statement). In C422901XCN/e1, lemma 2.3

History

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

EP0BGCJ2FH EP0BGCJ2FH

URI	`m2://inv/EP0BGCJ2FH`
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.36113#CD6V (statement). In FSGSVD0XYH/e1, proposition 9

History

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

EP0FJ8KW2B EP0FJ8KW2B

URI	`m2://inv/EP0FJ8KW2B`
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.17875#5VPF (statement). In AQX7DGD360/e1, theorem 6.17

History

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

Harold Rosenberg EP0MNVY2FQ

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

Mentions

wikipedia: Wikipedia Harold Rosenberg (mathematician), Harold Rosenberg (topic). Also Wikidata Q19958022

History

2026-11-02: add by m2/dev

Generalized Mobius function EP0RTRT6XK

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

Mentions

wikipedia: Wikipedia Incidence algebra#DKIC, Generalized Mobius function (unknown)

History

2026-11-02: add by m2/dev

Umbilic exclusion EP0VGH24W0

URI	`m2://inv/EP0VGH24W0`
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.20197#PJ4J, Umbilic exclusion (statement)

History

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

Fractal string EP0ZFWS85G

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

Mentions

wikipedia: Wikipedia Fractal string, Fractal string (definition). Also Wikidata Q30588573

History

2026-11-02: add by m2/dev

Respondent EP0ZYBHF69

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

Mentions

wikipedia: Wikipedia Respondent, Respondent (definition). Also Wikidata Q7315941

History

2026-11-02: add by m2/dev

EP1095E196 EP1095E196

URI	`m2://inv/EP1095E196`
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.32651#V0W9 (definition). In WFJXSE3VDT/e1, definition 4.2

History

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

Long branch attraction EP13RY09TW

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

Mentions

wikipedia: Wikipedia Long branch attraction, Long branch attraction (definition). Also Wikidata Q2870169

History

2026-11-02: add by m2/dev

EP1661S70Z EP1661S70Z

URI	`m2://inv/EP1661S70Z`
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.06724#7PEY (statement). In W5XG3PGVF1/e1, corollary C.17

History

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

EP18HSE226 EP18HSE226

URI	`m2://inv/EP18HSE226`
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 1902.04230#JFAH (statement). In 22JZ68FGCW/e1, corollary 2.5

History

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

Integral symbol EP1B0T4NCJ

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

Mentions

wikipedia: Wikipedia Integral symbol, Integral symbol (definition). Also Wikidata Q1665420

History

2026-11-02: add by m2/dev

EP1QTTNSG1 EP1QTTNSG1

URI	`m2://inv/EP1QTTNSG1`
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 2009.11127#05MT (statement). In QEFS0Y021A/e1, theorem 2.6

History

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

(B, N) pair EP1RGC046Q

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

Mentions

wikipedia: Wikipedia (B, N) pair, (B, N) pair (definition). Also Wikidata Q1317188

History

2026-11-02: add by m2/dev

The Splitting Theorem and Predictability EP1RGRF6CZ

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

Mentions

wikipedia: Wikipedia Globally hyperbolic spacetime#8X7N, The Splitting Theorem and Predictability (statement)

History

2026-11-02: add by m2/dev

Eastern Hemisphere EP25QC1DX0

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

Mentions

wikidata: Wikidata Q186198, Eastern Hemisphere (definition). Also ProofWiki Definition:Eastern_Hemisphere

History

2026-10-26: add by m2/dev

EP29A4G321 EP29A4G321

URI	`m2://inv/EP29A4G321`
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 2210.02261#9C7S (statement). In TT74R659T0/e1, lemma 0.1

History

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

mean value theorem EP29NKE9C6

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

Mentions

wikipedia: Wikipedia Glossary of calculus#SOOE, mean value theorem (definition)

History

2026-11-02: add by m2/dev

Solidity EP2C5PNVZS

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

Mentions

wikidata: Wikidata Q24909565, Solidity (unknown). Also nLab solidity

History

2026-10-26: add by m2/dev

EP2DYW6S3S EP2DYW6S3S

URI	`m2://inv/EP2DYW6S3S`
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.31604#7L4H (statement). In GSN5YTQS2K/e1, proposition 3.31

History

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

expected value EP2PGQK6VR

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#G0DH, expected value (definition)

History

2026-11-02: add by m2/dev

EP2RWSY2W8 EP2RWSY2W8

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

Mentions

austin_ula: austin_ula src/section7-2.xml#example-2 (example). In 649HGZKE96, example, section 7.2.2

History

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

Definition EP2ZT0ABEV

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

Mentions

wikipedia: Wikipedia F-divergence#RKKC, Definition (definition)

History

2026-11-02: add by m2/dev

EP36XEDN26 EP36XEDN26

URI	`m2://inv/EP36XEDN26`
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#KJFX (statement). In 4X93XG8NMD/e1, theorem 1.1

History

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

Statement EP37ZPAZT4

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

Mentions

wikipedia: Wikipedia Eberlein–Šmulian theorem#JUNW, Statement (statement)

History

2026-11-02: add by m2/dev

Conjectural variation EP3FP6AFPP

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

Mentions

wikipedia: Wikipedia Conjectural variation, Conjectural variation (definition). Also Wikidata Q5161131

History

2026-11-02: add by m2/dev

Symmetric terms of degree at least three at the $\chi_K$-critical depth EP3HJ8E28W

URI	`m2://inv/EP3HJ8E28W`
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.10583#VAHF, Symmetric terms of degree at least three at the $\chi_K$-critical depth (statement). In 5BZQS1KY9A/e1, lemma 9.5

History

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

Continuity (topology) EP3J71YG5G

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

Mentions

wikipedia: Wikipedia List of general topology topics#MK68, Continuity (topology) (definition)

History

2026-11-02: add by m2/dev

EP3KWD935G EP3KWD935G

URI	`m2://inv/EP3KWD935G`
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.08935#QRQ0 (statement). In G02N9D40B9/e1, proposition 2.2.8

History

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

Control of high moments EP3QY4W15C

URI	`m2://inv/EP3QY4W15C`
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 2512.08487#2X57, Control of high moments (statement). In 77TVQVYN0Z/e1, lemma 34

History

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

EP414MM15N EP414MM15N

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

Mentions

arxiv: arXiv 2609.31220#E5RH (statement). In JMWCGMNE84/e1, lemma 3.5

History

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

EP43PDG2DC EP43PDG2DC

URI	`m2://inv/EP43PDG2DC`
Kind	statement
Layer	research
MSC	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 2610.16203#WP4W (statement). In 43TBS9P2PX/e1, lemma 5.3

History

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

Supporting hyperplane theorem EP4C95A170

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

Mentions

wikipedia: Wikipedia Supporting hyperplane#SUYD, Supporting hyperplane theorem (statement)

History

2026-11-02: add by m2/dev

EP4E3CC418 EP4E3CC418

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

Mentions

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

History

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

Jane F. Gentleman EP4K8DN19R

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J9DK, Jane F. Gentleman (topic)
wikipedia: Wikipedia List of fellows of the American Statistical Association#KFPN, Jane F. Gentleman (topic)

History

2026-11-02: add by m2/dev

EP4MB8HANW EP4MB8HANW

URI	`m2://inv/EP4MB8HANW`
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.02790#13LS (statement). In NB7HZ8W2K2/e1, lemma 26

History

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

Taleb distribution EP4Q9D4FW0

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

Mentions

wikipedia: Wikipedia List of statistics articles#KJ3B, Taleb distribution (definition)

History

2026-11-02: add by m2/dev

computed upper bound; computer-assisted EP51KTSVBY

URI	`m2://inv/EP51KTSVBY`
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.14050#ZSVK, computed upper bound; computer-assisted (statement). In RENT22YXW3/e1, theorem 6.2

History

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

Implementation EP55DT8E61

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

Mentions

wikipedia: Wikipedia Prolog#C471, Implementation (definition)

History

2026-11-02: add by m2/dev

Static reduction and the point-mass limit EP56B8K8M8

URI	`m2://inv/EP56B8K8M8`
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.27250#2DR9, Static reduction and the point-mass limit (statement)

History

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

Representations EP58GNDV3B

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

Mentions

wikipedia: Wikipedia Sequence alignment#AG9F, Representations (definition)

History

2026-11-02: add by m2/dev

Doob's martingale convergence theorems EP5FZCEGW5

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

Mentions

wikipedia: Wikipedia List of theorems#FUI1, Doob's martingale convergence theorems (statement)

History

2026-11-02: add by m2/dev

EP5P5YBSME EP5P5YBSME

URI	`m2://inv/EP5P5YBSME`
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 2211.16099#WB2Y (statement). In 91RRFW0K5D/e1, theorem 5

History

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

Situation calculus EP62PC5M9Q

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

Mentions

wikipedia: Wikipedia Situation calculus, Situation calculus (definition). Also Wikidata Q1559077

History

2026-11-02: add by m2/dev

Virtual rule of inference EP62VM11KB

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

Mentions

wikipedia: Wikipedia Deduction theorem#WWD6, Virtual rule of inference (unknown)

History

2026-11-02: add by m2/dev

EP639AK1GT EP639AK1GT

URI	`m2://inv/EP639AK1GT`
Kind	statement
Layer	research
MSC	20-XX, 22-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 math/0512416#WMEE (statement). In WJD9YPGGYH/e1, corollary 4.1

History

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

CM EP64VD0PVD

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#6JEK, CM (definition)

History

2026-11-02: add by m2/dev

Circuit profile and basis average EP6AV2206F

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

Mentions

arxiv: arXiv 2610.20649#PSHO, Circuit profile and basis average (statement). In XDTM624YPE/e1, theorem 6.4

History

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

Partially unwrapped covers EP6B444QVN

URI	`m2://inv/EP6B444QVN`
Kind	definition
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.18219#CV3B, Partially unwrapped covers (definition). In X1AGBB90EH/e1, definition 7.11

History

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

EP6BAXXVCR EP6BAXXVCR

URI	`m2://inv/EP6BAXXVCR`
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.07897#8WTI (statement). In 1MWYGMR6TJ/e1, theorem 1.4

History

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

Injectivity radius EP6EC95HYV

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

Mentions

arxiv: arXiv 2610.17004#OPPI, Injectivity radius (definition). In XNJGNMS6H0/e1, definition B.7

History

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

EP6F3JQ3K2 EP6F3JQ3K2

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

Mentions

arxiv: arXiv 2610.16875#0ZNG (definition). In KS30K5JXGB/e1, definition 2.1

History

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

Manifold with corners EP6JPD16FG

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

Mentions

wikipedia: Wikipedia Manifold#2YY8, Manifold with corners (unknown)

History

2026-11-02: add by m2/dev

EP6MA1CWY8 EP6MA1CWY8

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

Mentions

arxiv: arXiv 2610.15472#9E98 (statement). In 5Z3FH46YSY/e1, theorem 3.18

History

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

EP6MJX9FGA EP6MJX9FGA

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 5.3

History

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

EP71454TWQ EP71454TWQ

URI	`m2://inv/EP71454TWQ`
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.20489#9N9Q (statement). In BJ8JJZ0ZWT/e1, proposition 6.1

History

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

EP7339EWMD EP7339EWMD

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

Mentions

arxiv: arXiv 2610.21960#43GH (definition). In QX77AN49J0/e1, definition 8.6

History

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

EP78SAVP9W EP78SAVP9W

URI	`m2://inv/EP78SAVP9W`
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.11047#KM0K (statement). In MNQAZ70XTH/e1, proposition 4.1

History

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

ElGamal encryption EP7DM9H93F

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

Mentions

wikipedia: Wikipedia List of cryptosystems#ZFLJ, ElGamal encryption (definition)

History

2026-11-02: add by m2/dev

EP7N53CTVN EP7N53CTVN

URI	`m2://inv/EP7N53CTVN`
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.28993#NNRA (statement)

History

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

EP7QQQYMTX EP7QQQYMTX

URI	`m2://inv/EP7QQQYMTX`
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.10505#R69L (statement). In JW8HH6EPG2/e1, lemma 3.22

History

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

Scottish Café EP7VD9KC0F

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

Mentions

wikipedia: Wikipedia List of mathematics history topics#BCII, Scottish Café (definition)

History

2026-11-02: add by m2/dev

EP7VVQCEXP EP7VVQCEXP

URI	`m2://inv/EP7VVQCEXP`
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.27168#2OYG (statement)

History

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

Leo Zippin EP86JQ9MDW

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#U6IE, Leo Zippin (topic)

History

2026-11-02: add by m2/dev

Minkowski plane EP8FNYR3TX

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

Mentions

wikipedia: Wikipedia Minkowski plane, Minkowski plane (definition). Also Wikidata Q4381561

History

2026-11-02: add by m2/dev

RSA-390 EP8PVN0EWN

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

Mentions

wikipedia: Wikipedia RSA numbers#D8Y7, RSA-390 (unknown)

History

2026-11-02: add by m2/dev

Complete descendant specialization EP93F0ARBS

URI	`m2://inv/EP93F0ARBS`
Kind	statement
Layer	research
MSC	14-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.10821#KO9D, Complete descendant specialization (statement). In RWNP4FEE65/e1, theorem 3.24

History

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

EP95Q4HYAF EP95Q4HYAF

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise:allnormsequiv (exercise). In E59CDZA4DP, exercise, section 11.2.4

History

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

SMath Studio EP97HR9J6A

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

Mentions

wikipedia: Wikipedia SMath Studio, SMath Studio (definition). Also Wikidata Q4048815

History

2026-11-02: add by m2/dev

Ergo decedo EP9ACKZX35

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

Mentions

wikipedia: Wikipedia Ergo decedo, Ergo decedo (definition). Also Wikidata Q19776521

History

2026-11-02: add by m2/dev

quicksort EP9S8JV1VJ

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

Mentions

wikidata: Wikidata Q486598, quicksort (unknown). Also MathWorld Quicksort
wikipedia: Wikipedia Quicksort, Quicksort (definition). Also Wikidata Q486598

History

2026-10-26: add by m2/dev

EP9TV5DR2G EP9TV5DR2G

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 8.6

History

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

Fundamental principles EP9XF4AQP5

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

Mentions

wikipedia: Wikipedia Magnetic reconnection#WN51, Fundamental principles (statement)

History

2026-11-02: add by m2/dev

EPA2J0GJW7 EPA2J0GJW7

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

Mentions

arxiv: arXiv 2609.32338#IDLP (statement). In HVY45JQRNK/e1, lemma 4.3

History

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

Consequentia mirabilis EPA2KPAMHG

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

Mentions

wikipedia: Wikipedia Consequentia mirabilis, Consequentia mirabilis (definition). Also Wikidata Q1127312

History

2026-11-02: add by m2/dev

Algorithmic information theory EPA4VPRK4X

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#1SA0, Algorithmic information theory (unknown)
wikipedia: Wikipedia List of computability and complexity topics#O0I1, Algorithmic information theory (unknown)

History

2026-11-02: add by m2/dev

EPA8095VWB EPA8095VWB

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

Mentions

arxiv: arXiv 2610.06200#P5SE (example). In B5XCHJKX7Q/e1, example 2.3

History

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

secant variety EPA894YZ8G

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#C6UN, secant variety (definition)

History

2026-11-02: add by m2/dev

EPA9TE86S5 EPA9TE86S5

URI	`m2://inv/EPA9TE86S5`
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 2609.20572#VH0V (statement)

History

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

EPABMRNTZA EPABMRNTZA

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

Mentions

arxiv: arXiv 2609.34311#L6B8 (statement). In YYV9SHAPCZ/e1, proposition 3.8

History

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

EPABSNC10E EPABSNC10E

URI	`m2://inv/EPABSNC10E`
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.28265#OREB (statement)

History

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

The first-contact problem EPACTSSABD

URI	`m2://inv/EPACTSSABD`
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.33794#BECR, The first-contact problem (problem). In W0PQMW25VY/e1, problem 2.5

History

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

Myers\,, Cheng\ EPADV2ETX3

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

Mentions

arxiv: arXiv 2609.26455#1BEL, Myers\,, Cheng\ (statement)

History

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

Sieve of Sundaram EPAGYR3HRD

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

Mentions

wikipedia: Wikipedia List of number theory topics#OR2A, Sieve of Sundaram (definition)

History

2026-11-02: add by m2/dev

Powersort EPAW65ECJ0

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

Mentions

wikipedia: Wikipedia Powersort, Powersort (definition). Also Wikidata Q136399159

History

2026-11-02: add by m2/dev

Definition EPB1W81GF6

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

Mentions

wikipedia: Wikipedia Cunningham number#FH3I, Definition (definition)

History

2026-11-02: add by m2/dev

average velocity EPBDC6GWK9

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

Mentions

active_calculus: active_calculus index/1.1.4/average-velocity, average velocity (concept). In 907G4C4EJ1, index, section 1.1.4

History

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

alphabet EPBJBVKDC9

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

Mentions

wikidata: Wikidata Q837518, alphabet (unknown). Also MathWorld Alphabet
wikipedia: Wikipedia Alphabet (formal languages), Alphabet (definition). Also Wikidata Q837518

History

2026-10-26: add by m2/dev

EPBTXBSS60 EPBTXBSS60

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

Mentions

napkin: napkin tex/linalg/transpose.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 61.6

History

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

P. A. V. B. Swamy EPC98E6CDX

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

Mentions

wikipedia: Wikipedia P. A. V. B. Swamy, P. A. V. B. Swamy (topic). Also Wikidata Q19898545

History

2026-11-02: add by m2/dev

EPCMCFNRDY EPCMCFNRDY

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

Mentions

arxiv: arXiv 2610.05193#HZBX (definition). In XDMM0KNNZ9/e1, definition 6

History

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

EPCPQ287GQ EPCPQ287GQ

URI	`m2://inv/EPCPQ287GQ`
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.10505#H4A7 (statement). In JW8HH6EPG2/e1, theorem 1.2

History

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

EPCT16HYBX EPCT16HYBX

URI	`m2://inv/EPCT16HYBX`
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#MCB7 (statement). In F1CYVYK7YB/e1, theorem 2.3

History

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

EPCVNSCMZC EPCVNSCMZC

URI	`m2://inv/EPCVNSCMZC`
Kind	statement
Layer	research
MSC	11-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.14380#L0MD (statement). In 2ZRQP063HP/e1, theorem 1.3

History

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

Bianca Falcidieno EPCYGNGB6A

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

Mentions

wikipedia: Wikipedia Bianca Falcidieno, Bianca Falcidieno (topic). Also Wikidata Q102340922

History

2026-11-02: add by m2/dev

EPD4C5V75B EPD4C5V75B

URI	`m2://inv/EPD4C5V75B`
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.07828#MNL8 (statement). In TWGMVT1N1G/e1, theorem 5.8

History

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

Cayley–Menger determinant EPD5HVW9K8

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#IUAZ, Cayley–Menger determinant (definition)

History

2026-11-02: add by m2/dev

Minkowski content EPD80HEVTF

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

Mentions

wikipedia: Wikipedia Minkowski content, Minkowski content (definition). Also Wikidata Q17082571

History

2026-11-02: add by m2/dev

EPD9PYQ2WP EPD9PYQ2WP

URI	`m2://inv/EPD9PYQ2WP`
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#UWY5 (statement). In NJWY6HPFHG/e1, fact 1

History

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

EPDFKEX4JC EPDFKEX4JC

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

Mentions

arxiv: arXiv 2205.15365#ZS5I (unknown). In R2XC1SC9NZ/e1, unknown 19

History

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

$L^1$ estimates EPDHAASV3H

URI	`m2://inv/EPDHAASV3H`
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.06529#Y33W, $L^1$ estimates (statement). In JFQY4CYHKP/e1, proposition 3.2

History

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

independent variable EPDK87KRZC

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#8QFN, independent variable (definition)

History

2026-11-02: add by m2/dev

EPDX0E7WHW EPDX0E7WHW

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

Mentions

arxiv: arXiv 2610.16821#8CEI (statement). In EFSGMHG5BW/e1, theorem C

History

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

Generalization EPDYDMNCJC

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

Mentions

wikipedia: Wikipedia Superformula#H86B, Generalization (statement)

History

2026-11-02: add by m2/dev

EPE883B49B EPE883B49B

URI	`m2://inv/EPE883B49B`
Kind	statement
Layer	research
MSC	49-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.07236#4I49 (statement). In VPMKBREFY1/e1, theorem 3

History

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

EPEWNG1EN0 EPEWNG1EN0

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

Mentions

arxiv: arXiv 2610.19357#3M90 (statement). In RGXQ50RWXV/e1, theorem 4.4

History

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

Examples EPEZKJJWXY

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

Mentions

wikipedia: Wikipedia Spinor#AF9Y, Examples (example)

History

2026-11-02: add by m2/dev

EPF5MV4S6T EPF5MV4S6T

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

Mentions

arxiv: arXiv 2610.12513#NU1V (statement). In VM9V8SXEA2/e1, lemma 5

History

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

ב EPF5RV84ZC

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

Mentions

wikipedia: Wikipedia Glossary of set theory#NTU0, ב (definition)

History

2026-11-02: add by m2/dev

EPF6ZDTTCQ EPF6ZDTTCQ

URI	`m2://inv/EPF6ZDTTCQ`
Kind	statement
Layer	research
MSC	35-XX, 53-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.08484#Z9JN (statement). In C2HJ1CCJ0S/e1, lemma 9

History

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

almost sure convergence of regularized discrete loss functions EPFA0KF0A1

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

Mentions

arxiv: arXiv 2204.07227#Y73M, almost sure convergence of regularized discrete loss functions (statement). In R85Z7ZZGBC/e1, lemma 3.3

History

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

Ivan Fesenko EPFB9F9ZMA

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#XVSF, Ivan Fesenko (unknown)

History

2026-11-02: add by m2/dev

EPFEVG7P3H EPFEVG7P3H

URI	`m2://inv/EPFEVG7P3H`
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 2508.02432#OCBC (statement). In B366ACYB37/e1, lemma 3.12

History

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

Agarwal-Chen-Garg EPFK9WC3MB

URI	`m2://inv/EPFK9WC3MB`
Kind	conjecture
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.29878#HDQP, Agarwal-Chen-Garg (conjecture)

History

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

Example EPFKEXXYN0

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

Mentions

wikipedia: Wikipedia Graph homology#NE9B, Example (example)

History

2026-11-02: add by m2/dev

EPFKR5PGFC EPFKR5PGFC

URI	`m2://inv/EPFKR5PGFC`
Kind	statement
Layer	research
MSC	16-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 2512.16003#YONE (statement). In BJGS6ZCQ12/e1, corollary 5.6

History

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

EPFSJVGH5V EPFSJVGH5V

URI	`m2://inv/EPFSJVGH5V`
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.09650#RY4M (statement). In 628KM8869P/e1, theorem 6.9

History

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

Goldsmith, Selma Fine EPFSR92DN1

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

Mentions

wikipedia: Wikipedia List of statisticians#R9KV, Goldsmith, Selma Fine (topic)

History

2026-11-02: add by m2/dev

EPG7Y2G4G1 EPG7Y2G4G1

URI	`m2://inv/EPG7Y2G4G1`
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.08091#LL54 (statement). In MS13WE3CSD/e1, theorem 1.2

History

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

EPGDYKWK5T EPGDYKWK5T

URI	`m2://inv/EPGDYKWK5T`
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.25367#VUNP (statement)

History

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

Stratification (mathematics) EPGHTKVP23

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

Mentions

wikipedia: Wikipedia List of partition topics#D8SP, Stratification (mathematics) (definition)

History

2026-11-02: add by m2/dev

EPGPF4BZBA EPGPF4BZBA

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

Mentions

arxiv: arXiv 2609.38131#ZB8W (statement). In GM3S19KFDH/e1, corollary 3.15

History

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

EPGW450KVT EPGW450KVT

URI	`m2://inv/EPGW450KVT`
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.15770#SMXG (statement). In DXFR0BNE47/e1, lemma 3.1

History

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

special character EPH1PSKXBA

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

Mentions

wikidata: Wikidata Q2301218, special character (unknown). Also nLab special characters

History

2026-10-26: add by m2/dev

Supersingular Mumford-Tate EPH2WTR16R

URI	`m2://inv/EPH2WTR16R`
Kind	conjecture
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#HQCD, Supersingular Mumford-Tate (conjecture)

History

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

Formula EPH314YPYJ

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

Mentions

wikipedia: Wikipedia Schwarz triangle function#B440, Formula (statement)

History

2026-11-02: add by m2/dev

Howler (mathematics) EPH621YN70

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

Mentions

wikipedia: Wikipedia Mathematical fallacy#K235, Howler (mathematics) (unknown)

History

2026-11-02: add by m2/dev

EPH8MEV3YN EPH8MEV3YN

URI	`m2://inv/EPH8MEV3YN`
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.32614#HBEF (statement). In SG8GT73ZNH/e1, theorem 2.3

History

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

Entropy softening EPHDJVBNMA

URI	`m2://inv/EPHDJVBNMA`
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.31782#A4C9, Entropy softening (statement). In YAYP5VZ94H/e1, lemma 6.1

History

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

EPHV1RK3RV EPHV1RK3RV

URI	`m2://inv/EPHV1RK3RV`
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.38014#4BA7 (statement). In F3X5W4E0AJ/e1, corollary 3

History

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

EPHVP0V3ED EPHVP0V3ED

URI	`m2://inv/EPHVP0V3ED`
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#I2W3 (statement). In RS6WWZKMT6/e1, lemma A.5

History

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

EPHXCJ71ZP EPHXCJ71ZP

URI	`m2://inv/EPHXCJ71ZP`
Kind	definition
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 2204.01121#XJXK (definition). In 1HP57QXBGF/e1, definition 1

History

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

finite interesection property EPHZ7AC9AZ

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#RY05, finite interesection property (definition)

History

2026-11-02: add by m2/dev

Dirichlet algebra EPHZWQZFYH

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

Mentions

wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#JBNJ, Dirichlet algebra (definition)

History

2026-11-02: add by m2/dev

Popoviciu's inequality EPJ6B4KCXV

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

Mentions

wikipedia: Wikipedia Popoviciu's inequality, Popoviciu's inequality (statement). Also Wikidata Q760892

History

2026-11-02: add by m2/dev

EPJ6FGFA37 EPJ6FGFA37

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

Mentions

arxiv: arXiv 2610.13680#1FMC (unknown). In QNBFHFZ3H0/e1, unknown 78

History

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

Parabolic fixed-depth consequence EPJCV32ZY3

URI	`m2://inv/EPJCV32ZY3`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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.16094#6ZLQ, Parabolic fixed-depth consequence (statement). In RHBS9QDHC3/e1, corollary 4.10

History

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

EPJCV7WB99 EPJCV7WB99

URI	`m2://inv/EPJCV7WB99`
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 2304.09819#HE9U (statement). In FYKSPSVT37/e1, theorem 3.1

History

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

Neighbor joining EPJHNWVA1E

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

Mentions

wikipedia: Wikipedia List of statistics articles#8D86, Neighbor joining (definition)

History

2026-11-02: add by m2/dev

Witt design EPJM1QF5W0

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

Mentions

wikidata: Wikidata Q124260807, Witt design (unknown). Also MathWorld WittDesign

History

2026-10-26: add by m2/dev

Examples EPJP2JMNW6

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

Mentions

wikipedia: Wikipedia Abelian category#SM1Z, Examples (example)

History

2026-11-02: add by m2/dev

Definition EPK52X51JH

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

Mentions

wikipedia: Wikipedia Harris chain#3OSR, Definition (definition)

History

2026-11-02: add by m2/dev

Saturated measure EPK6RPHTPG

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

Mentions

wikipedia: Wikipedia Saturated measure, Saturated measure (definition). Also Wikidata Q7426582

History

2026-11-02: add by m2/dev

EPKAAMYYGS EPKAAMYYGS

URI	`m2://inv/EPKAAMYYGS`
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.02535#V3RC (statement). In S26PXDSWM9/e1, corollary 4.3

History

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

Polynomial parametrization EPKC1SCZ7V

URI	`m2://inv/EPKC1SCZ7V`
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.19243#RQY0, Polynomial parametrization (statement). In 8CSXBTYKDT/e1, lemma 4.2

History

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

EPKF9Q6FER EPKF9Q6FER

URI	`m2://inv/EPKF9Q6FER`
Kind	statement
Layer	research
MSC	16-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.34193#JPQ3 (statement). In 9XMZTTSF5E/e1, proposition 1.3

History

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

Capacity EPKMM22T9R

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

Mentions

arxiv: arXiv 2609.39845#1NX8, Capacity (definition). In RK8DFVGQP1/e1, definition 1

History

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

Theorem EPKT2N74HZ

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

Mentions

wikipedia: Wikipedia Erdős–Szemerédi theorem#7GJF, Theorem (statement)

History

2026-11-02: add by m2/dev

EPKVBQ7ZM9 EPKVBQ7ZM9

URI	`m2://inv/EPKVBQ7ZM9`
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.35691#NM9T (statement). In G7R61RPWE2/e1, proposition 3.9

History

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

EPKVNM7YKT EPKVNM7YKT

URI	`m2://inv/EPKVNM7YKT`
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 2609.40017#FB9I (statement). In MBHJA0HT06/e1, theorem 7.2

History

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

Ghosts of departed quantities EPM1EN2R1N

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

Mentions

wikipedia: Wikipedia The Analyst#FVN9, Ghosts of departed quantities (unknown)

History

2026-11-02: add by m2/dev

Oregonator EPM1P99X6K

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

Mentions

wikipedia: Wikipedia Oregonator, Oregonator (definition). Also Wikidata Q536710

History

2026-11-02: add by m2/dev

eigenbasis EPM6AXCA9T

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

Mentions

wikipedia: Wikipedia Eigenvalues and eigenvectors#VC1H, eigenbasis (definition)

History

2026-11-02: add by m2/dev

Quincunx matrix EPM8A82M25

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

Mentions

wikipedia: Wikipedia Quincunx matrix, Quincunx matrix (definition). Also Wikidata Q7272102

History

2026-11-02: add by m2/dev

Consistent and inconsistent equations EPMFZW04T2

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

Mentions

wikipedia: Wikipedia Consistent and inconsistent equations, Consistent and inconsistent equations (definition). Also Wikidata Q25303797

History

2026-11-02: add by m2/dev

Stone–Weierstrass theorem EPMGPBZEYK

URI	`m2://inv/EPMGPBZEYK`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	5
Outcome	open
Node	Stone–Weierstrass theorem 1P8D3MK79H

Mentions

mathlib_1000: mathlib_1000 Q939927, Stone–Weierstrass theorem (statement). Also Mathlib ContinuousMap.subalgebra_topologicalClosure_eq_top_of_separatesPoints, Wikidata Q939927
mathlib_overview: mathlib_overview Topology > General topology > Stone-Weierstrass theorem, Stone-Weierstrass theorem (unknown). Also Mathlib ContinuousMap.subalgebra_topologicalClosure_eq_top_of_separatesPoints
thousand_plus: thousand_plus Q939927, Stone–Weierstrass theorem (statement). Also Mathlib ContinuousMap.subalgebra_topologicalClosure_eq_top_of_separatesPoints, Wikidata Q939927, Wikipedia Stone–Weierstrass theorem
wikidata: Wikidata Q939927, Stone–Weierstrass theorem (statement). Also MathWorld Stone-WeierstrassTheorem
wikipedia: Wikipedia Stone–Weierstrass theorem, Stone–Weierstrass theorem (statement). Also Wikidata Q939927

History

2026-10-26: add by m2/dev

Johannes Kepler EPMJ3WF7WK

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

Mentions

wikipedia: Wikipedia List of geometers#27LY, Johannes Kepler (topic)

History

2026-11-02: add by m2/dev

Artificial precision EPMKJNJ7H9

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

Mentions

wikipedia: Wikipedia Artificial precision, Artificial precision (definition). Also Wikidata Q16834082

History

2026-11-02: add by m2/dev

EPMMER9H8A EPMMER9H8A

URI	`m2://inv/EPMMER9H8A`
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 2610.12531#BICQ (statement). In D6RAQZ2DSK/e1, proposition 4.4

History

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

Strict separation from the nonlocal term EPMY5SVKMH

URI	`m2://inv/EPMY5SVKMH`
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.00339#PJQ3, Strict separation from the nonlocal term (statement). In ZRG6NY1ECH/e1, lemma 38

History

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

Bounds for $\Sigma_{s,t}$ EPMZ27KAEE

URI	`m2://inv/EPMZ27KAEE`
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.28251#DQTK, Bounds for $\Sigma_{s,t}$ (statement)

History

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

EPN024RKZR EPN024RKZR

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

Mentions

arxiv: arXiv 2610.13846#HAQA (definition). In DN3HGHGRYJ/e1, definition 3.1

History

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

EPNAPRJ4K4 EPNAPRJ4K4

URI	`m2://inv/EPNAPRJ4K4`
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.15700#WLYZ (statement). In S95MSZ7MDR/e1, lemma 3.20

History

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

EPNBDV4289 EPNBDV4289

URI	`m2://inv/EPNBDV4289`
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.21408#5RBK (statement). In 3XBEGXNPXZ/e1, theorem 4.1

History

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

Ralph Merkle EPND9C3ESH

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

Mentions

wikipedia: Wikipedia List of cryptographers#9403, Ralph Merkle (topic)

History

2026-11-02: add by m2/dev

EPNFYT38ZG EPNFYT38ZG

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

Mentions

arxiv: arXiv 2609.28011#FH7Y (definition)

History

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

EPNHR10QK2 EPNHR10QK2

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

Mentions

napkin: napkin tex/complex-ana/meromorphic.tex#example-3 (example). In RZP28ERRZV, example, section 41.2

History

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

EPNKEACVWY EPNKEACVWY

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

Mentions

arxiv: arXiv 2610.00021#I9BC (statement). In EX42AVA7CV/e1, theorem 7.3

History

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

Goldbach's conjecture EPNPVGKHGD

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#E62A, Goldbach's conjecture (conjecture)

History

2026-11-02: add by m2/dev

Compactness of bounded monotone fronts EPNPYB63KF

URI	`m2://inv/EPNPYB63KF`
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.28024#O8M1, Compactness of bounded monotone fronts (statement)

History

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

RC2 EPNS0ZQFM4

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

Mentions

wikipedia: Wikipedia RC2, RC2 (definition). Also Wikidata Q1753382

History

2026-11-02: add by m2/dev

EPP01ZP48Z EPP01ZP48Z

URI	`m2://inv/EPP01ZP48Z`
Kind	definition
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.38118#4IWI (definition). In K4KKTYYKKH/e1, definition

History

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

\emph{Paralinearization in Birkhoff Coordinates EPP0Y8BKVW

URI	`m2://inv/EPP0Y8BKVW`
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.37593#6QGU, \emph{Paralinearization in Birkhoff Coordinates (statement). In YTF96VHKAH/e1, proposition 5.2

History

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

Applications EPP54PB9Z0

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

Mentions

wikipedia: Wikipedia Khovanov homology#R6Y5, Applications (example)

History

2026-11-02: add by m2/dev

TAP residual bound EPP78BTFHR

URI	`m2://inv/EPP78BTFHR`
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.09882#07NX, TAP residual bound (statement). In 7XV6T4N79V/e1, theorem 2.2

History

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

Hard vector balancing in joint convex order EPPEC93D2V

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

Mentions

arxiv: arXiv 2609.38228#GF79, Hard vector balancing in joint convex order (statement). In 9YAE8FNQST/e1, theorem 1.1

History

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

Barycentric subdivision EPPH12E2QZ

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

Mentions

wikipedia: Wikipedia List of general topology topics#GI95, Barycentric subdivision (definition)

History

2026-11-02: add by m2/dev

Evgraf Fedorov EPPJPEEF9Q

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

Mentions

wikipedia: Wikipedia List of geometers#NWNC, Evgraf Fedorov (unknown)

History

2026-11-02: add by m2/dev

Periodic table of topological insulators and topological superconductors EPPWZKS6FW

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

Mentions

wikipedia: Wikipedia Periodic table of topological insulators and topological superconductors, Periodic table of topological insulators and topological superconductors (definition). Also Wikidata Q55629489

History

2026-11-02: add by m2/dev

Exact covering number EPPXHCZVMJ

URI	`m2://inv/EPPXHCZVMJ`
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.32078#N8FK, Exact covering number (statement). In 5PN85N6EJF/e1, corollary 5.5

History

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

Properties EPPYCFRR0K

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

Mentions

wikipedia: Wikipedia Complex normal distribution#5Z8Y, Properties (statement)

History

2026-11-02: add by m2/dev

Null-homotopy of a characteristic-polynomial fiber EPQ32DQB65

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

Mentions

arxiv: arXiv 2609.27204#C04N, Null-homotopy of a characteristic-polynomial fiber (statement)

History

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

motivic L-function EPQ3H7BYKQ

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

Mentions

wikidata: Wikidata Q17098109, motivic L-function (unknown). Also nLab motivic L-function
wikipedia: Wikipedia Motivic L-function, Motivic L-function (definition). Also Wikidata Q17098109

History

2026-10-26: add by m2/dev

statement letter EPQ555Q4V1

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

Mentions

wikidata: Wikidata Q141186841, statement letter (unknown). Also MathWorld StatementLetter

History

2026-10-26: add by m2/dev

EPQ8SARVWN EPQ8SARVWN

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

Mentions

arxiv: arXiv 2609.29450#G8DK (definition)

History

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

Mean-square error estimate EPQD10R5XZ

URI	`m2://inv/EPQD10R5XZ`
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.03325#E9XG, Mean-square error estimate (statement). In YEJX6E48H6/e1, theorem A.1

History

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

Definition EPR2GJM2GW

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

Mentions

wikipedia: Wikipedia Conjunctive normal form#FX39, Definition (definition)

History

2026-11-02: add by m2/dev

Uniform boundedness principle EPR50VJECJ

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

Mentions

wikipedia: Wikipedia Functional analysis#T4VM, Uniform boundedness principle (statement)

History

2026-11-02: add by m2/dev

$K[X]$ is Euclidean EPR5RDPC6N

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

Mentions

mathlib_overview: mathlib_overview General algebra > Polynomials and power series > $K[X]$ is Euclidean, $K[X]$ is Euclidean (unknown). Also Mathlib Polynomial.instEuclideanDomain
mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > $K[X]$ is a Euclidean ring when $K$ is a field, $K[X]$ is a Euclidean ring when $K$ is a field (unknown). Also Mathlib Polynomial.instEuclideanDomain

History

2026-10-26: add by m2/dev

Applications EPRAJBXT0E

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

Mentions

wikipedia: Wikipedia Riesz's lemma#2Z1O, Applications (example)

History

2026-11-02: add by m2/dev

Tilings and patterns EPRC8JKRBT

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

Mentions

wikipedia: Wikipedia List of mathematics books#R1QT, Tilings and patterns (definition)

History

2026-11-02: add by m2/dev

EPRS9SEVTD EPRS9SEVTD

URI	`m2://inv/EPRS9SEVTD`
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 2610.09314#P2YV (statement). In Z04N0B3R0V/e1, theorem 3.13

History

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

Regular-code potential threshold EPRXDJZW97

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

Mentions

arxiv: arXiv 2609.24568#QSRZ, Regular-code potential threshold (definition)

History

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

ring EPS3W1WAEZ

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#FZVH, ring (definition)

History

2026-11-02: add by m2/dev

Thermodynamic length EPS5GJZCV1

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

Mentions

wikipedia: Wikipedia Fisher information metric#ZQ2P, Thermodynamic length (unknown)

History

2026-11-02: add by m2/dev

Great hexacronic icositetrahedron EPS824SD27

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3SBW, Great hexacronic icositetrahedron (object)

History

2026-11-02: add by m2/dev

Definition EPSK2WJ5T9

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

Mentions

wikipedia: Wikipedia Abstract rewriting system#HB0M, Definition (definition)

History

2026-11-02: add by m2/dev

Jan de Boer EPSM1PW9RW

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

Mentions

wikipedia: Wikipedia List of string theory topics#FZO4, Jan de Boer (unknown)

History

2026-11-02: add by m2/dev

EPSPVYQ08H EPSPVYQ08H

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

Mentions

arxiv: arXiv 2111.00832#FIHB (statement). In KM0XEAXFMF/e1, corollary 3.2

History

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

Claghorn, Kate EPSYCS627G

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

Mentions

wikipedia: Wikipedia List of statisticians#EM1P, Claghorn, Kate (unknown)

History

2026-11-02: add by m2/dev

EPT0C09M4K EPT0C09M4K

URI	`m2://inv/EPT0C09M4K`
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.15700#L03F (statement). In S95MSZ7MDR/e1, lemma 3.18

History

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

hyperparallel EPT19WJTQW

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

Mentions

wikidata: Wikidata Q11827862, hyperparallel (concept). Also MathWorld Hyperparallel

History

2026-10-26: add by m2/dev

Argument EPT249S3DP

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

Mentions

wikipedia: Wikipedia Argument, Argument (definition). Also Wikidata Q186619

History

2026-11-02: add by m2/dev

EPT5WRXFJM EPT5WRXFJM

URI	`m2://inv/EPT5WRXFJM`
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.40207#KYBF (statement). In JXTG8KP95P/e1, lemma 5.3

History

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

EPTJ4FDF5X EPTJ4FDF5X

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

Mentions

arxiv: arXiv 2211.14214#JC73 (statement). In SY85Y9E45A/e1, theorem 5

History

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

EPTTMXW7NE EPTTMXW7NE

URI	`m2://inv/EPTTMXW7NE`
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#46WV (statement). In 3WBQFVX65D/e1, theorem 3.1

History

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

EPV06ZG1BM EPV06ZG1BM

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

Mentions

arxiv: arXiv 2609.28594#6XDG (statement)

History

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

Great disnub dirhombidodecahedron EPV7XHY6HY

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#75XY, Great disnub dirhombidodecahedron (object)

History

2026-11-02: add by m2/dev

EPV83D56CM EPV83D56CM

URI	`m2://inv/EPV83D56CM`
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#8OFD (statement). In V0S2EZ53GB/e1, lemma 1.2

History

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

rectifiable set EPVG93SR8Q

URI	`m2://inv/EPVG93SR8Q`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Rectifiable set 7N0GFMW05R

Mentions

wikidata: Wikidata Q3038340, rectifiable set (unknown). Also EoM Rectifiable_set, MathWorld RectifiableSet
wikipedia: Wikipedia Rectifiable set, Rectifiable set (definition). Also Wikidata Q3038340

History

2026-10-26: add by m2/dev

EPVHNWZFVT EPVHNWZFVT

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#KZUG (definition)

History

2026-11-02: add by m2/dev

The Mathematical Experience EPVVZSVQT1

URI	`m2://inv/EPVVZSVQT1`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q7750659, The Mathematical Experience (unknown). Also ProofWiki Book:Philip_J._Davis/The_Mathematical_Experience
wikipedia: Wikipedia The Mathematical Experience, The Mathematical Experience (definition). Also Wikidata Q7750659

History

2026-10-26: add by m2/dev

Günter Lumer EPVY562KDR

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

Mentions

wikipedia: Wikipedia Günter Lumer, Günter Lumer (topic). Also Wikidata Q1560776

History

2026-11-02: add by m2/dev

Examples EPW15D7M0V

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

Mentions

wikipedia: Wikipedia Topological homomorphism#NDOH, Examples (example)

History

2026-11-02: add by m2/dev

EPW2K9RZVW EPW2K9RZVW

URI	`m2://inv/EPW2K9RZVW`
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.13898#JA9A (statement). In 44EVK9BPC9/e1, proposition 2.8

History

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

EPW33WCE8T EPW33WCE8T

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

Mentions

arxiv: arXiv 2610.04252#ZHT7 (definition). In ZF0Z61VQ96/e1, definition 1.1

History

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

EPW6ZK6MZY EPW6ZK6MZY

URI	`m2://inv/EPW6ZK6MZY`
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.31858#AMN3 (statement). In QV16PHDXKJ/e1, lemma A.2

History

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

EPW9HZAZJJ EPW9HZAZJJ

URI	`m2://inv/EPW9HZAZJJ`
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.04600#TDHM (statement). In 4V64K0DYSV/e1, lemma I.8.1

History

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

Harmonic-decomposition Crandall representation of the regularized anisotropic Epstein zeta function EPWA30VKV4

URI	`m2://inv/EPWA30VKV4`
Kind	statement
Layer	research
MSC	11-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 2609.28282#7YRU, Harmonic-decomposition Crandall representation of the regularized anisotropic Epstein zeta function (statement)

History

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

Examples EPWEMXNDPW

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

Mentions

wikipedia: Wikipedia Ultraproduct#L1R2, Examples (example)

History

2026-11-02: add by m2/dev

EPWM4TKVB7 EPWM4TKVB7

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

Mentions

arxiv: arXiv 2610.07963#L78W (example). In HAGJKEZ1CK/e1, example 7.8

History

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

EPWR5XC5V2 EPWR5XC5V2

URI	`m2://inv/EPWR5XC5V2`
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.14985#6LZ1 (example). In DGXJW3SCBR/e1, example 37

History

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

Simplices EPWSM11SNC

URI	`m2://inv/EPWSM11SNC`
Kind	definition
Layer	research
MSC	46-XX, 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 2606.21391#UKH3, Simplices (definition). In J9C7YMKJ33/e1, definition 3.5

History

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

Dual numbers EPX22ZBXGT

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#934E, Dual numbers (definition)

History

2026-11-02: add by m2/dev

Walter Neumann EPX6VHK60R

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

Mentions

wikipedia: Wikipedia Walter Neumann, Walter Neumann (topic). Also Wikidata Q24005345

History

2026-11-02: add by m2/dev

EPXFANHHTJ EPXFANHHTJ

URI	`m2://inv/EPXFANHHTJ`
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.19535#UUBB (statement). In MJXSE9QR4X/e1, lemma 4.2

History

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

skew lines EPXH7S6CJY

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

Mentions

wikidata: Wikidata Q668297, skew lines (unknown). Also MathWorld SkewLines
wikipedia: Wikipedia Skew lines, Skew lines (definition). Also Wikidata Q668297

History

2026-10-26: add by m2/dev

EPXPCDVDQ5 EPXPCDVDQ5

URI	`m2://inv/EPXPCDVDQ5`
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 2610.17759#Q8SR (statement). In 7MWKMG2V8A/e1, lemma 4.1

History

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

EPXRVR2KNA EPXRVR2KNA

URI	`m2://inv/EPXRVR2KNA`
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#ZHQM (statement). In M0SQY5EZN5/e1, theorem 4.6.12

History

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

Cayley's hyperdeterminant EPXVA51R3Z

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#JR4Z, Cayley's hyperdeterminant (definition)

History

2026-11-02: add by m2/dev

termwise comparison EPYJQ3NSXE

URI	`m2://inv/EPYJQ3NSXE`
Kind	statement
Layer	research
MSC	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.26134#3ICM, termwise comparison (statement)

History

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

EPYQFRFWTN EPYQFRFWTN

URI	`m2://inv/EPYQFRFWTN`
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 1902.04230#8KJN (statement). In 22JZ68FGCW/e1, proposition 6.12

History

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

Euler number EPYWEX72CM

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

Mentions

wikipedia: Wikipedia List of mathematical series#F2FU, Euler number (definition)

History

2026-11-02: add by m2/dev

EPZ2TP2GQZ EPZ2TP2GQZ

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

Mentions

arxiv: arXiv 2508.21045#1UFB (statement). In CGA36VE1C5/e1, fact 3.8.5

History

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

center EPZ4VSPB5S

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#JMMR, center (definition)

History

2026-11-02: add by m2/dev

EPZ7YTR0X5 EPZ7YTR0X5

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_combinations.ptx#prop_strings_symmetric (statement). In QKM9DD2H56, proposition, section 2.3

History

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

Ronald L. Iman EPZH366NYM

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

Mentions

wikipedia: Wikipedia Ronald L. Iman, Ronald L. Iman (topic). Also Wikidata Q7365041

History

2026-11-02: add by m2/dev

EPZJ4WBAC1 EPZJ4WBAC1

URI	`m2://inv/EPZJ4WBAC1`
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 2602.03058#CMH2 (statement). In XQ0ZXH8KAC/e1, theorem 5

History

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

Teichmüller character EPZK7VH4QX

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

Mentions

wikipedia: Wikipedia Teichmüller character, Teichmüller character (definition). Also Wikidata Q7694961

History

2026-11-02: add by m2/dev

event EPZQBFSJVQ

URI	`m2://inv/EPZQBFSJVQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Event 031TPJVS74

Mentions

wikidata: Wikidata Q10290214, event (unknown). Also MathWorld Event
wikipedia: Wikipedia Event (probability theory), Event (definition). Also Wikidata Q10290214

History

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

EPZSZMQY0P EPZSZMQY0P

URI	`m2://inv/EPZSZMQY0P`
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 2603.21971#3EVY (definition). In R6KSZ9H8CY/e1, definition 3

History

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

Optimal error exponent for average error probability in Bayesian hypothesis testing EPZVCKSB0B

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

Mentions

wikipedia: Wikipedia Error exponents in hypothesis testing#QS3E, Optimal error exponent for average error probability in Bayesian hypothesis testing (statement)

History

2026-11-02: add by m2/dev