Inventory rows 5S

5S00SHH5FK 5S00SHH5FK

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

Mentions

arxiv: arXiv 2610.18302#D4EM (statement). In VJTRH1S4JA/e1, proposition 2.20

History

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

small dodecahemicosacron 5S02JSWT6Y

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

Mentions

wikidata: Wikidata Q7543042, small dodecahemicosacron (unknown). Also MathWorld SmallDodecahemicosacron
wikipedia: Wikipedia Small dodecahemicosacron, Small dodecahemicosacron (object). Also Wikidata Q7543042

History

2026-10-26: add by m2/dev

Jan Rusinek 5S0GRWQJQG

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

Mentions

wikipedia: Wikipedia Jan Rusinek, Jan Rusinek (topic). Also Wikidata Q728679

History

2026-11-02: add by m2/dev

5S0R4CG3AS 5S0R4CG3AS

URI	`m2://inv/5S0R4CG3AS`
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.03081#C4RS (statement). In TX0H26X4VX/e1, corollary 8.22

History

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

Korteweg–De Vries equation 5S101A4MBX

URI	`m2://inv/5S101A4MBX`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Korteweg–De Vries equation KTT75QC72Z

Mentions

wikidata: Wikidata Q601796, Korteweg–De Vries equation (concept). Also EoM Korteweg-de_Vries_equation, MathWorld Korteweg-deVriesEquation
wikipedia: Wikipedia Korteweg–De Vries equation, Korteweg–De Vries equation (definition). Also Wikidata Q601796

History

2026-10-26: add by m2/dev

5S1AKCQKX1 5S1AKCQKX1

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#problem-1 (exercise). In P1C114YBXG, problem, section K

History

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

5S1FG2X3FD 5S1FG2X3FD

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

Mentions

arxiv: arXiv 2610.14267#X8V7 (statement). In 9YTGFNA004/e1, theorem 3.6

History

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

Recovery of the nominal model 5S1HEE4CSS

URI	`m2://inv/5S1HEE4CSS`
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.11917#PF6N, Recovery of the nominal model (statement). In 7BB6PY94G9/e1, proposition 3

History

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

S-brane 5S1J87PT9S

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

Mentions

wikipedia: Wikipedia List of string theory topics#QR0H, S-brane (unknown)

History

2026-11-02: add by m2/dev

Hilbert space 5S1NDSP3AF

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

Mentions

wikipedia: Wikipedia List of group theory topics#TEY9, Hilbert space (definition)
wikipedia: Wikipedia List of vector spaces in mathematics#QEI1, Hilbert space (definition)
wikipedia: Wikipedia List of mathematical topics in quantum theory#V9H3, Hilbert space (definition)

History

2026-11-02: add by m2/dev

5S1PBTQ4AE 5S1PBTQ4AE

URI	`m2://inv/5S1PBTQ4AE`
Kind	conjecture
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 2409.20170#75B8 (conjecture). In QXJP79APHN/e1, conjecture 3.8

History

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

5S2MDKAF5B 5S2MDKAF5B

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-70 (exercise). In E59CDZA4DP, exercise, section 4.6.3

History

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

5S2S184P3J 5S2S184P3J

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

Mentions

arxiv: arXiv 2609.24325#7POA (statement)

History

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

Reflection 5S2S1JGE7F

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

Mentions

napkin: napkin tex/set-theory/models.tex#dproblem-2, Reflection (exercise). In RZP28ERRZV, dproblem, section 91.9

History

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

5S32KFWNM8 5S32KFWNM8

URI	`m2://inv/5S32KFWNM8`
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.12683#8V62 (statement). In N5ZFFWV3RX/e1, proposition 5.9

History

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

5S36ZXBRZ8 5S36ZXBRZ8

URI	`m2://inv/5S36ZXBRZ8`
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.13618#6FJM (statement). In XDQAEGH345/e1, lemma 3.6

History

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

5S3CZTZEKY 5S3CZTZEKY

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

Mentions

arxiv: arXiv 2610.11545#F7EV (statement). In VN084GGZGK/e1, proposition 5.22

History

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

5S3DFCS0DK 5S3DFCS0DK

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

Mentions

arxiv: arXiv 2610.05232#WXB2 (definition). In DA3VN96YX2/e1, definition 1.3

History

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

Wardrop's second principle 5S3EXDXB5H

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

Mentions

wikipedia: Wikipedia Wardrop equilibrium#RFRX, Wardrop's second principle (statement)

History

2026-11-02: add by m2/dev

Compressive member 5S3F9F3M1B

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

Mentions

wikipedia: Wikipedia Buckling#KU0X, Compressive member (unknown)

History

2026-11-02: add by m2/dev

5S3HP5NMES 5S3HP5NMES

URI	`m2://inv/5S3HP5NMES`
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 2609.25915#QLFV (definition)

History

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

5S3WP7HDB1 5S3WP7HDB1

URI	`m2://inv/5S3WP7HDB1`
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.18101#TOQ7 (statement). In XXN6KKXPYF/e1, theorem 9.11

History

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

Special cases 5S40NJXECQ

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

Mentions

wikipedia: Wikipedia Summation#XKVF, Special cases (statement)

History

2026-11-02: add by m2/dev

Invariance and distributed optimization on trees 5S43RXNAZG

URI	`m2://inv/5S43RXNAZG`
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.20031#8AC9, Invariance and distributed optimization on trees (statement)

History

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

Global truncation forces right maximal orthogonality 5S47JM6VTS

URI	`m2://inv/5S47JM6VTS`
Kind	statement
Layer	research
MSC	18-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.34289#BGE9, Global truncation forces right maximal orthogonality (statement). In 9RBATD2Z1F/e1, corollary 3.4

History

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

Examples 5S49YG0EXP

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

Mentions

wikipedia: Wikipedia Algebraic torus#DML3, Examples (example)

History

2026-11-02: add by m2/dev

Definitions 5S4D84D0XZ

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

Mentions

wikipedia: Wikipedia K-theory#2JMC, Definitions (definition)

History

2026-11-02: add by m2/dev

5S4GPHWDY4 5S4GPHWDY4

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

Mentions

arxiv: arXiv 2609.35404#TZ9G (unknown). In DH84PYVRCF/e1, unknown 2.1.2

History

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

Snub apeiroapeirogonal tiling 5S4MJXC8TA

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

Mentions

wikipedia: Wikipedia Snub apeiroapeirogonal tiling, Snub apeiroapeirogonal tiling (object). Also Wikidata Q7548782

History

2026-11-02: add by m2/dev

5S4P234PV3 5S4P234PV3

URI	`m2://inv/5S4P234PV3`
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.22263#NNKG (statement)

History

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

Face configuration 5S4T45BS5N

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

Mentions

wikipedia: Wikipedia Vertex configuration#Q18V, Face configuration (unknown)

