Inventory rows C2

Complexity index C201APA8AB

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

Mentions

wikipedia: Wikipedia Complexity index, Complexity index (definition). Also Wikidata Q5156627

History

2026-11-02: add by m2/dev

Generalized normal distribution C2039WQX7V

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

Mentions

wikipedia: Wikipedia Generalized normal distribution, Generalized normal distribution (definition). Also Wikidata Q2497477

History

2026-11-02: add by m2/dev

C203TRCE56 C203TRCE56

URI	`m2://inv/C203TRCE56`
Kind	conjecture
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#E623 (conjecture). In WK0PT95WW1/e1, conjecture D.1

History

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

Courant minimax principle C203VSCCDN

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

Mentions

wikipedia: Wikipedia Courant minimax principle, Courant minimax principle (statement). Also Wikidata Q5178096

History

2026-11-02: add by m2/dev

C2059YGMQD C2059YGMQD

URI	`m2://inv/C2059YGMQD`
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.15013#0QOP (statement). In JB837X6D1Q/e1, lemma 4.2

History

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

Definition C207W5CVCP

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

Mentions

wikipedia: Wikipedia Davenport–Schinzel sequence#BAQ7, Definition (definition)

History

2026-11-02: add by m2/dev

Walter Sherman Gifford C20EQ50GYQ

URI	`m2://inv/C20EQ50GYQ`
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#OJWU, Walter Sherman Gifford (unknown)

History

2026-11-02: add by m2/dev

Variations C20KCYAP67

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

Mentions

wikipedia: Wikipedia Chamfered square tiling#ILUL, Variations (statement)

History

2026-11-02: add by m2/dev

C20KT0ZFRZ C20KT0ZFRZ

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

Mentions

arxiv: arXiv 2610.18918#XBUI (statement). In DFF27T2D8E/e1, lemma 2

History

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

Properties C20NHPDCXQ

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

Mentions

wikipedia: Wikipedia Star product#SCFU, Properties (statement)

History

2026-11-02: add by m2/dev

Prime denominators C20R5KFRQC

URI	`m2://inv/C20R5KFRQC`
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 2610.02806#2LRL, Prime denominators (statement). In F4A354Y5NC/e1, theorem 8.2

History

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

Scattering matrix C20X47SGV0

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

Mentions

wikipedia: Wikipedia List of named matrices#M6I5, Scattering matrix (definition)

History

2026-11-02: add by m2/dev

C21BSQNH3D C21BSQNH3D

URI	`m2://inv/C21BSQNH3D`
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.21765#SZRM (statement)

History

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

History of population dynamics C21HEWDE0K

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

Mentions

wikipedia: Wikipedia Population dynamics#JH2C, History of population dynamics (unknown)

History

2026-11-02: add by m2/dev

Hyperbolic sine integral C21MGCY68G

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

Mentions

wikipedia: Wikipedia Trigonometric integral#5QIQ, Hyperbolic sine integral (unknown)

History

2026-11-02: add by m2/dev

C221RCY4F5 C221RCY4F5

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

Mentions

arxiv: arXiv 2609.37520#754N (definition). In BDN507RN7J/e1, definition 4.2.4

History

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

Uniform bound for Thue solutions C223ZGACZH

URI	`m2://inv/C223ZGACZH`
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.33027#L5H6, Uniform bound for Thue solutions (statement). In E2AF84709B/e1, theorem 41

History

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

C22GPRTJ4Y C22GPRTJ4Y

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

Mentions

arxiv: arXiv 2609.34168#A4A9 (statement). In 30YQV8N04M/e1, lemma 12.4

History

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

change C22J5TSNWB

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

Mentions

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

History

2026-11-02: add by m2/dev

transitivity C22JP18EH1

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

Mentions

wikipedia: Wikipedia Glossary of logic#NW8I, transitivity (definition)

History

2026-11-02: add by m2/dev

Example C22JWVA3E9

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

Mentions

wikipedia: Wikipedia Hodges' estimator#JIJX, Example (example)

History

2026-11-02: add by m2/dev

Frobenius determinant theorem C22RMWNYFY

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

Mentions

wikipedia: Wikipedia List of theorems#I5H2, Frobenius determinant theorem (statement)

History

2026-11-02: add by m2/dev

Kerin C22X1VNJN0

URI	`m2://inv/C22X1VNJN0`
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 2511.17751#CZHF, Kerin (statement). In J39X0NB31S/e1, theorem 8.1

History

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

C22XEP35SN C22XEP35SN

URI	`m2://inv/C22XEP35SN`
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.27800#ZIC1 (statement)

History

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

exponential C23004ET22

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

Mentions

wikipedia: Wikipedia List of mathematical series#JIAQ, exponential (definition)

History

2026-11-02: add by m2/dev

C230XJA2T8 C230XJA2T8

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

Mentions

arxiv: arXiv 2309.15228#VHH8 (statement). In 4778KMFZAF/e1, proposition 3.2

History

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

Collision detection C233AF3MMQ

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

Mentions

wikipedia: Wikipedia List of combinatorial computational geometry topics#5PK0, Collision detection (unknown)
wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#W6IW, Collision detection (unknown)

History

2026-11-02: add by m2/dev

Examples C23DEZ2Q3Q

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

Mentions

wikipedia: Wikipedia Opposite category#YAOR, Examples (example)

History

2026-11-02: add by m2/dev

Explicit Quantum List Recoverable Codes, Informal C23DP8VAQE

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

Mentions

arxiv: arXiv 2609.40252#9C75, Explicit Quantum List Recoverable Codes, Informal (statement). In 7MVPNFPRKB/e1, theorem 1.12

History

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

C23KC17KHG C23KC17KHG

URI	`m2://inv/C23KC17KHG`
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.19309#UGJ2 (statement). In XKENQH35DW/e1, corollary 2.4

History

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

C23SJT5QSM C23SJT5QSM

URI	`m2://inv/C23SJT5QSM`
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.01915#PXOZ (statement). In 6HJQXZS0A6/e1, proposition 4.2

History

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

Properties C23TW4WEF4

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

Mentions

wikipedia: Wikipedia Skew-symmetric matrix#5N0U, Properties (statement)

History

2026-11-02: add by m2/dev

