Inventory rows TD

Jaccard index TD1096DABA

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#31WO, Jaccard index (definition)
wikipedia: Wikipedia List of statistics articles#I54R, Jaccard index (definition)

History

2026-11-02: add by m2/dev

Reidun Twarock TD19BXV0BK

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

Mentions

wikipedia: Wikipedia List of German mathematicians#02YS, Reidun Twarock (unknown)

History

2026-11-02: add by m2/dev

Bonse's inequality TD1CXP0NDG

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

Mentions

wikipedia: Wikipedia Bonse's inequality, Bonse's inequality (statement). Also Wikidata Q892869

History

2026-11-02: add by m2/dev

Anne C. Morel TD1F208W2S

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#CRCV, Anne C. Morel (unknown)

History

2026-11-02: add by m2/dev

Cladogram TD1JD9NYGX

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

Mentions

wikipedia: Wikipedia List of graphical methods#A047, Cladogram (unknown)

History

2026-11-02: add by m2/dev

TD1N3RWZ49 TD1N3RWZ49

URI	`m2://inv/TD1N3RWZ49`
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.17897#A38I (statement). In G116A4SMS4/e1, proposition 4

History

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

Examples TD1NMPHF3G

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

Mentions

wikipedia: Wikipedia Computable set#KJ6V, Examples (example)

History

2026-11-02: add by m2/dev

event TD22DNCN6G

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#6Z8D, event (definition)

History

2026-11-02: add by m2/dev

TD24425PAR TD24425PAR

URI	`m2://inv/TD24425PAR`
Kind	definition
Layer	research
MSC	18-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 2403.16388#TXAW (definition). In HH4ADHZ8XD/e1, definition 3.4

History

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

end TD2C15942D

URI	`m2://inv/TD2C15942D`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	End and coend W9QTFV0Z8D

Mentions

wikidata: Wikidata Q5375781, end (concept). Also nLab end
wikipedia: Wikipedia End (category theory), End (definition). Also Wikidata Q5375781

History

2026-10-26: add by m2/dev

matchstick graph TD2JSRY5B5

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

Mentions

wikidata: Wikidata Q1402516, matchstick graph (unknown). Also MathWorld MatchstickGraph
wikipedia: Wikipedia Matchstick graph, Matchstick graph (definition). Also Wikidata Q1402516

History

2026-10-26: add by m2/dev

Definition TD2MT00S7A

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

Mentions

wikipedia: Wikipedia Branched surface#OGFD, Definition (definition)

History

2026-11-02: add by m2/dev

TD2WWJ3HFY TD2WWJ3HFY

URI	`m2://inv/TD2WWJ3HFY`
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.03555#TZ4D (statement). In 9JZJTRRVR1/e1, lemma 2.3

History

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

Products with a circle TD2XER9QY3

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

Mentions

arxiv: arXiv 2609.29839#005N, Products with a circle (statement)

History

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

Weight-Space Divergence Scaling under Deep Compositions TD2XN0W691

URI	`m2://inv/TD2XN0W691`
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.21340#PO0I, Weight-Space Divergence Scaling under Deep Compositions (statement). In AEYX7SEVBG/e1, proposition 1

History

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

Gyula Kőnig TD2YC3E4X6

URI	`m2://inv/TD2YC3E4X6`
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#4Q9U, Gyula Kőnig (unknown)

History

2026-11-02: add by m2/dev

Definition TD2ZTBA8QG

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

Mentions

wikipedia: Wikipedia Tournament solution#IJ00, Definition (definition)

History

2026-11-02: add by m2/dev

TD30CD5F6E TD30CD5F6E

URI	`m2://inv/TD30CD5F6E`
Kind	statement
Layer	research
MSC	14-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.24542#EI20 (statement)

History

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

TD31WF0QWZ TD31WF0QWZ

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

Mentions

arxiv: arXiv 2609.38188#MSNW (statement). In 7615KVXDB5/e1, theorem 3.13

History

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

Coons patch TD328C68TH

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

Mentions

wikipedia: Wikipedia Coons patch, Coons patch (definition). Also Wikidata Q1444718

History

2026-11-02: add by m2/dev

Applications TD374W3PHE

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

Mentions

wikipedia: Wikipedia Selberg sieve#FK2T, Applications (example)

History

2026-11-02: add by m2/dev

TD3JHT5TXA TD3JHT5TXA

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

Mentions

arxiv: arXiv 2610.09812#UK1J (statement). In NWWKD8YX57/e1, corollary 4.2

History

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

Global finite-energy existence TD3TR65ZMN

URI	`m2://inv/TD3TR65ZMN`
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.12387#CYQH, Global finite-energy existence (statement). In 3Z0PRE77SY/e1, theorem B

History

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

TD3WS5K4W0 TD3WS5K4W0

URI	`m2://inv/TD3WS5K4W0`
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 1003.1817#OFSA (statement). In VCPT7BK80E/e1, theorem 4.3

History

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

TD40YD85CZ TD40YD85CZ

URI	`m2://inv/TD40YD85CZ`
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.11189#4ZXL (statement). In Q27FWV48RX/e1, theorem B

History

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

TD45F3P1Z3 TD45F3P1Z3

URI	`m2://inv/TD45F3P1Z3`
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.25314#TX4D (statement)

History

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

TD489K7XQF TD489K7XQF

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#prob:reg_mat (exercise). In RZP28ERRZV, sproblem, section 80.6

History

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

An example TD4C7JYDD6

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

Mentions

wikipedia: Wikipedia Algebraic number field#BDX6, An example (example)

History

2026-11-02: add by m2/dev

Examples TD4CP6TWDC

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

Mentions

wikipedia: Wikipedia Cauchy condensation test#KA91, Examples (example)

History

2026-11-02: add by m2/dev

Space-time TD4JXPWXY0

