Inventory rows 4M

Hartogs's extension theorem and Hartogs's phenomenon 4M06YR4HVS

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

Mentions

wikipedia: Wikipedia Function of several complex variables#KTLI, Hartogs's extension theorem and Hartogs's phenomenon (statement)

History

2026-11-02: add by m2/dev

Examples 4M08H3S1CA

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

Mentions

wikipedia: Wikipedia Ancillary statistic#EJRZ, Examples (example)

History

2026-11-02: add by m2/dev

Statement 4M0BAP70VA

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

Mentions

wikipedia: Wikipedia Stein's lemma#R4CL, Statement (statement)

History

2026-11-02: add by m2/dev

4M0CW2G9MA 4M0CW2G9MA

URI	`m2://inv/4M0CW2G9MA`
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 2212.05398#60ML (statement). In WQKQ8438M7/e1, lemma 1.2

History

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

Erdős–Kac theorem 4M0K85G8FN

URI	`m2://inv/4M0K85G8FN`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	Erdős–Kac theorem BY5WRND0J1

Mentions

mathlib_1000: mathlib_1000 Q846840, Erdős–Kac theorem (statement). Also Wikidata Q846840
thousand_plus: thousand_plus Q846840, Erdős–Kac theorem (statement). Also Wikidata Q846840, Wikipedia Erdős–Kac theorem
wikidata: Wikidata Q846840, Erdős–Kac theorem (statement). Also MathWorld Erdos-KacTheorem
wikipedia: Wikipedia Erdős–Kac theorem, Erdős–Kac theorem (statement). Also Wikidata Q846840

History

2026-10-26: add by m2/dev

Abstract homotopy theory 4M0R12NGDK

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

Mentions

wikipedia: Wikipedia Homotopy theory#VPX5, Abstract homotopy theory (unknown)

History

2026-11-02: add by m2/dev

Dorothy W. Nelson 4M0TZ6XKS4

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#BM5U, Dorothy W. Nelson (unknown)

History

2026-11-02: add by m2/dev

countable configurations 4M0V4JYBQR

URI	`m2://inv/4M0V4JYBQR`
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 2610.04000#XDC1, countable configurations (statement). In CBCCH5VTMQ/e1, theorem 2.10

History

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

Positive exponential chaining 4M0VZ8P6DN

URI	`m2://inv/4M0VZ8P6DN`
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.22927#UM3B, Positive exponential chaining (statement)

History

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

Compact support yields a flat SPO+ risk 4M0W8QW0WF

URI	`m2://inv/4M0W8QW0WF`
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.33472#HI6W, Compact support yields a flat SPO+ risk (example). In WBQQBZ4FCJ/e1, example 4.1

History

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

4M0XHF6XYF 4M0XHF6XYF

URI	`m2://inv/4M0XHF6XYF`
Kind	statement
Layer	research
MSC	11-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.18503#COI0 (statement). In RW315W172S/e1, theorem 6.4

History

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

4M0XQ5AQBJ 4M0XQ5AQBJ

URI	`m2://inv/4M0XQ5AQBJ`
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.09298#T1F4 (definition). In 1SPQ4J3AWY/e1, definition 5.5

History

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

4M0YZ696BK 4M0YZ696BK

URI	`m2://inv/4M0YZ696BK`
Kind	statement
Layer	research
MSC	20-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.26479#BU4N (statement)

History

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

4M19QAP5CP 4M19QAP5CP

URI	`m2://inv/4M19QAP5CP`
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#DO5I (statement). In MNQAZ70XTH/e1, proposition 12.2

History

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

4M1C9YV3SS 4M1C9YV3SS

URI	`m2://inv/4M1C9YV3SS`
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.06033#I1P8 (statement). In Q1YDP67JQ4/e1, lemma 2.1

History

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

4M1VH5KBHA 4M1VH5KBHA

URI	`m2://inv/4M1VH5KBHA`
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.21868#FDLY (statement). In WWAQEF0093/e1, lemma 3.4

History

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

4M1WBS7Y43 4M1WBS7Y43

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

Mentions

arxiv: arXiv 2610.21752#BF7A (statement). In E4DJTPKHAX/e1, proposition 4.3

History

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

Application to Bieberbach conjecture 4M1Z2NEP6C

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

Mentions

wikipedia: Wikipedia Loewner differential equation#3RZM, Application to Bieberbach conjecture (statement)

History

2026-11-02: add by m2/dev

James Gregory 4M25H245K2

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

Mentions

wikipedia: Wikipedia James Gregory (mathematician), James Gregory (topic). Also Wikidata Q313906

History

2026-11-02: add by m2/dev

4M27Y5P7RJ 4M27Y5P7RJ

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

Mentions

arxiv: arXiv 2511.06555#FGUF (example). In 5GDDS20Q3D/e1, example 3.2

History

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

Jean Pedersen 4M28YNNQ3Y

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HS19, Jean Pedersen (topic)
wikipedia: Wikipedia List of people by Erdős number#QB98, Jean Pedersen (topic)

History

2026-11-02: add by m2/dev

4M2FJHC12Y 4M2FJHC12Y

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

Mentions

arxiv: arXiv 2610.10338#PJIW (statement). In WZ3GXRAB00/e1, theorem 1.1

History

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

4M2HJ4X3WF 4M2HJ4X3WF

URI	`m2://inv/4M2HJ4X3WF`
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.31489#3F2L (statement). In ZKBG58PN1J/e1, theorem 1.2

History

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

Claudia Spiro 4M2HQ5EHEJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#86FY, Claudia Spiro (topic)

History

2026-11-02: add by m2/dev

Slope at equilibrium 4M2JFPQV48

URI	`m2://inv/4M2JFPQV48`
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.06480#L3XD, Slope at equilibrium (statement). In 2Y47E704Z9/e1, proposition 7.1

History

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

4M2K44NWV3 4M2K44NWV3

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

Mentions

arxiv: arXiv 2609.28780#D0P9 (statement)

History

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

4M2W2M6B77 4M2W2M6B77

URI	`m2://inv/4M2W2M6B77`
Kind	problem
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 2308.09645#HTLM (problem). In HVDSC1GQRD/e1, problem 3.7

History

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

4M36DBW14H 4M36DBW14H

URI	`m2://inv/4M36DBW14H`
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.15593#YGYU (statement). In PREJREM4BB/e1, theorem 3.8

History

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

4M3DVZ0YSA 4M3DVZ0YSA

URI	`m2://inv/4M3DVZ0YSA`
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 2504.13328#FOMJ (definition). In 736Q32FYCG/e1, definition 4.8

