Inventory rows 3W

Eisenstein triple 3W012EWSJM

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

Mentions

wikipedia: Wikipedia List of triangle topics#LRC2, Eisenstein triple (definition)

History

2026-11-02: add by m2/dev

3W08CDDCTP 3W08CDDCTP

URI	`m2://inv/3W08CDDCTP`
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.10968#2OC5 (statement). In KJRV9ZW833/e1, lemma 4.3

History

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

3W0GSEF6RR 3W0GSEF6RR

URI	`m2://inv/3W0GSEF6RR`
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 2610.22078#0NN7 (statement). In NRF7379N9J/e1, lemma 2.1

History

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

3W0J0DNAPX 3W0J0DNAPX

URI	`m2://inv/3W0J0DNAPX`
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.10230#OMPF (statement). In YS75517SF7/e1, corollary 5.4

History

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

Paul S. Epstein 3W0K6QPDZF

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#BHTC, Paul S. Epstein (unknown)

History

2026-11-02: add by m2/dev

Hilbert–Bernays–Löb provability conditions 3W0MFCCWTQ

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

Mentions

wikipedia: Wikipedia Hilbert–Bernays–Löb provability conditions, Hilbert–Bernays–Löb provability conditions (definition). Also Wikidata Q5761238

History

2026-11-02: add by m2/dev

3W0S7QA7TG 3W0S7QA7TG

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

Mentions

arxiv: arXiv 2609.21047#JOIY (problem)

History

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

Subdifferential Consistency 3W0WZSS5Q3

URI	`m2://inv/3W0WZSS5Q3`
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.37489#UWCC, Subdifferential Consistency (statement). In 5ZC91T5PHQ/e1, lemma

History

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

mathematical constant 3W0Y64H5WF

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

Mentions

wikidata: Wikidata Q186509, mathematical constant (unknown). Also MathWorld Constant
wikipedia: Wikipedia Mathematical constant, Mathematical constant (definition). Also Wikidata Q186509

History

2026-10-26: add by m2/dev

Total sum of squares 3W15JHZVVG

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

Mentions

wikipedia: Wikipedia Total sum of squares, Total sum of squares (definition). Also Wikidata Q3964630

History

2026-11-02: add by m2/dev

Harish Chandra 3W16H6AK4Y

URI	`m2://inv/3W16H6AK4Y`
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#OVLK, Harish Chandra (topic)

History

2026-11-02: add by m2/dev

Decidability for linear vector fields 3W1CXSRWBS

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

Mentions

arxiv: arXiv 2610.12434#15Q4, Decidability for linear vector fields (statement). In YCRZC9SDCE/e1, lemma 6.3

History

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

Compression theorem 3W1QY6EPFJ

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

Mentions

wikipedia: Wikipedia Compression theorem#NFAU, Compression theorem (statement)

History

2026-11-02: add by m2/dev

3W1S0PWJNQ 3W1S0PWJNQ

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

Mentions

arxiv: arXiv 2610.12484#PJQW (statement). In GW23NX78SB/e1, lemma 3.17

History

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

Igor Pak 3W1SZ0J994

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#X4S8, Igor Pak (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4W5S, Igor Pak (unknown)

History

2026-11-02: add by m2/dev

stationary iterative methods 3W282WBMK1

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

Mentions

wikidata: Wikidata Q4441380, stationary iterative methods (unknown). Also MathWorld StationaryIterativeMethod

History

2026-10-26: add by m2/dev

339 (number) 3W28PDSZNV

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

Mentions

wikipedia: Wikipedia 300 (number)#QRBQ, 339 (number) (unknown)

History

2026-11-02: add by m2/dev

Simplicial complex 3W28S5TA1S

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

Mentions

wikipedia: Wikipedia List of undecidable problems#23JN, Simplicial complex (definition)

History

2026-11-02: add by m2/dev

3W2W3SBSTV 3W2W3SBSTV

URI	`m2://inv/3W2W3SBSTV`
Kind	definition
Layer	research
MSC	20-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.10804#0NL2 (definition). In 6M5WR7KB80/e1, definition 3.4

History

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

3W2WFWBYDP 3W2WFWBYDP

URI	`m2://inv/3W2WFWBYDP`
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 2610.22078#MH7S (statement). In NRF7379N9J/e1, lemma 4.1

History

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

Generalizations 3W2ZSY173V

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

Mentions

wikipedia: Wikipedia Adams spectral sequence#KXYG, Generalizations (statement)

History

2026-11-02: add by m2/dev

Group method of data handling 3W30DTJN9R

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

Mentions

wikipedia: Wikipedia List of statistics articles#GVMI, Group method of data handling (definition)

History

2026-11-02: add by m2/dev

Caucus for Women in Statistics and Data Science 3W31KWVYHW

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

Mentions

wikipedia: Wikipedia Caucus for Women in Statistics and Data Science, Caucus for Women in Statistics and Data Science (definition). Also Wikidata Q60463384

History

2026-11-02: add by m2/dev

Codman triangle 3W32AXZW0A

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

Mentions

wikipedia: Wikipedia List of triangle topics#8P0K, Codman triangle (unknown)

History

2026-11-02: add by m2/dev

Record certificates and obstructions 3W32B3P3GC

URI	`m2://inv/3W32B3P3GC`
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.02187#RG7S, Record certificates and obstructions (statement). In BM9N20J1XA/e1, lemma 3

History

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

Anne Broadbent 3W32DA2GQF

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

Mentions

wikipedia: Wikipedia Anne Broadbent, Anne Broadbent (topic). Also Wikidata Q52698223

History

2026-11-02: add by m2/dev

Proposition 3W34C7TCFP

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

Mentions

wikipedia: Wikipedia Quasi-bialgebra#A4QX, Proposition (statement)

History

2026-11-02: add by m2/dev

Pierre Conner 3W35YMPAFD

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

Mentions

wikipedia: Wikipedia Pierre Conner, Pierre Conner (topic). Also Wikidata Q2093316

History

2026-11-02: add by m2/dev

Inexact differential equation 3W38ZFZWG6

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

Mentions

wikipedia: Wikipedia Inexact differential equation, Inexact differential equation (definition). Also Wikidata Q27999410

History

2026-11-02: add by m2/dev

3W3917P7DR 3W3917P7DR

URI	`m2://inv/3W3917P7DR`
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#2PJJ (definition). In 30PZ8ZVR3A/e1, definition 3.2

History

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

3W3C3XPC1E 3W3C3XPC1E

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

Mentions

arxiv: arXiv 2609.21060#6HW8 (statement)

History

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

3W3GFG0MBG 3W3GFG0MBG

URI	`m2://inv/3W3GFG0MBG`
Kind	statement
Layer	research
MSC	30-XX, 32-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.24610#G2SK (statement)

History

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

3W3HYXGY62 3W3HYXGY62

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-31 (proof). In VNMV985MXX, proof, section 2.5

History

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

Basic properties 3W3MBY1Q0Q

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

Mentions

wikipedia: Wikipedia Cremona group#45Z0, Basic properties (statement)

History

2026-11-02: add by m2/dev

Nalini Anantharaman 3W47WEECZ1

URI	`m2://inv/3W47WEECZ1`
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#ZQM8, Nalini Anantharaman (topic)