URI	`m2://inv/TD4JXPWXY0`
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#APZ6, Space-time (definition). In WD2NCBV9F0/e1, definition 2.3

History

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

Borel's law of large numbers TD4V5SCJEJ

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

Mentions

wikipedia: Wikipedia Law of large numbers#V77S, Borel's law of large numbers (statement)

History

2026-11-02: add by m2/dev

TD4XEQ2Z11 TD4XEQ2Z11

URI	`m2://inv/TD4XEQ2Z11`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#0QH7 (statement). In PA6JQDSKQT/e1, proposition 3.15

History

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

inductive, definition TD50FE9846

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

Mentions

hott_book: hott_book index/8/inductive-definition, inductive, definition (concept). In N54F33XE07, index, section 8

History

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

Right-handed coordinate system TD555S3CPD

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

Mentions

wikipedia: Wikipedia Cartesian coordinate system#7WEJ, Right-handed coordinate system (unknown)

History

2026-11-02: add by m2/dev

Strong and weak null modes TD57833VB3

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

Mentions

arxiv: arXiv 2609.27966#H224, Strong and weak null modes (definition)

History

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

Christian Genest TD5G9R49VJ

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

Mentions

wikipedia: Wikipedia Christian Genest, Christian Genest (topic). Also Wikidata Q15737115

History

2026-11-02: add by m2/dev

TD5M116ATJ TD5M116ATJ

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

Mentions

arxiv: arXiv 2609.21611#SN7C (statement)

History

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

TD5MGKWTEX TD5MGKWTEX

URI	`m2://inv/TD5MGKWTEX`
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 1311.6044#XA1W (statement). In W4FFB6SVZD/e1, proposition 3.1

History

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

deltoidal hexecontahedron TD5PD5GP8R

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

Mentions

wikidata: Wikidata Q1184990, deltoidal hexecontahedron (object). Also MathWorld DeltoidalHexecontahedron
wikipedia: Wikipedia Deltoidal hexecontahedron, Deltoidal hexecontahedron (definition). Also Wikidata Q1184990

History

2026-10-26: add by m2/dev

TD5QBR4NJD TD5QBR4NJD

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

Mentions

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

History

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

TD5WNDKXA8 TD5WNDKXA8

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

Mentions

arxiv: arXiv 2609.30823#H0GL (definition). In 1YHQ9YNQ68/e1, definition 2.6

History

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

TD5Z7MK4BJ TD5Z7MK4BJ

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

Mentions

arxiv: arXiv 2609.33529#E4LK (unknown). In RQZGQG3PBR/e1, unknown II.12.11

History

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

Isaac Newton TD64GV6VH8

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#M055, Isaac Newton (topic)

History

2026-11-02: add by m2/dev

biaugmented truncated cube TD6632T88Q

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

Mentions

wikidata: Wikidata Q1660618, biaugmented truncated cube (object). Also MathWorld BiaugmentedTruncatedCube
wikipedia: Wikipedia Biaugmented truncated cube, Biaugmented truncated cube (definition). Also Wikidata Q1660618

History

2026-10-26: add by m2/dev

Lagrange Bay TD66TR27WV

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#JB6A, Lagrange Bay (unknown)

History

2026-11-02: add by m2/dev

discrete Dirichlet trace inequality TD6C00EZ8V

URI	`m2://inv/TD6C00EZ8V`
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.17678#EUZ9, discrete Dirichlet trace inequality (statement). In V753EAWQ3S/e1, lemma 4.3

History

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

TD6CM6C7ND TD6CM6C7ND

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

Mentions

napkin: napkin tex/H113/action.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 1.4

History

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

SHA-1 TD6E0BP143

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

Mentions

wikipedia: Wikipedia SHA-1, SHA-1 (definition). Also Wikidata Q13414952

History

2026-11-02: add by m2/dev

TD6J63KZAQ TD6J63KZAQ

URI	`m2://inv/TD6J63KZAQ`
Kind	statement
Layer	research
MSC	05-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 2610.12326#Z8HQ (statement). In 9S7HGSEX6Q/e1, corollary 4.9

History

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

TD6JZR6N9P TD6JZR6N9P

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#definition-1 (definition). In RZP28ERRZV, definition, section 62.2

History

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

Coradical filtration TD74HVP7C2

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

Mentions

arxiv: arXiv 2312.05005#XNFH, Coradical filtration (definition). In SMJMAQ2S3J/e1, definition 19

History

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

TD7BTRRQ56 TD7BTRRQ56

URI	`m2://inv/TD7BTRRQ56`
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.21367#7K9R (statement)

History

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

Natural topology TD7HW85GDA

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

Mentions

wikipedia: Wikipedia Natural topology, Natural topology (definition). Also Wikidata Q6980793

History

2026-11-02: add by m2/dev

Hensel's lemma TD7J5E31B9

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

Mentions

wikipedia: Wikipedia P-adic analysis#0HEH, Hensel's lemma (statement)

History

2026-11-02: add by m2/dev

TD7KM0TSEA TD7KM0TSEA

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

Mentions

arxiv: arXiv 2510.02019#JFKH (definition). In PD607VXPY3/e1, definition 8

History

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

Example TD7T2W7T54

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

Mentions

wikipedia: Wikipedia Good cover#X968, Example (example)

History

2026-11-02: add by m2/dev

Non-examples TD7W45C1EJ

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

Mentions

wikipedia: Wikipedia Reductive group#8C14, Non-examples (counterexample)

History

2026-11-02: add by m2/dev

TD81P2KAHA TD81P2KAHA

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

Mentions

arxiv: arXiv 2609.28411#Z1OH (statement)

History

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

Formal statement TD81S89STJ

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

Mentions

wikipedia: Wikipedia Obstacle problem#3MRP, Formal statement (statement)

History

2026-11-02: add by m2/dev

Examples TD8FE99Q1F

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

Mentions

wikipedia: Wikipedia Fundamental representation#85JF, Examples (example)