Freudenthal suspension theorem C23WDG61J8

URI	`m2://inv/C23WDG61J8`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	Freudenthal suspension theorem 7DM2KSS2DB

Mentions

mathlib_1000: mathlib_1000 Q1455794, Freudenthal suspension theorem (statement). Also Wikidata Q1455794
thousand_plus: thousand_plus Q1455794, Freudenthal suspension theorem (statement). Also Wikidata Q1455794, Wikipedia Freudenthal suspension theorem
wikidata: Wikidata Q1455794, Freudenthal suspension theorem (statement). Also nLab Freudenthal suspension theorem
wikipedia: Wikipedia Freudenthal suspension theorem, Freudenthal suspension theorem (statement). Also Wikidata Q1455794

History

2026-10-26: add by m2/dev

C2415RSTM5 C2415RSTM5

URI	`m2://inv/C2415RSTM5`
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 2503.01563#LY7U (statement). In H96Q47E9E1/e1, theorem 3.8

History

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

Definition C242NEXNQ4

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

Mentions

wikipedia: Wikipedia Torsion of a curve#4UBH, Definition (definition)

History

2026-11-02: add by m2/dev

Example C24463CFVD

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

Mentions

wikipedia: Wikipedia Conditional probability#FSH5, Example (example)

History

2026-11-02: add by m2/dev

Positive heuristic C247E0Q4K1

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

Mentions

wikipedia: Wikipedia Paradigm#H72Y, Positive heuristic (unknown)

History

2026-11-02: add by m2/dev

C247X86NQ4 C247X86NQ4

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

Mentions

arxiv: arXiv 2610.18673#YE3O (definition). In 7ZFD9XRKA1/e1, definition 4.3

History

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

C249QS39KQ C249QS39KQ

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

Mentions

arxiv: arXiv 2609.21403#FBJL (definition)

History

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

State space C24B11K44X

URI	`m2://inv/C24B11K44X`
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 2610.10474#CX57, State space (definition). In MB29RAAQMG/e1, definition 4.5

History

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

Monster Lie algebra C24BZKNSV6

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

Mentions

wikipedia: Wikipedia Monster Lie algebra, Monster Lie algebra (definition). Also Wikidata Q17099049

History

2026-11-02: add by m2/dev

C24EBDSE9T C24EBDSE9T

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

Mentions

arxiv: arXiv 2610.22288#OL3I (statement). In X38P26DK6S/e1, proposition 6.8

History

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

Non-constructive upper bound for $k$-graphs C24GEY8NM6

URI	`m2://inv/C24GEY8NM6`
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.07379#7W5V, Non-constructive upper bound for $k$-graphs (statement). In N0EVQ46HBR/e1, theorem 1.1

History

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

Andrzej Białynicki-Birula C24JWS9222

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UQUS, Andrzej Białynicki-Birula (topic)

History

2026-11-02: add by m2/dev

Formulas for specific graph families C24PMXH788

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

Mentions

wikipedia: Wikipedia Fractional dominating set#T9JS, Formulas for specific graph families (statement)

History

2026-11-02: add by m2/dev

Peng Shige C24PWD3K33

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#EDZM, Peng Shige (topic)

History

2026-11-02: add by m2/dev

false C254K8N6T3

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

Mentions

wikipedia: Wikipedia List of rules of inference#T4K9, false (definition)

History

2026-11-02: add by m2/dev

Deducing Stirling's formula C2569YTANW

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

Mentions

wikipedia: Wikipedia Wallis' integrals#CZYB, Deducing Stirling's formula (statement)

History

2026-11-02: add by m2/dev

Elliptic modulus C2583X4QZK

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

Mentions

wikipedia: Wikipedia Modular lambda function#6FT6, Elliptic modulus (unknown)

History

2026-11-02: add by m2/dev

parabiaugmented hexagonal prism C2595EJKG2

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

Mentions

wikidata: Wikidata Q2445247, parabiaugmented hexagonal prism (object). Also MathWorld ParabiaugmentedHexagonalPrism
wikipedia: Wikipedia Parabiaugmented hexagonal prism, Parabiaugmented hexagonal prism (definition). Also Wikidata Q2445247

History

2026-10-26: add by m2/dev

Applications C25BVKSRHS

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

Mentions

wikipedia: Wikipedia Samuelson's inequality#XOUY, Applications (example)

History

2026-11-02: add by m2/dev

Hardy–Weinberg principle C25D8X5VA9

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

Mentions

wikidata: Wikidata Q49974, Hardy–Weinberg principle (statement). Also ProofWiki Hardy-Weinberg_Law
wikipedia: Wikipedia Hardy–Weinberg principle, Hardy–Weinberg principle (statement). Also Wikidata Q49974

History

2026-10-26: add by m2/dev

Duality before the nondegeneracy assumption C25J8X20JM

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

Mentions

arxiv: arXiv 2609.38228#DG6A, Duality before the nondegeneracy assumption (statement). In 9YAE8FNQST/e1, proposition 17.3

History

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

C25JK0FJGJ C25JK0FJGJ

URI	`m2://inv/C25JK0FJGJ`
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 2604.05177#IYXW (definition). In G04BKQV6YM/e1, definition 5.1

History

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

C25SV4CN8B C25SV4CN8B

URI	`m2://inv/C25SV4CN8B`
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.18464#IFE4 (statement). In VSTFM3ME25/e1, lemma 2.4

History

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

C25XV74R3V C25XV74R3V

URI	`m2://inv/C25XV74R3V`
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-70 (exercise). In E9HS8K3A52, exercise, section 4.4.1

History

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

E C260DRBAG7

URI	`m2://inv/C260DRBAG7`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q14392, E (unknown). Also ProofWiki Symbols:Greek/Epsilon

History

2026-10-26: add by m2/dev

Folium of Descartes C264G6JFJP

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#B0E9, Folium of Descartes (definition)
wikipedia: Wikipedia List of curves#YOUE, Folium of Descartes (definition)

History

2026-11-02: add by m2/dev

Applications C265CCAAP6

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

Mentions

wikipedia: Wikipedia Jet Propulsion Laboratory Development Ephemeris#1AJO, Applications (example)

History

2026-11-02: add by m2/dev

C266MR6J0N C266MR6J0N

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