History

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

4M3HDBCN1S 4M3HDBCN1S

URI	`m2://inv/4M3HDBCN1S`
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.26017#BZJ0 (statement)

History

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

Littlewood polynomial 4M3KN6DPXF

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

Mentions

wikipedia: Wikipedia List of polynomial topics#R6LK, Littlewood polynomial (definition)

History

2026-11-02: add by m2/dev

Domestic cats' 4M3NRZSGXV

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#L7LS, Domestic cats' (unknown)

History

2026-11-02: add by m2/dev

4M3W3DE6DK 4M3W3DE6DK

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

Mentions

arxiv: arXiv 2610.13260#6JCR (statement). In ZBQX9341RV/e1, lemma 2.3

History

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

4M4BF029BG 4M4BF029BG

URI	`m2://inv/4M4BF029BG`
Kind	statement
Layer	research
MSC	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 2609.24901#7V6K (statement)

History

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

4M4G776DJS 4M4G776DJS

URI	`m2://inv/4M4G776DJS`
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.38749#1JRR (statement). In 3ZPVZE3GZH/e1, corollary 5

History

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

elimination rule 4M4HY6HK0J

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

Mentions

wikipedia: Wikipedia Glossary of logic#8YSM, elimination rule (definition)

History

2026-11-02: add by m2/dev

Matching lower bound from temporal dependence 4M4KP8H7H7

URI	`m2://inv/4M4KP8H7H7`
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.39144#GI1V, Matching lower bound from temporal dependence (statement). In 814ZF5WMMF/e1, theorem 2

History

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

Amalendu Krishna 4M4VEVG6H0

URI	`m2://inv/4M4VEVG6H0`
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 Q20798882, Amalendu Krishna (unknown). Also nLab Amalendu Krishna

History

2026-10-26: add by m2/dev

4M4VV09JG5 4M4VV09JG5

URI	`m2://inv/4M4VV09JG5`
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.08251#BWM0 (statement). In YRJKC9DJEA/e1, lemma 3.4

History

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

4M4WR9V922 4M4WR9V922

URI	`m2://inv/4M4WR9V922`
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 2508.03972#6F6B (statement). In 2JD3KNKJ1P/e1, lemma 3.16

History

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

Mean signed deviation 4M4Z1KE531

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

Mentions

wikipedia: Wikipedia Mean signed deviation, Mean signed deviation (definition). Also Wikidata Q6803640

History

2026-11-02: add by m2/dev

Trigonometric polynomial 4M50E9SMAT

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

Mentions

wikipedia: Wikipedia Trigonometric polynomial, Trigonometric polynomial (definition). Also Wikidata Q1969650

History

2026-11-02: add by m2/dev

4M55SMW928 4M55SMW928

URI	`m2://inv/4M55SMW928`
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.32174#UDL5 (statement). In GHKR740SG3/e1, theorem 12.3

History

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

Examples 4M56BZP19Z

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

Mentions

wikipedia: Wikipedia Denying the antecedent#DCS8, Examples (example)

History

2026-11-02: add by m2/dev

Uniform exterior concentrating functions 4M56KCHAYQ

URI	`m2://inv/4M56KCHAYQ`
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.10484#ZDM9, Uniform exterior concentrating functions (statement). In 5B4AX4SF88/e1, lemma 3.1

History

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

4M5C0GAC0Y 4M5C0GAC0Y

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

Mentions

arxiv: arXiv 2610.21632#SHXQ (definition). In Q4RZTN2EX6/e1, definition 2.1

History

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

4M5DV78CS0 4M5DV78CS0

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#definition-3 (definition). In RZP28ERRZV, definition, section 14.4

History

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

4M5E0AC7Z4 4M5E0AC7Z4

URI	`m2://inv/4M5E0AC7Z4`
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 1509.00950#ALLY (statement). In MDZFW5GACV/e1, corollary 1.5

History

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

