Inventory rows BE
The cards of the rows of the inventory whose ids start with BE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Applications BE0MG9GWF3
| URI | m2://inv/BE0MG9GWF3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power transform#YPIA, Applications (example)
History
- 2026-11-02: add by m2/dev
BE14EQ55BY BE14EQ55BY
| URI | m2://inv/BE14EQ55BY |
|---|---|
| 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.28046#QBFB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quaternion Association BE17TGC7WP
| URI | m2://inv/BE17TGC7WP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#XNBZ, Quaternion Association (topic)
History
- 2026-11-02: add by m2/dev
BE1HFPC9CW BE1HFPC9CW
| URI | m2://inv/BE1HFPC9CW |
|---|---|
| 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.09084#AAT1 (statement). In F5VT2K2QYX/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Aspherical space BE1TQA9KKV
| URI | m2://inv/BE1TQA9KKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aspherical space, Aspherical space (definition). Also Wikidata Q4807974
History
- 2026-11-02: add by m2/dev
BE1X10YHWM BE1X10YHWM
| URI | m2://inv/BE1X10YHWM |
|---|---|
| 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.06488#W26O (statement). In XG3BJ2QXXP/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
BE1YVVPAKC BE1YVVPAKC
| URI | m2://inv/BE1YVVPAKC |
|---|---|
| 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.07812#853L (statement). In PVX8WBBXW5/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Whitney conditions BE214PTFHJ
| URI | m2://inv/BE214PTFHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney conditions, Whitney conditions (definition). Also Wikidata Q7996761
History
- 2026-11-02: add by m2/dev
drawing of a graph BE2863WEQB
| URI | m2://inv/BE2863WEQB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.5/drawing-of-a-graph, drawing of a graph (concept). In QKM9DD2H56, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Rauch comparison theorem BE2FTDXY1C
| URI | m2://inv/BE2FTDXY1C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GXWS, Rauch comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
BE2K2P9GFB BE2K2P9GFB
| URI | m2://inv/BE2K2P9GFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#JQ0M (statement). In YH1W5A0JTS/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
BE2N15MXWX BE2N15MXWX
| URI | m2://inv/BE2N15MXWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#FR9Q (statement). In PA6JQDSKQT/e1, lemma 4.20
History
- 2026-10-28: add by m2/v0.4.2
BE308VYT1J BE308VYT1J
| URI | m2://inv/BE308VYT1J |
|---|---|
| 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.39809#GM0O (statement). In 97YSJAHESY/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Height zeta function BE335DG0PE
| URI | m2://inv/BE335DG0PE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#9KFX, Height zeta function (definition)
History
- 2026-11-02: add by m2/dev
Synchrotron function BE34EZFV3R
| URI | m2://inv/BE34EZFV3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synchrotron function, Synchrotron function (definition). Also Wikidata Q7662224
History
- 2026-11-02: add by m2/dev
BE36QNMJ3B BE36QNMJ3B
| URI | m2://inv/BE36QNMJ3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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.13933#5796 (statement). In JQXN8NGTP7/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Mantel test BE3GR3KP77
| URI | m2://inv/BE3GR3KP77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mantel test, Mantel test (definition). Also Wikidata Q6752022
History
- 2026-11-02: add by m2/dev
Vector graphics BE3PQYYJE8
| URI | m2://inv/BE3PQYYJE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#L0IH, Vector graphics (unknown)
History
- 2026-11-02: add by m2/dev
2100 (number) BE3SR3D3AR
| URI | m2://inv/BE3SR3D3AR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#JM9S, 2100 (number) (unknown)
History
- 2026-11-02: add by m2/dev
the fitted basis BE45H577KB
| URI | m2://inv/BE45H577KB |
|---|---|
| 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.06810#PX2O, the fitted basis (statement). In 1NY2SA03XF/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
nonhypotenuse number BE49VNDSQX
| URI | m2://inv/BE49VNDSQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7049414, nonhypotenuse number (object). Also OEIS A004144
- wikipedia: Wikipedia Nonhypotenuse number, Nonhypotenuse number (definition). Also Wikidata Q7049414
History
- 2026-10-26: add by m2/dev
The principle of the bombe BE4A4CYMVE
| URI | m2://inv/BE4A4CYMVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bombe#C8KI, The principle of the bombe (statement)
History
- 2026-11-02: add by m2/dev
BE4GDAG6JM BE4GDAG6JM
| URI | m2://inv/BE4GDAG6JM |
|---|---|
| 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.19088#OZ6H (statement). In 90QTB4CC31/e1, theorem 3.23
History
- 2026-10-28: add by m2/v0.4.2
Buddhism and religious pluralism BE4GJK63C5
| URI | m2://inv/BE4GJK63C5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Religious pluralism#4ZUJ, Buddhism and religious pluralism (unknown)
History
- 2026-11-02: add by m2/dev
singular matrix BE4QCMNK91
| URI | m2://inv/BE4QCMNK91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1970975, singular matrix (definition). Also MathWorld SingularMatrix, ProofWiki Definition:Non-Invertible_Matrix
- wikipedia: Wikipedia Singular matrix, Singular matrix (definition). Also Wikidata Q1970975
History
- 2026-10-26: add by m2/dev
Absorbing Lemma BE4SPAT1M5
| URI | m2://inv/BE4SPAT1M5 |
|---|---|
| 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 2603.21971#171W, Absorbing Lemma (statement). In R6KSZ9H8CY/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Freudenthal Equivalence BE4ZGVBSM1
| URI | m2://inv/BE4ZGVBSM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#cor:freudenthal-equiv, Freudenthal Equivalence (statement). In N54F33XE07, cor, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Eckmann--Hilton argument BE54E5ZG6J
| URI | m2://inv/BE54E5ZG6J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/eckmann-hilton-argument, Eckmann--Hilton argument (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Erica E. Moodie BE57YKGXW4
| URI | m2://inv/BE57YKGXW4 |
|---|---|
| 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#B6J5, Erica E. Moodie (unknown)
History
- 2026-11-02: add by m2/dev
Area formula BE59RX9A6K
| URI | m2://inv/BE59RX9A6K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy's stochastic area#BDFA, Area formula (statement)
History
- 2026-11-02: add by m2/dev
BE5DMCRFBT BE5DMCRFBT
| URI | m2://inv/BE5DMCRFBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2010.04617#K5CW (statement). In P7PSTS3735/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
chord BE5DNJ2T7W
| URI | m2://inv/BE5DNJ2T7W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135974090, chord (unknown). Also MathWorld CycleChord
History
- 2026-10-26: add by m2/dev
Properties BE5P20NH2R
| URI | m2://inv/BE5P20NH2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical axis#72FB, Properties (statement)
History
- 2026-11-02: add by m2/dev
John Babington BE5RNASWXV
| URI | m2://inv/BE5RNASWXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Babington (mathematician), John Babington (topic). Also Wikidata Q6220192
History
- 2026-11-02: add by m2/dev
BE616SSXJN BE616SSXJN
| URI | m2://inv/BE616SSXJN |
|---|---|
| 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.22218#XVCW (statement). In 338GKREFVP/e1, theorem 36
History
- 2026-10-27: add by m2/v0.4.0
BE61XYAKM6 BE61XYAKM6
| URI | m2://inv/BE61XYAKM6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 52.4
History
- 2026-11-01: add by m2/v0.6.13
Martin Hairer BE672A9FS7
| URI | m2://inv/BE672A9FS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Hairer, Martin Hairer (topic). Also Wikidata Q89332
History
- 2026-11-02: add by m2/dev
BE695094XC BE695094XC
| URI | m2://inv/BE695094XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#defn:cocone (definition). In N54F33XE07, defn, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
BE6CG8TQSW BE6CG8TQSW
| URI | m2://inv/BE6CG8TQSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#STXV (statement). In D16PSAVVWV/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
zepto BE6HMDQJ7T
| URI | m2://inv/BE6HMDQJ7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110807, zepto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/zepto-
History
- 2026-10-26: add by m2/dev
Uniform boundedness of stationary distributions BE6PY2EZD6
| URI | m2://inv/BE6PY2EZD6 |
|---|---|
| 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.04117#H71G, Uniform boundedness of stationary distributions (statement). In 65E9N3DFYP/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.12
D'Arcy Wentworth Thompson BE6SB23ACQ
| URI | m2://inv/BE6SB23ACQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#C8IF, D'Arcy Wentworth Thompson (unknown)
History
- 2026-11-02: add by m2/dev
Weak topology BE6TBZHD0H
| URI | m2://inv/BE6TBZHD0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#5IW0, Weak topology (definition)
History
- 2026-11-02: add by m2/dev
Askold Khovanskii BE6TYY4XFR
| URI | m2://inv/BE6TYY4XFR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#L2CE, Askold Khovanskii (topic)
History
- 2026-11-02: add by m2/dev
BE7H1PFNJD BE7H1PFNJD
| URI | m2://inv/BE7H1PFNJD |
|---|---|
| Kind | definition |
| 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.30018#JDKT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Realization and canonical disjunctive normal form BE7QRXCDY7
| URI | m2://inv/BE7QRXCDY7 |
|---|---|
| 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#IM1H, Realization and canonical disjunctive normal form (statement). In 5E9G06XJKC/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
BE7WHVA2AA BE7WHVA2AA
| URI | m2://inv/BE7WHVA2AA |
|---|---|
| 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.20665#GGAA (statement)
History
- 2026-11-02: add by m2/v0.6.18
BE81Z8DM0P BE81Z8DM0P
| URI | m2://inv/BE81Z8DM0P |
|---|---|
| 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#BRFU (statement). In 5E9G06XJKC/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
BE84AVK925 BE84AVK925
| URI | m2://inv/BE84AVK925 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#MWJ6 (statement). In QQFXT31CA5/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.3
Prime number theorem BE880JRBB0
| URI | m2://inv/BE880JRBB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of limits#D326, Prime number theorem (statement)
History
- 2026-11-02: add by m2/dev
BE882BFDDG BE882BFDDG
| URI | m2://inv/BE882BFDDG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#GFSX (definition). In B366ACYB37/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.3.5
Local interval probabilities BE8C0CVPWE
| URI | m2://inv/BE8C0CVPWE |
|---|---|
| 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.10393#LBR6, Local interval probabilities (statement). In ZGS97E3PB7/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
Base field BE8TKQW4ME
| URI | m2://inv/BE8TKQW4ME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#example-1, Base field (example). In RZP28ERRZV, example, section 12.1
History
- 2026-11-01: add by m2/v0.6.13
Example BE8W6EQRP2
| URI | m2://inv/BE8W6EQRP2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control-Lyapunov function#VWTX, Example (example)
History
- 2026-11-02: add by m2/dev
Applications BE8X7DX6Q4
| URI | m2://inv/BE8X7DX6Q4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological stability#SYMA, Applications (example)
History
- 2026-11-02: add by m2/dev
Virginia Warfield BE8XR4ETH1
| URI | m2://inv/BE8XR4ETH1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virginia Warfield, Virginia Warfield (topic). Also Wikidata Q61872065
History
- 2026-11-02: add by m2/dev
William Fleetwood Sheppard BE98CZ342X
| URI | m2://inv/BE98CZ342X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Fleetwood Sheppard, William Fleetwood Sheppard (topic). Also Wikidata Q15506089
History
- 2026-11-02: add by m2/dev
BE9AFJ0VNA BE9AFJ0VNA
| URI | m2://inv/BE9AFJ0VNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#XVP7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties of the medcouple BE9D97RZXS
| URI | m2://inv/BE9D97RZXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medcouple#C8H3, Properties of the medcouple (statement)
History
- 2026-11-02: add by m2/dev
Eleven-point conic BE9F92MFGE
| URI | m2://inv/BE9F92MFGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleven-point conic, Eleven-point conic (definition). Also Wikidata Q5359739
History
- 2026-11-02: add by m2/dev
Examples BE9RJYDZ3G
| URI | m2://inv/BE9RJYDZ3G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lissajous knot#1PY1, Examples (example)
History
- 2026-11-02: add by m2/dev
BE9RKPYE26 BE9RKPYE26
| URI | m2://inv/BE9RKPYE26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34066#EJHQ (statement). In F0Y3DZCEH0/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
BE9X0G53JB BE9X0G53JB
| URI | m2://inv/BE9X0G53JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#MD4G (statement). In 9DQKY7KGE8/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
Radiodrome BE9XEGZAB2
| URI | m2://inv/BE9XEGZAB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radiodrome, Radiodrome (definition). Also Wikidata Q7281252
History
- 2026-11-02: add by m2/dev
NLS BE9YY0CRX4
| URI | m2://inv/BE9YY0CRX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NLS (cipher), NLS (definition). Also Wikidata Q6954681
History
- 2026-11-02: add by m2/dev
Habilitation and Noether's theorem BEA78JC53W
| URI | m2://inv/BEA78JC53W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmy Noether#4D79, Habilitation and Noether's theorem (statement)
History
- 2026-11-02: add by m2/dev
BEA7HXRPQB BEA7HXRPQB
| URI | m2://inv/BEA7HXRPQB |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#FE7H (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Exterior connection BEACCNRAFP
| URI | m2://inv/BEACCNRAFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection form#AACQ, Exterior connection (unknown)
History
- 2026-11-02: add by m2/dev
RSA-400 BEADCB13GJ
| URI | m2://inv/BEADCB13GJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#TW72, RSA-400 (unknown)
History
- 2026-11-02: add by m2/dev
BEARN4GSVG BEARN4GSVG
| URI | m2://inv/BEARN4GSVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#ZOYX (statement). In 332PQD90SW/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.3.5
Performative utterance BEARSWSQJJ
| URI | m2://inv/BEARSWSQJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Performative utterance, Performative utterance (definition). Also Wikidata Q965415
History
- 2026-11-02: add by m2/dev
Alethic logic BEB66GCZQY
| URI | m2://inv/BEB66GCZQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal logic#XHVW, Alethic logic (unknown)
History
- 2026-11-02: add by m2/dev
Alexander Goncharov BEB6H011C2
| URI | m2://inv/BEB6H011C2 |
|---|---|
| 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 Q2642205, Alexander Goncharov (unknown). Also nLab Alexander Goncharov
- wikipedia: Wikipedia Alexander Goncharov, Alexander Goncharov (topic). Also Wikidata Q2642205
History
- 2026-10-26: add by m2/dev
BEBA3746TC BEBA3746TC
| URI | m2://inv/BEBA3746TC |
|---|---|
| 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.15720#NJ4J (statement). In VNN52G3BRE/e1, corollary B.8
History
- 2026-10-28: add by m2/v0.4.2
Definition BEBQEVNVEP
| URI | m2://inv/BEBQEVNVEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale morphism#ZA8K, Definition (definition)
History
- 2026-11-02: add by m2/dev
BEBR1FGT3W BEBR1FGT3W
| URI | m2://inv/BEBR1FGT3W |
|---|---|
| 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.12732#O0KU (statement). In 5E91Y3VY9E/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
BEBVSNQ2N7 BEBVSNQ2N7
| URI | m2://inv/BEBVSNQ2N7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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 2303.09207#2X32 (definition). In 9DQKY7KGE8/e1, definition C.12
History
- 2026-10-31: add by m2/v0.5.6
degeneracy BEC29N3RPG
| URI | m2://inv/BEC29N3RPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5251771, degeneracy (unknown). Also MathWorld GraphDegeneracy
- wikipedia: Wikipedia Degeneracy (graph theory), Degeneracy (definition). Also Wikidata Q5251771
History
- 2026-10-26: add by m2/dev
Examples BEC87HFKTQ
| URI | m2://inv/BEC87HFKTQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable curve#CH8C, Examples (example)
History
- 2026-11-02: add by m2/dev
BEC96SHN0Y BEC96SHN0Y
| URI | m2://inv/BEC96SHN0Y |
|---|---|
| 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.16081#5D7R (statement). In RS6WWZKMT6/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Generalizations BECCX6RSFF
| URI | m2://inv/BECCX6RSFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime geodesic#5MAX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Kan fibration BECDC4WBGP
| URI | m2://inv/BECDC4WBGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3915873, Kan fibration (unknown). Also nLab Kan fibration
- wikipedia: Wikipedia Kan fibration, Kan fibration (definition). Also Wikidata Q3915873
History
- 2026-10-26: add by m2/dev
BECHEX4G9G BECHEX4G9G
| URI | m2://inv/BECHEX4G9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2510.01873#96SS (statement). In FVZZDPEYNM/e1, theorem 4.1
- arxiv: arXiv 2609.23167#99MJ (statement)
History
- 2026-10-27: add by m2/v0.3.5
Finite-dimensional reduction BECJ5JET5P
| URI | m2://inv/BECJ5JET5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#FU2X, Finite-dimensional reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
J. Scott Long BECP3M1A5Y
| URI | m2://inv/BECP3M1A5Y |
|---|---|
| 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#PXD0, J. Scott Long (unknown)
History
- 2026-11-02: add by m2/dev
Darboux BECWV045WB
| URI | m2://inv/BECWV045WB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#thm:darboux, Darboux (statement). In E59CDZA4DP, thm, section 3.2.5
History
- 2026-11-01: add by m2/v0.6.13
Asymptotic stability in the large BED31M1G95
| URI | m2://inv/BED31M1G95 |
|---|---|
| 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.10949#NVF8, Asymptotic stability in the large (definition). In ANP2XNAH91/e1, definition 7
History
- 2026-10-28: add by m2/v0.4.3
Parallel factor analysis BEDEG1GEY6
| URI | m2://inv/BEDEG1GEY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PKBM, Parallel factor analysis (definition)
History
- 2026-11-02: add by m2/dev
BROJA union information lower bound BEDMRSBST0
| URI | m2://inv/BEDMRSBST0 |
|---|---|
| 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.13464#X260, BROJA union information lower bound (statement). In P40KK40XFP/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Matrix decomposition BEDN45MQC8
| URI | m2://inv/BEDN45MQC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#FKJN, Matrix decomposition (definition)
History
- 2026-11-02: add by m2/dev
Alexander Shapiro BEDZP6BA3A
| URI | m2://inv/BEDZP6BA3A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WPU9, Alexander Shapiro (unknown)
History
- 2026-11-02: add by m2/dev
BEEFQNVZEV BEEFQNVZEV
| URI | m2://inv/BEEFQNVZEV |
|---|---|
| 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 2610.19463#KCYM (statement). In Q4HWFFK0R9/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
G₂ manifold BEEQRPDEPD
| URI | m2://inv/BEEQRPDEPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | G2 manifold P1TFW9QWAD |
Mentions
- wikidata: Wikidata Q5512692, G₂ manifold (unknown). Also nLab G2 manifold
- wikipedia: Wikipedia G2 manifold, G2 manifold (definition). Also Wikidata Q5512692
History
- 2026-10-26: add by m2/dev
Dilution BEERJXCMQB
| URI | m2://inv/BEERJXCMQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilution (equation), Dilution (definition). Also Wikidata Q3028008
History
- 2026-11-02: add by m2/dev
List of conjectures by Paul Erdős BEF163WZT1
| URI | m2://inv/BEF163WZT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős, List of conjectures by Paul Erdős (topic). Also Wikidata Q2517149
History
- 2026-11-02: add by m2/dev
BEF3109MJE BEF3109MJE
| URI | m2://inv/BEF3109MJE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-4 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Rees factor semigroup BEF3ADVPP0
| URI | m2://inv/BEF3ADVPP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rees factor semigroup, Rees factor semigroup (definition). Also Wikidata Q7306978
History
- 2026-11-02: add by m2/dev
empty graph E2 BEFJ45CJVY
| URI | m2://inv/BEFJ45CJVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136089351, empty graph E2 (unknown). Also House of Graphs 19653
History
- 2026-10-26: add by m2/dev
The sum and duality conjectures BEFM5H36WA
| URI | m2://inv/BEFM5H36WA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple zeta function#KAP4, The sum and duality conjectures (statement)
History
- 2026-11-02: add by m2/dev
BEFPE5QJTH BEFPE5QJTH
| URI | m2://inv/BEFPE5QJTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25084#0IO1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The band cover criterion BEFQZCH8Q2
| URI | m2://inv/BEFQZCH8Q2 |
|---|---|
| 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.27641#NU2K, The band cover criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
William Chapple BEFRG2FK90
| URI | m2://inv/BEFRG2FK90 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Chapple (surveyor), William Chapple (topic). Also Wikidata Q18531097
History
- 2026-11-02: add by m2/dev
BEFSFX9BQY BEFSFX9BQY
| URI | m2://inv/BEFSFX9BQY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-11 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Basic properties BEFSXS4PAZ
| URI | m2://inv/BEFSXS4PAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson wavelet#97R3, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
BEFXKDM83P BEFXKDM83P
| URI | m2://inv/BEFXKDM83P |
|---|---|
| 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.25656#UW8P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gottlob Frege BEFXNNF63Q
| URI | m2://inv/BEFXNNF63Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#LTSM, Gottlob Frege (topic)
History
- 2026-11-02: add by m2/dev
Extension is semantic BEG55TVNJ1
| URI | m2://inv/BEG55TVNJ1 |
|---|---|
| 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.21131#OEOT, Extension is semantic (statement). In CPYWHRTPKC/e1, lemma 6.44
History
- 2026-10-27: add by m2/v0.4.2
The formula BEGNB88KQP
| URI | m2://inv/BEGNB88KQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Maclaurin formula#X7VA, The formula (statement)
History
- 2026-11-02: add by m2/dev
BEGS8R5PZV BEGS8R5PZV
| URI | m2://inv/BEGS8R5PZV |
|---|---|
| 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.04993#BS2K (statement). In JQBWZPXKAV/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
Denny Crum BEGSZDAXMW
| URI | m2://inv/BEGSZDAXMW |
|---|---|
| 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#P7LJ, Denny Crum (unknown)
History
- 2026-11-02: add by m2/dev
Box-drawing characters BEGVZG3E0X
| URI | m2://inv/BEGVZG3E0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box-drawing characters, Box-drawing characters (definition). Also Wikidata Q1787014
History
- 2026-11-02: add by m2/dev
Grundlagen der Geometrie BEH7HZDM9G
| URI | m2://inv/BEH7HZDM9G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's axioms#WBWT, Grundlagen der Geometrie (unknown)
History
- 2026-11-02: add by m2/dev
Integral $k$-current BEHH5VRYWV
| URI | m2://inv/BEHH5VRYWV |
|---|---|
| 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.24451#38LV, Integral $k$-current (definition)
History
- 2026-11-01: add by m2/v0.6.15
BEHWKN0WQP BEHWKN0WQP
| URI | m2://inv/BEHWKN0WQP |
|---|---|
| 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.20097#HHLQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Dirac measures BEJ0Y2DHTR
| URI | m2://inv/BEJ0Y2DHTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > Dirac measures, Dirac measures (unknown)
History
- 2026-10-26: add by m2/dev
BEJ49FD4Q5 BEJ49FD4Q5
| URI | m2://inv/BEJ49FD4Q5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10636#K5QF (definition). In 9SV2RAEPXM/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
BEJFY9YTTP BEJFY9YTTP
| URI | m2://inv/BEJFY9YTTP |
|---|---|
| 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#RCAS (statement)
History
- 2026-11-01: add by m2/v0.6.15
BEJGD7HQH9 BEJGD7HQH9
| URI | m2://inv/BEJGD7HQH9 |
|---|---|
| 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#3RL5 (definition). In BF0RYHPMS1/e1, definition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Vector-valued differential form BEK03HNZ76
| URI | m2://inv/BEK03HNZ76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector-valued differential form, Vector-valued differential form (definition). Also Wikidata Q7917791
History
- 2026-11-02: add by m2/dev
Equioscillation theorem BEK1XCK73S
| URI | m2://inv/BEK1XCK73S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equioscillation theorem, Equioscillation theorem (statement). Also Wikidata Q5384549
History
- 2026-11-02: add by m2/dev
BEK2NHPXEH BEK2NHPXEH
| URI | m2://inv/BEK2NHPXEH |
|---|---|
| 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 2411.17227#1PVM (statement). In DDNP38CHQJ/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
BEK37XAHG1 BEK37XAHG1
| URI | m2://inv/BEK37XAHG1 |
|---|---|
| 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.22189#YU8X (statement). In PKS0M89ZRT/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Pfaffian BEK3K5WNND
| URI | m2://inv/BEK3K5WNND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#XY40, Pfaffian (definition)
History
- 2026-11-02: add by m2/dev
BEK8PGSHEG BEK8PGSHEG
| URI | m2://inv/BEK8PGSHEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.35209#NFDC (statement). In YEERR7F4NW/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
BEK934B7QP BEK934B7QP
| URI | m2://inv/BEK934B7QP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#9S88 (statement). In 9YAE8FNQST/e1, theorem 22.3
History
- 2026-10-30: add by m2/v0.4.12
BEK95VBYN8 BEK95VBYN8
| URI | m2://inv/BEK95VBYN8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#57TE (definition). In X88HPQ0W8C/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
stack, completion BEK98QSDWC
| URI | m2://inv/BEK98QSDWC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/stack-completion, stack, completion (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
GHK algorithm BEKNC23ZHY
| URI | m2://inv/BEKNC23ZHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GHK algorithm, GHK algorithm (definition). Also Wikidata Q30673424
History
- 2026-11-02: add by m2/dev
Skew apeirohedron BEKXWZP4Q0
| URI | m2://inv/BEKXWZP4Q0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3395888, Skew apeirohedron (unknown). Also MathWorld RegularSkewPolyhedron
- wikidata: Wikidata Q7309619, regular skew polyhedron (unknown). Also MathWorld RegularSkewPolyhedron
- wikipedia: Wikipedia Regular skew polyhedron, Regular skew polyhedron (object). Also Wikidata Q7309619
- wikipedia: Wikipedia Skew apeirohedron, Skew apeirohedron (object). Also Wikidata Q3395888
History
- 2026-10-26: add by m2/dev
dagger category BEMTASXXYQ
| URI | m2://inv/BEMTASXXYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5208525, dagger category (unknown). Also nLab dagger category
- wikipedia: Wikipedia Dagger category, Dagger category (definition). Also Wikidata Q5208525
History
- 2026-10-26: add by m2/dev
BEMTZEVART BEMTZEVART
| URI | m2://inv/BEMTZEVART |
|---|---|
| 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 2403.02207#P4XY (statement). In 1T3ZYPQZF0/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.6
Turing's method BEMXYNYF3J
| URI | m2://inv/BEMXYNYF3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#87AT, Turing's method (definition)
History
- 2026-11-02: add by m2/dev
Foot of Ten, Pennsylvania BEMZDRKNTH
| URI | m2://inv/BEMZDRKNTH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#M34V, Foot of Ten, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
Definition and properties BEN00RB4QG
| URI | m2://inv/BEN00RB4QG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-algebra#NLMD, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Applications BEN3MEJY5A
| URI | m2://inv/BEN3MEJY5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical mechanics#JSV2, Applications (example)
History
- 2026-11-02: add by m2/dev
BEN5VN732B BEN5VN732B
| URI | m2://inv/BEN5VN732B |
|---|---|
| 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#TU4I (statement). In BDN507RN7J/e1, proposition 3.5.20
History
- 2026-10-30: add by m2/v0.4.12
Blum Blum Shub BEN74ZTGW5
| URI | m2://inv/BEN74ZTGW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#0208, Blum Blum Shub (definition)
History
- 2026-11-02: add by m2/dev
Main-row size and height BEN7S6JVCS
| URI | m2://inv/BEN7S6JVCS |
|---|---|
| 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.28791#2OZW, Main-row size and height (statement)
History
- 2026-11-01: add by m2/v0.6.15
BENAT87E46 BENAT87E46
| URI | m2://inv/BENAT87E46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2306.12846#2RCL (statement). In D6XA7JXZF3/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
abundant number BENJC095SX
| URI | m2://inv/BENJC095SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Abundant number 0VG7VNEWMG |
Mentions
- wikidata: Wikidata Q223722, abundant number (definition). Also MathWorld AbundantNumber, OEIS A005101, ProofWiki Definition:Abundant_Number
- wikipedia: Wikipedia Abundant number, Abundant number (definition). Also Wikidata Q223722
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Harold Kelley BEP9MTCNXV
| URI | m2://inv/BEP9MTCNXV |
|---|---|
| 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#ALDJ, Harold Kelley (unknown)
History
- 2026-11-02: add by m2/dev
BEPAF6DZQS BEPAF6DZQS
| URI | m2://inv/BEPAF6DZQS |
|---|---|
| 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.11388#A3UO (statement). In PC1SZ68BPZ/e1, proposition D.4
History
- 2026-10-28: add by m2/v0.4.3
mixed BEPJ8H85AK
| URI | m2://inv/BEPJ8H85AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#JW18, mixed (definition)
History
- 2026-11-02: add by m2/dev
Weight increment under noisy scores BEPMMAW1YH
| URI | m2://inv/BEPMMAW1YH |
|---|---|
| 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.13773#DRYQ, Weight increment under noisy scores (statement). In E75XQY0QFM/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Quasianalytic weights BEPT3YXTA8
| URI | m2://inv/BEPT3YXTA8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#1XU8, Quasianalytic weights (definition). In BQDZN6GRGF/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Use–mention distinction BEQ08DBGEE
| URI | m2://inv/BEQ08DBGEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Use–mention distinction, Use–mention distinction (definition). Also Wikidata Q2577553
History
- 2026-11-02: add by m2/dev
BEQ20KC44M BEQ20KC44M
| URI | m2://inv/BEQ20KC44M |
|---|---|
| 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.24185#1Y79 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BEQCPY90WB BEQCPY90WB
| URI | m2://inv/BEQCPY90WB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-18 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Weight error times the product of nuisance errors BEQQBXK9EQ
| URI | m2://inv/BEQQBXK9EQ |
|---|---|
| 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.20772#0NCS, Weight error times the product of nuisance errors (statement)
History
- 2026-11-02: add by m2/v0.6.18
BEQWCZRNBY BEQWCZRNBY
| URI | m2://inv/BEQWCZRNBY |
|---|---|
| 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.19455#3COB (statement). In CBF6TQS4DW/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
BEQYBCGY1C BEQYBCGY1C
| URI | m2://inv/BEQYBCGY1C |
|---|---|
| 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.30444#NCKW (statement). In RZWJ0AT8W5/e1, corollary 3.12
History
- 2026-10-31: add by m2/v0.5.6
Shear modulus BER7C50CA7
| URI | m2://inv/BER7C50CA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shear modulus, Shear modulus (definition). Also Wikidata Q461466
History
- 2026-11-02: add by m2/dev
finite set BER9NX2V0V
| URI | m2://inv/BER9NX2V0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Sets > finite set, finite set (unknown). Also Mathlib Finset
History
- 2026-10-26: add by m2/dev
Grinberg graph 44 BEREPFTSHG
| URI | m2://inv/BEREPFTSHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816827, Grinberg graph 44 (unknown). Also House of Graphs 1128
History
- 2026-10-26: add by m2/dev
D. K. Kazarinoff's inequality for tetrahedra BERQZZ2T2M
| URI | m2://inv/BERQZZ2T2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas D. Kazarinoff#UIRS, D. K. Kazarinoff's inequality for tetrahedra (statement)
History
- 2026-11-02: add by m2/dev
Marie Charpentier BERRZ0ACCW
| URI | m2://inv/BERRZ0ACCW |
|---|---|
| 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#319J, Marie Charpentier (topic)
History
- 2026-11-02: add by m2/dev
BES48VYVNQ BES48VYVNQ
| URI | m2://inv/BES48VYVNQ |
|---|---|
| Kind | conjecture |
| 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.08581#JQET (conjecture). In VCSPPW15BE/e1, conjecture 7.4
History
- 2026-10-29: add by m2/v0.4.10
BES6P1A8S6 BES6P1A8S6
| URI | m2://inv/BES6P1A8S6 |
|---|---|
| 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.30098#MHK0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dirac gauge BESBV7FAEW
| URI | m2://inv/BESBV7FAEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge fixing#TBZN, Dirac gauge (unknown)
History
- 2026-11-02: add by m2/dev
Rhombo-hexagonal dodecahedron BESFNGW402
| URI | m2://inv/BESFNGW402 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#0SUU, Rhombo-hexagonal dodecahedron (object)
History
- 2026-11-02: add by m2/dev
Fabrizia Mealli BESGYWB37S
| URI | m2://inv/BESGYWB37S |
|---|---|
| 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#TCRI, Fabrizia Mealli (topic)
History
- 2026-11-02: add by m2/dev
BESNB6RPHE BESNB6RPHE
| URI | m2://inv/BESNB6RPHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
BESP04P47G BESP04P47G
| URI | m2://inv/BESP04P47G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-5 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Generalizations BESR2SDF8V
| URI | m2://inv/BESR2SDF8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monte Carlo method in statistical mechanics#0UJI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Hilbert class polynomial criterion BESSKT80F1
| URI | m2://inv/BESSKT80F1 |
|---|---|
| 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.26196#AR5A, Hilbert class polynomial criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Biheptellation BESZQ6T61R
| URI | m2://inv/BESZQ6T61R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform polytope#XBEN, Biheptellation (unknown)
History
- 2026-11-02: add by m2/dev
BET1KKVQD4 BET1KKVQD4
| URI | m2://inv/BET1KKVQD4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 42.6
History
- 2026-11-01: add by m2/v0.6.13
Examples BET281GXHK
| URI | m2://inv/BET281GXHK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism#5S0T, Examples (example)
History
- 2026-11-02: add by m2/dev
Hexagonal tiling BET4QAZHMH
| URI | m2://inv/BET4QAZHMH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9L3G, Hexagonal tiling (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#2NU0, Hexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
$q$ Preserves Weakening Typing BET664Z3AV
| URI | m2://inv/BET664Z3AV |
|---|---|
| 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.21131#ONZT, $q$ Preserves Weakening Typing (statement). In CPYWHRTPKC/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Pierre Fayet BET7GQNW01
| URI | m2://inv/BET7GQNW01 |
|---|---|
| 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 Q2093441, Pierre Fayet (unknown). Also nLab Pierre Fayet
History
- 2026-10-26: add by m2/dev
Definition BETG9NMZTK
| URI | m2://inv/BETG9NMZTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of algebras#SFVS, Definition (definition)
History
- 2026-11-02: add by m2/dev
BETM9DZA51 BETM9DZA51
| URI | m2://inv/BETM9DZA51 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#SS30 (example). In 59BZ4V9RQW/e1, example 6.5
History
- 2026-10-28: add by m2/v0.4.2
confluent hypergeometric function BETPKDWTG9
| URI | m2://inv/BETPKDWTG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Confluent hypergeometric function 6AZ4ZBN1M8 |
Mentions
- wikidata: Wikidata Q783948, confluent hypergeometric function (unknown). Also EoM Confluent_hypergeometric_equation, MathWorld ConfluentHypergeometricFunctionoftheFirstKind
- wikipedia: Wikipedia Confluent hypergeometric function, Confluent hypergeometric function (definition). Also Wikidata Q783948
History
- 2026-10-26: add by m2/dev
BETT88DRRJ BETT88DRRJ
| URI | m2://inv/BETT88DRRJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40282#W4U9 (example). In P86RWY99S2/e1, example 1.2.1
History
- 2026-10-30: add by m2/v0.4.12
BETVK17DJ4 BETVK17DJ4
| URI | m2://inv/BETVK17DJ4 |
|---|---|
| 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 2306.07511#HZTZ (statement). In 652CJVBF7C/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.6
Mu Sigma BETVM3RZHD
| URI | m2://inv/BETVM3RZHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mu Sigma, Mu Sigma (definition). Also Wikidata Q17104245
History
- 2026-11-02: add by m2/dev
superposition BETYPV84VP
| URI | m2://inv/BETYPV84VP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.3/superposition, superposition (concept). In E9HS8K3A52, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Definition BEV3VH6KC3
| URI | m2://inv/BEV3VH6KC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SBI ring#YKQ3, Definition (definition)
History
- 2026-11-02: add by m2/dev
BEV5N7QDM9 BEV5N7QDM9
| URI | m2://inv/BEV5N7QDM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#lem:htpy-natural (statement). In N54F33XE07, lem, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
BEVAD2ZA1M BEVAD2ZA1M
| URI | m2://inv/BEVAD2ZA1M |
|---|---|
| Kind | example |
| 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 2302.05529#VROV (example). In 9VPMHV0M4R/e1, example 3.1
History
- 2026-10-31: add by m2/v0.5.6
invariant subspaces of an endomorphism BEVDKJTE9A
| URI | m2://inv/BEVDKJTE9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > invariant subspaces of an endomorphism, invariant subspaces of an endomorphism (unknown). Also Mathlib Module.End.invtSubmodule
History
- 2026-10-26: add by m2/dev
Alcoholic beverage BEVGBG4FDY
| URI | m2://inv/BEVGBG4FDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#S9GU, Alcoholic beverage (unknown)
History
- 2026-11-02: add by m2/dev
BEVH31716J BEVH31716J
| URI | m2://inv/BEVH31716J |
|---|---|
| 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.18562#6BN0 (statement). In 793KXAR957/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
BEVHC2C8KK BEVHC2C8KK
| URI | m2://inv/BEVHC2C8KK |
|---|---|
| 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 2210.16706#ASSM (statement). In JSRVKPT87E/e1, lemma
History
- 2026-10-27: add by m2/v0.4.0
Riemannian/bundle metric BEVJ7Z53C1
| URI | m2://inv/BEVJ7Z53C1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Riemannian manifolds > Riemannian/bundle metric, Riemannian/bundle metric (unknown). Also Mathlib Bundle.RiemannianMetric
History
- 2026-10-26: add by m2/dev
BEW091BFFD BEW091BFFD
| URI | m2://inv/BEW091BFFD |
|---|---|
| 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.10790#488M (statement). In HHQ6P3RRB8/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
BEW30SHWQS BEW30SHWQS
| URI | m2://inv/BEW30SHWQS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#J6LU (example)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations BEW4F6GA2C
| URI | m2://inv/BEW4F6GA2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal convergence#F20E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Poincaré–Einstein synchronization BEW645VJZ8
| URI | m2://inv/BEW645VJZ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#07HE, Poincaré–Einstein synchronization (unknown)
History
- 2026-11-02: add by m2/dev
BEW6QKY42P BEW6QKY42P
| URI | m2://inv/BEW6QKY42P |
|---|---|
| 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.31458#Y4YX (statement). In SNWC76WKWT/e1, lemma H.5
History
- 2026-10-31: add by m2/v0.5.6
diagonalization BEW9T2FG0N
| URI | m2://inv/BEW9T2FG0N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.5/diagonalization, diagonalization (concept). In E59CDZA4DP, index, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
BEWMN5D45Q BEWMN5D45Q
| URI | m2://inv/BEWMN5D45Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#Q3PL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Half-exponential function BEWNNBJXA2
| URI | m2://inv/BEWNNBJXA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#39GT, Half-exponential function (unknown)
History
- 2026-11-02: add by m2/dev
triangle graph BEWQWWJ2RZ
| URI | m2://inv/BEWQWWJ2RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115619, triangle graph (unknown). Also House of Graphs 1374, MathWorld TriangleGraph
- wikipedia: Wikipedia Triangle graph, Triangle graph (definition). Also Wikidata Q3115619
History
- 2026-10-26: add by m2/dev
floor function BEWT00TARS
| URI | m2://inv/BEWT00TARS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Floor function 08GR54CKEA |
Mentions
- wikidata: Wikidata Q56860783, floor function (definition). Also MathWorld FloorFunction, ProofWiki Definition:Floor_Function
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cotangent BEWW2PJ230
| URI | m2://inv/BEWW2PJ230 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#42CQ, Cotangent (definition)
History
- 2026-11-02: add by m2/dev
hypersurface, real-analytic BEX0XBH8M7
| URI | m2://inv/BEX0XBH8M7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.1/hypersurface-real-analytic, hypersurface, real-analytic (concept). In VNMV985MXX, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
BEX4725S8T BEX4725S8T
| URI | m2://inv/BEX4725S8T |
|---|---|
| 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.14838#GRO7 (statement). In J7ZX3WWRQP/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Ada Lovelace BEX646R01T
| URI | m2://inv/BEX646R01T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#ELHE, Ada Lovelace (topic)
History
- 2026-11-02: add by m2/dev
BEX8MF97XD BEX8MF97XD
| URI | m2://inv/BEX8MF97XD |
|---|---|
| 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.11679#1UJ6 (statement). In 30PZ8ZVR3A/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Information fluctuation complexity BEXJ0BT823
| URI | m2://inv/BEXJ0BT823 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information fluctuation complexity, Information fluctuation complexity (definition). Also Wikidata Q92770918
History
- 2026-11-02: add by m2/dev
A whole Brownian history encoded in its later Gaussian reference BEXQ32VQWV
| URI | m2://inv/BEXQ32VQWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#DUP6, A whole Brownian history encoded in its later Gaussian reference (statement). In 9YAE8FNQST/e1, corollary 13.2
History
- 2026-10-30: add by m2/v0.4.12
BEXSZDEGQ1 BEXSZDEGQ1
| URI | m2://inv/BEXSZDEGQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#HM08 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma BEXYX4QBFC
| URI | m2://inv/BEXYX4QBFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#WL8C, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Definition BEY57JA2Y7
| URI | m2://inv/BEY57JA2Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient network#E25N, Definition (definition)
History
- 2026-11-02: add by m2/dev
BEY8HM0EGH BEY8HM0EGH
| URI | m2://inv/BEY8HM0EGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27125#ZH04 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BEYAAN6KCN BEYAAN6KCN
| URI | m2://inv/BEYAAN6KCN |
|---|---|
| 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#67R0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions BEYD296S9E
| URI | m2://inv/BEYD296S9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine symmetric group#2RF5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Generalized Riemann hypothesis BEYFS1SX8W
| URI | m2://inv/BEYFS1SX8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic zeta function#SCOH, Generalized Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Eric Harold Neville BEYH2ZY7PT
| URI | m2://inv/BEYH2ZY7PT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eric Harold Neville, Eric Harold Neville (topic). Also Wikidata Q1351316
History
- 2026-11-02: add by m2/dev
BEYJ1V69V4 BEYJ1V69V4
| URI | m2://inv/BEYJ1V69V4 |
|---|---|
| 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.08323#0O3U (statement). In FR51ART4NF/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
BEYQ29GMSK BEYQ29GMSK
| URI | m2://inv/BEYQ29GMSK |
|---|---|
| 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.03323#SPKG (statement). In J1ZP57QWED/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Uhlenbeck's compactness theorem BEYX8DG7C5
| URI | m2://inv/BEYX8DG7C5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uhlenbeck's compactness theorem, Uhlenbeck's compactness theorem (statement). Also Wikidata Q135397856
History
- 2026-11-02: add by m2/dev
nut graph BEZ0EJGQR6
| URI | m2://inv/BEZ0EJGQR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140243443, nut graph (unknown). Also MathWorld NutGraph
- wikipedia: Wikipedia Nut graph (graph theory), Nut graph (definition). Also Wikidata Q140243443
History
- 2026-10-26: add by m2/dev
BEZ31DYA5T BEZ31DYA5T
| URI | m2://inv/BEZ31DYA5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35895#6R5X (statement). In KB8030SHFP/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Decision-theoretic primitives BEZ9W937MW
| URI | m2://inv/BEZ9W937MW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25026#U5HS, Decision-theoretic primitives (definition)
History
- 2026-11-01: add by m2/v0.6.15
$\lambda$-regularity BEZGAK0YMZ
| URI | m2://inv/BEZGAK0YMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25388#4R6W, $\lambda$-regularity (definition)
History
- 2026-11-01: add by m2/v0.6.15
BEZNDWB84C BEZNDWB84C
| URI | m2://inv/BEZNDWB84C |
|---|---|
| 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.20915#PVQU (definition). In 5M1SXP75D9/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
associative algebra over a commutative ring BEZTW53Z7J
| URI | m2://inv/BEZTW53Z7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > associative algebra over a commutative ring, associative algebra over a commutative ring (unknown). Also Mathlib Algebra
- mathlib_undergrad: mathlib_undergrad Ring Theory > Algebra > associative algebra over a commutative ring, associative algebra over a commutative ring (unknown). Also Mathlib Algebra
History
- 2026-10-26: add by m2/dev
Common regular variation BEZVH916BR
| URI | m2://inv/BEZVH916BR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27335#QQXJ, Common regular variation (conjecture)
History
- 2026-11-01: add by m2/v0.6.15