Inventory rows 4T

The small-field laws 4T0CENFAPC

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

Mentions

arxiv: arXiv 2610.06480#MWZL, The small-field laws (statement). In 2Y47E704Z9/e1, corollary C.2

History

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

The modal expansion of block-Kempner sums 4T0EDC1H1N

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

Mentions

arxiv: arXiv 2609.31986#MRH2, The modal expansion of block-Kempner sums (statement). In 8WR0AEDAHT/e1, theorem 5

History

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

4T0J0YX7K5 4T0J0YX7K5

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

Mentions

arxiv: arXiv 2610.06152#2XKJ (definition). In HH35K7S17H/e1, definition 6.6

History

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

4T0JJT0BHZ 4T0JJT0BHZ

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

Mentions

arxiv: arXiv 2610.13241#XCK3 (statement). In DWQWQ5KTEE/e1, proposition 9

History

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

Anisotropic-to-isotropic Sobolev estimate 4T0NDDW64V

URI	`m2://inv/4T0NDDW64V`
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.14555#9RXJ, Anisotropic-to-isotropic Sobolev estimate (statement). In NHW0VEJ09F/e1, lemma A.7

History

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

4T0NZFYNRR 4T0NZFYNRR

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

Mentions

arxiv: arXiv 2609.28540#HA30 (statement)

History

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

4T0XV4DJ1R 4T0XV4DJ1R

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

Mentions

arxiv: arXiv 2609.31242#FY0V (definition). In 3NPRR9546C/e1, definition 3.6

History

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

4T0YKCYY4A 4T0YKCYY4A

URI	`m2://inv/4T0YKCYY4A`
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#QSB7 (statement). In FYM5XFD9RR/e1, proposition 2.3

History

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

Zohar Komargodski 4T12WZW08S

URI	`m2://inv/4T12WZW08S`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1483432, Zohar Komargodski (unknown). Also nLab Zohar Komargodski

History

2026-10-26: add by m2/dev

Galvin 4T16SBC8MF

URI	`m2://inv/4T16SBC8MF`
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 2011.07352#UJE8, Galvin (statement). In 3VPC1GGZ3E/e1, theorem

History

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

Bloch sphere 4T16ZE3C3H

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

Mentions

wikidata: Wikidata Q884593, Bloch sphere (unknown). Also MathWorld BlochSphere
wikipedia: Wikipedia Bloch sphere, Bloch sphere (definition). Also Wikidata Q884593

History

2026-10-26: add by m2/dev

4T1AG45K72 4T1AG45K72

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-32 (exercise). In QKM9DD2H56, exercise, section 2

History

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

Capped diagonal 4T1FNATSFC

URI	`m2://inv/4T1FNATSFC`
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.06490#RE44, Capped diagonal (statement). In NKXTXH59P1/e1, corollary D.8

History

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

Simultaneous uniformization 4T1JB6SR7N

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

Mentions

arxiv: arXiv 2609.29450#IJ0D, Simultaneous uniformization (statement)

History

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

4T1N0JBX7M 4T1N0JBX7M

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

Mentions

arxiv: arXiv 2609.28824#6US1 (statement)

History

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

4T21Y6KBY7 4T21Y6KBY7

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

Mentions

arxiv: arXiv 2609.33300#V7Q6 (statement). In AWF7ZHK4EM/e1, theorem 5.1

History

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

Évariste Galois 4T2GGJS88C

URI	`m2://inv/4T2GGJS88C`
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 Q7091, Évariste Galois (unknown). Also nLab Évariste Galois, ProofWiki Mathematician:Évariste_Galois
wikipedia: Wikipedia Évariste Galois, Évariste Galois (topic). Also Wikidata Q7091

History

2026-10-26: add by m2/dev

long multiplication 4T2JFCV78G

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

Mentions

wikidata: Wikidata Q29973476, long multiplication (unknown). Also MathWorld LongMultiplication

History

2026-10-26: add by m2/dev

Gauss–Wantzel theorem 4T2P9RHD7W

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

Mentions

wikipedia: Wikipedia List of theorems#RKVC, Gauss–Wantzel theorem (definition)

History

2026-11-02: add by m2/dev

Magic polygon 4T30QSXQV7

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

Mentions

wikipedia: Wikipedia Magic polygon, Magic polygon (definition). Also Wikidata Q30591499

History

2026-11-02: add by m2/dev

Bayesian network 4T30WK6HTT

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

Mentions

wikipedia: Wikipedia List of statistics articles#NLME, Bayesian network (definition)
wikipedia: Wikipedia List of network theory topics#NJYH, Bayesian network (definition)

History

2026-11-02: add by m2/dev

Farrell–Jones conjecture 4T35ZWAMEM

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#XJDA, Farrell–Jones conjecture (conjecture)

History

2026-11-02: add by m2/dev

Yukhym Zvyahilsky 4T3DZGNAG6

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#55HA, Yukhym Zvyahilsky (unknown)

History

2026-11-02: add by m2/dev

Bernard Derrida 4T3FPN35NH

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I4U0, Bernard Derrida (unknown)

History

2026-11-02: add by m2/dev

4T3FSFATYW 4T3FSFATYW

URI	`m2://inv/4T3FSFATYW`
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.04660#1RWX (statement). In 8ABKBS4H0N/e1, theorem 1.2

History

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

Dagum distribution 4T3SXS43NN

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

Mentions

wikipedia: Wikipedia Dagum distribution, Dagum distribution (definition). Also Wikidata Q222307

History

2026-11-02: add by m2/dev

Variations 4T3YQVHMV2

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

Mentions

wikipedia: Wikipedia Binary search#OO5T, Variations (statement)

History

2026-11-02: add by m2/dev

truncated icosidodecahedron 4T413FKJDD

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

Mentions

wikidata: Wikidata Q592806, truncated icosidodecahedron (object). Also MathWorld GreatRhombicosidodecahedron
wikipedia: Wikipedia Truncated icosidodecahedron, Truncated icosidodecahedron (definition). Also Wikidata Q592806

History

2026-10-26: add by m2/dev

Examples 4T43X5AGTT

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

Mentions

wikipedia: Wikipedia Associated bundle#O394, Examples (example)

History

2026-11-02: add by m2/dev

4T4BW92P2B 4T4BW92P2B

URI	`m2://inv/4T4BW92P2B`
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.20203#V2YP (statement)