Chuu-Lian Terng 4M5FCQ0NDD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2VO7, Chuu-Lian Terng (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PP97, Chuu-Lian Terng (topic)

History

2026-11-02: add by m2/dev

Uses 4M5T77H2EA

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

Mentions

wikipedia: Wikipedia Normal (geometry)#PPLG, Uses (example)

History

2026-11-02: add by m2/dev

4M665XN5KM 4M665XN5KM

URI	`m2://inv/4M665XN5KM`
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.18358#3835 (statement). In SPZ446XNDW/e1, corollary 6.2

History

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

Stefan Burr 4M67BWRE00

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4HL5, Stefan Burr (topic)

History

2026-11-02: add by m2/dev

4M6NWD7ZGF 4M6NWD7ZGF

URI	`m2://inv/4M6NWD7ZGF`
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.12295#E5RR (statement). In 6DZPR52HRP/e1, lemma 2.8

History

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

Examples 4M6P1HNS43

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

Mentions

wikipedia: Wikipedia Normed vector lattice#WUF9, Examples (example)

History

2026-11-02: add by m2/dev

Properties 4M77E5KRK8

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

Mentions

wikipedia: Wikipedia Regular octahedron#C3PF, Properties (statement)

History

2026-11-02: add by m2/dev

Quasi-bialgebra 4M7D6TYQQ0

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

Mentions

wikipedia: Wikipedia Quasi-bialgebra, Quasi-bialgebra (definition). Also Wikidata Q3413373

History

2026-11-02: add by m2/dev

Apparent contour 4M7ES1A74H

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

Mentions

wikipedia: Wikipedia Apparent contour, Apparent contour (definition). Also Wikidata Q2995692

History

2026-11-02: add by m2/dev

Corrado Gini 4M7HW066T5

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#VNHL, Corrado Gini (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#52SC, Corrado Gini (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#71FQ, Corrado Gini (unknown)

History

2026-11-02: add by m2/dev

4M7N04WM80 4M7N04WM80

URI	`m2://inv/4M7N04WM80`
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.18078#YI8H (statement). In YVK8EFSYNJ/e1, lemma 5.3

History

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

4M7WM65VXB 4M7WM65VXB

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

Mentions

open_logic: open_logic content/set-theory/spine/stagesbasics.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 75.1

History

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

\bf Geometry of the shared-root tree 4M81VV4JH4

URI	`m2://inv/4M81VV4JH4`
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.02791#X0GI, \bf Geometry of the shared-root tree (statement). In TT9BA4VMTW/e1, fact C.4

History

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

Michael Rapoport 4M83MEGAM6

URI	`m2://inv/4M83MEGAM6`
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 Q90246, Michael Rapoport (unknown). Also nLab Michael Rapoport
wikipedia: Wikipedia Michael Rapoport, Michael Rapoport (topic). Also Wikidata Q90246

History

2026-10-26: add by m2/dev

4M86N06ZV1 4M86N06ZV1

URI	`m2://inv/4M86N06ZV1`
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.20469#EB5J (statement)

History

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

4M8GKT929X 4M8GKT929X

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

Mentions

arxiv: arXiv 2610.18929#W155 (definition). In ZRJ2DZT6P1/e1, definition 8.2

History

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

4M8K4GKD85 4M8K4GKD85

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

Mentions

arxiv: arXiv 2610.13385#E8PV (example). In J99CBQ3QYD/e1, example 3.5

History

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

4M8PYGPG2G 4M8PYGPG2G

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise:squareineq (exercise). In E59CDZA4DP, exercise, section 7.1.1

History

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

4M8RQ3PZ8E 4M8RQ3PZ8E

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

Mentions

arxiv: arXiv 2610.06541#LIFI (statement). In R604B78EVK/e1, corollary 5.4

History

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

Classification of the binary orbit codes 4M8ZZADG10

URI	`m2://inv/4M8ZZADG10`
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.15340#119Z, Classification of the binary orbit codes (statement). In 9NVKKW8HDH/e1, corollary 3.20

History

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

4M9187F05J 4M9187F05J

URI	`m2://inv/4M9187F05J`
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#4C8T (statement)

History

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

Definition 4M9CXVCJ5W

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

Mentions

wikipedia: Wikipedia Order convergence#XN66, Definition (definition)

History

2026-11-02: add by m2/dev

Graeme Segal 4M9FZ13XHX

URI	`m2://inv/4M9FZ13XHX`
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#QCDT, Graeme Segal (topic)

History

2026-11-02: add by m2/dev

Affine-regular polygon 4M9SG358G2

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

Mentions

wikipedia: Wikipedia Affine-regular polygon, Affine-regular polygon (definition). Also Wikidata Q4688930

History

2026-11-02: add by m2/dev

Holmes–Thompson volume 4M9WP6M0PD

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

Mentions

wikipedia: Wikipedia Holmes–Thompson volume, Holmes–Thompson volume (definition). Also Wikidata Q48996177

History

2026-11-02: add by m2/dev

4M9YDMFYRS 4M9YDMFYRS

URI	`m2://inv/4M9YDMFYRS`
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#U7TX (statement). In G02N9D40B9/e1, corollary 4.4.4

History

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

Uniqueness 4MA9BX95GW

URI	`m2://inv/4MA9BX95GW`
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.17129#VBRU, Uniqueness (statement). In TCZWAMNYCV/e1, corollary 6.17

History

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

Theorem (smooth Hodge–Weyl decomposition) 4MA9WETDF0

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

Mentions

wikipedia: Wikipedia Differential forms on a Riemann surface#GWU4, Theorem (smooth Hodge–Weyl decomposition) (statement)

History

2026-11-02: add by m2/dev

4MAB8QQ46Z 4MAB8QQ46Z

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

Mentions

arxiv: arXiv 2610.13972#8HT4 (statement). In S1KHNS8XQM/e1, lemma 8.2

History

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

Diurnal tide 4MAMA9H6R5

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

Mentions

wikipedia: Wikipedia Tide#YZOG, Diurnal tide (unknown)

History

2026-11-02: add by m2/dev

Applications 4MAMHXGXC6

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

Mentions

wikipedia: Wikipedia Triangular prism#J8Z0, Applications (example)

History

2026-11-02: add by m2/dev

Definition 4MANQC231Q

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

Mentions

wikipedia: Wikipedia Lebesgue constant#81AY, Definition (definition)

History

2026-11-02: add by m2/dev

4MAT03QTRS 4MAT03QTRS

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

Mentions

arxiv: arXiv 2610.04730#2SE2 (statement). In QHFP0837Q8/e1, proposition 5.9

History

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

Theorem 4MAV4NZMNT

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

Mentions

wikipedia: Wikipedia Inner product space#B8WL, Theorem (statement)

History

2026-11-02: add by m2/dev

Riemann bilinear relations 4MB0WF4WCA

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#AYZ8, Riemann bilinear relations (definition)

History

2026-11-02: add by m2/dev

Statement 4MB1JRK9BA

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

Mentions

wikipedia: Wikipedia Subspace theorem#QN7K, Statement (statement)

History

2026-11-02: add by m2/dev

Statement 4MB6P8FE8Q

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

Mentions

wikipedia: Wikipedia Harsanyi's utilitarian theorem#5FF4, Statement (statement)

History

2026-11-02: add by m2/dev

4MB8KYR3TR 4MB8KYR3TR

URI	`m2://inv/4MB8KYR3TR`
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.08198#ULVK (statement). In 50K0H8HRED/e1, theorem A

History

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

4MBPJ8JV43 4MBPJ8JV43

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

Mentions

arxiv: arXiv 2609.28824#NFXS (statement)

History

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

4MBYQ2D41Z 4MBYQ2D41Z

URI	`m2://inv/4MBYQ2D41Z`
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.29227#L9EU (statement)

History

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

Euler-product perturbation estimate 4MC5CEVG98

URI	`m2://inv/4MC5CEVG98`
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.12803#JZV2, Euler-product perturbation estimate (statement). In 98GNJ4MS7Q/e1, proposition 8

History

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

Applications 4MC8KZ3KE9

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

Mentions

wikipedia: Wikipedia Knee of a curve#AELP, Applications (example)

History

2026-11-02: add by m2/dev

commuting matrices 4MCDT43V05

URI	`m2://inv/4MCDT43V05`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Commuting matrices 8G3X8MPG7E

Mentions

wikidata: Wikidata Q3360633, commuting matrices (unknown). Also MathWorld CommutingMatrices
wikipedia: Wikipedia Commuting matrices, Commuting matrices (definition). Also Wikidata Q3360633

History

2026-10-26: add by m2/dev

Ankeny–Artin–Chowla congruence 4MCGSQWMQP

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

Mentions

mathlib_1000: mathlib_1000 Q2993026, Ankeny–Artin–Chowla theorem (statement). Also Wikidata Q2993026
thousand_plus: thousand_plus Q2993026, Ankeny–Artin–Chowla theorem (statement). Also Wikidata Q2993026, Wikipedia Ankeny–Artin–Chowla theorem
wikipedia: Wikipedia Ankeny–Artin–Chowla congruence, Ankeny–Artin–Chowla congruence (definition). Also Wikidata Q2993026

History

2026-10-26: add by m2/dev

unicoherent space 4MCGY2XW14

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

Mentions

wikidata: Wikidata Q7884743, unicoherent space (concept). Also MathWorld UnicoherentSpace
wikipedia: Wikipedia Unicoherent space, Unicoherent space (definition). Also Wikidata Q7884743

History

2026-10-26: add by m2/dev

Noncentral chi distribution 4MCNPHGYT5

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

Mentions

wikipedia: Wikipedia Noncentral chi distribution, Noncentral chi distribution (definition). Also Wikidata Q3258492

History

2026-11-02: add by m2/dev

Neighbourhood of a sequence 4MCWW013EP

URI	`m2://inv/4MCWW013EP`
Kind	definition
Layer	research
MSC	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 2609.25188#X701, Neighbourhood of a sequence (definition)

History

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

4MD17FSV5M 4MD17FSV5M

URI	`m2://inv/4MD17FSV5M`
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.27974#2J2B (definition)

History

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

trisected perimeter point 4MD5ETT25E

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

Mentions

wikidata: Wikidata Q16999896, trisected perimeter point (unknown). Also MathWorld TrisectedPerimeterPoint
wikipedia: Wikipedia Trisected perimeter point, Trisected perimeter point (definition). Also Wikidata Q16999896

History

2026-10-26: add by m2/dev

4MD5MT8RKK 4MD5MT8RKK

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

Mentions

arxiv: arXiv 2609.36412#YW95 (statement). In 6HKGGCMBCK/e1, lemma 8.1

History

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

4MD6K909FD 4MD6K909FD

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

Mentions

arxiv: arXiv 2610.16362#R445 (statement). In 4NJ4T3DEQB/e1, proposition 4.5

History

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

4MD82ZR9E9 4MD82ZR9E9

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

Mentions

hott_book: hott_book homotopy.tex#thm:kbar (statement). In N54F33XE07, lem, section 7.7.2

History

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

4MD8EEWKEG 4MD8EEWKEG

URI	`m2://inv/4MD8EEWKEG`
Kind	example
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#4OU4 (example). In KS30K5JXGB/e1, example 4.8

History

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

4MD8N52R2J 4MD8N52R2J

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

Mentions

arxiv: arXiv 2302.05529#E60X (example). In 9VPMHV0M4R/e1, example 3.16

History

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

Example 4MDFQ5H31Z

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

Mentions

wikipedia: Wikipedia Algorithmic Lovász local lemma#Z488, Example (example)

History

2026-11-02: add by m2/dev

Theodore Slaman 4MDMDPN06F

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#94ID, Theodore Slaman (topic)

History

2026-11-02: add by m2/dev

distribution 4MDRJ3S2YR

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

Mentions

wikidata: Wikidata Q564835, distribution (unknown). Also EoM Distribution_of_tangent_subspaces, nLab distribution of subspaces
wikipedia: Wikipedia Distribution (differential geometry), Distribution (definition). Also Wikidata Q564835

History

2026-10-26: add by m2/dev

E6 polytope 4MDT3NQHGM

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

Mentions

wikipedia: Wikipedia E6 polytope, E6 polytope (definition). Also Wikidata Q6569565

History

2026-11-02: add by m2/dev

Minakshisundaram–Pleijel zeta function 4MDV7B5C9E

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

Mentions

wikipedia: Wikipedia List of zeta functions#DR3E, Minakshisundaram–Pleijel zeta function (definition)

History

2026-11-02: add by m2/dev

definition, by pattern matching 4MDXNRCKGY

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

Mentions

hott_book: hott_book index/A.10/definition-by-pattern-matching, definition, by pattern matching (concept). In N54F33XE07, index, section A.10

History

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

Jakob Horn 4MDZYQW2QD

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

Mentions

wikipedia: Wikipedia List of German mathematicians#XG6W, Jakob Horn (topic)

History

2026-11-02: add by m2/dev

4ME27BMW16 4ME27BMW16

URI	`m2://inv/4ME27BMW16`
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.05652#TSPV (statement). In 8BNPFYQDQX/e1, lemma 13.4

History

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

Nonstandard calculus 4ME2EVBH16

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

Mentions

wikipedia: Wikipedia Nonstandard calculus, Nonstandard calculus (definition). Also Wikidata Q17104781

History

2026-11-02: add by m2/dev

limit 4MEJ2279W0

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

Mentions

wikipedia: Wikipedia Glossary of set theory#HCST, limit (definition)

History

2026-11-02: add by m2/dev

category 4MENWNQRW5

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

Mentions

wikipedia: Wikipedia Glossary of logic#X8FX, category (definition)

History

2026-11-02: add by m2/dev

classification of isometries in two and three dimensions 4MEXRXF1RD

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

Mentions

mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > classification of isometries in two and three dimensions, classification of isometries in two and three dimensions (unknown)

History

2026-10-26: add by m2/dev

Polydivisible number 4MF1KJ5SQT

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

Mentions

wikipedia: Wikipedia Polydivisible number, Polydivisible number (definition). Also Wikidata Q836100

History

2026-11-02: add by m2/dev

Phragmén–Lindelöf theorem 4MFM08DT5C

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

Mentions

wikipedia: Wikipedia List of theorems#9HL0, Phragmén–Lindelöf theorem (statement)

History

2026-11-02: add by m2/dev

Well-definedness of $K_2$ 4MFP0YXXHQ

URI	`m2://inv/4MFP0YXXHQ`
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#WNYH, Well-definedness of $K_2$ (statement). In RWNP4FEE65/e1, lemma 3.16

History

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

4MFSXESSDY 4MFSXESSDY

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#prob:kronecker_weber_theorem (exercise). In RZP28ERRZV, dproblem, section 8.8

History

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

Galton–Watson process 4MFTP4H3BZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#S1F0, Galton–Watson process (definition)
wikipedia: Wikipedia List of probability topics#DEYI, Galton–Watson process (definition)

History

2026-11-02: add by m2/dev

Proof that 22/7 exceeds π 4MFTZDJPNT

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#K1VS, Proof that 22/7 exceeds π (definition)
wikipedia: Wikipedia List of calculus topics#JMKW, Proof that 22/7 exceeds π (definition)
wikipedia: Wikipedia List of mathematical examples#JLZL, Proof that 22/7 exceeds π (definition)

History

2026-11-02: add by m2/dev

Genetic algorithm scheduling 4MFWH71ZPJ

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

Mentions

wikipedia: Wikipedia Genetic algorithm scheduling, Genetic algorithm scheduling (definition). Also Wikidata Q5532874

History

2026-11-02: add by m2/dev

Archimedean absolute value 4MG49BE6W7

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#ZTD3, Archimedean absolute value (definition)

History

2026-11-02: add by m2/dev

Fisher's method 4MG4MSPNX0

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

Mentions

wikipedia: Wikipedia List of statistics articles#7IWC, Fisher's method (definition)

History

2026-11-02: add by m2/dev

image 4MGBGZ7YXH

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

Mentions

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

History

2026-11-02: add by m2/dev

Properties 4MGC5QZNMS

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

Mentions

wikipedia: Wikipedia Rate function#FAVO, Properties (statement)

History

2026-11-02: add by m2/dev

4MGTZDZ37D 4MGTZDZ37D

URI	`m2://inv/4MGTZDZ37D`
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.12502#YKFZ (statement). In EMAZEJFRYW/e1, corollary 2

History

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

Device-independent pixel 4MGX8PYF68

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#WWJE, Device-independent pixel (unknown)

History

2026-11-02: add by m2/dev

4MH7RK3BQP 4MH7RK3BQP

URI	`m2://inv/4MH7RK3BQP`
Kind	statement
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.33704#GXTP (statement). In STRVMT83HE/e1, lemma 6

History

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

4MH8C30HAS 4MH8C30HAS

URI	`m2://inv/4MH8C30HAS`
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 1103.1038#P7OB (statement). In T9VMNNPS0H/e1, theorem 5.4

History

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

Alan Guth 4MH8SNM6AE

URI	`m2://inv/4MH8SNM6AE`
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 Q323316, Alan Guth (unknown). Also nLab Alan Guth

History

2026-10-26: add by m2/dev

4MHAN3MW12 4MHAN3MW12

URI	`m2://inv/4MHAN3MW12`
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.20316#EHQO (statement). In YRJS76169Z/e1, proposition 7.5

History

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

4MHB9G1Q4K 4MHB9G1Q4K

URI	`m2://inv/4MHB9G1Q4K`
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#F4S8 (statement)

History

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

4MHMJN1FHZ 4MHMJN1FHZ

URI	`m2://inv/4MHMJN1FHZ`
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.19260#W5Q6 (statement). In PWXT7J9JX3/e1, proposition 5.2

History

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

Dennis Ritchie 4MHMTVR060

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RZ9Z, Dennis Ritchie (unknown)

History

2026-11-02: add by m2/dev

4MHQCCTHD6 4MHQCCTHD6

URI	`m2://inv/4MHQCCTHD6`
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.13429#LJNT (statement). In B2VB5T5WQD/e1, corollary 4.6

History

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

Circumcevian triangle 4MHR8ZCQ8V

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

Mentions

wikidata: Wikidata Q2493180, Circumcevian triangle (unknown). Also MathWorld CircumcevianTriangle
wikipedia: Wikipedia Circumcevian triangle, Circumcevian triangle (definition). Also Wikidata Q2493180

History

2026-10-26: add by m2/dev

4MJ0DTM9S6 4MJ0DTM9S6

URI	`m2://inv/4MJ0DTM9S6`
Kind	definition
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 2106.11898#GZT9 (definition). In KXXV5X8AG4/e1, definition 2.2

History

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

4MJ8TFJHD3 4MJ8TFJHD3

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#theorem-1 (statement). In E9HS8K3A52, theorem, section 9.1.2

History

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

Inverse pairing 4MJD5DD6GT

URI	`m2://inv/4MJD5DD6GT`
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#UQFY, Inverse pairing (statement). In 5BZQS1KY9A/e1, lemma 2.11

History

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

4MJEXG1GHH 4MJEXG1GHH

URI	`m2://inv/4MJEXG1GHH`
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 2206.05392#0QZ1 (example). In 58D1ZC82DW/e1, example 24

History

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

Short-rate model 4MJPX76R7N

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

Mentions

wikipedia: Wikipedia Short-rate model, Short-rate model (definition). Also Wikidata Q4162534

History

2026-11-02: add by m2/dev

geometric measure theory 4MJX0G39TE

URI	`m2://inv/4MJX0G39TE`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Geometric measure theory JW431VDN08

Mentions

wikidata: Wikidata Q3526918, geometric measure theory (unknown). Also EoM Geometric_measure_theory, nLab geometric measure theory
wikipedia: Wikipedia Geometric measure theory, Geometric measure theory (topic). Also Wikidata Q3526918

History

2026-10-26: add by m2/dev

Marc Burger 4MJZGFQYTE

URI	`m2://inv/4MJZGFQYTE`
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#64YT, Marc Burger (unknown)

History

2026-11-02: add by m2/dev

4MK2X600W1 4MK2X600W1

URI	`m2://inv/4MK2X600W1`
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.06810#40XM (statement). In 1NY2SA03XF/e1, lemma 3.10

History

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

4MK6ZMBKA7 4MK6ZMBKA7

URI	`m2://inv/4MK6ZMBKA7`
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.26745#2WLN (statement)

History

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

Solomon Marcus 4MK7SFH78T

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#DMXN, Solomon Marcus (unknown)

History

2026-11-02: add by m2/dev

Mutation (knot theory) 4MKEHBR7PW

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

Mentions

wikipedia: Wikipedia List of knot theory topics#467L, Mutation (knot theory) (unknown)

History

2026-11-02: add by m2/dev

4MKN4B5P5B 4MKN4B5P5B

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 7.2

History

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

subformula 4MKP433B7X

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

Mentions

wikipedia: Wikipedia Glossary of logic#P9BS, subformula (definition)

History

2026-11-02: add by m2/dev

Fat-shattering and evaluation cubes 4MKQ9S1TTA

URI	`m2://inv/4MKQ9S1TTA`
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.20687#Q6GA, Fat-shattering and evaluation cubes (statement)

History

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

4MKVPZE54D 4MKVPZE54D

URI	`m2://inv/4MKVPZE54D`
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.13888#AAQN (statement). In 2G5K2GZTX7/e1, theorem 2.2

History

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

4MKWP1DWA9 4MKWP1DWA9

URI	`m2://inv/4MKWP1DWA9`
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.12736#VLKZ (statement). In 5350Q52F6P/e1, proposition 3.5

History

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

mathematics, formalized 4MMS6K5A39

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

Mentions

hott_book: hott_book index/3.5/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section 3.5

History

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

Direction vector \& modulus 4MN2V4HMZ6

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

Mentions

arxiv: arXiv 2610.10365#6XUM, Direction vector \& modulus (definition). In PRVQPSBVHK/e1, definition 4

History

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

4MNCHY73QC 4MNCHY73QC

URI	`m2://inv/4MNCHY73QC`
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.11900#GRW5 (statement). In TV4E4ZEAM4/e1, proposition III.1

History

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

Formal statement 4MNEM8ER22

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

Mentions

wikipedia: Wikipedia Arrow–Debreu model#4TEB, Formal statement (statement)

History

2026-11-02: add by m2/dev

Inflation 4MNJ7S07YW

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

Mentions

wikipedia: Wikipedia List of exponential topics#JV3W, Inflation (unknown)

History

2026-11-02: add by m2/dev

4MPEA4HKT6 4MPEA4HKT6

URI	`m2://inv/4MPEA4HKT6`
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.29501#JNC0 (statement)

History

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

Hales–Jewett theorem 4MPFNH4AFW

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

Mentions

mathlib_1000: mathlib_1000 Q1032886, Hales–Jewett theorem (statement). Also Mathlib Combinatorics.Line.exists_mono_in_high_dimension, Wikidata Q1032886
mathlib_overview: mathlib_overview Combinatorics > Ramsey theory > Hales-Jewett theorem, Hales-Jewett theorem (unknown). Also Mathlib Combinatorics.Line.exists_mono_in_high_dimension
thousand_plus: thousand_plus Q1032886, Hales–Jewett theorem (statement). Also Mathlib Combinatorics.Line.exists_mono_in_high_dimension, Wikidata Q1032886, Wikipedia Hales–Jewett theorem
wikipedia: Wikipedia Hales–Jewett theorem, Hales–Jewett theorem (statement). Also Wikidata Q1032886

History

2026-10-26: add by m2/dev

In)finiteness of slopes 4MPK8WZNNS

