Inventory rows R0
The cards of the rows of the inventory whose ids start with R0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties R00MPQ8GYT
| URI | m2://inv/R00MPQ8GYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycles and fixed points#I1ZD, Properties (statement)
History
- 2026-11-02: add by m2/dev
R013E1WQQE R013E1WQQE
| URI | m2://inv/R013E1WQQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1606.05058#RPJH (statement). In V6392C0ANF/e1, theorem E.1
History
- 2026-10-27: add by m2/v0.3.5
R01CM5NCKN R01CM5NCKN
| URI | m2://inv/R01CM5NCKN |
|---|---|
| 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.15460#5KNU (statement). In T2Z3D2VQ9B/e1, theorem 8.7
History
- 2026-10-28: add by m2/v0.4.2
Orlik--Solomon R01GGJ0B4Q
| URI | m2://inv/R01GGJ0B4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#RX54, Orlik--Solomon (statement). In 1FJKW4WGEN/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
month R01GZYXP71
| URI | m2://inv/R01GZYXP71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5151, month (definition). Also ProofWiki Definition:Time/Unit/Month
History
- 2026-10-26: add by m2/dev
560 (number) R01RYKGDEV
| URI | m2://inv/R01RYKGDEV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#WPQV, 560 (number) (unknown)
History
- 2026-11-02: add by m2/dev
R020N6V8EZ R020N6V8EZ
| URI | m2://inv/R020N6V8EZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
R024TPSA1X R024TPSA1X
| URI | m2://inv/R024TPSA1X |
|---|---|
| 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 2105.03715#0SSV (statement). In H3FWT3Z0J4/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Terminology R025HWD8KY
| URI | m2://inv/R025HWD8KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic similarity#HCXU, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Core of a category R02BRAZ5Y4
| URI | m2://inv/R02BRAZ5Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core of a category, Core of a category (definition). Also Wikidata Q133850447
History
- 2026-11-02: add by m2/dev
Compactness and possible infinitude of the common zero set R02WD94103
| URI | m2://inv/R02WD94103 |
|---|---|
| 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.26576#R5NT, Compactness and possible infinitude of the common zero set (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ply R02XVD40F4
| URI | m2://inv/R02XVD40F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ply (game theory), Ply (definition). Also Wikidata Q1365530
History
- 2026-11-02: add by m2/dev
Compact theta sublevels and smooth dependence R02Y9YN49W
| URI | m2://inv/R02Y9YN49W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#W5ST, Compact theta sublevels and smooth dependence (statement). In T2B54J7121/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
Orbit determination R030NR1Q53
| URI | m2://inv/R030NR1Q53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#ZUWV, Orbit determination (unknown)
History
- 2026-11-02: add by m2/dev
R031CSQSDN R031CSQSDN
| URI | m2://inv/R031CSQSDN |
|---|---|
| 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#83YY (statement). In 7V2PVZS04C/e1, proposition 6.22
History
- 2026-10-31: add by m2/v0.5.6
Definition R0327P9S1P
| URI | m2://inv/R0327P9S1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine q-Krawtchouk polynomials#A589, Definition (definition)
History
- 2026-11-02: add by m2/dev
8-cubic honeycomb R036WQFMW8
| URI | m2://inv/R036WQFMW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ZR0U, 8-cubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#04L9, 8-cubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Serial subgroup R03G6NFTE4
| URI | m2://inv/R03G6NFTE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serial subgroup, Serial subgroup (definition). Also Wikidata Q17096391
History
- 2026-11-02: add by m2/dev
Uniqueness case R03XS4CETT
| URI | m2://inv/R03XS4CETT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniqueness case, Uniqueness case (definition). Also Wikidata Q7886965
History
- 2026-11-02: add by m2/dev
Standard pass@$k$ lower bound R03ZKPP80R
| URI | m2://inv/R03ZKPP80R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33291#2BZ5, Standard pass@$k$ lower bound (statement). In HQN1Y9RP53/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Arul Shankar R046G5WDKE
| URI | m2://inv/R046G5WDKE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arul Shankar, Arul Shankar (topic). Also Wikidata Q55604274
History
- 2026-11-02: add by m2/dev
Finite-mixture action certificate R046Q5TCQX
| URI | m2://inv/R046Q5TCQX |
|---|---|
| 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.08069#3FRF, Finite-mixture action certificate (statement). In TVW9BTWJ3D/e1, theorem 15
History
- 2026-10-29: add by m2/v0.4.10
R049WRM012 R049WRM012
| URI | m2://inv/R049WRM012 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07852#ISBL (statement). In 8X43SAEM99/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Hadwiger number R04C181XXQ
| URI | m2://inv/R04C181XXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5638117, Hadwiger number (unknown). Also MathWorld HadwigerNumber
- wikipedia: Wikipedia Hadwiger number, Hadwiger number (definition). Also Wikidata Q5638117
History
- 2026-10-26: add by m2/dev
Projected-gradient certificate R04CJXS36Q
| URI | m2://inv/R04CJXS36Q |
|---|---|
| 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.21139#XG7X, Projected-gradient certificate (statement). In E3NM0QN6KK/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
R04E53H116 R04E53H116
| URI | m2://inv/R04E53H116 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#example-1 (example). In RZP28ERRZV, example, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
R04FZ1EDHC R04FZ1EDHC
| URI | m2://inv/R04FZ1EDHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#J3WT (statement). In KH1H3TSWPS/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.6
Propagation from one level to the next R04K4QCD3A
| URI | m2://inv/R04K4QCD3A |
|---|---|
| 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.05652#Q644, Propagation from one level to the next (statement). In 8BNPFYQDQX/e1, corollary 6.6
History
- 2026-10-29: add by m2/v0.4.10
R04PE9Y7SN R04PE9Y7SN
| URI | m2://inv/R04PE9Y7SN |
|---|---|
| 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 2610.21866#X5MX (definition). In Q3NMYW8ANH/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
R04PTQ8AAQ R04PTQ8AAQ
| URI | m2://inv/R04PTQ8AAQ |
|---|---|
| Kind | example |
| 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.21535#41PO (example)
History
- 2026-11-02: add by m2/v0.6.18
Andor Lukács R04XRR40YW
| URI | m2://inv/R04XRR40YW |
|---|---|
| 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 Q23908421, Andor Lukács (unknown). Also nLab Andor Lukacs
History
- 2026-10-26: add by m2/dev
Extensions R04YA33NPA
| URI | m2://inv/R04YA33NPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allen's interval algebra#A5DK, Extensions (statement)
History
- 2026-11-02: add by m2/dev
R050MGRR3X R050MGRR3X
| URI | m2://inv/R050MGRR3X |
|---|---|
| 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 math/9201244#TJGX (statement). In 7D3HCN21MK/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
R0539GWM1H R0539GWM1H
| URI | m2://inv/R0539GWM1H |
|---|---|
| Kind | definition |
| 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.14450#N7WA (definition). In ZHTGQT07PE/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
center, of a category R056PT57QR
| URI | m2://inv/R056PT57QR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.1/center-of-a-category, center, of a category (concept). In N54F33XE07, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
R056REMR9D R056REMR9D
| URI | m2://inv/R056REMR9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#G9LL (statement). In Y1K8WE4MDP/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Chester Ittner Bliss R057SDFW20
| URI | m2://inv/R057SDFW20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chester Ittner Bliss, Chester Ittner Bliss (topic). Also Wikidata Q59354
History
- 2026-11-02: add by m2/dev
barycenter R05D5XW07A
| URI | m2://inv/R05D5XW07A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > barycenter, barycenter (unknown). Also Mathlib Finset.affineCombination
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > barycenter, barycenter (unknown). Also Mathlib Finset.affineCombination
History
- 2026-10-26: add by m2/dev
R05WQ703BT R05WQ703BT
| URI | m2://inv/R05WQ703BT |
|---|---|
| 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.25314#NVEA (statement)
History
- 2026-11-01: add by m2/v0.6.15
R0696GHWRE R0696GHWRE
| URI | m2://inv/R0696GHWRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#2C4B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Edoardo Airoldi R06EYPSQKH
| URI | m2://inv/R06EYPSQKH |
|---|---|
| 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#QJXO, Edoardo Airoldi (unknown)
History
- 2026-11-02: add by m2/dev
Discrete Heisenberg group R06H4DEHN5
| URI | m2://inv/R06H4DEHN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#GCSH, Discrete Heisenberg group (definition)
History
- 2026-11-02: add by m2/dev
R06M6JXJRK R06M6JXJRK
| URI | m2://inv/R06M6JXJRK |
|---|---|
| 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.04809#3Z65 (statement). In 2VHV0RNTNV/e1, proposition 7.8
History
- 2026-10-29: add by m2/v0.4.12
class R06PM81XRC
| URI | m2://inv/R06PM81XRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#MRQV, class (definition)
History
- 2026-11-02: add by m2/dev
R06QX97296 R06QX97296
| URI | m2://inv/R06QX97296 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-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.27192#V0VI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cyclic supports separate adjacent chunks R06WXPP009
| URI | m2://inv/R06WXPP009 |
|---|---|
| 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.20087#7FQ7, Cyclic supports separate adjacent chunks (statement). In ZRE2WQR5XA/e1, proposition V.9
History
- 2026-10-27: add by m2/v0.4.2
R06Y3YQGSF R06Y3YQGSF
| URI | m2://inv/R06Y3YQGSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#def:pointedmap (definition). In N54F33XE07, defn, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Definition R06YDASJ1T
| URI | m2://inv/R06YDASJ1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal ideal#BNXS, Definition (definition)
History
- 2026-11-02: add by m2/dev
R06Z7YKV3G R06Z7YKV3G
| URI | m2://inv/R06Z7YKV3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#J9V2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
R079QGMM0W R079QGMM0W
| URI | m2://inv/R079QGMM0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#E1FM (statement). In BDN507RN7J/e1, lemma 2.3.5
History
- 2026-10-30: add by m2/v0.4.12
Security of cryptographic hash functions R07DGTRS0F
| URI | m2://inv/R07DGTRS0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Security of cryptographic hash functions, Security of cryptographic hash functions (definition). Also Wikidata Q7252276
History
- 2026-11-02: add by m2/dev
Step-wise Repetitive Reasoning Index (Step-RRI R07QNNB935
| URI | m2://inv/R07QNNB935 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00571#O6AC, Step-wise Repetitive Reasoning Index (Step-RRI (definition). In W50NNC2MJS/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
polarizing filters R07T6XFJRX
| URI | m2://inv/R07T6XFJRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization (waves)#ZAPJ, polarizing filters (definition)
History
- 2026-11-02: add by m2/dev
George Abram Miller R086Y5ZH31
| URI | m2://inv/R086Y5ZH31 |
|---|---|
| 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#8D78, George Abram Miller (unknown)
History
- 2026-11-02: add by m2/dev
R08MHTC9QY R08MHTC9QY
| URI | m2://inv/R08MHTC9QY |
|---|---|
| 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.19260#E2HR (statement). In PWXT7J9JX3/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
R08QEQ0AYE R08QEQ0AYE
| URI | m2://inv/R08QEQ0AYE |
|---|---|
| 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.00789#QKH1 (statement). In 4WPYBTARS2/e1, corollary 4.13
History
- 2026-10-29: add by m2/v0.4.12
R08QRS4D25 R08QRS4D25
| URI | m2://inv/R08QRS4D25 |
|---|---|
| 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 2609.38131#XQYX (statement). In GM3S19KFDH/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
R08T9JAWTW R08T9JAWTW
| URI | m2://inv/R08T9JAWTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#Q8QW (statement). In 7VXBVQ5SAC/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
\textbf{Intrinsic operator identifies the pair of Riemannian metric and density (for fixed bandwidth R08YVZ4W15
| URI | m2://inv/R08YVZ4W15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17032#UDJG, \textbf{Intrinsic operator identifies the pair of Riemannian metric and density (for fixed bandwidth (statement). In MXPK9A2HK2/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
R091M2K3VG R091M2K3VG
| URI | m2://inv/R091M2K3VG |
|---|---|
| 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 2311.16205#DET2 (statement). In 3GE9PS9AH0/e1, lemma 5.4.3
History
- 2026-10-27: add by m2/v0.3.5
Virginia Torczon R0930HFG5H
| URI | m2://inv/R0930HFG5H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virginia Torczon, Virginia Torczon (topic). Also Wikidata Q102182153
History
- 2026-11-02: add by m2/dev
real matrix R096S05HJ4
| URI | m2://inv/R096S05HJ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43144903, real matrix (unknown). Also MathWorld RealMatrix
History
- 2026-10-26: add by m2/dev
Cobordism ring R0970ETE4X
| URI | m2://inv/R0970ETE4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobordism ring, Cobordism ring (definition). Also Wikidata Q19596423
History
- 2026-11-02: add by m2/dev
Variational Bayesian methods R0979W2VDF
| URI | m2://inv/R0979W2VDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational Bayesian methods, Variational Bayesian methods (definition). Also Wikidata Q7915794
History
- 2026-11-02: add by m2/dev
G. Peter Scott R09WAV3D6K
| URI | m2://inv/R09WAV3D6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G. Peter Scott, G. Peter Scott (topic). Also Wikidata Q1484305
History
- 2026-11-02: add by m2/dev
Semigroupoid R09X683WNZ
| URI | m2://inv/R09X683WNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroupoid, Semigroupoid (definition). Also Wikidata Q4164581
History
- 2026-11-02: add by m2/dev
R09XK8DJTG R09XK8DJTG
| URI | m2://inv/R09XK8DJTG |
|---|---|
| Kind | problem |
| 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.10519#TPK1 (problem). In 83MMH8VF1X/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
R09Y7PA73T R09Y7PA73T
| URI | m2://inv/R09Y7PA73T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22161#8W6C (statement). In FVM35KPN8C/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.0
R0A07V9HYJ R0A07V9HYJ
| URI | m2://inv/R0A07V9HYJ |
|---|---|
| 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.08074#V3WZ (statement). In ZRPYF750AV/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
R0A1BTFCKS R0A1BTFCKS
| URI | m2://inv/R0A1BTFCKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#CFPK (statement). In 6HP7BR9WZM/e1, theorem 3.26
History
- 2026-10-29: add by m2/v0.4.10
R0AG9ZVPXJ R0AG9ZVPXJ
| URI | m2://inv/R0AG9ZVPXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#EK88 (statement). In BWD76W20W8/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
Methods R0AWFXCFQE
| URI | m2://inv/R0AWFXCFQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anomaly detection#ATPC, Methods (definition)
History
- 2026-11-02: add by m2/dev
Elena Erosheva R0AXCTC41E
| URI | m2://inv/R0AXCTC41E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Erosheva, Elena Erosheva (topic). Also Wikidata Q96346867
History
- 2026-11-02: add by m2/dev
Harold Thayer Davis R0B0HTSQSZ
| URI | m2://inv/R0B0HTSQSZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Thayer Davis, Harold Thayer Davis (topic). Also Wikidata Q16499737
History
- 2026-11-02: add by m2/dev
R0B5WRNRGZ R0B5WRNRGZ
| URI | m2://inv/R0B5WRNRGZ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Statistical binary classification R0B6HFKZV4
| URI | m2://inv/R0B6HFKZV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary classification#K69T, Statistical binary classification (unknown)
History
- 2026-11-02: add by m2/dev
R0BBJ576EM R0BBJ576EM
| URI | m2://inv/R0BBJ576EM |
|---|---|
| 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.33552#IH6E (statement). In SRAS2DJJQH/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
R0BBKYXCX7 R0BBKYXCX7
| URI | m2://inv/R0BBKYXCX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22777#UTLF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Idempotent (category theory) R0BC4SKSH9
| URI | m2://inv/R0BC4SKSH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotence#VU71, Idempotent (category theory) (unknown)
History
- 2026-11-02: add by m2/dev
R0BESJ8HMW R0BESJ8HMW
| URI | m2://inv/R0BESJ8HMW |
|---|---|
| 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 2203.10220#KMW2 (definition). In FX2SD1GFHT/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
R0BN92NC1Q R0BN92NC1Q
| URI | m2://inv/R0BN92NC1Q |
|---|---|
| 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.10484#1DP0 (statement). In 5B4AX4SF88/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Derivation of the formula R0BNGW93R1
| URI | m2://inv/R0BNGW93R1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shell integration#FX72, Derivation of the formula (statement)
History
- 2026-11-02: add by m2/dev
Euler's polyhedron formula R0BNHREKHQ
| URI | m2://inv/R0BNHREKHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Euler's polyhedron formula 09HT3P35YP |
Mentions
- wikidata: Wikidata Q516403, Euler's polyhedron formula (statement). Also MathWorld PolyhedralFormula
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Variants R0BR6NFHM8
| URI | m2://inv/R0BR6NFHM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remez algorithm#A174, Variants (statement)
History
- 2026-11-02: add by m2/dev
R0BVTNK4SP R0BVTNK4SP
| URI | m2://inv/R0BVTNK4SP |
|---|---|
| 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.13580#Q2U4 (statement). In KEQ57N9N7Z/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
tensegrity R0BWJTZ0AB
| URI | m2://inv/R0BWJTZ0AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1930978, tensegrity (unknown). Also MathWorld Tensegrity
- wikipedia: Wikipedia Tensegrity, Tensegrity (definition). Also Wikidata Q1930978
History
- 2026-10-26: add by m2/dev
R0BX2YQNVZ R0BX2YQNVZ
| URI | m2://inv/R0BX2YQNVZ |
|---|---|
| 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.30274#ZAAE (statement). In 6ASPPVJP5M/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
R0C6G4C3Q2 R0C6G4C3Q2
| URI | m2://inv/R0C6G4C3Q2 |
|---|---|
| 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.10221#RXUE (statement). In 9Z5M655EPV/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Definition of the four-velocity R0CE40WMWV
| URI | m2://inv/R0CE40WMWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-velocity#ZXUA, Definition of the four-velocity (definition)
History
- 2026-11-02: add by m2/dev
Data-driven LQR, input--output R0CFE3GZTM
| URI | m2://inv/R0CFE3GZTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25431#4VIN, Data-driven LQR, input--output (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rate with additional monitors R0CN9VKX73
| URI | m2://inv/R0CN9VKX73 |
|---|---|
| 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.20020#K97H, Rate with additional monitors (statement). In TGYC3SE8XM/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
R0CNQWK6K3 R0CNQWK6K3
| URI | m2://inv/R0CNQWK6K3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-6 (example). In Y91XFCEVHQ, example, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
Michael D. Atkinson R0CQ8VM8NS
| URI | m2://inv/R0CQ8VM8NS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael D. Atkinson, Michael D. Atkinson (topic). Also Wikidata Q102080484
History
- 2026-11-02: add by m2/dev
463 (number) R0CRAW9NBJ
| URI | m2://inv/R0CRAW9NBJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#8VG5, 463 (number) (unknown)
History
- 2026-11-02: add by m2/dev
R0CV6JMPZ0 R0CV6JMPZ0
| URI | m2://inv/R0CV6JMPZ0 |
|---|---|
| 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.19464#57T6 (statement). In G8JCZ109A9/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Orthosymplectic Lie superalgebra R0D2BFYGF3
| URI | m2://inv/R0D2BFYGF3 |
|---|---|
| Kind | definition |
| 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.12489#AQS2, Orthosymplectic Lie superalgebra (definition). In FDWFVD08SE/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Comparison with free transport R0D2JMCCCY
| URI | m2://inv/R0D2JMCCCY |
|---|---|
| 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.28251#NMRF, Comparison with free transport (statement)
History
- 2026-11-01: add by m2/v0.6.15
Counter-based random number generator R0D7DCYT65
| URI | m2://inv/R0D7DCYT65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counter-based random number generator, Counter-based random number generator (definition). Also Wikidata Q28457502
History
- 2026-11-02: add by m2/dev
Pseudoreplication R0D7HDMFKZ
| URI | m2://inv/R0D7HDMFKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoreplication, Pseudoreplication (definition). Also Wikidata Q7255489
History
- 2026-11-02: add by m2/dev
R0DM8Q388W R0DM8Q388W
| URI | m2://inv/R0DM8Q388W |
|---|---|
| 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.21034#T8PA (definition)
History
- 2026-11-02: add by m2/v0.6.18
R0DRG2SA8D R0DRG2SA8D
| URI | m2://inv/R0DRG2SA8D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09548#93X0 (definition). In 6D6C14KFGJ/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
R0DRGS6DXF R0DRGS6DXF
| URI | m2://inv/R0DRGS6DXF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-10 (example). In E59CDZA4DP, example, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
Oded Regev R0DSTD61N2
| URI | m2://inv/R0DSTD61N2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oded Regev (computer scientist), Oded Regev (topic). Also Wikidata Q64768843
History
- 2026-11-02: add by m2/dev
Carlos R. Mafra R0DXZW63DM
| URI | m2://inv/R0DXZW63DM |
|---|---|
| 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 Q82591611, Carlos R. Mafra (unknown). Also nLab Carlos Mafra
History
- 2026-10-26: add by m2/dev
R0E3XAA9XK R0E3XAA9XK
| URI | m2://inv/R0E3XAA9XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#6YIB (statement). In V97F4YZ8B0/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.2
Moore spaces R0E6NS6CVT
| URI | m2://inv/R0E6NS6CVT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#problem-2, Moore spaces (exercise). In RZP28ERRZV, problem, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
Sophie Germain Prize R0E85CX5Q6
| URI | m2://inv/R0E85CX5Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Germain Prize, Sophie Germain Prize (definition). Also Wikidata Q1238959
History
- 2026-11-02: add by m2/dev
Nuremberg Code R0EBTER14B
| URI | m2://inv/R0EBTER14B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuremberg Code, Nuremberg Code (definition). Also Wikidata Q697474
History
- 2026-11-02: add by m2/dev
James Beckett R0EQVP14NY
| URI | m2://inv/R0EQVP14NY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Beckett (statistician), James Beckett (topic). Also Wikidata Q15462174
History
- 2026-11-02: add by m2/dev
Standard learning theory bounds; Proposition 3 R0EWQ3B2VP
| URI | m2://inv/R0EWQ3B2VP |
|---|---|
| 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 2102.11076#4VRX, Standard learning theory bounds; Proposition 3 (statement). In T9HZXHTQBJ/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.6
List of mathematical shapes R0F1HJNY3C
| URI | m2://inv/R0F1HJNY3C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes, List of mathematical shapes (topic). Also Wikidata Q6627332
History
- 2026-11-02: add by m2/dev
Examples R0F64GWS9F
| URI | m2://inv/R0F64GWS9F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonholonomic system#YPIT, Examples (example)
History
- 2026-11-02: add by m2/dev
Quasi-free algebra R0F9R0X9Q4
| URI | m2://inv/R0F9R0X9Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-free algebra, Quasi-free algebra (definition). Also Wikidata Q117375236
History
- 2026-11-02: add by m2/dev
Yau–Tian–Donaldson Conjecture R0FEFFWAEQ
| URI | m2://inv/R0FEFFWAEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability#M1NE, Yau–Tian–Donaldson Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Example R0G4AEEBNP
| URI | m2://inv/R0G4AEEBNP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sides of an equation#LJHB, Example (example)
History
- 2026-11-02: add by m2/dev
Properties R0G68M5VGY
| URI | m2://inv/R0G68M5VGY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjunction space#Y8LS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kingdomino R0G6KPZK4H
| URI | m2://inv/R0G6KPZK4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#ZEXM, Kingdomino (unknown)
History
- 2026-11-02: add by m2/dev
Gravity wave detector R0GG63PQRT
| URI | m2://inv/R0GG63PQRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravitational wave#DKS0, Gravity wave detector (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy surface R0GHKJ8VS6
| URI | m2://inv/R0GHKJ8VS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5054343, Cauchy surface (unknown). Also nLab Cauchy surface
- wikipedia: Wikipedia Cauchy surface, Cauchy surface (definition). Also Wikidata Q5054343
History
- 2026-10-26: add by m2/dev
Maurice Kendall R0GP22RP0B
| URI | m2://inv/R0GP22RP0B |
|---|---|
| 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#5XL8, Maurice Kendall (topic)
History
- 2026-11-02: add by m2/dev
Descartes' theorem on total angular defect R0GQN59DK1
| URI | m2://inv/R0GQN59DK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular defect#C23Q, Descartes' theorem on total angular defect (statement)
History
- 2026-11-02: add by m2/dev
R0GQTCZVNH R0GQTCZVNH
| URI | m2://inv/R0GQTCZVNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.21536#7W45 (statement). In NBQK8HJSNY/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
holonomic function R0GV8FNZXF
| URI | m2://inv/R0GV8FNZXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Holonomic function 7H44JD9NQD |
Mentions
- wikidata: Wikidata Q5884209, holonomic function (unknown). Also MathWorld HolonomicFunction
- wikipedia: Wikipedia Holonomic function, Holonomic function (definition). Also Wikidata Q5884209
History
- 2026-10-26: add by m2/dev
Andrew Majda R0H1J751R3
| URI | m2://inv/R0H1J751R3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Majda, Andrew Majda (topic). Also Wikidata Q506133
History
- 2026-11-02: add by m2/dev
Philip K. Maini R0H3XNZSAD
| URI | m2://inv/R0H3XNZSAD |
|---|---|
| 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#6XAK, Philip K. Maini (unknown)
History
- 2026-11-02: add by m2/dev
Lemma R0HBYK475R
| URI | m2://inv/R0HBYK475R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer–Schur algorithm#JZ61, Lemma (statement)
History
- 2026-11-02: add by m2/dev
R0HHP3XCE8 R0HHP3XCE8
| URI | m2://inv/R0HHP3XCE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#I6NO (statement). In Q4RZTN2EX6/e1, theorem F
History
- 2026-10-27: add by m2/v0.4.2
Pascal’s Hexagon Theorem R0HKPYYJB9
| URI | m2://inv/R0HKPYYJB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 28, Pascal’s Hexagon Theorem (statement)
History
- 2026-10-26: add by m2/dev
KL approximation error R0HM64R89X
| URI | m2://inv/R0HM64R89X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#HW8F, KL approximation error (definition). In XXV36V6CK8/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
mathematics, constructive R0HM654VF6
| URI | m2://inv/R0HM654VF6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
event R0HNPT9N41
| URI | m2://inv/R0HNPT9N41 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.1/event, event (concept). In QKM9DD2H56, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
progroup R0HS493P06
| URI | m2://inv/R0HS493P06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q67123792, progroup (unknown). Also nLab progroup
History
- 2026-10-26: add by m2/dev
Hartley's law R0HTNX6A76
| URI | m2://inv/R0HTNX6A76 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon–Hartley theorem#SRRB, Hartley's law (statement)
History
- 2026-11-02: add by m2/dev
Bertini involution R0HYWQ9X2B
| URI | m2://inv/R0HYWQ9X2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cremona group#CSDA, Bertini involution (unknown)
History
- 2026-11-02: add by m2/dev
R0J15DAD0H R0J15DAD0H
| URI | m2://inv/R0J15DAD0H |
|---|---|
| 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.31363#9M9U (statement). In XB8NYRD86J/e1, theorem 4.2
History
- 2026-10-31: add by m2/v0.5.6
Contraction near the kernel R0J47RMN2Y
| URI | m2://inv/R0J47RMN2Y |
|---|---|
| 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#MRPH, Contraction near the kernel (statement). In 65TJENWK7X/e1, lemma 65
History
- 2026-10-29: add by m2/v0.4.10
Finite-rank operator R0JJMPBAA5
| URI | m2://inv/R0JJMPBAA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-rank operator, Finite-rank operator (definition). Also Wikidata Q5450385
History
- 2026-11-02: add by m2/dev
subaltern R0JMXDQ26H
| URI | m2://inv/R0JMXDQ26H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#PBH2, subaltern (definition)
History
- 2026-11-02: add by m2/dev
R0JN9FCKCH R0JN9FCKCH
| URI | m2://inv/R0JN9FCKCH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#7MI9 (definition)
History
- 2026-11-02: add by m2/v0.6.18
R0JR7HZVA5 R0JR7HZVA5
| URI | m2://inv/R0JR7HZVA5 |
|---|---|
| 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 2601.15403#UVBY (statement). In BSWNH3NW1M/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.0
magma R0JVQB7JR4
| URI | m2://inv/R0JVQB7JR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Magma 9689SFPVE9 |
Mentions
- wikidata: Wikidata Q679903, magma (unknown). Also EoM Magma, MathWorld Magma, nLab magma
- wikipedia: Wikipedia Magma (algebra), Magma (definition). Also Wikidata Q679903
History
- 2026-10-26: add by m2/dev
R0JZ730EPZ R0JZ730EPZ
| URI | m2://inv/R0JZ730EPZ |
|---|---|
| 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.24043#7FQ2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gyroelongated square bipyramid R0JZR0AWQV
| URI | m2://inv/R0JZR0AWQV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4O6F, Gyroelongated square bipyramid (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#C9WX, Gyroelongated square bipyramid (object)
History
- 2026-11-02: add by m2/dev
indiscernibility of identicals R0K2CBEPVT
| URI | m2://inv/R0K2CBEPVT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.3/indiscernibility-of-identicals, indiscernibility of identicals (concept). In N54F33XE07, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Ramanujan's congruences R0K68RQ9MS
| URI | m2://inv/R0K68RQ9MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#LAOE, Ramanujan's congruences (definition)
History
- 2026-11-02: add by m2/dev
R0K8VHWAYR R0K8VHWAYR
| URI | m2://inv/R0K8VHWAYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#P7JE (statement)
History
- 2026-11-01: add by m2/v0.6.15
R0K9098DB3 R0K9098DB3
| URI | m2://inv/R0K9098DB3 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#5C16 (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
An equivalent formulation R0KAF4334B
| URI | m2://inv/R0KAF4334B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindemann–Weierstrass theorem#Y445, An equivalent formulation (statement)
History
- 2026-11-02: add by m2/dev
R0KBJM0NSW R0KBJM0NSW
| URI | m2://inv/R0KBJM0NSW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
Projective Hilbert space R0KG1V5Z74
| URI | m2://inv/R0KG1V5Z74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective Hilbert space, Projective Hilbert space (definition). Also Wikidata Q3058230
History
- 2026-11-02: add by m2/dev
Umbrella sampling R0M028QSGH
| URI | m2://inv/R0M028QSGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#EIBT, Umbrella sampling (definition)
History
- 2026-11-02: add by m2/dev
Constant-sound-speed atmosphere R0M0AEBZEK
| URI | m2://inv/R0M0AEBZEK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#1XIK, Constant-sound-speed atmosphere (example). In G4S9C5M1A4/e1, example 2.2
History
- 2026-10-29: add by m2/v0.4.12
Richard Askey R0M40J62AE
| URI | m2://inv/R0M40J62AE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XW75, Richard Askey (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FG82, Richard Askey (topic)
History
- 2026-11-02: add by m2/dev
path lifting R0M5GGNBKK
| URI | m2://inv/R0M5GGNBKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#85WM, path lifting (definition)
History
- 2026-11-02: add by m2/dev
R0MMTV6W6E R0MMTV6W6E
| URI | m2://inv/R0MMTV6W6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:whitehead-contr (statement). In N54F33XE07, cor, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Tate topology R0MR45J5Q8
| URI | m2://inv/R0MR45J5Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate topology, Tate topology (definition). Also Wikidata Q7687983
History
- 2026-11-02: add by m2/dev
R0MTY262TA R0MTY262TA
| URI | m2://inv/R0MTY262TA |
|---|---|
| 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 2512.08487#ZM1M (statement). In 77TVQVYN0Z/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.6
R0N69SMSGG R0N69SMSGG
| URI | m2://inv/R0N69SMSGG |
|---|---|
| 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.25703#G81I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Merkle–Damgård construction R0NEM4HV0B
| URI | m2://inv/R0NEM4HV0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#DPPT, Merkle–Damgård construction (definition)
History
- 2026-11-02: add by m2/dev
R0NVWMN2RY R0NVWMN2RY
| URI | m2://inv/R0NVWMN2RY |
|---|---|
| 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 2606.00589#2YWX (statement). In C8JAGP8VCQ/e1, lemma 8.9
History
- 2026-10-27: add by m2/v0.3.5
R0NYDVQRTN R0NYDVQRTN
| URI | m2://inv/R0NYDVQRTN |
|---|---|
| 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.17204#7NT5 (statement). In 5CZ2BNV4MT/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Arithmetic hyperbolic 3-manifold R0P0AV1AJ2
| URI | m2://inv/R0P0AV1AJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic hyperbolic 3-manifold, Arithmetic hyperbolic 3-manifold (definition). Also Wikidata Q4791128
History
- 2026-11-02: add by m2/dev
Applications R0P6785PH3
| URI | m2://inv/R0P6785PH3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov brothers' inequality#G4K9, Applications (example)
History
- 2026-11-02: add by m2/dev
Levene's test R0P78W1SGK
| URI | m2://inv/R0P78W1SGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HRCX, Levene's test (definition)
History
- 2026-11-02: add by m2/dev
R0PHSH0MQA R0PHSH0MQA
| URI | m2://inv/R0PHSH0MQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#VKMC (statement). In 9604WYX0BW/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
rep-$2^N$ dissection R0PJNY4MQW
| URI | m2://inv/R0PJNY4MQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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.00916#D9WN, rep-$2^N$ dissection (statement). In 3MMFCTKPPJ/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
luminous intensity R0PT5HKQ71
| URI | m2://inv/R0PT5HKQ71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104831, luminous intensity (definition). Also ProofWiki Definition:Luminous_Intensity
History
- 2026-10-26: add by m2/dev
Characterization R0PTZ40R0D
| URI | m2://inv/R0PTZ40R0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-logistic distribution#6NS5, Characterization (statement)
History
- 2026-11-02: add by m2/dev
R0PV4Z3BHC R0PV4Z3BHC
| URI | m2://inv/R0PV4Z3BHC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kobon triangle problem#0TTH (problem)
History
- 2026-11-02: add by m2/dev
Definition R0PV5Y9GKP
| URI | m2://inv/R0PV5Y9GKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marshall–Olkin exponential distribution#S3FK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Manin–Drinfeld theorem R0PVX6VNXZ
| URI | m2://inv/R0PVX6VNXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6749789, Manin–Drinfeld theorem (statement). Also Wikidata Q6749789
- thousand_plus: thousand_plus Q6749789, Manin–Drinfeld theorem (statement). Also Wikidata Q6749789, Wikipedia Manin–Drinfeld theorem
- wikipedia: Wikipedia Manin–Drinfeld theorem, Manin–Drinfeld theorem (statement). Also Wikidata Q6749789
History
- 2026-10-26: add by m2/dev
R0Q3H10295 R0Q3H10295
| URI | m2://inv/R0Q3H10295 |
|---|---|
| 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.30237#KUQT (statement). In AC2VX701GX/e1, proposition 2.1
History
- 2026-10-31: add by m2/v0.5.6
R0Q3TJ2T88 R0Q3TJ2T88
| URI | m2://inv/R0Q3TJ2T88 |
|---|---|
| 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.13723#25F3 (statement). In HPBCRT0Z0V/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.2
Coarea formula and isoperimetric inequality R0QM7REEJQ
| URI | m2://inv/R0QM7REEJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pólya–Szegő inequality#5DJ9, Coarea formula and isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
Closure with a twist R0QWBYQANC
| URI | m2://inv/R0QWBYQANC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure with a twist, Closure with a twist (definition). Also Wikidata Q5135531
History
- 2026-11-02: add by m2/dev
oblate spheroid R0QWGBDJ28
| URI | m2://inv/R0QWGBDJ28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3241540, oblate spheroid (unknown). Also MathWorld OblateSpheroid
History
- 2026-10-26: add by m2/dev
First law R0QZDAJYA6
| URI | m2://inv/R0QZDAJYA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole thermodynamics#U4VS, First law (statement)
History
- 2026-11-02: add by m2/dev
Controllability R0R15XD2KK
| URI | m2://inv/R0R15XD2KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controllability, Controllability (definition). Also Wikidata Q1331104
History
- 2026-11-02: add by m2/dev
Carl Gustav Axel Harnack R0RGBYKKKS
| URI | m2://inv/R0RGBYKKKS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#BVB9, Carl Gustav Axel Harnack (topic)
History
- 2026-11-02: add by m2/dev
R0RP899QQQ R0RP899QQQ
| URI | m2://inv/R0RP899QQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#ECK4 (statement). In HVY45JQRNK/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
intercalations R0RPDBBP5D
| URI | m2://inv/R0RPDBBP5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#M5QR, intercalations (definition)
History
- 2026-11-02: add by m2/dev
17th-century mathematics R0RZATS4C2
| URI | m2://inv/R0RZATS4C2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of mathematics#5LPZ, 17th-century mathematics (unknown)
History
- 2026-11-02: add by m2/dev
R0S1AGGFCF R0S1AGGFCF
| URI | m2://inv/R0S1AGGFCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#H2NX (statement). In 113VZ5XX7J/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
Classical additive and multiplicative convolutions R0S1NR7Y7Y
| URI | m2://inv/R0S1NR7Y7Y |
|---|---|
| Kind | definition |
| 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.18436#K6FF, Classical additive and multiplicative convolutions (definition). In M0Z0XAXZYW/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Algebraic Hecke character R0S5AQCHTE
| URI | m2://inv/R0S5AQCHTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke character#0KTS, Algebraic Hecke character (unknown)
History
- 2026-11-02: add by m2/dev
Franscini, Stefano R0SDE4APH2
| URI | m2://inv/R0SDE4APH2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3Y51, Franscini, Stefano (unknown)
History
- 2026-11-02: add by m2/dev
Solutions of sparse matrix equations R0SEVYBNSV
| URI | m2://inv/R0SEVYBNSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse matrix#106Q, Solutions of sparse matrix equations (unknown)
History
- 2026-11-02: add by m2/dev
Anders Szepessy R0SK171V03
| URI | m2://inv/R0SK171V03 |
|---|---|
| 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#M51Q, Anders Szepessy (unknown)
History
- 2026-11-02: add by m2/dev
Catastrophe principle R0SKBD922E
| URI | m2://inv/R0SKBD922E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy-tailed distribution#NJ9Z, Catastrophe principle (unknown)
History
- 2026-11-02: add by m2/dev
R0SKWX3GB7 R0SKWX3GB7
| URI | m2://inv/R0SKWX3GB7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#0OQ1 (definition). In SD43497T8C/e1, definition 1.15
History
- 2026-10-27: add by m2/v0.3.5
descent R0SMRWZ5CZ
| URI | m2://inv/R0SMRWZ5CZ |
|---|---|
| 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 2610.19214#EKI1, descent (statement). In WZPD7TNNY9/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
R0SQ2ZZEWW R0SQ2ZZEWW
| URI | m2://inv/R0SQ2ZZEWW |
|---|---|
| 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.06724#HXES (statement). In W5XG3PGVF1/e1, corollary C.2
History
- 2026-10-29: add by m2/v0.4.10
Spectral sequence R0SVCVZCNR
| URI | m2://inv/R0SVCVZCNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#XRUN, Spectral sequence (definition)
- wikipedia: Wikipedia List of algebraic topology topics#22JV, Spectral sequence (definition)
History
- 2026-11-02: add by m2/dev
R0T34X21CN R0T34X21CN
| URI | m2://inv/R0T34X21CN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#0IRU (statement). In A798V7TX99/e1, lemma 5.12
History
- 2026-10-28: add by m2/v0.4.2
Vadym Gutzeit R0T53P9VXH
| URI | m2://inv/R0T53P9VXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#L035, Vadym Gutzeit (unknown)
History
- 2026-11-02: add by m2/dev
R0T6Z6EWS4 R0T6Z6EWS4
| URI | m2://inv/R0T6Z6EWS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#LWPK (statement). In RY2X22P6XW/e1, corollary 45
History
- 2026-10-27: add by m2/v0.3.5
Filtrations on $\cot_{\leq n}$ R0TRDCQQJH
| URI | m2://inv/R0TRDCQQJH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#Q3WV, Filtrations on $\cot_{\leq n}$ (definition). In A1GWWGRXPA/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Flow-based generative model R0TRJ379CB
| URI | m2://inv/R0TRJ379CB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow-based generative model, Flow-based generative model (definition). Also Wikidata Q106179475
History
- 2026-11-02: add by m2/dev
Gauss's law R0TSZXGX8Q
| URI | m2://inv/R0TSZXGX8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permittivity#7014, Gauss's law (statement)
History
- 2026-11-02: add by m2/dev
Properties R0TTC3CERE
| URI | m2://inv/R0TTC3CERE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential of a function#5ZHK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Andreas Dress R0TXE43GNW
| URI | m2://inv/R0TXE43GNW |
|---|---|
| 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 Q496874, Andreas Dress (unknown). Also nLab Andreas Dress
- wikipedia: Wikipedia Andreas Dress, Andreas Dress (topic). Also Wikidata Q496874
History
- 2026-10-26: add by m2/dev
R0V070F7Y8 R0V070F7Y8
| URI | m2://inv/R0V070F7Y8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#HPNV (statement). In MZ60NP20BH/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.4.0
hacoversine R0V32HTN2J
| URI | m2://inv/R0V32HTN2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2013312, hacoversine (unknown). Also MathWorld Hacoversine
History
- 2026-10-26: add by m2/dev
R0V91SC3EX R0V91SC3EX
| URI | m2://inv/R0V91SC3EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#BKRP (statement). In AQC7E6RAT4/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
ULC Measures on \(\bb N\ R0VG8W244C
| URI | m2://inv/R0VG8W244C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#MJWT, ULC Measures on \(\bb N\ (example)
History
- 2026-11-02: add by m2/v0.6.17
Codazzi tensor R0VGMRVNC3
| URI | m2://inv/R0VGMRVNC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Codazzi tensor, Codazzi tensor (definition). Also Wikidata Q5139945
History
- 2026-11-02: add by m2/dev
Generalizations R0VSCXH6RG
| URI | m2://inv/R0VSCXH6RG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glaisher–Kinkelin constant#EN55, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Examples R0VW6VXGXF
| URI | m2://inv/R0VW6VXGXF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypertopology#QTE6, Examples (example)
History
- 2026-11-02: add by m2/dev
Finite-dimensional overlap MGF and moments R0VZVBDYMP
| URI | m2://inv/R0VZVBDYMP |
|---|---|
| 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.09882#U0NG, Finite-dimensional overlap MGF and moments (statement). In 7XV6T4N79V/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Definition of the Wigner D-matrix R0W0B1YHQ2
| URI | m2://inv/R0W0B1YHQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner D-matrix#BTJ9, Definition of the Wigner D-matrix (definition)
History
- 2026-11-02: add by m2/dev
Symmetry R0W25RVPWC
| URI | m2://inv/R0W25RVPWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagon#OKND, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
R0W6W2NAMQ R0W6W2NAMQ
| URI | m2://inv/R0W6W2NAMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25255#MY2Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
R0WA99ENAC R0WA99ENAC
| URI | m2://inv/R0WA99ENAC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#08EC (example). In 3THDT8WNF7/e1, example 12
History
- 2026-10-29: add by m2/v0.4.12
Dominique Foata R0WAQZW24V
| URI | m2://inv/R0WAQZW24V |
|---|---|
| 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#SJAT, Dominique Foata (topic)
History
- 2026-11-02: add by m2/dev
R0WCG8Q727 R0WCG8Q727
| URI | m2://inv/R0WCG8Q727 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#WMI6 (statement). In F1CYVYK7YB/e1, lemma 9.9
History
- 2026-10-29: add by m2/v0.4.10
R0WDXP5ATF R0WDXP5ATF
| URI | m2://inv/R0WDXP5ATF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.09464#3IW1 (definition). In RN1XRCS2CH/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.6
Farey formula mod $24$ for every hyperbolic word R0WGEH1D6Y
| URI | m2://inv/R0WGEH1D6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#N1MM, Farey formula mod $24$ for every hyperbolic word (statement). In 11JNM66Z09/e1, theorem 9.5
History
- 2026-10-28: add by m2/v0.4.2
Example R0WGSNGY2V
| URI | m2://inv/R0WGSNGY2V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex torus#8T30, Example (example)
History
- 2026-11-02: add by m2/dev
R0WN03YPEF R0WN03YPEF
| URI | m2://inv/R0WN03YPEF |
|---|---|
| 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.03337#08UF (statement). In VH7EZDGTNA/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
R0WPNYCGAV R0WPNYCGAV
| URI | m2://inv/R0WPNYCGAV |
|---|---|
| Kind | example |
| 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.37739#ULEF (example). In F5XF5VXTXY/e1, example 2.14
History
- 2026-10-30: add by m2/v0.4.12
R0WR538TDD R0WR538TDD
| URI | m2://inv/R0WR538TDD |
|---|---|
| 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.27181#JWOJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local comparison R0WREY2QAN
| URI | m2://inv/R0WREY2QAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01299#EA49, Local comparison (statement). In Z7FB8DPPDQ/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
General formula and special cases R0WTCN839A
| URI | m2://inv/R0WTCN839A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic logarithm#MSXK, General formula and special cases (statement)
History
- 2026-11-02: add by m2/dev
R0X0SEWAM7 R0X0SEWAM7
| URI | m2://inv/R0X0SEWAM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#3F4G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lamé's theorem R0X318D9H1
| URI | m2://inv/R0X318D9H1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- thousand_plus: thousand_plus Q10380294, Lamé’s theorem (statement). Also Wikidata Q10380294, Wikipedia Lamé’s theorem
- wikipedia: Wikipedia Lamé's theorem, Lamé's theorem (statement). Also Wikidata Q10380294
History
- 2026-10-26: add by m2/dev
Examples R0XGD86A8W
| URI | m2://inv/R0XGD86A8W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-infinite programming#A96P, Examples (example)
History
- 2026-11-02: add by m2/dev
pmatrix R0XJB56RF5
| URI | m2://inv/R0XJB56RF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#6KVE, pmatrix (definition)
History
- 2026-11-02: add by m2/dev
Time-weighted estimate R0XP0PP669
| URI | m2://inv/R0XP0PP669 |
|---|---|
| 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.22090#AM78, Time-weighted estimate (statement). In NKJWGF050C/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Wrapped normal distribution R0Y2PWHDPA
| URI | m2://inv/R0Y2PWHDPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrapped normal distribution, Wrapped normal distribution (definition). Also Wikidata Q8037608
History
- 2026-11-02: add by m2/dev
Franz Rellich R0Y44RCVS8
| URI | m2://inv/R0Y44RCVS8 |
|---|---|
| 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#0IYB, Franz Rellich (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4U1G, Franz Rellich (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QW09, Franz Rellich (topic)
History
- 2026-11-02: add by m2/dev
Finite field Kakeya conjecture R0YBDK323C
| URI | m2://inv/R0YBDK323C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakeya set#T434, Finite field Kakeya conjecture (unknown)
History
- 2026-11-02: add by m2/dev
R0YG0K2R83 R0YG0K2R83
| URI | m2://inv/R0YG0K2R83 |
|---|---|
| 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.31278#BSEN (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
Herbert Clemens R0YNM5Y6N1
| URI | m2://inv/R0YNM5Y6N1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Clemens, Herbert Clemens (topic). Also Wikidata Q21286538
History
- 2026-11-02: add by m2/dev
R0YQXEFYA2 R0YQXEFYA2
| URI | m2://inv/R0YQXEFYA2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Categorial smallness criterion R0YS0Y2R0Z
| URI | m2://inv/R0YS0Y2R0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#IQZ2, Categorial smallness criterion (statement). In HX63A1PH1W/e1, proposition 3.54
History
- 2026-10-28: add by m2/v0.4.3
Quantitative nibble comparison R0Z5R8A688
| URI | m2://inv/R0Z5R8A688 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#FDAX, Quantitative nibble comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chebyshev's inequality R0ZFNDHFT2
| URI | m2://inv/R0ZFNDHFT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#A5RL, Chebyshev's inequality (statement)
History
- 2026-11-02: add by m2/dev
Hyperbolic Dehn surgery R0ZT9HP2Z5
| URI | m2://inv/R0ZT9HP2Z5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic Dehn surgery, Hyperbolic Dehn surgery (definition). Also Wikidata Q5957776
History
- 2026-11-02: add by m2/dev