Mentions

arxiv: arXiv 2610.21960#CSCF (definition). In QX77AN49J0/e1, definition 7.1

History

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

C2690C833C C2690C833C

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

Mentions

arxiv: arXiv 2609.33018#5VIZ (statement). In 8XVS0QJ2AH/e1, proposition 29

History

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

C26JD2T9K7 C26JD2T9K7

URI	`m2://inv/C26JD2T9K7`
Kind	definition
Layer	research
MSC	55-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 2303.09207#1UQZ (definition). In 9DQKY7KGE8/e1, definition A.18

History

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

C26MTTA1HZ C26MTTA1HZ

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

Mentions

arxiv: arXiv 2610.20758#O9DZ (statement). In PG0B4PH9YH/e1, lemma 5.4

History

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

univariate C26RAD6GY8

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

Mentions

wikidata: Wikidata Q1681619, univariate (unknown). Also MathWorld Univariate
wikipedia: Wikipedia Univariate, Univariate (definition). Also Wikidata Q1681619

History

2026-10-26: add by m2/dev

Lagrange inversion formula C26VS7S8TN

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

Mentions

wikipedia: Wikipedia Generating function#S5NG, Lagrange inversion formula (statement)

History

2026-11-02: add by m2/dev

C2709SS8JD C2709SS8JD

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

Mentions

arxiv: arXiv 2610.21533#JZZJ (statement). In N3Z6JFEPCF/e1, lemma 3.4

History

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

C27AZPRMHH C27AZPRMHH

URI	`m2://inv/C27AZPRMHH`
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.06152#GP4K (statement). In HH35K7S17H/e1, theorem 5.3

History

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

Real trees and translation lengths C27AZRNYSV

URI	`m2://inv/C27AZRNYSV`
Kind	definition
Layer	research
MSC	26-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 2610.17116#9OY6, Real trees and translation lengths (definition). In A02X6MX28Y/e1, definition 3.3

History

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

Combined conclusion C27F7XKMJY

URI	`m2://inv/C27F7XKMJY`
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.24185#LWBK, Combined conclusion (statement)

History

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

C27FJRDE8M C27FJRDE8M

URI	`m2://inv/C27FJRDE8M`
Kind	example
Layer	research
MSC	05-XX, 26-XX, 37-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 2203.01511#HLQ5 (example). In QA7EPHDTV2/e1, example 1.4

History

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

C27T8V003D C27T8V003D

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

Mentions

arxiv: arXiv 2609.38206#ZP2L (statement). In F71MS1F637/e1, theorem 5.25

History

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

C27WZQ7W5J C27WZQ7W5J

URI	`m2://inv/C27WZQ7W5J`
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 0804.2115#J3CZ (statement). In B9XACVAC6X/e1, lemma 3.1

History

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

C27XWH8NBP C27XWH8NBP

URI	`m2://inv/C27XWH8NBP`
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 2308.07021#LYB6 (statement). In H4CM84JVPC/e1, theorem 5.2

History

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

supersingular prime C281AWC0M4

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

Mentions

wikidata: Wikidata Q17089216, supersingular prime (unknown). Also MathWorld SupersingularPrime
wikidata: Wikidata Q3343100, supersingular prime (unknown). Also MathWorld SupersingularPrime
wikipedia: Wikipedia Supersingular prime (algebraic number theory), Supersingular prime (conjecture). Also Wikidata Q3343100
wikipedia: Wikipedia Supersingular prime (moonshine theory), Supersingular prime (definition). Also Wikidata Q17089216

History

2026-10-26: add by m2/dev

Notation C281FD5HGE

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

Mentions

wikipedia: Wikipedia Stirling number#J98J, Notation (definition)

History

2026-11-02: add by m2/dev

C2864BYEM9 C2864BYEM9

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#prop:quant-termmodel (statement). In PKGMM3P5QY, prop, section 11.1

History

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

Felix Hausdorff C287S6PZEE

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#3IAD, Felix Hausdorff (topic)

History

2026-11-02: add by m2/dev

C28AY0NE78 C28AY0NE78

URI	`m2://inv/C28AY0NE78`
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#Q68Z (statement). In 9JHMTYGWFQ/e1, lemma 4.7

History

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

C28EJ7FVY6 C28EJ7FVY6

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

Mentions

arxiv: arXiv 2610.09086#A7XX (statement). In JPC86V77CH/e1, lemma 3.8

History

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

Properties C28GYHKEKW

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

Mentions

wikipedia: Wikipedia Hyperexponential distribution#HYEV, Properties (statement)

History

2026-11-02: add by m2/dev

C28X24XDQT C28X24XDQT

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

Mentions

arxiv: arXiv math/0512416#A810 (statement). In WJD9YPGGYH/e1, lemma 5.2

History

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

Set-builder notation C28YWEVD7Z

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

Mentions

wikipedia: Wikipedia Set-builder notation, Set-builder notation (definition). Also Wikidata Q3352804

History

2026-11-02: add by m2/dev

Normalization dictionary C29HCBFR18

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

Mentions

arxiv: arXiv 2609.25925#R3XB, Normalization dictionary (statement)

History

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

Pathetic fallacy C29PSP5M4F

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

Mentions

wikipedia: Wikipedia Pathetic fallacy, Pathetic fallacy (definition). Also Wikidata Q5157281

History

2026-11-02: add by m2/dev

C29R1KC66X C29R1KC66X

URI	`m2://inv/C29R1KC66X`
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.11886#AT0V (statement). In T0APQY74CA/e1, corollary 14

History

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

Axial-spectral representation of the Sommerfeld identity C29VMX4X8Y

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

Mentions

wikipedia: Wikipedia Sommerfeld identity#68OV, Axial-spectral representation of the Sommerfeld identity (statement)

History

2026-11-02: add by m2/dev

Example C2A9JYHYBF

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

Mentions

wikipedia: Wikipedia Stars and bars (combinatorics)#151V, Example (example)

History

2026-11-02: add by m2/dev

C2AGGFS6HP C2AGGFS6HP

URI	`m2://inv/C2AGGFS6HP`
Kind	statement
Layer	research
MSC	35-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.32233#BP9X (statement). In V42PPD7SWH/e1, proposition 4.9

