Inventory rows N1

Spin network N1009TRG8Q

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#6OX0, Spin network (definition)
wikipedia: Wikipedia List of network theory topics#GYCJ, Spin network (definition)

History

2026-11-02: add by m2/dev

Definition and examples N10AYA9FZ3

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

Mentions

wikipedia: Wikipedia Donaldson–Thomas theory#BQ9I, Definition and examples (definition)

History

2026-11-02: add by m2/dev

Sela's theorem N10EAMHHZB

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

Mentions

wikipedia: Wikipedia List of theorems#R90M, Sela's theorem (topic)

History

2026-11-02: add by m2/dev

Definition and properties N10HDQXZKH

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

Mentions

wikipedia: Wikipedia Kaprekar's routine#D0SM, Definition and properties (definition)

History

2026-11-02: add by m2/dev

N10QZM98DP N10QZM98DP

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

Mentions

arxiv: arXiv 2609.24614#JHI4 (statement)

History

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

N10T87ZJAY N10T87ZJAY

URI	`m2://inv/N10T87ZJAY`
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 2204.01073#V38D (statement). In W4TYN4PGE8/e1, lemma 5.10

History

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

StatPlus N10XNQ32K6

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

Mentions

wikipedia: Wikipedia StatPlus, StatPlus (definition). Also Wikidata Q7602964

History

2026-11-02: add by m2/dev

N112S2GF6Z N112S2GF6Z

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

Mentions

arxiv: arXiv 2609.30976#4EC6 (definition). In 4QY9J1A0KT/e1, definition 10

History

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

N11508ZVPY N11508ZVPY

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

Mentions

arxiv: arXiv 2609.28195#I0AR (statement)

History

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

N116MG8GKC N116MG8GKC

URI	`m2://inv/N116MG8GKC`
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#9ZY9 (statement)

History

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

Scientific paradigm N11ATCX37V

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

Mentions

wikipedia: Wikipedia Paradigm#BZYK, Scientific paradigm (unknown)

History

2026-11-02: add by m2/dev

Examples N11DTKNRFW

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

Mentions

wikipedia: Wikipedia Relation algebra#2J4R, Examples (example)

History

2026-11-02: add by m2/dev

N11EJBAZ2X N11EJBAZ2X

URI	`m2://inv/N11EJBAZ2X`
Kind	statement
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.13953#FIVO (statement). In D8258MF12E/e1, lemma 4.3

History

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

N11JXYGKJE N11JXYGKJE

URI	`m2://inv/N11JXYGKJE`
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.02079#NKLA (statement). In CNS2J2E4T2/e1, proposition 7

History

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

N11Q9R4Y43 N11Q9R4Y43

URI	`m2://inv/N11Q9R4Y43`
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.17518#JRA6 (statement). In YA4JEWTVS4/e1, corollary 5.1

History

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

Ernest S. Croot III N11XD7YWT6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2VMT, Ernest S. Croot III (topic)

History

2026-11-02: add by m2/dev

N11XWA684P N11XWA684P

URI	`m2://inv/N11XWA684P`
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.17737#4NC1 (statement). In 8SXY7Y68HV/e1, theorem 3.2

History

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

Elementary scalar truncation N125K5NN9D

URI	`m2://inv/N125K5NN9D`
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.18884#L6C9, Elementary scalar truncation (statement). In 8WM10QMA9E/e1, lemma E.1

History

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

Frederick Gehring N127FXVW0V

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

Mentions

wikipedia: Wikipedia Frederick Gehring, Frederick Gehring (topic). Also Wikidata Q25582

History

2026-11-02: add by m2/dev

Properties N127WX7M49

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

Mentions

wikipedia: Wikipedia Random recursive tree#AGMJ, Properties (statement)

History

2026-11-02: add by m2/dev

Logistic regression N12BA7QACS

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

Mentions

wikipedia: Wikipedia List of statistics articles#QLY1, Logistic regression (definition)

History

2026-11-02: add by m2/dev

N12G1CMX60 N12G1CMX60

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-28 (proof). In E59CDZA4DP, proof, section 4.5.4

History

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

N12S01WX9E N12S01WX9E

URI	`m2://inv/N12S01WX9E`
Kind	example
Layer	research
MSC	03-XX, 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 math/0406514#RN6I (example). In CY1FE8W1ZW/e1, example 0.109

History

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

N12Z8TGY24 N12Z8TGY24

URI	`m2://inv/N12Z8TGY24`
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.16235#184H (statement). In RNGNWGMX85/e1, lemma 3.1

History

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

Negative conclusion from affirmative premises N13ADD9PS2

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

Mentions

wikipedia: Wikipedia List of fallacies#KF6O, Negative conclusion from affirmative premises (definition)

History

2026-11-02: add by m2/dev

N13JW5CWEE N13JW5CWEE

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

Mentions

arxiv: arXiv 2609.21191#FH9O (problem)

History

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

reduced ring N13MPBHP5Z

URI	`m2://inv/N13MPBHP5Z`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Reduced ring SZHY975FFX

Mentions

wikidata: Wikidata Q6423024, reduced ring (unknown). Also nLab reduced ring
wikipedia: Wikipedia Reduced ring, Reduced ring (definition). Also Wikidata Q6423024

History

2026-10-26: add by m2/dev

Fermat's theorem (stationary points) N13PGE1WCK

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

Mentions

wikipedia: Wikipedia List of theorems#OKZG, Fermat's theorem (stationary points) (statement)

History

2026-11-02: add by m2/dev

Pedro Ontaneda N13RTZZYTG

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

Mentions

wikipedia: Wikipedia Pedro Ontaneda, Pedro Ontaneda (topic). Also Wikidata Q102130268

History

2026-11-02: add by m2/dev

N13ZQ1406B N13ZQ1406B

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/fix.tex#bethfixed (statement). In PKGMM3P5QY, prop, section 69.3

History

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

N141PN7YHT N141PN7YHT

URI	`m2://inv/N141PN7YHT`
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.10365#JZJO (statement). In PRVQPSBVHK/e1, lemma 15

History

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

Universal approximation of DeepONet for parametric $p$-Poisson problems N148WKSH76

URI	`m2://inv/N148WKSH76`
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.30809#K4OV, Universal approximation of DeepONet for parametric $p$-Poisson problems (statement). In KNXDEB3ED7/e1, proposition 5.1

History

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

truncated power function N14B10K947

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

Mentions

wikidata: Wikidata Q7847909, truncated power function (unknown). Also MathWorld TruncatedPowerFunction
wikipedia: Wikipedia Truncated power function, Truncated power function (definition). Also Wikidata Q7847909

History

2026-10-26: add by m2/dev