History

2026-11-02: add by m2/dev

$\cos\beta=1/3$, second outward family TD8H016NS8

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

Mentions

arxiv: arXiv 2610.21408#3HWC, $\cos\beta=1/3$, second outward family (example). In 3XBEGXNPXZ/e1, example 7.3

History

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

Exact limiting-NTK nullspace for a network with hidden biases TD8HFAZ474

URI	`m2://inv/TD8HFAZ474`
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.04357#XX5R, Exact limiting-NTK nullspace for a network with hidden biases (statement). In 6FY8BVP1F3/e1, proposition G.2

History

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

TD8K3F57GM TD8K3F57GM

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

Mentions

arxiv: arXiv 2610.13100#SU1V (statement). In CC6S1HVK0T/e1, proposition 9.12

History

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

TD8W9Y9BY8 TD8W9Y9BY8

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

History

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

Formal definition TD8X6SMJGG

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

Mentions

wikipedia: Wikipedia Hermite number#N4GH, Formal definition (definition)

History

2026-11-02: add by m2/dev

Definitions TD931PF273

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

Mentions

wikipedia: Wikipedia Continuous stochastic process#6TJ9, Definitions (definition)

History

2026-11-02: add by m2/dev

Condition for $a_N=L$ TD9AD8GZHX

URI	`m2://inv/TD9AD8GZHX`
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.35631#5D6R, Condition for $a_N=L$ (statement). In 9NCX0S6MTP/e1, lemma D.7

History

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

Example TD9BRMQVP5

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

Mentions

wikipedia: Wikipedia Hill cipher#4QQS, Example (example)

History

2026-11-02: add by m2/dev

Combinatorially good segment data TD9KBBHC25

URI	`m2://inv/TD9KBBHC25`
Kind	definition
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.05364#WUK4, Combinatorially good segment data (definition). In TPYRE2ARMD/e1, definition 2.6

History

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

Rigorous coupled-wave analysis TD9MWSEAF2

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

Mentions

wikipedia: Wikipedia Rigorous coupled-wave analysis, Rigorous coupled-wave analysis (definition). Also Wikidata Q7333866

History

2026-11-02: add by m2/dev

Algorithms TD9TYDZPFN

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

Mentions

wikipedia: Wikipedia Global dominating set#OZSX, Algorithms (definition)

History

2026-11-02: add by m2/dev

Riemann theta function TDA1YDR0DM

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

Mentions

wikipedia: Wikipedia Theta function#AD72, Riemann theta function (unknown)

History

2026-11-02: add by m2/dev

TDAFZZYN8V TDAFZZYN8V

URI	`m2://inv/TDAFZZYN8V`
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.30207#AMVA (statement)

History

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

TDAK344FDW TDAK344FDW

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

Mentions

arxiv: arXiv 2609.26496#GF6F (definition)

History

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

Jogesh Pati TDAMKT04FK

URI	`m2://inv/TDAMKT04FK`
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 Q381326, Jogesh Pati (unknown). Also nLab Jogesh Pati

History

2026-10-26: add by m2/dev

Compact case TDATVFC0HF

URI	`m2://inv/TDATVFC0HF`
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.23424#98AT, Compact case (statement)

History

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

TDAVZ8S9H9 TDAVZ8S9H9

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

History

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

TDB00GJ934 TDB00GJ934

URI	`m2://inv/TDB00GJ934`
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.26401#U2RK (definition)

History

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

Polignac's conjecture TDB01HS33S

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#9FIK, Polignac's conjecture (conjecture)

History

2026-11-02: add by m2/dev

Aleph fixed point TDB0ZTTXZY

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#example-7, Aleph fixed point (example). In RZP28ERRZV, example, section 89.7

History

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

Tooth worm TDB8TK6EJS

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#NBNX, Tooth worm (unknown)

History

2026-11-02: add by m2/dev

Universal approximation theorem: TDB8X44YX0

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

Mentions

wikipedia: Wikipedia Universal approximation theorem#VWXD, Universal approximation theorem: (statement)

History

2026-11-02: add by m2/dev

TDBBE62DCJ TDBBE62DCJ

URI	`m2://inv/TDBBE62DCJ`
Kind	statement
Layer	research
MSC	13-XX, 14-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.38068#Z42J (statement). In 67GE5M1GGD/e1, statement 5.17

History

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

Examples TDBDA6HSTG

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

Mentions

wikipedia: Wikipedia Cycle rank#OUKD, Examples (example)

History

2026-11-02: add by m2/dev

TDBDQMJ1SZ TDBDQMJ1SZ

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

Mentions

arxiv: arXiv 2609.31757#8VS7 (statement). In KBJHAD5TTY/e1, lemma 2.4

History

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

Weil conjecture (disambiguation) TDBHE8ZA7W

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#O0TO, Weil conjecture (disambiguation) (unknown)

History

2026-11-02: add by m2/dev

Economic epidemiology TDBJJHAASF

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

Mentions

wikipedia: Wikipedia Economic epidemiology, Economic epidemiology (definition). Also Wikidata Q5333462

History

2026-11-02: add by m2/dev

Reification (statistics) TDBMKBGER2

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

Mentions

wikipedia: Wikipedia List of statistics articles#M1T9, Reification (statistics) (definition)

History

2026-11-02: add by m2/dev

Full-state lower bounds TDBSSA24XF

URI	`m2://inv/TDBSSA24XF`
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.37247#R5XO, Full-state lower bounds (statement). In HMA5T6VHCN/e1, proposition 2.2

History

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

Survival analysis TDBVEPAY5Z

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

Mentions

wikipedia: Wikipedia List of statistics articles#KTPR, Survival analysis (topic)

History

2026-11-02: add by m2/dev

TDBVN5Y9JJ TDBVN5Y9JJ

URI	`m2://inv/TDBVN5Y9JJ`
Kind	statement
Layer	research
MSC	13-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 1705.01594#NEQ5 (statement). In BR3N3GSY2C/e1, corollary 2.5