History

2026-11-02: add by m2/dev

bandwidth 3W48Q4WDT0

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

Mentions

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

History

2026-11-02: add by m2/dev

3W4BFRQFYT 3W4BFRQFYT

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

Mentions

arxiv: arXiv 2610.03612#A6NS (statement). In REDG6QVHM3/e1, proposition 8.7

History

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

3W4BNTG2JY 3W4BNTG2JY

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

Mentions

arxiv: arXiv 2106.06387#VWXS (unknown). In 4YJH4FPWDA/e1, unknown 2.1

History

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

3W4DA4E8WM 3W4DA4E8WM

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

Mentions

arxiv: arXiv 2609.25409#AYV5 (conjecture)

History

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

Formal local normal form of a nonabelian codimension-two resolution move 3W4MB8DMGN

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

Mentions

arxiv: arXiv 2609.27799#X2T2, Formal local normal form of a nonabelian codimension-two resolution move (statement)

History

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

Slant product 3W4QHZTJCY

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

Mentions

wikipedia: Wikipedia Cap product#QD87, Slant product (unknown)

History

2026-11-02: add by m2/dev

3W50HKCWXF 3W50HKCWXF

URI	`m2://inv/3W50HKCWXF`
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.15344#E338 (statement). In B9EX6K51RD/e1, corollary 2.21

History

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

3W51DAKWBP 3W51DAKWBP

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

Mentions

arxiv: arXiv 2610.12054#9EIB (definition). In 1A01NFHBGA/e1, definition 1.15

History

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

3W51GZBNZ9 3W51GZBNZ9

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

Mentions

arxiv: arXiv 2601.15403#7N4T (statement). In BSWNH3NW1M/e1, lemma 7.7

History

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

Theorem 2.1 ; Theorem 1 3W53S960DF

URI	`m2://inv/3W53S960DF`
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.32478#GOI2, Theorem 2.1 ; Theorem 1 (statement). In 5QBSYDC2XH/e1, lemma 2.3

History

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

homological algebra 3W55XGDG98

URI	`m2://inv/3W55XGDG98`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Homological algebra SAHAEZNCVD

Mentions

wikidata: Wikidata Q579978, homological algebra (topic). Also MathWorld HomologicalAlgebra, nLab homological algebra, ProofWiki Definition:Homological_Algebra
wikipedia: Wikipedia Homological algebra, Homological algebra (topic). Also Wikidata Q579978

History

2026-10-26: add by m2/dev

Everything 3W58BF195J

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

Mentions

wikipedia: Wikipedia Everything, Everything (definition). Also Wikidata Q2165236

History

2026-11-02: add by m2/dev

Spectral estimates in two dimensions 3W59DZ3XZG

URI	`m2://inv/3W59DZ3XZG`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX, 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.17815#B54Y, Spectral estimates in two dimensions (statement). In GJ7N2EWACX/e1, theorem 1.5

History

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

3W5ABYX63F 3W5ABYX63F

URI	`m2://inv/3W5ABYX63F`
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#JMET (statement). In 9JZJTRRVR1/e1, corollary 3.2

History

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

∃E 3W5E2CEXZY

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

Mentions

wikipedia: Wikipedia Existential quantification#6OI5, ∃E (unknown)

History

2026-11-02: add by m2/dev

3W5JGXW4XC 3W5JGXW4XC

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

Mentions

arxiv: arXiv 2610.18016#WWNL (statement). In V5PVKDKGGG/e1, theorem 8.8

History

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

Natural density 3W5Q1ME8F5

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

Mentions

wikipedia: Wikipedia List of exceptional set concepts#74X8, Natural density (definition)

History

2026-11-02: add by m2/dev

3W5RFV2W4V 3W5RFV2W4V

URI	`m2://inv/3W5RFV2W4V`
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.02798#7CUN (statement). In 446QW3DHTN/e1, lemma C.1

History

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

3W5T7Y397H 3W5T7Y397H

URI	`m2://inv/3W5T7Y397H`
Kind	definition
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#NCZF (definition). In 8XVS0QJ2AH/e1, definition 25

History

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

figurate number 3W5TRKBYKV

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

Mentions

wikidata: Wikidata Q1130510, figurate number (unknown). Also MathWorld FigurateNumber
wikipedia: Wikipedia Figurate number, Figurate number (definition). Also Wikidata Q1130510

History

2026-10-26: add by m2/dev

Applications 3W5X5PB6ZW

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

Mentions

wikipedia: Wikipedia Vickrey–Clarke–Groves mechanism#GZ8N, Applications (example)

History

2026-11-02: add by m2/dev

3W5ZZTMSPD 3W5ZZTMSPD

URI	`m2://inv/3W5ZZTMSPD`
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.26382#I20O (statement)

History

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

Ivarsson--Kutzschebauch 3W6130AMKW

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

Mentions

arxiv: arXiv 2609.26808#O7J2, Ivarsson--Kutzschebauch (statement)

History

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

3W64A1RQVT 3W64A1RQVT

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

Mentions

napkin: napkin tex/quantum/shor.tex#proof-1 (proof). In RZP28ERRZV, proof, section 76.2

History

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

ZC 3W65KJ7W6Y

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

Mentions

wikipedia: Wikipedia Glossary of set theory#Z1HW, ZC (definition)

History

2026-11-02: add by m2/dev

Schaefer's dichotomy theorem 3W6QDW2RYC

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

Mentions

mathlib_1000: mathlib_1000 Q7430892, Schaefer's dichotomy theorem (statement). Also Wikidata Q7430892
thousand_plus: thousand_plus Q7430892, Schaefer's dichotomy theorem (statement). Also Wikidata Q7430892, Wikipedia Schaefer's dichotomy theorem
wikipedia: Wikipedia Schaefer's dichotomy theorem, Schaefer's dichotomy theorem (statement). Also Wikidata Q7430892

History

2026-10-26: add by m2/dev

Yau's conjecture 3W6WVKGJ4H

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#7GZ6, Yau's conjecture (statement)

History

2026-11-02: add by m2/dev

3W72RW34EV 3W72RW34EV

URI	`m2://inv/3W72RW34EV`
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.04809#ZHPI (statement). In 2VHV0RNTNV/e1, fact 7.19

History

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

Nonlinear dimensionality reduction 3W74GQDCWN

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

Mentions

wikipedia: Wikipedia List of statistics articles#J891, Nonlinear dimensionality reduction (definition)

History

2026-11-02: add by m2/dev

Total survey error 3W754TVJNN

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

Mentions

wikipedia: Wikipedia List of statistics articles#X79N, Total survey error (definition)

History

2026-11-02: add by m2/dev

First moment and positivity diagnostic 3W77HHVZJT

URI	`m2://inv/3W77HHVZJT`
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.27744#OCME, First moment and positivity diagnostic (statement)

History

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

Jean Taylor 3W78V7NWPP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8IST, Jean Taylor (unknown)

History

2026-11-02: add by m2/dev

Jørg Tofte Jebsen 3W7EKK5J52

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#U75Z, Jørg Tofte Jebsen (unknown)

History

2026-11-02: add by m2/dev

3W7GR2K19K 3W7GR2K19K