\textit{A priori} estimates N14BPX3T95

URI	`m2://inv/N14BPX3T95`
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 2201.04174#LVB3, \textit{A priori} estimates (statement). In NVTHDNQQ4Q/e1, lemma 5.3

History

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

Alexander duality N14D7PRFKM

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

Mentions

wikipedia: Wikipedia List of dualities#GI6I, Alexander duality (definition)

History

2026-11-02: add by m2/dev

N14DNZ3YDQ N14DNZ3YDQ

URI	`m2://inv/N14DNZ3YDQ`
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.20008#6VPF (statement)

History

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

N14FTZRF17 N14FTZRF17

URI	`m2://inv/N14FTZRF17`
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.36423#HF2B (statement). In Q5Z178SAHP/e1, lemma 7.5

History

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

N14GQTW6CW N14GQTW6CW

URI	`m2://inv/N14GQTW6CW`
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 2605.17484#75TQ (definition). In 5E9GMPKEEP/e1, definition

History

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

N14ZW85H9Z N14ZW85H9Z

URI	`m2://inv/N14ZW85H9Z`
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 2208.06310#M430 (statement). In 9YR0E0T9XA/e1, proposition 5.9

History

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

Example N1535JJ79D

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

Mentions

wikipedia: Wikipedia Zero-sum game#S4K7, Example (example)

History

2026-11-02: add by m2/dev

Joséphine Guidy Wandja N158NZ6SQ4

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

Mentions

wikipedia: Wikipedia Joséphine Guidy Wandja, Joséphine Guidy Wandja (topic). Also Wikidata Q12892125

History

2026-11-02: add by m2/dev

StatsDirect N15EESV238

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

Mentions

wikipedia: Wikipedia List of statistical software#85BF, StatsDirect (definition)

History

2026-11-02: add by m2/dev

triangular array N15EMAJ87E

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

Mentions

wikidata: Wikidata Q7840129, triangular array (unknown). Also MathWorld NumberTriangle
wikipedia: Wikipedia Triangular array, Triangular array (definition). Also Wikidata Q7840129

History

2026-10-26: add by m2/dev

N15GTM9DWS N15GTM9DWS

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

Mentions

arxiv: arXiv 2610.18302#U5KA (definition). In VJTRH1S4JA/e1, definition 4.22

History

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

N15PBV53MD N15PBV53MD

URI	`m2://inv/N15PBV53MD`
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.18277#TNQD (statement). In YFRNY7S92A/e1, lemma 3.1

History

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

maxwell N15PSH40J3

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

Mentions

wikidata: Wikidata Q608697, maxwell (definition). Also ProofWiki Definition:Maxwell_(Unit)

History

2026-10-26: add by m2/dev

N15RFTVK48 N15RFTVK48

URI	`m2://inv/N15RFTVK48`
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.04758#AXAT (statement). In DRWDJG2G3S/e1, lemma 5.3

History

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

Unconditional sampling with linear expected work N15Z2Q4TRX

URI	`m2://inv/N15Z2Q4TRX`
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.11330#3V4V, Unconditional sampling with linear expected work (statement). In Z73GKA9WDB/e1, theorem 3.1

History

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

List of mathematical proofs N15ZEBKVHZ

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

Mentions

wikipedia: Wikipedia List of mathematics reference tables#KJYV, List of mathematical proofs (topic)
wikipedia: Wikipedia Lists of mathematics topics#UQNT, List of mathematical proofs (topic)
wikipedia: Wikipedia List of theorems#DWL1, List of mathematical proofs (topic)

History

2026-11-02: add by m2/dev

Exact dual gap formulas N16HJ7T5N6

URI	`m2://inv/N16HJ7T5N6`
Kind	statement
Layer	research
MSC	05-XX, 16-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 2610.06739#KEPF, Exact dual gap formulas (statement). In HA9B7PD0YV/e1, corollary 35

History

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

truncated dodecahedron N16N0RVQN2

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

Mentions

wikidata: Wikidata Q679488, truncated dodecahedron (object). Also MathWorld TruncatedDodecahedron
wikipedia: Wikipedia Truncated dodecahedron, Truncated dodecahedron (definition). Also Wikidata Q679488

History

2026-10-26: add by m2/dev

Fitted representation residual N16NMP7FXW

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

Mentions

arxiv: arXiv 2610.05388#0GJF, Fitted representation residual (statement). In 4HJK1986EJ/e1, lemma C.20

History

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

N16QTPMMED N16QTPMMED

URI	`m2://inv/N16QTPMMED`
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.20568#YVJX (statement). In BCD0ATARNZ/e1, lemma 3.7

History

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

N16S8MT14D N16S8MT14D

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

Mentions

arxiv: arXiv 2609.40200#IUY1 (statement). In VWNB6QJWFN/e1, theorem 2.2

History

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

Giovanni Poleni N16SKPA11V

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#EB9P, Giovanni Poleni (unknown)

History

2026-11-02: add by m2/dev

N16XZD36CV N16XZD36CV

URI	`m2://inv/N16XZD36CV`
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 2605.17484#SKB1 (statement). In 5E9GMPKEEP/e1, lemma A.2

History

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

Applications N16Y2R76GS

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

Mentions

wikipedia: Wikipedia Infinitely near point#O0GI, Applications (example)

History

2026-11-02: add by m2/dev

Monotonicity under adversarial side information N16YCPJ6M8

URI	`m2://inv/N16YCPJ6M8`
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.00571#TGER, Monotonicity under adversarial side information (statement). In W50NNC2MJS/e1, lemma 2

History

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

N16ZA91AY3 N16ZA91AY3

URI	`m2://inv/N16ZA91AY3`
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.29531#48JU (statement)

History

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

N170MPV2CP N170MPV2CP

URI	`m2://inv/N170MPV2CP`
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.18281#YOMB (statement). In QYD0EJM85G/e1, lemma 2.3

History

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

Tightness criterion for survival asymptotics N172WY0FJS

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

Mentions

arxiv: arXiv 2609.27335#NWR3, Tightness criterion for survival asymptotics (statement)

History

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

Extensions N17645PCFW

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

Mentions

wikipedia: Wikipedia Weak derivative#KFLR, Extensions (statement)

History

2026-11-02: add by m2/dev

Fano plane N17DZMKW4V

URI	`m2://inv/N17DZMKW4V`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Fano plane QQ8GW1ASZM

Mentions

wikidata: Wikidata Q1395814, Fano plane (definition). Also MathWorld FanoPlane, nLab Fano plane, ProofWiki Definition:Fano_Plane
wikipedia: Wikipedia Fano plane, Fano plane (definition). Also Wikidata Q1395814

History

2026-10-26: add by m2/dev