History

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

Properties TDBX7SM3FT

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

Mentions

wikipedia: Wikipedia Relative homology#H0WY, Properties (statement)

History

2026-11-02: add by m2/dev

poset system TDC2AD2K36

URI	`m2://inv/TDC2AD2K36`
Kind	definition
Layer	research
MSC	54-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 2610.15099#JJXT, poset system (definition). In PF5JJ9DS8Q/e1, definition 2.2.1

History

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

University of California Press TDCHMA3YE2

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

Mentions

wikipedia: Wikipedia List of textbooks in thermodynamics and statistical mechanics#SAMG, University of California Press (unknown)

History

2026-11-02: add by m2/dev

TDCRYC2JK8 TDCRYC2JK8

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

Mentions

arxiv: arXiv 0811.0544#WBX3 (statement). In RKPZ3SC956/e1, lemma 2.3

History

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

Andrey Markov, Sr. TDCXM4K2CV

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#YWHA, Andrey Markov, Sr. (topic)

History

2026-11-02: add by m2/dev

Alexander Wundheiler TDD1GAQWFF

URI	`m2://inv/TDD1GAQWFF`
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#UL64, Alexander Wundheiler (unknown)

History

2026-11-02: add by m2/dev

Peano curve TDD836RWE7

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

Mentions

wikidata: Wikidata Q1725409, Peano curve (concept). Also MathWorld PeanoCurve, nLab Peano curve
wikipedia: Wikipedia Peano curve, Peano curve (definition). Also Wikidata Q1725409

History

2026-10-26: add by m2/dev

Definitions TDDKHKF5A4

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

Mentions

wikipedia: Wikipedia Strange loop#ON79, Definitions (definition)

History

2026-11-02: add by m2/dev

quartic equation TDDMFMCWH7

URI	`m2://inv/TDDMFMCWH7`
Kind	statement
Layer	textbook
MSC	12-XX
Sources	5
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_100: mathlib_100 46, The Solution of the General Quartic Equation (statement). Also Mathlib Theorems100.quartic_eq_zero_iff
mathlib_1000: mathlib_1000 Q476776, Solutions of a general quartic equation (statement). Also Mathlib Theorems100.quartic_eq_zero_iff, Wikidata Q476776
thousand_plus: thousand_plus Q476776, Solutions of a general quartic equation (statement). Also Mathlib Theorems100.quartic_eq_zero_iff, Wikidata Q476776, Wikipedia Quartic equation
wikidata: Wikidata Q476776, quartic equation (definition). Also MathWorld QuarticEquation, ProofWiki Definition:Quartic_Equation
wikipedia: Wikipedia Quartic equation, Quartic equation (definition). Also Wikidata Q476776

History

2026-10-26: add by m2/dev

An example TDDS9FVWYT

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

Mentions

wikipedia: Wikipedia Information bottleneck method#WSLA, An example (example)

History

2026-11-02: add by m2/dev

TDDSQY033N TDDSQY033N

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

Mentions

arxiv: arXiv 2610.18281#LJ0H (example). In QYD0EJM85G/e1, example 5.3

History

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

Definition TDE3ZBERF3

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

Mentions

wikipedia: Wikipedia Ordinal definable set#L92I, Definition (definition)

History

2026-11-02: add by m2/dev

Completely free element TDEBYMCC7M

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

Mentions

wikipedia: Wikipedia Normal basis#VY7V, Completely free element (unknown)

History

2026-11-02: add by m2/dev

⊲ TDECSNJN76

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#1Y4C, ⊲ (definition)

History

2026-11-02: add by m2/dev

Mathematical sciences TDEG9TVF9E

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

Mentions

wikipedia: Wikipedia Mathematical sciences, Mathematical sciences (definition). Also Wikidata Q4387017

History

2026-11-02: add by m2/dev

TDEH5PR6JN TDEH5PR6JN

URI	`m2://inv/TDEH5PR6JN`
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.33050#SOEH (statement). In VDSBMQ0G9W/e1, proposition 6.2

History

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

Wood, George Henry TDEPY6B8H8

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

Mentions

wikipedia: Wikipedia List of statisticians#QTRP, Wood, George Henry (topic)

History

2026-11-02: add by m2/dev

P. Hall TDET24D8V7

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

Mentions

wikipedia: Wikipedia List of group theory topics#6DMC, P. Hall (topic)

History

2026-11-02: add by m2/dev

Generality of algebra TDF3CHC3FV

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

Mentions

wikipedia: Wikipedia Generality of algebra, Generality of algebra (definition). Also Wikidata Q5532420

History

2026-11-02: add by m2/dev

TDFJMKBYT9 TDFJMKBYT9

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

Mentions

arxiv: arXiv 2610.08074#CK9E (statement). In ZRPYF750AV/e1, lemma 2.12

History

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

Distance to the barycenter via tangent directions TDFZ132KRM

URI	`m2://inv/TDFZ132KRM`
Kind	statement
Layer	research
MSC	51-XX, 52-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.17909#9IND, Distance to the barycenter via tangent directions (statement). In YXZX6Z8S6A/e1, proposition 4.15

History

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

TDG3NA37XX TDG3NA37XX

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

Mentions

arxiv: arXiv 2610.19023#E19K (statement). In QFA8TMJPHZ/e1, theorem 1.2

History

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

Reduction of Halmos' third problem TDG3PPKN7D

URI	`m2://inv/TDG3PPKN7D`
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.12857#OECR, Reduction of Halmos' third problem (statement). In XJWQ6Y83F8/e1, theorem 1.1

History

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

TDG4NH6TA3 TDG4NH6TA3

URI	`m2://inv/TDG4NH6TA3`
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.14085#64S1 (statement). In T8F19ZGHF3/e1, proposition 4.1

History

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

