Inventory rows 2B

2B05JT09MV 2B05JT09MV

URI	`m2://inv/2B05JT09MV`
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.11120#4HW1 (statement). In KCY80F2YGP/e1, lemma 4

History

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

accessibility 2B0CCVXCJ6

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

Mentions

hott_book: hott_book index/C.3/accessibility, accessibility (concept). In N54F33XE07, index, section C.3

History

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

Stopped process 2B0K1PPT9D

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

Mentions

wikipedia: Wikipedia List of statistics articles#B98A, Stopped process (definition)

History

2026-11-02: add by m2/dev

Cao et al.\ 2B0NR8D0FB

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

Mentions

arxiv: arXiv 2610.21097#J1XH, Cao et al.\ (conjecture). In Y1KA940FPZ/e1, conjecture 1

History

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

Leopold Löwenheim 2B0T1AJAPF

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#T9H4, Leopold Löwenheim (topic)

History

2026-11-02: add by m2/dev

Orthomodular lattice 2B0VY68Q28

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

Mentions

wikipedia: Wikipedia Complemented lattice#5G2J, Orthomodular lattice (unknown)

History

2026-11-02: add by m2/dev

Hsiung, Chao Agnes 2B0X89N1CQ

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

Mentions

wikipedia: Wikipedia List of statisticians#UK4Y, Hsiung, Chao Agnes (unknown)

History

2026-11-02: add by m2/dev

2B15QYTQGG 2B15QYTQGG

URI	`m2://inv/2B15QYTQGG`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-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.01694#2VG8 (statement). In EBMHYN0XK9/e1, lemma 4.13

History

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

Uncertainty coefficient 2B1CYHPWYF

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

Mentions

wikipedia: Wikipedia Uncertainty coefficient, Uncertainty coefficient (definition). Also Wikidata Q7882493

History

2026-11-02: add by m2/dev

2B1N2ZD37C 2B1N2ZD37C

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

Mentions

arxiv: arXiv 2310.06695#SA5J (statement). In D6F8XGF5SS/e1, proposition 3.1

History

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

Cohen–Daubechies–Feauveau wavelet 2B1NPCJCGF

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

Mentions

wikipedia: Wikipedia Cohen–Daubechies–Feauveau wavelet, Cohen–Daubechies–Feauveau wavelet (definition). Also Wikidata Q1107064

History

2026-11-02: add by m2/dev

2B1QPZSVC6 2B1QPZSVC6

URI	`m2://inv/2B1QPZSVC6`
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#OWKK (definition). In YFJ62HWHVK/e1, definition 2.4

History

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

Adegoke Olubummo 2B1Z6QFHF0

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

Mentions

wikipedia: Wikipedia Adegoke Olubummo, Adegoke Olubummo (topic). Also Wikidata Q11051763

History

2026-11-02: add by m2/dev

2B21VJH7FV 2B21VJH7FV

URI	`m2://inv/2B21VJH7FV`
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.27152#VDSP (statement)

History

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

Ernst Zermelo 2B23KCMQDX

URI	`m2://inv/2B23KCMQDX`
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 Q57248, Ernst Zermelo (unknown). Also nLab Ernst Zermelo, ProofWiki Mathematician:Ernst_Friedrich_Ferdinand_Zermelo
wikipedia: Wikipedia Ernst Zermelo, Ernst Zermelo (topic). Also Wikidata Q57248

History

2026-10-26: add by m2/dev

Tangent bundle 2B2G1YYFVT

URI	`m2://inv/2B2G1YYFVT`
Kind	definition
Layer	research
MSC	18-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.26270#ZZDH, Tangent bundle (definition)

History

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

2B2KEMP8Q6 2B2KEMP8Q6

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

Mentions

arxiv: arXiv 2407.02022#KBWC (statement). In RZDNWV9E29/e1, lemma 2.17

History

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

2B2KV3NKNQ 2B2KV3NKNQ

URI	`m2://inv/2B2KV3NKNQ`
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.14979#9C9I (statement). In 6NH1VVZK1N/e1, theorem 1.2

History

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

2B2SS952PZ 2B2SS952PZ

URI	`m2://inv/2B2SS952PZ`
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.31604#CPMJ (statement). In GSN5YTQS2K/e1, lemma 1.24

History

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

List of theorems called fundamental 2B2XK4TKA9

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental, List of theorems called fundamental (topic). Also Wikidata Q430271

History

2026-11-02: add by m2/dev

2B385ASPJ1 2B385ASPJ1

URI	`m2://inv/2B385ASPJ1`
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.08104#R17W (statement). In AH6BX8RZTW/e1, theorem 1.13

History

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

2B3AEMXGSK 2B3AEMXGSK

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

Mentions

arxiv: arXiv 2609.20567#V24M (statement)

History

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

2B3PDDB3ZP 2B3PDDB3ZP

URI	`m2://inv/2B3PDDB3ZP`
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.26357#MU7W (statement)

History

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

HP 49/50 series 2B3R898WM5

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

Mentions

wikipedia: Wikipedia HP 49/50 series, HP 49/50 series (definition). Also Wikidata Q3338809

History

2026-11-02: add by m2/dev

2B3R9GX34B 2B3R9GX34B

URI	`m2://inv/2B3R9GX34B`
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.05708#2PZV (statement). In 3BJPFGJNSS/e1, lemma 2.2

History

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

Jill P. Mesirov 2B3RP7EFTZ

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

Mentions

wikipedia: Wikipedia Jill P. Mesirov, Jill P. Mesirov (topic). Also Wikidata Q19664665

History

2026-11-02: add by m2/dev

Algorithm 2B3TAJ2Y33

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

Mentions

wikipedia: Wikipedia Benson's algorithm (Go)#K9L3, Algorithm (definition)

History

2026-11-02: add by m2/dev

Observable-kernel error propagation 2B3YQEVSD6

URI	`m2://inv/2B3YQEVSD6`
Kind	statement
Layer	research
MSC	18-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.20207#VEPB, Observable-kernel error propagation (statement)

History

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

Eberhard's theorem 2B3YY0VAJA

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

Mentions

wikipedia: Wikipedia Eberhard's theorem, Eberhard's theorem (statement). Also Wikidata Q104854481

History

2026-11-02: add by m2/dev

Uriel Feige 2B41J6KB51

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