N17NBK484G N17NBK484G

URI	`m2://inv/N17NBK484G`
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.38051#R2PC (statement). In 81CGKD8RTP/e1, proposition 6

History

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

N17RKRRDR0 N17RKRRDR0

URI	`m2://inv/N17RKRRDR0`
Kind	statement
Layer	research
MSC	11-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.33590#CRMN (statement). In WRE0P7V6Z3/e1, lemma 4.1

History

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

Superior N181TVFT99

URI	`m2://inv/N181TVFT99`
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#V722, Superior (unknown)

History

2026-11-02: add by m2/dev

N1820DPMP7 N1820DPMP7

URI	`m2://inv/N1820DPMP7`
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 2601.15010#PLJ7 (definition). In K3WJ6ZN184/e1, definition 3.3

History

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

N182Q9FFNJ N182Q9FFNJ

URI	`m2://inv/N182Q9FFNJ`
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.08753#HWIC (statement). In J9P361Z1CX/e1, proposition 2.5

History

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

isometry N185ECZV7F

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#LIVW, isometry (definition)

History

2026-11-02: add by m2/dev

Badly approximable number N18AZCYCVF

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

Mentions

wikipedia: Wikipedia Diophantine approximation#ZIDX, Badly approximable number (unknown)

History

2026-11-02: add by m2/dev

N18T7NHPN3 N18T7NHPN3

URI	`m2://inv/N18T7NHPN3`
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.39675#MQUT (statement). In VM16G3PPH3/e1, lemma 2.4

History

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

Dustin Clausen N18XKHBYS8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0KSG, Dustin Clausen (topic)

History

2026-11-02: add by m2/dev

Compound of four tetrahedra N199RWF1J8

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#EWPZ, Compound of four tetrahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#74Q0, Compound of four tetrahedra (definition)

History

2026-11-02: add by m2/dev

N19DEQF59D N19DEQF59D

URI	`m2://inv/N19DEQF59D`
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.40345#TZZR (statement). In WK0PT95WW1/e1, lemma 5.2

History

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

N19FRK4BZX N19FRK4BZX

URI	`m2://inv/N19FRK4BZX`
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.27114#3O9Z (statement)

History

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

N19NVAXWJG N19NVAXWJG

URI	`m2://inv/N19NVAXWJG`
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.07442#HT96 (statement). In 6SDC2Z8Y8M/e1, lemma 4.1

History

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

Small stellated 120-cell N19RREWT6C

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

Mentions

wikipedia: Wikipedia Small stellated 120-cell, Small stellated 120-cell (definition). Also Wikidata Q7543583

History

2026-11-02: add by m2/dev

N1A6VSWEZ4 N1A6VSWEZ4

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

Mentions

arxiv: arXiv 2610.03612#71Y0 (statement). In REDG6QVHM3/e1, theorem 7.8

History

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

great dirhombicosidodecahedron N1AA7F7KB2

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

Mentions

wikidata: Wikidata Q3101015, great dirhombicosidodecahedron (unknown). Also MathWorld GreatDirhombicosidodecahedron
wikipedia: Wikipedia Great dirhombicosidodecahedron, Great dirhombicosidodecahedron (object). Also Wikidata Q3101015

History

2026-10-26: add by m2/dev

N1ACZ60443 N1ACZ60443

URI	`m2://inv/N1ACZ60443`
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.08583#6BV5 (statement). In 5EKTECQ2P1/e1, proposition 5.1

History

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

Corner Flow with time difference N1AHVCGXZF

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

Mentions

arxiv: arXiv 2609.31294#QKKE, Corner Flow with time difference (statement). In 6GK9EJMWY4/e1, lemma 3.11

History

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

Differential algebraic group N1AKEPXE58

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

Mentions

wikipedia: Wikipedia Differential algebraic group, Differential algebraic group (definition). Also Wikidata Q5275331

History

2026-11-02: add by m2/dev

N1AND933Y2 N1AND933Y2

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

Mentions

arxiv: arXiv 2609.37815#Y0D8 (statement). In SVJYA0171G/e1, lemma 4.2

History

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

N1AVEP2D3W N1AVEP2D3W

URI	`m2://inv/N1AVEP2D3W`
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.23684#Z9XO (statement)

History

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

N1AYX75565 N1AYX75565

URI	`m2://inv/N1AYX75565`
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 2609.37479#TDTJ (statement). In P3RTT99C41/e1, theorem 8.1

History

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

Calder\'on--Zygmund type estimate N1B6ENEA3V

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

Mentions

arxiv: arXiv 2609.25449#YRWP, Calder\'on--Zygmund type estimate (statement). In 9JHMTYGWFQ/e1, proposition 21.2

History

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

Formal definition N1B743FBTE

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

Mentions

wikipedia: Wikipedia Strong pseudoprime#N4T0, Formal definition (definition)

History

2026-11-02: add by m2/dev

Media Technology Monitor N1B8VFDRV7

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

Mentions

wikipedia: Wikipedia Media Technology Monitor, Media Technology Monitor (definition). Also Wikidata Q3348295

History

2026-11-02: add by m2/dev

N1BCW0DMXG N1BCW0DMXG

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

Mentions

open_logic: open_logic content/sets-functions-relations/infinite/card-sb.tex#sbhelper (statement). In PKGMM3P5QY, prop, section 79.5

History

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

Handshaking lemma N1BEKDABV6

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

Mentions

wikipedia: Wikipedia Handshaking lemma, Handshaking lemma (statement). Also Wikidata Q954454

History

2026-11-02: add by m2/dev

Definition N1BFWAEGMQ

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

Mentions

wikipedia: Wikipedia Friedman translation#KELZ, Definition (definition)

History

2026-11-02: add by m2/dev

N1BHRZCY15 N1BHRZCY15

URI	`m2://inv/N1BHRZCY15`
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#71D3 (statement). In 1NY2SA03XF/e1, lemma 6.3

History

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

N1BP6KZSP4 N1BP6KZSP4

URI	`m2://inv/N1BP6KZSP4`
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 1009.2047#RRK6 (statement). In F3MWRNBNED/e1, corollary 6.6

History

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

N1BPB27QBN N1BPB27QBN

URI	`m2://inv/N1BPB27QBN`
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.25129#WS4X (statement)

History

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

N1BS8TSYFC N1BS8TSYFC

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

Mentions

arxiv: arXiv 2610.17408#HH8U (statement). In QR8H4M1X4N/e1, lemma 4.2

History

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

N1BVWV67E0 N1BVWV67E0

URI	`m2://inv/N1BVWV67E0`
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 2609.36509#Y92K (statement). In DPJ15KW23C/e1, lemma 7.6

History

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