URI	`m2://inv/4MPK8WZNNS`
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 2610.12165#J2Z7, In)finiteness of slopes (definition). In 3JSE8A9CFH/e1, definition 2.7

History

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

4MPNSKXR9Q 4MPNSKXR9Q

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

Mentions

arxiv: arXiv 2603.21971#BF9Z (statement). In R6KSZ9H8CY/e1, lemma 4.1

History

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

4MPPJFNHJC 4MPPJFNHJC

URI	`m2://inv/4MPPJFNHJC`
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 2112.14455#0QK3 (statement). In VDE5R8HBS1/e1, theorem 4.7

History

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

Artin–Mazur zeta function 4MPS59E8YA

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

Mentions

wikipedia: Wikipedia List of zeta functions#KH25, Artin–Mazur zeta function (definition)

History

2026-11-02: add by m2/dev

4MQ3JN98C6 4MQ3JN98C6

URI	`m2://inv/4MQ3JN98C6`
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#YKKB (statement). In M0SQY5EZN5/e1, lemma 1.5.1

History

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

iid convex-hull approximation 4MQ720CB6V

URI	`m2://inv/4MQ720CB6V`
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.20687#9H2G, iid convex-hull approximation (statement)

History

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

The Gluck twins are inequivalent 4MQA5Q36HV