History

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

4T4F1GQ1AH 4T4F1GQ1AH

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-98 (exercise). In VNMV985MXX, exercise, section 2.3

History

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

Example 4T4MSF88J3

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

Mentions

wikipedia: Wikipedia Salt (cryptography)#ANKJ, Example (example)

History

2026-11-02: add by m2/dev

Combinatorial geometry 4T52HB0PXK

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#O0P4, Combinatorial geometry (definition)

History

2026-11-02: add by m2/dev

Chemostat 4T5426TJJT

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

Mentions

wikipedia: Wikipedia Chemostat, Chemostat (definition). Also Wikidata Q902311

History

2026-11-02: add by m2/dev

Applications 4T5BECY80W

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

Mentions

wikipedia: Wikipedia Greatest common divisor#MSVX, Applications (example)

History

2026-11-02: add by m2/dev

Smith normal form 4T5KCKHA7V

URI	`m2://inv/4T5KCKHA7V`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Smith normal form MV28Z5N9XX

Mentions

wikidata: Wikidata Q7545384, Smith normal form (concept). Also MathWorld SmithNormalForm, nLab Smith normal form
wikipedia: Wikipedia Smith normal form, Smith normal form (definition). Also Wikidata Q7545384

History

2026-10-26: add by m2/dev

4T5Q8TPFHM 4T5Q8TPFHM

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

Mentions

arxiv: arXiv 2104.00162#5HC2 (statement). In HVGT9D84WV/e1, fact 4.3

History

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

4T5V6G5B5Y 4T5V6G5B5Y

URI	`m2://inv/4T5V6G5B5Y`
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 2610.05299#Q40R (statement). In 68AE571S4P/e1, theorem 1.3

History

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

Almgren–Chriss model 4T5VTYPX6G

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

Mentions

wikipedia: Wikipedia Almgren–Chriss model, Almgren–Chriss model (definition). Also Wikidata Q140157495

History

2026-11-02: add by m2/dev

mapping 4T64Q5V4D5

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#H2MW, mapping (definition)

History

2026-11-02: add by m2/dev

4T653Q1KT6 4T653Q1KT6

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#example:countdiscont (example). In E59CDZA4DP, example, section 2.6.1

History

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

4T65FCT8AJ 4T65FCT8AJ

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

Mentions

arxiv: arXiv 2609.21649#IXGE (statement)

History

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

Finite-sample width guarantee for \titleShorts 4T65VT2XRA

URI	`m2://inv/4T65VT2XRA`
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.25388#5XQY, Finite-sample width guarantee for \titleShorts (statement)

History

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

4T68W3XY85 4T68W3XY85

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

Mentions

arxiv: arXiv 1904.09810#O96Y (definition). In T1VFA7TXPA/e1, definition 50

History

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

Birkhoff's axioms 4T6BMDWHH4

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

Mentions

wikipedia: Wikipedia Foundations of geometry#M03E, Birkhoff's axioms (statement)

History

2026-11-02: add by m2/dev

400 4T6J4K272P

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

Mentions

wikipedia: Wikipedia 400 (number), 400 (definition). Also Wikidata Q1535396

History

2026-11-02: add by m2/dev

both constructions 4T6SH38T6X

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

Mentions

arxiv: arXiv 2610.21408#LYEE, both constructions (example). In 3XBEGXNPXZ/e1, example 7.2

History

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

4T6WAH6B7C 4T6WAH6B7C

URI	`m2://inv/4T6WAH6B7C`
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.13792#FPPQ (statement). In ZH0PFTZ12Y/e1, theorem 2.11

History

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

4T6YBVK7WW 4T6YBVK7WW

URI	`m2://inv/4T6YBVK7WW`
Kind	definition
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 2503.22636#OZ74 (definition). In 2X2A6MT0QD/e1, definition 2.3

History

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

Boost function regularity 4T739CRW3W

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

Mentions

arxiv: arXiv 2609.25449#B3DM, Boost function regularity (statement). In 9JHMTYGWFQ/e1, theorem 1.7

History

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

Mike West 4T787VAEFZ

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

Mentions

wikipedia: Wikipedia Mike West (statistician), Mike West (topic). Also Wikidata Q102111469

History

2026-11-02: add by m2/dev

4T7E3ABEZF 4T7E3ABEZF

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

Mentions

arxiv: arXiv 2609.37739#CNIA (statement). In F5XF5VXTXY/e1, lemma 6.4

History

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

1st Landau's constant 4T7M3THPZ4

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

Mentions

wikipedia: Wikipedia List of numbers#DYBS, 1st Landau's constant (conjecture)

History

2026-11-02: add by m2/dev

4T7MA72C2D 4T7MA72C2D

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

Mentions

arxiv: arXiv 2308.09645#C1MS (statement). In HVDSC1GQRD/e1, lemma 2.16

History

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

Lapointe--Vinet 4T7QAZV617

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

Mentions

arxiv: arXiv 2211.01586#WDM0, Lapointe--Vinet (statement). In P39MF3ZJC0/e1, theorem 4.1

History

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

4T7RTB4YXQ 4T7RTB4YXQ

URI	`m2://inv/4T7RTB4YXQ`
Kind	definition
Layer	research
MSC	03-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 1209.3562#16UT (definition). In KZH1DCS18C/e1, definition 2.2

History

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

4T7W4KMJQF 4T7W4KMJQF

URI	`m2://inv/4T7W4KMJQF`
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.15131#14RE (statement). In R80GS8W0WA/e1, theorem 1

History

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

Bipartite realization problem 4T83KJK73Y

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

Mentions

wikipedia: Wikipedia Bipartite realization problem, Bipartite realization problem (problem). Also Wikidata Q18206555

History

2026-11-02: add by m2/dev

open 4T88GW8RBB

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

Mentions

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

History

2026-11-02: add by m2/dev

4T89VX3MNC 4T89VX3MNC

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

Mentions

arxiv: arXiv 2409.00806#9JF2 (statement). In SBN06J39DG/e1, theorem 1.1

History

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

Very well-covered graphs 4T8KH8DP6M

URI	`m2://inv/4T8KH8DP6M`
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.09300#EQH8, Very well-covered graphs (statement). In JP589KS01S/e1, theorem 3.3

History

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

4T8QSJ1MYZ 4T8QSJ1MYZ

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