N1BYDDVE76 N1BYDDVE76

URI	`m2://inv/N1BYDDVE76`
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.13423#OYUP (statement). In 9JWYWC92M3/e1, theorem 6

History

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

Clique tree, bag, and separator N1C58JF0HM

URI	`m2://inv/N1C58JF0HM`
Kind	definition
Layer	research
MSC	05-XX, 14-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.19669#ZV6D, Clique tree, bag, and separator (definition). In 1QPAA94Q76/e1, definition 4

History

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

Power-weight path-length limit N1CFMDYMNV

URI	`m2://inv/N1CFMDYMNV`
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.00614#FM72, Power-weight path-length limit (statement). In NC5Z77F6H4/e1, corollary 6.3

History

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

Preimplantation genetic diagnosis N1CPJRCBQQ

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

Mentions

wikipedia: Wikipedia Preimplantation genetic diagnosis, Preimplantation genetic diagnosis (definition). Also Wikidata Q1501356

History

2026-11-02: add by m2/dev

Eulerian matroid N1CW7H5GEB

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

Mentions

wikipedia: Wikipedia Eulerian matroid, Eulerian matroid (definition). Also Wikidata Q17011123

History

2026-11-02: add by m2/dev

Howard Masur N1CWAJX16J

URI	`m2://inv/N1CWAJX16J`
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#X69X, Howard Masur (topic)

History

2026-11-02: add by m2/dev

Applications N1CXYC2P7E

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

Mentions

wikipedia: Wikipedia Pole and polar#ATEG, Applications (example)

History

2026-11-02: add by m2/dev

Resolution of the paradox of the name relationship using the Frege–Church ontology N1CYNEHXE9

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

Mentions

wikipedia: Wikipedia Frege–Church ontology#YWAY, Resolution of the paradox of the name relationship using the Frege–Church ontology (statement)

History

2026-11-02: add by m2/dev

N1D00K02Y8 N1D00K02Y8

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 5.9

History

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

Coincidence count N1D1M3JDMJ

URI	`m2://inv/N1D1M3JDMJ`
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.22564#BGY7, Coincidence count (statement)

History

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

Weyl conjecture N1D33DWKND

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

Mentions

wikipedia: Wikipedia Weyl law#4OXZ, Weyl conjecture (statement)

History

2026-11-02: add by m2/dev

Elliptic curve primality proving N1D51NF0C8

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

Mentions

wikipedia: Wikipedia Elliptic curve primality#2C50, Elliptic curve primality proving (unknown)

History

2026-11-02: add by m2/dev

N1DBS89E76 N1DBS89E76

URI	`m2://inv/N1DBS89E76`
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.19861#XWWE (statement). In 5ZPQ60TM6J/e1, proposition 9

History

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

N1DBWTWA7B N1DBWTWA7B

URI	`m2://inv/N1DBWTWA7B`
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#KJ26 (statement). In JW8HH6EPG2/e1, proposition 3.14

History

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

Bruhat graph N1DCZR2Q3P

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

Mentions

wikidata: Wikidata Q130751615, Bruhat graph (unknown). Also MathWorld BruhatGraph

History

2026-10-26: add by m2/dev

Properties N1DGCPZKPX

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

Mentions

wikipedia: Wikipedia Cayley plane#SC23, Properties (statement)

History

2026-11-02: add by m2/dev

Properties N1DVKHA4VR

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

Mentions

wikipedia: Wikipedia Integral linear operator#RZZE, Properties (statement)

History

2026-11-02: add by m2/dev

N1E09FFPF5 N1E09FFPF5

URI	`m2://inv/N1E09FFPF5`
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.32906#IDAY (statement). In R589MXXHX4/e1, lemma 5.3

History

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

Closed set N1E0G3HP3N

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

Mentions

wikipedia: Wikipedia List of types of sets#3CSV, Closed set (definition)

History

2026-11-02: add by m2/dev

N1E16GPP5E N1E16GPP5E

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

Mentions

napkin: napkin tex/alg-geom/sheaves.tex#proof-1 (proof). In RZP28ERRZV, proof, section 25.3

History

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

N1E360VKKR N1E360VKKR

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

Mentions

hott_book: hott_book hits.tex#thm:trunc0-ind (statement). In N54F33XE07, lem, section 5.9

History

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

N1E80RVG2D N1E80RVG2D

URI	`m2://inv/N1E80RVG2D`
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.12357#S859 (statement). In 1F26AF81XP/e1, lemma 5.1

History

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

N1EDAFH5C8 N1EDAFH5C8

URI	`m2://inv/N1EDAFH5C8`
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.02935#6C5H (statement). In WE2KKAMEFW/e1, lemma 2.2

History

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

N1EJ75T9BZ N1EJ75T9BZ

URI	`m2://inv/N1EJ75T9BZ`
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.36456#I41H (statement). In E3MBNAPCQG/e1, lemma 5.1

History

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

Frédéric Marty N1EJ9DVVS2

URI	`m2://inv/N1EJ9DVVS2`
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#WVCZ, Frédéric Marty (topic)

History

2026-11-02: add by m2/dev

Canonical enhancements N1EWTVV3FM

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

Mentions

arxiv: arXiv 2610.16931#7JXK, Canonical enhancements (statement). In H7DMRWBBJN/e1, corollary 8.10

History

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

Timoshenko beam theory N1EWZ29WVP

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

Mentions

wikipedia: Wikipedia List of named differential equations#NJF0, Timoshenko beam theory (definition)

History

2026-11-02: add by m2/dev

N1EXC7CBPC N1EXC7CBPC

URI	`m2://inv/N1EXC7CBPC`
Kind	problem
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 2609.36509#D8NL (problem). In DPJ15KW23C/e1, problem 1.2

History

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

N1F5B5B0NN N1F5B5B0NN

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

Mentions

arxiv: arXiv 2610.14498#1F1I (statement). In 81YXGYETE4/e1, lemma 14

History

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

N1FDBH3Q13 N1FDBH3Q13

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#prop:provability-lif (statement). In PKGMM3P5QY, prop, section 15.4

History

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

Basic properties N1FF09SPNA

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

Mentions

wikipedia: Wikipedia Lyapunov exponent#F1UE, Basic properties (statement)

History

2026-11-02: add by m2/dev

Semantic Context Well-Formedness N1FFDE4681

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

Mentions

arxiv: arXiv 2610.21131#83KG, Semantic Context Well-Formedness (definition). In CPYWHRTPKC/e1, definition 6.33

History

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

Dittert conjecture N1FMYK90AC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#DIW4, Dittert conjecture (statement)

History

2026-11-02: add by m2/dev

Eddington number N1FWVF1X77

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#WBTW, Eddington number (definition)