Mentions

wikipedia: Wikipedia Uriel Feige, Uriel Feige (topic). Also Wikidata Q92817

History

2026-11-02: add by m2/dev

Hamiltonian system 2B43DP8MYN

URI	`m2://inv/2B43DP8MYN`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Hamiltonian system 0C2AKPDCD9

Mentions

wikidata: Wikidata Q2072471, Hamiltonian system (unknown). Also MathWorld HamiltonianSystem
wikipedia: Wikipedia Hamiltonian system, Hamiltonian system (definition). Also Wikidata Q2072471

History

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

The interval is compact 2B450B8JJJ

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

Mentions

napkin: napkin tex/topology/compactness.tex#thm:interval_compact, The interval is compact (statement). In RZP28ERRZV, theorem, section 95.2

History

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

Torus fibres 2B48AKKRX0

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

Mentions

arxiv: arXiv 2609.20230#89ES, Torus fibres (statement)

History

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

Theorem 2B4GZXM62A

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

Mentions

wikipedia: Wikipedia Winding number#RNYM, Theorem (statement)

History

2026-11-02: add by m2/dev

2B4KRRFVMB 2B4KRRFVMB

URI	`m2://inv/2B4KRRFVMB`
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.00113#QKK8 (statement). In R9PP1Y2EP4/e1, theorem 3.3

History

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

Clara Grima 2B4MRH7W17

URI	`m2://inv/2B4MRH7W17`
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 Q27786458, Clara Grima (unknown). Also ProofWiki Mathematician:Clara_Isabel_Grima_Ruiz

History

2026-10-26: add by m2/dev

Feshbach–Fano partitioning 2B4QEB1HC0

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

Mentions

wikipedia: Wikipedia List of partition topics#KRRS, Feshbach–Fano partitioning (unknown)

History

2026-11-02: add by m2/dev

Interviewer effect 2B4VM3XQ64

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

Mentions

wikipedia: Wikipedia Interviewer effect, Interviewer effect (definition). Also Wikidata Q16962454

History

2026-11-02: add by m2/dev

4-uniform tiling 2B55BD44KC

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

Mentions

wikipedia: Wikipedia List of k-uniform tilings#NUVM, 4-uniform tiling (unknown)

History

2026-11-02: add by m2/dev

Epitome (image processing) 2B5KA9PSHE

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

Mentions

wikipedia: Wikipedia List of statistics articles#KDH4, Epitome (image processing) (unknown)

History

2026-11-02: add by m2/dev

2B5NAB0JF3 2B5NAB0JF3

URI	`m2://inv/2B5NAB0JF3`
Kind	example
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.22394#1LRN (example)

History

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

six exponentials theorem 2B5NSSA2N5

URI	`m2://inv/2B5NSSA2N5`
Kind	statement
Layer	textbook
MSC	11-XX, 60-XX, 81-XX
Sources	5
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10469#7V69, Six exponentials theorem (statement). In Q39BEKW6D9/e1, theorem 4.2
mathlib_1000: mathlib_1000 Q3527245, Six exponentials theorem (statement). Also Wikidata Q3527245
thousand_plus: thousand_plus Q3527245, Six exponentials theorem (statement). Also Wikidata Q3527245, Wikipedia Six exponentials theorem
wikidata: Wikidata Q3527245, six exponentials theorem (statement). Also MathWorld SixExponentialsTheorem
wikipedia: Wikipedia Six exponentials theorem, Six exponentials theorem (statement). Also Wikidata Q3527245

History

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

Near-optimal minimax complexity 2B5PYDSTJN

URI	`m2://inv/2B5PYDSTJN`
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.04944#4I0Z, Near-optimal minimax complexity (statement). In BHSY6QQCVK/e1, theorem 1

History

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

2B608Y7RGG 2B608Y7RGG

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-311 (exercise). In VNMV985MXX, exercise, section 6.8

History

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

Jacobian 2B69BJFX7B

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#7V7O, Jacobian (definition)

History

2026-11-02: add by m2/dev

Biryukov equation 2B6AGNDKT3

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

Mentions

wikipedia: Wikipedia Biryukov equation, Biryukov equation (definition). Also Wikidata Q28457166

History

2026-11-02: add by m2/dev

Weighted Bernoulli sampling 2B6BX1KR7H

URI	`m2://inv/2B6BX1KR7H`
Kind	statement
Layer	research
MSC	05-XX, 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 2609.20520#ACWQ, Weighted Bernoulli sampling (statement)

History

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

2B6N4T0GSB 2B6N4T0GSB

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

Mentions

hott_book: hott_book equivalences.tex#proof-22 (proof). In N54F33XE07, proof, section 3.7

History

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

2B6TGKJ68W 2B6TGKJ68W

URI	`m2://inv/2B6TGKJ68W`
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.20760#I7Z4 (statement). In 6G9JSJ5JMP/e1, corollary 25

History

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

Lagrange's theorem 2B6WNEQ80S

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

Mentions

wikipedia: Wikipedia Finite group#L4M7, Lagrange's theorem (statement)

History

2026-11-02: add by m2/dev

Charles Weibel 2B6ZW7H9ZV

URI	`m2://inv/2B6ZW7H9ZV`
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 Q13359529, Charles Weibel (unknown). Also nLab Charles Weibel
wikipedia: Wikipedia Charles Weibel, Charles Weibel (topic). Also Wikidata Q13359529

History

2026-10-26: add by m2/dev

The Koksma–Hlawka inequality 2B707VY0SA

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

Mentions

wikipedia: Wikipedia Low-discrepancy sequence#Z8K3, The Koksma–Hlawka inequality (statement)

History

2026-11-02: add by m2/dev

2B70JAKFQF 2B70JAKFQF

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

Mentions

arxiv: arXiv 2112.05010#JI21 (statement). In 4SZNPS3Z00/e1, lemma 17

History

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

Wang and Landau algorithm 2B73HT9156

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

Mentions

wikipedia: Wikipedia Wang and Landau algorithm, Wang and Landau algorithm (definition). Also Wikidata Q6522961

History

2026-11-02: add by m2/dev

Applications 2B74FS4Y2Y

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

Mentions

wikipedia: Wikipedia Standard part function#MVL8, Applications (example)

History

2026-11-02: add by m2/dev

2B764ZFD51 2B764ZFD51