URI	`m2://inv/3W7GR2K19K`
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.35204#7LVE (statement). In 8ZZNDYK76B/e1, proposition 3.1

History

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

Propagation of the weighted $C^1$ bounds 3W7GXN33RP

URI	`m2://inv/3W7GXN33RP`
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 2106.09062#344K, Propagation of the weighted $C^1$ bounds (statement). In 8HAH8QVKDF/e1, proposition 5.2

History

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

Johnson bound 3W7NJYQBW5

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

Mentions

wikidata: Wikidata Q4351986, Johnson bound (unknown). Also MathWorld JohnsonBound
wikipedia: Wikipedia Johnson bound, Johnson bound (definition). Also Wikidata Q4351986

History

2026-10-26: add by m2/dev

3W7NQ668DR 3W7NQ668DR

URI	`m2://inv/3W7NQ668DR`
Kind	example
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#PSHV (example)

History

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

3W7TY62CH0 3W7TY62CH0

URI	`m2://inv/3W7TY62CH0`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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.27458#ROOG (statement)

History

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

Rina Dechter 3W89PJ6DST

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#PLKE, Rina Dechter (unknown)

History

2026-11-02: add by m2/dev

Theorem 3W8B53RH92

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

Mentions

wikipedia: Wikipedia Morphism of algebraic varieties#S9VZ, Theorem (statement)

History

2026-11-02: add by m2/dev

3W8EA8SBNV 3W8EA8SBNV

URI	`m2://inv/3W8EA8SBNV`
Kind	definition
Layer	research
MSC	14-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 2401.07983#LJDL (definition). In 4WJ9HYVSZY/e1, definition 5

History

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

3W8J9CM1WV 3W8J9CM1WV

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

Mentions

arxiv: arXiv 2610.12330#QMN6 (definition). In XHSKEPT3VD/e1, definition 2.3

History

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

3W8KPY6P1C 3W8KPY6P1C

URI	`m2://inv/3W8KPY6P1C`
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 2506.08233#XGGE (statement). In 2TXXQ2575Y/e1, lemma 5.10

History

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

Bshouty's decision lower bound 3W8PFZNYDR

URI	`m2://inv/3W8PFZNYDR`
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.08280#QYZA, Bshouty's decision lower bound (statement). In EGADPYP7R3/e1, proposition 6.1

History

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

Sphere-product LVMQ manifolds 3W8Q9FB4ZX

URI	`m2://inv/3W8Q9FB4ZX`
Kind	statement
Layer	research
MSC	37-XX, 53-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.26269#NYI1, Sphere-product LVMQ manifolds (statement)

History

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

Projective integrability criterion 3W8VRMECWD

URI	`m2://inv/3W8VRMECWD`
Kind	statement
Layer	research
MSC	30-XX, 32-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.12497#HP4U, Projective integrability criterion (statement). In Z0SAF18JPP/e1, theorem 1.4

History

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

Walter Kohn 3W8VVX6CMY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AJV0, Walter Kohn (unknown)

History

2026-11-02: add by m2/dev

3W900JK5EJ 3W900JK5EJ

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

Mentions

arxiv: arXiv 1011.4141#HPYM (statement). In YQ4JYF18NH/e1, theorem 4.7

History

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

Rendering of implicit surfaces 3W98AYCEGB

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

Mentions

wikipedia: Wikipedia Implicit surface#6RTG, Rendering of implicit surfaces (unknown)

History

2026-11-02: add by m2/dev

Tychonoff's theorem for finite products 3W9CTAGV8N

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

Mentions

wikipedia: Wikipedia Tychonoff's theorem#A2V0, Tychonoff's theorem for finite products (statement)

History

2026-11-02: add by m2/dev

3W9D482M2K 3W9D482M2K

URI	`m2://inv/3W9D482M2K`
Kind	statement
Layer	research
MSC	05-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.20663#9562 (statement). In AZMX0CY5NE/e1, lemma 30

History

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

3W9MJNG0KP 3W9MJNG0KP

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

Mentions

arxiv: arXiv 2610.09176#PYGI (problem). In BANPR56FBR/e1, problem 1

History

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

Triangular pyramidal number 3W9X8665Z9

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

Mentions

wikipedia: Wikipedia List of triangle topics#2KLX, Triangular pyramidal number (unknown)

History

2026-11-02: add by m2/dev

3W9XJ1Q3DX 3W9XJ1Q3DX

URI	`m2://inv/3W9XJ1Q3DX`
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 2205.09049#3758 (statement). In 37S7MNMZ2F/e1, proposition 57

History

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

Definition 3WA7708SQX

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

Mentions

wikipedia: Wikipedia Lumpability#Q34Y, Definition (definition)

History

2026-11-02: add by m2/dev

3WA80K3HND 3WA80K3HND

URI	`m2://inv/3WA80K3HND`
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.28503#4LHJ (statement)

History

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

3WAGJ6PB1N 3WAGJ6PB1N

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

Mentions

arxiv: arXiv 2609.28189#C8ZP (statement)

History

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

X + Y sorting 3WAPJ2HX8X

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#HEG4, X + Y sorting (conjecture)

History

2026-11-02: add by m2/dev

3WAQ1KGZAA 3WAQ1KGZAA

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

Mentions

arxiv: arXiv 2609.28289#QVWR (statement)

History

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

3WAQRGGDMV 3WAQRGGDMV

URI	`m2://inv/3WAQRGGDMV`
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 2510.12502#A8R5 (statement). In 3A4K47Y9F2/e1, theorem 5.15

History

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

Aurifeuillean factorization 3WAR7BWB2H

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

Mentions

wikipedia: Wikipedia Aurifeuillean factorization, Aurifeuillean factorization (definition). Also Wikidata Q4822370

History

2026-11-02: add by m2/dev

Raphaël Rouquier 3WARR4NY0M

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

Mentions

wikidata: Wikidata Q513377, Raphaël Rouquier (unknown). Also nLab Raphaël Rouquier
wikipedia: Wikipedia Raphaël Rouquier, Raphaël Rouquier (topic). Also Wikidata Q513377

History

2026-10-26: add by m2/dev

Order-5 5-cell honeycomb 3WB3NERJH6

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

Mentions

wikipedia: Wikipedia Order-5 5-cell honeycomb, Order-5 5-cell honeycomb (object). Also Wikidata Q17077962

History

2026-11-02: add by m2/dev

Basic formulas 3WBD4A2C1Q

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

Mentions

wikipedia: Wikipedia Theoretical gravity#A44L, Basic formulas (statement)

History

2026-11-02: add by m2/dev

semicontinuity 3WBD6BEXSR

URI	`m2://inv/3WBD6BEXSR`
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.10408#RYFB, semicontinuity (statement). In H976NYKBNT/e1, lemma 6

History

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

Schwarz-type TQFTs 3WBDZW48TV

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

Mentions

wikipedia: Wikipedia Topological quantum field theory#I8HR, Schwarz-type TQFTs (unknown)

History

2026-11-02: add by m2/dev

cf.\ 3WBST4A3V8

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

Mentions

arxiv: arXiv 2609.25524#7WGT, cf.\ (statement)

History

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

bounded lattice 3WC0EYX6WJ

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