History

2026-11-02: add by m2/dev

Anthropic principle N1FWVW3PDH

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

Mentions

wikipedia: Wikipedia Cosmological constant#G9SJ, Anthropic principle (statement)

History

2026-11-02: add by m2/dev

N1FXCG227X N1FXCG227X

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 15.4

History

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

summation of comparison relations N1FYBTA3AX

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > summation of comparison relations, summation of comparison relations (unknown)

History

2026-10-26: add by m2/dev

Applications N1FYBTG92T

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

Mentions

wikipedia: Wikipedia Rice distribution#MRCK, Applications (example)

History

2026-11-02: add by m2/dev

N1FZM21232 N1FZM21232

URI	`m2://inv/N1FZM21232`
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 2504.13328#0NT5 (statement). In 736Q32FYCG/e1, proposition 2.8

History

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

Example N1G1FSKD9N

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

Mentions

wikipedia: Wikipedia Straight-line program#S2PV, Example (example)

History

2026-11-02: add by m2/dev

Empirical influence function N1G1JEAXYH

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

Mentions

wikipedia: Wikipedia Robust statistics#K28U, Empirical influence function (unknown)

History

2026-11-02: add by m2/dev

N1G714N479 N1G714N479

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

Mentions

wikipedia: Wikipedia Reconstruction conjecture#UQHT (problem)

History

2026-11-02: add by m2/dev

N1GM1807N3 N1GM1807N3

URI	`m2://inv/N1GM1807N3`
Kind	example
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.34260#NWK0 (example). In BBE69ZPVTF/e1, example 2.3

History

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

canonical N1GNFF5TVP

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#GY5J, canonical (definition)

History

2026-11-02: add by m2/dev

Vincenzo Flauti N1GNQHT46S

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

Mentions

wikipedia: Wikipedia Vincenzo Flauti, Vincenzo Flauti (topic). Also Wikidata Q4013274

History

2026-11-02: add by m2/dev

N1GYRV28FZ N1GYRV28FZ

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

Mentions

arxiv: arXiv 2609.31274#P7TF (statement). In RK0ZMDJ23T/e1, lemma 2.2.6

History

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

Thong Saen Khan District N1H21660W2

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

Mentions

wikipedia: Wikipedia List of places with numeric names#0J3N, Thong Saen Khan District (unknown)

History

2026-11-02: add by m2/dev

Nicole Immorlica N1H27ATD1K

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YLZE, Nicole Immorlica (unknown)

History

2026-11-02: add by m2/dev

N1H2GABVMA N1H2GABVMA

URI	`m2://inv/N1H2GABVMA`
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.31335#3CB4 (statement). In YN58PZTGFD/e1, theorem 4.6

History

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

Examples N1HBCE26Q7

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

Mentions

wikipedia: Wikipedia Slope field#OMGG, Examples (example)

History

2026-11-02: add by m2/dev

Coherent space N1HHCWZKHQ

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

Mentions

wikipedia: Wikipedia Coherent space, Coherent space (definition). Also Wikidata Q5141363

History

2026-11-02: add by m2/dev

Viviani's curve N1HJTF4JX6

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#K2A4, Viviani's curve (definition)
wikipedia: Wikipedia List of curves#4QXG, Viviani's curve (definition)

History

2026-11-02: add by m2/dev

N1HK3G9CDG N1HK3G9CDG

URI	`m2://inv/N1HK3G9CDG`
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.21632#2K0Q (statement). In Q4RZTN2EX6/e1, lemma 5.9

History

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

Timeline of probability and statistics N1HKRZ8G46

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

Mentions

wikipedia: Wikipedia Timeline of probability and statistics, Timeline of probability and statistics (topic). Also Wikidata Q7806160

History

2026-11-02: add by m2/dev

History of theory of computation N1J5M95WDR

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

Mentions

wikipedia: Wikipedia Theory of computation#W8YB, History of theory of computation (unknown)

History

2026-11-02: add by m2/dev

N1J95F3GB1 N1J95F3GB1

URI	`m2://inv/N1J95F3GB1`
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.23341#O40E (statement)

History

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

N1JA6SCAQF N1JA6SCAQF

URI	`m2://inv/N1JA6SCAQF`
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 2610.16768#O5T7 (definition). In 8FWK676AQX/e1, definition 2

History

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

SSE4 N1JAKR8HKY

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

Mentions

wikipedia: Wikipedia SSE4, SSE4 (definition). Also Wikidata Q6011196

History

2026-11-02: add by m2/dev

inversion N1JBVQWZ4P

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#6BA2, inversion (definition)

History

2026-11-02: add by m2/dev

N1JDT830HW N1JDT830HW

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

Mentions

arxiv: arXiv 2609.38013#V5H6 (statement). In DQ6P0P6N78/e1, theorem A

History

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

Implementations N1JEFJKRSZ

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

Mentions

wikipedia: Wikipedia Certificate Management Protocol#P2V6, Implementations (definition)

History

2026-11-02: add by m2/dev

Implementations N1JG10B58J

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

Mentions

wikipedia: Wikipedia Quantile regression#KCHW, Implementations (definition)

History

2026-11-02: add by m2/dev

Correlation clustering N1JH9PW4XY

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

Mentions

wikipedia: Wikipedia List of statistics articles#WOTT, Correlation clustering (definition)

History

2026-11-02: add by m2/dev

List of websites founded before 1995 N1JJZFD6Q0

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

Mentions

wikipedia: Wikipedia List of websites founded before 1995, List of websites founded before 1995 (topic). Also Wikidata Q6645174

History

2026-11-02: add by m2/dev

fourth power N1JSVQVDH1

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

Mentions

wikidata: Wikidata Q840676, fourth power (definition). Also MathWorld BiquadraticNumber, ProofWiki Definition:Fourth_Power
wikipedia: Wikipedia Fourth power, Fourth power (definition). Also Wikidata Q840676

History

2026-10-26: add by m2/dev

N1JVDTNQ4P N1JVDTNQ4P

URI	`m2://inv/N1JVDTNQ4P`
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.09019#JG3Q (statement). In 8V6YECFCC1/e1, theorem 4.8

History

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

Boundary-unitary frame N1JYJTR2B9

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

Mentions

arxiv: arXiv 2609.25762#CLP2, Boundary-unitary frame (statement)

History

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

N1KAQF742F N1KAQF742F

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

Mentions

arxiv: arXiv 2601.04559#1WQL (statement). In WWMHZKWZSM/e1, proposition 3

History

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

convex function N1KHP9NX4P

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

Mentions

wikipedia: Wikipedia Glossary of calculus#NQE7, convex function (definition)

History

2026-11-02: add by m2/dev