Optimal discriminant analysis TDGKQY22ZR

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

Mentions

wikipedia: Wikipedia List of statistics articles#3Y24, Optimal discriminant analysis (definition)

History

2026-11-02: add by m2/dev

Use TDGVXXKJ0H

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

Mentions

wikipedia: Wikipedia Axiom of dependent choice#BBF7, Use (example)

History

2026-11-02: add by m2/dev

Complemented group TDGZ4422QX

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

Mentions

wikipedia: Wikipedia Complemented group, Complemented group (definition). Also Wikidata Q5156432

History

2026-11-02: add by m2/dev

Zhuo Qun Song TDGZX5BSAV

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

Mentions

wikipedia: Wikipedia Zhuo Qun Song, Zhuo Qun Song (topic). Also Wikidata Q109774529

History

2026-11-02: add by m2/dev

category algebra TDHE4T0MGP

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

Mentions

wikidata: Wikidata Q5051809, category algebra (unknown). Also nLab category algebra
wikipedia: Wikipedia Category algebra, Category algebra (definition). Also Wikidata Q5051809

History

2026-10-26: add by m2/dev

TDHK51D6JR TDHK51D6JR

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

Mentions

arxiv: arXiv 2610.12736#OOOV (statement). In 5350Q52F6P/e1, lemma 9.4

History

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

TDHMV9N05J TDHMV9N05J

URI	`m2://inv/TDHMV9N05J`
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 2210.01497#GDXH (statement). In QAKFAHRC8Z/e1, theorem 3.5

History

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

TDHPEDFSH2 TDHPEDFSH2

URI	`m2://inv/TDHPEDFSH2`
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 2405.10580#IKKS (statement). In FXEJE0PWEP/e1, theorem 6.2

History

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

Galois cohomology TDHWDGXGK3

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#0M9Z, Galois cohomology (definition)
wikipedia: Wikipedia List of algebraic number theory topics#RGN1, Galois cohomology (definition)

History

2026-11-02: add by m2/dev

TDJBDZBRPT TDJBDZBRPT

URI	`m2://inv/TDJBDZBRPT`
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.09494#GLM4 (statement). In H297EPZQQB/e1, lemma 5.3

History

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

Complete field TDJBKY1MGJ

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

Mentions

wikipedia: Wikipedia Glossary of field theory#QSU1, Complete field (definition)

History

2026-11-02: add by m2/dev

Loss-difference CMI bounds and privacy TDJM2Z13QE

URI	`m2://inv/TDJM2Z13QE`
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.09206#5324, Loss-difference CMI bounds and privacy (statement). In T7R1Q29DQK/e1, corollary 5

History

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

TDJNHS3D77 TDJNHS3D77

URI	`m2://inv/TDJNHS3D77`
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 2508.02432#DBYW (definition). In B366ACYB37/e1, definition 3.8

History

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

TDK2WP3KBQ TDK2WP3KBQ

URI	`m2://inv/TDK2WP3KBQ`
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.09390#MCIC (statement). In 7SSKW778T8/e1, proposition 9.2

History

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

atomic event TDKDJVYD7J

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#GHDD, atomic event (definition)

History

2026-11-02: add by m2/dev

Integration against a Kolmogorov perturbation TDKF7WSEE1

URI	`m2://inv/TDKF7WSEE1`
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.16351#J7IW, Integration against a Kolmogorov perturbation (statement). In 1QSV7EQE3T/e1, lemma S43

History

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

TDKFHGT38D TDKFHGT38D

URI	`m2://inv/TDKFHGT38D`
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 2605.14425#UG5Z (statement). In 33KV0D25HW/e1, lemma 2

History

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

Bin Yu TDKGA65YH2

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#UWTF, Bin Yu (topic)

History

2026-11-02: add by m2/dev

Lute of Pythagoras TDKN98TYDV

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

Mentions

wikipedia: Wikipedia List of things named after Pythagoras#NUSC, Lute of Pythagoras (definition)

History

2026-11-02: add by m2/dev

Kirsten Wickelgren TDKTW56TDZ

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

Mentions

wikipedia: Wikipedia Kirsten Wickelgren, Kirsten Wickelgren (topic). Also Wikidata Q102359380

History

2026-11-02: add by m2/dev

Douglas Geoffrey Northcott TDM1JPE9XS

URI	`m2://inv/TDM1JPE9XS`
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#7RCK, Douglas Geoffrey Northcott (topic)

History

2026-11-02: add by m2/dev

Adolf Krazer TDM3MN0NHW

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

Mentions

wikipedia: Wikipedia Adolf Krazer, Adolf Krazer (topic). Also Wikidata Q107589

History

2026-11-02: add by m2/dev

TDMBKYNT5P TDMBKYNT5P

URI	`m2://inv/TDMBKYNT5P`
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.09704#418T (statement). In FNG4B47MRV/e1, proposition 5.6

History

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

Langley's Adventitious Angles TDMPQBK894

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

Mentions

wikipedia: Wikipedia Langley's Adventitious Angles, Langley's Adventitious Angles (definition). Also Wikidata Q18345073

History

2026-11-02: add by m2/dev

Eloy TDMV6K31R3

URI	`m2://inv/TDMV6K31R3`
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#0QKY, Eloy (unknown)

History

2026-11-02: add by m2/dev

Variations TDN7M98PS1

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

Mentions

wikipedia: Wikipedia Quotient type#PQVY, Variations (statement)

History

2026-11-02: add by m2/dev

TDN9BBDBX9 TDN9BBDBX9

URI	`m2://inv/TDN9BBDBX9`
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.20516#8N27 (statement)

History

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

John Pardon TDNBFRXGRP

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

Mentions

wikipedia: Wikipedia John Pardon, John Pardon (topic). Also Wikidata Q21558134

History

2026-11-02: add by m2/dev

Balanced repeated replication TDNJ0N5GM9

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

Mentions