URI	`m2://inv/2B764ZFD51`
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.30544#3Y4F (statement). In CB35ZBBBPT/e1, proposition 3.14

History

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

∪ 2B793CRWHR

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

Mentions

wikidata: Wikidata Q87524502, ∪ (unknown). Also MathWorld Cup

History

2026-10-26: add by m2/dev

2B797JV60X 2B797JV60X

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

Mentions

arxiv: arXiv 2609.27694#1E4X (definition)

History

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

2B7N52NDYD 2B7N52NDYD

URI	`m2://inv/2B7N52NDYD`
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.07644#XXLE (statement). In TFAN2DR6FD/e1, proposition 17

History

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

2B7S8CE7QW 2B7S8CE7QW

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

Mentions

arxiv: arXiv 2406.13841#FEJE (statement). In AB2EMMXC7X/e1, proposition 3.5

History

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

Branching theorem 2B8375Q3A5

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

Mentions

wikipedia: Wikipedia List of theorems#OMIN, Branching theorem (statement)

History

2026-11-02: add by m2/dev

2B86ED0C22 2B86ED0C22

URI	`m2://inv/2B86ED0C22`
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.03488#OHPG (statement). In 9GXR1WEYWT/e1, theorem 5.5

History

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

Cauchy, sequence 2B89YMWM7C

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

Mentions

hott_book: hott_book index/B.5/cauchy-sequence, Cauchy, sequence (concept). In N54F33XE07, index, section B.5

History

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

2B8JZXEFQS 2B8JZXEFQS

URI	`m2://inv/2B8JZXEFQS`
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.36389#OZDQ (statement). In N1S169J2MV/e1, theorem 0.2

History

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

Theorem for several complex variables 2B95HMBMZT

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

Mentions

wikipedia: Wikipedia Cauchy–Hadamard theorem#G24Z, Theorem for several complex variables (statement)

History

2026-11-02: add by m2/dev

Generalizations 2B97VPFGX2

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

Mentions

wikipedia: Wikipedia Reuleaux triangle#XD25, Generalizations (statement)

History

2026-11-02: add by m2/dev

2B9EPBJ3EN 2B9EPBJ3EN

URI	`m2://inv/2B9EPBJ3EN`
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 2201.10697#SB1B (statement). In WN2Z20ZV49/e1, lemma 4.2

History

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

centered decagonal number 2B9HC1PNEQ

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

Mentions

wikidata: Wikidata Q1587812, centered decagonal number (object). Also OEIS A062786
wikipedia: Wikipedia Centered decagonal number, Centered decagonal number (definition). Also Wikidata Q1587812

History

2026-10-26: add by m2/dev

Littlewood's three principles of real analysis 2B9MXYHEW8

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

Mentions

wikipedia: Wikipedia Littlewood's three principles of real analysis, Littlewood's three principles of real analysis (statement). Also Wikidata Q6653163

History

2026-11-02: add by m2/dev

Chain sparsity 2B9PHBRBX4

URI	`m2://inv/2B9PHBRBX4`
Kind	example
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.17371#97NT, Chain sparsity (example). In FF92TNYHQR/e1, example 1

History

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

Teiji Takagi 2B9S6Z0XB8

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#OU8X, Teiji Takagi (topic)

History

2026-11-02: add by m2/dev

2B9VPRCFKH 2B9VPRCFKH

URI	`m2://inv/2B9VPRCFKH`
Kind	definition
Layer	research
MSC	05-XX, 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.06944#H84U (definition). In 1HSWBXDXWV/e1, definition 1.1

History

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

2B9W9THPT9 2B9W9THPT9

URI	`m2://inv/2B9W9THPT9`
Kind	example
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.25967#H3NK (example)

History

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

R 2BA2GXX8QB

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#GF6U, R (definition)

History

2026-11-02: add by m2/dev

2BA3MYE05D 2BA3MYE05D

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

Mentions

napkin: napkin tex/topology/compactness.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 95.4

History

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

Special cases 2BA8Y9R0D4

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

Mentions

wikipedia: Wikipedia Law of the unconscious statistician#3G9S, Special cases (statement)

History

2026-11-02: add by m2/dev

2BAGS1JKJW 2BAGS1JKJW

URI	`m2://inv/2BAGS1JKJW`
Kind	statement
Layer	research
MSC	62-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.28297#10RK (statement)

History

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

Definitions 2BAMVM4TYZ

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

Mentions

wikipedia: Wikipedia Semidefinite programming#JI28, Definitions (definition)

History

2026-11-02: add by m2/dev

2BARR3TMVH 2BARR3TMVH

URI	`m2://inv/2BARR3TMVH`
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.01796#WY4Y (statement). In JC3PAB5DRC/e1, lemma 12

History

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

2BARS8P17E 2BARS8P17E

URI	`m2://inv/2BARS8P17E`
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 1909.03896#6I1S (statement). In CX9RVPQVBM/e1, lemma 6

History

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

2BAYJVKJKZ 2BAYJVKJKZ

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

Mentions

arxiv: arXiv 2504.00596#UWDX (statement). In F8RC6AENB0/e1, theorem 5.14

History

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

2BB3F4H2JC 2BB3F4H2JC

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#example-12 (example). In E59CDZA4DP, example, section 4.2.2

History

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

Jónsson cardinal 2BB6W3M2RX

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

Mentions

wikipedia: Wikipedia Jónsson cardinal, Jónsson cardinal (definition). Also Wikidata Q6320393

History

2026-11-02: add by m2/dev

2BBD4W8ZD1 2BBD4W8ZD1

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-35 (exercise). In E9HS8K3A52, exercise, section 5.3.5

History

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

Euler–Bernoulli beam equation 2BBDR11B1D

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#HLUF, Euler–Bernoulli beam equation (definition)

History

2026-11-02: add by m2/dev

2BBFFSERF3 2BBFFSERF3

URI	`m2://inv/2BBFFSERF3`
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.14154#PMUB (statement). In 8X6PXX2TRA/e1, lemma 3.5

History

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

Well-pointed category 2BBSVWJ6QN

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

Mentions

wikipedia: Wikipedia Well-pointed category, Well-pointed category (definition). Also Wikidata Q7981060

History

2026-11-02: add by m2/dev

SIGABA 2BBXWR7YMR

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

Mentions