Mentions

arxiv: arXiv 2610.16746#CGRF (statement). In M00TA3JJM6/e1, lemma 1.3

History

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

4T8X243CCZ 4T8X243CCZ

URI	`m2://inv/4T8X243CCZ`
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.10233#HFF6 (statement). In QR9WE79ERQ/e1, lemma 4.8

History

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

Steven Alan Orszag 4T91TJH6JP

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D920, Steven Alan Orszag (unknown)

History

2026-11-02: add by m2/dev

Tschirnhaus transformation 4T9BDMCZS9

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#7YVF, Tschirnhaus transformation (definition)

History

2026-11-02: add by m2/dev

4T9BR6GHGQ 4T9BR6GHGQ

URI	`m2://inv/4T9BR6GHGQ`
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#G0Q3 (statement). In 9JZJTRRVR1/e1, lemma 3.14

History

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

4T9N8CGPAG 4T9N8CGPAG

URI	`m2://inv/4T9N8CGPAG`
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#6LU9 (statement). In 37S7MNMZ2F/e1, proposition 37

History

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

Joel Feldman 4T9NT1EBJN

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5SAM, Joel Feldman (unknown)

History

2026-11-02: add by m2/dev

4T9S9TXCD6 4T9S9TXCD6

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

Mentions

arxiv: arXiv 2609.40345#UDX4 (statement). In WK0PT95WW1/e1, proposition 5.10

History

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

4T9XN8DJ64 4T9XN8DJ64

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

Mentions

arxiv: arXiv 2609.34168#B2RF (statement). In 30YQV8N04M/e1, proposition 3.2

History

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

Wu-Chung Hsiang 4T9XSPVM0V

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

Mentions

wikipedia: Wikipedia Wu-Chung Hsiang, Wu-Chung Hsiang (topic). Also Wikidata Q2594597

History

2026-11-02: add by m2/dev

4TA2VRY93D 4TA2VRY93D

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

Mentions

arxiv: arXiv 2610.19854#HHYL (definition). In D50WST4CG3/e1, definition 4.1

History

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

4TA3P2C6R9 4TA3P2C6R9

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

Mentions

arxiv: arXiv 2609.31387#39I1 (conjecture). In GBD60VB1JX/e1, conjecture 6

History

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

Hu–Washizu principle 4TA3QRGBHH

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

Mentions

wikipedia: Wikipedia Hu–Washizu principle, Hu–Washizu principle (statement). Also Wikidata Q17027345

History

2026-11-02: add by m2/dev

Pre-fixed gluing data 4TA3RA2NEQ

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

Mentions

arxiv: arXiv 2609.35102#UYO4, Pre-fixed gluing data (definition). In XK6H7F2F13/e1, definition 4.13

History

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

Topkis's theorem 4TA9KFRJ16

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

Mentions

mathlib_1000: mathlib_1000 Q7824894, Topkis's theorem (statement). Also Wikidata Q7824894
thousand_plus: thousand_plus Q7824894, Topkis's theorem (statement). Also Wikidata Q7824894, Wikipedia Topkis's theorem
wikipedia: Wikipedia Topkis's theorem, Topkis's theorem (statement). Also Wikidata Q7824894

History

2026-10-26: add by m2/dev

Hardy–Littlewood zeta function conjectures 4TABA7KZ5M

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

Mentions

wikipedia: Wikipedia Hardy–Littlewood zeta function conjectures, Hardy–Littlewood zeta function conjectures (statement). Also Wikidata Q15643131

History

2026-11-02: add by m2/dev

Bi-elliptic transfer 4TAJMJNVDX

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

Mentions

wikipedia: Wikipedia Bi-elliptic transfer, Bi-elliptic transfer (definition). Also Wikidata Q3997712

History

2026-11-02: add by m2/dev

Examples 4TAPTFHEX4

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

Mentions

wikipedia: Wikipedia Rule of product#9MLA, Examples (example)

History

2026-11-02: add by m2/dev

Characterization of spline admissibility 4TB0A0546T

URI	`m2://inv/4TB0A0546T`
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.14920#TM6U, Characterization of spline admissibility (statement). In 1F8ENX770M/e1, theorem 5.1

History

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

4TB0M6ZYE0 4TB0M6ZYE0

URI	`m2://inv/4TB0M6ZYE0`
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.08226#GCJC (statement). In V6EPE8XHAD/e1, lemma A.11

History

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

Conservation laws 4TB6F8J9TS

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

Mentions

wikipedia: Wikipedia Spacetime#29KO, Conservation laws (statement)

History

2026-11-02: add by m2/dev

4TBAQ0SD9X 4TBAQ0SD9X

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

History

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

Bruce C. Berndt 4TBC2HHZKY

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

Mentions

wikipedia: Wikipedia Bruce C. Berndt, Bruce C. Berndt (topic). Also Wikidata Q381343

History

2026-11-02: add by m2/dev

Q-systems 4TBJAMEG5R

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

Mentions

wikipedia: Wikipedia Q-systems, Q-systems (definition). Also Wikidata Q7265313

History

2026-11-02: add by m2/dev

Cantic order-4 hexagonal tiling 4TBZDPH3P6

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

Mentions

wikipedia: Wikipedia Cantic order-4 hexagonal tiling, Cantic order-4 hexagonal tiling (object). Also Wikidata Q7844278

History

2026-11-02: add by m2/dev

4TCAMD7476 4TCAMD7476

URI	`m2://inv/4TCAMD7476`
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.36827#GLP3 (statement). In VSHAQTB2CA/e1, theorem 4.2

History

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

One-shell Hessian 4TCCK124AP

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

Mentions

arxiv: arXiv 2610.00453#95Z6, One-shell Hessian (statement). In ESPJMBH2R2/e1, proposition 4.5

History

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

Lower Ahlfors regularity of the measure $T_*P$ 4TCCYE9V3W

URI	`m2://inv/4TCCYE9V3W`
Kind	statement
Layer	research
MSC	26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#KWDL, Lower Ahlfors regularity of the measure $T_*P$ (statement). In BWJS3H55WH/e1, lemma 15

History

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

Ruth Charney 4TCF8S9C80

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

Mentions

wikipedia: Wikipedia Ruth Charney, Ruth Charney (topic). Also Wikidata Q18719167

History

2026-11-02: add by m2/dev