wikipedia: Wikipedia List of statistics articles#YJQV, Balanced repeated replication (definition)

History

2026-11-02: add by m2/dev

N TDNKJS5Q8H

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

Mentions

wikipedia: Wikipedia Glossary of set theory#D5TA, N (definition)

History

2026-11-02: add by m2/dev

Hubbard model TDNRDW1E85

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

Mentions

wikipedia: Wikipedia Hubbard model, Hubbard model (definition). Also Wikidata Q1571298

History

2026-11-02: add by m2/dev

David Liggins TDNV29JCNF

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

Mentions

wikipedia: Wikipedia David Liggins, David Liggins (topic). Also Wikidata Q112762575

History

2026-11-02: add by m2/dev

Frank Vigor Morley TDNYV9PTHB

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

Mentions

wikipedia: Wikipedia Frank Vigor Morley, Frank Vigor Morley (topic). Also Wikidata Q56096939

History

2026-11-02: add by m2/dev

TDP09Y9ZQ1 TDP09Y9ZQ1

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

Mentions

wikipedia: Wikipedia Fortunate number#MSYZ (problem)

History

2026-11-02: add by m2/dev

Ernst Chladni TDP54EGFSK

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

Mentions

wikipedia: Wikipedia Ernst Chladni, Ernst Chladni (topic). Also Wikidata Q213579

History

2026-11-02: add by m2/dev

Definition TDP59R9R4G

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

Mentions

wikipedia: Wikipedia Autonomous system (mathematics)#QKRG, Definition (definition)

History

2026-11-02: add by m2/dev

Gårding's inequality TDPH4G6NJ2

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

Mentions

wikipedia: Wikipedia Gårding's inequality, Gårding's inequality (statement). Also Wikidata Q5625933

History

2026-11-02: add by m2/dev

TDPK0SWVVT TDPK0SWVVT

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

Mentions

arxiv: arXiv 2508.21045#3CCB (conjecture). In CGA36VE1C5/e1, conjecture 9

History

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

Ryser formula TDPN7MSX50

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

Mentions

wikipedia: Wikipedia Computing the permanent#6H5N, Ryser formula (statement)

History

2026-11-02: add by m2/dev

TDPPRAW1KZ TDPPRAW1KZ

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

Mentions

napkin: napkin tex/riemann-surface/riemann-roch.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 87.4

History

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

absolute convergence TDPTED7C92

URI	`m2://inv/TDPTED7C92`
Kind	statement
Layer	textbook
MSC	40-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Absolute convergence 0YBDSJARWN

Mentions

mathlib_1000: mathlib_1000 Q332465, Absolute convergence theorem (statement). Also Wikidata Q332465
thousand_plus: thousand_plus Q332465, Absolute convergence theorem (statement). Also Wikidata Q332465, Wikipedia Absolute convergence theorem
wikidata: Wikidata Q332465, absolute convergence (unknown). Also MathWorld AbsoluteConvergence, nLab absolute convergence
wikipedia: Wikipedia Absolute convergence, Absolute convergence (definition). Also Wikidata Q332465

History

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

TDPY2T0QKQ TDPY2T0QKQ

URI	`m2://inv/TDPY2T0QKQ`
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.10452#VPB8 (statement). In 2F4PNP1V3B/e1, proposition 4.3

History

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

⌈⌉ TDPZ1X2H7G

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#OXJ7, ⌈⌉ (definition)

History

2026-11-02: add by m2/dev

TDQ1MN5PGF TDQ1MN5PGF

URI	`m2://inv/TDQ1MN5PGF`
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#QIKG (statement). In WRE0P7V6Z3/e1, lemma 5.6

History

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

Reduction TDQ6WC85M6

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

Mentions

wikipedia: Wikipedia Reduction (complexity), Reduction (definition). Also Wikidata Q1197709

History

2026-11-02: add by m2/dev

TDQAE5D8CA TDQAE5D8CA

URI	`m2://inv/TDQAE5D8CA`
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 math/0411039#01PD (statement). In ZTBDXSKFFW/e1, lemma 3.7

History

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

Classification of finite simple groups TDQB69ATRG

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

Mentions

wikipedia: Wikipedia List of theorems#TFZR, Classification of finite simple groups (definition)

History

2026-11-02: add by m2/dev

Giora Romm TDQHK99KCH

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#0ZHK, Giora Romm (unknown)

History

2026-11-02: add by m2/dev

TDQPY83XHE TDQPY83XHE

URI	`m2://inv/TDQPY83XHE`
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 2111.01197#KU3X (statement). In Z36XFKVTS0/e1, lemma 3.9

History

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

Axiom 2 TDQRWKEHV7

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

Mentions

wikipedia: Wikipedia Huzita–Hatori axioms#7DU7, Axiom 2 (statement)

History

2026-11-02: add by m2/dev

Bootstrap Assumptions TDQXJYP9W0

URI	`m2://inv/TDQXJYP9W0`
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#YCEI, Bootstrap Assumptions (definition). In K3WJ6ZN184/e1, definition 7.6

History

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

TDQZSPJF75 TDQZSPJF75

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/exponentiation.tex#ordexporecursion (definition). In PKGMM3P5QY, defn, section 71.9

History

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

TDR89TBP8X TDR89TBP8X

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

Mentions

arxiv: arXiv 2610.05621#KILZ (statement). In ADE39RC6C0/e1, corollary 2.9

History

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

graph TDRCXWM2X4

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

Mentions

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

History

2026-11-02: add by m2/dev

TDRJ4MV2EA TDRJ4MV2EA

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

Mentions

arxiv: arXiv 2610.11679#SV5M (definition). In 30PZ8ZVR3A/e1, definition 2.1

History

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

Relabeling need not preserve type TDRM7148T5

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

Mentions

arxiv: arXiv 2609.30637#UQX1, Relabeling need not preserve type (example). In 6G1KBA0SXV/e1, example 2.8