URI	`m2://inv/4MQA5Q36HV`
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 2609.29839#K1NV, The Gluck twins are inequivalent (statement)

History

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

4MQDKP4JSY 4MQDKP4JSY

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

Mentions

arxiv: arXiv 2610.10074#BJ2Q (statement). In BYAANB1NG0/e1, lemma 6.3

History

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

4MQFAB5S20 4MQFAB5S20

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things-quant.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 17.10

History

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

Multiplicity after a positive edge update 4MQSDDTWAG

URI	`m2://inv/4MQSDDTWAG`
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.14310#FTOU, Multiplicity after a positive edge update (statement). In 8GSG7024NW/e1, corollary 6.3

History

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

Conditional suffix bound 4MQTSQJWP3

URI	`m2://inv/4MQTSQJWP3`
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.40077#THO0, Conditional suffix bound (statement). In F0HMNYB8WB/e1, corollary 3.3

History

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

4MQWEX65GE 4MQWEX65GE

URI	`m2://inv/4MQWEX65GE`
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.22040#FXB5 (example). In 2QP93JHYNB/e1, example 7.7

History

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

4MR1CDT369 4MR1CDT369

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

Mentions

arxiv: arXiv 2609.21552#VMOO (statement)

History

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

4MR2MNE0A3 4MR2MNE0A3