Mentions

wikidata: Wikidata Q10326443, bounded lattice (unknown). Also MathWorld BoundedLattice
wikipedia: Wikipedia Bounded lattice, Bounded lattice (definition). Also Wikidata Q10326443

History

2026-10-26: add by m2/dev

3WC7JS4STB 3WC7JS4STB

URI	`m2://inv/3WC7JS4STB`
Kind	statement
Layer	research
MSC	03-XX, 11-XX, 26-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.21725#FSIQ (statement). In BQDZN6GRGF/e1, proposition 3.2

History

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

3WCAP9PD60 3WCAP9PD60

URI	`m2://inv/3WCAP9PD60`
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.21627#QF39 (statement). In 4Z44S003HM/e1, lemma 2

History

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

Selberg's hypothesis 3WCDYAM1EC

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

Mentions

wikipedia: Wikipedia Kazhdan–Margulis theorem#8VC3, Selberg's hypothesis (statement)

History

2026-11-02: add by m2/dev

Maass–Shimura operator 3WCECTQBN1

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

Mentions

wikipedia: Wikipedia Maass–Shimura operator, Maass–Shimura operator (definition). Also Wikidata Q135012761

History

2026-11-02: add by m2/dev

3WCG0PPA17 3WCG0PPA17

URI	`m2://inv/3WCG0PPA17`
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#FRTZ (statement). In E2AF84709B/e1, theorem 48

History

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

Donnelly, Christl 3WCNDCM2AC

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

Mentions

wikipedia: Wikipedia List of statisticians#CZZB, Donnelly, Christl (unknown)

History

2026-11-02: add by m2/dev

3WCWFQ4G1V 3WCWFQ4G1V

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

Mentions

arxiv: arXiv 2609.26401#MEZ0 (statement)

History

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

3WCZ3TQX2Q 3WCZ3TQX2Q

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

Mentions

arxiv: arXiv 2603.07541#WU2Q (statement). In X3RFXWN6FW/e1, proposition 4.4

History

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

Example 3WD5X5JFAQ

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

Mentions

wikipedia: Wikipedia Gelfand pair#SW16, Example (example)

History

2026-11-02: add by m2/dev

Sum of squares (disambiguation) 3WD8G25SZQ

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

Mentions

wikipedia: Wikipedia List of statistics articles#M73X, Sum of squares (disambiguation) (definition)

History

2026-11-02: add by m2/dev

3WDAS5M5MB 3WDAS5M5MB

URI	`m2://inv/3WDAS5M5MB`
Kind	conjecture
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.08362#1JNJ (conjecture). In 7JHAD30NBB/e1, conjecture 5.2

History

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

Log transformation 3WDB5QWC3D

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

Mentions

wikipedia: Wikipedia Log transformation (statistics), Log transformation (definition). Also Wikidata Q136557386

History

2026-11-02: add by m2/dev

parametric test 3WDBBGMWWN

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

Mentions

wikidata: Wikidata Q47093178, parametric test (unknown). Also MathWorld ParametricTest

History

2026-10-26: add by m2/dev

Vieta jumping 3WDBK449ZY

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

Mentions

wikipedia: Wikipedia Vieta jumping, Vieta jumping (definition). Also Wikidata Q5892827

History

2026-11-02: add by m2/dev

Credibility 3WDETSNZ2T

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

Mentions

wikipedia: Wikipedia Credibility, Credibility (definition). Also Wikidata Q1530061

History

2026-11-02: add by m2/dev

Strict inequality 3WDF60XHD3

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

Mentions

wikipedia: Wikipedia Kneser's theorem (combinatorics)#0TQU, Strict inequality (statement)

History

2026-11-02: add by m2/dev

3WDHRR53FZ 3WDHRR53FZ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InfinitudeOfPrimes.tex#thm:divisorsof1 (statement). In P1C114YBXG, theorem, section D

History

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

Equivalent definitions 3WDMZ5ZAJY

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

Mentions

wikipedia: Wikipedia Wythoff array#38PX, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

peninvariant 3WDPTDFPR7

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#1W0T, peninvariant (definition)

History

2026-11-02: add by m2/dev

3WE1DSM8A9 3WE1DSM8A9

URI	`m2://inv/3WE1DSM8A9`
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 dg-ga/9612010#XR8L (statement). In CM39SWC4A6/e1, corollary 1.4

History

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

3WE1XEE3PC 3WE1XEE3PC

URI	`m2://inv/3WE1XEE3PC`
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.24463#2J0Q (statement)

History

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

Morwen Thistlethwaite 3WE27EAM9A

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

Mentions

wikipedia: Wikipedia Morwen Thistlethwaite, Morwen Thistlethwaite (topic). Also Wikidata Q1948782

History

2026-11-02: add by m2/dev

3WEB3CTZM8 3WEB3CTZM8

URI	`m2://inv/3WEB3CTZM8`
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.24553#TX2E (statement)

History

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

differentiable function 3WEEBXH3NG

URI	`m2://inv/3WEEBXH3NG`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Differentiable function 0A61B60B5R

Mentions

wikidata: Wikidata Q783507, differentiable function (unknown). Also MathWorld Differentiable
wikipedia: Wikipedia Differentiable function, Differentiable function (definition). Also Wikidata Q783507

History

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

3WEQX723D8 3WEQX723D8

URI	`m2://inv/3WEQX723D8`
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.36186#TMOL (definition). In 30PQN6JP7W/e1, definition 9

History

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

3WEZVZVYHN 3WEZVZVYHN

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

Mentions

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

History

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

3WF1N71BPK 3WF1N71BPK

URI	`m2://inv/3WF1N71BPK`
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 2609.33584#OA8J (statement). In 3HFBAWQCA1/e1, corollary 5.2

History

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

3WF4SK5T4A 3WF4SK5T4A

URI	`m2://inv/3WF4SK5T4A`
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.12329#HO2O (statement). In ZJQB9W60T6/e1, theorem 5.8

History

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

3WF8WSPVPH 3WF8WSPVPH

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

Mentions

arxiv: arXiv 2609.25289#8EAI (statement)

History

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

Ernst Sigismund Fischer 3WF90HYA9D

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

Mentions

wikipedia: Wikipedia Ernst Sigismund Fischer, Ernst Sigismund Fischer (topic). Also Wikidata Q85268

History

2026-11-02: add by m2/dev

Deletion recurrence for the antichain polynomial 3WFNPH079M

URI	`m2://inv/3WFNPH079M`
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.17677#4R3Q, Deletion recurrence for the antichain polynomial (statement). In 5E9G06XJKC/e1, lemma H.4

History

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

3WFPT0W0E0 3WFPT0W0E0

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

Mentions

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

History

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

3WFYC5CKNF 3WFYC5CKNF

URI	`m2://inv/3WFYC5CKNF`
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.21037#H6KO (statement). In PYB2RFYVVE/e1, lemma 2.8

History

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

3WGA437R6P 3WGA437R6P

URI	`m2://inv/3WGA437R6P`
Kind	example
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 2404.18690#CT01 (example). In MDCJJJRQ2X/e1, example 4.5

History

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

Examples 3WGCEAYCVB

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

Mentions

wikipedia: Wikipedia Generalized coordinates#JJ1P, Examples (example)

