Inventory rows 40
The cards of the rows of the inventory whose ids start with 40. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Leo Zippin 40012WT3GY
| URI | m2://inv/40012WT3GY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leo Zippin, Leo Zippin (topic). Also Wikidata Q1423262
History
- 2026-11-02: add by m2/dev
400BFXDS2V 400BFXDS2V
| URI | m2://inv/400BFXDS2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11276#605T (statement). In KMTQRFFYZY/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
400DZ82VAH 400DZ82VAH
| URI | m2://inv/400DZ82VAH |
|---|---|
| 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#PC8M (statement). In 6HJQXZS0A6/e1, corollary 6.10
History
- 2026-10-29: add by m2/v0.4.12
400F16671C 400F16671C
| URI | m2://inv/400F16671C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-20 (proof). In E59CDZA4DP, proof, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
400FR1D8JG 400FR1D8JG
| URI | m2://inv/400FR1D8JG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exer_posets_division (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
Bombieri's theorem 400SZFYEZ7
| URI | m2://inv/400SZFYEZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5E4Z, Bombieri's theorem (statement)
History
- 2026-11-02: add by m2/dev
401DE6B3BR 401DE6B3BR
| URI | m2://inv/401DE6B3BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#VZGY (statement). In 3Y76AQQGF0/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Malliavin's absolute continuity lemma 401FHFJYHF
| URI | m2://inv/401FHFJYHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#A6Q4, Malliavin's absolute continuity lemma (statement)
History
- 2026-11-02: add by m2/dev
Journal of Research of the National Bureau of Standards (United States) 401JEPD9P2
| URI | m2://inv/401JEPD9P2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96329221, Journal of Research of the National Bureau of Standards (United States) (unknown). Also ProofWiki Book:Journal/Journal_of_Research_of_the_National_Bureau_of_Standards
History
- 2026-10-26: add by m2/dev
401N5BPGWP 401N5BPGWP
| URI | m2://inv/401N5BPGWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-4 (definition). In E59CDZA4DP, defn, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
401SXCSW5X 401SXCSW5X
| URI | m2://inv/401SXCSW5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#S30A (statement). In 9ZD87293QS/e1, lemma 3.21
History
- 2026-10-27: add by m2/v0.4.0
401ZFMAA15 401ZFMAA15
| URI | m2://inv/401ZFMAA15 |
|---|---|
| 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 1509.00950#DRPS (statement). In MDZFW5GACV/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Properties 4021MMTBP9
| URI | m2://inv/4021MMTBP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvmanifold#QEI6, Properties (statement)
History
- 2026-11-02: add by m2/dev
4026NEHNE1 4026NEHNE1
| URI | m2://inv/4026NEHNE1 |
|---|---|
| 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.32078#8HMN (statement). In 5PN85N6EJF/e1, proposition F.5
History
- 2026-10-31: add by m2/v0.5.6
Charles Royal Johnson 4028YAP8AW
| URI | m2://inv/4028YAP8AW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Royal Johnson, Charles Royal Johnson (topic). Also Wikidata Q5082200
History
- 2026-11-02: add by m2/dev
logical implication 4029HYY55Y
| URI | m2://inv/4029HYY55Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LR8L, logical implication (definition)
History
- 2026-11-02: add by m2/dev
Llanddeusant, Carmarthenshire 402FWBCVGD
| URI | m2://inv/402FWBCVGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#E1N6, Llanddeusant, Carmarthenshire (unknown)
History
- 2026-11-02: add by m2/dev
Generalization 402JMGJ5W6
| URI | m2://inv/402JMGJ5W6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local system#EKUP, Generalization (statement)
History
- 2026-11-02: add by m2/dev
40301Y24SQ 40301Y24SQ
| URI | m2://inv/40301Y24SQ |
|---|---|
| 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.39747#NC25 (statement). In 9H2KJ3W3JX/e1, theorem 12
History
- 2026-10-30: add by m2/v0.4.12
4036AYBVNY 4036AYBVNY
| URI | m2://inv/4036AYBVNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01498#KB7Y (statement). In 75GDSC8460/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
Ribbon 403B5XXVK3
| URI | m2://inv/403B5XXVK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ribbon (mathematics), Ribbon (definition). Also Wikidata Q17121801
History
- 2026-11-02: add by m2/dev
403EH4B6C9 403EH4B6C9
| URI | m2://inv/403EH4B6C9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#GVR6 (statement). In AQC7E6RAT4/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Fibered manifold 403RXV5HTM
| URI | m2://inv/403RXV5HTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibered manifold, Fibered manifold (definition). Also Wikidata Q5446381
History
- 2026-11-02: add by m2/dev
character 403YQSPG9X
| URI | m2://inv/403YQSPG9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#S5QN, character (definition)
History
- 2026-11-02: add by m2/dev
403ZT0N2WR 403ZT0N2WR
| URI | m2://inv/403ZT0N2WR |
|---|---|
| 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.08912#5D93 (statement). In DK5QY64NGH/e1, lemma 5.15
History
- 2026-10-29: add by m2/v0.4.10
Markov reward model 404FEXB9G8
| URI | m2://inv/404FEXB9G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov reward model, Markov reward model (definition). Also Wikidata Q17083602
History
- 2026-11-02: add by m2/dev
404KBYTSMJ 404KBYTSMJ
| URI | m2://inv/404KBYTSMJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#example-4 (example). In Y91XFCEVHQ, example, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
NIPALS 404NNWMP4D
| URI | m2://inv/404NNWMP4D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal component analysis#F52L, NIPALS (unknown)
History
- 2026-11-02: add by m2/dev
Definition 404V72SZP6
| URI | m2://inv/404V72SZP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand potential#0DIY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Electrical impedance tomography 404VMER10C
| URI | m2://inv/404VMER10C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrical impedance tomography, Electrical impedance tomography (definition). Also Wikidata Q1326472
History
- 2026-11-02: add by m2/dev
Giovanni Felder 404XRYQZJH
| URI | m2://inv/404XRYQZJH |
|---|---|
| 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 Q1526085, Giovanni Felder (unknown). Also nLab Giovanni Felder
- wikipedia: Wikipedia Giovanni Felder, Giovanni Felder (topic). Also Wikidata Q1526085
History
- 2026-10-26: add by m2/dev
404ZJ6AK6K 404ZJ6AK6K
| URI | m2://inv/404ZJ6AK6K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#JLSW (definition). In XTGB5Z08YH/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Six Bells 4053H7ZZ3X
| URI | m2://inv/4053H7ZZ3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#26GJ, Six Bells (unknown)
History
- 2026-11-02: add by m2/dev
set of complex numbers 40562ZJ5EZ
| URI | m2://inv/40562ZJ5EZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26851286, set of complex numbers (unknown). Also MathWorld C
History
- 2026-10-26: add by m2/dev
MFEM 4056MW57GH
| URI | m2://inv/4056MW57GH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#0VQR, MFEM (unknown)
History
- 2026-11-02: add by m2/dev
40582J0Y4A 40582J0Y4A
| URI | m2://inv/40582J0Y4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#AUTG (statement). In 41NFABHFXH/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
4058C69QTA 4058C69QTA
| URI | m2://inv/4058C69QTA |
|---|---|
| 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.29152#TPYQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael Aizenman 405A92K322
| URI | m2://inv/405A92K322 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SGBA, Michael Aizenman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XIYS, Michael Aizenman (topic)
History
- 2026-11-02: add by m2/dev
Frederick J. Beutler 405PBEE6JD
| URI | m2://inv/405PBEE6JD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick J. Beutler, Frederick J. Beutler (topic). Also Wikidata Q102934207
History
- 2026-11-02: add by m2/dev
Syamadas Mukhopadhyaya 405T2G0ZF3
| URI | m2://inv/405T2G0ZF3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syamadas Mukhopadhyaya, Syamadas Mukhopadhyaya (topic). Also Wikidata Q7659452
History
- 2026-11-02: add by m2/dev
40648KM0RB 40648KM0RB
| URI | m2://inv/40648KM0RB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-55 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
Saul Brandman 4065AX9SH8
| URI | m2://inv/4065AX9SH8 |
|---|---|
| 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#PT2P, Saul Brandman (unknown)
History
- 2026-11-02: add by m2/dev
Kaoru Ishikawa 40667MRJG0
| URI | m2://inv/40667MRJG0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaoru Ishikawa, Kaoru Ishikawa (topic). Also Wikidata Q381014
History
- 2026-11-02: add by m2/dev
Rupert's property 406KD99STP
| URI | m2://inv/406KD99STP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ZCWX, Rupert's property (definition)
History
- 2026-11-02: add by m2/dev
Multiplication formula 406KDZ0TG5
| URI | m2://inv/406KDZ0TG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-function#SZBU, Multiplication formula (statement)
History
- 2026-11-02: add by m2/dev
406TYVX5YX 406TYVX5YX
| URI | m2://inv/406TYVX5YX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:soundMP (statement). In PKGMM3P5QY, prop, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
unital magma 406YZA61A4
| URI | m2://inv/406YZA61A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111485852, unital magma (definition). Also ProofWiki Definition:Unital_Magma
History
- 2026-10-26: add by m2/dev
Curved Kakeya sets over $\Q_p$ 406ZW9QG0C
| URI | m2://inv/406ZW9QG0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#69IW, Curved Kakeya sets over $\Q_p$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
4074EV81C6 4074EV81C6
| URI | m2://inv/4074EV81C6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/function-basics.tex#examplefunext (example). In PKGMM3P5QY, ex, section 78.9
History
- 2026-11-01: add by m2/v0.6.13
407AECNR4D 407AECNR4D
| URI | m2://inv/407AECNR4D |
|---|---|
| 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.28336#N5IR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mayer, Tobias 407DTJ3527
| URI | m2://inv/407DTJ3527 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PAXF, Mayer, Tobias (unknown)
History
- 2026-11-02: add by m2/dev
407GDPFNKG 407GDPFNKG
| URI | m2://inv/407GDPFNKG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-6.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
cycloid 407NDBZB22
| URI | m2://inv/407NDBZB22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q204072, cycloid (definition). Also EoM Cycloid, MathWorld Cycloid, ProofWiki Definition:Cycloid
- wikipedia: Wikipedia Cycloid, Cycloid (definition). Also Wikidata Q204072
History
- 2026-10-26: add by m2/dev
Applications 407RC70S1R
| URI | m2://inv/407RC70S1R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split-octonion#L0QA, Applications (example)
History
- 2026-11-02: add by m2/dev
407SJ4FB8F 407SJ4FB8F
| URI | m2://inv/407SJ4FB8F |
|---|---|
| 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 2407.05730#HIKY (statement). In VQ7STN4KDC/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
407VBR927Z 407VBR927Z
| URI | m2://inv/407VBR927Z |
|---|---|
| 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.20316#JF94 (statement). In YRJS76169Z/e1, proposition 7.4
History
- 2026-10-27: add by m2/v0.4.2
Basis pursuit 407W1BRRC0
| URI | m2://inv/407W1BRRC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#LS2Q, Basis pursuit (definition)
History
- 2026-11-02: add by m2/dev
407YSNEQ1F 407YSNEQ1F
| URI | m2://inv/407YSNEQ1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12777#JVV2 (statement). In 1YFK2FB3JY/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
407ZGZ0VJB 407ZGZ0VJB
| URI | m2://inv/407ZGZ0VJB |
|---|---|
| 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 2202.10920#T5EH (statement). In 6TTFGK6ZV0/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
40809G16T9 40809G16T9
| URI | m2://inv/40809G16T9 |
|---|---|
| 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.25301#DVJS (statement)
History
- 2026-11-01: add by m2/v0.6.15
4081ZBWQBQ 4081ZBWQBQ
| URI | m2://inv/4081ZBWQBQ |
|---|---|
| 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.08912#WNR8 (statement). In DK5QY64NGH/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
Friedrich Hartogs 408328QSSY
| URI | m2://inv/408328QSSY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Hartogs, Friedrich Hartogs (topic). Also Wikidata Q68545
History
- 2026-11-02: add by m2/dev
Jean-Pierre Eckmann 4083W4T5ZF
| URI | m2://inv/4083W4T5ZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Pierre Eckmann, Jean-Pierre Eckmann (topic). Also Wikidata Q120157
History
- 2026-11-02: add by m2/dev
408DF06VET 408DF06VET
| URI | m2://inv/408DF06VET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#8U8V (statement). In 9ZD87293QS/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.4.0
408F0YGNCD 408F0YGNCD
| URI | m2://inv/408F0YGNCD |
|---|---|
| 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.11199#2IX5 (statement). In RQ51P6W9C0/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.3
Properties 408G2Q09MB
| URI | m2://inv/408G2Q09MB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto distribution#6WJ9, Properties (statement)
History
- 2026-11-02: add by m2/dev
408KGE959X 408KGE959X
| URI | m2://inv/408KGE959X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07728#JEC7 (statement). In B1VVAKFCKZ/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Conditional random field 408MGNY87B
| URI | m2://inv/408MGNY87B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional random field, Conditional random field (definition). Also Wikidata Q1124538
History
- 2026-11-02: add by m2/dev
Theorem 408N3K6K0V
| URI | m2://inv/408N3K6K0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid#WY1H, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Input--state tests for approximate controllability 408PMRHD01
| URI | m2://inv/408PMRHD01 |
|---|---|
| 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.25431#JHOX, Input--state tests for approximate controllability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alfred Moessner 408VTQ7A7V
| URI | m2://inv/408VTQ7A7V |
|---|---|
| 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 Q107635979, Alfred Moessner (unknown). Also ProofWiki Mathematician:Alfred_Moessner
History
- 2026-10-26: add by m2/dev
Eduardo Casas-Alvero 408VY612NV
| URI | m2://inv/408VY612NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduardo Casas-Alvero, Eduardo Casas-Alvero (topic). Also Wikidata Q51370402
History
- 2026-11-02: add by m2/dev
409034MA7V 409034MA7V
| URI | m2://inv/409034MA7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38735#0USO (statement). In XZ71J0DQSE/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
4094VQ6SEK 4094VQ6SEK
| URI | m2://inv/4094VQ6SEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2610.00109#NDPY (statement). In FS8J84KFX2/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
flat 409EJKMWZW
| URI | m2://inv/409EJKMWZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#Y7VT, flat (definition)
History
- 2026-11-02: add by m2/dev
409HDS1GN5 409HDS1GN5
| URI | m2://inv/409HDS1GN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:prop:integralsmallerset (statement). In E59CDZA4DP, prop, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
Block-hypercube lower bound in effective dimension $m$ 409VQAG5ZD
| URI | m2://inv/409VQAG5ZD |
|---|---|
| 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.20187#750Z, Block-hypercube lower bound in effective dimension $m$ (statement). In N280AVNNBY/e1, lemma C.2
History
- 2026-10-27: add by m2/v0.4.2
40A6JERNJ0 40A6JERNJ0
| URI | m2://inv/40A6JERNJ0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#5HI0 (example). In 9ZSNSJRJ5N/e1, example 21
History
- 2026-10-27: add by m2/v0.4.2
Bernoulli's inequality 40AFAE4V2C
| URI | m2://inv/40AFAE4V2C |
|---|---|
| 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.11517#7BY9, Bernoulli's inequality (statement). In 87NF85QAKT/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
40AFDM6P8N 40AFDM6P8N
| URI | m2://inv/40AFDM6P8N |
|---|---|
| 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.05514#OVFI (statement). In 9WDZRQPPSV/e1, theorem 6.4
History
- 2026-10-29: add by m2/v0.4.10
Properties of the regularization 40AHYTG2V2
| URI | m2://inv/40AHYTG2V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.11911#5J28, Properties of the regularization (statement). In 5BYE5NYB89/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
40AQT4MNNB 40AQT4MNNB
| URI | m2://inv/40AQT4MNNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#WGVO (statement). In BZ54C9SKYS/e1, proposition 6.9
History
- 2026-10-27: add by m2/v0.3.5
Metrics on the space of stationary orbits 40AVPND6NW
| URI | m2://inv/40AVPND6NW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23872#GF9X, Metrics on the space of stationary orbits (definition)
History
- 2026-11-02: add by m2/v0.6.17
40AY96PAME 40AY96PAME
| URI | m2://inv/40AY96PAME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#9SE3 (statement). In X1AGBB90EH/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
40AYKA9D1M 40AYKA9D1M
| URI | m2://inv/40AYKA9D1M |
|---|---|
| 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.13981#J8YL (statement). In V78F5DK90W/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Tempered distinction for $G_5$ 40B1CJE4ZR
| URI | m2://inv/40B1CJE4ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#4ZAN, Tempered distinction for $G_5$ (statement). In TPYRE2ARMD/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
Row equivalence 40B4DDV2NK
| URI | m2://inv/40B4DDV2NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Row equivalence, Row equivalence (definition). Also Wikidata Q3444264
History
- 2026-11-02: add by m2/dev
40B5B4425F 40B5B4425F
| URI | m2://inv/40B5B4425F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21501#DHCG (example). In 1H64QT301C/e1, example 3.3
History
- 2026-10-27: add by m2/v0.4.2
40B6GYTW60 40B6GYTW60
| URI | m2://inv/40B6GYTW60 |
|---|---|
| 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.02379#L12A (statement). In W9E40AZJ03/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
40BACBTHHC 40BACBTHHC
| URI | m2://inv/40BACBTHHC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-26 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Bernays' axiom system 40BGC2NT83
| URI | m2://inv/40BGC2NT83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#5IPW, Bernays' axiom system (statement)
History
- 2026-11-02: add by m2/dev
Flood geology 40BPPB3AH1
| URI | m2://inv/40BPPB3AH1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#5OVE, Flood geology (unknown)
History
- 2026-11-02: add by m2/dev
40BR8P2J54 40BR8P2J54
| URI | m2://inv/40BR8P2J54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21892#0O2U (statement)
History
- 2026-11-02: add by m2/v0.6.17
List of Ukrainian mathematicians 40BTCJSBRF
| URI | m2://inv/40BTCJSBRF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians, List of Ukrainian mathematicians (topic). Also Wikidata Q6601350
History
- 2026-11-02: add by m2/dev
40BZZ1B2RT 40BZZ1B2RT
| URI | m2://inv/40BZZ1B2RT |
|---|---|
| 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 0911.1417#Y7LG (statement). In BBD7TZW79R/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
40C4KT0RWA 40C4KT0RWA
| URI | m2://inv/40C4KT0RWA |
|---|---|
| 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 2502.08738#BQQQ (statement). In 9GMTVSTAVN/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.3.5
Narendra Karmarkar 40CNV3MDKM
| URI | m2://inv/40CNV3MDKM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#119N, Narendra Karmarkar (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YYSO, Narendra Karmarkar (topic)
History
- 2026-11-02: add by m2/dev
Computable function 40CV9AMJ0E
| URI | m2://inv/40CV9AMJ0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#U94F, Computable function (definition)
History
- 2026-11-02: add by m2/dev
Series multisection 40CZE0JNCK
| URI | m2://inv/40CZE0JNCK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4307004, Series multisection (concept). Also MathWorld SeriesMultisection
- wikipedia: Wikipedia Series multisection, Series multisection (definition). Also Wikidata Q4307004
History
- 2026-10-26: add by m2/dev
Wasserstein metric 40D3HDPPRQ
| URI | m2://inv/40D3HDPPRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#YYH6, Wasserstein metric (definition)
History
- 2026-11-02: add by m2/dev
40D5J294QD 40D5J294QD
| URI | m2://inv/40D5J294QD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-coloring.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
40DAKA73CT 40DAKA73CT
| URI | m2://inv/40DAKA73CT |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21976#PFE7 (unknown)
History
- 2026-11-02: add by m2/v0.6.17
40DB5TF9EC 40DB5TF9EC
| URI | m2://inv/40DB5TF9EC |
|---|---|
| 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.23903#5PAE (statement)
History
- 2026-11-02: add by m2/v0.6.17
40DQMQEDC6 40DQMQEDC6
| URI | m2://inv/40DQMQEDC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#EW0P (statement). In XK6H7F2F13/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
Examples 40DTA6B8J7
| URI | m2://inv/40DTA6B8J7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Challenge–response authentication#YEEQ, Examples (example)
History
- 2026-11-02: add by m2/dev
affine property 40DY3R9E7M
| URI | m2://inv/40DY3R9E7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine property, affine property (unknown)
History
- 2026-10-26: add by m2/dev
CAT(k) space 40DYERGXXK
| URI | m2://inv/40DYERGXXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#J2RP, CAT(k) space (definition)
History
- 2026-11-02: add by m2/dev
radium 40E9W4D1V4
| URI | m2://inv/40E9W4D1V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1128, radium (definition). Also ProofWiki Definition:Radium
History
- 2026-10-26: add by m2/dev
Formal definition 40EB9K0HEZ
| URI | m2://inv/40EB9K0HEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian submersion#27GE, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Age (Model theory) 40EFDDC335
| URI | m2://inv/40EFDDC335 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraïssé limit#489U, Age (Model theory) (unknown)
History
- 2026-11-02: add by m2/dev
Valentina Gorbachuk 40FCWGPMNS
| URI | m2://inv/40FCWGPMNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valentina Gorbachuk, Valentina Gorbachuk (topic). Also Wikidata Q64728403
History
- 2026-11-02: add by m2/dev
Theorems 40FDHXHRQ3
| URI | m2://inv/40FDHXHRQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Altitude (triangle)#IFC3, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Theorem 40FDQFP2C8
| URI | m2://inv/40FDQFP2C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-valued measure#07II, Theorem (statement)
History
- 2026-11-02: add by m2/dev
40FG5WG1AE 40FG5WG1AE
| URI | m2://inv/40FG5WG1AE |
|---|---|
| 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.37093#EBPU (statement). In GA6QH32CJQ/e1, theorem 20
History
- 2026-10-30: add by m2/v0.4.12
40FMKB38H3 40FMKB38H3
| URI | m2://inv/40FMKB38H3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:homotopy-groups (example). In N54F33XE07, eg, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
uniqueness, principle, propositional, for functions on the circle 40FQYC7Z37
| URI | m2://inv/40FQYC7Z37 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/uniqueness-principle-propositional-for-functions-on-the-circle, uniqueness, principle, propositional, for functions on the circle (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Nicolas Lusin 40FXGNCJGW
| URI | m2://inv/40FXGNCJGW |
|---|---|
| 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#DXL1, Nicolas Lusin (topic)
History
- 2026-11-02: add by m2/dev
40FXRY0P4G 40FXRY0P4G
| URI | m2://inv/40FXRY0P4G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-21 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
40G1J949B1 40G1J949B1
| URI | m2://inv/40G1J949B1 |
|---|---|
| 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.01354#J0UA (statement). In BWD76W20W8/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
40G2FMGZBD 40G2FMGZBD
| URI | m2://inv/40G2FMGZBD |
|---|---|
| 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.23975#DVK7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Institute of Combinatorics and its Applications 40G8J70FS1
| URI | m2://inv/40G8J70FS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Combinatorics and its Applications, Institute of Combinatorics and its Applications (definition). Also Wikidata Q1109009
History
- 2026-11-02: add by m2/dev
40G8N9K2HF 40G8N9K2HF
| URI | m2://inv/40G8N9K2HF |
|---|---|
| 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.22338#SSZM (statement)
History
- 2026-11-02: add by m2/v0.6.17
40G9DHHGXN 40G9DHHGXN
| URI | m2://inv/40G9DHHGXN |
|---|---|
| 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.08873#5E4U (statement). In 7WMNVJBAVR/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
40GH8AEHF1 40GH8AEHF1
| URI | m2://inv/40GH8AEHF1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11383#LWXI (definition). In DJBZ3V8SQ6/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Hájek, Jaroslav 40GKD303JZ
| URI | m2://inv/40GKD303JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KN82, Hájek, Jaroslav (unknown)
History
- 2026-11-02: add by m2/dev
40GNV2VAZ9 40GNV2VAZ9
| URI | m2://inv/40GNV2VAZ9 |
|---|---|
| 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.18922#KNS2 (statement). In 6FKDYENQ8M/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
composite 40GVSD3ZFS
| URI | m2://inv/40GVSD3ZFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#SFUM, composite (definition)
History
- 2026-11-02: add by m2/dev
40GY9GPNT0 40GY9GPNT0
| URI | m2://inv/40GY9GPNT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10570#ACSY (statement). In V0MA250K2P/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Free open source bioinformatics projects 40HA9H5PAM
| URI | m2://inv/40HA9H5PAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bioinformatics#QBA6, Free open source bioinformatics projects (unknown)
History
- 2026-11-02: add by m2/dev
40HRKRKS3R 40HRKRKS3R
| URI | m2://inv/40HRKRKS3R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#XLHI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Kung-Yee Liang 40HV68N56A
| URI | m2://inv/40HV68N56A |
|---|---|
| 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#M0MT, Kung-Yee Liang (topic)
History
- 2026-11-02: add by m2/dev
40HWCMBA1B 40HWCMBA1B
| URI | m2://inv/40HWCMBA1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25106#IM2H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polish 40J1EFQBWM
| URI | m2://inv/40J1EFQBWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#WA5C, Polish (definition)
History
- 2026-11-02: add by m2/dev
Walter Thom 40JGPW7BF3
| URI | m2://inv/40JGPW7BF3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Thom, Walter Thom (topic). Also Wikidata Q7966274
History
- 2026-11-02: add by m2/dev
OjAlgo 40JN31FJBH
| URI | m2://inv/40JN31FJBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#Y4XE, OjAlgo (definition)
History
- 2026-11-02: add by m2/dev
Percy Alexander MacMahon 40JQWYWGV5
| URI | m2://inv/40JQWYWGV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#4Y85, Percy Alexander MacMahon (unknown)
History
- 2026-11-02: add by m2/dev
40JVRW3D2M 40JVRW3D2M
| URI | m2://inv/40JVRW3D2M |
|---|---|
| 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.29274#8Q7B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Menzerath's law 40JYQVV2BW
| URI | m2://inv/40JYQVV2BW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menzerath's law, Menzerath's law (statement). Also Wikidata Q944768
History
- 2026-11-02: add by m2/dev
40K3N2SB3X 40K3N2SB3X
| URI | m2://inv/40K3N2SB3X |
|---|---|
| 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 2504.01057#OI9N (statement). In 69QFBXJENW/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Definable number 40K3WK9QYW
| URI | m2://inv/40K3WK9QYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#Z7EQ, Definable number (definition)
History
- 2026-11-02: add by m2/dev
Terminology 40K4ZZTV5N
| URI | m2://inv/40K4ZZTV5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index ellipsoid#4TPK, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Applications 40K5P6PP5C
| URI | m2://inv/40K5P6PP5C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogoliubov transformation#N9H4, Applications (example)
History
- 2026-11-02: add by m2/dev
Formal definition 40KAB4Q3QC
| URI | m2://inv/40KAB4Q3QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prefix order#OPOI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithm 40KCRCGA9B
| URI | m2://inv/40KCRCGA9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwards curve#RUQX, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Miklós Csörgő 40KMF2CXXD
| URI | m2://inv/40KMF2CXXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#G9I4, Miklós Csörgő (topic)
History
- 2026-11-02: add by m2/dev
40KMYKQT9J 40KMYKQT9J
| URI | m2://inv/40KMYKQT9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.04314#2WWT (statement). In AKWTE0M6PE/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.12
Christine A. Franklin 40KXRGVDXM
| URI | m2://inv/40KXRGVDXM |
|---|---|
| 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#O5ZU, Christine A. Franklin (topic)
History
- 2026-11-02: add by m2/dev
40MKMV0XPE 40MKMV0XPE
| URI | m2://inv/40MKMV0XPE |
|---|---|
| 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.16518#3UUJ (statement). In SAQBDG4FK1/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Prosolvable group 40MMYR0FGP
| URI | m2://inv/40MMYR0FGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prosolvable group, Prosolvable group (definition). Also Wikidata Q151208
History
- 2026-11-02: add by m2/dev
40MTPFCSMZ 40MTPFCSMZ
| URI | m2://inv/40MTPFCSMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#FXUZ (statement). In DG9TF5X0EG/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.0
Al-Jabr 40MZ9KPSG4
| URI | m2://inv/40MZ9KPSG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8369, Al-Jabr (unknown). Also ProofWiki Book:Muhammad_ibn_Musa_al-Khwarizmi/Al-Kitāb_al-muḫtaṣar_fī_ḥisāb_al-ğabr_wa-l-muqābala
- wikipedia: Wikipedia Al-Jabr, Al-Jabr (definition). Also Wikidata Q8369
History
- 2026-10-26: add by m2/dev
$\mathrm{ZF}+\mathrm{AD}$; comeager uniformization 40MZ9Y1E1E
| URI | m2://inv/40MZ9Y1E1E |
|---|---|
| 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 2610.16059#1I1X, $\mathrm{ZF}+\mathrm{AD}$; comeager uniformization (statement). In 51W7AECQDA/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Bad-time fraction 40N9EJN7TF
| URI | m2://inv/40N9EJN7TF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#1GKE, Bad-time fraction (statement). In 1QSV7EQE3T/e1, lemma S76
History
- 2026-10-28: add by m2/v0.4.2
40N9KKJ17P 40N9KKJ17P
| URI | m2://inv/40N9KKJ17P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10545#UDPC (statement). In ZA75D59G8K/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Definition 40NGZW6838
| URI | m2://inv/40NGZW6838 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical process#BABL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wente torus 40NJKXAECX
| URI | m2://inv/40NJKXAECX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wente torus, Wente torus (definition). Also Wikidata Q7982981
History
- 2026-11-02: add by m2/dev
The base-vacuum rule: the spin modulo $1$ 40NJSSAJWG
| URI | m2://inv/40NJSSAJWG |
|---|---|
| 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#WPFM, The base-vacuum rule: the spin modulo $1$ (statement). In 11JNM66Z09/e1, fact 11.8
History
- 2026-10-28: add by m2/v0.4.2
40NNTQKZRN 40NNTQKZRN
| URI | m2://inv/40NNTQKZRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#44FU (statement). In BDN507RN7J/e1, proposition 2.4.3
History
- 2026-10-30: add by m2/v0.4.12
Softmax function in statistical mechanics 40NQQ39ZAZ
| URI | m2://inv/40NQQ39ZAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Softmax function#6FN5, Softmax function in statistical mechanics (unknown)
History
- 2026-11-02: add by m2/dev
Examples 40P0KK5HT1
| URI | m2://inv/40P0KK5HT1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prior probability#8PYT, Examples (example)
History
- 2026-11-02: add by m2/dev
40PDMK9QR8 40PDMK9QR8
| URI | m2://inv/40PDMK9QR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08708#YIJ5 (statement). In TMMJKY66KY/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
Cuthbert Daniel 40PEFH43X8
| URI | m2://inv/40PEFH43X8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#PX2Q, Cuthbert Daniel (unknown)
History
- 2026-11-02: add by m2/dev
40PJ10CVPQ 40PJ10CVPQ
| URI | m2://inv/40PJ10CVPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop-5 (statement). In E59CDZA4DP, prop, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem 40PNTY0E77
| URI | m2://inv/40PNTY0E77 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#AWCM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
40PYZHJP5R 40PYZHJP5R
| URI | m2://inv/40PYZHJP5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#BWRT (statement). In VJTRH1S4JA/e1, axiom 2
History
- 2026-10-28: add by m2/v0.4.2
Definition 40Q5VWESGV
| URI | m2://inv/40Q5VWESGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace–Carson transform#FBVK, Definition (definition)
History
- 2026-11-02: add by m2/dev
flow network 40Q9V2JYPQ
| URI | m2://inv/40Q9V2JYPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1412924, flow network (unknown). Also MathWorld NetworkFlow
- wikipedia: Wikipedia Flow network, Flow network (definition). Also Wikidata Q1412924
History
- 2026-10-26: add by m2/dev
Generalizations 40QBTKW0D3
| URI | m2://inv/40QBTKW0D3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive moving-average model#5U28, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Randy Newman 40QC8B7XXW
| URI | m2://inv/40QC8B7XXW |
|---|---|
| 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#RFUP, Randy Newman (unknown)
History
- 2026-11-02: add by m2/dev
40QFJN5G06 40QFJN5G06
| URI | m2://inv/40QFJN5G06 |
|---|---|
| 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.13392#RXYJ (statement). In 2FVND41HVS/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Applications 40QHK8JTH7
| URI | m2://inv/40QHK8JTH7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical billiards#3NFV, Applications (example)
History
- 2026-11-02: add by m2/dev
Matrix analytic method 40QRXPP7QX
| URI | m2://inv/40QRXPP7QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix analytic method, Matrix analytic method (definition). Also Wikidata Q115813653
History
- 2026-11-02: add by m2/dev
40QTJTHRCX 40QTJTHRCX
| URI | m2://inv/40QTJTHRCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#5M1S (statement). In R2K4HZN8RW/e1, proposition 5.13
History
- 2026-10-30: add by m2/v0.4.12
Elementary number 40QXN2JABT
| URI | m2://inv/40QXN2JABT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary number, Elementary number (topic). Also Wikidata Q16898402
History
- 2026-11-02: add by m2/dev
40R0P89C92 40R0P89C92
| URI | m2://inv/40R0P89C92 |
|---|---|
| Kind | statement |
| 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 0909.2893#GE2G (statement). In JQ4JYAXCMK/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
40R5PRHF6Z 40R5PRHF6Z
| URI | m2://inv/40R5PRHF6Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:integralcontcontextra (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
Unitarity and invariant Hermitian forms 40R7NBX3QX
| URI | m2://inv/40R7NBX3QX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#BQQ1, Unitarity and invariant Hermitian forms (definition)
History
- 2026-11-01: add by m2/v0.6.15
40REB4GSQP 40REB4GSQP
| URI | m2://inv/40REB4GSQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#DYL1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SPKAC 40RH4D1TSJ
| URI | m2://inv/40RH4D1TSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SPKAC, SPKAC (definition). Also Wikidata Q7392590
History
- 2026-11-02: add by m2/dev
Rebecca Zwick 40RWW4X6M4
| URI | m2://inv/40RWW4X6M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SVLG, Rebecca Zwick (unknown)
History
- 2026-11-02: add by m2/dev
40S7HDXPGW 40S7HDXPGW
| URI | m2://inv/40S7HDXPGW |
|---|---|
| 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.00775#6IB3 (statement). In WVHA7H05QC/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.12
Mixed tensor 40SAZRD89G
| URI | m2://inv/40SAZRD89G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#QX78, Mixed tensor (definition)
History
- 2026-11-02: add by m2/dev
40SJ3WDDEE 40SJ3WDDEE
| URI | m2://inv/40SJ3WDDEE |
|---|---|
| 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.15588#DW6D (statement). In M2VCJFGZ4P/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Ivor Robinson 40SNJ47DM3
| URI | m2://inv/40SNJ47DM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#E1FA, Ivor Robinson (unknown)
History
- 2026-11-02: add by m2/dev
Full-support three-spectral period-two counterexample 40SQEJMJXA
| URI | m2://inv/40SQEJMJXA |
|---|---|
| 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.00939#6XVG, Full-support three-spectral period-two counterexample (statement). In 3X14CMMG58/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
40SWJCAZ6S 40SWJCAZ6S
| URI | m2://inv/40SWJCAZ6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16834#197I (statement). In Q0DTV6PJJW/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
40T3S958Q3 40T3S958Q3
| URI | m2://inv/40T3S958Q3 |
|---|---|
| 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.25038#GXN5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Poset category 40TA8VB1CZ
| URI | m2://inv/40TA8VB1CZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered set#FLPP, Poset category (unknown)
History
- 2026-11-02: add by m2/dev
40TXB84P26 40TXB84P26
| URI | m2://inv/40TXB84P26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:total-fiber-equiv (statement). In N54F33XE07, thm, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
constant problem 40V0FSAF07
| URI | m2://inv/40V0FSAF07 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5163662, constant problem (problem). Also MathWorld ConstantProblem
- wikipedia: Wikipedia Constant problem, Constant problem (problem). Also Wikidata Q5163662
History
- 2026-10-26: add by m2/dev
40V2QMXHWQ 40V2QMXHWQ
| URI | m2://inv/40V2QMXHWQ |
|---|---|
| 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.10243#00UG (statement). In 6N7EAD1PYD/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Equivalent definitions 40V5WE49E8
| URI | m2://inv/40V5WE49E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably compact space#2XGL, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
40VAB44ZB0 40VAB44ZB0
| URI | m2://inv/40VAB44ZB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#D0ZB (statement). In WYDHWYFRFK/e1, proposition 5.8
History
- 2026-10-31: add by m2/v0.5.6
40VCE1RV28 40VCE1RV28
| URI | m2://inv/40VCE1RV28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#thm:partition yields equivalence relation (statement). In P1C114YBXG, theorem, section G
History
- 2026-11-01: add by m2/v0.6.13
ETF query criterion 40VMRG53F1
| URI | m2://inv/40VMRG53F1 |
|---|---|
| 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.07721#FCLG, ETF query criterion (statement). In QMJDN66F5N/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
parametrization 40VPBB90Q9
| URI | m2://inv/40VPBB90Q9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/C/parametrization, parametrization (concept). In VNMV985MXX, index, section C
History
- 2026-11-01: add by m2/v0.6.13
Frederick R. Cohen 40VTBGHF9X
| URI | m2://inv/40VTBGHF9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick R. Cohen, Frederick R. Cohen (topic). Also Wikidata Q102150918
History
- 2026-11-02: add by m2/dev
40VW8GJPVK 40VW8GJPVK
| URI | m2://inv/40VW8GJPVK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10591#DLAL (definition). In FTEA0TM35J/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Santosh Vempala 40W3QN302E
| URI | m2://inv/40W3QN302E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2QVL, Santosh Vempala (unknown)
History
- 2026-11-02: add by m2/dev
40W8N58BWK 40W8N58BWK
| URI | m2://inv/40W8N58BWK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33704#HD1C (definition). In STRVMT83HE/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Examples 40WE4FSRWP
| URI | m2://inv/40WE4FSRWP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated distribution#CTCR, Examples (example)
History
- 2026-11-02: add by m2/dev
localization of a category 40WJHD90RT
| URI | m2://inv/40WJHD90RT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#51TF, localization of a category (definition)
History
- 2026-11-02: add by m2/dev
Completeness theorem 40WX21AYRT
| URI | m2://inv/40WX21AYRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entscheidungsproblem#XHW8, Completeness theorem (statement)
History
- 2026-11-02: add by m2/dev
Enumeration, informally 40WX4KN85A
| URI | m2://inv/40WX4KN85A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#defn-1, Enumeration, informally (definition). In PKGMM3P5QY, defn, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
40WZCXAGG6 40WZCXAGG6
| URI | m2://inv/40WZCXAGG6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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 2409.01237#CDZ2 (example). In M9VHCG48HB/e1, example 6.1
History
- 2026-10-27: add by m2/v0.3.5
40X2V1KJZB 40X2V1KJZB
| URI | m2://inv/40X2V1KJZB |
|---|---|
| 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 2606.02312#JHTH (statement). In 1SZV94R22Y/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
40X8EDEGJV 40X8EDEGJV
| URI | m2://inv/40X8EDEGJV |
|---|---|
| Kind | problem |
| 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.32338#W30S (problem). In HVY45JQRNK/e1, problem 8
History
- 2026-10-31: add by m2/v0.5.6
Solvable signalizer functor theorem 40XV3X9N2M
| URI | m2://inv/40XV3X9N2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signalizer functor#58Y9, Solvable signalizer functor theorem (statement)
History
- 2026-11-02: add by m2/dev
40YEVG8YYV 40YEVG8YYV
| URI | m2://inv/40YEVG8YYV |
|---|---|
| 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 2512.21427#EB4W (statement). In G9XD78ZCAS/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Bounded differences 40YJ7YJ7VT
| URI | m2://inv/40YJ7YJ7VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#3C14, Bounded differences (statement). In Y7NC12TBNP/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Augustin Cauchy 40YP6GPGZD
| URI | m2://inv/40YP6GPGZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#5VAW, Augustin Cauchy (topic)
History
- 2026-11-02: add by m2/dev
Victor Shoup 40YTDM2KC4
| URI | m2://inv/40YTDM2KC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Shoup, Victor Shoup (topic). Also Wikidata Q7926338
History
- 2026-11-02: add by m2/dev
40YV0MJMN8 40YV0MJMN8
| URI | m2://inv/40YV0MJMN8 |
|---|---|
| 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#EQE9 (statement). In DPR6B6X0JX/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Distributions on the line as responses 40Z3Y7RZ6P
| URI | m2://inv/40Z3Y7RZ6P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#Z7AZ, Distributions on the line as responses (example). In FTPW1SZ8D3/e1, example 5.8
History
- 2026-10-30: add by m2/v0.4.12
40Z7XQSK98 40Z7XQSK98
| URI | m2://inv/40Z7XQSK98 |
|---|---|
| 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#DI5C (statement). In C0EG2EY0M4/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
40ZER003S4 40ZER003S4
| URI | m2://inv/40ZER003S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#CC8F (statement). In TAPS8P2VYS/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
40ZEW3ZSKG 40ZEW3ZSKG
| URI | m2://inv/40ZEW3ZSKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.09840#02D3 (statement). In Y7TWHSF2HC/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
A projected Fourier lower bound 40ZG4DH5DJ
| URI | m2://inv/40ZG4DH5DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.37615#0HQ3, A projected Fourier lower bound (statement). In T2B54J7121/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
40ZGVQE4FX 40ZGVQE4FX
| URI | m2://inv/40ZGVQE4FX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/downward-ls.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 11.2
History
- 2026-11-01: add by m2/v0.6.13
40ZJF6V16Z 40ZJF6V16Z
| URI | m2://inv/40ZJF6V16Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#J3LT (statement). In XJWYBPS14M/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Uniform convexity vs covering 40ZKAMCK75
| URI | m2://inv/40ZKAMCK75 |
|---|---|
| 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.20687#64DD, Uniform convexity vs covering (statement)
History
- 2026-11-02: add by m2/v0.6.18