URI	`m2://inv/4MR2MNE0A3`
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 2208.07401#Y9LF (statement). In GJD7HKCE56/e1, corollary 3.11

History

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

4MR7WN6VKG 4MR7WN6VKG

URI	`m2://inv/4MR7WN6VKG`
Kind	definition
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#R5DK (definition)

History

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

spectrum 4MR9B22YJB

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#NLUB, spectrum (definition)

History

2026-11-02: add by m2/dev

Holomorphic separability 4MRBA41DE5

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

Mentions

wikipedia: Wikipedia Holomorphic separability, Holomorphic separability (definition). Also Wikidata Q723166

History

2026-11-02: add by m2/dev

4MRJTQEG25 4MRJTQEG25

URI	`m2://inv/4MRJTQEG25`
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#BD4X (statement)

History

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

Sieben, U.S. Virgin Islands 4MRVRSTVZZ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#OG52, Sieben, U.S. Virgin Islands (unknown)

History

2026-11-02: add by m2/dev

Gerschenkron effect 4MRW72JA5E

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

Mentions

wikipedia: Wikipedia List of statistics articles#R9AG, Gerschenkron effect (definition)

History

2026-11-02: add by m2/dev

4MRZFHDCE3 4MRZFHDCE3

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

Mentions

arxiv: arXiv 2609.27360#RT30 (statement)

History

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

Olympiade Mathématique Belge 4MS58H1APJ

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#RW8P, Olympiade Mathématique Belge (unknown)

History

2026-11-02: add by m2/dev

Theorem (Luther decomposition) 4MSF04TF6E

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

Mentions

wikipedia: Wikipedia Measure (mathematics)#PFW7, Theorem (Luther decomposition) (statement)

History

2026-11-02: add by m2/dev

4MSFNGS3TW 4MSFNGS3TW

URI	`m2://inv/4MSFNGS3TW`
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.17817#5TZI (statement). In M8TSJ24RC2/e1, proposition A.1

History

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

Hexagonal tiling 4MSGG9SH91

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

Mentions

wikipedia: Wikipedia List of Euclidean uniform tilings#5J36, Hexagonal tiling (object)

History