History

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

Index of coincidence TDRPHJYCS6

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

Mentions

wikipedia: Wikipedia List of statistics articles#L628, Index of coincidence (topic)
wikipedia: Wikipedia List of probability topics#VISZ, Index of coincidence (topic)

History

2026-11-02: add by m2/dev

The unit $A_+$ classes of a two-run word TDRWJKV3QG

URI	`m2://inv/TDRWJKV3QG`
Kind	statement
Layer	research
MSC	17-XX, 46-XX, 47-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.18512#JRFY, The unit $A_+$ classes of a two-run word (statement). In 11JNM66Z09/e1, theorem 11.5

History

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

TDRYDB8H41 TDRYDB8H41

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

Mentions

open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-7 (proof). In PKGMM3P5QY, proof, section 70.2

History

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

Central limit theorem TDRZD2NQXN

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

Mentions

wikipedia: Wikipedia Asymptotic distribution#5XKB, Central limit theorem (statement)

History

2026-11-02: add by m2/dev

Plethystic exponential TDS2S4PAMJ

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

Mentions

wikipedia: Wikipedia Plethystic exponential, Plethystic exponential (definition). Also Wikidata Q108822174

History

2026-11-02: add by m2/dev

biharmonic function TDS3Z6JCVV

URI	`m2://inv/TDS3Z6JCVV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Biharmonic equation AS8A9F5SKE

Mentions

wikidata: Wikidata Q859808, biharmonic function (unknown). Also MathWorld BiharmonicEquation
wikipedia: Wikipedia Biharmonic equation, Biharmonic equation (definition). Also Wikidata Q859808

History

2026-10-26: add by m2/dev

Polynomial-composition rigidity TDS41JYGNV

URI	`m2://inv/TDS41JYGNV`
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#0V6O, Polynomial-composition rigidity (statement). In 8CSXBTYKDT/e1, theorem B

History

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

Examples TDS9CVAEJ8

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

Mentions

wikipedia: Wikipedia Kähler differential#AWUK, Examples (example)

History

2026-11-02: add by m2/dev

Poul Heegaard TDSF2QKAP3

URI	`m2://inv/TDSF2QKAP3`
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#PFR1, Poul Heegaard (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V3AX, Poul Heegaard (topic)

History

2026-11-02: add by m2/dev

Coupled recursion and potential assumptions TDSJCR4SBJ

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

Mentions

arxiv: arXiv 2609.24568#JK1A, Coupled recursion and potential assumptions (definition)

History

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

Boris Tsirelson TDSMPAAAY5

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#KT11, Boris Tsirelson (topic)

History

2026-11-02: add by m2/dev

Examples TDSTW729VD

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

Mentions

wikipedia: Wikipedia Plateau (mathematics)#7DH2, Examples (example)

History

2026-11-02: add by m2/dev

TDSWHJ1XMJ TDSWHJ1XMJ

URI	`m2://inv/TDSWHJ1XMJ`
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 1905.00573#QBFH (statement). In 74RNQVBM2G/e1, proposition 3.18

History

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

Existence of solutions TDT22MKZ9Q

URI	`m2://inv/TDT22MKZ9Q`
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.12165#4F7T, Existence of solutions (statement). In 3JSE8A9CFH/e1, lemma 2.3

History

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

TDT597YC3W TDT597YC3W

URI	`m2://inv/TDT597YC3W`
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 2211.14629#AX97 (statement). In AX7TZJ5PP9/e1, theorem 3

History

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

M. Hall, Jr. TDTCWJ4M6A

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

Mentions

wikipedia: Wikipedia List of group theory topics#BM24, M. Hall, Jr. (topic)

History

2026-11-02: add by m2/dev

TDTFHE3XCE TDTFHE3XCE

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

Mentions

arxiv: arXiv 2210.02261#MN0Y (statement). In TT74R659T0/e1, proposition 0.18

History

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

TDV4EFJ69V TDV4EFJ69V

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-5.xml#ex-lst-squares-line (exercise). In 649HGZKE96, exercise, section 6.5

History

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

TDV4YA1S8H TDV4YA1S8H

URI	`m2://inv/TDV4YA1S8H`
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 2207.05628#YRAO (statement). In 9JPKTEWW4W/e1, corollary 3.3

History

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

Deterministic power-law step-size bounds TDV82WN1JE

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

Mentions

arxiv: arXiv 2609.40338#LL14, Deterministic power-law step-size bounds (statement). In K5H6GS0SGQ/e1, lemma 4.8

History

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

Statement of the Theorem TDVD302BZ6

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

Mentions

wikipedia: Wikipedia Blackwell's contraction mapping theorem#5W1T, Statement of the Theorem (statement)

History

2026-11-02: add by m2/dev

Fourier theorem proving convergence of Fourier series TDVMA40HEE

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

Mentions

wikipedia: Wikipedia Fourier series#NPF8, Fourier theorem proving convergence of Fourier series (statement)

History

2026-11-02: add by m2/dev

Bolzano–Weierstrass theorem TDVPAHHHND

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

Mentions

wikipedia: Wikipedia Completeness of the real numbers#LF8Z, Bolzano–Weierstrass theorem (statement)

History

2026-11-02: add by m2/dev

angles between planes TDVSETM0HC

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

Mentions

mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > angles between planes, angles between planes (unknown)

History

2026-10-26: add by m2/dev

Apollonian gasket TDVYBM6DH3

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#H5EF, Apollonian gasket (definition)
wikipedia: Wikipedia List of mathematical shapes#JUE4, Apollonian gasket (definition)
wikipedia: Wikipedia List of topologies#2KI9, Apollonian gasket (definition)

History

2026-11-02: add by m2/dev

Emma Haruka Iwao TDVZ36MX0P

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

Mentions

wikipedia: Wikipedia Emma Haruka Iwao, Emma Haruka Iwao (topic). Also Wikidata Q62069633