History

2026-11-02: add by m2/dev

3WGK4DA5JQ 3WGK4DA5JQ

URI	`m2://inv/3WGK4DA5JQ`
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.19694#K2I6 (statement). In EP0M4RSZ9P/e1, lemma 2.1

History

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

Value noise 3WGMABHG6B

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#MBGP, Value noise (unknown)

History

2026-11-02: add by m2/dev

Campanus of Novara 3WGSH2JBSW

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

Mentions

wikipedia: Wikipedia Campanus of Novara, Campanus of Novara (topic). Also Wikidata Q560868

History

2026-11-02: add by m2/dev

Derivative identities 3WGWA3ZBE4

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

Mentions

arxiv: arXiv 2610.18350#DD5M, Derivative identities (statement). In A20E8FZS21/e1, theorem 4.1

History

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

Definition 3WGXN7VPVA

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

Mentions

wikipedia: Wikipedia Smooth scheme#74DV, Definition (definition)

History

2026-11-02: add by m2/dev

3WH1N4KHGJ 3WH1N4KHGJ

URI	`m2://inv/3WH1N4KHGJ`
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.10474#40K6 (statement). In MB29RAAQMG/e1, lemma 4.8

History

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

3WH4W7M7YA 3WH4W7M7YA

URI	`m2://inv/3WH4W7M7YA`
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#E2L3 (statement). In PA6JQDSKQT/e1, lemma 4.5

History

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

Modulus of continuity 3WH70QQ624

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#YSLG, Modulus of continuity (definition)

History

2026-11-02: add by m2/dev

obtuse triangle 3WHE0QGRY0

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

Mentions

wikidata: Wikidata Q3998573, obtuse triangle (unknown). Also MathWorld ObtuseTriangle

History

2026-10-26: add by m2/dev

3WHKX6FV9W 3WHKX6FV9W

URI	`m2://inv/3WHKX6FV9W`
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 math/9602216#5ZAA (statement). In SD43497T8C/e1, theorem 2.11

History

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

3WHP31B9Z0 3WHP31B9Z0

URI	`m2://inv/3WHP31B9Z0`
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.05312#QGPG (statement). In 1CMMK399WQ/e1, lemma 8.3

History

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

Ted Harris 3WHRV00MGQ

URI	`m2://inv/3WHRV00MGQ`
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#4CAA, Ted Harris (topic)

History

2026-11-02: add by m2/dev

3WHTDKN5TF 3WHTDKN5TF

URI	`m2://inv/3WHTDKN5TF`
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.17720#CP5X (statement). In QPM0GQYNZ9/e1, corollary 6.2

History

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

SAS (software) 3WJ0PRDYE0

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

Mentions

wikipedia: Wikipedia List of statistics articles#876W, SAS (software) (definition)

History

2026-11-02: add by m2/dev

3WJ5Q1WM4F 3WJ5Q1WM4F

URI	`m2://inv/3WJ5Q1WM4F`
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 2301.04933#CWCH (definition). In Q70CTMCJTP/e1, definition 3.22

History

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

Warren Weaver 3WJM9FWD5M

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

Mentions

wikipedia: Wikipedia Warren Weaver, Warren Weaver (topic). Also Wikidata Q510591

History

2026-11-02: add by m2/dev

Edge directions span the effective space 3WJNCHQF3Q

URI	`m2://inv/3WJNCHQF3Q`
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.33472#OET6, Edge directions span the effective space (statement). In WBQQBZ4FCJ/e1, lemma 8.5

History

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

type I error 3WJPFRFAH2

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

Mentions

wikidata: Wikidata Q1369227, type I error (concept). Also MathWorld TypeIError

History

2026-10-26: add by m2/dev

Fekete–Szegő inequality 3WJZHKFAFY

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

Mentions

wikipedia: Wikipedia Fekete–Szegő inequality, Fekete–Szegő inequality (statement). Also Wikidata Q5441613

History

2026-11-02: add by m2/dev

Siacci's theorem 3WK1DG7E3A

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

Mentions

wikipedia: Wikipedia Francesco Siacci#Z5RI, Siacci's theorem (statement)

History

2026-11-02: add by m2/dev