Two-dimensional conformal field theory N1KNWXSRYT

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

Mentions

wikipedia: Wikipedia Two-dimensional conformal field theory, Two-dimensional conformal field theory (definition). Also Wikidata Q28456139

History

2026-11-02: add by m2/dev

N1KRHKZMYF N1KRHKZMYF

URI	`m2://inv/N1KRHKZMYF`
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 1006.3331#CVA1 (statement). In AY6WYB9RR3/e1, proposition 5.4

History

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

Applications N1KW3NJTZR

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

Mentions

wikipedia: Wikipedia Lyapunov–Schmidt reduction#F9IA, Applications (example)

History

2026-11-02: add by m2/dev

N1M06P1CNG N1M06P1CNG

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

Mentions

arxiv: arXiv 2609.29498#94XJ (statement)

History

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

Stoneley wave N1M3HR8RRM

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

Mentions

wikipedia: Wikipedia Stoneley wave, Stoneley wave (definition). Also Wikidata Q7619265

History

2026-11-02: add by m2/dev

epigraph N1M5GSS2V0

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#52TV, epigraph (definition)

History

2026-11-02: add by m2/dev

N1M6MBCWX2 N1M6MBCWX2

URI	`m2://inv/N1M6MBCWX2`
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.05067#YBMJ (statement). In 34BXY2SJ1X/e1, theorem 7

History

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

Wilhelm Cauer N1M9E9993W

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#7KFJ, Wilhelm Cauer (unknown)

History

2026-11-02: add by m2/dev

Generalized Ray–Knight theorems N1MFB1FNJD

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

Mentions

wikipedia: Wikipedia Local time (mathematics)#O4OC, Generalized Ray–Knight theorems (statement)

History

2026-11-02: add by m2/dev

SYN cookies N1MGKR03A5

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

Mentions

wikipedia: Wikipedia SYN cookies, SYN cookies (definition). Also Wikidata Q1892271

History

2026-11-02: add by m2/dev

N1MMAYBYXP N1MMAYBYXP

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

Mentions

arxiv: arXiv 2610.15169#QNTU (statement). In V7SN19J84T/e1, proposition 7.13

History

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

Albert Schwarz N1MXXM0JCN

URI	`m2://inv/N1MXXM0JCN`
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 Q2638692, Albert Schwarz (unknown). Also nLab Albert Schwarz
wikipedia: Wikipedia Albert Schwarz, Albert Schwarz (topic). Also Wikidata Q2638692

History

2026-10-26: add by m2/dev

N1N3NCZQ4H N1N3NCZQ4H

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

Mentions

arxiv: arXiv 2610.13680#IBXI (unknown). In QNBFHFZ3H0/e1, unknown 68

History

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

Construction N1N4DSBR12

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

Mentions

wikipedia: Wikipedia Frequency (statistics)#HGOL, Construction (definition)

History

2026-11-02: add by m2/dev

Relationship to other conjectures N1NF0S3SAE

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

Mentions

wikipedia: Wikipedia Borel conjecture#CEXZ, Relationship to other conjectures (statement)

History

2026-11-02: add by m2/dev

General linear group N1NMW8KV4A

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#4Y4U, General linear group (definition)

History

2026-11-02: add by m2/dev

Separation over type-zero coefficients N1NN13VVX2

URI	`m2://inv/N1NN13VVX2`
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#9SR1, Separation over type-zero coefficients (statement). In 8CSXBTYKDT/e1, lemma 2.3

History

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

N1NR1F1M34 N1NR1F1M34

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

Mentions

arxiv: arXiv 2609.25168#Q6G3 (definition)

History

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

Width exponent N1NVT5WXW5

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

Mentions

arxiv: arXiv 2610.04357#PY7O, Width exponent (definition). In 6FY8BVP1F3/e1, definition K.1

History

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

Nisnevich topology N1P27HR21H

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

Mentions

wikidata: Wikidata Q7040867, Nisnevich topology (unknown). Also nLab Nisnevich site
wikipedia: Wikipedia Nisnevich topology, Nisnevich topology (definition). Also Wikidata Q7040867

History

2026-10-26: add by m2/dev

N1P69KAG6C N1P69KAG6C

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

Mentions

arxiv: arXiv 2609.40191#UDV6 (statement). In F0D8VSM4Z4/e1, proposition 4.1

History

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

N1P8FC0P3S N1P8FC0P3S

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

Mentions

arxiv: arXiv 2609.31274#MXKN (example). In RK0ZMDJ23T/e1, example 1.2.5

History

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

Latin rectangle N1PEP3WCG3

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

Mentions

wikidata: Wikidata Q6496545, Latin rectangle (unknown). Also MathWorld LatinRectangle
wikipedia: Wikipedia Latin rectangle, Latin rectangle (definition). Also Wikidata Q6496545

History

2026-10-26: add by m2/dev

N1PH4MC83M N1PH4MC83M

URI	`m2://inv/N1PH4MC83M`
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 2508.19709#K3FW (statement). In 57PQWSSZMY/e1, proposition 2.3

History

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

N1PM9CBCGJ N1PM9CBCGJ

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

Mentions

arxiv: arXiv 2609.30067#OKJ2 (statement)

History

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

Carnot's theorem (conics) N1PMPQNEP9

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

Mentions

wikipedia: Wikipedia List of triangle topics#DEMH, Carnot's theorem (conics) (statement)

History

2026-11-02: add by m2/dev

N1PQ45SXZM N1PQ45SXZM

URI	`m2://inv/N1PQ45SXZM`
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.14446#CLSO (statement). In AWRXXZR673/e1, corollary 5.2

History

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

parallel postulate N1QTVDFT9X

URI	`m2://inv/N1QTVDFT9X`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	Parallel postulate 2PC3XY0PYZ

Mentions

mathlib_1000: mathlib_1000 Q207014, Independence of the parallel postulate (statement). Also Wikidata Q207014
thousand_plus: thousand_plus Q207014, Independence of the parallel postulate (statement). Also Wikidata Q207014
wikidata: Wikidata Q207014, parallel postulate (statement). Also EoM Fifth_postulate, MathWorld ParallelPostulate, nLab parallel postulate, ProofWiki Axiom:Euclid's_Fifth_Postulate
wikipedia: Wikipedia Parallel postulate, Parallel postulate (definition). Also Wikidata Q207014

History

2026-10-26: add by m2/dev

N1QW4W4RPR N1QW4W4RPR

URI	`m2://inv/N1QW4W4RPR`
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 2304.02722#OYLZ (statement). In AH7D55D3WV/e1, proposition 8.1

History

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

Cubic Hermite spline N1QZJ4PEKV

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#DMOM, Cubic Hermite spline (definition)