History

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

C2AGNVVFFR C2AGNVVFFR

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/downward-ls.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 11.2

History

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

C2AM2K0KA0 C2AM2K0KA0

URI	`m2://inv/C2AM2K0KA0`
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 2307.02473#9ZBE (statement). In RGXMK94YW1/e1, lemma 5.2

History

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

Bateman–Horn conjecture C2APGAV52H

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

Mentions

wikipedia: Wikipedia Bateman–Horn conjecture, Bateman–Horn conjecture (conjecture). Also Wikidata Q2993304

History

2026-11-02: add by m2/dev

C2AQGRBTXQ C2AQGRBTXQ

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

Mentions

arxiv: arXiv 2512.16003#BF4R (definition). In BJGS6ZCQ12/e1, definition 3.13

History

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

Chen Wen-chen C2ATAFQE7A

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

Mentions

wikipedia: Wikipedia List of Taiwanese mathematicians#PEAL, Chen Wen-chen (unknown)

History

2026-11-02: add by m2/dev

Examples C2AX2P91WF

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

Mentions

wikipedia: Wikipedia Join (graph theory)#QNAW, Examples (example)

History

2026-11-02: add by m2/dev

Some basic theorems C2B0C1CNVK

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

Mentions

wikipedia: Wikipedia Universal algebra#13VL, Some basic theorems (statement)

History

2026-11-02: add by m2/dev

C2BP6F9YHC C2BP6F9YHC

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

Mentions

arxiv: arXiv 2609.27484#WF1O (statement)

History

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

Dashboard C2BTW9BXJW

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

Mentions

wikipedia: Wikipedia Dashboard (computing), Dashboard (definition). Also Wikidata Q4343952

History

2026-11-02: add by m2/dev

correlation dimension C2BZ6B71RT

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

Mentions

wikidata: Wikidata Q5172849, correlation dimension (unknown). Also MathWorld CorrelationDimension
wikipedia: Wikipedia Correlation dimension, Correlation dimension (definition). Also Wikidata Q5172849

History

2026-10-26: add by m2/dev

C2C3GRGZAY C2C3GRGZAY

URI	`m2://inv/C2C3GRGZAY`
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 2306.00212#H411 (statement). In C9GG9C1X65/e1, lemma 7

History

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

Applied probability C2C4FN57RN

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

Mentions

wikipedia: Wikipedia Applied probability, Applied probability (definition). Also Wikidata Q3623548

History

2026-11-02: add by m2/dev

S. S. Shrikhande C2C81W04SH

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#V2N6, S. S. Shrikhande (topic)

History

2026-11-02: add by m2/dev

Uniform per-key $\varepsilon$-TV distortion C2CSKRWQH3

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

Mentions

arxiv: arXiv 2610.05712#7U6X, Uniform per-key $\varepsilon$-TV distortion (definition). In 44Q2H3DWNW/e1, definition 1

History

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

Anne Canteaut C2CTEBP15N

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

Mentions

wikipedia: Wikipedia Anne Canteaut, Anne Canteaut (topic). Also Wikidata Q21769908

History

2026-11-02: add by m2/dev

Finite-sum local constants C2CXPWRRD5

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

Mentions

arxiv: arXiv 2609.30301#ATZC, Finite-sum local constants (statement). In 7NS75J7HAM/e1, proposition 2.1

History

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

7200 C2D0HSDPNN

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

Mentions

wikipedia: Wikipedia 7000 (number)#ZY3D, 7200 (unknown)

History

2026-11-02: add by m2/dev

C2D55D7CDW C2D55D7CDW

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

History

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

Conway's law C2DJ1N7MVA

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

Mentions

wikidata: Wikidata Q1518855, Conway's law (unknown). Also nLab Conway's law

History

2026-10-26: add by m2/dev

Uses C2DYK094HE

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

Mentions

wikipedia: Wikipedia Absolute scale#ZEM4, Uses (example)

History

2026-11-02: add by m2/dev

X-ray transform C2DZ5W2TWG

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

Mentions

wikipedia: Wikipedia X-ray transform, X-ray transform (definition). Also Wikidata Q8041582

History

2026-11-02: add by m2/dev

Examples C2DZJHR1TG

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

Mentions

wikipedia: Wikipedia Narayana polynomials#VSTM, Examples (example)

History

2026-11-02: add by m2/dev

Definitions C2E2Y5RKKV

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

Mentions

wikipedia: Wikipedia Complete partial order#YWUY, Definitions (definition)

History

2026-11-02: add by m2/dev

node cusp C2E5CV8EVX

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#E12U, node cusp (definition)

History

2026-11-02: add by m2/dev

