Inventory rows KC
The cards of the rows of the inventory whose ids start with KC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
KC04Q5KZRY KC04Q5KZRY
| URI | m2://inv/KC04Q5KZRY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21174#L75U (example)
History
- 2026-11-02: add by m2/v0.6.18
KC04TV48BK KC04TV48BK
| URI | m2://inv/KC04TV48BK |
|---|---|
| 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 2603.11432#IPP7 (statement). In 9PGSPHDKR2/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
KC079YHJBB KC079YHJBB
| URI | m2://inv/KC079YHJBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31249#Y3J5 (statement). In RAVR2W9S0B/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
KC0DA9BATE KC0DA9BATE
| URI | m2://inv/KC0DA9BATE |
|---|---|
| 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 2609.37337#C153 (definition). In 813JGZV08G/e1, definition C.1
History
- 2026-10-30: add by m2/v0.4.12
Barycentric description of the fixed-support weights KC0HGYJPQK
| URI | m2://inv/KC0HGYJPQK |
|---|---|
| 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 2610.04136#F7B7, Barycentric description of the fixed-support weights (statement). In TBYTWR87F3/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Herta Freitag KC0K3KR3N2
| URI | m2://inv/KC0K3KR3N2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2Z9B, Herta Freitag (topic)
History
- 2026-11-02: add by m2/dev
KC0WW7396P KC0WW7396P
| URI | m2://inv/KC0WW7396P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#IKUH (definition)
History
- 2026-11-01: add by m2/v0.6.15
KC131W87JE KC131W87JE
| URI | m2://inv/KC131W87JE |
|---|---|
| Kind | statement |
| 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 2605.16669#8BZ9 (statement). In 1463YCCRP5/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.4.0
nominalism KC1QPTRZ1V
| URI | m2://inv/KC1QPTRZ1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SIEP, nominalism (definition)
History
- 2026-11-02: add by m2/dev
KC1T7QJVSS KC1T7QJVSS
| URI | m2://inv/KC1T7QJVSS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#A7YL (definition). In ESDKTYDHC8/e1, definition 24
History
- 2026-10-29: add by m2/v0.4.12
KC1YN2Q8H6 KC1YN2Q8H6
| URI | m2://inv/KC1YN2Q8H6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-25 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
KC2037JQ7J KC2037JQ7J
| URI | m2://inv/KC2037JQ7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#definition-2 (definition). In P1C114YBXG, definition, section C
History
- 2026-11-01: add by m2/v0.6.13
KC2QM92DWP KC2QM92DWP
| URI | m2://inv/KC2QM92DWP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2609.21703#FS7T (definition)
History
- 2026-11-02: add by m2/v0.6.18
Channel dynamics KC2RDP42ME
| URI | m2://inv/KC2RDP42ME |
|---|---|
| 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.25039#MNUP, Channel dynamics (statement)
History
- 2026-11-01: add by m2/v0.6.15
Low-Norm Packing KC2W8KMWG4
| URI | m2://inv/KC2W8KMWG4 |
|---|---|
| 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.10167#267W, Low-Norm Packing (statement). In SVMDSE7PKG/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
KC30SA1CV5 KC30SA1CV5
| URI | m2://inv/KC30SA1CV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26738#TYKZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example KC31F0W3QX
| URI | m2://inv/KC31F0W3QX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clock angle problem#0BQI, Example (example)
History
- 2026-11-02: add by m2/dev
KC37AACNMC KC37AACNMC
| URI | m2://inv/KC37AACNMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#VR0N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Controlled experiment KC37GYT46W
| URI | m2://inv/KC37GYT46W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific control#83JE, Controlled experiment (unknown)
History
- 2026-11-02: add by m2/dev
Robust principal component analysis KC38VN877E
| URI | m2://inv/KC38VN877E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust principal component analysis, Robust principal component analysis (definition). Also Wikidata Q17148469
History
- 2026-11-02: add by m2/dev
Brian Pink KC3927R8V3
| URI | m2://inv/KC3927R8V3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian Pink, Brian Pink (topic). Also Wikidata Q16734552
History
- 2026-11-02: add by m2/dev
Igor Oistrakh KC3CB42HSS
| URI | m2://inv/KC3CB42HSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#PE4M, Igor Oistrakh (unknown)
History
- 2026-11-02: add by m2/dev
XOR, exclusive disjunction KC3DY4D0AB
| URI | m2://inv/KC3DY4D0AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#EZ0D, XOR, exclusive disjunction (definition)
History
- 2026-11-02: add by m2/dev
The second fundamental theorem of welfare economics KC3T8G732R
| URI | m2://inv/KC3T8G732R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgeworth box#9ECC, The second fundamental theorem of welfare economics (statement)
History
- 2026-11-02: add by m2/dev
Seidel adjacency matrix KC3TS7AJN2
| URI | m2://inv/KC3TS7AJN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#A37R, Seidel adjacency matrix (definition)
History
- 2026-11-02: add by m2/dev
Reductive homogeneous space KC3WKX3ZW9
| URI | m2://inv/KC3WKX3ZW9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein geometry#TCFI, Reductive homogeneous space (unknown)
History
- 2026-11-02: add by m2/dev
KC3Z2SYANS KC3Z2SYANS
| URI | m2://inv/KC3Z2SYANS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31335#41V1 (statement). In YN58PZTGFD/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
KC4242MM3P KC4242MM3P
| URI | m2://inv/KC4242MM3P |
|---|---|
| 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.14681#M3E1 (statement). In 459W0NBS5Q/e1, theorem 11
History
- 2026-10-28: add by m2/v0.4.2
Laplace distribution KC42KVHK7X
| URI | m2://inv/KC42KVHK7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#KZOC, Laplace distribution (definition)
History
- 2026-11-02: add by m2/dev
augmented triangular prism KC491SKGSQ
| URI | m2://inv/KC491SKGSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1615430, augmented triangular prism (object). Also MathWorld AugmentedTriangularPrism
- wikipedia: Wikipedia Augmented triangular prism, Augmented triangular prism (definition). Also Wikidata Q1615430
History
- 2026-10-26: add by m2/dev
KC4KJMHDCH KC4KJMHDCH
| URI | m2://inv/KC4KJMHDCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#YGFF (statement). In GW23NX78SB/e1, lemma 3.18
History
- 2026-10-28: add by m2/v0.4.2
Raynaud surface KC4Q2262W1
| URI | m2://inv/KC4Q2262W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raynaud surface, Raynaud surface (definition). Also Wikidata Q7299311
History
- 2026-11-02: add by m2/dev
$\UUU\subset \XXX$, $C_0 \subset C$, $\xi = 0$ KC4TEW5F0T
| URI | m2://inv/KC4TEW5F0T |
|---|---|
| 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 2106.11898#CJPA, $\UUU\subset \XXX$, $C_0 \subset C$, $\xi = 0$ (statement). In KXXV5X8AG4/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.6
Pseudo great rhombicuboctahedron KC4XJ1NX98
| URI | m2://inv/KC4XJ1NX98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo great rhombicuboctahedron, Pseudo great rhombicuboctahedron (definition). Also Wikidata Q25303645
History
- 2026-11-02: add by m2/dev
KC4YWNFPRM KC4YWNFPRM
| URI | m2://inv/KC4YWNFPRM |
|---|---|
| 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 2610.06895#4SPV (statement). In PBB3PSDP0S/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Tall cardinal KC52JY9XTT
| URI | m2://inv/KC52JY9XTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tall cardinal, Tall cardinal (definition). Also Wikidata Q7679995
History
- 2026-11-02: add by m2/dev
Equivalent definitions KC5BVZEVJ6
| URI | m2://inv/KC5BVZEVJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real closed field#U7U4, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
Tuttminx KC5F5Y27KT
| URI | m2://inv/KC5F5Y27KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tuttminx, Tuttminx (definition). Also Wikidata Q10853087
History
- 2026-11-02: add by m2/dev
Lemma KC5H44QZMF
| URI | m2://inv/KC5H44QZMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal Taylor series#9N77, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Example KC5JHDJMJ3
| URI | m2://inv/KC5JHDJMJ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald's equation#084B, Example (example)
History
- 2026-11-02: add by m2/dev
KC5N3KEGG8 KC5N3KEGG8
| URI | m2://inv/KC5N3KEGG8 |
|---|---|
| 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 2610.00115#GWZK (statement). In JK8PYKCZRA/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Sturges's rule KC5NXTF11R
| URI | m2://inv/KC5NXTF11R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturges's rule, Sturges's rule (definition). Also Wikidata Q125768330
History
- 2026-11-02: add by m2/dev
KC5PDZ7YJ3 KC5PDZ7YJ3
| URI | m2://inv/KC5PDZ7YJ3 |
|---|---|
| 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.21477#CYPK (statement)
History
- 2026-11-02: add by m2/v0.6.18
KC5XW1XNE0 KC5XW1XNE0
| URI | m2://inv/KC5XW1XNE0 |
|---|---|
| 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.17129#DQ2A (statement). In TCZWAMNYCV/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Boundary-stable directions KC606BVNJS
| URI | m2://inv/KC606BVNJS |
|---|---|
| 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.20270#O16Y, Boundary-stable directions (statement). In GV0QGZH67P/e1, lemma D.2
History
- 2026-10-27: add by m2/v0.4.2
Little KC61F6J7TV
| URI | m2://inv/KC61F6J7TV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#959B, Little (topic)
History
- 2026-11-02: add by m2/dev
Examples KC6AMFSE7G
| URI | m2://inv/KC6AMFSE7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonious set#P73R, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition KC6B0430M3
| URI | m2://inv/KC6B0430M3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor density#CRS2, Definition (definition)
History
- 2026-11-02: add by m2/dev
rewriting KC6FF639F1
| URI | m2://inv/KC6FF639F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1668499, rewriting (unknown). Also nLab rewriting
- wikipedia: Wikipedia Rewriting, Rewriting (definition). Also Wikidata Q1668499
History
- 2026-10-26: add by m2/dev
Variable-length code KC6MVH1E85
| URI | m2://inv/KC6MVH1E85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#HPP4, Variable-length code (definition)
History
- 2026-11-02: add by m2/dev
KC6P9QAJHS KC6P9QAJHS
| URI | m2://inv/KC6P9QAJHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33283#OZXU (statement). In CXPFSDMEPB/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
KC72SCJQD8 KC72SCJQD8
| URI | m2://inv/KC72SCJQD8 |
|---|---|
| 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.20682#WW9X (statement)
History
- 2026-11-02: add by m2/v0.6.18
KC761KZENC KC761KZENC
| URI | m2://inv/KC761KZENC |
|---|---|
| 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.10736#UU5Q (statement). In NCYKB4QG5P/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
Richard von Mises KC79NDHZRB
| URI | m2://inv/KC79NDHZRB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TSTY, Richard von Mises (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#53HC, Richard von Mises (topic)
History
- 2026-11-02: add by m2/dev
KC7D547HZ6 KC7D547HZ6
| URI | m2://inv/KC7D547HZ6 |
|---|---|
| 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.22170#9DO0 (statement). In 74MMMHHPW5/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
George Blakley KC7GF2WQ9D
| URI | m2://inv/KC7GF2WQ9D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#K1HD, George Blakley (topic)
History
- 2026-11-02: add by m2/dev
\coqident{Algebra}{DCPO}{isdcpomorphism KC7T93D8GD
| URI | m2://inv/KC7T93D8GD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#WX2K, \coqident{Algebra}{DCPO}{isdcpomorphism (definition). In T1VFA7TXPA/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.5
Inflection point KC7Y8KG5FT
| URI | m2://inv/KC7Y8KG5FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#2G5Z, Inflection point (definition)
- wikipedia: Wikipedia List of curves topics#8G7W, Inflection point (definition)
History
- 2026-11-02: add by m2/dev
Definitions KC7ZBAXPAV
| URI | m2://inv/KC7ZBAXPAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kan fibration#YFF6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Banach–Mazur theorem KC80SR5J0P
| URI | m2://inv/KC80SR5J0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZQWI, Banach–Mazur theorem (statement)
History
- 2026-11-02: add by m2/dev
Andrey Tikhonov KC82BHN6WA
| URI | m2://inv/KC82BHN6WA |
|---|---|
| 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 Q372026, Andrey Tikhonov (unknown). Also nLab Andrey Tikhonov, ProofWiki Mathematician:Andrey_Nikolayevich_Tychonoff
- wikipedia: Wikipedia Andrey Tikhonov (mathematician), Andrey Tikhonov (topic). Also Wikidata Q372026
History
- 2026-10-26: add by m2/dev
basis KC83JZ1W2M
| URI | m2://inv/KC83JZ1W2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q810193, basis (definition). Also ProofWiki Definition:Basis_of_Module
History
- 2026-10-26: add by m2/dev
KC8BSN9Z4H KC8BSN9Z4H
| URI | m2://inv/KC8BSN9Z4H |
|---|---|
| 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.08658#DBJO (statement). In 7PK5WS7246/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Examples KC8D4PZ9DG
| URI | m2://inv/KC8D4PZ9DG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RAC drawing#2IE1, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition KC8GXJNXWZ
| URI | m2://inv/KC8GXJNXWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric set#8CC1, Definition (definition)
History
- 2026-11-02: add by m2/dev
KC8H2J72SK KC8H2J72SK
| URI | m2://inv/KC8H2J72SK |
|---|---|
| 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.31615#3EYY (statement). In TNV6XTEWEG/e1, fact 3.8
History
- 2026-10-31: add by m2/v0.5.6
\theoremcite{Theorem 6.1}{aliprantis1974 KC8KF693YM
| URI | m2://inv/KC8KF693YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#KZ9Q, \theoremcite{Theorem 6.1}{aliprantis1974 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Atomless components with a forced backward bit KC8KV0W1JM
| URI | m2://inv/KC8KV0W1JM |
|---|---|
| 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.38228#FC4O, Atomless components with a forced backward bit (statement). In 9YAE8FNQST/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
KC91M5MDGN KC91M5MDGN
| URI | m2://inv/KC91M5MDGN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-23 (proof). In VNMV985MXX, proof, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Lemma A.4\emph{(i KC940TFW3X
| URI | m2://inv/KC940TFW3X |
|---|---|
| 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 2105.08875#3TX6, Lemma A.4\emph{(i (statement). In QT8HPDAYPX/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.3.5
Stochastic KC95SBSMR0
| URI | m2://inv/KC95SBSMR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2T3K, Stochastic (definition)
History
- 2026-11-02: add by m2/dev
KC9J3Z304P KC9J3Z304P
| URI | m2://inv/KC9J3Z304P |
|---|---|
| Kind | conjecture |
| 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.26745#FH63 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
KC9KQKAJ1Y KC9KQKAJ1Y
| URI | m2://inv/KC9KQKAJ1Y |
|---|---|
| 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#9T30 (statement). In N3Z6JFEPCF/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Robert C. Prim KC9KS4PAS7
| URI | m2://inv/KC9KS4PAS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert C. Prim, Robert C. Prim (topic). Also Wikidata Q92939
History
- 2026-11-02: add by m2/dev
Computation KC9MCX6BZW
| URI | m2://inv/KC9MCX6BZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian integral#KOX4, Computation (definition)
History
- 2026-11-02: add by m2/dev
KC9SWBJQPN KC9SWBJQPN
| URI | m2://inv/KC9SWBJQPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36827#BVN5 (statement). In VSHAQTB2CA/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
Definition KC9VRS2TC0
| URI | m2://inv/KC9VRS2TC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahalanobis distance#2D4L, Definition (definition)
History
- 2026-11-02: add by m2/dev
KC9Y3YZPQN KC9Y3YZPQN
| URI | m2://inv/KC9Y3YZPQN |
|---|---|
| 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 2608.23797#9BSF (statement). In PZCA01JXVR/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
KC9Y7X9ETX KC9Y7X9ETX
| URI | m2://inv/KC9Y7X9ETX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#R0MR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Josef Stefan KC9ZSAX6KQ
| URI | m2://inv/KC9ZSAX6KQ |
|---|---|
| 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 Q16581, Josef Stefan (unknown). Also ProofWiki Mathematician:Josef_Stefan
History
- 2026-10-26: add by m2/dev
\bf Reconstruction and update certificates KC9ZZJM2E4
| URI | m2://inv/KC9ZZJM2E4 |
|---|---|
| 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.02791#6X6E, \bf Reconstruction and update certificates (statement). In TT9BA4VMTW/e1, fact C.2
History
- 2026-10-29: add by m2/v0.4.12
Mixed-unitary CW process KCACRK8NNS
| URI | m2://inv/KCACRK8NNS |
|---|---|
| Kind | definition |
| 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#K1X0, Mixed-unitary CW process (definition). In FRMCKEGVJZ/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
KCAFVHT334 KCAFVHT334
| URI | m2://inv/KCAFVHT334 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.07710#XO0J (example). In NESGAWA54K/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Arrow's impossibility theorem KCAKPEQFK6
| URI | m2://inv/KCAKPEQFK6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SHV2, Arrow's impossibility theorem (statement)
History
- 2026-11-02: add by m2/dev
KCAPGD8VEE KCAPGD8VEE
| URI | m2://inv/KCAPGD8VEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#62KO (statement). In 3VZ55B2N0D/e1, lemma 6.12
History
- 2026-10-27: add by m2/v0.4.0
Byunghan Kim KCAPXTWP3S
| URI | m2://inv/KCAPXTWP3S |
|---|---|
| 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#QTAV, Byunghan Kim (unknown)
History
- 2026-11-02: add by m2/dev
KCAY85347E KCAY85347E
| URI | m2://inv/KCAY85347E |
|---|---|
| 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.13103#NL4D (statement). In GG2ZZV6KEQ/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Geometric Hahn–Banach (the Hahn–Banach separation theorems) KCBCTDA5N5
| URI | m2://inv/KCBCTDA5N5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#IQJM, Geometric Hahn–Banach (the Hahn–Banach separation theorems) (statement)
History
- 2026-11-02: add by m2/dev
Free Boolean algebra KCBFFX28PM
| URI | m2://inv/KCBFFX28PM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free Boolean algebra, Free Boolean algebra (definition). Also Wikidata Q5499761
History
- 2026-11-02: add by m2/dev
Jarl Waldemar Lindeberg KCBGY23GFM
| URI | m2://inv/KCBGY23GFM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#JM3P, Jarl Waldemar Lindeberg (topic)
History
- 2026-11-02: add by m2/dev
KCBMA0VQ6N KCBMA0VQ6N
| URI | m2://inv/KCBMA0VQ6N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-18 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
KCBPT2M21X KCBPT2M21X
| URI | m2://inv/KCBPT2M21X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#defn:set (definition). In N54F33XE07, defn, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
KCBTRP0M4T KCBTRP0M4T
| URI | m2://inv/KCBTRP0M4T |
|---|---|
| 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.07073#RM10 (statement). In ZARZ5PFFXZ/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Isostasy KCBWCWBEAF
| URI | m2://inv/KCBWCWBEAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isostasy, Isostasy (definition). Also Wikidata Q188719
History
- 2026-11-02: add by m2/dev
Theorem 1 KCCFTNN2BS
| URI | m2://inv/KCCFTNN2BS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#JLZN, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Chu–Vandermonde identity KCCM3DGKPD
| URI | m2://inv/KCCM3DGKPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vandermonde's identity#NGFU, Chu–Vandermonde identity (statement)
History
- 2026-11-02: add by m2/dev
KCCXZ70TND KCCXZ70TND
| URI | m2://inv/KCCXZ70TND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#closureproperties (statement). In PKGMM3P5QY, lem, section 79.6
History
- 2026-11-01: add by m2/v0.6.13
KCD7RMGV51 KCD7RMGV51
| URI | m2://inv/KCD7RMGV51 |
|---|---|
| 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.00660#IWMO (statement). In FF8A8FP4FB/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Properties KCD8BVHJWC
| URI | m2://inv/KCD8BVHJWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical geometry#X5DR, Properties (statement)
History
- 2026-11-02: add by m2/dev
KCD96M2Y8R KCD96M2Y8R
| URI | m2://inv/KCD96M2Y8R |
|---|---|
| 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 2312.14319#J5OV (statement). In V0S2EZ53GB/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Semistable elliptic curve KCDCFZDVVY
| URI | m2://inv/KCDCFZDVVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#A524, Semistable elliptic curve (definition)
History
- 2026-11-02: add by m2/dev
No semisimple coset in a characteristic-polynomial fiber KCDH5E6A84
| URI | m2://inv/KCDH5E6A84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#7VEO, No semisimple coset in a characteristic-polynomial fiber (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm KCDQCTHJVY
| URI | m2://inv/KCDQCTHJVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank–Wolfe algorithm#Y38Y, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
KCDSGB5YSK KCDSGB5YSK
| URI | m2://inv/KCDSGB5YSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#F7V4 (statement). In FHE30V0M03/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
Artin billiards KCDSRRWEDG
| URI | m2://inv/KCDSRRWEDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#9VQU, Artin billiards (unknown)
History
- 2026-11-02: add by m2/dev
Maurice Solovine KCE1A92G1X
| URI | m2://inv/KCE1A92G1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurice Solovine, Maurice Solovine (topic). Also Wikidata Q3301425
History
- 2026-11-02: add by m2/dev
KCE55315JK KCE55315JK
| URI | m2://inv/KCE55315JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#AMSF (statement). In 6M5WR7KB80/e1, corollary 3.14
History
- 2026-10-28: add by m2/v0.4.3
cf.\ KCE7SHYP67
| URI | m2://inv/KCE7SHYP67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#9JBB, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples KCE8N4WQ42
| URI | m2://inv/KCE8N4WQ42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal surface#PMF9, Examples (example)
History
- 2026-11-02: add by m2/dev
hydrodynamics KCEASZK39S
| URI | m2://inv/KCEASZK39S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12016129, hydrodynamics (definition). Also EoM Hydrodynamics,_mathematical_problems_in, ProofWiki Definition:Hydrodynamics
History
- 2026-10-26: add by m2/dev
Definition KCEBGVCQMJ
| URI | m2://inv/KCEBGVCQMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-function#WKM7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Maximal inequality of empirical process KCEEME26Y5
| URI | m2://inv/KCEEME26Y5 |
|---|---|
| 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.15111#032Q, Maximal inequality of empirical process (statement). In 6RE6JYE4GP/e1, lemma F.2
History
- 2026-10-28: add by m2/v0.4.2
Applications KCENVV8478
| URI | m2://inv/KCENVV8478 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector calculus#WRJP, Applications (example)
History
- 2026-11-02: add by m2/dev
RSA-170 KCEQ08YY87
| URI | m2://inv/KCEQ08YY87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#7R8F, RSA-170 (unknown)
History
- 2026-11-02: add by m2/dev
KCERJ3CQ8J KCERJ3CQ8J
| URI | m2://inv/KCERJ3CQ8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17850#DNLV (statement). In WS5KWBEG5Q/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.0
Gaussian velocity in $\R^3$: boundedness in $L^2$, blowup in $\dH^{-1/2}$ KCES11P8RF
| URI | m2://inv/KCES11P8RF |
|---|---|
| Kind | example |
| 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.15086#36XD, Gaussian velocity in $\R^3$: boundedness in $L^2$, blowup in $\dH^{-1/2}$ (example). In V60MVF3KQ1/e1, example 6.6
History
- 2026-10-28: add by m2/v0.4.2
KCES6KX2B6 KCES6KX2B6
| URI | m2://inv/KCES6KX2B6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#RBAJ (unknown). In 32ZZ1DETCX/e1, unknown 4.10
History
- 2026-10-27: add by m2/v0.3.5
KCETM0DPQF KCETM0DPQF
| URI | m2://inv/KCETM0DPQF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#P36F (definition). In NBMA6DBKJG/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
KCF1TY2SE2 KCF1TY2SE2
| URI | m2://inv/KCF1TY2SE2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05018#LHVQ (definition). In QFZSPBES9B/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Donaldson−Uhlenbeck−Yau theorem KCF5DDV67R
| URI | m2://inv/KCF5DDV67R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shing-Tung Yau#OA1X, Donaldson−Uhlenbeck−Yau theorem (statement)
History
- 2026-11-02: add by m2/dev
Transitivity KCF5NNDHZ0
| URI | m2://inv/KCF5NNDHZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:transitivity, Transitivity (statement). In PKGMM3P5QY, prop, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
KCF77Y2HWE KCF77Y2HWE
| URI | m2://inv/KCF77Y2HWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#IJ86 (statement). In A59MZ9H284/e1, theorem 2.20
History
- 2026-10-30: add by m2/v0.4.12
KCFB1CC6MF KCFB1CC6MF
| URI | m2://inv/KCFB1CC6MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#8W7B (statement). In MG81A9XJTQ/e1, theorem II.1
History
- 2026-10-29: add by m2/v0.4.10
cofactor matrix KCFB6RTR0K
| URI | m2://inv/KCFB6RTR0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78628265, cofactor matrix (unknown). Also MathWorld CofactorMatrix
History
- 2026-10-26: add by m2/dev
Definition KCFGDWS51F
| URI | m2://inv/KCFGDWS51F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal sheaf#VMC1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Corollary (Fredholm alternative) KCFSND0G2A
| URI | m2://inv/KCFSND0G2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farkas' lemma#FT5D, Corollary (Fredholm alternative) (statement)
History
- 2026-11-02: add by m2/dev
Hölder's inequality for sums KCFSRZFNAZ
| URI | m2://inv/KCFSRZFNAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Hölder's inequality for sums 0BKDAGMGX9 |
Mentions
- wikidata: Wikidata Q117184219, Hölder's inequality for sums (statement). Also ProofWiki Hölder's_Inequality_for_Sums
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
KCFTH76Z1Y KCFTH76Z1Y
| URI | m2://inv/KCFTH76Z1Y |
|---|---|
| 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.01753#6O4N (statement). In JY50YXMH5N/e1, corollary 45
History
- 2026-10-29: add by m2/v0.4.12
KCFW2SZA7Z KCFW2SZA7Z
| URI | m2://inv/KCFW2SZA7Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14458#L33M (example). In WJ76MVYAZQ/e1, example 3.8
History
- 2026-10-28: add by m2/v0.4.2
KCG8DTGZP3 KCG8DTGZP3
| URI | m2://inv/KCG8DTGZP3 |
|---|---|
| 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#NNE3 (statement). In 8AHN9GSRMR/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.0
A posteriori estimate of the reduced-density and marginal divergences KCG91Q9NKW
| URI | m2://inv/KCG91Q9NKW |
|---|---|
| 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.14498#5V1W, A posteriori estimate of the reduced-density and marginal divergences (statement). In 81YXGYETE4/e1, corollary 7
History
- 2026-10-28: add by m2/v0.4.2
KCG99Y22ST KCG99Y22ST
| URI | m2://inv/KCG99Y22ST |
|---|---|
| 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.23528#HK2N (statement)
History
- 2026-11-02: add by m2/v0.6.17
Entscheidungsproblem KCGHT17Z7A
| URI | m2://inv/KCGHT17Z7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entscheidungsproblem, Entscheidungsproblem (definition). Also Wikidata Q11030584
History
- 2026-11-02: add by m2/dev
507 (number) KCGY3863YM
| URI | m2://inv/KCGY3863YM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#SC0P, 507 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Special case KCH3EG0GEF
| URI | m2://inv/KCH3EG0GEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous differential equation#QZMR, Special case (statement)
History
- 2026-11-02: add by m2/dev
Objection KCH6F3D5QN
| URI | m2://inv/KCH6F3D5QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Objection (argument), Objection (definition). Also Wikidata Q2090618
History
- 2026-11-02: add by m2/dev
Uniform continuity KCH6P4CAXP
| URI | m2://inv/KCH6P4CAXP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#example-7, Uniform continuity (example). In RZP28ERRZV, example, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
KCH8WSJ3XD KCH8WSJ3XD
| URI | m2://inv/KCH8WSJ3XD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25435#I09H (example)
History
- 2026-11-01: add by m2/v0.6.15
Nilpotent KCHAEFG9RT
| URI | m2://inv/KCHAEFG9RT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#QHN2, Nilpotent (definition)
History
- 2026-11-02: add by m2/dev
KCHPZ0RDNC KCHPZ0RDNC
| URI | m2://inv/KCHPZ0RDNC |
|---|---|
| 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 2604.11825#I2VS (definition). In 6H76S52BG7/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Lincoln E. Moses KCHRBBG1SW
| URI | m2://inv/KCHRBBG1SW |
|---|---|
| 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#XBQE, Lincoln E. Moses (unknown)
History
- 2026-11-02: add by m2/dev
Ray casting KCHW8TRD4Y
| URI | m2://inv/KCHW8TRD4Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#2NNF, Ray casting (unknown)
- wikipedia: Wikipedia List of combinatorial computational geometry topics#NRK3, Ray casting (unknown)
History
- 2026-11-02: add by m2/dev
Gaussian curvature KCJA9JSRM6
| URI | m2://inv/KCJA9JSRM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gaussian curvature SQVQ5DQT6W |
Mentions
- wikidata: Wikidata Q945953, Gaussian curvature (definition). Also MathWorld GaussianCurvature, ProofWiki Definition:Gaussian_Curvature
- wikipedia: Wikipedia Gaussian curvature, Gaussian curvature (definition). Also Wikidata Q945953
History
- 2026-10-26: add by m2/dev
Alasdair Urquhart KCJBKN1Z8G
| URI | m2://inv/KCJBKN1Z8G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8M3V, Alasdair Urquhart (topic)
History
- 2026-11-02: add by m2/dev
Jennifer D. Parker KCJE0F5F4A
| URI | m2://inv/KCJE0F5F4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#YHT9, Jennifer D. Parker (topic)
History
- 2026-11-02: add by m2/dev
KCJEE054DP KCJEE054DP
| URI | m2://inv/KCJEE054DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04382#6PAM (statement). In 7VW8XD28G1/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
Cristian S. Calude KCJHWHYFY4
| URI | m2://inv/KCJHWHYFY4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BX6X, Cristian S. Calude (topic)
History
- 2026-11-02: add by m2/dev
Example KCJK1GGN0D
| URI | m2://inv/KCJK1GGN0D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exploratory data analysis#S4KL, Example (example)
History
- 2026-11-02: add by m2/dev
Parametric model KCJX4QJHVZ
| URI | m2://inv/KCJX4QJHVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric model, Parametric model (definition). Also Wikidata Q7135228
History
- 2026-11-02: add by m2/dev
List of things named after John Horton Conway KCK2ECAW9T
| URI | m2://inv/KCK2ECAW9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#Q0NV, List of things named after John Horton Conway (topic)
History
- 2026-11-02: add by m2/dev
KCK4P44DNH KCK4P44DNH
| URI | m2://inv/KCK4P44DNH |
|---|---|
| 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.03437#0XVM (statement). In EDTV1EDV7M/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
Properties KCKD3RD4JR
| URI | m2://inv/KCKD3RD4JR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin class#WSV3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Thibault Damour KCKESGDZV5
| URI | m2://inv/KCKESGDZV5 |
|---|---|
| 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 Q1303301, Thibault Damour (unknown). Also nLab Thibault Damour
History
- 2026-10-26: add by m2/dev
KCKN4MZXGR KCKN4MZXGR
| URI | m2://inv/KCKN4MZXGR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#prob:bezout (exercise). In RZP28ERRZV, problem, section 20.5
History
- 2026-11-01: add by m2/v0.6.13
Chemotaxis KCKNBKRAN2
| URI | m2://inv/KCKNBKRAN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemotaxis, Chemotaxis (definition). Also Wikidata Q658145
History
- 2026-11-02: add by m2/dev
Theorem KCKST7NEKH
| URI | m2://inv/KCKST7NEKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested radical#I99X, Theorem (statement)
History
- 2026-11-02: add by m2/dev
KCKWTCB5J9 KCKWTCB5J9
| URI | m2://inv/KCKWTCB5J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.02111#U3CQ (statement). In NC5ZRF6F8N/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.12
It\^o identities KCM1VJ6GAA
| URI | m2://inv/KCM1VJ6GAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#BPGD, It\^o identities (statement). In 2Y47E704Z9/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
KCM37PMB7V KCM37PMB7V
| URI | m2://inv/KCM37PMB7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.33263#LCK2 (statement). In 6S5EH3388Z/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
KCM48CT66X KCM48CT66X
| URI | m2://inv/KCM48CT66X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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 2609.32765#BESR (statement). In PNBRW957KP/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
KCM5QDGS8S KCM5QDGS8S
| URI | m2://inv/KCM5QDGS8S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 27.5
History
- 2026-11-01: add by m2/v0.6.13
KCMD9PY1AX KCMD9PY1AX
| URI | m2://inv/KCMD9PY1AX |
|---|---|
| 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.34339#EDMM (statement). In 9WFSTGMQ4E/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
KCMDCZ2TQK KCMDCZ2TQK
| URI | m2://inv/KCMDCZ2TQK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-121 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Overlap functionals KCMYBZBB56
| URI | m2://inv/KCMYBZBB56 |
|---|---|
| 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 2610.17403#TDUF, Overlap functionals (definition). In 9EMNMAW8YH/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Q-function KCMYDQJQ6D
| URI | m2://inv/KCMYDQJQ6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-function, Q-function (definition). Also Wikidata Q533036
History
- 2026-11-02: add by m2/dev
Frederick Ludwig Hoffman KCN3RCJ1PF
| URI | m2://inv/KCN3RCJ1PF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick Ludwig Hoffman, Frederick Ludwig Hoffman (topic). Also Wikidata Q5498309
History
- 2026-11-02: add by m2/dev
Gaussian measure KCNCVE7SBM
| URI | m2://inv/KCNCVE7SBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FNI1, Gaussian measure (definition)
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#NMZ3, Gaussian measure (definition)
History
- 2026-11-02: add by m2/dev
Definitions and examples KCNJCYKD4Y
| URI | m2://inv/KCNJCYKD4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group#26PT, Definitions and examples (definition)
History
- 2026-11-02: add by m2/dev
Universal psychometrics KCNKHY4DR8
| URI | m2://inv/KCNKHY4DR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal psychometrics, Universal psychometrics (definition). Also Wikidata Q110712120
History
- 2026-11-02: add by m2/dev
Python KCNM70KZQB
| URI | m2://inv/KCNM70KZQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#64OW, Python (unknown)
History
- 2026-11-02: add by m2/dev
KCPCXX0PWD KCPCXX0PWD
| URI | m2://inv/KCPCXX0PWD |
|---|---|
| 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.20242#GZQF (statement). In TAX627CRH2/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
KCPD45PHMZ KCPD45PHMZ
| URI | m2://inv/KCPD45PHMZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06045#FFDS (example). In SVKM0852RJ/e1, example 6
History
- 2026-10-29: add by m2/v0.4.10
Scatter plot KCPDG1DGQR
| URI | m2://inv/KCPDG1DGQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#20FT, Scatter plot (definition)
- wikipedia: Wikipedia List of graphical methods#27IK, Scatter plot (definition)
History
- 2026-11-02: add by m2/dev
Hard Lefschetz theorem KCPMRS3W7J
| URI | m2://inv/KCPMRS3W7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz hyperplane theorem#UNL6, Hard Lefschetz theorem (statement)
History
- 2026-11-02: add by m2/dev
Two useful partial equivalences KCPSKTE3MY
| URI | m2://inv/KCPSKTE3MY |
|---|---|
| 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#K474, Two useful partial equivalences (statement). In TC5QA4AB4Z/e1, corollary 3.9
History
- 2026-10-30: add by m2/v0.4.12
De Morgan's law KCQ35N2J14
| URI | m2://inv/KCQ35N2J14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector logic#4UQ5, De Morgan's law (statement)
History
- 2026-11-02: add by m2/dev
KCQ5KEK9R3 KCQ5KEK9R3
| URI | m2://inv/KCQ5KEK9R3 |
|---|---|
| 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 2511.05069#NXI7 (statement). In SFQBJBTW8K/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
EqWorld KCQ90BPEP2
| URI | m2://inv/KCQ90BPEP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EqWorld, EqWorld (definition). Also Wikidata Q3730775
History
- 2026-11-02: add by m2/dev
KCQ94SMCJT KCQ94SMCJT
| URI | m2://inv/KCQ94SMCJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25004#QT8D (statement)
History
- 2026-11-01: add by m2/v0.6.15
KCQCNRATE5 KCQCNRATE5
| URI | m2://inv/KCQCNRATE5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.18390#OZT9 (example). In A1E8BB0QHC/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.5
locally ringed space KCQEWV18P5
| URI | m2://inv/KCQEWV18P5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Algebraic geometry > locally ringed space, locally ringed space (unknown). Also Mathlib AlgebraicGeometry.LocallyRingedSpace
History
- 2026-10-26: add by m2/dev
KCQQK5RXP0 KCQQK5RXP0
| URI | m2://inv/KCQQK5RXP0 |
|---|---|
| Kind | example |
| 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.26713#85XD (example)
History
- 2026-11-01: add by m2/v0.6.15
KCQTBDSBTE KCQTBDSBTE
| URI | m2://inv/KCQTBDSBTE |
|---|---|
| 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.18620#J5LX (statement). In 6WJ0R9YEBR/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
KCQTZEMQZR KCQTZEMQZR
| URI | m2://inv/KCQTZEMQZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#LVD8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kociemba's algorithm KCQYH24554
| URI | m2://inv/KCQYH24554 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal solutions for the Rubik's Cube#7JCB, Kociemba's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Conditional refinement KCR16JYK45
| URI | m2://inv/KCR16JYK45 |
|---|---|
| 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.15559#L0VR, Conditional refinement (statement). In 6H7SHXGGQW/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
KCR6TTQVGW KCR6TTQVGW
| URI | m2://inv/KCR6TTQVGW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#1M5J (definition)
History
- 2026-11-02: add by m2/v0.6.18
KCRD9NSWW0 KCRD9NSWW0
| URI | m2://inv/KCRD9NSWW0 |
|---|---|
| Kind | definition |
| 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.12108#UI7L (definition). In JQH3FHYPW3/e1, definition 2.24
History
- 2026-10-28: add by m2/v0.4.2
Spectrum of the forward shift KCREKYESVX
| URI | m2://inv/KCREKYESVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unilateral shift operator#X1VR, Spectrum of the forward shift (statement)
History
- 2026-11-02: add by m2/dev
KCRGG2X6VH KCRGG2X6VH
| URI | m2://inv/KCRGG2X6VH |
|---|---|
| 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.18106#3IKH (example). In VZDPG7NJCX/e1, example 3
History
- 2026-10-28: add by m2/v0.4.2
KCRGHNVH44 KCRGHNVH44
| URI | m2://inv/KCRGHNVH44 |
|---|---|
| Kind | conjecture |
| 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.17240#23I9 (conjecture). In 59BZ4V9RQW/e1, conjecture 1.7
History
- 2026-10-28: add by m2/v0.4.2
Spectral theorem for commuting translations KCRSP62226
| URI | m2://inv/KCRSP62226 |
|---|---|
| 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.18907#RGD3, Spectral theorem for commuting translations (statement). In 4SSZ4PF2P2/e1, theorem B.2
History
- 2026-10-28: add by m2/v0.4.2
Nonlinear tides KCRXNYG8EH
| URI | m2://inv/KCRXNYG8EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear tides, Nonlinear tides (definition). Also Wikidata Q112300537
History
- 2026-11-02: add by m2/dev
KCS2R2R43A KCS2R2R43A
| URI | m2://inv/KCS2R2R43A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#Z4PD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Parallel (curve) KCS3ZEG4SJ
| URI | m2://inv/KCS3ZEG4SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#2G3H, Parallel (curve) (definition)
History
- 2026-11-02: add by m2/dev
Donald Michie KCS6ZTZ66A
| URI | m2://inv/KCS6ZTZ66A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#C9FP, Donald Michie (unknown)
History
- 2026-11-02: add by m2/dev
volume form KCS9G2EPRB
| URI | m2://inv/KCS9G2EPRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q781415, volume form (unknown). Also MathWorld PermutationTensor, nLab volume form
- wikipedia: Wikipedia Volume form, Volume form (definition). Also Wikidata Q781415
History
- 2026-10-26: add by m2/dev
Bureau of Labor Statistics KCSBXA8K6V
| URI | m2://inv/KCSBXA8K6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bureau of Labor Statistics, Bureau of Labor Statistics (definition). Also Wikidata Q2928428
History
- 2026-11-02: add by m2/dev
WPA packet spoofing KCSCR90FZ6
| URI | m2://inv/KCSCR90FZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wi-Fi Protected Access#TQ3E, WPA packet spoofing (unknown)
History
- 2026-11-02: add by m2/dev
KCSE4B4A31 KCSE4B4A31
| URI | m2://inv/KCSE4B4A31 |
|---|---|
| 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 2011.12496#N80Z (statement). In 1DH15ZJFRZ/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Sibel Adalı KCSJ5W6RKQ
| URI | m2://inv/KCSJ5W6RKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XD3Y, Sibel Adalı (unknown)
History
- 2026-11-02: add by m2/dev
Special cases KCSJF4R374
| URI | m2://inv/KCSJF4R374 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chapman–Kolmogorov equation#3AVG, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Algebraic properties KCT35APEXB
| URI | m2://inv/KCT35APEXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein graphs#ADI2, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
dual KCT48HVEVQ
| URI | m2://inv/KCT48HVEVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#F8TD, dual (definition)
History
- 2026-11-02: add by m2/dev
regressive KCTMNSPF7P
| URI | m2://inv/KCTMNSPF7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VABA, regressive (definition)
History
- 2026-11-02: add by m2/dev
Aad Van der Vaart KCTR9SYADM
| URI | m2://inv/KCTR9SYADM |
|---|---|
| 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#SD9H, Aad Van der Vaart (unknown)
History
- 2026-11-02: add by m2/dev
KCTRDEKF5R KCTRDEKF5R
| URI | m2://inv/KCTRDEKF5R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03688#HGVS (example). In HMWJQY9NAP/e1, example 5
History
- 2026-10-29: add by m2/v0.4.12
Feigenbaum constants KCTTHY2Y6F
| URI | m2://inv/KCTTHY2Y6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Feigenbaum constants F1EHT2CPHC |
Mentions
- wikidata: Wikidata Q673184, Feigenbaum constants (unknown). Also MathWorld FeigenbaumConstant
- wikipedia: Wikipedia Feigenbaum constants, Feigenbaum constants (definition). Also Wikidata Q673184
History
- 2026-10-26: add by m2/dev
KCTYQCTWZF KCTYQCTWZF
| URI | m2://inv/KCTYQCTWZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.17116#3KDV (statement). In A02X6MX28Y/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Camillo De Lellis KCV02GMCCN
| URI | m2://inv/KCV02GMCCN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Camillo De Lellis, Camillo De Lellis (topic). Also Wikidata Q15238469
History
- 2026-11-02: add by m2/dev
Georg Aumann KCV6JD79EB
| URI | m2://inv/KCV6JD79EB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3B8W, Georg Aumann (unknown)
History
- 2026-11-02: add by m2/dev
Trace-back path KCV9Y4T4TY
| URI | m2://inv/KCV9Y4T4TY |
|---|---|
| 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#V5F0, Trace-back path (definition). In WD2NCBV9F0/e1, definition 15.6
History
- 2026-10-27: add by m2/v0.3.5
Hypothesis suggested by non-representative data KCVBSZ1TD3
| URI | m2://inv/KCVBSZ1TD3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data dredging#SQ59, Hypothesis suggested by non-representative data (statement)
History
- 2026-11-02: add by m2/dev
Mahler's theorem KCVS1583KW
| URI | m2://inv/KCVS1583KW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527118, Mahler's theorem (statement). Also Mathlib PadicInt.hasSum_mahler, Wikidata Q3527118
- thousand_plus: thousand_plus Q3527118, Mahler's theorem (statement). Also Mathlib PadicInt.hasSum_mahler, Wikidata Q3527118, Wikipedia Mahler's theorem
- wikipedia: Wikipedia Mahler's theorem, Mahler's theorem (statement). Also Wikidata Q3527118
History
- 2026-10-26: add by m2/dev
great rhombicuboctahedral graph KCVZFKCGT9
| URI | m2://inv/KCVZFKCGT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115467, great rhombicuboctahedral graph (unknown). Also House of Graphs 1124, MathWorld GreatRhombicuboctahedralGraph
History
- 2026-10-26: add by m2/dev
KCVZHHD132 KCVZHHD132
| URI | m2://inv/KCVZHHD132 |
|---|---|
| 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.17442#CDQW (statement). In 6ADGJ51W1P/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
Arithmetical hierarchy KCW2KD6GTD
| URI | m2://inv/KCW2KD6GTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetical hierarchy, Arithmetical hierarchy (definition). Also Wikidata Q669094
History
- 2026-11-02: add by m2/dev
irreducible matrix KCW6ZYTGQX
| URI | m2://inv/KCW6ZYTGQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2731964, irreducible matrix (unknown). Also MathWorld IrreducibleMatrix
History
- 2026-10-26: add by m2/dev
Termination KCWD9NQ4K6
| URI | m2://inv/KCWD9NQ4K6 |
|---|---|
| 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.28160#I7GP, Termination (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy distribution KCWG3QJ46J
| URI | m2://inv/KCWG3QJ46J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XQIB, Cauchy distribution (definition)
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#M7YI, Cauchy distribution (definition)
History
- 2026-11-02: add by m2/dev
List of harmonic analysis topics KCWG7794B3
| URI | m2://inv/KCWG7794B3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#QSMV, List of harmonic analysis topics (topic)
History
- 2026-11-02: add by m2/dev
KCWHSEG9JK KCWHSEG9JK
| URI | m2://inv/KCWHSEG9JK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03730#CON7 (definition). In 5YE2W9BE0M/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
KCWKAMR5H0 KCWKAMR5H0
| URI | m2://inv/KCWKAMR5H0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-74 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
KCWM6MZBS3 KCWM6MZBS3
| URI | m2://inv/KCWM6MZBS3 |
|---|---|
| Kind | definition |
| 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.02833#SM4A (definition). In TNREX5GDK2/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
A basis of the updated eigenspace KCX0ETXCP8
| URI | m2://inv/KCX0ETXCP8 |
|---|---|
| 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.14310#G41A, A basis of the updated eigenspace (statement). In 8GSG7024NW/e1, corollary 6.5
History
- 2026-10-28: add by m2/v0.4.2
Barycentric coordinates KCX3VJA8WH
| URI | m2://inv/KCX3VJA8WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#OWUI, Barycentric coordinates (definition)
History
- 2026-11-02: add by m2/dev
Mobile recommender system KCX42BD4E5
| URI | m2://inv/KCX42BD4E5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recommender system#0NL0, Mobile recommender system (unknown)
History
- 2026-11-02: add by m2/dev
KCXGPXJH7M KCXGPXJH7M
| URI | m2://inv/KCXGPXJH7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#B95X (statement). In RTE2C0PH4S/e1, corollary
History
- 2026-10-28: add by m2/v0.4.2
Self-reference puzzle KCXJ5CFH8B
| URI | m2://inv/KCXJ5CFH8B |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-reference puzzle, Self-reference puzzle (problem). Also Wikidata Q7448190
History
- 2026-11-02: add by m2/dev
KCXJW3XQM9 KCXJW3XQM9
| URI | m2://inv/KCXJW3XQM9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#Z13K (example). In PREJREM4BB/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.2
H graph KCXV2AHXK2
| URI | m2://inv/KCXV2AHXK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131369341, H graph (unknown). Also House of Graphs 334, MathWorld HGraph
History
- 2026-10-26: add by m2/dev
KCXZ0N28FM KCXZ0N28FM
| URI | m2://inv/KCXZ0N28FM |
|---|---|
| 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.00292#PC98 (statement). In NX3EFW0D0X/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
KCY1SF0GPG KCY1SF0GPG
| URI | m2://inv/KCY1SF0GPG |
|---|---|
| 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 2412.14956#LXFY (statement). In T8BQ6HHZYT/e1, theorem 6.11
History
- 2026-10-27: add by m2/v0.3.5
KCY283X77B KCY283X77B
| URI | m2://inv/KCY283X77B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#K8UA (definition). In CGNVT4C47F/e1, definition 1.2
History
- 2026-10-31: add by m2/v0.5.6
KCY53X2HFN KCY53X2HFN
| URI | m2://inv/KCY53X2HFN |
|---|---|
| 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.08288#BACA (statement). In CHVWYJM7RM/e1, lemma 4.19
History
- 2026-10-29: add by m2/v0.4.10
KCY599744P KCY599744P
| URI | m2://inv/KCY599744P |
|---|---|
| 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.27788#91UQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
KCYBSHAMNE KCYBSHAMNE
| URI | m2://inv/KCYBSHAMNE |
|---|---|
| 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#6PFE (statement). In AQX7DGD360/e1, lemma 6.19
History
- 2026-10-28: add by m2/v0.4.2
series, infinite geometric, sum of KCYE08BTWH
| URI | m2://inv/KCYE08BTWH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/8.1/series-infinite-geometric-sum-of, series, infinite geometric, sum of (concept). In QKM9DD2H56, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
High eigenfunctions are cosines from their walls; wall coefficients grow linearly KCYKTVQ2KN
| URI | m2://inv/KCYKTVQ2KN |
|---|---|
| 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.22384#5GEA, High eigenfunctions are cosines from their walls; wall coefficients grow linearly (statement)
History
- 2026-11-02: add by m2/v0.6.17
Extraordinary cohomology theory KCYKX3PABJ
| URI | m2://inv/KCYKX3PABJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#BGM9, Extraordinary cohomology theory (definition)
History
- 2026-11-02: add by m2/dev
KCYQ58X1J6 KCYQ58X1J6
| URI | m2://inv/KCYQ58X1J6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#DCUQ (statement). In W5XRKWDADE/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.4.2
Properties KCYR972YKP
| URI | m2://inv/KCYR972YKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clebsch surface#RAZ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
state diagram KCYS5H8BMR
| URI | m2://inv/KCYS5H8BMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q230885, state diagram (unknown). Also MathWorld StateDiagram
- wikipedia: Wikipedia State diagram, State diagram (definition). Also Wikidata Q230885
History
- 2026-10-26: add by m2/dev
KCYWVQ87EK KCYWVQ87EK
| URI | m2://inv/KCYWVQ87EK |
|---|---|
| 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.13875#HQ8I (statement). In W6FK624JRQ/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
KCYZVXWSDH KCYZVXWSDH
| URI | m2://inv/KCYZVXWSDH |
|---|---|
| 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.36717#W53L (statement). In 69FBWG9P3B/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Joseph L. Walsh KCZ0834Z2G
| URI | m2://inv/KCZ0834Z2G |
|---|---|
| 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#7D53, Joseph L. Walsh (topic)
History
- 2026-11-02: add by m2/dev
KCZ0M1KYGY KCZ0M1KYGY
| URI | m2://inv/KCZ0M1KYGY |
|---|---|
| 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#ZLCD (definition). In 46370P3Y9S/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.4.2
KCZ4MC44RR KCZ4MC44RR
| URI | m2://inv/KCZ4MC44RR |
|---|---|
| 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.09510#SMV1 (statement). In JR1HE83H93/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
KCZ83XS361 KCZ83XS361
| URI | m2://inv/KCZ83XS361 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zorn-lemma.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 94.6
History
- 2026-11-01: add by m2/v0.6.13
Stone–von Neumann theorem KCZHZH0PME
| URI | m2://inv/KCZHZH0PME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillator representation#E1MD, Stone–von Neumann theorem (statement)
History
- 2026-11-02: add by m2/dev
Ana Caraiani KCZJYA0SRB
| URI | m2://inv/KCZJYA0SRB |
|---|---|
| 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#JP5K, Ana Caraiani (topic)
History
- 2026-11-02: add by m2/dev
Littletown KCZK1GTTB4
| URI | m2://inv/KCZK1GTTB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#PGVP, Littletown (unknown)
History
- 2026-11-02: add by m2/dev
KCZNZ4G4JC KCZNZ4G4JC
| URI | m2://inv/KCZNZ4G4JC |
|---|---|
| Kind | problem |
| 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.20915#5MX9 (problem). In 5M1SXP75D9/e1, problem 7.5
History
- 2026-10-27: add by m2/v0.4.2
KCZW3ZC7AT KCZW3ZC7AT
| URI | m2://inv/KCZW3ZC7AT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.26588#LWQR (statement)
History
- 2026-11-01: add by m2/v0.6.15