Density topology 4TCHZJWKWZ

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

Mentions

wikipedia: Wikipedia Density topology, Density topology (definition). Also Wikidata Q132886390

History

2026-11-02: add by m2/dev

4TCJR4K9RY 4TCJR4K9RY

URI	`m2://inv/4TCJR4K9RY`
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.05038#PCIY (statement). In CR237YRBJW/e1, lemma 7

History

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

Terminologies 4TCZSW2YKF

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

Mentions

wikipedia: Wikipedia Hamiltonian coloring#JFCE, Terminologies (definition)

History

2026-11-02: add by m2/dev

4TD4VZ5DVW 4TD4VZ5DVW

URI	`m2://inv/4TD4VZ5DVW`
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.32446#IHDO (statement). In W1KVJEGJ1W/e1, lemma C.1

History

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

John Brillhart 4TDDVECV9D

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

Mentions

wikipedia: Wikipedia John Brillhart, John Brillhart (topic). Also Wikidata Q1699411

History

2026-11-02: add by m2/dev

4TDFB3C5RE 4TDFB3C5RE

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

Mentions

arxiv: arXiv 2609.38240#LU7Y (statement). In WFZ0FG1F1R/e1, theorem 4.1

History

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

Fields Medal winners 4TDJCCTC37

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

Mentions

wikipedia: Wikipedia Fields Medal#4L79, Fields Medal winners (unknown)

History

2026-11-02: add by m2/dev

4TDVDA3JJ8 4TDVDA3JJ8

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

Mentions

arxiv: arXiv 2610.18219#51KH (statement). In X1AGBB90EH/e1, corollary 2.13

History

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

Spherical coordinates 4TDZNA3F1S

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#problem-3, Spherical coordinates (exercise). In RZP28ERRZV, problem, section 46.6

History

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

4TE15Y1YQA 4TE15Y1YQA

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

Mentions

arxiv: arXiv 2610.04895#Y0RW (statement). In A7M06ZVYA8/e1, lemma 2.4

History

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

4TE16MQXQ6 4TE16MQXQ6

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

Mentions

arxiv: arXiv 2609.23469#6NRP (statement)

History

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

Cayley numbers 4TECBZZCXV

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#Q9NK, Cayley numbers (definition)

History

2026-11-02: add by m2/dev

4TEHWR697X 4TEHWR697X

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

Mentions

arxiv: arXiv 2610.21093#JGSH (statement). In TBFPBPQV3G/e1, theorem III

History

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

The block theorem and normal approximants 4TES1CGX0X

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

Mentions

wikipedia: Wikipedia Padé table#89JN, The block theorem and normal approximants (statement)

History

2026-11-02: add by m2/dev

4TEZS81DT4 4TEZS81DT4

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

Mentions

hott_book: hott_book categories.tex#proof-10 (proof). In N54F33XE07, proof, section 2.2

History

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

4TF9YRYJ59 4TF9YRYJ59

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

Mentions

arxiv: arXiv 2603.11432#FZ40 (definition). In 9PGSPHDKR2/e1, definition 1.2

History

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

Parabolic fractal distribution 4TFANRDYX0

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

Mentions

wikipedia: Wikipedia List of statistics articles#YI65, Parabolic fractal distribution (definition)

History

2026-11-02: add by m2/dev

Theorem 4TFPRNZ0VE

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

Mentions

wikipedia: Wikipedia Multinomial theorem#973B, Theorem (statement)

History

2026-11-02: add by m2/dev

Lidskii's theorem 4TFTG7XYJ0

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

Mentions

wikipedia: Wikipedia Trace class#V9X4, Lidskii's theorem (statement)

History

2026-11-02: add by m2/dev

First-contact sequences 4TFTHDSD6A

URI	`m2://inv/4TFTHDSD6A`
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.33794#7A89, First-contact sequences (statement). In W0PQMW25VY/e1, proposition 2.4

History

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

sampling 4TFTXEHJ5Y

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#Z5H5, sampling (definition)

History

2026-11-02: add by m2/dev

4TG3PSP3PQ 4TG3PSP3PQ

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

Mentions

arxiv: arXiv 2609.36113#R0ZB (statement). In FSGSVD0XYH/e1, lemma 6

History

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

David Bressoud 4TG594Y7KQ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5NAB, David Bressoud (topic)

History

2026-11-02: add by m2/dev

4TG5GTSG98 4TG5GTSG98

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 3.2.6

History

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

4TGBSQ2NM6 4TGBSQ2NM6

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

Mentions

arxiv: arXiv 2609.25468#0UIQ (statement)

History

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

Examples 4TGGJ8QBZ7

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

Mentions

wikipedia: Wikipedia Pairing#OZOE, Examples (example)

History

2026-11-02: add by m2/dev

Sudoku 4TGJ4KQC93

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

Mentions

wikipedia: Wikipedia List of steganography techniques#0ZVG, Sudoku (definition)

History

2026-11-02: add by m2/dev

Luitzen Egbertus Jan Brouwer 4TGPEN9K73

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#298F, Luitzen Egbertus Jan Brouwer (topic)

History

2026-11-02: add by m2/dev

4TGS3X2T3X 4TGS3X2T3X

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

Mentions

arxiv: arXiv 2610.19326#OZYQ (statement). In YFWDHG947Q/e1, theorem 4

History

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

Equivariant index theorem 4TGT5DW4RY

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

Mentions

wikipedia: Wikipedia Equivariant index theorem, Equivariant index theorem (statement). Also Wikidata Q17010857

History

2026-11-02: add by m2/dev

finitely dominated 4TGZFCTJYG

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#AZBD, finitely dominated (definition)

History

2026-11-02: add by m2/dev

4TH8BZ4NAD 4TH8BZ4NAD

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

Mentions

austin_ula: austin_ula src/section7-4.xml#activity-4 (exercise). In 649HGZKE96, activity, section 7.4.4

History

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

Eternity puzzle 4THAZM829T

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

Mentions

wikidata: Wikidata Q1371069, Eternity puzzle (unknown). Also MathWorld Eternity
wikipedia: Wikipedia Eternity puzzle, Eternity puzzle (problem). Also Wikidata Q1371069

History

2026-10-26: add by m2/dev

4THBEXXSY6 4THBEXXSY6

URI	`m2://inv/4THBEXXSY6`
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.20979#RQU1 (statement)