wikipedia: Wikipedia SIGABA, SIGABA (definition). Also Wikidata Q1121818

History

2026-11-02: add by m2/dev

2BC3378VD4 2BC3378VD4

URI	`m2://inv/2BC3378VD4`
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.12047#UX38 (statement). In ZF1Y3HZMZ9/e1, proposition 6.3

History

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

2BC5BCVE37 2BC5BCVE37

URI	`m2://inv/2BC5BCVE37`
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 2610.09739#GKI7 (statement). In ZYNZ95FSFD/e1, proposition 1.4

History

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

2BC9160F89 2BC9160F89

URI	`m2://inv/2BC9160F89`
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.03520#CI1R (statement). In CSRZ9CWK69/e1, proposition 3.5

History

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

Admissible weights 2BC943RDZ8

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

Mentions

arxiv: arXiv 2610.21725#QLF0, Admissible weights (definition). In BQDZN6GRGF/e1, definition 2.1

History

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

E-d definition 2BCAGAS7TN

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

Mentions

wikipedia: Wikipedia Continuous function#FRXT, E-d definition (unknown)

History

2026-11-02: add by m2/dev

Imaging cycler microscopy 2BCC0V4QZM

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

Mentions

wikipedia: Wikipedia Imaging cycler microscopy, Imaging cycler microscopy (definition). Also Wikidata Q17029430

History

2026-11-02: add by m2/dev

Caspar Wessel 2BCDMX1YKZ

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

Mentions

wikipedia: Wikipedia Caspar Wessel, Caspar Wessel (topic). Also Wikidata Q372017

History

2026-11-02: add by m2/dev

Suzuki graph 2BCE5FFSKM

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

Mentions

wikidata: Wikidata Q3115535, Suzuki graph (unknown). Also MathWorld SuzukiGraph

History

2026-10-26: add by m2/dev

2BCHMCR0TD 2BCHMCR0TD

URI	`m2://inv/2BCHMCR0TD`
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#NGSL (statement). In TX0H26X4VX/e1, proposition 7.12

History

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

2BCHN4BFCW 2BCHN4BFCW

URI	`m2://inv/2BCHN4BFCW`
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#RY0T (statement). In 9RBATD2Z1F/e1, corollary 2.11

History

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

Eigenvalues of the Laplace–Beltrami operator (Lichnerowicz–Obata theorem) 2BCKJS5CHF

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

Mentions

wikipedia: Wikipedia Laplace–Beltrami operator#6YZA, Eigenvalues of the Laplace–Beltrami operator (Lichnerowicz–Obata theorem) (statement)

History

2026-11-02: add by m2/dev

Yu. V. Matijasevic 2BCM7AZFE3

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8RDH, Yu. V. Matijasevic (topic)

History

2026-11-02: add by m2/dev

2BCSY0RP5J 2BCSY0RP5J

URI	`m2://inv/2BCSY0RP5J`
Kind	statement
Layer	research
MSC	49-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.37103#6LXQ (statement). In 6Q8YMAWFZN/e1, proposition 7.2

History

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

Applications 2BCY2GNA82

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

Mentions

wikipedia: Wikipedia Micromagnetics#YR1Z, Applications (example)

History

2026-11-02: add by m2/dev

2BD0HT3RMK 2BD0HT3RMK

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

Mentions

wikipedia: Wikipedia Friedmann–Lemaître–Robertson–Walker metric#EE0P (problem)

History

2026-11-02: add by m2/dev

Elitzur's theorem 2BD1TV3ZD7

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

Mentions

mathlib_1000: mathlib_1000 Q5362000, Elitzur's theorem (statement). Also Wikidata Q5362000
thousand_plus: thousand_plus Q5362000, Elitzur's theorem (statement). Also Wikidata Q5362000, Wikipedia Elitzur's theorem
wikipedia: Wikipedia Elitzur's theorem, Elitzur's theorem (statement). Also Wikidata Q5362000

History

2026-10-26: add by m2/dev

2BDGBJ1JJ6 2BDGBJ1JJ6

URI	`m2://inv/2BDGBJ1JJ6`
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.20306#02FA (statement). In YG5EX49042/e1, proposition 2.13

History

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

Example 2 2BDN2E6HWT

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

Mentions

wikipedia: Wikipedia Infinite compositions of analytic functions#48U8, Example 2 (example)

History

2026-11-02: add by m2/dev

2BDPTE8R3G 2BDPTE8R3G

URI	`m2://inv/2BDPTE8R3G`
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.10928#LR87 (statement). In 8M7BFVQYMM/e1, lemma 5.3

History

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

Error after partial spectral clipping 2BDVVQTAK8

URI	`m2://inv/2BDVVQTAK8`
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.12017#5APM, Error after partial spectral clipping (statement). In WW04MP0NAZ/e1, lemma 4.2

History

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

2BDWGX5NRD 2BDWGX5NRD

URI	`m2://inv/2BDWGX5NRD`
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.08382#0PSV (statement). In GYMGDQS25R/e1, theorem 1.6

History

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

Example 2BDWRZJPDP

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

Mentions

wikipedia: Wikipedia UMAC (cryptography)#I9B8, Example (example)

History

2026-11-02: add by m2/dev

2BE2EJ46WY 2BE2EJ46WY

URI	`m2://inv/2BE2EJ46WY`
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 2508.02432#BFVF (statement). In B366ACYB37/e1, lemma 3.17

History

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

Trivialism 2BEDZSRYX6

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

Mentions

wikipedia: Wikipedia Trivialism, Trivialism (definition). Also Wikidata Q7844667

History

2026-11-02: add by m2/dev

2BEHBXB37A 2BEHBXB37A

URI	`m2://inv/2BEHBXB37A`
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.39505#BV06 (statement). In WAXS6FS388/e1, lemma 4.17

History

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

Grill 2BEN5WR8BB

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

Mentions

wikipedia: Wikipedia Grill (cryptology), Grill (definition). Also Wikidata Q4119081

History

2026-11-02: add by m2/dev

Raphael Levi Hannover 2BES3J95VP

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

Mentions

wikipedia: Wikipedia Raphael Levi Hannover, Raphael Levi Hannover (topic). Also Wikidata Q96517

History

2026-11-02: add by m2/dev

2BEX71DHV7 2BEX71DHV7