History

2026-11-02: add by m2/dev

Combinatorial Games: Tic-Tac-Toe Theory TDVZZN2QC1

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

Mentions

wikipedia: Wikipedia Combinatorial Games: Tic-Tac-Toe Theory, Combinatorial Games: Tic-Tac-Toe Theory (definition). Also Wikidata Q85753463

History

2026-11-02: add by m2/dev

TDW0HFJTKD TDW0HFJTKD

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

Mentions

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

History

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

d'Alembertian TDW6G94H3P

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#7VTS, d'Alembertian (definition)

History

2026-11-02: add by m2/dev

Jacques Ozanam TDWC5KTN74

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#00SH, Jacques Ozanam (topic)

History

2026-11-02: add by m2/dev

ChatSecure TDWKFWYR03

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

Mentions

wikipedia: Wikipedia ChatSecure, ChatSecure (definition). Also Wikidata Q28444644

History

2026-11-02: add by m2/dev

TDWMC8QJRZ TDWMC8QJRZ

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/complete-decidable.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 30.5

History

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

TDWN370SEE TDWN370SEE

URI	`m2://inv/TDWN370SEE`
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 2109.11684#N3PH (statement). In CHE1JCV3EK/e1, proposition B.1

History

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

TDWP1HJ4KC TDWP1HJ4KC

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

Mentions

open_logic: open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 79.6

History

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

TDWPXJ90FJ TDWPXJ90FJ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#BBU0 (definition)

History

2026-11-02: add by m2/dev

TDWXNBA80P TDWXNBA80P

URI	`m2://inv/TDWXNBA80P`
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.19982#QSD2 (statement)

History

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

TDX0628R9V TDX0628R9V

URI	`m2://inv/TDX0628R9V`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2204.00813#3FEI (statement). In ADKTJTBR9Z/e1, lemma 8

History

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

TDX3WTNEXS TDX3WTNEXS

URI	`m2://inv/TDX3WTNEXS`
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 1712.02437#YJ6C (statement). In GZDFK652T9/e1, lemma 6.1

History

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

Connective spectra TDXBC6EEP3

URI	`m2://inv/TDXBC6EEP3`
Kind	definition
Layer	research
MSC	18-XX, 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 2610.03865#5D3Q, Connective spectra (definition). In G3D1YR20BJ/e1, definition A.29

History

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

Financial cryptography TDXCHP0CTX

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

Mentions

wikipedia: Wikipedia Financial cryptography, Financial cryptography (definition). Also Wikidata Q936407

History

2026-11-02: add by m2/dev

Additive error of polynomial approximation TDXHD11NQH

URI	`m2://inv/TDXHD11NQH`
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.39992#FL0W, Additive error of polynomial approximation (statement). In WF64CGYVK1/e1, theorem S3

History

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

TDXJDKAK1V TDXJDKAK1V

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

Mentions

arxiv: arXiv 2608.24424#ZQB7 (definition). In RQHGZ4AA5T/e1, definition 3.3

History

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

Poincaré conjecture TDXV8M8CK1

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#D9TE, Poincaré conjecture (statement)

History

2026-11-02: add by m2/dev

TDXVRZ7Y9T TDXVRZ7Y9T

URI	`m2://inv/TDXVRZ7Y9T`
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 2610.16554#B9HN (example). In GWNT8HEZG1/e1, example 3.35

History

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

Converse TDXYVG5FE9

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#HONR, Converse (statement)

History

2026-11-02: add by m2/dev

great-circle distance TDY6DHKSTV

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

Mentions

wikidata: Wikidata Q912925, great-circle distance (unknown). Also MathWorld SphericalDistance
wikipedia: Wikipedia Great-circle distance, Great-circle distance (definition). Also Wikidata Q912925

History

2026-10-26: add by m2/dev

TDY98476Q1 TDY98476Q1

URI	`m2://inv/TDY98476Q1`
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.16010#T7F4 (statement). In AQJXKF6WZP/e1, lemma 3.6

History

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

Definition TDYCF1YBBR

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

Mentions

wikipedia: Wikipedia Kernel (category theory)#ISKR, Definition (definition)

History

2026-11-02: add by m2/dev

Ζ TDYHEFZG6A

URI	`m2://inv/TDYHEFZG6A`
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 Q14394, Ζ (unknown). Also ProofWiki Symbols:Greek/Zeta

History

2026-10-26: add by m2/dev

``Uniqueness" TDYQHM7B7C

URI	`m2://inv/TDYQHM7B7C`
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 2204.04317#ZJLB, ``Uniqueness" (statement). In 49V3ANDZTY/e1, proposition 5.6

History

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

TDZ60X0Q13 TDZ60X0Q13

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

History

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

TDZ87W5YPR TDZ87W5YPR

URI	`m2://inv/TDZ87W5YPR`
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 2508.02432#ZEU6 (definition). In B366ACYB37/e1, definition 4.11

History

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

Symmetric hypergraph theorem TDZ8SY8BGA

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

Mentions

wikipedia: Wikipedia List of theorems#53MJ, Symmetric hypergraph theorem (statement)

History

2026-11-02: add by m2/dev

TDZ9H0K9QM TDZ9H0K9QM

URI	`m2://inv/TDZ9H0K9QM`
Kind	statement
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#QPXO (statement). In QX77AN49J0/e1, proposition 8.9

History

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

Winning strategy TDZCN06M24

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

Mentions

wikipedia: Wikipedia Determinacy#4HLZ, Winning strategy (unknown)

History

2026-11-02: add by m2/dev

TDZSH1G0VA TDZSH1G0VA

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-223 (exercise). In VNMV985MXX, exercise, section 4.4

History

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

TDZY1C28EB TDZY1C28EB

URI	`m2://inv/TDZY1C28EB`
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#NNDL (statement). In MVXZWHKEX8/e1, theorem 5.2

History

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