History

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

Heron's method 4THBMJ5J6D

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

Mentions

wikidata: Wikidata Q20725439, Heron's method (concept). Also ProofWiki Hero's_Method

History

2026-10-26: add by m2/dev

Simulated fractals 4THE3F26SV

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

Mentions

wikipedia: Wikipedia Fractal#TLJ1, Simulated fractals (unknown)

History

2026-11-02: add by m2/dev

the comparison maps made explicit 4THH6T0K9Z

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

Mentions

arxiv: arXiv 2609.39293#WLUF, the comparison maps made explicit (statement). In S26QVW5613/e1, proposition 3.3.3

History

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

4THYSA9JA8 4THYSA9JA8

URI	`m2://inv/4THYSA9JA8`
Kind	statement
Layer	research
MSC	26-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 2411.16022#INQX (statement). In QG9ATXTKJ6/e1, proposition 2.1

History

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

limit, of types 4THYZP7WD4

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

Mentions

hott_book: hott_book index/5.8/limit-of-types, limit, of types (concept). In N54F33XE07, index, section 5.8

History

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

4THZY8HD15 4THZY8HD15

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

Mentions

arxiv: arXiv 2610.13680#BRAJ (unknown). In QNBFHFZ3H0/e1, unknown 132
arxiv: arXiv 2610.13680#L49Q (unknown). In QNBFHFZ3H0/e1, unknown 133
arxiv: arXiv 2610.13680#RLLA (unknown). In QNBFHFZ3H0/e1, unknown 134

History

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

4TJ3W0KVPE 4TJ3W0KVPE

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

Mentions

wikipedia: Wikipedia Covering problem of Rado#CDOJ (problem)

History

2026-11-02: add by m2/dev

4TJ50MGEHE 4TJ50MGEHE

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

Mentions

arxiv: arXiv 2610.02993#L5N8 (statement). In TJH58FRGEN/e1, proposition 8.2

History

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

Identity 4TJC4S317Q

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

Mentions

wikipedia: Wikipedia Identity (philosophy), Identity (statement). Also Wikidata Q254474

History

2026-11-02: add by m2/dev

Vivek Borkar 4TJC8JA7HD

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WSQK, Vivek Borkar (unknown)

History

2026-11-02: add by m2/dev

4TJF4VXAKV 4TJF4VXAKV

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

Mentions

arxiv: arXiv 2609.32946#MPEP (statement). In 6AEBXNK614/e1, lemma 2.6

History

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

4TJGFV6K73 4TJGFV6K73

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

Mentions

arxiv: arXiv 2610.14692#QCE9 (definition). In NE5EH5FXRV/e1, definition 4.3

History

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

4TJKVNDSF9 4TJKVNDSF9

URI	`m2://inv/4TJKVNDSF9`
Kind	definition
Layer	research
MSC	19-XX, 46-XX, 47-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.28254#9AIQ (definition)

History

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

4TJMJAGCAN 4TJMJAGCAN

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

Mentions

arxiv: arXiv 2610.20299#FFXN (statement). In P7T0W5D3W3/e1, theorem

History

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

4TJQD52BMB 4TJQD52BMB

URI	`m2://inv/4TJQD52BMB`
Kind	statement
Layer	research
MSC	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.30200#U5EC (statement)

History

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

4TJTKWY6B3 4TJTKWY6B3

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

Mentions

arxiv: arXiv 2609.32650#LBPB (statement). In PHXJ87HKYB/e1, lemma 3.3

History

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

Score test 4TJTPEPJ7Q

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

Mentions

wikipedia: Wikipedia Score test, Score test (definition). Also Wikidata Q4456449

History

2026-11-02: add by m2/dev

4TJVQEKGBM 4TJVQEKGBM

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

Mentions

open_logic: open_logic content/intuitionistic-logic/introduction/natural-deduction.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 32.1.6

History

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

Modular discriminant 4TK3RA1NAE

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

Mentions

wikipedia: Wikipedia Weierstrass elliptic function#L7P6, Modular discriminant (unknown)

History

2026-11-02: add by m2/dev

4TK7X1G257 4TK7X1G257

URI	`m2://inv/4TK7X1G257`
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 2007.14459#Z02F (example). In SGQ7VFEZ22/e1, example 3.2

History

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

Båth's law 4TKCJA05FS

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

Mentions

wikipedia: Wikipedia Aftershock#LX4A, Båth's law (statement)

History

2026-11-02: add by m2/dev

Ideal theory 4TKDM4TPAY

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#W650, Ideal theory (definition)

History

2026-11-02: add by m2/dev