URI	`m2://inv/2BEX71DHV7`
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 2508.18436#SLD6 (statement). In 6W19Z58188/e1, proposition 3.7

History

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

𝔠 2BEYR4P564

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#ZCF3, 𝔠 (definition)

History

2026-11-02: add by m2/dev

Filip Lundberg 2BFGNH382N

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

Mentions

wikipedia: Wikipedia Filip Lundberg, Filip Lundberg (topic). Also Wikidata Q5448496

History

2026-11-02: add by m2/dev

Peter Eades 2BFP27X99W

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1EH3, Peter Eades (unknown)

History

2026-11-02: add by m2/dev

General Legendre equation 2BFSFTHA3F

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

Mentions

wikipedia: Wikipedia List of named differential equations#O7OX, General Legendre equation (definition)

History

2026-11-02: add by m2/dev

2BFSTW9X8A 2BFSTW9X8A

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#prop:box (statement). In PKGMM3P5QY, prop, section 51.4

History

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

Chia-Chiao Lin 2BG1ZFG2Y1

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

Mentions

wikipedia: Wikipedia Chia-Chiao Lin, Chia-Chiao Lin (topic). Also Wikidata Q717421

History

2026-11-02: add by m2/dev

Composition operator 2BG92RHK1K

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

Mentions

wikipedia: Wikipedia Composition operator, Composition operator (definition). Also Wikidata Q5156798

History

2026-11-02: add by m2/dev

C* 2BGD4MKFVT

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#2L08, C* (definition)

History

2026-11-02: add by m2/dev

Ribbon surface and ribbon genus 2BGGD96TEV

URI	`m2://inv/2BGGD96TEV`
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.10206#4RKO, Ribbon surface and ribbon genus (definition). In 8TRCP1482Q/e1, definition 2.7

History

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

tautological one-form 2BGJSPQWNZ

URI	`m2://inv/2BGJSPQWNZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Tautological one-form ADNHVGY2W4

Mentions

wikidata: Wikidata Q1014878, tautological one-form (unknown). Also nLab Liouville-Poincaré 1-form
wikipedia: Wikipedia Tautological one-form, Tautological one-form (definition). Also Wikidata Q1014878

History

2026-10-26: add by m2/dev

Hierarchical games 2BGSC48ATC

URI	`m2://inv/2BGSC48ATC`
Kind	example
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 2602.13510#EWD2, Hierarchical games (example). In Y75MQW7CFV/e1, example 1.2

History

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

2BGY3ZT1XW 2BGY3ZT1XW

URI	`m2://inv/2BGY3ZT1XW`
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.07040#H1NZ (statement). In KMNXNW7FHP/e1, theorem 5.5

History

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

Surface 2BGZMMF8BR

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

Mentions

wikipedia: Wikipedia Surface (topology), Surface (definition). Also Wikidata Q484298

History

2026-11-02: add by m2/dev

Formal definition 2BH2MCYHYC

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

Mentions

wikipedia: Wikipedia Schreier vector#WUF8, Formal definition (definition)

History

2026-11-02: add by m2/dev

2BH4J1X603 2BH4J1X603

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

Mentions

arxiv: arXiv 0809.1307#PVJI (statement). In TP09MNWY6B/e1, proposition 2.15

History

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

coloring 2BHA1HV486

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

Mentions

levin_dmoi: levin_dmoi index/5.4/coloring, coloring (concept). In Y91XFCEVHQ, index, section 5.4

History

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

2BHDSDRGY3 2BHDSDRGY3

URI	`m2://inv/2BHDSDRGY3`
Kind	definition
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.06541#LWE8 (definition). In R604B78EVK/e1, definition 3.14

History

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

2BHFBBV106 2BHFBBV106

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

Mentions

arxiv: arXiv 2610.16475#AI4S (definition). In FM9SKN560Q/e1, definition

History

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

discrete Fourier transform on a finite abelian group 2BHHMTY8XT

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

Mentions

mathlib_undergrad: mathlib_undergrad Numerical Analysis > Fourier transform > discrete Fourier transform on a finite abelian group, discrete Fourier transform on a finite abelian group (unknown)

History

2026-10-26: add by m2/dev

Sznajd model 2BHPQCXTK1

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

Mentions

wikipedia: Wikipedia Sznajd model, Sznajd model (definition). Also Wikidata Q18387185

History

2026-11-02: add by m2/dev

2BHSA4W8FY 2BHSA4W8FY

URI	`m2://inv/2BHSA4W8FY`
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.39793#2DL1 (statement). In 380M45ANWF/e1, theorem 2.1

History

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

Variable-period cellular medium 2BHYS504CW

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

Mentions

arxiv: arXiv math/0003117#P2FO, Variable-period cellular medium (definition). In WD2NCBV9F0/e1, definition 4.14

History

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

2BJ2RH9S5K 2BJ2RH9S5K

URI	`m2://inv/2BJ2RH9S5K`
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 2609.26592#9VHI (statement)

History

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

Properties 2BJ8868NDF

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

Mentions

wikipedia: Wikipedia Matrix exponential#M93M, Properties (statement)

History

2026-11-02: add by m2/dev

Properties 2BJFXJ0H0Z

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

Mentions

wikipedia: Wikipedia Chief series#2OBE, Properties (statement)

History

2026-11-02: add by m2/dev

Jing (Maggie) Chen 2BJV1E0KYH

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

Mentions

wikipedia: Wikipedia Jing (Maggie) Chen, Jing (Maggie) Chen (topic). Also Wikidata Q104108359

History

2026-11-02: add by m2/dev

Recovering mesh sequence 2BJXJC211Q

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

Mentions

arxiv: arXiv 2610.00117#QVC7, Recovering mesh sequence (definition). In 4G2BDP206S/e1, definition 13

History

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

constant-coefficient 2BK3AZXNRK

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

Mentions

lebl_diffyqs: lebl_diffyqs index/6.9/constant-coefficient, constant-coefficient (concept). In E9HS8K3A52, index, section 6.9

History

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

Gillespie algorithm 2BK6YCA73T

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

Mentions

wikipedia: Wikipedia Gillespie algorithm, Gillespie algorithm (definition). Also Wikidata Q5562121

History

2026-11-02: add by m2/dev

Splitting lemma 2BKAEPKTEH

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

Mentions