History

2026-11-02: add by m2/dev

Counterexamples 5S4TFYB7RH

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

Mentions

wikipedia: Wikipedia Lie–Palais theorem#IGWD, Counterexamples (counterexample)

History

2026-11-02: add by m2/dev

5S4YTKC186 5S4YTKC186

URI	`m2://inv/5S4YTKC186`
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.01225#JSTD (statement). In MFR807V4YG/e1, theorem 4.2

History

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

5S4Z1D4H54 5S4Z1D4H54

URI	`m2://inv/5S4Z1D4H54`
Kind	statement
Layer	research
MSC	13-XX, 16-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.14060#ZQHW (statement). In X47RYAZF8P/e1, lemma 6.15

History

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

5S52KWXCK0 5S52KWXCK0

URI	`m2://inv/5S52KWXCK0`
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.33421#FYEG (statement). In YMVA1SJ640/e1, corollary 5.3

History

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

Third-order expansion 5S52XDPD9X

URI	`m2://inv/5S52XDPD9X`
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.10813#MZX7, Third-order expansion (statement). In G8F4P7GDMA/e1, lemma 5.1

History

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

5S55EQX3FZ 5S55EQX3FZ

URI	`m2://inv/5S55EQX3FZ`
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.11905#C2M2 (statement). In QQFXT31CA5/e1, proposition 8.7

History

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

William Arthur Kirk 5S5708Z0BF

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

Mentions

wikipedia: Wikipedia William Arthur Kirk, William Arthur Kirk (topic). Also Wikidata Q972998

History

2026-11-02: add by m2/dev

5S59K6J0ZS 5S59K6J0ZS

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

Mentions

arxiv: arXiv 2609.33469#XAVP (statement). In TC5QA4AB4Z/e1, corollary 4.46

History

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

COCONUT98 5S5A0NXA71

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

Mentions

wikipedia: Wikipedia COCONUT98, COCONUT98 (definition). Also Wikidata Q3648824

History

2026-11-02: add by m2/dev

5S5ARJ3TG5 5S5ARJ3TG5

URI	`m2://inv/5S5ARJ3TG5`
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.12479#PFC9 (statement). In WE001PR75Z/e1, theorem 24

History

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

5S5BHD0RJV 5S5BHD0RJV

URI	`m2://inv/5S5BHD0RJV`
Kind	definition
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.36622#PCEV (definition). In 9704QPRPR6/e1, definition 3.13

History

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

Symbolic language 5S5GE58B9N

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

Mentions

wikipedia: Wikipedia Symbolic language (mathematics), Symbolic language (definition). Also Wikidata Q65085465

History

2026-11-02: add by m2/dev

fundamental 5S5HWDG8KC

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#OZYD, fundamental (definition)

History

2026-11-02: add by m2/dev