\textbf{${\cal K}$-convergence 4TKK3GMD3J

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

Mentions

arxiv: arXiv 2609.24479#DQ0O, \textbf{${\cal K}$-convergence (statement)

History

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

4TKKC9N6AY 4TKKC9N6AY

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

Mentions

arxiv: arXiv 2610.10930#L6VX (statement). In HX63A1PH1W/e1, lemma 8.30

History

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

mean value theorem 4TKPWAMTD1

URI	`m2://inv/4TKPWAMTD1`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	7
Outcome	node (a node has the same Wikidata item as the row)
Node	Mean value theorem 0BARQY52N5

Mentions

mathlib_100: mathlib_100 75, The Mean Value Theorem (statement). Also Mathlib exists_deriv_eq_slope
mathlib_1000: mathlib_1000 Q189136, Mean value theorem (statement). Also Mathlib exists_deriv_eq_slope, Mathlib exists_ratio_deriv_eq_ratio_slope, Wikidata Q189136
mathlib_overview: mathlib_overview Analysis > Differentiability > mean value theorem, mean value theorem (unknown). Also Mathlib exists_ratio_deriv_eq_ratio_slope
mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > mean value theorem, mean value theorem (unknown). Also Mathlib exists_ratio_deriv_eq_ratio_slope
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > mean value theorem, mean value theorem (unknown). Also Mathlib exists_ratio_deriv_eq_ratio_slope
thousand_plus: thousand_plus Q189136, Mean value theorem (statement). Also Mathlib exists_deriv_eq_slope, Mathlib exists_ratio_deriv_eq_ratio_slope, Wikidata Q189136, Wikipedia Mean value theorem
wikidata: Wikidata Q189136, mean value theorem (statement). Also MathWorld Mean-ValueTheorem, nLab mean value theorem, ProofWiki Mean_Value_Theorem
wikipedia: Wikipedia Mean value theorem, Mean value theorem (statement). Also Wikidata Q189136

History

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

Shehu transform 4TKQ42H2SY

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

Mentions

wikipedia: Wikipedia List of transforms#J6Q1, Shehu transform (definition)

History

2026-11-02: add by m2/dev

4TKVPWAVNS 4TKVPWAVNS

URI	`m2://inv/4TKVPWAVNS`
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.14374#2STX (statement). In YPTC532FEG/e1, lemma 20

History

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

Properties 4TM0TARQ54

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

Mentions

wikipedia: Wikipedia Power residue symbol#5HYY, Properties (statement)

History

2026-11-02: add by m2/dev

Orthocenter 4TM2CZ54BR

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

Mentions

wikipedia: Wikipedia List of triangle topics#3G0P, Orthocenter (definition)

History

2026-11-02: add by m2/dev

Equivalence problem 4TM3YF5GVN

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#J9WZ, Equivalence problem (unknown)

History

2026-11-02: add by m2/dev

Studentized range 4TM7P4B6C9

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

Mentions

wikipedia: Wikipedia List of statistics articles#WQ07, Studentized range (definition)

History

2026-11-02: add by m2/dev

4TM8JE6ED6 4TM8JE6ED6

URI	`m2://inv/4TM8JE6ED6`
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.20126#OOE5 (statement). In KVXDWX9B11/e1, corollary 2.4

History

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

4TM8TKA4RW 4TM8TKA4RW

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#defn-8 (definition). In E59CDZA4DP, defn, section 4.2.3

History

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

Pioneering Women in American Mathematics 4TM96F52G4

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

Mentions

wikipedia: Wikipedia Pioneering Women in American Mathematics, Pioneering Women in American Mathematics (definition). Also Wikidata Q96399440

History

2026-11-02: add by m2/dev

Sierpiński game 4TMA2TN8FW

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

Mentions

wikipedia: Wikipedia List of things named after Wacław Sierpiński#2I90, Sierpiński game (unknown)

History

2026-11-02: add by m2/dev

4TMAV7G9WA 4TMAV7G9WA

URI	`m2://inv/4TMAV7G9WA`
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 2503.08488#6KAD (statement). In QH5MZXMXQH/e1, lemma 6.13

History

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

Truchet tiles 4TMB536JZ0

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

Mentions

wikidata: Wikidata Q7847153, Truchet tiles (unknown). Also MathWorld TruchetTiling
wikipedia: Wikipedia Truchet tiling, Truchet tiling (definition). Also Wikidata Q7847153

History

2026-10-26: add by m2/dev

extended supersymmetry 4TMBGF22BY

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

Mentions

wikidata: Wikidata Q55643022, extended supersymmetry (unknown). Also nLab extended supersymmetry

History

2026-10-26: add by m2/dev

Properties 4TMGZB65G9

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

Mentions

wikipedia: Wikipedia Convex polygon#OO41, Properties (statement)

History

2026-11-02: add by m2/dev

Peter Paule 4TMPEP34X8

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

Mentions

wikipedia: Wikipedia Peter Paule, Peter Paule (topic). Also Wikidata Q1443929

History

2026-11-02: add by m2/dev

Lowell Frazer 4TMR40P6KV

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

Mentions

wikipedia: Wikipedia List of cryptographers#UX3F, Lowell Frazer (unknown)

History

2026-11-02: add by m2/dev

Properties 4TMSB0PSAC

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

Mentions

wikipedia: Wikipedia Mathieu function#91ZV, Properties (statement)

History

2026-11-02: add by m2/dev

4TMW6XFZ83 4TMW6XFZ83

URI	`m2://inv/4TMW6XFZ83`
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.12330#7PGH (statement). In XHSKEPT3VD/e1, lemma 6.3

History

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

4TNEJ0HEBS 4TNEJ0HEBS

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

Mentions

arxiv: arXiv 2610.17669#NHTG (definition). In RAWXJ72WWA/e1, definition 2.1

History

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

4TNFJTPK05 4TNFJTPK05

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

Mentions

arxiv: arXiv 2609.36181#Z4ZE (example). In 1KSE33PVS6/e1, example 76

History

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

Properties 4TNHN5JNFT

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

Mentions

wikipedia: Wikipedia Well-ordering principle#BFNP, Properties (statement)

History

2026-11-02: add by m2/dev

Extensions 4TNY2CT7G8

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

Mentions

wikipedia: Wikipedia Matroid intersection#25AT, Extensions (statement)

History

2026-11-02: add by m2/dev

Stopping time 4TP2A0K076

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

Mentions

wikipedia: Wikipedia List of statistics articles#UMN5, Stopping time (definition)

History

2026-11-02: add by m2/dev

F{\o}lner criterion 4TP6DXB8GN

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

Mentions

arxiv: arXiv 2610.00789#2JMX, F{\o}lner criterion (statement). In 4WPYBTARS2/e1, proposition 2.10

History

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

On the Causes of Plants 4TPBSV21YP

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

Mentions

wikipedia: Wikipedia Theophrastus#P4BM, On the Causes of Plants (unknown)

History

2026-11-02: add by m2/dev

Susan Howson 4TPG8PAX9R

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#X6ZA, Susan Howson (unknown)

History

2026-11-02: add by m2/dev

elliptic curve theory 4TQ0Y9VF03

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

Mentions

wikidata: Wikidata Q114702279, elliptic curve theory (topic)

History

2026-10-26: add by m2/dev

4TQANCDE14 4TQANCDE14

URI	`m2://inv/4TQANCDE14`
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.12371#6ZAR (statement). In 8TTFQH19QR/e1, lemma 3

History

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

Kuratowski embedding 4TQEEPM9Y0

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

Mentions

wikipedia: Wikipedia Kuratowski embedding, Kuratowski embedding (definition). Also Wikidata Q3984015

History

2026-11-02: add by m2/dev

geometric sequences 4TQRYJ39C1

URI	`m2://inv/4TQRYJ39C1`
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#HIDO, geometric sequences (statement)

History

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

4TQTZFP197 4TQTZFP197

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

Mentions

arxiv: arXiv 2610.02993#ACN1 (statement). In TJH58FRGEN/e1, lemma 4.1

History

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

Schwarz–Pick theorem 4TR6JEPW43

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

Mentions

wikipedia: Wikipedia Schwarz lemma#1Z96, Schwarz–Pick theorem (statement)

History

2026-11-02: add by m2/dev

4TR9ECAQWR 4TR9ECAQWR

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

Mentions

arxiv: arXiv 2610.19449#ZJOR (statement). In 8ZKPJ3CBDF/e1, lemma 4.13

History

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

Applications 4TRDFKMRP1

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

Mentions

wikipedia: Wikipedia Continuum mechanics#FNLI, Applications (example)

History

2026-11-02: add by m2/dev

4TRDRY1732 4TRDRY1732

URI	`m2://inv/4TRDRY1732`
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 2605.29624#LVQ5 (statement). In TAD5A4R089/e1, proposition 3.10

History

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

4TRVPSHB6J 4TRVPSHB6J

URI	`m2://inv/4TRVPSHB6J`
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.14841#EYDH (statement). In 6V5HP8W1ZG/e1, lemma 7

History

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

4TRZNKFHZ2 4TRZNKFHZ2

URI	`m2://inv/4TRZNKFHZ2`
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.21399#A3IH (statement)

History

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

Saha ionization equation 4TS511NXZW

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

Mentions

wikipedia: Wikipedia Saha ionization equation, Saha ionization equation (definition). Also Wikidata Q631222

History

2026-11-02: add by m2/dev

Example 4TSC120WW6

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

Mentions

wikipedia: Wikipedia Haven (graph theory)#0UUU, Example (example)

History

2026-11-02: add by m2/dev

orbit 4TSCQBHX7Q

URI	`m2://inv/4TSCQBHX7Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 252250)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#BNMX, orbit (definition)

History

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

4TSFK85BND 4TSFK85BND

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

Mentions

arxiv: arXiv 1607.01095#W90I (definition). In W3T1ZAT3GC/e1, definition 2.2

History

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

4TSJ9N0B15 4TSJ9N0B15

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

Mentions

arxiv: arXiv 2609.26033#F82U (definition)

History

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

4TSK8V0HW3 4TSK8V0HW3

URI	`m2://inv/4TSK8V0HW3`
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 2011.14561#2N19 (statement). In V2XJJJX1Z8/e1, theorem 1.1

History

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

Nash Bargaining Solution 4TSP3FT8TE

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

Mentions

wikipedia: Wikipedia Cooperative bargaining#VD6N, Nash Bargaining Solution (unknown)

History

2026-11-02: add by m2/dev

4TSP46JCKF 4TSP46JCKF

URI	`m2://inv/4TSP46JCKF`
Kind	statement
Layer	research
MSC	16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#XW6Z (statement). In H52QQS8WZA/e1, corollary 3.3

History

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

4TSRF5C06C 4TSRF5C06C

URI	`m2://inv/4TSRF5C06C`
Kind	problem
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.21399#SS1W (problem)

History

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

Example 4TSVKBQMMJ

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

Mentions

wikipedia: Wikipedia Finite character#PCAP, Example (example)

History

2026-11-02: add by m2/dev

4TSZ3BE15M 4TSZ3BE15M

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

Mentions

arxiv: arXiv 2610.17736#HCLM (example). In 2F182H14AM/e1, example 1

History

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

4TT9NK88M1 4TT9NK88M1

URI	`m2://inv/4TT9NK88M1`
Kind	statement
Layer	research
MSC	16-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 2610.21954#V4M1 (statement). In F2XATDBRK4/e1, theorem 2

History

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

4TTCQ1AB1C 4TTCQ1AB1C

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

Mentions

arxiv: arXiv 2609.28824#63HD (statement)

History

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

Kempf–Ness theorem 4TTDB6KA9X

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

Mentions

mathlib_1000: mathlib_1000 Q6387087, Kempf–Ness theorem (statement). Also Wikidata Q6387087
thousand_plus: thousand_plus Q6387087, Kempf–Ness theorem (statement). Also Wikidata Q6387087, Wikipedia Kempf–Ness theorem
wikipedia: Wikipedia Kempf–Ness theorem, Kempf–Ness theorem (statement). Also Wikidata Q6387087

History

2026-10-26: add by m2/dev

All-aspect spectral input 4TTFHCHWN1

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

Mentions

arxiv: arXiv 2610.11309#ZU02, All-aspect spectral input (statement). In TTEAQA1XXR/e1, proposition C.12

History

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

RSA-140 4TTJPHDYQJ

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

Mentions

wikipedia: Wikipedia RSA numbers#XWBZ, RSA-140 (unknown)

History

2026-11-02: add by m2/dev

Schur complement 4TTM4RXQG2

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

Mentions

wikipedia: Wikipedia Schur complement, Schur complement (definition). Also Wikidata Q1778169

History

2026-11-02: add by m2/dev

Witt scheme 4TTWKPZPJP

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

Mentions

wikipedia: Wikipedia List of things named after Ernst Witt#JZQM, Witt scheme (definition)

History

2026-11-02: add by m2/dev

4TV4J9ASZ9 4TV4J9ASZ9

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

Mentions

arxiv: arXiv 2609.38735#OMDN (statement). In XZ71J0DQSE/e1, lemma 5.3

History

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

coimage 4TV8G6DRY9

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

Mentions

wikidata: Wikidata Q9388290, coimage (unknown). Also nLab coimage
wikipedia: Wikipedia Coimage, Coimage (definition). Also Wikidata Q9388290

History

2026-10-26: add by m2/dev

Example 4TVV7PTA41

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

Mentions

wikipedia: Wikipedia KenKen#VY15, Example (example)

History

2026-11-02: add by m2/dev

Theorem 4TVY6V07D1

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

Mentions

wikipedia: Wikipedia Newton–Gauss line#CO60, Theorem (statement)

History

2026-11-02: add by m2/dev

spherical coordinate system 4TW55T8PS3

URI	`m2://inv/4TW55T8PS3`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Spherical coordinates 01QFQAQ2PA

Mentions

wikidata: Wikidata Q203218, spherical coordinate system (unknown). Also MathWorld SphericalCoordinates
wikipedia: Wikipedia Spherical coordinate system, Spherical coordinate system (definition). Also Wikidata Q203218

History

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

Poker probability 4TW5MWSR48

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

Mentions

wikipedia: Wikipedia List of probability topics#W5CS, Poker probability (unknown)

History

2026-11-02: add by m2/dev

Folding 4TWCQGNKNH

URI	`m2://inv/4TWCQGNKNH`
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 2204.09167#10J6, Folding (statement). In S1MENYEAG5/e1, proposition 6.5

History

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

Univariate distribution 4TWCW15374

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

Mentions

wikipedia: Wikipedia Univariate distribution, Univariate distribution (definition). Also Wikidata Q7893853

History

2026-11-02: add by m2/dev

4TWGMH5RS6 4TWGMH5RS6

URI	`m2://inv/4TWGMH5RS6`
Kind	statement
Layer	research
MSC	17-XX, 57-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.09354#U0DG (statement). In 5VAJC29KA2/e1, lemma 2.2

History

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

4TWMNC97Y4 4TWMNC97Y4

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

Mentions

arxiv: arXiv 2609.24185#F1PQ (statement)

History

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

4TWS902KBD 4TWS902KBD

URI	`m2://inv/4TWS902KBD`
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.18709#HUY3 (statement). In K7VY50VFK6/e1, lemma 6.1

History

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

punctuation 4TX2BPFQMQ

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

Mentions

wikipedia: Wikipedia Glossary of logic#T34T, punctuation (definition)

History

2026-11-02: add by m2/dev

Elementary properties 4TXC39GT1B

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

Mentions

wikipedia: Wikipedia Affine connection#XIAG, Elementary properties (statement)

History

2026-11-02: add by m2/dev

4TXE3ZXWV2 4TXE3ZXWV2

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-15 (exercise). In QKM9DD2H56, exercise, section 7

History

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

Covering graph 4TXK9Z6S4J

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

Mentions

wikipedia: Wikipedia Covering graph, Covering graph (definition). Also Wikidata Q5179252

History

2026-11-02: add by m2/dev

Lecuire 4TXP8CYPZZ

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

Mentions

arxiv: arXiv 2609.29450#GJRD, Lecuire (statement)

History

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

4TXQB4K340 4TXQB4K340

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/ch.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 69.1

History

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

random graph 4TXRDRMB4X

URI	`m2://inv/4TXRDRMB4X`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Random graph TNT3DG0HRJ

Mentions

wikidata: Wikidata Q910404, random graph (unknown). Also MathWorld RandomGraph
wikipedia: Wikipedia Random graph, Random graph (definition). Also Wikidata Q910404

History

2026-10-26: add by m2/dev

Legendre's three-square theorem 4TXRGFT4PN

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

Mentions

wikipedia: Wikipedia Legendre's three-square theorem, Legendre's three-square theorem (statement). Also Wikidata Q15940470

History

2026-11-02: add by m2/dev

Examples 4TXSQYP4SS

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

Mentions

wikipedia: Wikipedia Spin structure#2ON3, Examples (example)

History

2026-11-02: add by m2/dev

rational points of twisted $\Z/p^2$-curves 4TY0GNY7H4

URI	`m2://inv/4TY0GNY7H4`
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.09298#W5ZP, rational points of twisted $\Z/p^2$-curves (statement). In 1SPQ4J3AWY/e1, proposition 6.1

History

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

Generalizations 4TY5ZQ13HY

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

Mentions

wikipedia: Wikipedia First Hardy–Littlewood conjecture#NV3E, Generalizations (statement)

History

2026-11-02: add by m2/dev

Michel Kervaire 4TYMR84YN3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4MXH, Michel Kervaire (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RFO8, Michel Kervaire (topic)

History

2026-11-02: add by m2/dev

ham sandwich theorem 4TYQB67TH3

URI	`m2://inv/4TYQB67TH3`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	open
Node	Ham sandwich theorem GDXX60SNG5

Mentions

mathlib_1000: mathlib_1000 Q730222, Ham sandwich theorem (statement). Also Wikidata Q730222
thousand_plus: thousand_plus Q730222, Ham sandwich theorem (statement). Also Wikidata Q730222, Wikipedia Ham sandwich theorem, Wikipedia Stone–Tukey theorem
wikidata: Wikidata Q730222, ham sandwich theorem (statement). Also MathWorld HamSandwichTheorem
wikipedia: Wikipedia Ham sandwich theorem, Ham sandwich theorem (statement). Also Wikidata Q730222

History

2026-10-26: add by m2/dev

Brane cosmology 4TYT52ZD1D

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

Mentions

wikipedia: Wikipedia List of string theory topics#6FZJ, Brane cosmology (unknown)

History

2026-11-02: add by m2/dev

4TZ0Q98780 4TZ0Q98780

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

Mentions

arxiv: arXiv 2609.37931#0DTY (statement). In J8C1EXQW86/e1, theorem 2.6

History

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

Local Tate duality 4TZ33QDWAN

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

Mentions

wikipedia: Wikipedia List of dualities#HLJR, Local Tate duality (definition)

History

2026-11-02: add by m2/dev

4TZ7GSEVXC 4TZ7GSEVXC

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

Mentions

arxiv: arXiv 2610.10365#P86F (statement). In PRVQPSBVHK/e1, lemma 20

History

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

Error caused by displaced switches 4TZ819AK21

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

Mentions

arxiv: arXiv 2610.21991#I0T9, Error caused by displaced switches (statement). In KRBDK9J44X/e1, proposition 6.1

History

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

4TZ8BJ38C9 4TZ8BJ38C9

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

Mentions

arxiv: arXiv 2610.18242#LMXC (example). In VVC2FHQZZR/e1, example 6.3

History

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

Definition 4TZQ60AQEN

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

Mentions

wikipedia: Wikipedia Doob's h-transform#X7RG, Definition (definition)

History

2026-11-02: add by m2/dev

The sector $k=1$ 4TZRXTN87H

URI	`m2://inv/4TZRXTN87H`
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.26152#UDMD, The sector $k=1$ (statement)

History

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

Gene Grabeel 4TZY9V0KJW

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

Mentions

wikipedia: Wikipedia Gene Grabeel, Gene Grabeel (topic). Also Wikidata Q30504067

History

2026-11-02: add by m2/dev

4TZZEKNEA4 4TZZEKNEA4

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

Mentions

arxiv: arXiv 2609.30579#A9FF (statement). In FDYZFDHZH9/e1, lemma 4.2

History

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