napkin: napkin tex/homology/long-exact.tex#lem:split_exact, Splitting lemma (statement). In RZP28ERRZV, lemma, section 54.3

History

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

Kontinuit\atssatz, second version 2BKC5Y3ST2

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

Mentions

lebl_scv: lebl_scv index/2.5/kontinuit-atssatz-second-version, Kontinuit\atssatz, second version (concept). In VNMV985MXX, index, section 2.5

History

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

Relative) Interior 2BKDAAVYK3

URI	`m2://inv/2BKDAAVYK3`
Kind	definition
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.06755#700D, Relative) Interior (definition). In DKEX05SEXS/e1, definition 4.2

History

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

2BKEZG1BHX 2BKEZG1BHX

URI	`m2://inv/2BKEZG1BHX`
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.23781#1UVF (statement)

History

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

Properties 2BKM46FEJQ

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

Mentions

wikipedia: Wikipedia Mu operator#5KLQ, Properties (statement)

History

2026-11-02: add by m2/dev

Independent product of kernels 2BKQRACX9H

URI	`m2://inv/2BKQRACX9H`
Kind	statement
Layer	research
MSC	18-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.26270#1AN3, Independent product of kernels (statement)

History

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

Shortest length bounds 2BKRCK5VY5

URI	`m2://inv/2BKRCK5VY5`
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.30808#BVQ2, Shortest length bounds (statement). In 4JCFPV48VG/e1, lemma 2.2

History

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

A History of the Kerala School of Hindu Astronomy 2BKSQ2WTP0

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

Mentions

wikipedia: Wikipedia A History of the Kerala School of Hindu Astronomy, A History of the Kerala School of Hindu Astronomy (definition). Also Wikidata Q24946229

History

2026-11-02: add by m2/dev

2BKTS3VQBP 2BKTS3VQBP

URI	`m2://inv/2BKTS3VQBP`
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 2610.14811#RTHR (statement). In QA5CM6HNM1/e1, theorem 4.2

History

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

Independent-cover asymptotics 2BKWVP1V12

URI	`m2://inv/2BKWVP1V12`
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.20414#T13B, Independent-cover asymptotics (statement). In X2NNNW8CX5/e1, theorem 4.1

History

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

2BME983G9R 2BME983G9R

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

Mentions

arxiv: arXiv 2502.08738#E88B (definition). In 9GMTVSTAVN/e1, definition 2.12

History

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

2BMGW3AMFP 2BMGW3AMFP

URI	`m2://inv/2BMGW3AMFP`
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.31126#L5A1 (statement). In GK1V5GEHTK/e1, theorem 2.4

History

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

Local coefficient charts 2BMH23DMF4

URI	`m2://inv/2BMH23DMF4`
Kind	statement
Layer	research
MSC	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.25762#6RCP, Local coefficient charts (statement)

History

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

2BMTTHYZCM 2BMTTHYZCM

URI	`m2://inv/2BMTTHYZCM`
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.24043#Z257 (statement)

History

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

Inverse function 2BN7YEDEVN

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

Mentions

wikipedia: Wikipedia List of types of functions#UCW6, Inverse function (definition)

History

2026-11-02: add by m2/dev

2BNCM0F0AZ 2BNCM0F0AZ

URI	`m2://inv/2BNCM0F0AZ`
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.18555#CYGT (statement). In JPR62EY6A5/e1, lemma 3

History

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

2BNEN9G66H 2BNEN9G66H

URI	`m2://inv/2BNEN9G66H`
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 2609.36622#UZBM (statement). In 9704QPRPR6/e1, lemma 4.4

History

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

First strict separation 2BNQQKY0EM

URI	`m2://inv/2BNQQKY0EM`
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.14154#D0VX, First strict separation (statement). In 8X6PXX2TRA/e1, proposition 7.3

History

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

Properties 2BNTTY7N0P

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

Mentions

wikipedia: Wikipedia Fractional dominating set#OO2F, Properties (statement)

History

2026-11-02: add by m2/dev

Numeronym 2BP62DR7VY

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

Mentions

wikipedia: Wikipedia Numeronym, Numeronym (definition). Also Wikidata Q1510123

History

2026-11-02: add by m2/dev

Applications 2BP75RD07K

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

Mentions

wikipedia: Wikipedia Independent set (graph theory)#WBUZ, Applications (example)

History

2026-11-02: add by m2/dev

$M $ large 2BPFFYRDGT

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

Mentions

arxiv: arXiv 2405.10580#LW3X, $M $ large (statement). In FXEJE0PWEP/e1, proposition 4.3

History

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

Z-test 2BPH9BCBFN

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

Mentions

wikipedia: Wikipedia Z-test, Z-test (definition). Also Wikidata Q897827

History

2026-11-02: add by m2/dev

Oscar K. Buros 2BPJHWVM6W

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#SM9Z, Oscar K. Buros (unknown)

History

2026-11-02: add by m2/dev

2BQ1SSV82J 2BQ1SSV82J

URI	`m2://inv/2BQ1SSV82J`
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.27046#4I1S (statement)

History

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

2BQAVC6T9X 2BQAVC6T9X

URI	`m2://inv/2BQAVC6T9X`
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.39981#L5J0 (statement). In PMMV6YAEVR/e1, lemma 1

History

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

Q-Vandermonde identity 2BQAX5KEE7

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

Mentions

wikipedia: Wikipedia Q-Vandermonde identity, Q-Vandermonde identity (statement). Also Wikidata Q7265292

History

2026-11-02: add by m2/dev

2BQB6KBZX8 2BQB6KBZX8

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#ex:local_rep (example). In RZP28ERRZV, example, section 29.5

History

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

Ed Seidel 2BQD2GWASB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7G1Q, Ed Seidel (unknown)

History

2026-11-02: add by m2/dev

Strongly inaccessible cardinal 2BQK1Y3EB5

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#XMUM, Strongly inaccessible cardinal (definition)

History

2026-11-02: add by m2/dev

Polynomial residues 2BQP3FVPSQ

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

Mentions

arxiv: arXiv 2610.17441#C66F, Polynomial residues (statement). In 9Q8S0NWHP2/e1, lemma 3.5

History

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

Evgeny Landis 2BQWWZ15XC

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#S0NR, Evgeny Landis (unknown)

History

2026-11-02: add by m2/dev

