Inventory rows ZG
The cards of the rows of the inventory whose ids start with ZG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
automata theory ZG02BCMPAT
| URI | m2://inv/ZG02BCMPAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214526, automata theory (unknown). Also MathWorld AutomataTheory
- wikipedia: Wikipedia Automata theory, Automata theory (topic). Also Wikidata Q214526
History
- 2026-10-26: add by m2/dev
ZG0GFFBZGY ZG0GFFBZGY
| URI | m2://inv/ZG0GFFBZGY |
|---|---|
| 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 1311.6044#VFKE (statement). In W4FFB6SVZD/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Uranus ZG0MTQSEM7
| URI | m2://inv/ZG0MTQSEM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q324, Uranus (definition). Also ProofWiki Definition:Uranus
History
- 2026-10-26: add by m2/dev
Equimultiple examples in every singular dimension ZG0SP64HZD
| URI | m2://inv/ZG0SP64HZD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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 2610.07528#UT2S, Equimultiple examples in every singular dimension (example). In WVX0T502A1/e1, example 7.1
History
- 2026-10-29: add by m2/v0.4.10
ZG0YXE1HHM ZG0YXE1HHM
| URI | m2://inv/ZG0YXE1HHM |
|---|---|
| Kind | example |
| 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 2401.14162#EKT5 (example). In JC1XF1JE6J/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
Applications ZG0ZGT555Y
| URI | m2://inv/ZG0ZGT555Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin (physics)#2QD0, Applications (example)
History
- 2026-11-02: add by m2/dev
group of Lie type ZG10C0P08T
| URI | m2://inv/ZG10C0P08T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Group of Lie type NPEBABQ49M |
Mentions
- wikidata: Wikidata Q1406425, group of Lie type (unknown). Also nLab group of Lie type
- wikipedia: Wikipedia Group of Lie type, Group of Lie type (definition). Also Wikidata Q1406425
History
- 2026-10-26: add by m2/dev
Ramanujan's master theorem ZG15G41T6X
| URI | m2://inv/ZG15G41T6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan's master theorem, Ramanujan's master theorem (statement). Also Wikidata Q7288993
History
- 2026-11-02: add by m2/dev
Charles F. Manski ZG166X3N4X
| URI | m2://inv/ZG166X3N4X |
|---|---|
| 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#SSIC, Charles F. Manski (unknown)
History
- 2026-11-02: add by m2/dev
ZG17P42GPP ZG17P42GPP
| URI | m2://inv/ZG17P42GPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30302#THXE (statement). In R6ABTE22G0/e1, lemma 17
History
- 2026-10-31: add by m2/v0.5.6
One-parameter group ZG18ZJ3YGH
| URI | m2://inv/ZG18ZJ3YGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-parameter group, One-parameter group (definition). Also Wikidata Q1308481
History
- 2026-11-02: add by m2/dev
ZG1BD7RD7Q ZG1BD7RD7Q
| URI | m2://inv/ZG1BD7RD7Q |
|---|---|
| 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 2609.28650#NHUX (example)
History
- 2026-11-01: add by m2/v0.6.15
Pierre-Emmanuel Jabin ZG1EZ5NA8R
| URI | m2://inv/ZG1EZ5NA8R |
|---|---|
| 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#FP3P, Pierre-Emmanuel Jabin (unknown)
History
- 2026-11-02: add by m2/dev
ZG1N1RVEEZ ZG1N1RVEEZ
| URI | m2://inv/ZG1N1RVEEZ |
|---|---|
| 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.05146#BCHC (statement). In 63MJS935N4/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
ZG1QZFACH7 ZG1QZFACH7
| URI | m2://inv/ZG1QZFACH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#X0L2 (statement). In 6WJ0R9YEBR/e1, lemma 3.17
History
- 2026-10-28: add by m2/v0.4.2
ZG1RMRSFCW ZG1RMRSFCW
| URI | m2://inv/ZG1RMRSFCW |
|---|---|
| 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.19921#0YUU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lemma 3 ZG1ZZTGY1P
| URI | m2://inv/ZG1ZZTGY1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McNaughton's theorem#VQVP, Lemma 3 (statement)
History
- 2026-11-02: add by m2/dev
computation rule, for dependent function types ZG216Z416C
| URI | m2://inv/ZG216Z416C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.4/computation-rule-for-dependent-function-types, computation rule, for dependent function types (concept). In N54F33XE07, index, section A.4
History
- 2026-11-01: add by m2/v0.6.13
Haar space ZG22YA96J7
| URI | m2://inv/ZG22YA96J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar space, Haar space (definition). Also Wikidata Q1566432
History
- 2026-11-02: add by m2/dev
Applications ZG2A9X1NFZ
| URI | m2://inv/ZG2A9X1NFZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean squared error#ADFC, Applications (example)
History
- 2026-11-02: add by m2/dev
ZG2NE74X64 ZG2NE74X64
| URI | m2://inv/ZG2NE74X64 |
|---|---|
| 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.36016#RJCD (statement). In NAM9ZMPHZ9/e1, proposition D.11
History
- 2026-10-30: add by m2/v0.4.12
Martingale representation and inference ZG2P8Q1N3K
| URI | m2://inv/ZG2P8Q1N3K |
|---|---|
| Kind | statement |
| 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.20090#FGFP, Martingale representation and inference (statement). In 2RV3YSN1NX/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
ZG2Q4MPCVA ZG2Q4MPCVA
| URI | m2://inv/ZG2Q4MPCVA |
|---|---|
| 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#9L8J (statement). In 1NY2SA03XF/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Quasi-metric ZG2QJKQE7K
| URI | m2://inv/ZG2QJKQE7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space#RBOQ, Quasi-metric (unknown)
History
- 2026-11-02: add by m2/dev
ZG2WE3MSGF ZG2WE3MSGF
| URI | m2://inv/ZG2WE3MSGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#NE1V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Multi-Type Encoding Trace ZG2WZGQ0YP
| URI | m2://inv/ZG2WZGQ0YP |
|---|---|
| Kind | example |
| 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.09998#26ED, Multi-Type Encoding Trace (example). In AFMB05H7A6/e1, example 21
History
- 2026-10-29: add by m2/v0.4.10
Warren Mitofsky ZG2X4D5GPM
| URI | m2://inv/ZG2X4D5GPM |
|---|---|
| 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#GR32, Warren Mitofsky (unknown)
History
- 2026-11-02: add by m2/dev
Solution concept ZG2ZZ50P5A
| URI | m2://inv/ZG2ZZ50P5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solution concept, Solution concept (definition). Also Wikidata Q780008
History
- 2026-11-02: add by m2/dev
ZG35Z77NHT ZG35Z77NHT
| URI | m2://inv/ZG35Z77NHT |
|---|---|
| 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.04135#0SD4 (statement). In 587PWJ6W5D/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Facts ZG3632VE1P
| URI | m2://inv/ZG3632VE1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian group#U2TL, Facts (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
ZG36N9J8G3 ZG36N9J8G3
| URI | m2://inv/ZG36N9J8G3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph factorization#YH7J (problem)
History
- 2026-11-02: add by m2/dev
Examples ZG37GA47AP
| URI | m2://inv/ZG37GA47AP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential geometry of surfaces#5HLZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Empirical process ZG3CNESZQ5
| URI | m2://inv/ZG3CNESZQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical process, Empirical process (definition). Also Wikidata Q5374250
History
- 2026-11-02: add by m2/dev
Squared success probabilities ZG3FMAAT5H
| URI | m2://inv/ZG3FMAAT5H |
|---|---|
| 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.17479#BKF8, Squared success probabilities (statement). In 4FWAY748N7/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
ZG3FSK4EW7 ZG3FSK4EW7
| URI | m2://inv/ZG3FSK4EW7 |
|---|---|
| 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 2110.06338#4YL8 (statement). In W1VVK7WDPK/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.0
ZG3J2BNXRH ZG3J2BNXRH
| URI | m2://inv/ZG3J2BNXRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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.00843#NZ7P (statement). In 1K7M5TD0M2/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Global univalence ZG3N520Y1A
| URI | m2://inv/ZG3N520Y1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#PBBP, Global univalence (statement). In 8PTDFHV8SQ/e1, theorem 11.3
History
- 2026-10-28: add by m2/v0.4.3
Gregory Beylkin ZG3NCKFWKA
| URI | m2://inv/ZG3NCKFWKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregory Beylkin, Gregory Beylkin (topic). Also Wikidata Q73892063
History
- 2026-11-02: add by m2/dev
Painlevé conjecture ZG3NVNTW89
| URI | m2://inv/ZG3NVNTW89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Painlevé conjecture, Painlevé conjecture (statement). Also Wikidata Q18386040
History
- 2026-11-02: add by m2/dev
Critical point ZG40WWWZX1
| URI | m2://inv/ZG40WWWZX1 |
|---|---|
| Kind | definition |
| 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.01937#JGC3, Critical point (definition). In BAEDMM7YM5/e1, definition 7
History
- 2026-10-29: add by m2/v0.4.12
Spectral submanifold ZG41ENB798
| URI | m2://inv/ZG41ENB798 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral submanifold, Spectral submanifold (definition). Also Wikidata Q110313730
History
- 2026-11-02: add by m2/dev
ZG4C8Z1HMJ ZG4C8Z1HMJ
| URI | m2://inv/ZG4C8Z1HMJ |
|---|---|
| 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.09810#KK2M (statement). In B6PCH930FV/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.10
Stephen Rallis ZG4DXPT0B0
| URI | m2://inv/ZG4DXPT0B0 |
|---|---|
| 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#V4TW, Stephen Rallis (topic)
History
- 2026-11-02: add by m2/dev
Standard normal deviate ZG4E48MY5T
| URI | m2://inv/ZG4E48MY5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard normal deviate, Standard normal deviate (definition). Also Wikidata Q7598356
History
- 2026-11-02: add by m2/dev
Feller, William ZG4JKGJDGD
| URI | m2://inv/ZG4JKGJDGD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZKJL, Feller, William (topic)
History
- 2026-11-02: add by m2/dev
ZG4MYC92KH ZG4MYC92KH
| URI | m2://inv/ZG4MYC92KH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#EMX8 (statement). In 9B0X8YPF3P/e1, corollary 9.10
History
- 2026-10-28: add by m2/v0.4.2
ZG4SG42B6G ZG4SG42B6G
| URI | m2://inv/ZG4SG42B6G |
|---|---|
| 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#98FM (statement). In 51W7AECQDA/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
ZG4W58YH8X ZG4W58YH8X
| URI | m2://inv/ZG4W58YH8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20568#BB3M (statement). In BCD0ATARNZ/e1, corollary 3.22
History
- 2026-10-27: add by m2/v0.4.2
rhombicuboctahedron ZG4WBMHSBH
| URI | m2://inv/ZG4WBMHSBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q860923, rhombicuboctahedron (object). Also MathWorld SmallRhombicuboctahedron
- wikipedia: Wikipedia Rhombicuboctahedron, Rhombicuboctahedron (definition). Also Wikidata Q860923
History
- 2026-10-26: add by m2/dev
ZG50Q2DXKR ZG50Q2DXKR
| URI | m2://inv/ZG50Q2DXKR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.15099#HK07 (example). In PF5JJ9DS8Q/e1, example 2.2.10
History
- 2026-10-28: add by m2/v0.4.2
Formal definition ZG50YMBNCK
| URI | m2://inv/ZG50YMBNCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruelle zeta function#87EI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
ZG515V60S2 ZG515V60S2
| URI | m2://inv/ZG515V60S2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#dproblem-2 (exercise). In RZP28ERRZV, dproblem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
transformation ZG5191Q47J
| URI | m2://inv/ZG5191Q47J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.2/transformation, transformation (concept). In E9HS8K3A52, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Applications ZG53H60ZGV
| URI | m2://inv/ZG53H60ZGV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere-zero flow#CM10, Applications (example)
History
- 2026-11-02: add by m2/dev
Character formula for compact Lie groups ZG55V3CCPQ
| URI | m2://inv/ZG55V3CCPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirillov character formula#RE2W, Character formula for compact Lie groups (statement)
History
- 2026-11-02: add by m2/dev
The L2 version of the Koksma–Hlawka inequality ZG575KSYYN
| URI | m2://inv/ZG575KSYYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-discrepancy sequence#MOD9, The L2 version of the Koksma–Hlawka inequality (statement)
History
- 2026-11-02: add by m2/dev
ZG5AQVE5EP ZG5AQVE5EP
| URI | m2://inv/ZG5AQVE5EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.28552#0U62 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Application ZG5MB5SAEZ
| URI | m2://inv/ZG5MB5SAEZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum viable population#82XV, Application (example)
History
- 2026-11-02: add by m2/dev
real variable ZG5P7W3MWM
| URI | m2://inv/ZG5P7W3MWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#4GDQ, real variable (definition)
History
- 2026-11-02: add by m2/dev
ZG5PT4V8QA ZG5PT4V8QA
| URI | m2://inv/ZG5PT4V8QA |
|---|---|
| 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.02484#YQPN (statement). In D1V0MQZTFQ/e1, corollary 2.8
History
- 2026-10-29: add by m2/v0.4.12
ZG5Q2R2EJX ZG5Q2R2EJX
| URI | m2://inv/ZG5Q2R2EJX |
|---|---|
| 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.15444#J3L2 (statement). In M2X9TEYRPC/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Fan geometry ZG5QESTCR9
| URI | m2://inv/ZG5QESTCR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#T51Q, Fan geometry (statement). In 65TJENWK7X/e1, lemma 77
History
- 2026-10-29: add by m2/v0.4.10
ZG5TN4Z598 ZG5TN4Z598
| URI | m2://inv/ZG5TN4Z598 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15610#ZZB6 (statement). In HENAFHBDQS/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Stefan Müller ZG5YH0G9YZ
| URI | m2://inv/ZG5YH0G9YZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan Müller (mathematician), Stefan Müller (topic). Also Wikidata Q2337200
History
- 2026-11-02: add by m2/dev
Krylov-Bogoliubov averaging method ZG62Z6956V
| URI | m2://inv/ZG62Z6956V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#OKBT, Krylov-Bogoliubov averaging method (definition)
History
- 2026-11-02: add by m2/dev
ZG63N5MCD3 ZG63N5MCD3
| URI | m2://inv/ZG63N5MCD3 |
|---|---|
| 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.32903#NCZN (statement). In S8NB83KQX3/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
ZG6CRRQ9Q9 ZG6CRRQ9Q9
| URI | m2://inv/ZG6CRRQ9Q9 |
|---|---|
| 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#Y916 (statement). In Q4HWFFK0R9/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Remark ZG6EWPQ7FM
| URI | m2://inv/ZG6EWPQ7FM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetration#DCFC, Remark (unknown)
History
- 2026-11-02: add by m2/dev
ZG6HXR4B2A ZG6HXR4B2A
| URI | m2://inv/ZG6HXR4B2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#Z2ZP (statement). In XD603HRHKC/e1, lemma B.6
History
- 2026-10-30: add by m2/v0.4.12
ZG6J99N342 ZG6J99N342
| URI | m2://inv/ZG6J99N342 |
|---|---|
| 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.38988#GG5Z (statement). In KZ0ZRYE0ZH/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Pareto interpolation ZG6RYBYHDX
| URI | m2://inv/ZG6RYBYHDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DHDS, Pareto interpolation (definition)
History
- 2026-11-02: add by m2/dev
weight ZG6WZ544GR
| URI | m2://inv/ZG6WZ544GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#QGXE, weight (definition)
History
- 2026-11-02: add by m2/dev
Quantum finite automaton ZG6X0J4G4P
| URI | m2://inv/ZG6X0J4G4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum finite automaton, Quantum finite automaton (definition). Also Wikidata Q176837
History
- 2026-11-02: add by m2/dev
ZG70NNZ13X ZG70NNZ13X
| URI | m2://inv/ZG70NNZ13X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#FW0C (definition). In HX63A1PH1W/e1, definition 7.33
History
- 2026-10-28: add by m2/v0.4.3
Generalizations ZG7C1KMJF9
| URI | m2://inv/ZG7C1KMJF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vandermonde polynomial#ZSNH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Applications ZG7GD8C4S2
| URI | m2://inv/ZG7GD8C4S2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency principle/spectral bias#ZS1N, Applications (example)
History
- 2026-11-02: add by m2/dev
ZG7J40JJAY ZG7J40JJAY
| URI | m2://inv/ZG7J40JJAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 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 2505.04593#NN4I (statement). In PEXJPV3NP8/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
ZG7M4YX1ZE ZG7M4YX1ZE
| URI | m2://inv/ZG7M4YX1ZE |
|---|---|
| Kind | example |
| 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.13489#YUJF (example). In R4CJ28GP2T/e1, example 1.1
History
- 2026-10-28: add by m2/v0.4.2
ZG7NX6A6VW ZG7NX6A6VW
| URI | m2://inv/ZG7NX6A6VW |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#EDCS (conjecture). In YRJS76169Z/e1, conjecture 3.9
History
- 2026-10-27: add by m2/v0.4.2
Random assignment ZG7Q0V2SVX
| URI | m2://inv/ZG7Q0V2SVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random assignment, Random assignment (definition). Also Wikidata Q7291958
History
- 2026-11-02: add by m2/dev
ZG7W6H8D29 ZG7W6H8D29
| URI | m2://inv/ZG7W6H8D29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.31445#BSBW (statement). In 7V2PVZS04C/e1, proposition 4.6
History
- 2026-10-31: add by m2/v0.5.6
Example ZG7WTD9VA4
| URI | m2://inv/ZG7WTD9VA4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grouped data#VMD8, Example (example)
History
- 2026-11-02: add by m2/dev
ZG7X0R17RM ZG7X0R17RM
| URI | m2://inv/ZG7X0R17RM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#T4E1 (definition). In Z7E16PFFCP/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Statement ZG85D0H26H
| URI | m2://inv/ZG85D0H26H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dubins–Schwarz theorem#B8P2, Statement (statement)
History
- 2026-11-02: add by m2/dev
Rank capacities for two conditioning spaces ZG86JKCJ5F
| URI | m2://inv/ZG86JKCJ5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#SPSJ, Rank capacities for two conditioning spaces (statement). In ZZER8ZBSCR/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.12
Raimund Seidel ZG8PBRFQSN
| URI | m2://inv/ZG8PBRFQSN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CSWT, Raimund Seidel (unknown)
History
- 2026-11-02: add by m2/dev
Definition ZG8X7B56B5
| URI | m2://inv/ZG8X7B56B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann curvature tensor#GEPD, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZG8XJFMD7C ZG8XJFMD7C
| URI | m2://inv/ZG8XJFMD7C |
|---|---|
| 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 2504.19468#6ZCK (statement). In EY54F2SX08/e1, proposition 6.10
History
- 2026-10-27: add by m2/v0.3.5
intuitionism ZG98XKWD8K
| URI | m2://inv/ZG98XKWD8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Intuitionism XQHF63BBYF |
Mentions
- wikidata: Wikidata Q10879018, intuitionism (definition). Also ProofWiki Definition:Intuitionist_School
- wikipedia: Wikipedia Intuitionism, Intuitionism (definition). Also Wikidata Q10879018
History
- 2026-10-26: add by m2/dev
ZG9GKSVE0A ZG9GKSVE0A
| URI | m2://inv/ZG9GKSVE0A |
|---|---|
| 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.22528#KUA9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eberhard Knobloch ZG9VSRYWMQ
| URI | m2://inv/ZG9VSRYWMQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eberhard Knobloch, Eberhard Knobloch (topic). Also Wikidata Q107336
History
- 2026-11-02: add by m2/dev
Anti-classical principles ZGA0CZQWGT
| URI | m2://inv/ZGA0CZQWGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive set theory#BC8F, Anti-classical principles (statement)
History
- 2026-11-02: add by m2/dev
ZGA6GC31RJ ZGA6GC31RJ
| URI | m2://inv/ZGA6GC31RJ |
|---|---|
| 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.38211#SNA2 (definition). In KWKK0S9YJN/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Anatoli N. Andrianov ZGA83407WB
| URI | m2://inv/ZGA83407WB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anatoli N. Andrianov, Anatoli N. Andrianov (topic). Also Wikidata Q487923
History
- 2026-11-02: add by m2/dev
ZGAB9WYKYQ ZGAB9WYKYQ
| URI | m2://inv/ZGAB9WYKYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#L5GF (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZGAD66XJVT ZGAD66XJVT
| URI | m2://inv/ZGAD66XJVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05423#M8TY (statement). In 3ABGS3F1JG/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Erich Kretschmann ZGAFW4PDDX
| URI | m2://inv/ZGAFW4PDDX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#ULGU, Erich Kretschmann (unknown)
History
- 2026-11-02: add by m2/dev
Reiko Miyaoka ZGAK6CHY1F
| URI | m2://inv/ZGAK6CHY1F |
|---|---|
| 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 Q11454088, Reiko Miyaoka (unknown). Also nLab Reiko Miyaoka
History
- 2026-10-26: add by m2/dev
ZGAMT1DNF6 ZGAMT1DNF6
| URI | m2://inv/ZGAMT1DNF6 |
|---|---|
| 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.31387#GG0M (statement). In GBD60VB1JX/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
ZGAQHC2T5F ZGAQHC2T5F
| URI | m2://inv/ZGAQHC2T5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
ZGAW395EHQ ZGAW395EHQ
| URI | m2://inv/ZGAW395EHQ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#I5MK (unknown). In 1QSCT53ZED/e1, unknown 9.2
History
- 2026-10-27: add by m2/v0.4.0
COVID-19 vaccine ZGAXAX6TQT
| URI | m2://inv/ZGAXAX6TQT |
|---|---|
| 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#FORF, COVID-19 vaccine (unknown)
History
- 2026-11-02: add by m2/dev
Cone (geometry) ZGB1VFB94D
| URI | m2://inv/ZGB1VFB94D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#LJZJ, Cone (geometry) (definition)
- wikipedia: Wikipedia List of surfaces#3IO1, Cone (geometry) (definition)
History
- 2026-11-02: add by m2/dev
One sparse Lax operator for the cyclic Toda family ZGB7BVMMH3
| URI | m2://inv/ZGB7BVMMH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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 2609.26066#WF8I, One sparse Lax operator for the cyclic Toda family (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZGBHJXRQF2 ZGBHJXRQF2
| URI | m2://inv/ZGBHJXRQF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.16114#GBUI (statement). In JZZ3FJ382R/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Richard Elman ZGBMDEX6SB
| URI | m2://inv/ZGBMDEX6SB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#443K, Richard Elman (topic)
History
- 2026-11-02: add by m2/dev
ZGBR6W4JKT ZGBR6W4JKT
| URI | m2://inv/ZGBR6W4JKT |
|---|---|
| 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.12576#JBHZ (statement). In BVAWVRS3R9/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
ZGBXZJQCYN ZGBXZJQCYN
| URI | m2://inv/ZGBXZJQCYN |
|---|---|
| Kind | statement |
| 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.15974#AL73 (statement). In 61ZHQ7BTKP/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
ZGC1F28MYQ ZGC1F28MYQ
| URI | m2://inv/ZGC1F28MYQ |
|---|---|
| Kind | definition |
| 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 2304.13811#HOAF (definition). In HGKYMFSDEM/e1, definition 6
History
- 2026-10-27: add by m2/v0.4.0
Identity element ZGC3ZQSG3Q
| URI | m2://inv/ZGC3ZQSG3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition#5DW8, Identity element (statement)
History
- 2026-11-02: add by m2/dev
ZGC7HHER6Y ZGC7HHER6Y
| URI | m2://inv/ZGC7HHER6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 53-XX, 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 hep-th/9409063#YW6I (statement). In 145ETYF9CG/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Lemma ZGCCF7YPDV
| URI | m2://inv/ZGCCF7YPDV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dolbeault cohomology#CHBH, Lemma (statement)
History
- 2026-11-02: add by m2/dev
ZGCCQ1D6JR ZGCCQ1D6JR
| URI | m2://inv/ZGCCQ1D6JR |
|---|---|
| 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.00337#EDBF (statement). In 5STQ3ABZ60/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Mazur manifold ZGCEAG7NQN
| URI | m2://inv/ZGCEAG7NQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mazur manifold, Mazur manifold (definition). Also Wikidata Q6799047
History
- 2026-11-02: add by m2/dev
Cauchy condensation test ZGCN26SQRZ
| URI | m2://inv/ZGCN26SQRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cauchy condensation test 0B96KMDDD1 |
Mentions
- wikidata: Wikidata Q1051423, Cauchy condensation test (statement). Also MathWorld CauchyCondensationTest
- wikipedia: Wikipedia Cauchy condensation test, Cauchy condensation test (definition). Also Wikidata Q1051423
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Rodolphe Radau ZGCTASSMAQ
| URI | m2://inv/ZGCTASSMAQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rodolphe Radau, Rodolphe Radau (topic). Also Wikidata Q983362
History
- 2026-11-02: add by m2/dev
ZGD0ZJTR97 ZGD0ZJTR97
| URI | m2://inv/ZGD0ZJTR97 |
|---|---|
| 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.21895#F0DW (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZGD3MQK4FB ZGD3MQK4FB
| URI | m2://inv/ZGD3MQK4FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#XEME (statement). In Q6HRJP4AWA/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
ZGD4SP169G ZGD4SP169G
| URI | m2://inv/ZGD4SP169G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 21.8
History
- 2026-11-01: add by m2/v0.6.13
Lattice sums ZGD94WVB24
| URI | m2://inv/ZGD94WVB24 |
|---|---|
| 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.07214#EM4B, Lattice sums (statement). In 669PBFJX0Z/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
Sum-free sequence ZGDAK51ANA
| URI | m2://inv/ZGDAK51ANA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7636872, Sum-free sequence (unknown). Also MathWorld A-Sequence
- wikipedia: Wikipedia Sum-free sequence, Sum-free sequence (definition). Also Wikidata Q7636872
History
- 2026-10-26: add by m2/dev
Pascal Paillier ZGDB72P0WP
| URI | m2://inv/ZGDB72P0WP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#ZJEW, Pascal Paillier (definition)
History
- 2026-11-02: add by m2/dev
Space--time extension ZGDD2X8C61
| URI | m2://inv/ZGDD2X8C61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15111#SM6B, Space--time extension (statement). In 6RE6JYE4GP/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Naive van Kampen theorem ZGDHKSJA1N
| URI | m2://inv/ZGDHKSJA1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:naive-van-kampen, Naive van Kampen theorem (statement). In N54F33XE07, thm, section 7.7.1
History
- 2026-11-01: add by m2/v0.6.13
Definition ZGDNR0S5ZT
| URI | m2://inv/ZGDNR0S5ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density topology#RBMA, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZGDNR43T29 ZGDNR43T29
| URI | m2://inv/ZGDNR43T29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#3G0J (statement). In RPC7VG3KHQ/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
ZGDPK4K336 ZGDPK4K336
| URI | m2://inv/ZGDPK4K336 |
|---|---|
| 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.08226#FS4M (statement). In V6EPE8XHAD/e1, lemma 12.5
History
- 2026-10-29: add by m2/v0.4.10
Representations ZGDSDPTNCC
| URI | m2://inv/ZGDSDPTNCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway group Co2#1SO1, Representations (definition)
History
- 2026-11-02: add by m2/dev
*{Lemma 7.1 ZGE611A0PB
| URI | m2://inv/ZGE611A0PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05708#XD2V, *{Lemma 7.1 (statement). In 3BJPFGJNSS/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
ZGE8R4HB34 ZGE8R4HB34
| URI | m2://inv/ZGE8R4HB34 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-4 (example). In E59CDZA4DP, example, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
ZGE8TB409K ZGE8TB409K
| URI | m2://inv/ZGE8TB409K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34382#4P6M (definition). In MEF2VCAYXS/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Extensions ZGEAF3V61B
| URI | m2://inv/ZGEAF3V61B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetration#WKCG, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Graph divergence ZGEC6TVP5C
| URI | m2://inv/ZGEC6TVP5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on finite weighted graphs#CSZX, Graph divergence (unknown)
History
- 2026-11-02: add by m2/dev
Harold Stark ZGEFZ27DCJ
| URI | m2://inv/ZGEFZ27DCJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J8NX, Harold Stark (topic)
History
- 2026-11-02: add by m2/dev
KK-theory ZGEKPDMT8N
| URI | m2://inv/ZGEKPDMT8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#C2T3, KK-theory (definition)
History
- 2026-11-02: add by m2/dev
ZGEP9Z5D87 ZGEP9Z5D87
| URI | m2://inv/ZGEP9Z5D87 |
|---|---|
| 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.04901#O2OK (statement). In XBWHYW36TP/e1, corollary 2.1
History
- 2026-10-29: add by m2/v0.4.12
e ZGEQDD2HG1
| URI | m2://inv/ZGEQDD2HG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#4RKV, e (definition)
History
- 2026-11-02: add by m2/dev
Auffinger--Chen process and verification ZGEY4E997R
| URI | m2://inv/ZGEY4E997R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#XGPB, Auffinger--Chen process and verification (statement). In NKXTXH59P1/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
ZGF5SS5PNQ ZGF5SS5PNQ
| URI | m2://inv/ZGF5SS5PNQ |
|---|---|
| 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.00512#971S (statement). In RB5QBG3MJY/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Varieties containing $S_7$ ZGF6C2YQJT
| URI | m2://inv/ZGF6C2YQJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#9BE8, Varieties containing $S_7$ (statement). In DR7BK4CQ0V/e1, theorem 5.16
History
- 2026-10-28: add by m2/v0.4.3
ZGF9Z2QMH3 ZGF9Z2QMH3
| URI | m2://inv/ZGF9Z2QMH3 |
|---|---|
| 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 2511.07697#PKR5 (definition). In 57P5P33HS3/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Well-posedness: the dissipative case ZGFAE89DRN
| URI | m2://inv/ZGFAE89DRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#J20P, Well-posedness: the dissipative case (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sophie Achard ZGFJCQKGB5
| URI | m2://inv/ZGFJCQKGB5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Achard, Sophie Achard (topic). Also Wikidata Q96680416
History
- 2026-11-02: add by m2/dev
Properties ZGFKCR3RP5
| URI | m2://inv/ZGFKCR3RP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-inverse-gamma distribution#523J, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZGFMRYMDEY ZGFMRYMDEY
| URI | m2://inv/ZGFMRYMDEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#IU3W (definition). In NQFYT2M6YZ/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
First-order theories with identity ZGFRKTBG1J
| URI | m2://inv/ZGFRKTBG1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory (mathematical logic)#RBZ3, First-order theories with identity (statement)
History
- 2026-11-02: add by m2/dev
Characterization of one-ended groups ZGFZ99JJ5R
| URI | m2://inv/ZGFZ99JJ5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#DCF8, Characterization of one-ended groups (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties ZGG48SQZS2
| URI | m2://inv/ZGG48SQZS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex cone#3C2T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stellation ZGGDMHTMSD
| URI | m2://inv/ZGGDMHTMSD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OM2I, Stellation (object)
History
- 2026-11-02: add by m2/dev
Kavita Ramanan ZGGFZ8TQ46
| URI | m2://inv/ZGGFZ8TQ46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TSPV, Kavita Ramanan (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZI3B, Kavita Ramanan (unknown)
History
- 2026-11-02: add by m2/dev
Queen word ZGGHTJTM8Z
| URI | m2://inv/ZGGHTJTM8Z |
|---|---|
| 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 2609.31336#EEDN, Queen word (definition). In 70RV7J456D/e1, definition 10
History
- 2026-10-31: add by m2/v0.5.6
Bounding volume hierarchy ZGGMSZMHN5
| URI | m2://inv/ZGGMSZMHN5 |
|---|---|
| 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#YAS9, Bounding volume hierarchy (unknown)
History
- 2026-11-02: add by m2/dev
basis theorem ZGGTPPWSC9
| URI | m2://inv/ZGGTPPWSC9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30716971, basis theorem (statement). Also nLab basis theorem
- wikipedia: Wikipedia Basis theorem (computability), Basis theorem (statement). Also Wikidata Q30716971
History
- 2026-10-26: add by m2/dev
Theorem ZGGWPPS795
| URI | m2://inv/ZGGWPPS795 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein-Rosenberg theorem#Z65D, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition ZGH41Y8PWB
| URI | m2://inv/ZGH41Y8PWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag bundle#BAY1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Free category of a signature ZGH6455QEY
| URI | m2://inv/ZGH6455QEY |
|---|---|
| Kind | definition |
| 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.20478#A5VM, Free category of a signature (definition)
History
- 2026-11-02: add by m2/v0.6.18
ZGHFRQYJ32 ZGHFRQYJ32
| URI | m2://inv/ZGHFRQYJ32 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
Ultra-commutative localization ZGHHD96M2P
| URI | m2://inv/ZGHHD96M2P |
|---|---|
| Kind | definition |
| 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 2610.21675#1MI7, Ultra-commutative localization (definition). In TB1294GY5X/e1, definition 1.22
History
- 2026-10-27: add by m2/v0.4.2
ZGHM2DBAQT ZGHM2DBAQT
| URI | m2://inv/ZGHM2DBAQT |
|---|---|
| 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.21445#WVZZ (statement). In 6XM9AETJT7/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
ZGHNYAQE77 ZGHNYAQE77
| URI | m2://inv/ZGHNYAQE77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#0020 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZGHQX3EE1D ZGHQX3EE1D
| URI | m2://inv/ZGHQX3EE1D |
|---|---|
| Kind | definition |
| 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.22551#R7I2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Elliptic transform ZGHSHFW74V
| URI | m2://inv/ZGHSHFW74V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius transformation#7RWK, Elliptic transform (unknown)
History
- 2026-11-02: add by m2/dev
α ZGHVZCJ29F
| URI | m2://inv/ZGHVZCJ29F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#GK9U, α (definition)
History
- 2026-11-02: add by m2/dev
ZGJ55A7W09 ZGJ55A7W09
| URI | m2://inv/ZGJ55A7W09 |
|---|---|
| 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 math/9801068#WLUF (statement). In PMMWXCJVAZ/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Properties ZGJ66H8MJ0
| URI | m2://inv/ZGJ66H8MJ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted projective space#XCNR, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZGJ77SM2CV ZGJ77SM2CV
| URI | m2://inv/ZGJ77SM2CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18555#0VYB (statement). In JPR62EY6A5/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Characterization ZGJ8FM7PFG
| URI | m2://inv/ZGJ8FM7PFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy (information theory)#F0VK, Characterization (statement)
History
- 2026-11-02: add by m2/dev
ZGJ8R2Y98V ZGJ8R2Y98V
| URI | m2://inv/ZGJ8R2Y98V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37112#TYW1 (statement). In 5B10HAY4C3/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
ZGJ974DEBK ZGJ974DEBK
| URI | m2://inv/ZGJ974DEBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 2609.22659#S9G1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Unique predecessor ZGJBAQSKYK
| URI | m2://inv/ZGJBAQSKYK |
|---|---|
| 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.20492#8L1Q, Unique predecessor (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZGJG1YB6X5 ZGJG1YB6X5
| URI | m2://inv/ZGJG1YB6X5 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#HZY0 (conjecture). In BT6E9BXXF3/e1, conjecture 1.8
History
- 2026-10-27: add by m2/v0.3.5
Normal distribution ZGJJVJBSAE
| URI | m2://inv/ZGJJVJBSAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#BOZR, Normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Constance van Eeden ZGJX9T4GRT
| URI | m2://inv/ZGJX9T4GRT |
|---|---|
| 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#MQO1, Constance van Eeden (topic)
History
- 2026-11-02: add by m2/dev
ZGJXS8HNRB ZGJXS8HNRB
| URI | m2://inv/ZGJXS8HNRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#QNPS (statement). In FK89DQ9J4S/e1, proposition A.7
History
- 2026-10-30: add by m2/v0.4.12
ZGJYT056QT ZGJYT056QT
| URI | m2://inv/ZGJYT056QT |
|---|---|
| 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 2105.13129#LUAN (statement). In J5Z1JD5VKR/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
unfoldable cardinal ZGJZEV0SC5
| URI | m2://inv/ZGJZEV0SC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HR9H, unfoldable cardinal (definition)
History
- 2026-11-02: add by m2/dev
ZGJZYVRMVS ZGJZYVRMVS
| URI | m2://inv/ZGJZYVRMVS |
|---|---|
| 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#FYFD (statement). In J7ZX3WWRQP/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
ZGK12CQ6NS ZGK12CQ6NS
| URI | m2://inv/ZGK12CQ6NS |
|---|---|
| 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 2504.02065#0TVR (statement). In 60CK7P5F36/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.3.5
Flow network ZGK7S278PB
| URI | m2://inv/ZGK7S278PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#88ZR, Flow network (definition)
History
- 2026-11-02: add by m2/dev
Frobenius elements of the Gaussian integers ZGKGBQHZ35
| URI | m2://inv/ZGKGBQHZ35 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#ex:frob_gaussian_integers, Frobenius elements of the Gaussian integers (example). In RZP28ERRZV, example, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
ZGKJ1YNGW4 ZGKJ1YNGW4
| URI | m2://inv/ZGKJ1YNGW4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#91VM (example). In CY1FE8W1ZW/e1, example 0.90
History
- 2026-10-27: add by m2/v0.3.5
ZGKPFB83PB ZGKPFB83PB
| URI | m2://inv/ZGKPFB83PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#083J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Closed loop control ZGKR8R08MS
| URI | m2://inv/ZGKR8R08MS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control theory#O97J, Closed loop control (unknown)
History
- 2026-11-02: add by m2/dev
ZGKVM393EJ ZGKVM393EJ
| URI | m2://inv/ZGKVM393EJ |
|---|---|
| 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 2405.02275#J4Q7 (statement). In 1QXCNGRWV1/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.3.5
ZGM79BXZBM ZGM79BXZBM
| URI | m2://inv/ZGM79BXZBM |
|---|---|
| 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 math/0312342#Z37R (statement). In K811ERNKV5/e1, theorem B.5
History
- 2026-10-27: add by m2/v0.3.5
ZGMEBYFN83 ZGMEBYFN83
| URI | m2://inv/ZGMEBYFN83 |
|---|---|
| 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.04172#HAHB (statement). In 9Q1D1NMTTS/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
ZGMG2SMWGN ZGMG2SMWGN
| URI | m2://inv/ZGMG2SMWGN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32478#BWZU (definition). In 5QBSYDC2XH/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
The trajectory tracks the river closely ZGMN8EHTGQ
| URI | m2://inv/ZGMN8EHTGQ |
|---|---|
| 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.30957#TPYL, The trajectory tracks the river closely (statement). In P5YB6R0RK3/e1, lemma C.13
History
- 2026-10-31: add by m2/v0.5.6
ZGMS8ANQHG ZGMS8ANQHG
| URI | m2://inv/ZGMS8ANQHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#KB6I (statement). In 9704QPRPR6/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
ZGMT2N1570 ZGMT2N1570
| URI | m2://inv/ZGMT2N1570 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39103#0G2J (statement). In VGB0N93ES8/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Definition (φ-irreducibility) ZGN3YWY4DF
| URI | m2://inv/ZGN3YWY4DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#6901, Definition (φ-irreducibility) (definition)
History
- 2026-11-02: add by m2/dev
starlike tree ZGN5FQKCA5
| URI | m2://inv/ZGN5FQKCA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30672836, starlike tree (unknown). Also MathWorld SpiderGraph
- wikipedia: Wikipedia Starlike tree, Starlike tree (definition). Also Wikidata Q30672836
History
- 2026-10-26: add by m2/dev
Terminology ZGNAAYM21X
| URI | m2://inv/ZGNAAYM21X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#23N0, Terminology (definition)
History
- 2026-11-02: add by m2/dev
ZGNBT4D0XD ZGNBT4D0XD
| URI | m2://inv/ZGNBT4D0XD |
|---|---|
| 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 2609.34522#7EDI (statement). In 1HJGW3Z6Q8/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Tesellations in nature ZGNMET9E9A
| URI | m2://inv/ZGNMET9E9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patterns in nature#5PFQ, Tesellations in nature (unknown)
History
- 2026-11-02: add by m2/dev
ZGNWJHH95Y ZGNWJHH95Y
| URI | m2://inv/ZGNWJHH95Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2610.04834#FPEW (statement). In YZNK67K060/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
ZGNXEGABMN ZGNXEGABMN
| URI | m2://inv/ZGNXEGABMN |
|---|---|
| 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 2609.35340#A3AC (statement). In WCY07D1CJG/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
ZGP8VJVS7N ZGP8VJVS7N
| URI | m2://inv/ZGP8VJVS7N |
|---|---|
| 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.27114#04YQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZGPENY7QEC ZGPENY7QEC
| URI | m2://inv/ZGPENY7QEC |
|---|---|
| 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 0905.1489#LA0O (statement). In MZ18CTV65N/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Isaiah Kantor ZGPJ0R2A60
| URI | m2://inv/ZGPJ0R2A60 |
|---|---|
| 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 Q6078534, Isaiah Kantor (unknown). Also nLab Isaiah Kantor
- wikipedia: Wikipedia Isaiah Kantor, Isaiah Kantor (topic). Also Wikidata Q6078534
History
- 2026-10-26: add by m2/dev
ZGQ3EQBEVH ZGQ3EQBEVH
| URI | m2://inv/ZGQ3EQBEVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#TIR4 (statement). In GSN5YTQS2K/e1, theorem 2.24
History
- 2026-10-31: add by m2/v0.5.6
Grushko theorem ZGQ83M0FJC
| URI | m2://inv/ZGQ83M0FJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HOV4, Grushko theorem (statement)
History
- 2026-11-02: add by m2/dev
Neyman–Pearson lemma ZGQEFS144F
| URI | m2://inv/ZGQEFS144F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X2OY, Neyman–Pearson lemma (statement)
- wikipedia: Wikipedia List of lemmas#CTMX, Neyman–Pearson lemma (statement)
History
- 2026-11-02: add by m2/dev
Sharp energy floor ZGQGZ0EVPF
| URI | m2://inv/ZGQGZ0EVPF |
|---|---|
| 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.24930#ZM8S, Sharp energy floor (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition ZGQP6K91YX
| URI | m2://inv/ZGQP6K91YX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal prime ideal#NJYF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mathematical Olympiads for Elementary and Middle Schools ZGQQ44SGD2
| URI | m2://inv/ZGQQ44SGD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#89A6, Mathematical Olympiads for Elementary and Middle Schools (unknown)
History
- 2026-11-02: add by m2/dev
Examples ZGQR4SBHD8
| URI | m2://inv/ZGQR4SBHD8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruum#8O2S, Examples (example)
History
- 2026-11-02: add by m2/dev
N = 4 supersymmetric Yang–Mills theory ZGQXMXX62T
| URI | m2://inv/ZGQXMXX62T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N = 4 supersymmetric Yang–Mills theory, N = 4 supersymmetric Yang–Mills theory (definition). Also Wikidata Q14942749
History
- 2026-11-02: add by m2/dev
ZGQZZW2X4Z ZGQZZW2X4Z
| URI | m2://inv/ZGQZZW2X4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#RDJ6 (statement). In RTE2C0PH4S/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
The algorithm ZGR0S35XPP
| URI | m2://inv/ZGR0S35XPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freivalds' algorithm#YDHJ, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Ernest Nagel ZGR1YNX1KA
| URI | m2://inv/ZGR1YNX1KA |
|---|---|
| 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 Q553870, Ernest Nagel (unknown). Also ProofWiki Mathematician:Ernest_Nagel
- wikipedia: Wikipedia Ernest Nagel, Ernest Nagel (topic). Also Wikidata Q553870
History
- 2026-10-26: add by m2/dev
Girsanov's theorem ZGR5VA2Q2V
| URI | m2://inv/ZGR5VA2Q2V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#E7DI, Girsanov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Experimental event rate ZGR717N54R
| URI | m2://inv/ZGR717N54R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Experimental event rate, Experimental event rate (definition). Also Wikidata Q5421155
History
- 2026-11-02: add by m2/dev
ZGR9T95A3Z ZGR9T95A3Z
| URI | m2://inv/ZGR9T95A3Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-8 (exercise). In PKGMM3P5QY, prob, section 83.11
History
- 2026-11-01: add by m2/v0.6.13
Janet D. Elashoff ZGR9WTNR7K
| URI | m2://inv/ZGR9WTNR7K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet D. Elashoff, Janet D. Elashoff (topic). Also Wikidata Q42311644
History
- 2026-11-02: add by m2/dev
Edward Jones ZGRAVC719J
| URI | m2://inv/ZGRAVC719J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Jones (statistician), Edward Jones (topic). Also Wikidata Q3048584
History
- 2026-11-02: add by m2/dev
ZGRCD817BK ZGRCD817BK
| URI | m2://inv/ZGRCD817BK |
|---|---|
| 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 1912.13357#CINE (definition). In K8CQDCYBR3/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
ZGRJZAQVHR ZGRJZAQVHR
| URI | m2://inv/ZGRJZAQVHR |
|---|---|
| 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 1806.05002#W92X (statement). In JBAQ7DTW7B/e1, lemma E.3
History
- 2026-10-27: add by m2/v0.3.5
Argument from beauty ZGRRZH0ZXY
| URI | m2://inv/ZGRRZH0ZXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from beauty, Argument from beauty (definition). Also Wikidata Q4789740
History
- 2026-11-02: add by m2/dev
Boris Mityagin ZGRS9XTMJA
| URI | m2://inv/ZGRS9XTMJA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Mityagin, Boris Mityagin (topic). Also Wikidata Q30557498
History
- 2026-11-02: add by m2/dev
ZGRV92A3QB ZGRV92A3QB
| URI | m2://inv/ZGRV92A3QB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-56 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
ZGRVC557T2 ZGRVC557T2
| URI | m2://inv/ZGRVC557T2 |
|---|---|
| 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.12330#382M (statement). In XHSKEPT3VD/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Irreducible-constituent bound ZGS4BQDQA8
| URI | m2://inv/ZGS4BQDQA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#9X3R, Irreducible-constituent bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maximum principle ZGS5QK18EH
| URI | m2://inv/ZGS5QK18EH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric function theory#ENPA, Maximum principle (statement)
History
- 2026-11-02: add by m2/dev
Rényi entropy ZGSFC3S4KP
| URI | m2://inv/ZGSFC3S4KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rényi entropy, Rényi entropy (definition). Also Wikidata Q1433083
History
- 2026-11-02: add by m2/dev
ZGSG960EWF ZGSG960EWF
| URI | m2://inv/ZGSG960EWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#BSJF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bartlett's test ZGSJ13EPWW
| URI | m2://inv/ZGSJ13EPWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IIOK, Bartlett's test (definition)
History
- 2026-11-02: add by m2/dev
Martin Burger ZGSPA0SXTF
| URI | m2://inv/ZGSPA0SXTF |
|---|---|
| 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#0Y3V, Martin Burger (unknown)
History
- 2026-11-02: add by m2/dev
Method ZGSPNZ6JX5
| URI | m2://inv/ZGSPNZ6JX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delaunay tessellation field estimator#FJIH, Method (definition)
History
- 2026-11-02: add by m2/dev
426 (number) ZGSQR5JHRA
| URI | m2://inv/ZGSQR5JHRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#9QI6, 426 (number) (unknown)
History
- 2026-11-02: add by m2/dev
ZGST5E73MJ ZGST5E73MJ
| URI | m2://inv/ZGST5E73MJ |
|---|---|
| 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.12371#Z0KS (statement). In 8TTFQH19QR/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
proof, assistant, Coq ZGSX509NFJ
| URI | m2://inv/ZGSX509NFJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/proof-assistant-coq, proof, assistant, Coq (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Alpha filter ZGT9BZTVM5
| URI | m2://inv/ZGT9BZTVM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha beta filter#YHZW, Alpha filter (unknown)
History
- 2026-11-02: add by m2/dev
ZGTJGHJ3XN ZGTJGHJ3XN
| URI | m2://inv/ZGTJGHJ3XN |
|---|---|
| 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.12353#S72A (statement). In 7TSXNR7TC5/e1, proposition II.2
History
- 2026-10-28: add by m2/v0.4.2
Example 5 ZGTN7BQRZ8
| URI | m2://inv/ZGTN7BQRZ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#3TQI, Example 5 (example)
History
- 2026-11-02: add by m2/dev
ZGTSBDWQWQ ZGTSBDWQWQ
| URI | m2://inv/ZGTSBDWQWQ |
|---|---|
| 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 2609.31689#A8KC (statement). In Z7M2JSF6HA/e1, corollary 5.2
History
- 2026-10-31: add by m2/v0.5.6
Ramsey RESET test ZGTTN7J35Y
| URI | m2://inv/ZGTTN7J35Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GG0V, Ramsey RESET test (definition)
History
- 2026-11-02: add by m2/dev
Examples ZGTZ080BK3
| URI | m2://inv/ZGTZ080BK3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological mirror symmetry#OUV4, Examples (example)
History
- 2026-11-02: add by m2/dev
List of number theory topics ZGV48YV2CQ
| URI | m2://inv/ZGV48YV2CQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#8MYU, List of number theory topics (topic)
History
- 2026-11-02: add by m2/dev
DeGroot, Morris H. ZGV5BHJHGQ
| URI | m2://inv/ZGV5BHJHGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LT29, DeGroot, Morris H. (topic)
History
- 2026-11-02: add by m2/dev
ZGV9HX94D1 ZGV9HX94D1
| URI | m2://inv/ZGV9HX94D1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#H2XR (definition). In Z7E16PFFCP/e1, definition 5.10
History
- 2026-10-30: add by m2/v0.4.12
Common PID Output Induces Common Data Subsequence ZGVDR60G14
| URI | m2://inv/ZGVDR60G14 |
|---|---|
| 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.37578#PX3F, Common PID Output Induces Common Data Subsequence (statement). In D7NDCWSDJE/e1, lemma 20
History
- 2026-10-30: add by m2/v0.4.12
ZGVE5W1A0T ZGVE5W1A0T
| URI | m2://inv/ZGVE5W1A0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#GOFB (statement). In A1GWWGRXPA/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.4.2
ZGVM6HM6T5 ZGVM6HM6T5
| URI | m2://inv/ZGVM6HM6T5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-11 (example). In E9HS8K3A52, example, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
ZGVMBQ2YEV ZGVMBQ2YEV
| URI | m2://inv/ZGVMBQ2YEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24232#8UXO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Logrank test ZGVP7M9X91
| URI | m2://inv/ZGVP7M9X91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logrank test, Logrank test (definition). Also Wikidata Q6089397
History
- 2026-11-02: add by m2/dev
challenging ZGVTWWFB02
| URI | m2://inv/ZGVTWWFB02 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-28, challenging (exercise). In E9HS8K3A52, exercise, section 8.3.3
History
- 2026-11-01: add by m2/v0.6.13
ZGVW5XZEEE ZGVW5XZEEE
| URI | m2://inv/ZGVW5XZEEE |
|---|---|
| Kind | definition |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.6
ZGW3QQC9WN ZGW3QQC9WN
| URI | m2://inv/ZGW3QQC9WN |
|---|---|
| Kind | definition |
| 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.22551#B1ZZ (definition)
History
- 2026-11-02: add by m2/v0.6.17
ZGW5XQTNFS ZGW5XQTNFS
| URI | m2://inv/ZGW5XQTNFS |
|---|---|
| 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 2111.01197#K5VY (statement). In Z36XFKVTS0/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Statement ZGW93J060H
| URI | m2://inv/ZGW93J060H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead theorem#QC68, Statement (statement)
History
- 2026-11-02: add by m2/dev
Weierstrass uniformization ZGWD74B87D
| URI | m2://inv/ZGWD74B87D |
|---|---|
| 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.24807#9YQ6, Weierstrass uniformization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Arithmetic Chow group ZGWXQ6WAX8
| URI | m2://inv/ZGWXQ6WAX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arakelov theory#BEXN, Arithmetic Chow group (unknown)
History
- 2026-11-02: add by m2/dev
ZGX0SQ4R7Y ZGX0SQ4R7Y
| URI | m2://inv/ZGX0SQ4R7Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.06699#4G5A (definition). In GXHKRV5BPY/e1, definition 3.8
History
- 2026-10-29: add by m2/v0.4.10
ZGX3S99E4F ZGX3S99E4F
| URI | m2://inv/ZGX3S99E4F |
|---|---|
| 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.02215#5659 (statement). In 1W01W0APQF/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
ZGX6D9X5DK ZGX6D9X5DK
| URI | m2://inv/ZGX6D9X5DK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14160#WY30 (definition). In Y4TP36M0C7/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Quasi-triangle inequality ZGX9Z6TE5V
| URI | m2://inv/ZGX9Z6TE5V |
|---|---|
| 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.09001#MHJQ, Quasi-triangle inequality (statement). In HJC1JJZRSH/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Completing the cube ZGXDMXJEN5
| URI | m2://inv/ZGXDMXJEN5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completing the square#VQ8S, Completing the cube (unknown)
History
- 2026-11-02: add by m2/dev
Master Argument ZGXJENZCDE
| URI | m2://inv/ZGXJENZCDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diodorus Cronus#K83A, Master Argument (unknown)
History
- 2026-11-02: add by m2/dev
Radial equilateral symmetry ZGXN8E7VJN
| URI | m2://inv/ZGXN8E7VJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuboctahedron#HE9V, Radial equilateral symmetry (unknown)
History
- 2026-11-02: add by m2/dev
Dittert ZGXNR88FVJ
| URI | m2://inv/ZGXNR88FVJ |
|---|---|
| Kind | conjecture |
| 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#86YL, Dittert (conjecture). In ZA75D59G8K/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
Soddy circle ZGXSHZRYXH
| URI | m2://inv/ZGXSHZRYXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1365391, Soddy circle (unknown). Also MathWorld SoddyCircles
- wikipedia: Wikipedia Soddy circles of a triangle, Soddy circles of a triangle (definition). Also Wikidata Q1365391
History
- 2026-10-26: add by m2/dev
ZGXT0BC1GQ ZGXT0BC1GQ
| URI | m2://inv/ZGXT0BC1GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#08HD (statement). In H72E12TYHA/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
Examples ZGXT28Z1RZ
| URI | m2://inv/ZGXT28Z1RZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint probability distribution#IBJI, Examples (example)
History
- 2026-11-02: add by m2/dev
Benoit Mandelbrot ZGYH7FKN50
| URI | m2://inv/ZGYH7FKN50 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VE4S, Benoit Mandelbrot (topic)
History
- 2026-11-02: add by m2/dev
ZGYMEA5HE3 ZGYMEA5HE3
| URI | m2://inv/ZGYMEA5HE3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#PVV8 (example). In 5XKHZKEGAF/e1, example 2.17
History
- 2026-10-27: add by m2/v0.3.5
Definition ZGZ2NVR9SX
| URI | m2://inv/ZGZ2NVR9SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korteweg–De Vries equation#D4ED, Definition (definition)
History
- 2026-11-02: add by m2/dev
Oracle modal-core length ZGZ3DKXMJE
| URI | m2://inv/ZGZ3DKXMJE |
|---|---|
| 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.01050#AGV8, Oracle modal-core length (statement). In 48NN33SAH7/e1, lemma F.5
History
- 2026-10-29: add by m2/v0.4.12
ZGZ4PSAG5T ZGZ4PSAG5T
| URI | m2://inv/ZGZ4PSAG5T |
|---|---|
| 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 2609.20900#N0BA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Box–Muller transform ZGZAAMXVQV
| URI | m2://inv/ZGZAAMXVQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Box–Muller transform 8G07Q9SVQ4 |
Mentions
- wikidata: Wikidata Q895514, Box–Muller transform (unknown). Also MathWorld Box-MullerTransformation
- wikipedia: Wikipedia Box–Muller transform, Box–Muller transform (definition). Also Wikidata Q895514
History
- 2026-10-26: add by m2/dev
Fermat's Last Theorem ZGZADVFFCE
| URI | m2://inv/ZGZADVFFCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#Z2PL, Fermat's Last Theorem (statement)
- wikipedia: Wikipedia List of number theory topics#8XFB, Fermat's Last Theorem (statement)
- wikipedia: Wikipedia List of mathematics history topics#RX7F, Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
Principles ZGZAXA3S3Y
| URI | m2://inv/ZGZAXA3S3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract polytope#Q1E5, Principles (statement)
History
- 2026-11-02: add by m2/dev
Statement ZGZDB8DV74
| URI | m2://inv/ZGZDB8DV74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo's categoricity theorem#Y1E5, Statement (statement)
History
- 2026-11-02: add by m2/dev
Friedman ZGZEW4M5R8
| URI | m2://inv/ZGZEW4M5R8 |
|---|---|
| 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 2209.00108#PXRH, Friedman (statement). In V2G422ZMPW/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
Cosmic microwave background ZGZFWGEMZB
| URI | m2://inv/ZGZFWGEMZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic microwave background, Cosmic microwave background (definition). Also Wikidata Q15605
History
- 2026-11-02: add by m2/dev
Three Oaks, Florida ZGZGEXM7W0
| URI | m2://inv/ZGZGEXM7W0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CUPP, Three Oaks, Florida (unknown)
History
- 2026-11-02: add by m2/dev
491 (number) ZGZHCDXHZH
| URI | m2://inv/ZGZHCDXHZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#70KY, 491 (number) (unknown)
History
- 2026-11-02: add by m2/dev
ZGZWTR86P6 ZGZWTR86P6
| URI | m2://inv/ZGZWTR86P6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#ZU4H (statement). In CGA36VE1C5/e1, lemma 3.1.2
History
- 2026-10-27: add by m2/v0.3.6