\textbf{Boundary layers on the top and right edges 5S5NN96AXS

URI	`m2://inv/5S5NN96AXS`
Kind	example
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.29185#I732, \textbf{Boundary layers on the top and right edges (example)

History

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

Samworth, Richard 5S5PP55FCT

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

Mentions

wikipedia: Wikipedia List of statisticians#2S85, Samworth, Richard (topic)

History

2026-11-02: add by m2/dev

5S5T2587S6 5S5T2587S6

URI	`m2://inv/5S5T2587S6`
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 1002.0879#AO9A (statement). In M0SQY5EZN5/e1, lemma 2.8.3

History

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

5S5W0WVPGD 5S5W0WVPGD

URI	`m2://inv/5S5W0WVPGD`
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 math/9201244#6G64 (definition). In 7D3HCN21MK/e1, definition 2.8

History

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

Localization 5S5ZEZSPZH

URI	`m2://inv/5S5ZEZSPZH`
Kind	statement
Layer	research
MSC	11-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.37368#9ILS, Localization (statement). In FRMCKEGVJZ/e1, lemma 1

History

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

Dedekind 5S617SV6FE

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#ABUE, Dedekind (definition)

History

2026-11-02: add by m2/dev

5S625NZ7YD 5S625NZ7YD

URI	`m2://inv/5S625NZ7YD`
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.05193#PZO1 (statement). In XDMM0KNNZ9/e1, theorem 66

History

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

Statement of the inequality 5S64Y78AXM

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

Mentions

wikipedia: Wikipedia Minkowski's first inequality for convex bodies#NZKO, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

Ebbe 5S664XPX4M

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

Mentions

wikipedia: Wikipedia List of twin teammates in sports#RFGH, Ebbe (unknown)

History

2026-11-02: add by m2/dev

Examples 5S677AQM1D

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

Mentions

wikipedia: Wikipedia Benford's law#QT27, Examples (example)

History

2026-11-02: add by m2/dev

Hardness of incumbent improvement 5S67RWBXM1

URI	`m2://inv/5S67RWBXM1`
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.02528#BDQV, Hardness of incumbent improvement (statement). In 5FQHVY6RXK/e1, theorem 1

History

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

Localized Bourgain--Dyatlov estimate 5S6JWN5SVQ

URI	`m2://inv/5S6JWN5SVQ`
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 2610.17276#O757, Localized Bourgain--Dyatlov estimate (statement). In GG14QF0JKJ/e1, lemma 3.6

History

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

Norbert Ryska 5S6V14NH1J

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

Mentions

wikipedia: Wikipedia Norbert Ryska, Norbert Ryska (topic). Also Wikidata Q95904255

History

2026-11-02: add by m2/dev

Theorem 5S7210HC8C

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

Mentions

wikipedia: Wikipedia Hausdorff dimension#139P, Theorem (statement)

History

2026-11-02: add by m2/dev

upper bound 5S76R4K77R

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

Mentions

wikipedia: Wikipedia Glossary of set theory#JSBZ, upper bound (definition)

History

2026-11-02: add by m2/dev

Quantitative finite-type data 5S7BQ74EPB

URI	`m2://inv/5S7BQ74EPB`
Kind	definition
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.20643#RGKO, Quantitative finite-type data (definition)

History

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

5S7HX0Y4MS 5S7HX0Y4MS

URI	`m2://inv/5S7HX0Y4MS`
Kind	statement
Layer	research
MSC	35-XX, 49-XX, 62-XX, 65-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.35574#GJOR (statement). In 3Q70DMD7Z7/e1, lemma 4.1

History

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

5S7N406C0T 5S7N406C0T

URI	`m2://inv/5S7N406C0T`
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.24408#6AA0 (statement)

History

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

strictly decreasing function 5S7N7FCNHD

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

Mentions

wikidata: Wikidata Q78056160, strictly decreasing function (unknown). Also MathWorld StrictlyDecreasingFunction

History

2026-10-26: add by m2/dev

Freudenthal-Hopf theorems 5S7RSAA3H0

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

Mentions

wikipedia: Wikipedia Stallings theorem about ends of groups#HIYR, Freudenthal-Hopf theorems (statement)

History

2026-11-02: add by m2/dev

intermediate value theorem 5S7VRZQNC8

URI	`m2://inv/5S7VRZQNC8`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	7
Outcome	node (a node has the same Wikidata item as the row)
Node	Intermediate value theorem 00KAFBR32E

Mentions

mathlib_100: mathlib_100 79, The Intermediate Value Theorem (statement). Also Mathlib intermediate_value_Icc
mathlib_1000: mathlib_1000 Q245098, Intermediate value theorem (statement). Also Mathlib intermediate_value_Icc, Wikidata Q245098
mathlib_1000: mathlib_1000 Q245098X, Bolzano's theorem (statement). Also Wikidata Q245098
mathlib_overview: mathlib_overview Topology > Topological algebra > intermediate value theorem, intermediate value theorem (unknown). Also Mathlib intermediate_value_Icc
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > intermediate value theorem, intermediate value theorem (unknown). Also Mathlib intermediate_value_Icc
thousand_plus: thousand_plus Q245098, Intermediate value theorem (statement). Also Mathlib intermediate_value_Icc, Wikidata Q245098, Wikipedia Intermediate value theorem
thousand_plus: thousand_plus Q245098X, Bolzano's theorem (statement). Also Wikidata Q245098, Wikipedia Bolzano's theorem
wikidata: Wikidata Q245098, intermediate value theorem (statement). Also Mathlib intermediate_value_Icc, MathWorld IntermediateValueTheorem, nLab intermediate value theorem, ProofWiki Intermediate_Value_Theorem
wikipedia: Wikipedia Intermediate value theorem, Intermediate value theorem (statement). Also Wikidata Q245098

History

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

Monus 5S7W2KEMPZ

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

Mentions

wikipedia: Wikipedia Monus, Monus (definition). Also Wikidata Q6906971

History

2026-11-02: add by m2/dev

Central composite design 5S7XHTA7PD

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

Mentions

wikipedia: Wikipedia List of statistics articles#5DFG, Central composite design (definition)

History

2026-11-02: add by m2/dev

\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L199}{\Verb|pair\_of\_sum\_natAbs\_lt| 5S7ZHKKK8G

URI	`m2://inv/5S7ZHKKK8G`
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.16323#KA52, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L199}{\Verb|pair\_of\_sum\_natAbs\_lt| (statement). In E215DFNY09/e1, corollary Corollary

History

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

5S888CAHTF 5S888CAHTF

URI	`m2://inv/5S888CAHTF`
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.04709#2QNH (definition). In 9J260W15RY/e1, definition 2

History

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

5S8CPWYBGF 5S8CPWYBGF

URI	`m2://inv/5S8CPWYBGF`
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.17875#EYV8 (statement). In AQX7DGD360/e1, corollary 5.11

History

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

5S8JWDRSRT 5S8JWDRSRT

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

Mentions

arxiv: arXiv 2609.38126#8U6A (statement). In QNVKW32G02/e1, corollary

History

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

5S8M4HC47P 5S8M4HC47P

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

Mentions

arxiv: arXiv 2609.24131#93JG (statement)

History

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

5S8N4Z5N90 5S8N4Z5N90

URI	`m2://inv/5S8N4Z5N90`
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.06707#MNSY (statement). In 9TR5E527P5/e1, theorem

History

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

Scene statistics 5S8NWNJ7SB

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

Mentions

wikipedia: Wikipedia Scene statistics, Scene statistics (topic). Also Wikidata Q7430757

History

2026-11-02: add by m2/dev

5S960DHNGZ 5S960DHNGZ

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

Mentions

arxiv: arXiv 2610.04870#7YXB (definition). In X765ZXXVC3/e1, definition 2.25

History

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

Quasi-arithmetic mean 5S98FCTJQ3

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

Mentions

wikipedia: Wikipedia List of real analysis topics#BESH, Quasi-arithmetic mean (definition)

History

2026-11-02: add by m2/dev

Magnetic field line 5S994E6PK3

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

Mentions

wikipedia: Wikipedia Field line#O22G, Magnetic field line (unknown)

History

2026-11-02: add by m2/dev

5S9AWZEGRC 5S9AWZEGRC

URI	`m2://inv/5S9AWZEGRC`
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.21489#E2IM (statement). In R0Q0RV8XCF/e1, theorem 3.1

History

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

Appell sequence 5S9CNY0SC5

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

Mentions

wikipedia: Wikipedia List of polynomial topics#36C7, Appell sequence (definition)

History

2026-11-02: add by m2/dev

5S9GG6WE61 5S9GG6WE61

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

Mentions

arxiv: arXiv 2610.07299#Z2I7 (definition). In M70KP0BZ99/e1, definition 4.4

History

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

5S9H5SB3MN 5S9H5SB3MN

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

Mentions

arxiv: arXiv 2609.25801#LFTA (statement)

History

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

Ronald Sugar 5S9K4YSTCD

URI	`m2://inv/5S9K4YSTCD`
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#EFGV, Ronald Sugar (unknown)

History

2026-11-02: add by m2/dev

5S9PDK571N 5S9PDK571N

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

Mentions

hott_book: hott_book setmath.tex#ex:ninf-ord (exercise). In N54F33XE07, ex, section C.5

History

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

radial patterns 5S9XHBBR3C

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

Mentions

arxiv: arXiv 2610.04000#KWM8, radial patterns (statement). In CBCCH5VTMQ/e1, theorem 2.3

History

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

Khairulla Murtazin 5SA9DPG65Z

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

Mentions

wikipedia: Wikipedia Khairulla Murtazin, Khairulla Murtazin (topic). Also Wikidata Q18166598

History

2026-11-02: add by m2/dev

Generalized Cohen–Macaulay ring 5SADGW7BTH

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

Mentions

wikipedia: Wikipedia Generalized Cohen–Macaulay ring, Generalized Cohen–Macaulay ring (definition). Also Wikidata Q65063447

History

2026-11-02: add by m2/dev

History of large numbers 5SAHJ4P799

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

Mentions

wikipedia: Wikipedia History of large numbers, History of large numbers (definition). Also Wikidata Q5868065

History

2026-11-02: add by m2/dev

classifying map interpretation 5SAQCK0F2M

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

Mentions

arxiv: arXiv 2610.15099#V84W, classifying map interpretation (statement). In PF5JJ9DS8Q/e1, proposition 2.4.10

History

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

Examples 5SB3AZ16K2

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

Mentions

wikipedia: Wikipedia Young function#TIDG, Examples (example)

History

2026-11-02: add by m2/dev

Robert Schrader 5SBA7AE77M

URI	`m2://inv/5SBA7AE77M`
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 Q1432895, Robert Schrader (unknown). Also nLab Robert Schrader

History

2026-10-26: add by m2/dev

5SBBHWH4DW 5SBBHWH4DW

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

Mentions

napkin: napkin tex/topology/top-more.tex#definition-11 (definition). In RZP28ERRZV, definition, section 101.7

History

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

NP-hard 5SBEG5B4PC

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

Mentions

wikidata: Wikidata Q1137554, NP-hard (unknown). Also MathWorld NP-HardProblem
wikipedia: Wikipedia NP-hardness, NP-hardness (definition). Also Wikidata Q1137554

History

2026-10-26: add by m2/dev

Area under the curve (receiver operating characteristic) 5SBQ79SHKE

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

Mentions

wikipedia: Wikipedia Receiver operating characteristic#IPVF, Area under the curve (receiver operating characteristic) (unknown)

History

2026-11-02: add by m2/dev

Generalization 5SBTBCBY6B

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

Mentions

wikipedia: Wikipedia Horn-satisfiability#U888, Generalization (statement)

History

2026-11-02: add by m2/dev

5SC1BYKSJB 5SC1BYKSJB

URI	`m2://inv/5SC1BYKSJB`
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 2307.16868#LD3S (statement). In H1BA0DYXA1/e1, proposition 1.2

History

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

Cauchy surface 5SCEDTN2S3

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#H8ZH, Cauchy surface (definition)

History

2026-11-02: add by m2/dev

5SCFFTFQ33 5SCFFTFQ33

URI	`m2://inv/5SCFFTFQ33`
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#JJIN (statement). In V5WGBGKYXN/e1, corollary 2.8.2

History

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

5SCJH6Z5Y9 5SCJH6Z5Y9

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

Mentions

arxiv: arXiv 2609.33590#MAPI (statement). In WRE0P7V6Z3/e1, theorem 1.2

History

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

5SCV1AGZ1W 5SCV1AGZ1W

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

Mentions

arxiv: arXiv 2610.16203#HC14 (statement). In 43TBS9P2PX/e1, lemma 6.4

History

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

Botdrops 5SCVR4KYN5

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

Mentions

wikipedia: Wikipedia Topswops#Y679, Botdrops (unknown)

History

2026-11-02: add by m2/dev

Clément Servais 5SCWXGBY18

URI	`m2://inv/5SCWXGBY18`
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#15KQ, Clément Servais (unknown)

History

2026-11-02: add by m2/dev

Head count ratio 5SD4HZP5FD

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

Mentions

wikipedia: Wikipedia Head count ratio, Head count ratio (definition). Also Wikidata Q689651

History

2026-11-02: add by m2/dev

Point plotting 5SD6FCFD16

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

Mentions

wikipedia: Wikipedia Point plotting, Point plotting (definition). Also Wikidata Q7208285

History

2026-11-02: add by m2/dev

5SDD5XE0KC 5SDD5XE0KC

URI	`m2://inv/5SDD5XE0KC`
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.11965#94WN (statement). In 48QX0QD0XR/e1, lemma 6.6

History

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

5SDHB84ZP0 5SDHB84ZP0

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

Mentions

arxiv: arXiv 2610.21675#YEMO (example). In TB1294GY5X/e1, example 3.1

History

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

Wavefunction 5SDTVK3SX5

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#E2F5, Wavefunction (definition)

History

2026-11-02: add by m2/dev

5SDX4H9WX4 5SDX4H9WX4

URI	`m2://inv/5SDX4H9WX4`
Kind	definition
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.20558#OBGN (definition). In 46370P3Y9S/e1, definition 4.3

History

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

statements, meaning of 5SDZH58VM8

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

Mentions

applied_combinatorics: applied_combinatorics index/3.3/statements-meaning-of, statements, meaning of (concept). In QKM9DD2H56, index, section 3.3

History

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

5SE68S3EMN 5SE68S3EMN

URI	`m2://inv/5SE68S3EMN`
Kind	definition
Layer	research
MSC	20-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.21080#ZIYG (definition). In DGE917KQSQ/e1, definition 6.2

History

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

Louis-Benjamin Francœur 5SE7D6NSDW

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

Mentions

wikipedia: Wikipedia Louis-Benjamin Francœur, Louis-Benjamin Francœur (topic). Also Wikidata Q323650

History

2026-11-02: add by m2/dev

5SE95PE04M 5SE95PE04M

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

Mentions

arxiv: arXiv 2205.15365#S8TL (unknown). In R2XC1SC9NZ/e1, unknown 18

History

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

5SE9FARVNS 5SE9FARVNS

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

Mentions

arxiv: arXiv 2610.14160#V6AB (statement). In Y4TP36M0C7/e1, lemma 19

History

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

Graph traversal 5SECJNG973

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

Mentions

wikipedia: Wikipedia Graph traversal, Graph traversal (definition). Also Wikidata Q907955

History

2026-11-02: add by m2/dev

5SEGEP3JNW 5SEGEP3JNW

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

Mentions

arxiv: arXiv 2610.00856#8KTA (problem). In W6VHD4QBY4/e1, problem 1.1

History

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

Margaret K. Butler 5SEJKSK53X

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

Mentions

wikipedia: Wikipedia Margaret K. Butler, Margaret K. Butler (topic). Also Wikidata Q18645695

History

2026-11-02: add by m2/dev

5SENAAPZ2Y 5SENAAPZ2Y

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#thm:sub (statement). In PKGMM3P5QY, thm, section 38.9

History

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

5SEPMEGS5G 5SEPMEGS5G

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

Mentions

arxiv: arXiv 2609.25495#YV3Y (statement)

History

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

5SERHS9VPK 5SERHS9VPK

URI	`m2://inv/5SERHS9VPK`
Kind	statement
Layer	research
MSC	05-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.33512#KHIZ (statement). In WYHZMYZT31/e1, lemma 3.1

History

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

Chachoengsao province 5SEXVWN90X

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

Mentions

wikipedia: Wikipedia List of places with numeric names#WJ47, Chachoengsao province (unknown)

History

2026-11-02: add by m2/dev

Corollary 5SEZZ17RNH

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

Mentions

wikipedia: Wikipedia Stein factorization#ZMCJ, Corollary (statement)

History

2026-11-02: add by m2/dev

Vivek Shende 5SF1K7HHE0

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

Mentions

wikipedia: Wikipedia Vivek Shende, Vivek Shende (topic). Also Wikidata Q121665762

History

2026-11-02: add by m2/dev

trivial subgroup 5SF78C77CF

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

Mentions

wikidata: Wikidata Q131513691, trivial subgroup (unknown). Also LMFDB knowl group.trivial_subgroup

History

2026-10-26: add by m2/dev

5SF7ZQWGB3 5SF7ZQWGB3

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

Mentions

arxiv: arXiv 1804.06366#8M93 (proof). In 89XYDVXG38/e1, proof

History

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

Pumping gadgets 5SFBG62V70

URI	`m2://inv/5SFBG62V70`
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.26114#TAAJ, Pumping gadgets (statement)

History

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

Igor Shafarevich 5SFFEYTCWW

URI	`m2://inv/5SFFEYTCWW`
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 Q710920, Igor Shafarevich (unknown). Also nLab Igor Shafarevich
wikipedia: Wikipedia Igor Shafarevich, Igor Shafarevich (topic). Also Wikidata Q710920

History

2026-10-26: add by m2/dev

5SFSH1GGXP 5SFSH1GGXP

URI	`m2://inv/5SFSH1GGXP`
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.29759#60PY (statement)

History

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

Definition 5SFTBCHY02

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

Mentions

wikipedia: Wikipedia Lie algebra cohomology#RJYJ, Definition (definition)

History

2026-11-02: add by m2/dev

5SFZV8ZJGF 5SFZV8ZJGF

URI	`m2://inv/5SFZV8ZJGF`
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 2610.06441#SCRD (definition). In YFJ62HWHVK/e1, definition 2.7

History

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

Properties 5SG16ZD3EQ

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

Mentions

wikipedia: Wikipedia Courant algebroid#OHG4, Properties (statement)

History

2026-11-02: add by m2/dev

Strong prior 5SG4YNWN2M

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

Mentions

wikipedia: Wikipedia List of statistics articles#HHKP, Strong prior (definition)

History

2026-11-02: add by m2/dev

Simon P. Norton 5SG5AQADEF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1S73, Simon P. Norton (topic)

History

2026-11-02: add by m2/dev

5SG664X87N 5SG664X87N

URI	`m2://inv/5SG664X87N`
Kind	statement
Layer	research
MSC	60-XX, 81-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.16267#1UQ3 (statement). In 65GKPZ15VH/e1, theorem Informal

History

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

Lebesgue's monotone convergence theorem 5SGDQBP1SM

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

Mentions

wikipedia: Wikipedia List of integration and measure theory topics#6AGQ, Lebesgue's monotone convergence theorem (statement)

History

2026-11-02: add by m2/dev

Message authentication code 5SGEQ4Z0X1

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

Mentions

wikipedia: Wikipedia List of algorithms#Z5US, Message authentication code (definition)

History

2026-11-02: add by m2/dev

5SGG10RYW2 5SGG10RYW2

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 58.7

History

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

Compact-scale comparison and balance 5SGMSN5ZHM

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

Mentions

arxiv: arXiv 2609.20042#6TZ6, Compact-scale comparison and balance (statement)

History

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

5SGSKQW75V 5SGSKQW75V

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

Mentions

arxiv: arXiv 2609.35597#46UC (statement). In K424GCJ50P/e1, theorem 1.1

History

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

5SGX2CC9FG 5SGX2CC9FG

URI	`m2://inv/5SGX2CC9FG`
Kind	statement
Layer	research
MSC	13-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 1001.1196#ZORF (statement). In BCB418GV9C/e1, theorem 2.3

History

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

5SGXX5DFA2 5SGXX5DFA2

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

Mentions

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

History

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

5SGY62K59J 5SGY62K59J

URI	`m2://inv/5SGY62K59J`
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 2610.11902#EORW (statement). In K66QKM4N5E/e1, theorem 3.8

History

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

divisor 5SH82G5SA7

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

Mentions

wikidata: Wikidata Q909669, divisor (unknown). Also nLab divisor (algebraic geometry)
wikipedia: Wikipedia Divisor (algebraic geometry), Divisor (definition). Also Wikidata Q909669

History

2026-10-26: add by m2/dev

Stefan Banach 5SH8XH255K

URI	`m2://inv/5SH8XH255K`
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 Q180217, Stefan Banach (unknown). Also nLab Stefan Banach, ProofWiki Mathematician:Stefan_Banach
wikipedia: Wikipedia Stefan Banach, Stefan Banach (topic). Also Wikidata Q180217

History

2026-10-26: add by m2/dev

5SHA1YMHWX 5SHA1YMHWX

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

Mentions

arxiv: arXiv 2609.25314#KP3O (statement)

History

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

Properties 5SHAZ5AVW4

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

Mentions

wikipedia: Wikipedia Omega constant#M34I, Properties (statement)

History

2026-11-02: add by m2/dev

Kernel gradient flow 5SHB1V98A4

URI	`m2://inv/5SHB1V98A4`
Kind	example
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 2604.23212#2OWY, Kernel gradient flow (example). In 4X12V9RS0D/e1, example 2

History

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

Measurable group 5SHEM2Y7JR

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

Mentions

wikipedia: Wikipedia Measurable group, Measurable group (definition). Also Wikidata Q55648296

History

2026-11-02: add by m2/dev

5SHJZ4303S 5SHJZ4303S

URI	`m2://inv/5SHJZ4303S`
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.24569#918H (statement)

History

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

Siegfried Gottwald 5SHRSGXBDZ

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

Mentions

wikipedia: Wikipedia Siegfried Gottwald, Siegfried Gottwald (topic). Also Wikidata Q105086

History

2026-11-02: add by m2/dev

5SHTWM89XZ 5SHTWM89XZ

URI	`m2://inv/5SHTWM89XZ`
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.07318#RN86 (statement). In JWQNSEXRNW/e1, corollary 2.3

History

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

Thomas Barker 5SHVXWJ0AF

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

Mentions

wikipedia: Wikipedia Thomas Barker (mathematician), Thomas Barker (topic). Also Wikidata Q15989825

History

2026-11-02: add by m2/dev

Properties 5SJ0ACMBKX

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

Mentions

wikipedia: Wikipedia Euclidean distance matrix#U6TN, Properties (statement)

History

2026-11-02: add by m2/dev

Instantaneous phase and frequency 5SJ49FNW60

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

Mentions

wikipedia: Wikipedia Instantaneous phase and frequency, Instantaneous phase and frequency (definition). Also Wikidata Q6038852

History

2026-11-02: add by m2/dev

Irving Segal 5SJ861GN37

URI	`m2://inv/5SJ861GN37`
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 Q381347, Irving Segal (unknown). Also nLab Irving Segal

History

2026-10-26: add by m2/dev

5SJC5KMQ39 5SJC5KMQ39

URI	`m2://inv/5SJC5KMQ39`
Kind	statement
Layer	research
MSC	20-XX, 22-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.32916#3DH4 (statement). In G1RP4JY5PE/e1, proposition 3.3.3

History

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

Examples 5SJHH1ST86

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

Mentions

wikipedia: Wikipedia Relation (mathematics)#EAQR, Examples (example)

History

2026-11-02: add by m2/dev

5SJKWZ53JV 5SJKWZ53JV

URI	`m2://inv/5SJKWZ53JV`
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.20466#3XUM (statement). In M4ZVJWM8YA/e1, corollary 5.20

History

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

Kenneth M. Golden 5SJQ0G32VJ

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

Mentions

wikipedia: Wikipedia Kenneth M. Golden, Kenneth M. Golden (topic). Also Wikidata Q29973293

History

2026-11-02: add by m2/dev

Jensen's theorem 5SJRG070N6

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

Mentions

wikidata: Wikidata Q16799603, Jensen's theorem (unknown). Also MathWorld JensensTheorem

History

2026-10-26: add by m2/dev

Hausdorff Medal 5SJS2WSJGS

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

Mentions

wikipedia: Wikipedia Hausdorff Medal, Hausdorff Medal (definition). Also Wikidata Q41510390

History

2026-11-02: add by m2/dev

5SJS9QKFBA 5SJS9QKFBA

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise:squareseriesconv (exercise). In E59CDZA4DP, exercise, section 10.5.7

History

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

5SJTP71HQ8 5SJTP71HQ8

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

Mentions

arxiv: arXiv 2610.08885#3TAF (statement). In B4RHB3CF12/e1, corollary 3.11

History

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

Tutte theorem 5SJYM3MGXT

URI	`m2://inv/5SJYM3MGXT`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Tutte's theorem 08J7R35B6Q

Mentions

mathlib_1000: mathlib_1000 Q510197, Tutte theorem (statement). Also Mathlib SimpleGraph.tutte, Wikidata Q510197
thousand_plus: thousand_plus Q510197, Tutte theorem (statement). Also Mathlib SimpleGraph.tutte, Wikidata Q510197, Wikipedia Tutte theorem
wikidata: Wikidata Q510197, Tutte theorem (statement). Also MathWorld TuttesTheorem
wikipedia: Wikipedia Tutte's theorem on perfect matchings, Tutte's theorem on perfect matchings (statement). Also Wikidata Q510197

History

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

5SJZTH0DTH 5SJZTH0DTH

URI	`m2://inv/5SJZTH0DTH`
Kind	statement
Layer	research
MSC	16-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.26417#HZO8 (statement)

History

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

Height dichotomy 5SK26VMX7S

URI	`m2://inv/5SK26VMX7S`
Kind	statement
Layer	research
MSC	11-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.37368#61OO, Height dichotomy (statement). In FRMCKEGVJZ/e1, theorem 6

History

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

Bicircular matroid 5SK6G05QSV

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

Mentions

wikipedia: Wikipedia Bicircular matroid, Bicircular matroid (definition). Also Wikidata Q4903641

History

2026-11-02: add by m2/dev

5SK92HETAE 5SK92HETAE

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

Mentions

arxiv: arXiv 2609.33841#QIP7 (statement). In 3CVQHT206K/e1, theorem 3.6

History

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

Computer Vision 5SKFVYF662

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

Mentions

wikipedia: Wikipedia List of algorithms#QX5B, Computer Vision (unknown)

History

2026-11-02: add by m2/dev

Raw minimum identity 5SKGBYH0CQ

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

Mentions

arxiv: arXiv 2609.20514#KSQ5, Raw minimum identity (statement)

History

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

Lee–Carter model 5SKJMV1SMW

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

Mentions

wikipedia: Wikipedia Lee–Carter model, Lee–Carter model (definition). Also Wikidata Q6516604

History

2026-11-02: add by m2/dev

Axioms 5SKKJ1Q830

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

Mentions

wikipedia: Wikipedia Polynomial conjoint measurement#9K8F, Axioms (statement)

History

2026-11-02: add by m2/dev

JMulTi 5SKN5698DX

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

Mentions

wikipedia: Wikipedia List of statistical software#RU2N, JMulTi (definition)

History

2026-11-02: add by m2/dev

Erlang B formula 5SKSA123W8

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

Mentions

wikipedia: Wikipedia Erlang (unit)#GW5Z, Erlang B formula (statement)

History

2026-11-02: add by m2/dev

Properties 5SKWQHSFPB

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

Mentions

wikipedia: Wikipedia Homotopy fiber#8BVP, Properties (statement)

History

2026-11-02: add by m2/dev

Antti Kupiainen 5SM0SFATQN

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

Mentions

wikipedia: Wikipedia Antti Kupiainen, Antti Kupiainen (topic). Also Wikidata Q609702

History

2026-11-02: add by m2/dev

Casey Mann 5SM6RG8WE5

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

Mentions

wikipedia: Wikipedia Casey Mann, Casey Mann (topic). Also Wikidata Q77029435

History

2026-11-02: add by m2/dev

Sergei Stepanov 5SM8F9C5Z9

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

Mentions

wikipedia: Wikipedia Sergei Stepanov (mathematician), Sergei Stepanov (topic). Also Wikidata Q1269213

History

2026-11-02: add by m2/dev

Variants 5SMK8RFE53

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

Mentions

wikipedia: Wikipedia ChaCha20-Poly1305#Y0K0, Variants (statement)

History

2026-11-02: add by m2/dev

Lucas cubic 5SMQ5AN6MF

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

Mentions

wikidata: Wikidata Q1963352, Lucas cubic (unknown). Also MathWorld LucasCubic

History

2026-10-26: add by m2/dev

5SN5T0EMCG 5SN5T0EMCG

URI	`m2://inv/5SN5T0EMCG`
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#C5T2 (statement)

History

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

D'Anton Lynn 5SNQHQXZYA

URI	`m2://inv/5SNQHQXZYA`
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#BUG1, D'Anton Lynn (unknown)

History

2026-11-02: add by m2/dev

Leon Bankoff 5SNS3PKWS7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#198B, Leon Bankoff (topic)

History

2026-11-02: add by m2/dev

L/l 5SNTE81818

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

Mentions

wikidata: Wikidata Q9927, L/l (unknown). Also ProofWiki Symbols:L

History

2026-10-26: add by m2/dev

Centripetal force 5SNVZ30MSE

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#845A, Centripetal force (unknown)

History

2026-11-02: add by m2/dev

5SNX82AQDY 5SNX82AQDY

URI	`m2://inv/5SNX82AQDY`
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.02893#BFRI (statement). In DQ9TAGM5XP/e1, proposition P1

History

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

Polarization constants 5SNXKRV4B5

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

Mentions

wikipedia: Wikipedia Polarization constants, Polarization constants (definition). Also Wikidata Q48996246

History

2026-11-02: add by m2/dev

5SNZHP7R68 5SNZHP7R68

URI	`m2://inv/5SNZHP7R68`
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.17717#PLPU (statement). In YXRKS451PK/e1, lemma 4.9

History

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

Relation to other axioms 5SP0414F3A

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

Mentions

wikipedia: Wikipedia Open coloring axiom#A6PQ, Relation to other axioms (statement)

History

2026-11-02: add by m2/dev

Hans Heinrich Bürmann 5SP1EWTS5Z

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

Mentions

wikipedia: Wikipedia Hans Heinrich Bürmann, Hans Heinrich Bürmann (topic). Also Wikidata Q5650131

History

2026-11-02: add by m2/dev

Spectrum continuation analysis 5SP27D6GV0

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

Mentions

wikipedia: Wikipedia List of statistics articles#I99B, Spectrum continuation analysis (definition)
wikipedia: Wikipedia List of Fourier analysis topics#ND4A, Spectrum continuation analysis (definition)

History

2026-11-02: add by m2/dev

Egyptian mathematics 5SP9DEVP74

URI	`m2://inv/5SP9DEVP74`
Kind	definition
Layer	textbook
MSC	01A16
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1330884, Egyptian mathematics (topic)
wikipedia: Wikipedia Ancient Egyptian mathematics, Ancient Egyptian mathematics (definition). Also Wikidata Q1330884

History

2026-10-26: add by m2/dev

Pseudometric 5SPF80PPZF

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

Mentions

wikipedia: Wikipedia Glossary of general topology#U0QR, Pseudometric (definition)

History

2026-11-02: add by m2/dev

Student's t-test 5SPPN99P8E

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

Mentions

wikipedia: Wikipedia List of statistics articles#2XL8, Student's t-test (definition)

History

2026-11-02: add by m2/dev

Social identity theory 5SPQZCJPWT

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

Mentions

wikipedia: Wikipedia Escalation of commitment#PDWW, Social identity theory (statement)

History

2026-11-02: add by m2/dev

5SPW7B4P3Q 5SPW7B4P3Q

URI	`m2://inv/5SPW7B4P3Q`
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#BY5O (statement)

History

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

Recursive construction in the $h$-direction 5SPZM9DA1S

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

Mentions

arxiv: arXiv 2609.25957#0GCQ, Recursive construction in the $h$-direction (definition)

History

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

Definition 5SQ05D1AYE

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

Mentions

wikipedia: Wikipedia Fractional wavelet transform#ZC0G, Definition (definition)

History

2026-11-02: add by m2/dev

5SQ0YMTFEX 5SQ0YMTFEX

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

Mentions

napkin: napkin tex/topology/metric-prop.tex#example-3 (example). In RZP28ERRZV, example, section 99.2

History

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

5SQ3531GXH 5SQ3531GXH

URI	`m2://inv/5SQ3531GXH`
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 2311.16252#LOWA (statement). In 8AHN9GSRMR/e1, corollary 5.3

History

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

Rocket City Math League 5SQEST891R

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

Mentions

wikipedia: Wikipedia Rocket City Math League, Rocket City Math League (definition). Also Wikidata Q7355097

History

2026-11-02: add by m2/dev

6th of October 5SQJBRZTKE

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

Mentions

wikipedia: Wikipedia List of places with numeric names#R58B, 6th of October (unknown)

History

2026-11-02: add by m2/dev

5SRAKVRQ3J 5SRAKVRQ3J

URI	`m2://inv/5SRAKVRQ3J`
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.26496#28GC (statement)

History

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

Kelvin's conjecture 5SRGMSC5X2

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

Mentions

wikipedia: Wikipedia List of conjectures#RAUQ, Kelvin's conjecture (definition)

History

2026-11-02: add by m2/dev

Wavelet packet decomposition 5SRHMPKQ0Y

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

Mentions

wikipedia: Wikipedia Wavelet packet decomposition, Wavelet packet decomposition (definition). Also Wikidata Q2736187

History

2026-11-02: add by m2/dev

5SRHVPB682 5SRHVPB682

URI	`m2://inv/5SRHVPB682`
Kind	statement
Layer	research
MSC	05-XX, 49-XX, 51-XX, 52-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.34845#ERZT (statement). In SBZNH932ZV/e1, lemma 4.8

History

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

Accretive resolvent 5SS2CYJT0K

URI	`m2://inv/5SS2CYJT0K`
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.29147#QRRO, Accretive resolvent (statement)

History

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

Benjamin Osgood Peirce 5SS53VNR01

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

Mentions

wikipedia: Wikipedia Benjamin Osgood Peirce, Benjamin Osgood Peirce (topic). Also Wikidata Q4889086

History

2026-11-02: add by m2/dev

5SS92S5NNT 5SS92S5NNT

URI	`m2://inv/5SS92S5NNT`
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 2610.22074#RSVC (definition). In F3BKXXPR3K/e1, definition B.5

History

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

5SSEXV99K4 5SSEXV99K4

URI	`m2://inv/5SSEXV99K4`
Kind	counterexample
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.04709#0O7M (counterexample). In 9J260W15RY/e1, counterexample 2

History

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

William Feller 5SSFB0M62J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#E15M, William Feller (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FFID, William Feller (topic)
wikipedia: Wikipedia List of fellows of the American Statistical Association#H9P2, William Feller (topic)

History

2026-11-02: add by m2/dev

Squared deviation from reference labels 5SSMMVDAQZ

URI	`m2://inv/5SSMMVDAQZ`
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 2609.32652#9201, Squared deviation from reference labels (definition). In 6KAZWJ8RFX/e1, definition 5.3

History

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

Monadic predicate calculus 5SSXBYC1X5

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

Mentions

wikipedia: Wikipedia Monadic predicate calculus, Monadic predicate calculus (definition). Also Wikidata Q6897882

History

2026-11-02: add by m2/dev

Generation Alpha in the United States 5ST3S6GCW6

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

Mentions

wikipedia: Wikipedia Generation Alpha#D4VC, Generation Alpha in the United States (unknown)

History

2026-11-02: add by m2/dev

5STCZF5W32 5STCZF5W32

URI	`m2://inv/5STCZF5W32`
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#70IM (statement). In AZMX0CY5NE/e1, lemma 14

History

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

Strictness on the Segre model 5STHN8T40B

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

Mentions

arxiv: arXiv 2610.00077#VI5N, Strictness on the Segre model (example). In C04B15GH1T/e1, example 3.9

History

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

5STNG83KZJ 5STNG83KZJ

URI	`m2://inv/5STNG83KZJ`
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.26776#PKOR (statement)

History

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

Definition 5STWF0CC50

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

Mentions

wikipedia: Wikipedia Category (mathematics)#F972, Definition (definition)

History

2026-11-02: add by m2/dev

Square knot (mathematics) 5SV4KM16B9

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

Mentions

wikipedia: Wikipedia List of mathematical knots and links#WKZ4, Square knot (mathematics) (definition)

History

2026-11-02: add by m2/dev

5SV89CVJNC 5SV89CVJNC

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-155 (exercise). In VNMV985MXX, exercise, section 2.6

History

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

Upper-antidiagonal attack criterion 5SVBP59R3S

URI	`m2://inv/5SVBP59R3S`
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.31336#K10R, Upper-antidiagonal attack criterion (statement). In 70RV7J456D/e1, proposition 13

History

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

5SVD7NPGYW 5SVD7NPGYW

URI	`m2://inv/5SVD7NPGYW`
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.20237#H5TI (statement)

History

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

Example 5SVH8K09K2

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

Mentions

wikipedia: Wikipedia Hasse–Arf theorem#KBKW, Example (example)

History

2026-11-02: add by m2/dev

tonk 5SVJH1H6F9

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

Mentions

wikipedia: Wikipedia Glossary of logic#IWKG, tonk (definition)

History

2026-11-02: add by m2/dev

5SVJZ45N82 5SVJZ45N82

URI	`m2://inv/5SVJZ45N82`
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#I7I1 (definition). In NE5EH5FXRV/e1, definition 4.1

History

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

5SVP915QYZ 5SVP915QYZ

URI	`m2://inv/5SVP915QYZ`
Kind	statement
Layer	research
MSC	60-XX, 81-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.16267#KCOP (statement). In 65GKPZ15VH/e1, proposition 3.4

History

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

5SVQA89YAF 5SVQA89YAF

URI	`m2://inv/5SVQA89YAF`
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.06868#DTYT (statement). In TV73V5E7JV/e1, theorem 3.5

History

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

Weyl's theorem on complete reducibility 5SVQZ30CQJ

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

Mentions

wikipedia: Wikipedia Weyl's theorem on complete reducibility, Weyl's theorem on complete reducibility (statement). Also Wikidata Q17037933

History

2026-11-02: add by m2/dev

Margaret Sullivan Pepe 5SVTGA9YVT

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

Mentions

wikipedia: Wikipedia Margaret Sullivan Pepe, Margaret Sullivan Pepe (topic). Also Wikidata Q94017300

History

2026-11-02: add by m2/dev

Goldman equation 5SVZWXRP9R

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

Mentions

wikipedia: Wikipedia Goldman equation, Goldman equation (definition). Also Wikidata Q1535911

History

2026-11-02: add by m2/dev

5SW24PNGCH 5SW24PNGCH

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

Mentions

arxiv: arXiv 2201.04174#UAOX (statement). In NVTHDNQQ4Q/e1, theorem 1.2

History

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

How to Lie with Statistics 5SW5R078ZS

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

Mentions

wikipedia: Wikipedia How to Lie with Statistics, How to Lie with Statistics (definition). Also Wikidata Q3854758

History

2026-11-02: add by m2/dev

Fisher separation theorem 5SWCG8S1MJ

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

Mentions

mathlib_1000: mathlib_1000 Q488541, Fisher separation theorem (statement). Also Wikidata Q488541
thousand_plus: thousand_plus Q488541, Fisher separation theorem (statement). Also Wikidata Q488541, Wikipedia Fisher separation theorem
wikipedia: Wikipedia Fisher separation theorem, Fisher separation theorem (statement). Also Wikidata Q488541

History

2026-10-26: add by m2/dev

Column runs and gaps 5SWMY86XD8

URI	`m2://inv/5SWMY86XD8`
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.31336#5AIG, Column runs and gaps (statement). In 70RV7J456D/e1, corollary 20

History

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

5SWYRH3W2Y 5SWYRH3W2Y

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

Mentions

arxiv: arXiv 2609.23994#0GOF (definition)

History

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

c.f. 5SX0ZFDRHZ

URI	`m2://inv/5SX0ZFDRHZ`
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.36078#T2E3, c.f. (statement). In MVKXS0Q6XN/e1, theorem

History

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

Computational learning theory 5SX3W7TBNM

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

Mentions

wikipedia: Wikipedia List of statistics articles#LRXX, Computational learning theory (topic)

History

2026-11-02: add by m2/dev

Ensemble means and probability bounds 5SX8WP1TAV

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

Mentions

arxiv: arXiv 2610.16351#N9RB, Ensemble means and probability bounds (statement). In 1QSV7EQE3T/e1, corollary S27

History

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

Savage, I. Richard 5SXBX5F03K

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

Mentions

wikipedia: Wikipedia List of statisticians#58Y8, Savage, I. Richard (topic)

History

2026-11-02: add by m2/dev

5SXK373RCC 5SXK373RCC

URI	`m2://inv/5SXK373RCC`
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.15472#LHHI (statement). In 5Z3FH46YSY/e1, lemma 4.5

History

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

5SXMSA5YYC 5SXMSA5YYC

URI	`m2://inv/5SXMSA5YYC`
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 2207.12181#4A0R (statement). In FSD8NE3XSR/e1, proposition 5.6

History

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

Buchholz psi functions 5SXQMWDD1X

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

Mentions

wikipedia: Wikipedia Buchholz psi functions, Buchholz psi functions (definition). Also Wikidata Q48996114

History

2026-11-02: add by m2/dev

black chess piece 5SXWYQ3MT3

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

Mentions

wikidata: Wikidata Q54933456, black chess piece (definition). Also ProofWiki Definition:Chess/Player/Black

History

2026-10-26: add by m2/dev

5SY9D6V9R6 5SY9D6V9R6

URI	`m2://inv/5SY9D6V9R6`
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.10545#UW7T (statement). In ZA75D59G8K/e1, corollary 5.2

History

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

Cho et al.\ , Theorem 2.5 5SYK4D3EH1

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

Mentions

arxiv: arXiv 2610.20849#X9TQ, Cho et al.\ , Theorem 2.5 (statement). In HK7FV97MFD/e1, lemma 4.4

History

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

5SYK5TW8XD 5SYK5TW8XD

URI	`m2://inv/5SYK5TW8XD`
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 1011.5380#QE88 (statement). In GCWK07YZJZ/e1, proposition 3.2

History

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

5SYKHV5EHM 5SYKHV5EHM

URI	`m2://inv/5SYKHV5EHM`
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.15472#SOAG (statement). In 5Z3FH46YSY/e1, lemma 3.21

History

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

5SYRBCBEE6 5SYRBCBEE6

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

Mentions

wikipedia: Wikipedia Moser's worm problem#FXSK (problem)

History

2026-11-02: add by m2/dev

Jean-Yves Jaffray 5SYT862VFK

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

Mentions

wikipedia: Wikipedia Jean-Yves Jaffray, Jean-Yves Jaffray (topic). Also Wikidata Q22911684

History

2026-11-02: add by m2/dev

5SYVZ5T9PP 5SYVZ5T9PP

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

Mentions

arxiv: arXiv 2610.06152#HVWV (statement). In HH35K7S17H/e1, theorem 3.15

History

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

5SYW3780G6 5SYW3780G6

URI	`m2://inv/5SYW3780G6`
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.15313#6JC7 (statement). In KWKY1CWG1Z/e1, proposition 2.1

History

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