2BR1DS2NQ4 2BR1DS2NQ4

URI	`m2://inv/2BR1DS2NQ4`
Kind	statement
Layer	research
MSC	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 2610.02244#2D95 (statement). In 3REM2EXQK7/e1, theorem 3.19

History

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

Definition 2BR24QGAYQ

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

Mentions

wikipedia: Wikipedia Stable distribution#XX0I, Definition (definition)

History

2026-11-02: add by m2/dev

Probability of precipitation 2BRAXPBCMT

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

Mentions

wikipedia: Wikipedia List of statistics articles#X6EW, Probability of precipitation (definition)

History

2026-11-02: add by m2/dev

2BRBA7NK6G 2BRBA7NK6G

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

Mentions

arxiv: arXiv 2609.32478#2CHE (definition). In 5QBSYDC2XH/e1, definition 6

History

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

Institute of Agriculture and Animal Science Rampur, Nepal 2BRJBB9CXM

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

Mentions

wikipedia: Wikipedia Tribhuvan University#TQWQ, Institute of Agriculture and Animal Science Rampur, Nepal (unknown)

History

2026-11-02: add by m2/dev

2BRM5XWKR8 2BRM5XWKR8

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

Mentions

arxiv: arXiv 2610.06455#MVOZ (statement). In N6GB5J5BAY/e1, lemma 6.5

History

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

Examples 2BRMCQ1C9X

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

Mentions

wikipedia: Wikipedia Projective bundle#93E4, Examples (example)

History

2026-11-02: add by m2/dev

Order-5 octahedral honeycomb 2BRSSE4WPN

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

Mentions

wikipedia: Wikipedia Order-5 octahedral honeycomb, Order-5 octahedral honeycomb (definition). Also Wikidata Q48783452

History

2026-11-02: add by m2/dev

Expected value of sample information 2BRVG5CEKJ

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

Mentions

wikipedia: Wikipedia Expected value of sample information, Expected value of sample information (definition). Also Wikidata Q5420854

History

2026-11-02: add by m2/dev

Nagata's compactification theorem 2BS4WTBJQG

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

Mentions

mathlib_1000: mathlib_1000 Q11883897, Nagata's compactification theorem (statement). Also Wikidata Q11883897
thousand_plus: thousand_plus Q11883897, Nagata's compactification theorem (statement). Also Wikidata Q11883897, Wikipedia Nagata's compactification theorem
wikipedia: Wikipedia Nagata's compactification theorem, Nagata's compactification theorem (statement). Also Wikidata Q11883897

History

2026-10-26: add by m2/dev

Nontrivial ML degree 2BS5K1DF5Y

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

Mentions

arxiv: arXiv 2610.19669#RJ6T, Nontrivial ML degree (example). In 1QPAA94Q76/e1, example 2

History

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

2BS70AXQ4K 2BS70AXQ4K

URI	`m2://inv/2BS70AXQ4K`
Kind	definition
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#26UW (definition). In G1RP4JY5PE/e1, definition 2.4.4

History

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

affine coordinate system 2BSFW5TZY0

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

Mentions

wikidata: Wikidata Q382510, affine coordinate system (unknown). Also MathWorld AffineCoordinates

History

2026-10-26: add by m2/dev

Unitary group 2BSHMXNV2X

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#81WG, Unitary group (definition)

History

2026-11-02: add by m2/dev

2BSJ4SAHMX 2BSJ4SAHMX

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

Mentions

arxiv: arXiv 2610.06108#BEOZ (example). In D3WKY1PW64/e1, example 3.16

History

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

2BSR5DHG3P 2BSR5DHG3P

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

Mentions

arxiv: arXiv 2609.28189#EUOP (statement)

History

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

Judith Rousseau 2BSXK10XT7

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

Mentions

wikipedia: Wikipedia Judith Rousseau, Judith Rousseau (topic). Also Wikidata Q48136020

History

2026-11-02: add by m2/dev

2BSYADA54Y 2BSYADA54Y

URI	`m2://inv/2BSYADA54Y`
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 2105.03715#DBDK (statement). In H3FWT3Z0J4/e1, lemma 1

History

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

2BSZ64NEWX 2BSZ64NEWX

URI	`m2://inv/2BSZ64NEWX`
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.20568#UDPX (statement). In BCD0ATARNZ/e1, corollary 3.14

History

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

Applications 2BT2P50YM1

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

Mentions

wikipedia: Wikipedia Tropical geometry#04QX, Applications (example)

History

2026-11-02: add by m2/dev

L\'evy--Khintchine formula for ambit fields 2BT6FS06HP

URI	`m2://inv/2BT6FS06HP`
Kind	example
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.31102#Z9TN, L\'evy--Khintchine formula for ambit fields (example). In 7CADATJMAA/e1, example 4.1

History

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

2BTDJTDRJS 2BTDJTDRJS

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

Mentions

arxiv: arXiv 2610.13213#5ZAN (statement). In V97F4YZ8B0/e1, theorem 7.3

History

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

2BTEJG9C8B 2BTEJG9C8B

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

Mentions

arxiv: arXiv 2610.17677#TFYT (statement). In 5E9G06XJKC/e1, lemma G.7

History

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

Examples 2BTGSTV123

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

Mentions

wikipedia: Wikipedia Preordered class#P6AT, Examples (example)

History

2026-11-02: add by m2/dev

2BTKHMXE09 2BTKHMXE09

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

Mentions

arxiv: arXiv 2209.00811#V3JI (statement). In 9T4X83HHQS/e1, proposition 5.5

History

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

2BTN64WHRW 2BTN64WHRW

URI	`m2://inv/2BTN64WHRW`
Kind	statement
Layer	research
MSC	13-XX, 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 2505.05539#PDFD (statement). In 8SVVEVGMNE/e1, proposition 3.12

History

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

Application 2BTWQMZQ23

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

Mentions

wikipedia: Wikipedia Blaschke–Lebesgue theorem#7BIE, Application (example)

History

2026-11-02: add by m2/dev

Anti-symmetry 2BV0HJ6A47

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/special-properties.tex#defn-4, Anti-symmetry (definition). In PKGMM3P5QY, defn, section 82.1

History

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

Example 2BV40PRHV7

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

Mentions

wikipedia: Wikipedia Bi-elliptic transfer#4CBH, Example (example)