Gian-Carlo Rota C2E7NWFYW7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6R8U, Gian-Carlo Rota (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#531P, Gian-Carlo Rota (topic)

History

2026-11-02: add by m2/dev

Stephen Cook C2EPFTQMHP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#142C, Stephen Cook (topic)

History

2026-11-02: add by m2/dev

Radial scaling and right-angle geometry C2F04KSQWA

URI	`m2://inv/C2F04KSQWA`
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 2609.25027#LLMG, Radial scaling and right-angle geometry (statement)

History

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

Jacobi fields for unions of planes C2F7Z4D7NJ

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

Mentions

arxiv: arXiv 2610.10790#VPMW, Jacobi fields for unions of planes (example). In HHQ6P3RRB8/e1, example

History

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

C2FA22W8A3 C2FA22W8A3

URI	`m2://inv/C2FA22W8A3`
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.07546#FL6F (statement). In H9YE46CGFN/e1, lemma 7

History

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

C2FCMT36EH C2FCMT36EH

URI	`m2://inv/C2FCMT36EH`
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 2108.03672#GXHL (statement). In EZZSZ1F071/e1, lemma 1.26

History

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

C2FEHZFAXN C2FEHZFAXN

URI	`m2://inv/C2FEHZFAXN`
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 2406.07116#0QV5 (definition). In 5B030CB2RK/e1, definition 7.1

History

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

C2FFG9FZZK C2FFG9FZZK

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

Mentions

arxiv: arXiv 2609.27078#LBQ8 (definition)

History

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

smooth C2FH6BAVM8

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#3LHZ, smooth (definition)

History

2026-11-02: add by m2/dev

Elizabeth Buchanan Cowley C2FPQF2RS5

URI	`m2://inv/C2FPQF2RS5`
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#ZRSM, Elizabeth Buchanan Cowley (topic)

History

2026-11-02: add by m2/dev

Bobby Seagull C2FS54F7RB

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

Mentions

wikipedia: Wikipedia Bobby Seagull, Bobby Seagull (topic). Also Wikidata Q56706967

History

2026-11-02: add by m2/dev

Georges Glaeser C2FXC6462V

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

Mentions

wikipedia: Wikipedia Georges Glaeser, Georges Glaeser (topic). Also Wikidata Q2037243

History

2026-11-02: add by m2/dev

C2G0G98ENJ C2G0G98ENJ

URI	`m2://inv/C2G0G98ENJ`
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.19449#WUR0 (statement). In 8ZKPJ3CBDF/e1, proposition 5.2

History

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

Consumer math C2G5DCE8NB

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

Mentions

wikipedia: Wikipedia Consumer math, Consumer math (definition). Also Wikidata Q5164705

History

2026-11-02: add by m2/dev

C2GAV251PA C2GAV251PA

URI	`m2://inv/C2GAV251PA`
Kind	statement
Layer	research
MSC	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 0709.4546#6TNG (statement). In 7H5Q5M7W96/e1, theorem 2.2

History

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

Green inverse of the normal operator C2GAXS486B

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

Mentions

arxiv: arXiv 2610.14906#2F5K, Green inverse of the normal operator (statement). In 1F8ENX770M/e1, corollary 4.1

History

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

$\UUU = \XXX$, $C=C_0$ C2GE47NFCP

URI	`m2://inv/C2GE47NFCP`
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 2106.11898#X6QO, $\UUU = \XXX$, $C=C_0$ (statement). In KXXV5X8AG4/e1, proposition 4.4

History

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

Alternating group C2GXA09HDQ

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

Mentions

wikipedia: Wikipedia List of finite-dimensional Nichols algebras#UFDH, Alternating group (definition)

History

2026-11-02: add by m2/dev

Local spectral loss C2H49NR7E4

URI	`m2://inv/C2H49NR7E4`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.19416#F93I, Local spectral loss (statement). In TJVWQ0ZSGY/e1, lemma 2.8

History

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

Fréchet space C2H4M7H6TH

URI	`m2://inv/C2H4M7H6TH`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Fréchet space 3GAA614673

Mentions

wikidata: Wikidata Q1471397, Fréchet space (concept). Also EoM Fréchet_space, MathWorld FrechetSpace, nLab Fréchet space
wikipedia: Wikipedia Fréchet space, Fréchet space (definition). Also Wikidata Q1471397

History

2026-10-26: add by m2/dev

C2H50XZ5D3 C2H50XZ5D3

URI	`m2://inv/C2H50XZ5D3`
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 2308.05066#IA2D (statement). In 1QSCT53ZED/e1, corollary 2.13

History

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

Pierre Dangicourt C2H8F3YC57

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

Mentions

wikipedia: Wikipedia Pierre Dangicourt, Pierre Dangicourt (topic). Also Wikidata Q3384620

History

2026-11-02: add by m2/dev

R. Catesby Taliaferro C2H9SBWB1P

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

Mentions

wikipedia: Wikipedia R. Catesby Taliaferro, R. Catesby Taliaferro (topic). Also Wikidata Q7273540

History

2026-11-02: add by m2/dev

C2HGAF37PP C2HGAF37PP

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 5.4

History

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

C2HNZNHQF2 C2HNZNHQF2

URI	`m2://inv/C2HNZNHQF2`
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.21403#J8TN (statement)

History

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

C2HP8ENAQB C2HP8ENAQB

URI	`m2://inv/C2HP8ENAQB`
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 1103.1038#HMPV (definition). In T9VMNNPS0H/e1, definition 2.1

History

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

C2HQPX92TS C2HQPX92TS

URI	`m2://inv/C2HQPX92TS`
Kind	statement
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.25957#X9G3 (statement)

History

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

Compartmented Secret Sharing Scheme C2J0HZTC7G

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

Mentions

arxiv: arXiv 2610.06312#C2PW, Compartmented Secret Sharing Scheme (definition). In Y3HBJMCC4D/e1, definition 2

History

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

Théophile de Donder C2J48RWQ4X

URI	`m2://inv/C2J48RWQ4X`
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#B6M8, Théophile de Donder (unknown)

History

2026-11-02: add by m2/dev

C2JJS2VJGG C2JJS2VJGG

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

Mentions

arxiv: arXiv 2610.05320#5ZOM (statement). In MVXZWHKEX8/e1, theorem 5.4

History

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

Doob's martingale convergence theorems C2JR35N6HA

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

Mentions

mathlib_1000: mathlib_1000 Q1765521, Doob's martingale convergence theorems (statement). Also Wikidata Q1765521
thousand_plus: thousand_plus Q1765521, Doob's martingale convergence theorems (statement). Also Wikidata Q1765521, Wikipedia Doob's martingale convergence theorems
wikipedia: Wikipedia Doob's martingale convergence theorems, Doob's martingale convergence theorems (statement). Also Wikidata Q1765521

History

2026-10-26: add by m2/dev

C2JTCW8N46 C2JTCW8N46

URI	`m2://inv/C2JTCW8N46`
Kind	example
Layer	research
MSC	14-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 2401.11433#HP0X (example). In JNA2B803FH/e1, example 4.6

History

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

C2JVZ2BJE1 C2JVZ2BJE1

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 22.5

History

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

Problem 4 C2K8NKB15R

URI	`m2://inv/C2K8NKB15R`
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 2411.16465#URZN, Problem 4 (problem). In 900P3XBZ5P/e1, problem 1.2

History

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

Christine Ladd-Franklin C2KKDVHJCA

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

Mentions

wikipedia: Wikipedia Christine Ladd-Franklin, Christine Ladd-Franklin (topic). Also Wikidata Q441382

History

2026-11-02: add by m2/dev

Tom Lehrer C2KMN03AAW

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

Mentions

wikipedia: Wikipedia Tom Lehrer, Tom Lehrer (topic). Also Wikidata Q369724

History

2026-11-02: add by m2/dev

C2KV2E809G C2KV2E809G

URI	`m2://inv/C2KV2E809G`
Kind	example
Layer	research
MSC	05-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.04325#44D1 (example). In 42XHT97E64/e1, example 6.7

History

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

Applications C2KXFTYG2S

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

Mentions

wikipedia: Wikipedia Fibonomial coefficient#XVVA, Applications (example)

History

2026-11-02: add by m2/dev

C2M1SV5VVJ C2M1SV5VVJ

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

Mentions

arxiv: arXiv 2610.11309#6ML7 (statement). In TTEAQA1XXR/e1, theorem

History

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

Deng--Hu--Zhang C2M9T1EJTV

URI	`m2://inv/C2M9T1EJTV`
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.03310#373P, Deng--Hu--Zhang (statement). In 2CQ2KPV3CG/e1, proposition 2.2

History

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

lune C2MBAYSP4F

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

Mentions

wikidata: Wikidata Q3518248, lune (unknown). Also MathWorld Lune
wikipedia: Wikipedia Lune (geometry), Lune (definition). Also Wikidata Q3518248

History

2026-10-26: add by m2/dev

Top-$K$ TV bound C2MCGRM3VN

URI	`m2://inv/C2MCGRM3VN`
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.10640#8DZS, Top-$K$ TV bound (statement). In BAQVK6N0RD/e1, corollary 2

History

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

C2MDHQJG3V C2MDHQJG3V

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

Mentions

arxiv: arXiv 2609.28552#GOD0 (statement)

History

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

C2MEY2Q2Y2 C2MEY2Q2Y2

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

Mentions

arxiv: arXiv 2610.20207#7G8S (statement). In 1MPH7GCFJ2/e1, theorem E

History

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

C2MTXG8CHS C2MTXG8CHS

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-12 (proof). In E59CDZA4DP, proof, section 10.2.4

History

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

C2MV2VEAA9 C2MV2VEAA9

URI	`m2://inv/C2MV2VEAA9`
Kind	statement
Layer	research
MSC	11-XX, 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 2606.22882#HVQO (statement). In YNE0Q2X61Y/e1, proposition 2.6

History

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

Ivan Smith C2MXFECFFF

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

Mentions

wikipedia: Wikipedia Ivan Smith (mathematician), Ivan Smith (topic). Also Wikidata Q29643230

History

2026-11-02: add by m2/dev

C2N0V8WVAM C2N0V8WVAM

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

Mentions

arxiv: arXiv 2609.35398#MD6N (statement). In NAJCCHYXR6/e1, lemma 3.3

History

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

Transcendence of e and π C2N12M174H

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#TZO2, Transcendence of e and π (statement)

History

2026-11-02: add by m2/dev

Renate Scheidler C2N56ZNXG2

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

Mentions

wikipedia: Wikipedia Renate Scheidler, Renate Scheidler (topic). Also Wikidata Q102251043

History

2026-11-02: add by m2/dev

Fermat Prize C2N768ED5D

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

Mentions

wikipedia: Wikipedia Fermat Prize, Fermat Prize (definition). Also Wikidata Q1367879

History

2026-11-02: add by m2/dev

nilpotent C2N93QXAZH

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

Mentions

wikipedia: Wikipedia Glossary of module theory#2MM3, nilpotent (definition)

History

2026-11-02: add by m2/dev

Farrer, Thomas C2NM2TK7T6

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

Mentions

wikipedia: Wikipedia List of statisticians#ND3Z, Farrer, Thomas (topic)

History

2026-11-02: add by m2/dev

Ecliptic coordinate system C2P01YWXTE

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

Mentions

wikipedia: Wikipedia Ecliptic coordinate system, Ecliptic coordinate system (definition). Also Wikidata Q500348

History

2026-11-02: add by m2/dev

Viète's formula C2P36TNBHQ

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

Mentions

wikipedia: Wikipedia List of topics related to π#4BP4, Viète's formula (statement)

History

2026-11-02: add by m2/dev

Werner Weber C2P5RR27Y3

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

Mentions

wikipedia: Wikipedia List of German mathematicians#ZNS2, Werner Weber (topic)

History

2026-11-02: add by m2/dev

Laura Pisati C2P6HH19YQ

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

Mentions

wikipedia: Wikipedia Laura Pisati, Laura Pisati (topic). Also Wikidata Q98407721

History

2026-11-02: add by m2/dev

Certified articulated ascent C2P78ZJW3W

URI	`m2://inv/C2P78ZJW3W`
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.21580#NRHI, Certified articulated ascent (statement)

History

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

cut C2P7K8AN4J

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

Mentions

applied_combinatorics: applied_combinatorics index/13.2/cut, cut (concept). In QKM9DD2H56, index, section 13.2

History

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

Spontaneous generation C2P94PR8C1

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#9EPD, Spontaneous generation (unknown)

History

2026-11-02: add by m2/dev

Definition C2PE5TKVE9

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

Mentions

wikipedia: Wikipedia Sieve (category theory)#R7VC, Definition (definition)

History

2026-11-02: add by m2/dev

C2PEJJ41SR C2PEJJ41SR

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

Mentions

arxiv: arXiv 2211.16099#RWPK (statement). In 91RRFW0K5D/e1, proposition 7

History

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

Debye–Hückel theory C2PQAWDASV

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

Mentions

wikipedia: Wikipedia Debye–Hückel theory, Debye–Hückel theory (definition). Also Wikidata Q3526757

History

2026-11-02: add by m2/dev

Exterior angle theorem C2PX7AJGFH

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

Mentions

wikipedia: Wikipedia List of triangle topics#DBOD, Exterior angle theorem (statement)

History

2026-11-02: add by m2/dev

C2PYRBKZC1 C2PYRBKZC1

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

Mentions

arxiv: arXiv 2609.25703#MGM4 (statement)

History

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

C2Q2MPRQGD C2Q2MPRQGD

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-25 (proof). In E59CDZA4DP, proof, section 1.7.2

History

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

C2Q6X9R6JH C2Q6X9R6JH

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

Mentions

arxiv: arXiv 2609.28282#LLZU (statement)

History

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

Definition and properties C2Q9PP9KH3

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

Mentions

wikipedia: Wikipedia P-adic valuation#V1LV, Definition and properties (definition)

History

2026-11-02: add by m2/dev

Infinite rank with dimension three C2QAKKY482

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

Mentions

arxiv: arXiv 2610.00021#5USJ, Infinite rank with dimension three (example). In EX42AVA7CV/e1, example 5.4

History

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

Properties C2QBDAVGMR

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

Mentions

wikipedia: Wikipedia Bijection, injection and surjection#WRCO, Properties (statement)

History

2026-11-02: add by m2/dev

Four-wise independence bounds the diagonal radius C2QX39ZCQH

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

Mentions

arxiv: arXiv 2609.38228#5EL3, Four-wise independence bounds the diagonal radius (statement). In 9YAE8FNQST/e1, proposition 19.16

History

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

Properties C2R3QKPC0Q

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

Mentions

wikipedia: Wikipedia Trapezoid#C4N3, Properties (statement)

History

2026-11-02: add by m2/dev

Complexity of Identity Type C2R9KYNYRD

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

Mentions

wikipedia: Wikipedia Identity type#N1EM, Complexity of Identity Type (statement)

History

2026-11-02: add by m2/dev

C2RCKVA9XF C2RCKVA9XF

URI	`m2://inv/C2RCKVA9XF`
Kind	definition
Layer	research
MSC	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.29877#WZFU (definition)

History

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

link C2RG1HXFEC

URI	`m2://inv/C2RG1HXFEC`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Link 1A5WRCNTM3

Mentions

wikidata: Wikidata Q1760728, link (unknown). Also MathWorld Link
wikipedia: Wikipedia Link (knot theory), Link (definition). Also Wikidata Q1760728

History

2026-10-26: add by m2/dev

C2RPEKQGCS C2RPEKQGCS

URI	`m2://inv/C2RPEKQGCS`
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.17325#1RZ5 (statement). In SE16BAED46/e1, lemma 2

History

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

Folded normal distribution C2RQ78QPTE

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

Mentions

wikipedia: Wikipedia List of statistics articles#3JXH, Folded normal distribution (definition)

History

2026-11-02: add by m2/dev

C2RQND0Y8R C2RQND0Y8R

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

Mentions

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

History

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

C2S71C8BD9 C2S71C8BD9

URI	`m2://inv/C2S71C8BD9`
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.20273#DY0Q (statement). In AEGHDSD5S7/e1, proposition 3.5

History

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

C2S98CBEJ5 C2S98CBEJ5

URI	`m2://inv/C2S98CBEJ5`
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.15217#UEAG (definition). In G70Q2FB591/e1, definition 4.17

History

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

C2SAN20BYM C2SAN20BYM

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

Mentions

open_logic: open_logic content/set-theory/z/pairs.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 76.6

History

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

Inverse hyperbolic tangent C2SD198DY1

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#OECC, Inverse hyperbolic tangent (definition)

History

2026-11-02: add by m2/dev

Herschel–Bulkley fluid C2SGVHWMJ9

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

Mentions

wikipedia: Wikipedia Herschel–Bulkley fluid, Herschel–Bulkley fluid (definition). Also Wikidata Q10862968

History

2026-11-02: add by m2/dev

linked C2SM0Q14QK

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#30DY, linked (definition)

History

2026-11-02: add by m2/dev

multiplication of complex numbers C2SNQAA4RW

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

Mentions

lebl_diffyqs: lebl_diffyqs index/6.2.2/multiplication-of-complex-numbers, multiplication of complex numbers (concept). In E9HS8K3A52, index, section 6.2.2

History

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

C2SS79GMXK C2SS79GMXK

URI	`m2://inv/C2SS79GMXK`
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.08261#LVU0 (statement). In QD68GYRWNS/e1, lemma 3.1

History

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

Table of prime factors C2STH52P3H

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

Mentions

wikipedia: Wikipedia Table of prime factors, Table of prime factors (definition). Also Wikidata Q611422

History

2026-11-02: add by m2/dev

C2T1AY9DF1 C2T1AY9DF1

URI	`m2://inv/C2T1AY9DF1`
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 2610.10558#SXEC (statement). In GYSF9JXQCH/e1, lemma 5.6

History

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

C2T8WSXSTE C2T8WSXSTE

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

Mentions

hott_book: hott_book homotopy.tex#lem-2 (statement). In N54F33XE07, lem, section 7.5.2

History

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

Butterfly curve (transcendental) C2T8WY6D89

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

Mentions

wikipedia: Wikipedia List of curves#6RU2, Butterfly curve (transcendental) (definition)

History

2026-11-02: add by m2/dev

C2T9NJW7GA C2T9NJW7GA

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 2.7

History

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

Rural hospitals theorem C2TFKXTZ18

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

Mentions

wikipedia: Wikipedia Stable matching problem#M6V6, Rural hospitals theorem (statement)

History

2026-11-02: add by m2/dev

Chebyshev cube root C2TJ9DP4XM

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

Mentions

wikipedia: Wikipedia Cubic equation#23AQ, Chebyshev cube root (unknown)

History

2026-11-02: add by m2/dev

Multispecies Wasserstein-2 Gradient Flow Satisfies EVI (Formal C2TMWS4TYC

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

Mentions

arxiv: arXiv 2609.20998#O423, Multispecies Wasserstein-2 Gradient Flow Satisfies EVI (Formal (statement)

History

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

Integrated Brownian motion C2TPF1TSVQ

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

Mentions

wikipedia: Wikipedia Wiener process#FHB2, Integrated Brownian motion (unknown)

History

2026-11-02: add by m2/dev

Applications of nonlinear programming C2TQXPZNZP

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

Mentions

wikipedia: Wikipedia Nonlinear programming#5DZS, Applications of nonlinear programming (unknown)

History

2026-11-02: add by m2/dev

C2TWG49BBX C2TWG49BBX

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

Mentions

arxiv: arXiv 2610.04600#WMDP (statement). In 4V64K0DYSV/e1, lemma I.8.2

History

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

Complex sine C2TZW3XPSJ

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

Mentions

wikipedia: Wikipedia Sine and cosine#6MN0, Complex sine (unknown)

History

2026-11-02: add by m2/dev

C2VBBTYJ9K C2VBBTYJ9K

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

Mentions

arxiv: arXiv 2609.20998#113K (definition)

History

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

C2VJ7YK63Y C2VJ7YK63Y

URI	`m2://inv/C2VJ7YK63Y`
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.37208#M7HX (statement). In 7MCBCP4T0B/e1, lemma 4.13

History

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

Paradox C2VNW4EB6A

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

Mentions

wikipedia: Wikipedia Paradox, Paradox (statement). Also Wikidata Q483372

History

2026-11-02: add by m2/dev

Lemke–Howson algorithm C2VPXJF7RP

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

Mentions

wikipedia: Wikipedia Lemke–Howson algorithm, Lemke–Howson algorithm (definition). Also Wikidata Q6521170

History

2026-11-02: add by m2/dev

Residual rates C2VTNHJX6B

URI	`m2://inv/C2VTNHJX6B`
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.21991#NAA3, Residual rates (statement). In KRBDK9J44X/e1, proposition 4.4

History

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

Lorentz force C2W2MWN2B3

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

Mentions

wikidata: Wikidata Q172137, Lorentz force (unknown). Also nLab Lorentz force
wikipedia: Wikipedia Lorentz force, Lorentz force (definition). Also Wikidata Q172137

History

2026-10-26: add by m2/dev

Absorption C2W5C81YDE

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

Mentions

open_logic: open_logic content/methods/proofs/reading-proofs.tex#prop-1, Absorption (statement). In PKGMM3P5QY, prop, section 45.1

History

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

Dmitri Egorov C2W7AMKNAE

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

Mentions

wikipedia: Wikipedia List of geometers#XSJB, Dmitri Egorov (unknown)

History

2026-11-02: add by m2/dev

C2WDA87VQC C2WDA87VQC

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

Mentions

arxiv: arXiv 1408.1555#MVR9 (statement). In S1F2QW24YW/e1, lemma 5.3

History

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

C2WDMXAVTP C2WDMXAVTP

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

Mentions

wikipedia: Wikipedia Almost perfect number#9D3Q (problem)

History

2026-11-02: add by m2/dev

Tze Leung Lai C2WJF7FH6V

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#6SSD, Tze Leung Lai (topic)

History

2026-11-02: add by m2/dev

Diana Thomas C2WQGB5MVN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#O7BP, Diana Thomas (topic)

History

2026-11-02: add by m2/dev

universal elimination C2WS8ZWHW2

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

Mentions

wikipedia: Wikipedia Glossary of logic#TEQW, universal elimination (definition)

History

2026-11-02: add by m2/dev

C2WXWAETEV C2WXWAETEV

URI	`m2://inv/C2WXWAETEV`
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.25301#L0GF (statement)

History

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

average value C2WY5JE7N5

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

Mentions

active_calculus: active_calculus index/4.3.4/average-value, average value (concept). In 907G4C4EJ1, index, section 4.3.4

History

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

Generalizations of local class field theory C2WZ3GR502

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

Mentions

wikipedia: Wikipedia Local class field theory#YMCN, Generalizations of local class field theory (statement)

History

2026-11-02: add by m2/dev

Examples C2XA4H9RT9

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

Mentions

wikipedia: Wikipedia Binary operation#Y68E, Examples (example)

History

2026-11-02: add by m2/dev

Near-Wieferich prime C2XGDJ6Q44

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

Mentions

wikipedia: Wikipedia Wieferich prime#000V, Near-Wieferich prime (unknown)

History

2026-11-02: add by m2/dev

C2XR8SHFB2 C2XR8SHFB2

URI	`m2://inv/C2XR8SHFB2`
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 2210.04075#V5D5 (statement). In C5DZR0TC5E/e1, corollary 2.5

History

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

Examples C2XVKVX03D

URI	`m2://inv/C2XVKVX03D`
Kind	example
Layer	textbook
Sources	1
Outcome	deferred (the cue heading names a section and not one item)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Group homomorphism#ZJZA, Examples (example)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Likelihood and conditional-density regularity C2YDRYQMK3

URI	`m2://inv/C2YDRYQMK3`
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.05333#LQAH, Likelihood and conditional-density regularity (statement). In N37WKFTR7Q/e1, lemma D.2

History

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

C2YEGRD5MT C2YEGRD5MT

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

Mentions

arxiv: arXiv 2609.27078#OLXK (definition)

History

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

C2YMTNK77F C2YMTNK77F

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

Mentions

arxiv: arXiv 2609.21914#OELG (statement)

History

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

Properties C2YTJWQKQX

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

Mentions

wikipedia: Wikipedia Nilpotent orbit#AK3Q, Properties (statement)

History

2026-11-02: add by m2/dev

C2YVJ1PCHC C2YVJ1PCHC

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

Mentions

arxiv: arXiv 2609.27078#237O (definition)

History

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

C2YXCF4P5X C2YXCF4P5X

URI	`m2://inv/C2YXCF4P5X`
Kind	statement
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 2610.02686#CKT2 (statement). In 5QWPNXQ32J/e1, theorem 5.1

History

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

Martine Queffélec C2Z0NZY5S8

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

Mentions

wikipedia: Wikipedia Martine Queffélec, Martine Queffélec (topic). Also Wikidata Q96610614

History

2026-11-02: add by m2/dev

Informative data C2Z4VD127D

URI	`m2://inv/C2Z4VD127D`
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.25431#A2WC, Informative data (definition)

History

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

Donkey Kong Jr. Math C2ZF62D8AM

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

Mentions

wikipedia: Wikipedia Donkey Kong Jr. Math, Donkey Kong Jr. Math (definition). Also Wikidata Q1026656

History

2026-11-02: add by m2/dev

C2ZJG5E1EP C2ZJG5E1EP

URI	`m2://inv/C2ZJG5E1EP`
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.30664#EYV5 (statement). In ZZGDNKDVJW/e1, lemma 3.1

History

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

C2ZKZHP1FR C2ZKZHP1FR

URI	`m2://inv/C2ZKZHP1FR`
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#24GU (statement). In RBQ5FNCVNZ/e1, lemma 9.16

History

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

C2ZYK5CZ22 C2ZYK5CZ22

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#KU47 (definition)

History

2026-11-02: add by m2/dev