History

2026-11-02: add by m2/dev

Representation theory of the symmetric group N1R1AXNET3

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

Mentions

wikipedia: Wikipedia Representation theory of the symmetric group, Representation theory of the symmetric group (topic). Also Wikidata Q7314231

History

2026-11-02: add by m2/dev

N1R1NEXK8B N1R1NEXK8B

URI	`m2://inv/N1R1NEXK8B`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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 2306.00590#TUXC (statement). In D3WTQN2F7B/e1, lemma 2.2

History

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

N1R1RE7PRE N1R1RE7PRE

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

Mentions

arxiv: arXiv 2511.07697#EI0A (statement). In 57P5P33HS3/e1, corollary 1

History

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

Implementations N1R63R49SV

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

Mentions

wikipedia: Wikipedia Analog computer#9XEJ, Implementations (definition)

History

2026-11-02: add by m2/dev

N1R74GQTQC N1R74GQTQC

URI	`m2://inv/N1R74GQTQC`
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 2308.05715#VPJT (statement). In FC0SB9JFWH/e1, lemma 4.8

History

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

N1RAN8J92M N1RAN8J92M

URI	`m2://inv/N1RAN8J92M`
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 2610.16386#CKPO (statement). In RAF0BFY3Z3/e1, theorem 4.6

History

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

N1RG4FPF7J N1RG4FPF7J

URI	`m2://inv/N1RG4FPF7J`
Kind	statement
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#0GYI (statement)

History

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

Witten's asymptotic expansion conjecture N1RJYHW84T

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

Mentions

wikipedia: Wikipedia Reshetikhin–Turaev invariant#GK1J, Witten's asymptotic expansion conjecture (statement)

History

2026-11-02: add by m2/dev

Sam Loyd N1RP0K6RS3

URI	`m2://inv/N1RP0K6RS3`
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 Q337325, Sam Loyd (unknown). Also ProofWiki Mathematician:Samuel_Loyd

History

2026-10-26: add by m2/dev

Effective Retransmission Value N1RR4NM97E

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

Mentions

wikipedia: Wikipedia Basic reproduction number#5ENK, Effective Retransmission Value (unknown)

History

2026-11-02: add by m2/dev

Application N1RWR99Q7P

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

Mentions

wikipedia: Wikipedia Spectral sequence#0611, Application (example)

History

2026-11-02: add by m2/dev

Definition N1RXMXR9DC

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

Mentions

wikipedia: Wikipedia U-statistic#X5N5, Definition (definition)

History

2026-11-02: add by m2/dev

Wirtinger inequality (2-forms) N1S27GE3NQ

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#35E4, Wirtinger inequality (2-forms) (statement)
wikipedia: Wikipedia List of inequalities#9F7C, Wirtinger inequality (2-forms) (statement)

History

2026-11-02: add by m2/dev

N1S3B79FHX N1S3B79FHX

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

Mentions

arxiv: arXiv 2610.20542#423X (statement). In 8PZXZ8Y9FK/e1, lemma 3.5

History

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

N1S9C94QMF N1S9C94QMF

URI	`m2://inv/N1S9C94QMF`
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.02669#SVZJ (statement). In NSBSWH6XB4/e1, lemma 4.3

History

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

N1S9GZ6SQ4 N1S9GZ6SQ4

URI	`m2://inv/N1S9GZ6SQ4`
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.11468#258G (statement). In FR4FDRHZJT/e1, proposition 4.4

History

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

Constructible topology N1SN6DJCNQ

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

Mentions

wikipedia: Wikipedia Constructible topology, Constructible topology (definition). Also Wikidata Q5164409

History

2026-11-02: add by m2/dev

Boundary-information form N1SXC5VPXZ

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

Mentions

arxiv: arXiv 2609.38268#9UYM, Boundary-information form (statement). In TQ18V9TDQS/e1, corollary 4.2

History

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

Examples N1SYCVHQKF

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

Mentions

wikipedia: Wikipedia Iterated function system#1X1L, Examples (example)

History

2026-11-02: add by m2/dev

Marden's theorem N1T1ZFZHNN

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#G1UN, Marden's theorem (statement)

History

2026-11-02: add by m2/dev

N1T4D9VRJ4 N1T4D9VRJ4

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

Mentions

arxiv: arXiv math/0003117#D4CI (definition). In WD2NCBV9F0/e1, definition 21.6

History

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

Margulis lemma N1TKH4WE3R

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

Mentions

wikipedia: Wikipedia Margulis lemma, Margulis lemma (statement). Also Wikidata Q6760835

History

2026-11-02: add by m2/dev

N1TPDTQ24W N1TPDTQ24W

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/comp-representable.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 29.7

History

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

Henri Gillet N1TS146QGW

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

Mentions

wikipedia: Wikipedia Henri Gillet, Henri Gillet (topic). Also Wikidata Q1239687

History

2026-11-02: add by m2/dev

N1TSATXSG3 N1TSATXSG3

URI	`m2://inv/N1TSATXSG3`
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 2305.10921#2S23 (statement). In PD5PJ0EYG6/e1, proposition 4.3

History

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

N1TX7VM31B N1TX7VM31B

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

Mentions

arxiv: arXiv 2505.05539#8ONC (statement). In 8SVVEVGMNE/e1, corollary 2.12

History

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

N1TXJM32HY N1TXJM32HY

URI	`m2://inv/N1TXJM32HY`
Kind	statement
Layer	research
MSC	60-XX, 62-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.33263#L4IO (statement). In 6S5EH3388Z/e1, proposition 3.2

History

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

N1TY04FGJA N1TY04FGJA

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

Mentions

arxiv: arXiv 2609.22528#PCDY (example)

History

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

N1V33HNK7Q N1V33HNK7Q

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

Mentions

napkin: napkin tex/topology/constructions.tex#definition-2 (definition). In RZP28ERRZV, definition, section 96.2

History

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

Lagrange stability N1V659Z1Y7

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#XWXW, Lagrange stability (definition)

History

2026-11-02: add by m2/dev

Birkhoff–Von Neumann theorem N1VEZDPSNJ

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

Mentions

wikipedia: Wikipedia List of theorems#B29I, Birkhoff–Von Neumann theorem (definition)

History

2026-11-02: add by m2/dev

Gianni Dal Maso N1VFGHP5AP

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

Mentions

wikipedia: Wikipedia Gianni Dal Maso, Gianni Dal Maso (topic). Also Wikidata Q3763488

History

2026-11-02: add by m2/dev

N1VJF49EVJ N1VJF49EVJ

URI	`m2://inv/N1VJF49EVJ`
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.23942#5OEZ (statement)

History

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