Comparison with a two-component Gaussian mixture in dimension \(d=2\ 3WK3HVG99T

URI	`m2://inv/3WK3HVG99T`
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.07404#2FEL, Comparison with a two-component Gaussian mixture in dimension \(d=2\ (statement). In VAJ9MBT3SJ/e1, theorem 3

History

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

Feynman's trick 3WK6EDQM6S

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

Mentions

wikipedia: Wikipedia Leibniz integral rule#EU6H, Feynman's trick (unknown)

History

2026-11-02: add by m2/dev

3WK6XXF9EP 3WK6XXF9EP

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

Mentions

arxiv: arXiv 2609.31090#UC4M (statement). In SMTJDX0Q6R/e1, lemma 8.10

History

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

Intermediate certificate (cryptography) 3WKAVBMJ3A

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

Mentions

wikipedia: Wikipedia Public key certificate#S2QI, Intermediate certificate (cryptography) (unknown)

History

2026-11-02: add by m2/dev

3WKD2S1RP6 3WKD2S1RP6

URI	`m2://inv/3WKD2S1RP6`
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.07905#7Q2P (statement). In 88GEN3Z5VG/e1, proposition 8.3

History

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

3WKDYDKY99 3WKDYDKY99

URI	`m2://inv/3WKDYDKY99`
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#5MKV (statement)

History

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

3WKG7RKR10 3WKG7RKR10

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_discrete-random-variables.ptx#example-4 (example). In QKM9DD2H56, example, section 10.4.2

History

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

enneaedro 3WKG9T4Y69

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#UV7D, enneaedro (definition)

History

2026-11-02: add by m2/dev

3WKGAWD1ZX 3WKGAWD1ZX

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

Mentions

arxiv: arXiv 2610.21868#NPPJ (statement). In WWAQEF0093/e1, lemma 2.1

History

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

3WKPYQ3K76 3WKPYQ3K76

URI	`m2://inv/3WKPYQ3K76`
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 2610.03231#PAWW (statement). In 3Y76AQQGF0/e1, proposition 5.2

History

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

Maximal normal subgroup 3WKQGRFK86

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

Mentions

wikipedia: Wikipedia Maximal subgroup#O6YI, Maximal normal subgroup (unknown)

History

2026-11-02: add by m2/dev

Darboux's theorem for symplectic manifolds 3WKT6BGW5Z

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

Mentions

wikipedia: Wikipedia Darboux's theorem#XKHO, Darboux's theorem for symplectic manifolds (statement)

History

2026-11-02: add by m2/dev

independent events 3WKV2T7AAJ

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

Mentions

mathlib_overview: mathlib_overview Probability Theory > Definitions in probability theory > independent events, independent events (unknown). Also Mathlib ProbabilityTheory.iIndepSet
mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > independent events, independent events (unknown). Also Mathlib ProbabilityTheory.iIndepSet

History

2026-10-26: add by m2/dev

Frostman's lemma 3WM2K09KCF

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

Mentions

wikipedia: Wikipedia List of lemmas#6XXQ, Frostman's lemma (statement)

History

2026-11-02: add by m2/dev

Examples 3WM53G93E9

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

Mentions

wikipedia: Wikipedia Theory#1RXB, Examples (example)

History

2026-11-02: add by m2/dev

Definition 3WM8M2A3YE

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

Mentions

wikipedia: Wikipedia Morley rank#5U2O, Definition (definition)

History

2026-11-02: add by m2/dev

Francesco Maria De Regi 3WM9W4XJQK

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

Mentions

wikipedia: Wikipedia Francesco Maria De Regi, Francesco Maria De Regi (topic). Also Wikidata Q21207776

History

2026-11-02: add by m2/dev

Simple magic cube 3WMAEP9SK7

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

Mentions

wikipedia: Wikipedia Simple magic cube, Simple magic cube (definition). Also Wikidata Q7520806

History

2026-11-02: add by m2/dev

3WMQ3W91H6 3WMQ3W91H6

URI	`m2://inv/3WMQ3W91H6`
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 1907.01440#GHGM (statement). In QDRYC6WJJ7/e1, proposition 6

History

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

Istituto Nazionale di Alta Matematica Francesco Severi 3WMSXGW468

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

Mentions

wikipedia: Wikipedia Istituto Nazionale di Alta Matematica Francesco Severi, Istituto Nazionale di Alta Matematica Francesco Severi (definition). Also Wikidata Q3803639

History

2026-11-02: add by m2/dev

Theorem 3WN0G45EWX

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#PB24, Theorem (statement)

History

2026-11-02: add by m2/dev

Lambert W function 3WN8ZNDV3W

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

Mentions

wikipedia: Wikipedia List of mathematical functions#UGGU, Lambert W function (definition)

History

2026-11-02: add by m2/dev

3WNQ784VY6 3WNQ784VY6

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

Mentions

arxiv: arXiv 2409.01237#745H (statement). In M9VHCG48HB/e1, proposition 3.1

History

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

Load bound on optima 3WP28K3ES5

URI	`m2://inv/3WP28K3ES5`
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.11007#BSDH, Load bound on optima (statement). In MF0H78XZXC/e1, proposition A.5

History

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

Mathematical psychology 3WP74EQX9P

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#G9W1, Mathematical psychology (definition)

History

2026-11-02: add by m2/dev

Abstract m-space 3WP98G4ETX

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

Mentions

wikipedia: Wikipedia Abstract m-space, Abstract m-space (definition). Also Wikidata Q96371419

History

2026-11-02: add by m2/dev

Barlow surface 3WPA6C50WC

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#S34V, Barlow surface (definition)

History

2026-11-02: add by m2/dev

3WPCPTZA1K 3WPCPTZA1K

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

Mentions

open_logic: open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 38.6

History

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

Order-5 dodecahedral honeycomb 3WPPVKNV51

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#HFND, Order-5 dodecahedral honeycomb (object)
wikipedia: Wikipedia List of mathematical shapes#K0HN, Order-5 dodecahedral honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KG3L, Order-5 dodecahedral honeycomb (object)

History

2026-11-02: add by m2/dev

Richard M. Karp 3WPPZADN8K

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

Mentions

wikipedia: Wikipedia Richard M. Karp, Richard M. Karp (topic). Also Wikidata Q92612

History

2026-11-02: add by m2/dev

Uniqueness under curvature domination 3WPQZYSBD5

URI	`m2://inv/3WPQZYSBD5`
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.14562#VEQC, Uniqueness under curvature domination (statement). In G4XMZ452QE/e1, corollary 3.5

History

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

A formal generating-function-like convolution lemma 3WPSF6C496

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

Mentions

wikipedia: Wikipedia Dirichlet series inversion#MXU8, A formal generating-function-like convolution lemma (statement)

History

2026-11-02: add by m2/dev

Properties 3WPT3NW5GX

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

Mentions

wikipedia: Wikipedia Tschuprow's T#YRPA, Properties (statement)

History

2026-11-02: add by m2/dev

Browder–Minty theorem 3WPV6NYKH2

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

Mentions

mathlib_1000: mathlib_1000 Q25303622, Browder–Minty theorem (statement). Also Wikidata Q25303622
thousand_plus: thousand_plus Q25303622, Browder–Minty theorem (statement). Also Wikidata Q25303622, Wikipedia Browder–Minty theorem
wikipedia: Wikipedia Browder–Minty theorem, Browder–Minty theorem (statement). Also Wikidata Q25303622

History

2026-10-26: add by m2/dev

3WPVC0DWK1 3WPVC0DWK1

URI	`m2://inv/3WPVC0DWK1`
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.07190#YQLC (statement). In ZWS6Q4467X/e1, lemma D.5

History

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

Programming with Big Data in R 3WQ5AP0J46

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

Mentions

wikipedia: Wikipedia Programming with Big Data in R, Programming with Big Data in R (definition). Also Wikidata Q16975325

History

2026-11-02: add by m2/dev

Dave McNary 3WQ6GX5XTF

URI	`m2://inv/3WQ6GX5XTF`
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#JJQW, Dave McNary (unknown)

History

2026-11-02: add by m2/dev

3WQGAYNSED 3WQGAYNSED

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-polyfit.ptx#example-3 (example). In Y91XFCEVHQ, example, section 3.3

History

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

associated Laguerre polynomial 3WQGMZVM28

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

Mentions

wikidata: Wikidata Q109497177, associated Laguerre polynomial (concept). Also MathWorld AssociatedLaguerrePolynomial

History

2026-10-26: add by m2/dev

Cryptographic file system 3WQTZRESQT

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

Mentions

wikipedia: Wikipedia Filesystem-level encryption#VO0P, Cryptographic file system (unknown)

History

2026-11-02: add by m2/dev

nondeterministic polynomial time 3WQV2X55QN

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

Mentions

applied_combinatorics: applied_combinatorics index/4.4.3/nondeterministic-polynomial-time, nondeterministic polynomial time (concept). In QKM9DD2H56, index, section 4.4.3

History

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

Definition 3WQW4R36F9

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

Mentions

wikipedia: Wikipedia Varifold#CIIY, Definition (definition)

History

2026-11-02: add by m2/dev

3WR0YC4STE 3WR0YC4STE

URI	`m2://inv/3WR0YC4STE`
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.10477#50QM (statement). In 1NZSZ241WE/e1, lemma C.2

History

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

Statement 3WRBAR0KD9

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

Mentions

wikipedia: Wikipedia Dini criterion#TXQN, Statement (statement)

History

2026-11-02: add by m2/dev

Hans van Houwelingen 3WRBV6SR0T

URI	`m2://inv/3WRBV6SR0T`
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#TC3G, Hans van Houwelingen (unknown)

History

2026-11-02: add by m2/dev

Frobenius–Schur indicator 3WRS07TD6Z

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

Mentions

wikipedia: Wikipedia Frobenius–Schur indicator, Frobenius–Schur indicator (definition). Also Wikidata Q5505104

History

2026-11-02: add by m2/dev

JSJ decomposition 3WS17R9HC9

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

Mentions

wikipedia: Wikipedia List of geometric topology topics#8Q2K, JSJ decomposition (definition)

History

2026-11-02: add by m2/dev

3WS54ZHFAS 3WS54ZHFAS

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

Mentions

arxiv: arXiv 2609.35183#PB5N (statement). In FYM5XFD9RR/e1, lemma 2.15

History

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

Pepper 3WS6N06Z47

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

Mentions

wikipedia: Wikipedia Pepper (cryptography), Pepper (definition). Also Wikidata Q22907699

History

2026-11-02: add by m2/dev

Theorem (Burst error codeword classification) 3WS82GHW1E

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

Mentions

wikipedia: Wikipedia Burst error-correcting code#5XSI, Theorem (Burst error codeword classification) (statement)

History

2026-11-02: add by m2/dev

Properties 3WSA61GJNP

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

Mentions

wikipedia: Wikipedia Emden–Chandrasekhar equation#6AR6, Properties (statement)

History

2026-11-02: add by m2/dev

3WSEQ5S9AS 3WSEQ5S9AS

URI	`m2://inv/3WSEQ5S9AS`
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.26386#JATB (statement)

History

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

Gamma--Dirichlet mixture representation 3WSFVMY5K8

URI	`m2://inv/3WSFVMY5K8`
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#SWSV, Gamma--Dirichlet mixture representation (statement). In ADE39RC6C0/e1, lemma 2.1

History

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

3WSNVNNSVF 3WSNVNNSVF

URI	`m2://inv/3WSNVNNSVF`
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.05867#X7VM (statement). In E2TP3AKTNV/e1, theorem 5

History

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

3WSPBDTKZB 3WSPBDTKZB

URI	`m2://inv/3WSPBDTKZB`
Kind	statement
Layer	research
MSC	05-XX, 11-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.26762#IF3Z (statement)

History

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

3WSS2RRKP5 3WSS2RRKP5

URI	`m2://inv/3WSS2RRKP5`
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.36423#EH9V (definition). In Q5Z178SAHP/e1, definition 4.8

History

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

Error of the decoded update 3WSTRD166Z

URI	`m2://inv/3WSTRD166Z`
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.20087#8BMH, Error of the decoded update (statement). In ZRE2WQR5XA/e1, proposition V.2

History

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

3WSVAT7ZHJ 3WSVAT7ZHJ

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

Mentions

arxiv: arXiv 2610.08252#MVXP (definition). In M50TGNSJJR/e1, definition 3.1

History

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

Examples 3WSWTGW932

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

Mentions

wikipedia: Wikipedia Oseledets theorem#DS8G, Examples (example)

History

2026-11-02: add by m2/dev

Definition 3WSZGFZX3T

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

Mentions

wikipedia: Wikipedia Normal invariant#KA2V, Definition (definition)

History

2026-11-02: add by m2/dev

closed-cell reduction 3WT3KC5EX0

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

Mentions

arxiv: arXiv 2609.32733#OZN4, closed-cell reduction (statement). In PCAS8S14J6/e1, lemma 6.2

History

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

3WT82MAD5Y 3WT82MAD5Y

URI	`m2://inv/3WT82MAD5Y`
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 2202.07274#K61J (statement). In V5WGBGKYXN/e1, corollary 2.8.1

History

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

3WTF4VPWYH 3WTF4VPWYH

URI	`m2://inv/3WTF4VPWYH`
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#M0ZA (statement)

History

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

3WTHD333FM 3WTHD333FM

URI	`m2://inv/3WTHD333FM`
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.19854#C6CJ (statement). In D50WST4CG3/e1, theorem 1.1

History

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

De anima 3WTJV86143

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

Mentions

wikipedia: Wikipedia List of works by Averroes#UI44, De anima (unknown)

History

2026-11-02: add by m2/dev

3WTK1HH4NH 3WTK1HH4NH

URI	`m2://inv/3WTK1HH4NH`
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 2204.07961#5XBK (statement). In 4DK4VRKZVM/e1, lemma 2.5

History

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

3WTMYGQZPD 3WTMYGQZPD

URI	`m2://inv/3WTMYGQZPD`
Kind	definition
Layer	research
MSC	17-XX, 20-XX, 22-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.01208#EP96 (definition). In 317GZJ38HS/e1, definition 5.8

History

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

3WTRA8MS67 3WTRA8MS67

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

Mentions

napkin: napkin tex/alg-geom/spec-sheaf.tex#example-2 (example). In RZP28ERRZV, example, section 27.3.1

History

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

Vafa–Witten equations 3WTW26JKAQ

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

Mentions

wikipedia: Wikipedia Vafa–Witten equations, Vafa–Witten equations (definition). Also Wikidata Q140799970

History

2026-11-02: add by m2/dev

Examples 3WTWDNW60Z

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

Mentions

wikipedia: Wikipedia Kostka number#UJQW, Examples (example)

History

2026-11-02: add by m2/dev

Unitary Invariance of Distance 3WTY3GVR5W

URI	`m2://inv/3WTY3GVR5W`
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#I44T, Unitary Invariance of Distance (statement). In F71MS1F637/e1, theorem 3.13

History

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

3WV06QYXG9 3WV06QYXG9

URI	`m2://inv/3WV06QYXG9`
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.07890#AEWD (statement). In 6F3GSDT2V1/e1, theorem 5.17

History

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

SPIDER error recursion and conditional variance 3WV5S07Z3W

URI	`m2://inv/3WV5S07Z3W`
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.18428#TK66, SPIDER error recursion and conditional variance (statement). In 6BGSQT7SV8/e1, lemma 1

History

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

3WVEPCHDK9 3WVEPCHDK9

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

Mentions

arxiv: arXiv 2609.22469#XMUF (statement)

History

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

William Thomas Tutte 3WVPR4V28K

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

Mentions

wikipedia: Wikipedia List of cryptographers#BH1T, William Thomas Tutte (topic)

History

2026-11-02: add by m2/dev

Totally bounded 3WVRBFWWA1

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

Mentions

wikipedia: Wikipedia Glossary of general topology#WNWX, Totally bounded (definition)

History

2026-11-02: add by m2/dev

3WVTPE03BS 3WVTPE03BS

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

Mentions

arxiv: arXiv 2610.07092#6AIS (statement). In JWNYJVH8XG/e1, theorem 2.32

History

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

3WVV6KP0GZ 3WVV6KP0GZ

URI	`m2://inv/3WVV6KP0GZ`
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.26162#JMZA (statement)

History

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

Kantor–Koecher–Tits construction 3WVVJB4Q9B

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

Mentions

wikidata: Wikidata Q6365576, Kantor–Koecher–Tits construction (unknown). Also nLab Kantor-Koecher-Tits construction
wikipedia: Wikipedia Kantor–Koecher–Tits construction, Kantor–Koecher–Tits construction (definition). Also Wikidata Q6365576

History

2026-10-26: add by m2/dev

Main theorem 3WW4DNX6M8

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

Mentions

wikipedia: Wikipedia Newton polygon#WTMQ, Main theorem (statement)

History

2026-11-02: add by m2/dev

3WWD9HQHKE 3WWD9HQHKE

URI	`m2://inv/3WWD9HQHKE`
Kind	statement
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#TQFC (statement)

History

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

Runcinated 120-cells 3WWEX1W1VA

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

Mentions

wikipedia: Wikipedia Runcinated 120-cells, Runcinated 120-cells (definition). Also Wikidata Q7379700

History

2026-11-02: add by m2/dev

3WWJ5Q3J98 3WWJ5Q3J98

URI	`m2://inv/3WWJ5Q3J98`
Kind	statement
Layer	research
MSC	19-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.19791#1DY0 (statement). In AVDB4KJ6XB/e1, lemma 4.3

History

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

Chernavskii's theorem 3WWKF97G7Z

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

Mentions

wikipedia: Wikipedia Aleksei Chernavskii#LXEI, Chernavskii's theorem (statement)

History

2026-11-02: add by m2/dev

Carathéodory's theorem 3WWQ0X1451

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

Mentions

wikipedia: Wikipedia List of theorems#FVQA, Carathéodory's theorem (statement)

History

2026-11-02: add by m2/dev

State space 3WWSPMECF5

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

Mentions

arxiv: arXiv 2610.10821#2TKH, State space (statement). In RWNP4FEE65/e1, lemma 3.3

History

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

3WWZD2N7V1 3WWZD2N7V1

URI	`m2://inv/3WWZD2N7V1`
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.16123#I9QW (statement). In 6VR4TY5BGV/e1, proposition 3.4

History

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

3WX0CHCM1C 3WX0CHCM1C

URI	`m2://inv/3WX0CHCM1C`
Kind	example
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#V2DR (example). In PA6JQDSKQT/e1, example 5.15

History

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

František Mikloško 3WX1KADKJZ

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

Mentions

wikipedia: Wikipedia František Mikloško, František Mikloško (topic). Also Wikidata Q1291999

History

2026-11-02: add by m2/dev

Conditional cyclic HPL for an abelian BF pair 3WX231TV0A

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

Mentions

arxiv: arXiv 2609.27799#14LJ, Conditional cyclic HPL for an abelian BF pair (statement)

History

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

Depth-indexed average-path representation 3WX4H8N8HY

URI	`m2://inv/3WX4H8N8HY`
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.14988#FMDG, Depth-indexed average-path representation (statement). In B29M4E6KGC/e1, lemma J.3

History

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

3WX9NZZSS5 3WX9NZZSS5

URI	`m2://inv/3WX9NZZSS5`
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.21298#17SX (statement). In AXWM2MBYXV/e1, lemma 3.1

History

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

3WXCPW9EHB 3WXCPW9EHB

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

Mentions

arxiv: arXiv 2609.29918#EJMM (statement)

History

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

Chernoff bounds 3WXG8FGQX1

URI	`m2://inv/3WXG8FGQX1`
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.29623#BQXL, Chernoff bounds (statement)

History

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

Theorem 3WXPQQX49P

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

Mentions

wikipedia: Wikipedia Uncertainty principle#KMSP, Theorem (statement)

History

2026-11-02: add by m2/dev

exponential function 3WY2WYM25K

URI	`m2://inv/3WY2WYM25K`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Exponential function 0J0FCWV32D

Mentions

mathlib_overview: mathlib_overview Analysis > Special functions > exponential, exponential (unknown). Also Mathlib Real.exp
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > exponential, exponential (unknown). Also Mathlib Real.exp
wikidata: Wikidata Q168698, exponential function (unknown). Also Mathlib Real.exp, MathWorld ExponentialFunction
wikipedia: Wikipedia Exponential function, Exponential function (definition). Also Wikidata Q168698

History

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

“Surely You're Joking, Mr. Feynman!” 3WY5AX4ZRK

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

Mentions

wikidata: Wikidata Q2743592, “Surely You're Joking, Mr. Feynman!” (unknown). Also ProofWiki Book:Richard_P._Feynman/Surely_You're_Joking,_Mr._Feynman!
wikipedia: Wikipedia Surely You're Joking, Mr. Feynman!, Surely You're Joking, Mr. Feynman! (definition). Also Wikidata Q2743592

History

2026-10-26: add by m2/dev

Horikawa surface 3WY6N82MP3

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#61I5, Horikawa surface (definition)

History

2026-11-02: add by m2/dev

Variants 3WYF51BE4V

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

Mentions

wikipedia: Wikipedia Counting Bloom filter#1O4C, Variants (statement)

History

2026-11-02: add by m2/dev

3WYFRHHK0T 3WYFRHHK0T

URI	`m2://inv/3WYFRHHK0T`
Kind	example
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 2103.14389#1PUE (example). In NAMCCRM50R/e1, example 2.7

History

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

3WYG0W8G1K 3WYG0W8G1K

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

Mentions

arxiv: arXiv 2610.02079#4YAR (statement). In CNS2J2E4T2/e1, proposition 9

History

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

Binary shift 3WYMJKYW0W

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

Mentions

wikipedia: Wikipedia Bitwise operation#FVV1, Binary shift (unknown)

History

2026-11-02: add by m2/dev

Bohnenblust–Hille inequality 3WYN8QAGJW

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

Mentions

wikipedia: Wikipedia Littlewood's 4/3 inequality#YHV6, Bohnenblust–Hille inequality (statement)

History

2026-11-02: add by m2/dev

Toponogov theorem 3WYNKBTF2J

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#V814, Toponogov theorem (statement)

History

2026-11-02: add by m2/dev

BCCT inequality 3WYNT03Z2E

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

Mentions

wikipedia: Wikipedia Brascamp–Lieb inequality#05S9, BCCT inequality (statement)

History

2026-11-02: add by m2/dev

The boundary fibre at $t=0$ 3WYYECZCZH

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

Mentions

arxiv: arXiv 2610.04099#WCYB, The boundary fibre at $t=0$ (statement). In QPJ6FWG5HD/e1, lemma 1.9

History

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

Small-time expansion 3WYYT14SJ7

URI	`m2://inv/3WYYT14SJ7`
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.39409#MZWX, Small-time expansion (statement). In CQ0Z7QA0A5/e1, theorem 3.4

History

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

Weyl almost periodic functions 3WZ0DA966Q

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#YXT5, Weyl almost periodic functions (definition)

History

2026-11-02: add by m2/dev

3WZ7G10ZXW 3WZ7G10ZXW

URI	`m2://inv/3WZ7G10ZXW`
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 math/0003117#FHYL (statement). In WD2NCBV9F0/e1, lemma 21.5

History

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

All primes and all degrees 3WZBRD6DHT

URI	`m2://inv/3WZBRD6DHT`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#0PCC, All primes and all degrees (statement). In Y1DR0DPWD0/e1, corollary 6.2

History

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

3WZCBGWM7J 3WZCBGWM7J

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#thm:rep_1mat (statement). In RZP28ERRZV, theorem, section 80.6

History

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

3WZRF8X96H 3WZRF8X96H

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

Mentions

napkin: napkin tex/alg-geom/affine-var.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 19.4

History

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

Example 3WZS4G9AQ3

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

Mentions

wikipedia: Wikipedia Gysin homomorphism#NDQK, Example (example)

History

2026-11-02: add by m2/dev

3WZZ1MF8AG 3WZZ1MF8AG

URI	`m2://inv/3WZZ1MF8AG`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-XX, 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 2505.04593#RJ9P (statement). In PEXJPV3NP8/e1, theorem 4.14

History

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