2026-11-02: add by m2/dev

4MSJTJT02Z 4MSJTJT02Z

URI	`m2://inv/4MSJTJT02Z`
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.30303#XVV8 (statement). In 2QJGSMSG5W/e1, theorem 2.5

History

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

\textbf{One-Phase Hardness with Delayed Disclosure 4MSQ7XBDYF

URI	`m2://inv/4MSQ7XBDYF`
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.02791#2Z5C, \textbf{One-Phase Hardness with Delayed Disclosure (statement). In TT9BA4VMTW/e1, lemma 6.9

History

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

Analytic proof 4MSQGAXSNG

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

Mentions

wikipedia: Wikipedia Analytic proof, Analytic proof (definition). Also Wikidata Q4751136

History

2026-11-02: add by m2/dev

4MSV988Z8X 4MSV988Z8X

URI	`m2://inv/4MSV988Z8X`
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.25880#6JPQ (statement)

History

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

Rape in Sri Lanka 4MSVEG5789

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

Mentions

wikipedia: Wikipedia Rape statistics#OMKT, Rape in Sri Lanka (unknown)

History

2026-11-02: add by m2/dev

Representation 4MT4KDKQFV

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

Mentions

wikipedia: Wikipedia Weyl algebra#RSN1, Representation (definition)

History

2026-11-02: add by m2/dev

Harmonic-measure limit of the orbital band 4MT8RFPQRJ

URI	`m2://inv/4MT8RFPQRJ`
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.03912#KA1V, Harmonic-measure limit of the orbital band (statement). In RJ553C7NJM/e1, proposition 2.3

History

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

4MTCETXKPJ 4MTCETXKPJ

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

Mentions

arxiv: arXiv 2610.17411#L3NE (statement). In 73QW05MWQB/e1, theorem 1.4

History

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

Cofinality theorem 4MTCHEV5HK

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

Mentions

wikipedia: Wikipedia Basic theorems in algebraic K-theory#CFEZ, Cofinality theorem (statement)

History

2026-11-02: add by m2/dev

Cliquish function 4MTDFP4RTS

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

Mentions

wikipedia: Wikipedia Cliquish function, Cliquish function (definition). Also Wikidata Q127103232

History

2026-11-02: add by m2/dev

Gabriel's Horn 4MTFA63GK9

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

Mentions

wikidata: Wikidata Q723694, Gabriel's Horn (concept). Also MathWorld GabrielsHorn
wikipedia: Wikipedia Gabriel's horn, Gabriel's horn (definition). Also Wikidata Q723694

History

2026-10-26: add by m2/dev

4MTHMK51Q8 4MTHMK51Q8

URI	`m2://inv/4MTHMK51Q8`
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.18078#X5KD (statement). In YVK8EFSYNJ/e1, lemma D.1

History

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

4MTKMZSGVT 4MTKMZSGVT

URI	`m2://inv/4MTKMZSGVT`
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.01737#4KJ8 (statement). In M4JGP708F4/e1, proposition 3.35

History

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

Statement 4MTNZDPCS2

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

Mentions

wikipedia: Wikipedia Zero–one law (logic)#CKWQ, Statement (statement)

History

2026-11-02: add by m2/dev

Trimean 4MTRDZCTAR

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

Mentions

wikipedia: Wikipedia List of statistics articles#A1RI, Trimean (definition)

History

2026-11-02: add by m2/dev

4MTTVW8J8G 4MTTVW8J8G

URI	`m2://inv/4MTTVW8J8G`
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#ERYY (statement). In QQFXT31CA5/e1, theorem 5.1

History

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

Examples 4MTTZTM3EM

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

Mentions

wikipedia: Wikipedia Analytical hierarchy#WDMB, Examples (example)

History

2026-11-02: add by m2/dev

4MTV2ZJZEH 4MTV2ZJZEH

URI	`m2://inv/4MTV2ZJZEH`
Kind	statement
Layer	research
MSC	20-XX, 22-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.09319#SJUO (statement). In GMRT5GHBZS/e1, lemma C.2

History

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

Fundamental theorem 4MV5R5RDFP

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

Mentions

wikipedia: Wikipedia Gaussian quadrature#Q9CB, Fundamental theorem (statement)

History

2026-11-02: add by m2/dev

4MVD3D8WF3 4MVD3D8WF3

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

Mentions

arxiv: arXiv 2610.18992#VTIT (statement). In S7PNTM0GZC/e1, corollary 1.15

History

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

4MVKQ17HAQ 4MVKQ17HAQ

URI	`m2://inv/4MVKQ17HAQ`
Kind	problem
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.21359#G37A (problem)

History

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

Karen D. King 4MVRGS5429

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

Mentions

wikipedia: Wikipedia Karen D. King, Karen D. King (topic). Also Wikidata Q95970469

History

2026-11-02: add by m2/dev

4MVVMT9CM8 4MVVMT9CM8

URI	`m2://inv/4MVVMT9CM8`
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.15419#QX6J (statement). In QHMR7JRJ0W/e1, proposition 2.3

History

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

4MVXM1JAFS 4MVXM1JAFS

URI	`m2://inv/4MVXM1JAFS`
Kind	statement
Layer	research
MSC	26-XX, 37-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 2610.06455#ADBB (statement). In N6GB5J5BAY/e1, lemma 6.1

History

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

Inversion in a sphere 4MW1KX32RD

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

Mentions

wikipedia: Wikipedia Inversive geometry#5Q76, Inversion in a sphere (unknown)

History

2026-11-02: add by m2/dev

4MW2EQQTXJ 4MW2EQQTXJ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 4.2.3

History

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

4MW407MKX9 4MW407MKX9

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

Mentions

arxiv: arXiv 2609.40260#DQAK (statement). In 524FZAC6NB/e1, fact 1

History

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

4MW67HKRMY 4MW67HKRMY

URI	`m2://inv/4MW67HKRMY`
Kind	statement
Layer	research
MSC	16-XX, 26-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.13532#IWTT (statement). In 9B0X8YPF3P/e1, lemma 2.2

History

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

A relative path contraction 4MW8FWE9DA

URI	`m2://inv/4MW8FWE9DA`
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 2609.39824#7W21, A relative path contraction (statement). In REPGS464V6/e1, lemma 5.1

History

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

4MWJ9RM6V9 4MWJ9RM6V9

URI	`m2://inv/4MWJ9RM6V9`
Kind	statement
Layer	research
MSC	46-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.25321#QXQX (statement)

History

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

4MWMAVMFRZ 4MWMAVMFRZ

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

Mentions

arxiv: arXiv 2609.29925#76NM (statement)

History

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

4MWZK02TPT 4MWZK02TPT

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#proof-3 (proof). In P1C114YBXG, proof, section F

History

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

Definite bilinear form 4MX4AJJ8Q3

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

Mentions

wikipedia: Wikipedia Definite quadratic form#2Y6C, Definite bilinear form (unknown)

History

2026-11-02: add by m2/dev

4MX8APW8T1 4MX8APW8T1

URI	`m2://inv/4MX8APW8T1`
Kind	statement
Layer	research
MSC	13-XX, 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.23469#NW31 (statement)

History

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

Soap film 4MXE16JGC6

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

Mentions

wikipedia: Wikipedia List of variational topics#86A2, Soap film (unknown)

History

2026-11-02: add by m2/dev

!!^{derivability} 4MXGNHDJR0

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

Mentions

open_logic: open_logic content/many-valued-logic/sequent-calculus/rules-and-proofs.tex#defn-4, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 40.6

History

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

McXtrace 4MXMJXBT9H

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

Mentions

wikipedia: Wikipedia McXtrace, McXtrace (definition). Also Wikidata Q6802786

History

2026-11-02: add by m2/dev

Construction 4MXQKT0TEV

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

Mentions

wikipedia: Wikipedia Equiangular polygon#97YY, Construction (definition)

History

2026-11-02: add by m2/dev

4MXQY9VW7B 4MXQY9VW7B

URI	`m2://inv/4MXQY9VW7B`
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.02681#QCM9 (statement). In 7BBJMB97N7/e1, lemma A.2

History

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

4MXR6ENYP1 4MXR6ENYP1

URI	`m2://inv/4MXR6ENYP1`
Kind	problem
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.23143#Q4TJ (problem)

History

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

Alexander Paseau 4MXRG6D171

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

Mentions

wikipedia: Wikipedia Alexander Paseau, Alexander Paseau (topic). Also Wikidata Q124096631

History

2026-11-02: add by m2/dev

Example 4MXRKCCE88

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

Mentions

wikipedia: Wikipedia Weighted product model#CCL7, Example (example)

History

2026-11-02: add by m2/dev

Newton's identities 4MY0G85PGX

URI	`m2://inv/4MY0G85PGX`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Newton's identities 0WG2A3HE0S

Mentions

wikidata: Wikidata Q1749812, Newton's identities (statement). Also MathWorld Newton-GirardFormulas
wikipedia: Wikipedia Newton's identities, Newton's identities (definition). Also Wikidata Q1749812

History

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

Averaged one-dependence estimators 4MY64RV3NW

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

Mentions

wikipedia: Wikipedia Averaged one-dependence estimators, Averaged one-dependence estimators (definition). Also Wikidata Q4828284

History

2026-11-02: add by m2/dev

Equivalent definitions 4MYPHEVXQX

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

Mentions

wikipedia: Wikipedia Absolute continuity#0AD6, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

Statement 4MYR6BBXPR

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

Mentions

wikipedia: Wikipedia Askey–Gasper inequality#ZVXH, Statement (statement)

History

2026-11-02: add by m2/dev

4MYSH60Z14 4MYSH60Z14

URI	`m2://inv/4MYSH60Z14`
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.21035#V1FG (statement)

History

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

Wayne Fuller 4MYSP4DP29

URI	`m2://inv/4MYSP4DP29`
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#JRVY, Wayne Fuller (unknown)

History

2026-11-02: add by m2/dev

Arab Institute for Training, Research and Statistics 4MYTMMCGVH

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

Mentions

wikipedia: Wikipedia Arab Institute for Training, Research and Statistics, Arab Institute for Training, Research and Statistics (definition). Also Wikidata Q28381783

History

2026-11-02: add by m2/dev

Properties 4MYVEAXD8E

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

Mentions

wikipedia: Wikipedia Presentation complex#91X3, Properties (statement)

History

2026-11-02: add by m2/dev

Closed graph theorem 4MYVMJCYV4

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

Mentions

wikipedia: Wikipedia Closed graph theorem (functional analysis), Closed graph theorem (statement). Also Wikidata Q104845546

History

2026-11-02: add by m2/dev

4MZ2291EF8 4MZ2291EF8

URI	`m2://inv/4MZ2291EF8`
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.12803#DWLA (statement). In 98GNJ4MS7Q/e1, lemma 2

History

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

Sphenocorona 4MZ5CP1K5K

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#WY3T, Sphenocorona (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NEO7, Sphenocorona (definition)

History

2026-11-02: add by m2/dev

4MZ6JBFTT2 4MZ6JBFTT2

URI	`m2://inv/4MZ6JBFTT2`
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 2105.08875#FB28 (statement). In QT8HPDAYPX/e1, lemma A.2

History

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

right trapezoid 4MZEQ5WTAW

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

Mentions

wikidata: Wikidata Q12218380, right trapezoid (unknown). Also MathWorld RightTrapezoid

History

2026-10-26: add by m2/dev

4MZF99SCT7 4MZF99SCT7

URI	`m2://inv/4MZF99SCT7`
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.36306#U2HX (statement). In NHQEAVMJE1/e1, corollary 8

History

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

Nested interval topology 4MZFVEP04W

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

Mentions

wikipedia: Wikipedia Nested interval topology, Nested interval topology (definition). Also Wikidata Q6997817

History

2026-11-02: add by m2/dev

4MZH7128YW 4MZH7128YW

URI	`m2://inv/4MZH7128YW`
Kind	definition
Layer	research
MSC	37-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.27125#SFRM (definition)

History

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

Definitions 4MZJ66XPYK

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

Mentions

wikipedia: Wikipedia Quasisymmetric function#5VQS, Definitions (definition)

History

2026-11-02: add by m2/dev

philosophy of mathematics 4MZMMNG6YF

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

Mentions

wikidata: Wikidata Q180536, philosophy of mathematics (unknown). Also nLab philosophy of mathematics
wikipedia: Wikipedia Philosophy of mathematics, Philosophy of mathematics (definition). Also Wikidata Q180536

History

2026-10-26: add by m2/dev

4MZSEBV5K2 4MZSEBV5K2

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

Mentions

arxiv: arXiv 2609.32916#NOEV (definition). In G1RP4JY5PE/e1, definition 5.1.6

History

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

CrimeStat 4MZV5HQPBM

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

Mentions

wikipedia: Wikipedia CrimeStat, CrimeStat (definition). Also Wikidata Q5185153

History

2026-11-02: add by m2/dev