Cryptanalytic computer N1VJWGGDGK

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

Mentions

wikipedia: Wikipedia Cryptanalytic computer, Cryptanalytic computer (definition). Also Wikidata Q4241175

History

2026-11-02: add by m2/dev

Evaluation cubes in $\ell_p/\ell_q$ cases N1VR9XFNSG

URI	`m2://inv/N1VR9XFNSG`
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#6OI3, Evaluation cubes in $\ell_p/\ell_q$ cases (statement)

History

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

Example N1VSDFHD35

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

Mentions

wikipedia: Wikipedia Bogomol'nyi–Prasad–Sommerfield bound#HBSW, Example (example)

History

2026-11-02: add by m2/dev

N1W0EPDDSF N1W0EPDDSF

URI	`m2://inv/N1W0EPDDSF`
Kind	definition
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 2308.02672#9ALZ (definition). In ETRT1R1CQ8/e1, definition 1.4

History

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

N1WDRTJ20W N1WDRTJ20W

URI	`m2://inv/N1WDRTJ20W`
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.17579#KORR (statement). In 1H021CTR3A/e1, lemma 5

History

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

Constant interactions N1WGW6J0VG

URI	`m2://inv/N1WGW6J0VG`
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.34402#EV19, Constant interactions (statement). In FTTMZWSCMW/e1, proposition 2.6

History

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

Examples N1WP3CRCMD

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

Mentions

wikipedia: Wikipedia Blossom algorithm#9LM3, Examples (example)

History

2026-11-02: add by m2/dev

Fenchel's duality theorem N1WWK4FMBC

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

Mentions

wikipedia: Wikipedia List of dualities#3SRL, Fenchel's duality theorem (statement)

History

2026-11-02: add by m2/dev

N1WYTEYTJY N1WYTEYTJY

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

Mentions

arxiv: arXiv 2609.25495#I3D2 (statement)

History

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

powerful number N1X3K2ERMG

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

Mentions

wikidata: Wikidata Q3191171, powerful number (unknown). Also MathWorld PowerfulNumber, OEIS A001694
wikipedia: Wikipedia Powerful number, Powerful number (definition). Also Wikidata Q3191171

History

2026-10-26: add by m2/dev

N1X807XP0S N1X807XP0S

URI	`m2://inv/N1X807XP0S`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#GUCQ (statement). In 6KR7Z5ETRY/e1, lemma 2.9

History

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

N1XA8QF1CH N1XA8QF1CH

URI	`m2://inv/N1XA8QF1CH`
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.12912#0HVV (statement). In PDKBKKJ4BV/e1, lemma 4.7

History

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

N1XJG5VD3Q N1XJG5VD3Q

URI	`m2://inv/N1XJG5VD3Q`
Kind	definition
Layer	research
MSC	11-XX, 14-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.29107#30TH (definition)

History

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

N1XZ9YMJ8Z N1XZ9YMJ8Z

URI	`m2://inv/N1XZ9YMJ8Z`
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.07790#62ZA (statement). In A5YJDDM0NX/e1, lemma A.6

History

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

proton magnetic dipole moment N1Y60DD66R

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

Mentions

wikidata: Wikidata Q17076647, proton magnetic dipole moment (definition). Also ProofWiki Definition:Proton_Moment

History

2026-10-26: add by m2/dev

W2 (transformation law of the field) N1YB7NAP3S

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

Mentions

wikipedia: Wikipedia Wightman axioms#5B4O, W2 (transformation law of the field) (statement)

History

2026-11-02: add by m2/dev

André Lichnerowicz Prize N1YBY5SA9V

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

Mentions

wikipedia: Wikipedia André Lichnerowicz Prize, André Lichnerowicz Prize (definition). Also Wikidata Q21479781

History

2026-11-02: add by m2/dev

The Beauville--Mukai system N1YCJJ91TC

URI	`m2://inv/N1YCJJ91TC`
Kind	example
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.02481#VFST, The Beauville--Mukai system (example). In 5HACFNFY0P/e1, example 2.6

History

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

N1YK6GPRBD N1YK6GPRBD

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

Mentions

arxiv: arXiv 2609.26386#WSP0 (definition)

History

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

Theorem N1YTP8ASD1

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

Mentions

wikipedia: Wikipedia Polar topology#AA9W, Theorem (statement)

History

2026-11-02: add by m2/dev

N1YWEPM3Y0 N1YWEPM3Y0

URI	`m2://inv/N1YWEPM3Y0`
Kind	definition
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 2405.09294#HHNF (definition). In 2WZQC0TKVK/e1, definition 4.4

History

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

N1YXQXHNT1 N1YXQXHNT1

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

Mentions

arxiv: arXiv 2610.01932#0GRZ (example). In XDKWW6NR0K/e1, example 5.3

History

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

N1YYFJXN4H N1YYFJXN4H

URI	`m2://inv/N1YYFJXN4H`
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 2412.12141#IS76 (statement). In V980ZMH759/e1, theorem 3.14

History

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

Morning Consult N1Z1FQBANM

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

Mentions

wikipedia: Wikipedia List of polling organizations#KS78, Morning Consult (unknown)

History

2026-11-02: add by m2/dev

Dual factorization N1Z2W3PN85

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

Mentions

arxiv: arXiv 2610.09912#XY2X, Dual factorization (statement). In 65TJENWK7X/e1, lemma 11

History

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

N1Z51GZ5PD N1Z51GZ5PD

URI	`m2://inv/N1Z51GZ5PD`
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.00902#FD15 (statement). In 1BYMXTH5MW/e1, corollary 4.4

History

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

N1ZFRJ87M3 N1ZFRJ87M3

URI	`m2://inv/N1ZFRJ87M3`
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.37897#HWUB (statement). In RBQ5FNCVNZ/e1, corollary 7.11

History

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

Continuous partials implies differentiable N1ZG7S342G

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

Mentions

napkin: napkin tex/diffgeo/multivar.tex#thm:apcalc_partials, Continuous partials implies differentiable (statement). In RZP28ERRZV, theorem, section 45.3

History

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

Concentration given the sampled configuration N1ZKE44QAF

URI	`m2://inv/N1ZKE44QAF`
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.18350#2VOP, Concentration given the sampled configuration (statement). In A20E8FZS21/e1, lemma 5.6

History

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

Macedonia Prima N1ZQQDMAP2

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

Mentions

wikipedia: Wikipedia List of places with numeric names#4W0D, Macedonia Prima (unknown)

History

2026-11-02: add by m2/dev

David Shale N1ZW1X92Z7

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

Mentions

wikipedia: Wikipedia David Shale, David Shale (topic). Also Wikidata Q69543203

History

2026-11-02: add by m2/dev