Inventory rows 2D
The cards of the rows of the inventory whose ids start with 2D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
{1}, {2}, ...,{n} 2D057K36W4
| URI | m2://inv/2D057K36W4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#DUYI, {1}, {2}, ...,{n} (definition)
History
- 2026-11-02: add by m2/dev
Stochastic geometrically exact beam 2D05AMR271
| URI | m2://inv/2D05AMR271 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14717#P7RV, Stochastic geometrically exact beam (example). In ZB2QPB5EBN/e1, example 4.7
History
- 2026-10-28: add by m2/v0.4.2
2D0DXFXPZ8 2D0DXFXPZ8
| URI | m2://inv/2D0DXFXPZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16180#PT6Y (statement). In FCFD59D3T6/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Formulation 2D0FDYW9AJ
| URI | m2://inv/2D0FDYW9AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression dilution#E39V, Formulation (definition)
History
- 2026-11-02: add by m2/dev
2D0GNR342E 2D0GNR342E
| URI | m2://inv/2D0GNR342E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#2WG1 (statement). In QAH7SV1JT6/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
2D0KW82P7K 2D0KW82P7K
| URI | m2://inv/2D0KW82P7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#PRSX (statement). In 6VVK3YTABP/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.3
2D0PZ9J1FD 2D0PZ9J1FD
| URI | m2://inv/2D0PZ9J1FD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#7HR3 (definition). In S1KHNS8XQM/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.2
DAE-aware CBF verification 2D0SMKHE9Q
| URI | m2://inv/2D0SMKHE9Q |
|---|---|
| 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.09634#SU0N, DAE-aware CBF verification (statement). In FH42QK814C/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Related results 2D0WMB03JQ
| URI | m2://inv/2D0WMB03JQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maekawa's theorem#8INR, Related results (statement)
History
- 2026-11-02: add by m2/dev
Symmetry 2D0ZPCJQA7
| URI | m2://inv/2D0ZPCJQA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-order apeirogonal tiling#XYH4, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Least extremal row for $p^a+1$ 2D1268Q1CF
| URI | m2://inv/2D1268Q1CF |
|---|---|
| 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.01328#5WZ2, Least extremal row for $p^a+1$ (statement). In GNY2MTPWW6/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
Manifold Destiny 2D13MARYNX
| URI | m2://inv/2D13MARYNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manifold Destiny, Manifold Destiny (definition). Also Wikidata Q4298891
History
- 2026-11-02: add by m2/dev
2D14B9HC7D 2D14B9HC7D
| URI | m2://inv/2D14B9HC7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#7HKG (statement). In GYMGDQS25R/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
2D19VH7N1Q 2D19VH7N1Q
| URI | m2://inv/2D19VH7N1Q |
|---|---|
| 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.19358#EZ38 (statement). In N3QZZ7BD0V/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
2D1A2MK35Q 2D1A2MK35Q
| URI | m2://inv/2D1A2MK35Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#93NT (statement). In D0F1GK5AHW/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.10
Vuong's closeness test 2D1BAND7EW
| URI | m2://inv/2D1BAND7EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D05O, Vuong's closeness test (definition)
History
- 2026-11-02: add by m2/dev
Limit group 2D1BJDYWCZ
| URI | m2://inv/2D1BJDYWCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit group, Limit group (definition). Also Wikidata Q136259829
History
- 2026-11-02: add by m2/dev
Applications 2D1JAMYZEV
| URI | m2://inv/2D1JAMYZEV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kampé de Fériet function#OQZR, Applications (example)
History
- 2026-11-02: add by m2/dev
2D1KBAVVCG 2D1KBAVVCG
| URI | m2://inv/2D1KBAVVCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37562#8W0T (statement). In PYY8DFK2JS/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Tel Sheva 2D1KJQWBT5
| URI | m2://inv/2D1KJQWBT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5IRK, Tel Sheva (unknown)
History
- 2026-11-02: add by m2/dev
Akiva Yaglom 2D1KM3ZWMA
| URI | m2://inv/2D1KM3ZWMA |
|---|---|
| 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 Q419464, Akiva Yaglom (unknown). Also ProofWiki Mathematician:Akiva_Moiseyevich_Yaglom
- wikipedia: Wikipedia Akiva Yaglom, Akiva Yaglom (topic). Also Wikidata Q419464
History
- 2026-10-26: add by m2/dev
Ring signature 2D1KRSWC35
| URI | m2://inv/2D1KRSWC35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring signature, Ring signature (definition). Also Wikidata Q3483645
History
- 2026-11-02: add by m2/dev
Demographics of Generation Alpha 2D1QZDAQ7H
| URI | m2://inv/2D1QZDAQ7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Generation Alpha, Demographics of Generation Alpha (definition). Also Wikidata Q115829133
History
- 2026-11-02: add by m2/dev
Statement of the theorem 2D1T9B832Z
| URI | m2://inv/2D1T9B832Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rellich–Kondrachov theorem#1MS1, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
2D1V5PFJVB 2D1V5PFJVB
| URI | m2://inv/2D1V5PFJVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#AFEN (statement). In 6HJQXZS0A6/e1, theorem 1.30
History
- 2026-10-29: add by m2/v0.4.12
Solvability and Archimedean axioms 2D1ZGQMSJF
| URI | m2://inv/2D1ZGQMSJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of conjoint measurement#W7CJ, Solvability and Archimedean axioms (statement)
History
- 2026-11-02: add by m2/dev
Gil Hayward 2D1ZNSMM61
| URI | m2://inv/2D1ZNSMM61 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gil Hayward, Gil Hayward (topic). Also Wikidata Q50360119
History
- 2026-11-02: add by m2/dev
Axiom of union 2D21HE6E9D
| URI | m2://inv/2D21HE6E9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#A2Y5, Axiom of union (statement)
History
- 2026-11-02: add by m2/dev
2D27BSDBTV 2D27BSDBTV
| URI | m2://inv/2D27BSDBTV |
|---|---|
| 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#SG3L (statement). In 9WFSTGMQ4E/e1, lemma 5.12
History
- 2026-10-30: add by m2/v0.4.12
Eisenstein's criterion 2D2A6SPB20
| URI | m2://inv/2D2A6SPB20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Eisenstein's criterion 02BPKD7TMD |
Mentions
- wikidata: Wikidata Q1057416, Eisenstein's criterion (statement). Also MathWorld EisensteinsIrreducibilityCriterion
- wikipedia: Wikipedia Eisenstein's criterion, Eisenstein's criterion (statement). Also Wikidata Q1057416
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Nonsmooth $\ell_{\p}/\ell_{\q}$ optimization 2D2E3B01PY
| URI | m2://inv/2D2E3B01PY |
|---|---|
| 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.20701#QTY2, Nonsmooth $\ell_{\p}/\ell_{\q}$ optimization (statement)
History
- 2026-11-02: add by m2/v0.6.18
Higher-order polymorphic lambda calculus 2D2E60FRGT
| URI | m2://inv/2D2E60FRGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System F#A52R, Higher-order polymorphic lambda calculus (unknown)
History
- 2026-11-02: add by m2/dev
2D2EJ0F577 2D2EJ0F577
| URI | m2://inv/2D2EJ0F577 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-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.20966#8Y4K (definition). In TXDVZT65Q0/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
2D2HKBWH2T 2D2HKBWH2T
| URI | m2://inv/2D2HKBWH2T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#MNKR (definition)
History
- 2026-11-01: add by m2/v0.6.15
2D2QYH7W8C 2D2QYH7W8C
| URI | m2://inv/2D2QYH7W8C |
|---|---|
| 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.38138#GCIT (statement). In G97FA99ZEF/e1, proposition 3.13
History
- 2026-10-30: add by m2/v0.4.12
Wess–Zumino–Witten model 2D2X70APYS
| URI | m2://inv/2D2X70APYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#52LT, Wess–Zumino–Witten model (definition)
History
- 2026-11-02: add by m2/dev
String-oriented 2D2XSXGRBF
| URI | m2://inv/2D2XSXGRBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String (computer science)#G9PM, String-oriented (unknown)
History
- 2026-11-02: add by m2/dev
2D31R1VBYQ 2D31R1VBYQ
| URI | m2://inv/2D31R1VBYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#L5R7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Minerva Cordero 2D31SS8440
| URI | m2://inv/2D31SS8440 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minerva Cordero, Minerva Cordero (topic). Also Wikidata Q29453041
History
- 2026-11-02: add by m2/dev
2D34SNRFPG 2D34SNRFPG
| URI | m2://inv/2D34SNRFPG |
|---|---|
| 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.33050#86QT (statement). In VDSBMQ0G9W/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
2D368DHTTM 2D368DHTTM
| URI | m2://inv/2D368DHTTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 1012.0963#I2BV (statement). In TSA766V8F8/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
2D36B4EMW0 2D36B4EMW0
| URI | m2://inv/2D36B4EMW0 |
|---|---|
| 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 2404.05965#NHIN (statement). In GD1GED3FZ3/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.5
Degrees of freedom (statistics) 2D3A6Q5SYW
| URI | m2://inv/2D3A6Q5SYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SIZJ, Degrees of freedom (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Length-$n$ graph 2D3A98BKJQ
| URI | m2://inv/2D3A98BKJQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#MTYA, Length-$n$ graph (definition). In N7XJ16700B/e1, definition 10
History
- 2026-10-29: add by m2/v0.4.10
Applications 2D3CPDA4EF
| URI | m2://inv/2D3CPDA4EF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belyi's theorem#MQGJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Data fusion 2D3K9JWGYC
| URI | m2://inv/2D3K9JWGYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DN2A, Data fusion (definition)
History
- 2026-11-02: add by m2/dev
Ellis Robert Kolchin 2D3NBD6ZRN
| URI | m2://inv/2D3NBD6ZRN |
|---|---|
| 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#3XGJ, Ellis Robert Kolchin (topic)
History
- 2026-11-02: add by m2/dev
Hecke congruence subgroup 2D3Q0R2SA9
| URI | m2://inv/2D3Q0R2SA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#9678, Hecke congruence subgroup (definition)
History
- 2026-11-02: add by m2/dev
Moist adiabatic lapse rate 2D457A66A4
| URI | m2://inv/2D457A66A4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lapse rate#XVEK, Moist adiabatic lapse rate (unknown)
History
- 2026-11-02: add by m2/dev
Artificial neuron 2D4H5B0KXK
| URI | m2://inv/2D4H5B0KXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artificial neuron, Artificial neuron (definition). Also Wikidata Q177058
History
- 2026-11-02: add by m2/dev
2D4HD2QPA1 2D4HD2QPA1
| URI | m2://inv/2D4HD2QPA1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-quantifiers.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.9
History
- 2026-11-01: add by m2/v0.6.13
developable surface 2D4HQWCRV4
| URI | m2://inv/2D4HQWCRV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Developable surface YKVHDB52XW |
Mentions
- wikidata: Wikidata Q336298, developable surface (unknown). Also MathWorld DevelopableSurface
- wikipedia: Wikipedia Developable surface, Developable surface (definition). Also Wikidata Q336298
History
- 2026-10-26: add by m2/dev
Examples 2D4PB5AFQ4
| URI | m2://inv/2D4PB5AFQ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy#W68N, Examples (example)
History
- 2026-11-02: add by m2/dev
2D50BE6AWJ 2D50BE6AWJ
| URI | m2://inv/2D50BE6AWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#GD6J (statement). In 9604WYX0BW/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.3
Representations 2D5EGAX164
| URI | m2://inv/2D5EGAX164 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean vector#06OO, Representations (definition)
History
- 2026-11-02: add by m2/dev
2D5GKNERZ6 2D5GKNERZ6
| URI | m2://inv/2D5GKNERZ6 |
|---|---|
| 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.25880#WTYS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reflection of satedness via dense envelopes 2D5GYCSCM4
| URI | m2://inv/2D5GYCSCM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#7DSD, Reflection of satedness via dense envelopes (statement). In HX63A1PH1W/e1, proposition 5.47
History
- 2026-10-28: add by m2/v0.4.3
Definition 2D5KW1QBNK
| URI | m2://inv/2D5KW1QBNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directed graph#8Z3U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Nick Manton 2D5QETF3CZ
| URI | m2://inv/2D5QETF3CZ |
|---|---|
| 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 Q1984937, Nick Manton (unknown). Also nLab Nicholas Manton
History
- 2026-10-26: add by m2/dev
2D5QJW821S 2D5QJW821S
| URI | m2://inv/2D5QJW821S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2609.25761#Y94R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Superparabola 2D5ZWJ10T4
| URI | m2://inv/2D5ZWJ10T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superparabola, Superparabola (definition). Also Wikidata Q22095812
History
- 2026-11-02: add by m2/dev
Applications 2D623ER93D
| URI | m2://inv/2D623ER93D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chernoff bound#7HZD, Applications (example)
History
- 2026-11-02: add by m2/dev
2D678FPTR5 2D678FPTR5
| URI | m2://inv/2D678FPTR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#SHZI (statement). In A93R925Z24/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
2D67DY85HC 2D67DY85HC
| URI | m2://inv/2D67DY85HC |
|---|---|
| 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 2303.10636#TMHG (statement). In 9SV2RAEPXM/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.6
Cartan–Weyl theory 2D6EYRN4R0
| URI | m2://inv/2D6EYRN4R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#LKWA, Cartan–Weyl theory (definition)
- wikipedia: Wikipedia List of things named after Hermann Weyl#3CXA, Cartan–Weyl theory (definition)
History
- 2026-11-02: add by m2/dev
2D6JGJMZCY 2D6JGJMZCY
| URI | m2://inv/2D6JGJMZCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#BR1J (statement)
History
- 2026-11-01: add by m2/v0.6.15
cofinality 2D6K4VXKSC
| URI | m2://inv/2D6K4VXKSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Cofinality BAWHE1W6MH |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Cardinals > cofinality, cofinality (unknown). Also Mathlib Order.cof
- wikidata: Wikidata Q1283623, cofinality (definition). Also Mathlib Order.cof, nLab cofinality, ProofWiki Definition:Cofinality
- wikipedia: Wikipedia Cofinality, Cofinality (definition). Also Wikidata Q1283623
History
- 2026-10-26: add by m2/dev
Subgradient of the Lorentzian distance to a point 2D6MSJ13MW
| URI | m2://inv/2D6MSJ13MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#JX3F, Subgradient of the Lorentzian distance to a point (statement). In VCHH2AC34R/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Generalization 2D6QDR47ZC
| URI | m2://inv/2D6QDR47ZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binet–Cauchy identity#XL5L, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Shadow 2D6X5Y6RPD
| URI | m2://inv/2D6X5Y6RPD |
|---|---|
| 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.14562#AQIR, Shadow (definition). In G4XMZ452QE/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
2D72QZ369K 2D72QZ369K
| URI | m2://inv/2D72QZ369K |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#6RLL (unknown). In QNBFHFZ3H0/e1, unknown 23
History
- 2026-10-28: add by m2/v0.4.2
2D75EACBEQ 2D75EACBEQ
| URI | m2://inv/2D75EACBEQ |
|---|---|
| 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.08664#6VXI (statement). In 1YY0P4ZS0T/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
UOWHF 2D774105PZ
| URI | m2://inv/2D774105PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#JNSU, UOWHF (definition)
History
- 2026-11-02: add by m2/dev
2D7DEYNTVY 2D7DEYNTVY
| URI | m2://inv/2D7DEYNTVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.08176#OEZQ (statement). In SYGR43673J/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
Joris van der Hoeven 2D7N69VSRP
| URI | m2://inv/2D7N69VSRP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joris van der Hoeven, Joris van der Hoeven (topic). Also Wikidata Q30529466
History
- 2026-11-02: add by m2/dev
European Women in Mathematics 2D7SZCA0M0
| URI | m2://inv/2D7SZCA0M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Women in Mathematics, European Women in Mathematics (definition). Also Wikidata Q56686052
History
- 2026-11-02: add by m2/dev
Hellenic Mathematical Society 2D7W8QZ5NF
| URI | m2://inv/2D7W8QZ5NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hellenic Mathematical Society, Hellenic Mathematical Society (definition). Also Wikidata Q5707247
History
- 2026-11-02: add by m2/dev
Omega-regular language 2D7XFBAK76
| URI | m2://inv/2D7XFBAK76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega-regular language, Omega-regular language (definition). Also Wikidata Q309558
History
- 2026-11-02: add by m2/dev
Notation 2D80Q14JT0
| URI | m2://inv/2D80Q14JT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#XEP2, Notation (definition)
History
- 2026-11-02: add by m2/dev
2D813RZ2MP 2D813RZ2MP
| URI | m2://inv/2D813RZ2MP |
|---|---|
| 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.32599#QUKI (statement). In E1Y93JNBJA/e1, lemma 1.20
History
- 2026-10-31: add by m2/v0.5.6
2D83R2MHEK 2D83R2MHEK
| URI | m2://inv/2D83R2MHEK |
|---|---|
| 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.23327#4W20 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Shanghai Institute for Mathematics and Interdisciplinary Sciences 2D871PDMDR
| URI | m2://inv/2D871PDMDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shanghai Institute for Mathematics and Interdisciplinary Sciences, Shanghai Institute for Mathematics and Interdisciplinary Sciences (definition). Also Wikidata Q126902608
History
- 2026-11-02: add by m2/dev
Basic formulas 2D88BYGRZB
| URI | m2://inv/2D88BYGRZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar curvature#2EKB, Basic formulas (statement)
History
- 2026-11-02: add by m2/dev
Thomas Ward 2D89F9KZ17
| URI | m2://inv/2D89F9KZ17 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Ward (mathematician), Thomas Ward (topic). Also Wikidata Q14465793
History
- 2026-11-02: add by m2/dev
2D8GFPVZY8 2D8GFPVZY8
| URI | m2://inv/2D8GFPVZY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#6BN3 (statement). In V5PVKDKGGG/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
Hardy–Ramanujan theorem 2D8HM5GEVT
| URI | m2://inv/2D8HM5GEVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5656674, Hardy–Ramanujan theorem (statement). Also Wikidata Q5656674
- thousand_plus: thousand_plus Q5656674, Hardy–Ramanujan theorem (statement). Also Wikidata Q5656674, Wikipedia Hardy–Ramanujan theorem
- wikidata: Wikidata Q5656674, Hardy–Ramanujan theorem (statement). Also MathWorld Hardy-RamanujanTheorem
- wikipedia: Wikipedia Hardy–Ramanujan theorem, Hardy–Ramanujan theorem (statement). Also Wikidata Q5656674
History
- 2026-10-26: add by m2/dev
Symmetries 2D8MYD4Z0T
| URI | m2://inv/2D8MYD4Z0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of three octahedra#BJZX, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
2D8R5T2K36 2D8R5T2K36
| URI | m2://inv/2D8R5T2K36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#PF9N (statement). In MS7M2BJS9X/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
First variation 2D8RSKCYZC
| URI | m2://inv/2D8RSKCYZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#M5QT, First variation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shahn Majid 2D90M79E7Z
| URI | m2://inv/2D90M79E7Z |
|---|---|
| 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 Q7461825, Shahn Majid (unknown). Also nLab Shahn Majid
History
- 2026-10-26: add by m2/dev
2D93KH0NST 2D93KH0NST
| URI | m2://inv/2D93KH0NST |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-117 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
2D97JFRW85 2D97JFRW85
| URI | m2://inv/2D97JFRW85 |
|---|---|
| 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 2609.28669#WGZU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 2D9C15SXPD
| URI | m2://inv/2D9C15SXPD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel measure#8D2R, Applications (example)
History
- 2026-11-02: add by m2/dev
2D9F7W3PDE 2D9F7W3PDE
| URI | m2://inv/2D9F7W3PDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#VKYG (statement). In P3HWTYFDBX/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.12
linear representation 2D9H6BTQ9Q
| URI | m2://inv/2D9H6BTQ9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77978698, linear representation (unknown). Also nLab linear representation
History
- 2026-10-26: add by m2/dev
The method 2D9HFR6PDT
| URI | m2://inv/2D9HFR6PDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secant method#RWR4, The method (definition)
History
- 2026-11-02: add by m2/dev
False positive 2D9HR41DK1
| URI | m2://inv/2D9HR41DK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BM3B, False positive (definition)
History
- 2026-11-02: add by m2/dev
Mesh invariance of reproductive potential 2DA27637B2
| URI | m2://inv/2DA27637B2 |
|---|---|
| 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.15466#NFFR, Mesh invariance of reproductive potential (statement). In KJ7V6XG4M7/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
2DA43TGBH8 2DA43TGBH8
| URI | m2://inv/2DA43TGBH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#3NGV (statement). In WAXS6FS388/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Markov partition 2DAAQYYQTV
| URI | m2://inv/2DAAQYYQTV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#ZD72, Markov partition (definition). In DDNP38CHQJ/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
continuity of the sum of a series of functions 2DAAYNX37K
| URI | m2://inv/2DAAYNX37K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > continuity of the sum of a series of functions, continuity of the sum of a series of functions (unknown). Also Mathlib continuous_tsum
History
- 2026-10-26: add by m2/dev
2DADRG14EB 2DADRG14EB
| URI | m2://inv/2DADRG14EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#JEQV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spectral product rule 2DAG7ABTPP
| URI | m2://inv/2DAG7ABTPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#SHGA, Spectral product rule (statement). In 7GMD8J4200/e1, theorem 12
History
- 2026-10-27: add by m2/v0.4.2
2DAJ1FAM48 2DAJ1FAM48
| URI | m2://inv/2DAJ1FAM48 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-13 (proof). In E59CDZA4DP, proof, section 5.3.3
History
- 2026-11-01: add by m2/v0.6.13
2DAK025NJ2 2DAK025NJ2
| URI | m2://inv/2DAK025NJ2 |
|---|---|
| Kind | statement |
| 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 2109.09268#B66S (statement). In SYZFEVFHC3/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
789 (number) 2DAK7SASQ5
| URI | m2://inv/2DAK7SASQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#6OSW, 789 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Examples 2DAM9Y99S9
| URI | m2://inv/2DAM9Y99S9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally constant function#YKS9, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 2DAPAQAWVK
| URI | m2://inv/2DAPAQAWVK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mealy machine#TL90, Examples (example)
History
- 2026-11-02: add by m2/dev
2DAQ7F1SXH 2DAQ7F1SXH
| URI | m2://inv/2DAQ7F1SXH |
|---|---|
| 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.08682#SP8O (statement). In Y306A1GPM5/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
2DB09B8TR1 2DB09B8TR1
| URI | m2://inv/2DB09B8TR1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 4.8
History
- 2026-11-01: add by m2/v0.6.13
Construction 2DB7RF2ABE
| URI | m2://inv/2DB7RF2ABE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated square bipyramid#EPYD, Construction (definition)
History
- 2026-11-02: add by m2/dev
Valuation 2DB7RVABH4
| URI | m2://inv/2DB7RVABH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (geometry), Valuation (definition). Also Wikidata Q85812715
History
- 2026-11-02: add by m2/dev
2DBA8QJXKZ 2DBA8QJXKZ
| URI | m2://inv/2DBA8QJXKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25000#7EQN (statement)
History
- 2026-11-01: add by m2/v0.6.15
2DBA9XVSYK 2DBA9XVSYK
| URI | m2://inv/2DBA9XVSYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#22K3 (statement). In R03K2N7FRF/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
2DBAXNEZBE 2DBAXNEZBE
| URI | m2://inv/2DBAXNEZBE |
|---|---|
| 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.11056#MYND (statement). In 1NDB3SAG7K/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.3
Tachyon condensation 2DBBKN1C20
| URI | m2://inv/2DBBKN1C20 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#HJOE, Tachyon condensation (unknown)
History
- 2026-11-02: add by m2/dev
Caterpillars 2DBNP0BGZJ
| URI | m2://inv/2DBNP0BGZJ |
|---|---|
| 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 2211.04758#UEJU, Caterpillars (statement). In DRWDJG2G3S/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Formal definition 2DBPF6QTJH
| URI | m2://inv/2DBPF6QTJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov kernel#6XDU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Viète's formula 2DBW9XYERJ
| URI | m2://inv/2DBW9XYERJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viète's formula, Viète's formula (statement). Also Wikidata Q949597
History
- 2026-11-02: add by m2/dev
The kernel vector and spin of an $A_-$ class 2DBX2YG6CV
| URI | m2://inv/2DBX2YG6CV |
|---|---|
| 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 2610.18512#4RM3, The kernel vector and spin of an $A_-$ class (statement). In 11JNM66Z09/e1, theorem 14.1
History
- 2026-10-28: add by m2/v0.4.2
2DC0G69M7W 2DC0G69M7W
| URI | m2://inv/2DC0G69M7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30049#7FXS (statement)
History
- 2026-11-01: add by m2/v0.6.15
\coqident{MoreFoundations}{Wtypes}{subtrees 2DC3DJEPZQ
| URI | m2://inv/2DC3DJEPZQ |
|---|---|
| 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#VZGA, \coqident{MoreFoundations}{Wtypes}{subtrees (definition). In T1VFA7TXPA/e1, definition 75
History
- 2026-10-27: add by m2/v0.3.5
Integral point 2DCAD7QPDD
| URI | m2://inv/2DCAD7QPDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#70YQ, Integral point (unknown)
History
- 2026-11-02: add by m2/dev
2DCB587ZJ8 2DCB587ZJ8
| URI | m2://inv/2DCB587ZJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15019#U1EB (statement). In 9GWQN1DYM1/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
2DCDPBFTW1 2DCDPBFTW1
| URI | m2://inv/2DCDPBFTW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#IBII (statement). In 76850E2X7T/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.3
Free software for data analysis 2DCE592RQB
| URI | m2://inv/2DCE592RQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data analysis#F9Z1, Free software for data analysis (unknown)
History
- 2026-11-02: add by m2/dev
2DCERC37QG 2DCERC37QG
| URI | m2://inv/2DCERC37QG |
|---|---|
| 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.30302#I1D8 (statement). In R6ABTE22G0/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
Richard Askey 2DCQMM8DPS
| URI | m2://inv/2DCQMM8DPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#PTU3, Richard Askey (topic)
History
- 2026-11-02: add by m2/dev
Definitions 2DCR56Q5X0
| URI | m2://inv/2DCR56Q5X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian measure#556K, Definitions (definition)
History
- 2026-11-02: add by m2/dev
2DCTNARD42 2DCTNARD42
| URI | m2://inv/2DCTNARD42 |
|---|---|
| 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.03384#KY56 (definition). In J55JTTKG84/e1, definition 4.14
History
- 2026-10-29: add by m2/v0.4.12
2DCX36GBJX 2DCX36GBJX
| URI | m2://inv/2DCX36GBJX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.17135#KG9Y (definition). In 74MXJ2RX4B/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
2DD27TEPR8 2DD27TEPR8
| URI | m2://inv/2DD27TEPR8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-20 (proof). In E59CDZA4DP, proof, section 11.4.1
History
- 2026-11-01: add by m2/v0.6.13
Incomputable 2DD9ZVPX16
| URI | m2://inv/2DD9ZVPX16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable function#XH4E, Incomputable (unknown)
History
- 2026-11-02: add by m2/dev
2DDDBGPCTM 2DDDBGPCTM
| URI | m2://inv/2DDDBGPCTM |
|---|---|
| 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.35398#I8LE (statement). In NAJCCHYXR6/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
singular matrix 2DDK6HV88P
| URI | m2://inv/2DDK6HV88P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.2.5/singular-matrix, singular matrix (concept). In E9HS8K3A52, index, section 2.2.5
History
- 2026-11-01: add by m2/v0.6.13
Poisson formula in families 2DDTDH8ETX
| URI | m2://inv/2DDTDH8ETX |
|---|---|
| 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#7H1B, Poisson formula in families (statement). In KXXV5X8AG4/e1, proposition 1.6
History
- 2026-10-27: add by m2/v0.3.6
2DDWX9Y1T2 2DDWX9Y1T2
| URI | m2://inv/2DDWX9Y1T2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18324#X992 (statement). In C0EG2EY0M4/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Network range identities 2DDXQHEDZG
| URI | m2://inv/2DDXQHEDZG |
|---|---|
| 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.33021#9M3N, Network range identities (statement). In GG96DW33Q9/e1, lemma B.1
History
- 2026-10-31: add by m2/v0.5.6
Ann Trenk 2DE0HB31KQ
| URI | m2://inv/2DE0HB31KQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NUZQ, Ann Trenk (unknown)
History
- 2026-11-02: add by m2/dev
Norman Breslow 2DE4E9MA95
| URI | m2://inv/2DE4E9MA95 |
|---|---|
| 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#4JKZ, Norman Breslow (topic)
History
- 2026-11-02: add by m2/dev
2DE4WGJRBK 2DE4WGJRBK
| URI | m2://inv/2DE4WGJRBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40189#SRVE (statement). In K2MDWD9V46/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Reciprocal $p$-subslope 2DEHVK8H5D
| URI | m2://inv/2DEHVK8H5D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#Q17Z, Reciprocal $p$-subslope (definition). In KM3Q791JY0/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.4.2
Logical algebra of the repaired idempotent 2DEMPB9B8T
| URI | m2://inv/2DEMPB9B8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.40214#2O3V, Logical algebra of the repaired idempotent (statement). In XD603HRHKC/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
2DEXH3W6XP 2DEXH3W6XP
| URI | m2://inv/2DEXH3W6XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#RR9G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pierre Boutroux 2DEYRC16K9
| URI | m2://inv/2DEYRC16K9 |
|---|---|
| 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#APMA, Pierre Boutroux (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JFWB, Pierre Boutroux (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KNBJ, Pierre Boutroux (topic)
History
- 2026-11-02: add by m2/dev
Examples 2DEYZX3KSD
| URI | m2://inv/2DEYZX3KSD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary operation#8IVG, Examples (example)
History
- 2026-11-02: add by m2/dev
Definitions 2DF0XZYA64
| URI | m2://inv/2DF0XZYA64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov dimension#UE86, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Demographics of Albania 2DF66X8149
| URI | m2://inv/2DF66X8149 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Albania, Demographics of Albania (definition). Also Wikidata Q583150
History
- 2026-11-02: add by m2/dev
Richard Bellman 2DFF9SY775
| URI | m2://inv/2DFF9SY775 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EI1U, Richard Bellman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W5WC, Richard Bellman (topic)
History
- 2026-11-02: add by m2/dev
Generalization 2DFJNV06N8
| URI | m2://inv/2DFJNV06N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized integer gamma distribution#EIB7, Generalization (statement)
History
- 2026-11-02: add by m2/dev
2DFQBSV4N5 2DFQBSV4N5
| URI | m2://inv/2DFQBSV4N5 |
|---|---|
| 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.04935#LQ13 (statement). In 7WVPJVPQH2/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
2DFY4FP9QQ 2DFY4FP9QQ
| URI | m2://inv/2DFY4FP9QQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 13.3
History
- 2026-11-01: add by m2/v0.6.13
2DFYYNYE94 2DFYYNYE94
| URI | m2://inv/2DFYYNYE94 |
|---|---|
| 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 2609.35927#44C7 (statement). In 7S0DWBCNS8/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
2DFZPWTTGS 2DFZPWTTGS
| URI | m2://inv/2DFZPWTTGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#9FCR (statement). In 5E9G06XJKC/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
2DG11XXTJM 2DG11XXTJM
| URI | m2://inv/2DG11XXTJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36098#J4D7 (statement). In NRP62VNE58/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
2DGB6YDKXH 2DGB6YDKXH
| URI | m2://inv/2DGB6YDKXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10147#STPP (statement). In WZWGAG2FSN/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
Jeans mass 2DGBYBSED0
| URI | m2://inv/2DGBYBSED0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeans instability#ZCWF, Jeans mass (unknown)
History
- 2026-11-02: add by m2/dev
Dataplot 2DGGTJ7T9X
| URI | m2://inv/2DGGTJ7T9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dataplot, Dataplot (definition). Also Wikidata Q5227478
History
- 2026-11-02: add by m2/dev
2DGMF9991P 2DGMF9991P
| URI | m2://inv/2DGMF9991P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01783#GCGM (statement). In 8BKC3PVX9G/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Definiendum 2DGX4C5F9J
| URI | m2://inv/2DGX4C5F9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definition#I5D6, Definiendum (unknown)
History
- 2026-11-02: add by m2/dev
Commutative exponentiation 2DH1D5J64S
| URI | m2://inv/2DH1D5J64S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#EGIK, Commutative exponentiation (unknown)
History
- 2026-11-02: add by m2/dev
Electronic Journal of Linear Algebra 2DH1T7PZPP
| URI | m2://inv/2DH1T7PZPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic Journal of Linear Algebra, Electronic Journal of Linear Algebra (definition). Also Wikidata Q15225044
History
- 2026-11-02: add by m2/dev
Saturated Hull, $\Hull(T)$ 2DH20P2F8H
| URI | m2://inv/2DH20P2F8H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2401.13523#GY1E, Saturated Hull, $\Hull(T)$ (definition). In DDA62XQTWW/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Kazimierz Kuratowski 2DH5M5RQFK
| URI | m2://inv/2DH5M5RQFK |
|---|---|
| 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 Q161846, Kazimierz Kuratowski (unknown). Also nLab Kazimierz Kuratowski
- wikipedia: Wikipedia Kazimierz Kuratowski, Kazimierz Kuratowski (topic). Also Wikidata Q161846
History
- 2026-10-26: add by m2/dev
2DH7S7Y20C 2DH7S7Y20C
| URI | m2://inv/2DH7S7Y20C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#KW39 (statement). In 9704QPRPR6/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Two-pair stratum in arbitrary fixed dimension 2DHC12K7WN
| URI | m2://inv/2DHC12K7WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#S0S0, Two-pair stratum in arbitrary fixed dimension (statement). In QPJ6FWG5HD/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.12
2DHJNZFB9N 2DHJNZFB9N
| URI | m2://inv/2DHJNZFB9N |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24463#Q5J9 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Definition 2DHJVMST9G
| URI | m2://inv/2DHJVMST9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelman-Rubin statistic#ZTGM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Borel fixed point theorem, III.10.4 2DHRXCS6JF
| URI | m2://inv/2DHRXCS6JF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#45ZI, Borel fixed point theorem, III.10.4 (statement). In 78X5SKJX8J/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
adjoint, functor 2DHXDK3V01
| URI | m2://inv/2DHXDK3V01 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/adjoint-functor, adjoint, functor (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Lindeberg CLT 2DHXF1TK08
| URI | m2://inv/2DHXF1TK08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#IJIN, Lindeberg CLT (statement). In P0HKF5DY7M/e1, theorem C.1
History
- 2026-10-27: add by m2/v0.3.5
2DHXPW82XS 2DHXPW82XS
| URI | m2://inv/2DHXPW82XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00625#HYTC (statement). In BGA625B7W1/e1, proposition 1.7
History
- 2026-10-30: add by m2/v0.4.12
Dually truncated partition Lie algebroids 2DJ2WAPZ97
| URI | m2://inv/2DJ2WAPZ97 |
|---|---|
| Kind | definition |
| 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 2610.20801#B3E8, Dually truncated partition Lie algebroids (definition). In A1GWWGRXPA/e1, definition 1.16
History
- 2026-10-27: add by m2/v0.4.2
2DJ5V8TM7F 2DJ5V8TM7F
| URI | m2://inv/2DJ5V8TM7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#U15A (statement)
History
- 2026-11-01: add by m2/v0.6.15
2DJHRXQXKR 2DJHRXQXKR
| URI | m2://inv/2DJHRXQXKR |
|---|---|
| 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 2211.04758#W22Z (statement). In DRWDJG2G3S/e1, theorem 1.10
History
- 2026-10-27: add by m2/v0.3.5
2DJJGGM5GR 2DJJGGM5GR
| URI | m2://inv/2DJJGGM5GR |
|---|---|
| Kind | example |
| 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.35691#8D25 (example). In G7R61RPWE2/e1, example 3.10
History
- 2026-10-30: add by m2/v0.4.12
Examples 2DJNHKHW4R
| URI | m2://inv/2DJNHKHW4R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system#2QNS, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples of contour integration 2DJPZ5X6XM
| URI | m2://inv/2DJPZ5X6XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#MXA5, Examples of contour integration (definition)
- wikipedia: Wikipedia List of mathematical examples#YWX8, Examples of contour integration (definition)
History
- 2026-11-02: add by m2/dev
2DJRKRK9VC 2DJRKRK9VC
| URI | m2://inv/2DJRKRK9VC |
|---|---|
| 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#W0YT (statement). In TC5QA4AB4Z/e1, proposition 4.25
History
- 2026-10-30: add by m2/v0.4.12
2DK0203YE4 2DK0203YE4
| URI | m2://inv/2DK0203YE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#YD0H (statement). In GMRT5GHBZS/e1, lemma C.6
History
- 2026-10-29: add by m2/v0.4.10
2DK1PHQDDK 2DK1PHQDDK
| URI | m2://inv/2DK1PHQDDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#HQPS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 2DK6PXSJTY
| URI | m2://inv/2DK6PXSJTY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K shortest path routing#KE2W, Applications (example)
History
- 2026-11-02: add by m2/dev
2DK7M746QM 2DK7M746QM
| URI | m2://inv/2DK7M746QM |
|---|---|
| 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.18270#Z70Z (statement). In CPDMYJ0NJV/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.2
Euler- Lagrange inequalities 2DKNXG1S0D
| URI | m2://inv/2DKNXG1S0D |
|---|---|
| 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.18270#M8G2, Euler- Lagrange inequalities (statement). In CPDMYJ0NJV/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
2DKP78XH72 2DKP78XH72
| URI | m2://inv/2DKP78XH72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16746#G1VG (statement). In M00TA3JJM6/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
\texttt{Contraction by synchronous coupling and dissipativity 2DKR4YTQHV
| URI | m2://inv/2DKR4YTQHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06343#TFVH, \texttt{Contraction by synchronous coupling and dissipativity (statement). In R8176XJ535/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
K-means++ 2DKZBFX3VF
| URI | m2://inv/2DKZBFX3VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-means++, K-means++ (definition). Also Wikidata Q13414807
History
- 2026-11-02: add by m2/dev
Theorem 2DM0ERRXWB
| URI | m2://inv/2DM0ERRXWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murnaghan–Nakayama rule#LYKE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
2DM0VRXYMN 2DM0VRXYMN
| URI | m2://inv/2DM0VRXYMN |
|---|---|
| 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.09494#98HI (statement). In H297EPZQQB/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
2DM552HCEA 2DM552HCEA
| URI | m2://inv/2DM552HCEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#ULNW (statement)
History
- 2026-11-02: add by m2/v0.6.18
2DM78TZ9P0 2DM78TZ9P0
| URI | m2://inv/2DM78TZ9P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11043#I1A9 (statement). In R3NJYPZH52/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.3
2DM84ZX34H 2DM84ZX34H
| URI | m2://inv/2DM84ZX34H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-2 (proof). In N54F33XE07, proof, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Lefschetz duality 2DM9WBEG1B
| URI | m2://inv/2DM9WBEG1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz duality, Lefschetz duality (definition). Also Wikidata Q6516730
History
- 2026-11-02: add by m2/dev
Wilhelm Röntgen 2DMB7YZEX7
| URI | m2://inv/2DMB7YZEX7 |
|---|---|
| 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 Q35149, Wilhelm Röntgen (unknown). Also ProofWiki Mathematician:Wilhelm_Conrad_Röntgen
History
- 2026-10-26: add by m2/dev
2DME91YQ81 2DME91YQ81
| URI | m2://inv/2DME91YQ81 |
|---|---|
| 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 2404.18704#EIXM (example). In T4MQVXFGWC/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.5
2DMNG4CB17 2DMNG4CB17
| URI | m2://inv/2DMNG4CB17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#QKZW (statement). In XM98BX97RT/e1, lemma A.5
History
- 2026-10-30: add by m2/v0.4.12
White (United States census) 2DMNV7RZX8
| URI | m2://inv/2DMNV7RZX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Race and ethnicity in the United States#20VB, White (United States census) (unknown)
History
- 2026-11-02: add by m2/dev
Complete hyperplane-graph formula 2DMPN869PV
| URI | m2://inv/2DMPN869PV |
|---|---|
| Kind | statement |
| 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 2610.20649#RRJX, Complete hyperplane-graph formula (statement). In XDTM624YPE/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Stephen Schanuel 2DMX4MR7FQ
| URI | m2://inv/2DMX4MR7FQ |
|---|---|
| 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 Q451748, Stephen Schanuel (unknown). Also nLab Stephen Schanuel
- wikipedia: Wikipedia Stephen Schanuel, Stephen Schanuel (topic). Also Wikidata Q451748
History
- 2026-10-26: add by m2/dev
Ronald Martin Foster 2DNFPT4PDP
| URI | m2://inv/2DNFPT4PDP |
|---|---|
| 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#K49E, Ronald Martin Foster (topic)
History
- 2026-11-02: add by m2/dev
2DNFRF3JX2 2DNFRF3JX2
| URI | m2://inv/2DNFRF3JX2 |
|---|---|
| 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 0910.5574#VXDG (statement). In 2TJRBRKYAY/e1, corollary 9.2
History
- 2026-10-27: add by m2/v0.3.5
Error bound induced by the convex defining function 2DNKGCCFPG
| URI | m2://inv/2DNKGCCFPG |
|---|---|
| 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.34099#L6YP, Error bound induced by the convex defining function (statement). In 4X2SAM9HR2/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
2DNKGYH1K7 2DNKGYH1K7
| URI | m2://inv/2DNKGYH1K7 |
|---|---|
| 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.13846#L7T1 (statement). In DN3HGHGRYJ/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
Exponential sheaf sequence 2DNM15RP4T
| URI | m2://inv/2DNM15RP4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential sheaf sequence, Exponential sheaf sequence (definition). Also Wikidata Q5421530
History
- 2026-11-02: add by m2/dev
David van Dantzig 2DNNPF75Y3
| URI | m2://inv/2DNNPF75Y3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#66MG, David van Dantzig (topic)
History
- 2026-11-02: add by m2/dev
Charles S. Peskin 2DNZ5XBMS1
| URI | m2://inv/2DNZ5XBMS1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles S. Peskin, Charles S. Peskin (topic). Also Wikidata Q1065992
History
- 2026-11-02: add by m2/dev
Thomas Hakon Grönwall 2DP1BD9Q77
| URI | m2://inv/2DP1BD9Q77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Hakon Grönwall, Thomas Hakon Grönwall (topic). Also Wikidata Q2424495
History
- 2026-11-02: add by m2/dev
Quantum mysticism 2DP1BZ9RMS
| URI | m2://inv/2DP1BZ9RMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum mysticism, Quantum mysticism (definition). Also Wikidata Q1953188
History
- 2026-11-02: add by m2/dev
κ-categorical 2DP591QF7Y
| URI | m2://inv/2DP591QF7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#CDJ7, κ-categorical (definition)
History
- 2026-11-02: add by m2/dev
Compactness under additional marginal energy constraints 2DP7RA4880
| URI | m2://inv/2DP7RA4880 |
|---|---|
| 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.01855#PX44, Compactness under additional marginal energy constraints (statement). In MM8P5CJR18/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
2DP85KDNWN 2DP85KDNWN
| URI | m2://inv/2DP85KDNWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30823#H45H (statement). In 1YHQ9YNQ68/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
abstract nonsense 2DPFKFT06W
| URI | m2://inv/2DPFKFT06W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1084766, abstract nonsense (concept). Also MathWorld AbstractNonsense
- wikipedia: Wikipedia Abstract nonsense, Abstract nonsense (definition). Also Wikidata Q1084766
History
- 2026-10-26: add by m2/dev
2DQ03S8817 2DQ03S8817
| URI | m2://inv/2DQ03S8817 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#XUME (definition)
History
- 2026-11-01: add by m2/v0.6.15
Kalai 2DQ1YAY6MC
| URI | m2://inv/2DQ1YAY6MC |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24790#M9TO, Kalai (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
2DQ81Q45AY 2DQ81Q45AY
| URI | m2://inv/2DQ81Q45AY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#2C04 (definition). In EBMHYN0XK9/e1, definition 4.5
History
- 2026-10-29: add by m2/v0.4.12
2DQT53Q0FC 2DQT53Q0FC
| URI | m2://inv/2DQT53Q0FC |
|---|---|
| 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.01737#ZEGZ (definition). In M4JGP708F4/e1, definition 4.20
History
- 2026-10-29: add by m2/v0.4.12
Florian Cajori 2DR2G6C8Q6
| URI | m2://inv/2DR2G6C8Q6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florian Cajori, Florian Cajori (topic). Also Wikidata Q122323
History
- 2026-11-02: add by m2/dev
2DR73CJ888 2DR73CJ888
| URI | m2://inv/2DR73CJ888 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#24D8 (definition). In BF0RYHPMS1/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
2DRJ5D9M0F 2DRJ5D9M0F
| URI | m2://inv/2DRJ5D9M0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#2HA3 (statement). In 9S7HGSEX6Q/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
2DRTQG4H0C 2DRTQG4H0C
| URI | m2://inv/2DRTQG4H0C |
|---|---|
| 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.39269#3Q1D (statement). In HS4X20TX33/e1, lemma 0.4
History
- 2026-10-30: add by m2/v0.4.12
Leaky integrator 2DRYN0P6G1
| URI | m2://inv/2DRYN0P6G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leaky integrator, Leaky integrator (definition). Also Wikidata Q16964384
History
- 2026-11-02: add by m2/dev
2DS1BFH67Z 2DS1BFH67Z
| URI | m2://inv/2DS1BFH67Z |
|---|---|
| Kind | problem |
| 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.20516#NZ4K (problem)
History
- 2026-11-02: add by m2/v0.6.18
2DS6ZJH8KK 2DS6ZJH8KK
| URI | m2://inv/2DS6ZJH8KK |
|---|---|
| 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 1902.04230#HI0O (statement). In 22JZ68FGCW/e1, proposition 6.24
History
- 2026-10-27: add by m2/v0.3.5
Computational complexity of the travelling salesman problem 2DS7EHV9DE
| URI | m2://inv/2DS7EHV9DE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Travelling salesman problem#QKR2, Computational complexity of the travelling salesman problem (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2DSA6GYR1Z
| URI | m2://inv/2DSA6GYR1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic inference#9IAA, Definition (definition)
History
- 2026-11-02: add by m2/dev
2DSB4S37QM 2DSB4S37QM
| URI | m2://inv/2DSB4S37QM |
|---|---|
| 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.23262#PP6Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
Diffusion comparisons 2DSE4XYGV5
| URI | m2://inv/2DSE4XYGV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#4O9W, Diffusion comparisons (statement). In A20E8FZS21/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.2
Descent 2DSGG6PE42
| URI | m2://inv/2DSGG6PE42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#02XB, Descent (statement). In 25B3WHEKH2/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
principle of inclusion-exclusion 2DSKEV12RX
| URI | m2://inv/2DSKEV12RX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/7.2/principle-of-inclusion-exclusion, principle of inclusion-exclusion (concept). In QKM9DD2H56, index, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
2DST8TSK74 2DST8TSK74
| URI | m2://inv/2DST8TSK74 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#QGVS (definition). In Q5Z178SAHP/e1, definition 4.12
History
- 2026-10-30: add by m2/v0.4.12
2DSZT9MTNH 2DSZT9MTNH
| URI | m2://inv/2DSZT9MTNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#A6BT (statement). In R0Q0RV8XCF/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
E. Sampathkumar 2DT30TZF47
| URI | m2://inv/2DT30TZF47 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LAGD, E. Sampathkumar (topic)
History
- 2026-11-02: add by m2/dev
2DT9Z6J1QQ 2DT9Z6J1QQ
| URI | m2://inv/2DT9Z6J1QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13950#CONC (statement). In 8E5S3VJ8P4/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
divergent, series 2DTPK77KXT
| URI | m2://inv/2DTPK77KXT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.5.1/divergent-series, divergent, series (concept). In E59CDZA4DP, index, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Applications 2DTQ9D6DPY
| URI | m2://inv/2DTQ9D6DPY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral#BK6P, Applications (example)
History
- 2026-11-02: add by m2/dev
Integrity check value 2DVAH52J80
| URI | m2://inv/2DVAH52J80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#CQMH, Integrity check value (unknown)
History
- 2026-11-02: add by m2/dev
2DVGHBG0HP 2DVGHBG0HP
| URI | m2://inv/2DVGHBG0HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/temporal-logic/possible-histories.tex#defn:phmodels (definition). In PKGMM3P5QY, defn, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
The Peter-Weyl Theorem 2DVGVB8K2Z
| URI | m2://inv/2DVGVB8K2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#5CO6, The Peter-Weyl Theorem (statement)
History
- 2026-11-02: add by m2/dev
2DVRWPMFW0 2DVRWPMFW0
| URI | m2://inv/2DVRWPMFW0 |
|---|---|
| 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.06326#OFA3 (statement). In DPR6B6X0JX/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Hantzsche–Wendt manifold 2DVWZ5MPV2
| URI | m2://inv/2DVWZ5MPV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111940591, Hantzsche–Wendt manifold (unknown). Also nLab Hantzsche-Wendt manifold
- wikipedia: Wikipedia Hantzsche–Wendt manifold, Hantzsche–Wendt manifold (definition). Also Wikidata Q111940591
History
- 2026-10-26: add by m2/dev
Fork-verdict reversal 2DVX9ZQ9XQ
| URI | m2://inv/2DVX9ZQ9XQ |
|---|---|
| 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#2TPQ, Fork-verdict reversal (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 2DW05SKP86
| URI | m2://inv/2DW05SKP86 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exceptional isomorphisms of classical groups#HUOG, Applications (example)
History
- 2026-11-02: add by m2/dev
Polar space 2DW20SK2XQ
| URI | m2://inv/2DW20SK2XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar space, Polar space (definition). Also Wikidata Q3058226
History
- 2026-11-02: add by m2/dev
Properties 2DW68SYPQ5
| URI | m2://inv/2DW68SYPQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff cube#8UFM, Properties (statement)
History
- 2026-11-02: add by m2/dev
2DW89AGB9M 2DW89AGB9M
| URI | m2://inv/2DW89AGB9M |
|---|---|
| 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.22272#99VD (statement). In 4VZV5V0YD6/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
Richardson extrapolation 2DWE0Q03N3
| URI | m2://inv/2DWE0Q03N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Richardson extrapolation WMTZG71K2Y |
Mentions
- wikidata: Wikidata Q1063089, Richardson extrapolation (unknown). Also MathWorld RichardsonExtrapolation
- wikipedia: Wikipedia Richardson extrapolation, Richardson extrapolation (definition). Also Wikidata Q1063089
History
- 2026-10-26: add by m2/dev
2DWTYBH5EG 2DWTYBH5EG
| URI | m2://inv/2DWTYBH5EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.23972#UMYK (statement)
History
- 2026-11-02: add by m2/v0.6.17
2DWZQTDVC1 2DWZQTDVC1
| URI | m2://inv/2DWZQTDVC1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:fiber-of-the-fiber (statement). In N54F33XE07, lem, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Non-degeneracy 2DXADE6FK0
| URI | m2://inv/2DXADE6FK0 |
|---|---|
| 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.18270#JH6K, Non-degeneracy (statement). In CPDMYJ0NJV/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
Computation 2DXDNGWVKH
| URI | m2://inv/2DXDNGWVKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic integral#PPZL, Computation (definition)
History
- 2026-11-02: add by m2/dev
2DXQEGRT5W 2DXQEGRT5W
| URI | m2://inv/2DXQEGRT5W |
|---|---|
| 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.39103#4OQ2 (statement). In VGB0N93ES8/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
2DXQT8DP1E 2DXQT8DP1E
| URI | m2://inv/2DXQT8DP1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20401#L35N (statement)
History
- 2026-11-02: add by m2/v0.6.18
2DXV5VX3ZQ 2DXV5VX3ZQ
| URI | m2://inv/2DXV5VX3ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#J6ZY (statement). In X3RFXWN6FW/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Jim Saia 2DXYD8BZ8F
| URI | m2://inv/2DXYD8BZ8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#OMBJ, Jim Saia (unknown)
History
- 2026-11-02: add by m2/dev
2DY1FP78DD 2DY1FP78DD
| URI | m2://inv/2DY1FP78DD |
|---|---|
| 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.26041#YDDB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tensor-product tails 2DY5V2BJ36
| URI | m2://inv/2DY5V2BJ36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36594#ZGFQ, Tensor-product tails (statement). In 8JDQ9FWFRK/e1, lemma E.1
History
- 2026-10-30: add by m2/v0.4.12
Isotomic lines 2DYMS9NDM1
| URI | m2://inv/2DYMS9NDM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#7P7T, Isotomic lines (definition)
History
- 2026-11-02: add by m2/dev
Overlap 2DYYP50002
| URI | m2://inv/2DYYP50002 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overlap (term rewriting), Overlap (definition). Also Wikidata Q7113758
History
- 2026-11-02: add by m2/dev
Zeta distribution 2DZ1KK9AB3
| URI | m2://inv/2DZ1KK9AB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#8I2E, Zeta distribution (definition)
History
- 2026-11-02: add by m2/dev
2DZ664F3FV 2DZ664F3FV
| URI | m2://inv/2DZ664F3FV |
|---|---|
| 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.11082#FJNR (statement). In GFPFFN0BXV/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
Montejano, Pauli, Raggi, Roldán-Pensado 2DZ774X5T2
| URI | m2://inv/2DZ774X5T2 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06340#C63Z, Montejano, Pauli, Raggi, Roldán-Pensado (conjecture). In PKNZPECH82/e1, conjecture 1.5
History
- 2026-10-29: add by m2/v0.4.10
2DZ7CRVZQM 2DZ7CRVZQM
| URI | m2://inv/2DZ7CRVZQM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20892#L24R (definition). In CPEWVB0XHR/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
2DZENERG5Y 2DZENERG5Y
| URI | m2://inv/2DZENERG5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25843#LA09 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hadamard three-circle theorem 2DZHZSRE24
| URI | m2://inv/2DZHZSRE24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3HHS, Hadamard three-circle theorem (statement)
History
- 2026-11-02: add by m2/dev
Propagation of nonnegativity 2DZJ7XB8A1
| URI | m2://inv/2DZJ7XB8A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.19483#FRG1, Propagation of nonnegativity (statement). In M2PEDAF7AX/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
2DZPKGP2ER 2DZPKGP2ER
| URI | m2://inv/2DZPKGP2ER |
|---|---|
| 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.02944#DTOK (statement). In 1F99Z64AB7/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Example 2DZQAE4RB1
| URI | m2://inv/2DZQAE4RB1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman–Pearson lemma#BR88, Example (example)
History
- 2026-11-02: add by m2/dev