History

2026-11-02: add by m2/dev

Kerala Mathematical Association 2BV4WH68MF

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

Mentions

wikipedia: Wikipedia List of mathematical societies#0FAV, Kerala Mathematical Association (definition)

History

2026-11-02: add by m2/dev

Trevor Evans Award 2BVC58KR0X

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

Mentions

wikipedia: Wikipedia Mathematical Association of America#FMVN, Trevor Evans Award (unknown)

History

2026-11-02: add by m2/dev

Hsu–Robbins–Erdős theorem 2BVKFJA899

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#XK9B, Hsu–Robbins–Erdős theorem (statement)

History

2026-11-02: add by m2/dev

Cohort (statistics) 2BVKJMS958

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

Mentions

wikipedia: Wikipedia List of statistics articles#YQQ8, Cohort (statistics) (definition)

History

2026-11-02: add by m2/dev

projectivity 2BVP4SVH3N

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#SS5L, projectivity (definition)

History

2026-11-02: add by m2/dev

2BW74RA3D0 2BW74RA3D0

URI	`m2://inv/2BW74RA3D0`
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.02743#H73P (statement). In GQH4ZPDWET/e1, theorem 10.1

History

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

Negative-tail bound for posterior regret 2BW8RMWW78

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

Mentions

arxiv: arXiv 2609.29688#TPCB, Negative-tail bound for posterior regret (statement)

History

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

Betsy Yanik 2BWBGKTWK1

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

Mentions

wikipedia: Wikipedia Betsy Yanik, Betsy Yanik (topic). Also Wikidata Q102155023

History

2026-11-02: add by m2/dev

John Roe 2BWFZXGR0M

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

Mentions

wikipedia: Wikipedia John Roe (mathematician), John Roe (topic). Also Wikidata Q14623404

History

2026-11-02: add by m2/dev

Victor Levin 2BWGHVC3RY

URI	`m2://inv/2BWGHVC3RY`
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 Q1554689, Victor Levin (unknown). Also MathWorld HilbertsConstants

History

2026-10-26: add by m2/dev

2BWGTG6AP0 2BWGTG6AP0

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

Mentions

arxiv: arXiv 2610.10074#AYRA (statement). In BYAANB1NG0/e1, lemma 5.5

History

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

2BWHFBRYRY 2BWHFBRYRY

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

Mentions

arxiv: arXiv 2610.21533#Q0GD (statement). In N3Z6JFEPCF/e1, theorem B

History

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

Polly Feigl 2BX3KWTK7T

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#2LSY, Polly Feigl (unknown)

History

2026-11-02: add by m2/dev

Kurt Gödel 2BXA5PKB7C

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#PO87, Kurt Gödel (topic)

History

2026-11-02: add by m2/dev

2BXM2AFAGB 2BXM2AFAGB

URI	`m2://inv/2BXM2AFAGB`
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.15674#4Q3T (statement). In JCTZTK951T/e1, theorem 1.1

History

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

Siegel's lemma 2BXPBS238T

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

Mentions

wikipedia: Wikipedia List of lemmas#J812, Siegel's lemma (statement)

History

2026-11-02: add by m2/dev

Properties 2BXWQWQ66E

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

Mentions

wikipedia: Wikipedia Bornological space#CHTR, Properties (statement)

History

2026-11-02: add by m2/dev

Gale–Stewart theorem 2BXWTND9J8

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

Mentions

wikipedia: Wikipedia Determinacy#NS1B, Gale–Stewart theorem (unknown)

History

2026-11-02: add by m2/dev

2BY94T47HQ 2BY94T47HQ

URI	`m2://inv/2BY94T47HQ`
Kind	statement
Layer	research
MSC	13-XX, 14-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.35229#0MZD (statement). In XBAXW1YBAK/e1, proposition 5.2

History

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

2BY9K3T09T 2BY9K3T09T

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

Mentions

arxiv: arXiv 2610.12165#TBMF (statement). In 3JSE8A9CFH/e1, lemma 3.5

History

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

2BYB5GE2R0 2BYB5GE2R0

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

Mentions

arxiv: arXiv 2601.15403#SXFZ (statement). In BSWNH3NW1M/e1, lemma 7.6

History

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

Kolmogorov microscales 2BYB9P8TCZ

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

Mentions

wikipedia: Wikipedia Kolmogorov microscales, Kolmogorov microscales (definition). Also Wikidata Q1527018

History

2026-11-02: add by m2/dev

Chaos theory 2BYE27EJFF

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#B85U, Chaos theory (definition)

History

2026-11-02: add by m2/dev

Step 1 2BYQPTM9SH

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

Mentions

wikipedia: Wikipedia Fatou's lemma#22YC, Step 1 (statement)

History

2026-11-02: add by m2/dev

Theorem 2BYTK6KX25

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

Mentions

wikipedia: Wikipedia Minkowski functional#ZZEL, Theorem (statement)

History

2026-11-02: add by m2/dev

Lebesgue's density theorem 2BZ52EA7F2

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

Mentions

wikipedia: Wikipedia List of theorems#C8G8, Lebesgue's density theorem (statement)

History

2026-11-02: add by m2/dev

Construction 2BZ5AYDZNQ

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

Mentions

wikipedia: Wikipedia Isodynamic point#H2IQ, Construction (definition)

History

2026-11-02: add by m2/dev

History of propositional calculus 2BZFD1JG83

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

Mentions

wikipedia: Wikipedia Propositional logic#WWFX, History of propositional calculus (unknown)

History

2026-11-02: add by m2/dev

Latent variable 2BZFPG12G1

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

Mentions

wikipedia: Wikipedia List of statistics articles#2LTQ, Latent variable (definition)

History

2026-11-02: add by m2/dev

Methods 2BZMKQ6SX0

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

Mentions

wikipedia: Wikipedia Record linkage#WK8Q, Methods (definition)

History

2026-11-02: add by m2/dev

2BZRRBKTE1 2BZRRBKTE1

URI	`m2://inv/2BZRRBKTE1`
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#8QIX (statement). In 8AHN9GSRMR/e1, theorem 4.5

History

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

Theorem 2BZVCJZ6MZ

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

Mentions

wikipedia: Wikipedia Brascamp–Lieb inequality#5BGL, Theorem (statement)

History

2026-11-02: add by m2/dev