Inventory rows Z3
The cards of the rows of the inventory whose ids start with Z3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Sieve J Z30GPCHYZN
| URI | m2://inv/Z30GPCHYZN |
|---|---|
| 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.16962#3RRL, Sieve J (statement). In KJC9FRS3C2/e1, theorem 13.3
History
- 2026-10-28: add by m2/v0.4.2
Montroll–Weiss formula Z30N2XZYWJ
| URI | m2://inv/Z30N2XZYWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous-time random walk#R42B, Montroll–Weiss formula (statement)
History
- 2026-11-02: add by m2/dev
Z30NYS14BQ Z30NYS14BQ
| URI | m2://inv/Z30NYS14BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 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.17815#BLCV (statement). In GJ7N2EWACX/e1, theorem A.2
History
- 2026-10-28: add by m2/v0.4.2
Z30PJJY8QX Z30PJJY8QX
| URI | m2://inv/Z30PJJY8QX |
|---|---|
| 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.06707#LJIS (statement). In 9TR5E527P5/e1, theorem 5.9
History
- 2026-10-29: add by m2/v0.4.10
Annie Qu Z312JJXD3N
| URI | m2://inv/Z312JJXD3N |
|---|---|
| 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#ZD2D, Annie Qu (topic)
History
- 2026-11-02: add by m2/dev
Method Z315P3DDD6
| URI | m2://inv/Z315P3DDD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier division#36HD, Method (definition)
History
- 2026-11-02: add by m2/dev
Euler--Koszul homology Z3163J3QKT
| URI | m2://inv/Z3163J3QKT |
|---|---|
| Kind | definition |
| 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#AHTC, Euler--Koszul homology (definition). In XHSKEPT3VD/e1, definition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Barry D. Nussbaum Z3189QTTT7
| URI | m2://inv/Z3189QTTT7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barry D. Nussbaum, Barry D. Nussbaum (topic). Also Wikidata Q42955932
History
- 2026-11-02: add by m2/dev
Hopf construction Z31E7HKTRX
| URI | m2://inv/Z31E7HKTRX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18350004, Hopf construction (concept). Also nLab Hopf construction
- wikipedia: Wikipedia Hopf construction, Hopf construction (definition). Also Wikidata Q18350004
History
- 2026-10-26: add by m2/dev
Zeev Rudnick Z31FZY5CGS
| URI | m2://inv/Z31FZY5CGS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeev Rudnick, Zeev Rudnick (topic). Also Wikidata Q184424
History
- 2026-11-02: add by m2/dev
Pairs S13 and S14 Z31RQ0WGAR
| URI | m2://inv/Z31RQ0WGAR |
|---|---|
| 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.08865#V1DI, Pairs S13 and S14 (statement). In SJ5JKGH94M/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.10
Z31SA2B6Q2 Z31SA2B6Q2
| URI | m2://inv/Z31SA2B6Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15698#6G3J (statement). In 69GJX04N6M/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Group structure and the axiom of choice Z31W08PGX0
| URI | m2://inv/Z31W08PGX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group structure and the axiom of choice, Group structure and the axiom of choice (statement). Also Wikidata Q17097957
History
- 2026-11-02: add by m2/dev
Z31XEX147J Z31XEX147J
| URI | m2://inv/Z31XEX147J |
|---|---|
| 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 1905.00573#JRRH (statement). In 74RNQVBM2G/e1, corollary 3.29
History
- 2026-10-27: add by m2/v0.3.5
Z328ZDMXD6 Z328ZDMXD6
| URI | m2://inv/Z328ZDMXD6 |
|---|---|
| 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.20588#6DCM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rankin–Selberg method Z32A6G9PM3
| URI | m2://inv/Z32A6G9PM3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7293308, Rankin–Selberg method (concept). Also nLab Rankin-Selberg method
- wikipedia: Wikipedia Rankin–Selberg method, Rankin–Selberg method (definition). Also Wikidata Q7293308
History
- 2026-10-26: add by m2/dev
Kingman's subadditive ergodic theorem Z32M5SFRZE
| URI | m2://inv/Z32M5SFRZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kingman's subadditive ergodic theorem, Kingman's subadditive ergodic theorem (statement). Also Wikidata Q22906153
History
- 2026-11-02: add by m2/dev
Kazuya Kato Z32RSM9DYZ
| URI | m2://inv/Z32RSM9DYZ |
|---|---|
| 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#P31H, Kazuya Kato (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SKBY, Kazuya Kato (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YVBC, Kazuya Kato (topic)
History
- 2026-11-02: add by m2/dev
Z32TCWENX0 Z32TCWENX0
| URI | m2://inv/Z32TCWENX0 |
|---|---|
| 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.06886#M4D8 (statement). In M7E747AYBP/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Z32V81TRMR Z32V81TRMR
| URI | m2://inv/Z32V81TRMR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Z32VY6A230 Z32VY6A230
| URI | m2://inv/Z32VY6A230 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#DY1B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zygalski sheets Z330ZMX1WG
| URI | m2://inv/Z330ZMX1WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zygalski sheets, Zygalski sheets (definition). Also Wikidata Q2185271
History
- 2026-11-02: add by m2/dev
Gauss–Kuzmin distribution Z3356V92PB
| URI | m2://inv/Z3356V92PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3258320, Gauss–Kuzmin distribution (unknown). Also MathWorld Gauss-KuzminDistribution
- wikipedia: Wikipedia Gauss–Kuzmin distribution, Gauss–Kuzmin distribution (definition). Also Wikidata Q3258320
History
- 2026-10-26: add by m2/dev
Z33895GVSA Z33895GVSA
| URI | m2://inv/Z33895GVSA |
|---|---|
| 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.06461#DWAZ (statement). In QXY3W2JV2N/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Kirchberg's epsilon test Z33BVB3J83
| URI | m2://inv/Z33BVB3J83 |
|---|---|
| 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.09390#2VPO, Kirchberg's epsilon test (statement). In 7SSKW778T8/e1, lemma 2.20
History
- 2026-10-29: add by m2/v0.4.10
Np-chart Z33D747C3S
| URI | m2://inv/Z33D747C3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Np-chart, Np-chart (definition). Also Wikidata Q7067516
History
- 2026-11-02: add by m2/dev
Z33GZZ3XYA Z33GZZ3XYA
| URI | m2://inv/Z33GZZ3XYA |
|---|---|
| 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.20994#ICU2 (statement). In E90KYMVZMR/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.4.2
Z33M0C0V1V Z33M0C0V1V
| URI | m2://inv/Z33M0C0V1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#8XA8 (statement). In G00EYA9DXG/e1, corollary 6.5
History
- 2026-10-28: add by m2/v0.4.2
Soul conjecture Z33T06R88F
| URI | m2://inv/Z33T06R88F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soul theorem#CRVQ, Soul conjecture (statement)
History
- 2026-11-02: add by m2/dev
hidden-variable theory Z33TZNV29Z
| URI | m2://inv/Z33TZNV29Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q898521, hidden-variable theory (unknown). Also nLab hidden variable theory
- wikipedia: Wikipedia Hidden-variable theory, Hidden-variable theory (definition). Also Wikidata Q898521
History
- 2026-10-26: add by m2/dev
Z34HPTCPEM Z34HPTCPEM
| URI | m2://inv/Z34HPTCPEM |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#7HT0 (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Z34KP8VRNM Z34KP8VRNM
| URI | m2://inv/Z34KP8VRNM |
|---|---|
| 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#H6O6 (statement). In BDN507RN7J/e1, proposition 4.6.7
History
- 2026-10-30: add by m2/v0.4.12
Thornton Carle Fry Z34M8KERJ6
| URI | m2://inv/Z34M8KERJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thornton Carle Fry, Thornton Carle Fry (topic). Also Wikidata Q47482371
History
- 2026-11-02: add by m2/dev
Raymond Pearl Z34Q8W7WVJ
| URI | m2://inv/Z34Q8W7WVJ |
|---|---|
| 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#HHV5, Raymond Pearl (topic)
History
- 2026-11-02: add by m2/dev
Z34SCCBZMV Z34SCCBZMV
| URI | m2://inv/Z34SCCBZMV |
|---|---|
| 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.11271#MWID (statement). In HF7J38T8Y6/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
People v. Collins Z34VPD3STD
| URI | m2://inv/Z34VPD3STD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia People v. Collins, People v. Collins (definition). Also Wikidata Q2069594
History
- 2026-11-02: add by m2/dev
Henry Heaton Z34WQCZP0A
| URI | m2://inv/Z34WQCZP0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Heaton, Henry Heaton (topic). Also Wikidata Q37733094
History
- 2026-11-02: add by m2/dev
The complete list of Gannon--Schopieray--Yadav Z34YZT40KG
| URI | m2://inv/Z34YZT40KG |
|---|---|
| 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#W96A, The complete list of Gannon--Schopieray--Yadav (statement). In 11JNM66Z09/e1, fact 3.6
History
- 2026-10-28: add by m2/v0.4.2
Filtered back-projection Z350HGBPT0
| URI | m2://inv/Z350HGBPT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#HAJC, Filtered back-projection (definition)
History
- 2026-11-02: add by m2/dev
Z3551X43CD Z3551X43CD
| URI | m2://inv/Z3551X43CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.21670#T1T7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Key disclosure law Z356KEEEM6
| URI | m2://inv/Z356KEEEM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key disclosure law, Key disclosure law (statement). Also Wikidata Q6398152
History
- 2026-11-02: add by m2/dev
Z35B11RZKF Z35B11RZKF
| URI | m2://inv/Z35B11RZKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13981#9HJX (statement). In V78F5DK90W/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Green kernel of $(\Am+1)^{-1}$ Z35B6R9SEY
| URI | m2://inv/Z35B6R9SEY |
|---|---|
| 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.35030#5ZDD, Green kernel of $(\Am+1)^{-1}$ (statement). In DPT4P2BTEW/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Example Z35BGDR6X9
| URI | m2://inv/Z35BGDR6X9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least squares#XXLX, Example (example)
History
- 2026-11-02: add by m2/dev
Definition Z35D72TWEA
| URI | m2://inv/Z35D72TWEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex model#SECW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Nikolay Govorun Z35FR0HH4R
| URI | m2://inv/Z35FR0HH4R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolay Govorun, Nikolay Govorun (topic). Also Wikidata Q3710041
History
- 2026-11-02: add by m2/dev
Independence of irrelevant alternatives Z35K99QV0W
| URI | m2://inv/Z35K99QV0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RCF0, Independence of irrelevant alternatives (definition)
History
- 2026-11-02: add by m2/dev
François Viète Z35M3BWCYD
| URI | m2://inv/Z35M3BWCYD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Viète, François Viète (topic). Also Wikidata Q188623
History
- 2026-11-02: add by m2/dev
Z35QC1W3TK Z35QC1W3TK
| URI | m2://inv/Z35QC1W3TK |
|---|---|
| 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.20119#X01M (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z3635MJ93X Z3635MJ93X
| URI | m2://inv/Z3635MJ93X |
|---|---|
| Kind | definition |
| 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.04833#ZYCL (definition). In AKB3CNDA0F/e1, definition 3.27
History
- 2026-10-29: add by m2/v0.4.12
Z363ZDJAFP Z363ZDJAFP
| URI | m2://inv/Z363ZDJAFP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
Z364RB2SXT Z364RB2SXT
| URI | m2://inv/Z364RB2SXT |
|---|---|
| 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.14681#P3DU (statement). In 459W0NBS5Q/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Z36DW6H84K Z36DW6H84K
| URI | m2://inv/Z36DW6H84K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.11785#87VV (statement). In 2XSZDXZ52E/e1, lemma 1.1
History
- 2026-10-28: add by m2/v0.4.3
surface Z36G0SV264
| URI | m2://inv/Z36G0SV264 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#C0SD, surface (definition)
History
- 2026-11-02: add by m2/dev
Geometricity Z36HSA0TJ5
| URI | m2://inv/Z36HSA0TJ5 |
|---|---|
| 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 2104.00162#Q9W5, Geometricity (definition). In HVGT9D84WV/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Z36RNCFP71 Z36RNCFP71
| URI | m2://inv/Z36RNCFP71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#4E0J (statement). In X3RFXWN6FW/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.6
Z3770VKMKC Z3770VKMKC
| URI | m2://inv/Z3770VKMKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#I2OJ (statement). In 5KR3MHYVV6/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Z37DBNKBAJ Z37DBNKBAJ
| URI | m2://inv/Z37DBNKBAJ |
|---|---|
| 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.02585#585V (statement). In V0KBBY82SY/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Z37JDCB4E2 Z37JDCB4E2
| URI | m2://inv/Z37JDCB4E2 |
|---|---|
| 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.30015#PEO7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z37JF7HS0X Z37JF7HS0X
| URI | m2://inv/Z37JF7HS0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#BT8N (statement). In WAXS6FS388/e1, corollary 4.18
History
- 2026-10-30: add by m2/v0.4.12
Z37K5H8PNH Z37K5H8PNH
| URI | m2://inv/Z37K5H8PNH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#cor-1 (statement). In E59CDZA4DP, cor, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Z37NCKT72G Z37NCKT72G
| URI | m2://inv/Z37NCKT72G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#EBCI (statement). In ATSYBWEMMP/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.10
The highest-dimensional singular contribution Z37PYXYSM1
| URI | m2://inv/Z37PYXYSM1 |
|---|---|
| Kind | statement |
| 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#7X0V, The highest-dimensional singular contribution (statement). In WVX0T502A1/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Recentring Z38189NYK4
| URI | m2://inv/Z38189NYK4 |
|---|---|
| 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 2609.25301#7YC9, Recentring (definition)
History
- 2026-11-01: add by m2/v0.6.15
modulo operation Z384AR9VSY
| URI | m2://inv/Z384AR9VSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Modulo operation 03BR7SAX0Q |
Mentions
- wikidata: Wikidata Q1799665, modulo operation (unknown). Also MathWorld Mod
- wikipedia: Wikipedia Modulo, Modulo (definition). Also Wikidata Q1799665
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Visual calculus Z38H0E4SEJ
| URI | m2://inv/Z38H0E4SEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual calculus, Visual calculus (definition). Also Wikidata Q7936587
History
- 2026-11-02: add by m2/dev
Z38KGMXZAR Z38KGMXZAR
| URI | m2://inv/Z38KGMXZAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#LUCQ (statement). In ESDKTYDHC8/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
lexicographical order Z38QZVWYBG
| URI | m2://inv/Z38QZVWYBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Lexicographic order 0B68KNPGCG |
Mentions
- wikidata: Wikidata Q1144915, lexicographical order (unknown). Also MathWorld LexicographicOrder, nLab lexicographic order
- wikipedia: Wikipedia Lexicographic order, Lexicographic order (definition). Also Wikidata Q1144915
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Terminology Z38SEZZR9H
| URI | m2://inv/Z38SEZZR9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Themistocles M. Rassias#GXRR, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Z3946QWWCR Z3946QWWCR
| URI | m2://inv/Z3946QWWCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#36K2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
golden rectangle Z398X10JR5
| URI | m2://inv/Z398X10JR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1059366, golden rectangle (unknown). Also MathWorld GoldenRectangle
- wikipedia: Wikipedia Golden rectangle, Golden rectangle (definition). Also Wikidata Q1059366
History
- 2026-10-26: add by m2/dev
Scala Z39BX7DN56
| URI | m2://inv/Z39BX7DN56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scala (programming language), Scala (definition). Also Wikidata Q460584
History
- 2026-11-02: add by m2/dev
Fluhrer, Mantin and Shamir attack Z39CATX5HF
| URI | m2://inv/Z39CATX5HF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluhrer, Mantin and Shamir attack, Fluhrer, Mantin and Shamir attack (definition). Also Wikidata Q5462700
History
- 2026-11-02: add by m2/dev
Conditional H\"older Z39E1E215Z
| URI | m2://inv/Z39E1E215Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27765#K4XC, Conditional H\"older (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z39EN7SZV3 Z39EN7SZV3
| URI | m2://inv/Z39EN7SZV3 |
|---|---|
| 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.36389#JKXZ (example). In N1S169J2MV/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Z39EQDHJBQ Z39EQDHJBQ
| URI | m2://inv/Z39EQDHJBQ |
|---|---|
| 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.12479#9TVB (statement). In WE001PR75Z/e1, theorem 21
History
- 2026-10-28: add by m2/v0.4.2
Guerra's bound for fractional moments Z39NS39XHF
| URI | m2://inv/Z39NS39XHF |
|---|---|
| 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#76E8, Guerra's bound for fractional moments (statement). In NKXTXH59P1/e1, lemma G.1
History
- 2026-10-29: add by m2/v0.4.10
Z39P6X2BJS Z39P6X2BJS
| URI | m2://inv/Z39P6X2BJS |
|---|---|
| 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.00443#EGOM (statement). In ZRNVBFH3ZS/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
stack Z39S6QVJTJ
| URI | m2://inv/Z39S6QVJTJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/stack, stack (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Logarithmic control of the state bias Z39ZH3YN2H
| URI | m2://inv/Z39ZH3YN2H |
|---|---|
| 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#44RX, Logarithmic control of the state bias (statement). In 5B4AX4SF88/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Z39ZNP4JXQ Z39ZNP4JXQ
| URI | m2://inv/Z39ZNP4JXQ |
|---|---|
| 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.37337#Q5OQ (statement). In 813JGZV08G/e1, lemma E.8
History
- 2026-10-30: add by m2/v0.4.12
Connecting planted animal Z3A9MEVMHW
| URI | m2://inv/Z3A9MEVMHW |
|---|---|
| Kind | definition |
| 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 1905.02785#S0JT, Connecting planted animal (definition). In PF9KV74Q02/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Product and defect traces Z3A9NCCZ1H
| URI | m2://inv/Z3A9NCCZ1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#HGKR, Product and defect traces (statement). In 9S7HGSEX6Q/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
Z3ACZJCM5Q Z3ACZJCM5Q
| URI | m2://inv/Z3ACZJCM5Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-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.02017#3BYP (definition). In F6C80AEXC1/e1, definition 2.14
History
- 2026-10-29: add by m2/v0.4.12
Z3AD77MFFJ Z3AD77MFFJ
| URI | m2://inv/Z3AD77MFFJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#lem:func_retract_to_fiber_retract (statement). In N54F33XE07, lem, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
equidistributed sequence Z3B0TN9XVR
| URI | m2://inv/Z3B0TN9XVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1530388, equidistributed sequence (unknown). Also MathWorld EquidistributedSequence
- wikipedia: Wikipedia Equidistributed sequence, Equidistributed sequence (definition). Also Wikidata Q1530388
History
- 2026-10-26: add by m2/dev
Brezis–Lieb lemma Z3B7KRQ645
| URI | m2://inv/Z3B7KRQ645 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brezis–Lieb lemma, Brezis–Lieb lemma (statement). Also Wikidata Q104863892
History
- 2026-11-02: add by m2/dev
character table Z3B7WYBQZY
| URI | m2://inv/Z3B7WYBQZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Character table P16AFZT3K0 |
Mentions
- wikidata: Wikidata Q11498021, character table (unknown). Also MathWorld CharacterTable
- wikipedia: Wikipedia Character table, Character table (definition). Also Wikidata Q11498021
History
- 2026-10-26: add by m2/dev
Affine plank problem Z3BAEHHM6E
| URI | m2://inv/Z3BAEHHM6E |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine plank problem, Affine plank problem (problem). Also Wikidata Q140606237
History
- 2026-11-02: add by m2/dev
Paradigm case argument Z3BHB2CYYC
| URI | m2://inv/Z3BHB2CYYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradigm case argument, Paradigm case argument (definition). Also Wikidata Q24906056
History
- 2026-11-02: add by m2/dev
unode Z3BPCRTFRD
| URI | m2://inv/Z3BPCRTFRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ATUL, unode (definition)
History
- 2026-11-02: add by m2/dev
K-theory of a category Z3BVYV7CZW
| URI | m2://inv/Z3BVYV7CZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-theory of a category, K-theory of a category (definition). Also Wikidata Q85772696
History
- 2026-11-02: add by m2/dev
unimodal probability distribution Z3BZSBS6KB
| URI | m2://inv/Z3BZSBS6KB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#3BSA, unimodal probability distribution (definition)
History
- 2026-11-02: add by m2/dev
Caren Diefenderfer Z3BZT9GCW5
| URI | m2://inv/Z3BZT9GCW5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caren Diefenderfer, Caren Diefenderfer (topic). Also Wikidata Q49022837
History
- 2026-11-02: add by m2/dev
Ordering Z3C1AEQQY0
| URI | m2://inv/Z3C1AEQQY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27765#XDWT, Ordering (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z3C6AXRCYN Z3C6AXRCYN
| URI | m2://inv/Z3C6AXRCYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#1WXO (statement). In 32ZZ1DETCX/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.5
strictly local Z3C8Q4QFST
| URI | m2://inv/Z3C8Q4QFST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#PZAV, strictly local (definition)
History
- 2026-11-02: add by m2/dev
miracle Z3CC3KCVWN
| URI | m2://inv/Z3CC3KCVWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#X10U, miracle (definition)
History
- 2026-11-02: add by m2/dev
Z3D1TKQK2N Z3D1TKQK2N
| URI | m2://inv/Z3D1TKQK2N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-sets.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Spectral localizer theorem, Thm 10.4.1 Z3D5447AKM
| URI | m2://inv/Z3D5447AKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.19791#5H3A, Spectral localizer theorem, Thm 10.4.1 (statement). In AVDB4KJ6XB/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
projection, orthogonal Z3D69VWB9V
| URI | m2://inv/Z3D69VWB9V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.5.2/projection-orthogonal, projection, orthogonal (concept). In E9HS8K3A52, index, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
Z3DA6M4GCA Z3DA6M4GCA
| URI | m2://inv/Z3DA6M4GCA |
|---|---|
| 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#EI2M (statement). In ZRE2WQR5XA/e1, corollary V.8
History
- 2026-10-27: add by m2/v0.4.2
Lemma Z3DB7A2YB9
| URI | m2://inv/Z3DB7A2YB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier algebra#DS7D, Lemma (statement)
History
- 2026-11-02: add by m2/dev
John Edensor Littlewood Z3DGZNZMXJ
| URI | m2://inv/Z3DGZNZMXJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NLDT, John Edensor Littlewood (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B6IE, John Edensor Littlewood (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OXTM, John Edensor Littlewood (topic)
History
- 2026-11-02: add by m2/dev
RP Z3DM97EH34
| URI | m2://inv/Z3DM97EH34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RP (complexity), RP (definition). Also Wikidata Q1190846
History
- 2026-11-02: add by m2/dev
Z3DR6QP8DT Z3DR6QP8DT
| URI | m2://inv/Z3DR6QP8DT |
|---|---|
| Kind | example |
| 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.39430#92EO (example). In 6FH24CYAMW/e1, example 5.3
History
- 2026-10-30: add by m2/v0.4.12
Matrix ring Z3DTGFYM25
| URI | m2://inv/Z3DTGFYM25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#7W7U, Matrix ring (definition)
History
- 2026-11-02: add by m2/dev
Characterization of the trace Z3EC4WQY4X
| URI | m2://inv/Z3EC4WQY4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace (linear algebra)#DHP4, Characterization of the trace (statement)
History
- 2026-11-02: add by m2/dev
Discriminant of a polynomial Z3EDKRMCQJ
| URI | m2://inv/Z3EDKRMCQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#1EI9, Discriminant of a polynomial (definition)
History
- 2026-11-02: add by m2/dev
Mitchell Luskin Z3EFBVABZ4
| URI | m2://inv/Z3EFBVABZ4 |
|---|---|
| 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#T43F, Mitchell Luskin (unknown)
History
- 2026-11-02: add by m2/dev
Z3EFP7X5X4 Z3EFP7X5X4
| URI | m2://inv/Z3EFP7X5X4 |
|---|---|
| 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.33775#9B0G (statement). In VVQ1FMTHXB/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Weighted evaluation functional Z3EJPDXFVN
| URI | m2://inv/Z3EJPDXFVN |
|---|---|
| Kind | definition |
| 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 2610.13658#ETYU, Weighted evaluation functional (definition). In R9BC934K3E/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Smith–Volterra–Cantor set Z3EJZXGNF0
| URI | m2://inv/Z3EJZXGNF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ZE1O, Smith–Volterra–Cantor set (definition)
History
- 2026-11-02: add by m2/dev
Definitions Z3ENR7N3K0
| URI | m2://inv/Z3ENR7N3K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple polygon#VPYV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Z3ESKPK9X1 Z3ESKPK9X1
| URI | m2://inv/Z3ESKPK9X1 |
|---|---|
| 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.03628#KX0J (statement). In P8KT6JV9N1/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
LSZ reduction formula Z3ESPQNQJY
| URI | m2://inv/Z3ESPQNQJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q267449, LSZ reduction formula (unknown). Also nLab LSZ reduction formula
- wikipedia: Wikipedia LSZ reduction formula, LSZ reduction formula (statement). Also Wikidata Q267449
History
- 2026-10-26: add by m2/dev
Z3EXS1DDK3 Z3EXS1DDK3
| URI | m2://inv/Z3EXS1DDK3 |
|---|---|
| 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.20944#EE1W (statement). In DRRKZR6CQC/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.2
Z3EXV7Y5AH Z3EXV7Y5AH
| URI | m2://inv/Z3EXV7Y5AH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06441#K95J (unknown). In YFJ62HWHVK/e1, unknown 2.6
History
- 2026-10-29: add by m2/v0.4.10
Z3F3AD02QB Z3F3AD02QB
| URI | m2://inv/Z3F3AD02QB |
|---|---|
| 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.23093#39H6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples Z3F3W006C6
| URI | m2://inv/Z3F3W006C6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Havel–Hakimi algorithm#XF74, Examples (example)
History
- 2026-11-02: add by m2/dev
Three hundred eighty-three Z3F3YB0ZJH
| URI | m2://inv/Z3F3YB0ZJH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#OJ9G, Three hundred eighty-three (unknown)
History
- 2026-11-02: add by m2/dev
Z3F66W7F4D Z3F66W7F4D
| URI | m2://inv/Z3F66W7F4D |
|---|---|
| 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 2609.28011#YXWD (example)
History
- 2026-11-01: add by m2/v0.6.15
exact-sequence trace for $\code{18}{4}{4}$ Z3FFM2E141
| URI | m2://inv/Z3FFM2E141 |
|---|---|
| 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 2609.39395#P3DZ, exact-sequence trace for $\code{18}{4}{4}$ (example). In ZDVPJ1XX5Z/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Bol Z3FHRX4KXB
| URI | m2://inv/Z3FHRX4KXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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 2212.02556#4RJU, Bol (statement). In 78QQZYTGTD/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Z3FHW1Y6AY Z3FHW1Y6AY
| URI | m2://inv/Z3FHW1Y6AY |
|---|---|
| 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.21692#BTXU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z3FHZTVJRW Z3FHZTVJRW
| URI | m2://inv/Z3FHZTVJRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#prop-4 (statement). In PKGMM3P5QY, prop, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
Basic properties Z3FN25H1JS
| URI | m2://inv/Z3FN25H1JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (graph theory)#YNT8, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Polarized constant-core packet Z3FP9SH397
| URI | m2://inv/Z3FP9SH397 |
|---|---|
| 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.24962#EYDG, Polarized constant-core packet (statement)
History
- 2026-11-01: add by m2/v0.6.15
Barzilai–Borwein method Z3FRP3B3MP
| URI | m2://inv/Z3FRP3B3MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barzilai–Borwein method, Barzilai–Borwein method (definition). Also Wikidata Q118904453
History
- 2026-11-02: add by m2/dev
Z3FS0AXN8X Z3FS0AXN8X
| URI | m2://inv/Z3FS0AXN8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22708#FBF0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Riemann–Roch theorem for surfaces Z3FS4FQJYJ
| URI | m2://inv/Z3FS4FQJYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem for surfaces#5KDP, Riemann–Roch theorem for surfaces (statement)
History
- 2026-11-02: add by m2/dev
Proof that 0.999... equals 1 Z3G5FBY10H
| URI | m2://inv/Z3G5FBY10H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#EUO6, Proof that 0.999... equals 1 (definition)
History
- 2026-11-02: add by m2/dev
Schlegel diagram Z3G5M3C58Z
| URI | m2://inv/Z3G5M3C58Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schlegel diagram S2JE8M3FMP |
Mentions
- wikidata: Wikidata Q2004228, Schlegel diagram (unknown). Also MathWorld SchlegelGraph
- wikipedia: Wikipedia Schlegel diagram, Schlegel diagram (definition). Also Wikidata Q2004228
History
- 2026-10-26: add by m2/dev
Z3G6SMBNJ0 Z3G6SMBNJ0
| URI | m2://inv/Z3G6SMBNJ0 |
|---|---|
| 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 2201.12479#0G06 (statement). In ZDWR95TW99/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Z3GERWQ1R1 Z3GERWQ1R1
| URI | m2://inv/Z3GERWQ1R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#def:infiniteSet (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
Monad Z3GGNA349W
| URI | m2://inv/Z3GGNA349W |
|---|---|
| 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#90Y2, Monad (definition). In HX63A1PH1W/e1, definition 3.25
History
- 2026-10-28: add by m2/v0.4.3
Common extensions in linear systems -- inductive statement Z3GM8A4EC1
| URI | m2://inv/Z3GM8A4EC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#5X9M, Common extensions in linear systems -- inductive statement (statement). In QBAP8C82FG/e1, proposition 34
History
- 2026-10-30: add by m2/v0.4.12
Mercy Z3GNC6MY8K
| URI | m2://inv/Z3GNC6MY8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mercy (cipher), Mercy (definition). Also Wikidata Q17082481
History
- 2026-11-02: add by m2/dev
Z3GSQZ2H8H Z3GSQZ2H8H
| URI | m2://inv/Z3GSQZ2H8H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21295#S13Q (example)
History
- 2026-11-02: add by m2/v0.6.18
Hart F. Smith Z3GWFEQNSY
| URI | m2://inv/Z3GWFEQNSY |
|---|---|
| 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#KXZX, Hart F. Smith (unknown)
History
- 2026-11-02: add by m2/dev
Z3H43CHSED Z3H43CHSED
| URI | m2://inv/Z3H43CHSED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25880#09CB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z3HMFV79Q8 Z3HMFV79Q8
| URI | m2://inv/Z3HMFV79Q8 |
|---|---|
| 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.18709#9Q1Y (statement). In K7VY50VFK6/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
predicate, inductive Z3HNYP1065
| URI | m2://inv/Z3HNYP1065 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/predicate-inductive, predicate, inductive (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Z3HZZHVFJ1 Z3HZZHVFJ1
| URI | m2://inv/Z3HZZHVFJ1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07671#N7NJ (example). In XHHBGCVG90/e1, example 2.2.2
History
- 2026-10-29: add by m2/v0.4.10
Z3J2YVM4WS Z3J2YVM4WS
| URI | m2://inv/Z3J2YVM4WS |
|---|---|
| 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.30527#YCQP (statement). In E3WQDZY388/e1, lemma 4.7
History
- 2026-10-31: add by m2/v0.5.6
traceable Z3JK588N0F
| URI | m2://inv/Z3JK588N0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#L1LG, traceable (definition)
History
- 2026-11-02: add by m2/dev
De Rham theorem Z3JK5M9X2N
| URI | m2://inv/Z3JK5M9X2N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham cohomology#2V91, De Rham theorem (statement)
History
- 2026-11-02: add by m2/dev
Rata Die Z3JKY4X6CC
| URI | m2://inv/Z3JKY4X6CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rata Die, Rata Die (definition). Also Wikidata Q7295425
History
- 2026-11-02: add by m2/dev
Z3JQB5ZCHS Z3JQB5ZCHS
| URI | m2://inv/Z3JQB5ZCHS |
|---|---|
| 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 2601.18223#3RJV (statement). In ZRXE7EJA93/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Bailey–Borwein–Plouffe formula Z3JQMPDJB1
| URI | m2://inv/Z3JQMPDJB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q803807, Bailey–Borwein–Plouffe formula (unknown). Also MathWorld BBPFormula
- wikipedia: Wikipedia Bailey–Borwein–Plouffe formula, Bailey–Borwein–Plouffe formula (statement). Also Wikidata Q803807
History
- 2026-10-26: add by m2/dev
Meander Z3K0SG2A4Y
| URI | m2://inv/Z3K0SG2A4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meander (mathematics), Meander (definition). Also Wikidata Q724511
History
- 2026-11-02: add by m2/dev
ACORN Z3K2A5FX8H
| URI | m2://inv/Z3K2A5FX8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#QREG, ACORN (definition)
History
- 2026-11-02: add by m2/dev
Z3K9Q8S3C9 Z3K9Q8S3C9
| URI | m2://inv/Z3K9Q8S3C9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.01411#3TS8 (statement). In SD28S3K7BT/e1, proposition 39
History
- 2026-10-29: add by m2/v0.4.12
Z3KA7Y8B06 Z3KA7Y8B06
| URI | m2://inv/Z3KA7Y8B06 |
|---|---|
| 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#Z47A (statement). In BDN507RN7J/e1, lemma 3.6.7
History
- 2026-10-30: add by m2/v0.4.12
Z3KFMKCVA5 Z3KFMKCVA5
| URI | m2://inv/Z3KFMKCVA5 |
|---|---|
| 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#KWWD (statement). In 2VHV0RNTNV/e1, lemma 7.7
History
- 2026-10-29: add by m2/v0.4.12
Definition Z3KM0ZC1H8
| URI | m2://inv/Z3KM0ZC1H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radius of convergence#RC91, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition Z3KTSWE6BP
| URI | m2://inv/Z3KTSWE6BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpretation (model theory)#EEKJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Z3KZJD9J8J Z3KZJD9J8J
| URI | m2://inv/Z3KZJD9J8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#HC8E (statement). In GB0V23Q6C5/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
Computation Z3M33S7MVT
| URI | m2://inv/Z3M33S7MVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-linear least squares#OXUC, Computation (definition)
History
- 2026-11-02: add by m2/dev
response variable Z3M9A8C12K
| URI | m2://inv/Z3M9A8C12K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#NLTP, response variable (definition)
History
- 2026-11-02: add by m2/dev
Z3MGM2Z8EQ Z3MGM2Z8EQ
| URI | m2://inv/Z3MGM2Z8EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#1FOY (statement). In XYCBKM4WKY/e1, lemma 47
History
- 2026-10-27: add by m2/v0.3.5
Z3MKW4EFA6 Z3MKW4EFA6
| URI | m2://inv/Z3MKW4EFA6 |
|---|---|
| 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 2610.05314#L9BA (statement). In PA3B6C0WY7/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Z3MPVR45Z4 Z3MPVR45Z4
| URI | m2://inv/Z3MPVR45Z4 |
|---|---|
| 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.05696#ZI74 (statement). In MG81A9XJTQ/e1, corollary IV.1
History
- 2026-10-29: add by m2/v0.4.10
Construction Z3MRG8X60K
| URI | m2://inv/Z3MRG8X60K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local twistor#IR60, Construction (definition)
History
- 2026-11-02: add by m2/dev
Compact-tail approximation Z3MX61VWV1
| URI | m2://inv/Z3MX61VWV1 |
|---|---|
| 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.20215#UEO9, Compact-tail approximation (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pascal line Z3N4MQJH3K
| URI | m2://inv/Z3N4MQJH3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2390131, Pascal line (unknown). Also MathWorld PascalLines
History
- 2026-10-26: add by m2/dev
George Barker Jeffery Z3N5A03ZT0
| URI | m2://inv/Z3N5A03ZT0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#K6P4, George Barker Jeffery (unknown)
History
- 2026-11-02: add by m2/dev
Z3NBKDZJ4V Z3NBKDZJ4V
| URI | m2://inv/Z3NBKDZJ4V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38396#2UIL (definition). In FGNNVKQR1Z/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Arithmetic function Z3NC0JNHQA
| URI | m2://inv/Z3NC0JNHQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#GG9A, Arithmetic function (definition)
History
- 2026-11-02: add by m2/dev
Z3ND60ZMEB Z3ND60ZMEB
| URI | m2://inv/Z3ND60ZMEB |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#OAB7 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Z3NE7DXFF2 Z3NE7DXFF2
| URI | m2://inv/Z3NE7DXFF2 |
|---|---|
| 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.13556#G1MB (statement). In 5ZB8N3YY72/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Z3NGDK79GY Z3NGDK79GY
| URI | m2://inv/Z3NGDK79GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-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 2609.35543#HMYQ (statement). In WSG1ZW956E/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
Definition Z3NKWMCEEH
| URI | m2://inv/Z3NKWMCEEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power cone#D11T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Z3NPW7XYBE Z3NPW7XYBE
| URI | m2://inv/Z3NPW7XYBE |
|---|---|
| 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.27646#6ACO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Artin--Hasse coefficient recurrence Z3NXKTA13T
| URI | m2://inv/Z3NXKTA13T |
|---|---|
| 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#8F07, Artin--Hasse coefficient recurrence (statement). In 8BNPFYQDQX/e1, lemma 10.1
History
- 2026-10-29: add by m2/v0.4.10
Z3P2ZJMCBK Z3P2ZJMCBK
| URI | m2://inv/Z3P2ZJMCBK |
|---|---|
| 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.28143#EJ4G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rectangle method Z3P312G46S
| URI | m2://inv/Z3P312G46S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Numerical integration > Rectangle method, Rectangle method (unknown)
History
- 2026-10-26: add by m2/dev
Z3PB1K5HMD Z3PB1K5HMD
| URI | m2://inv/Z3PB1K5HMD |
|---|---|
| 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 2610.10902#PXG5 (example). In 96T1K6C3NZ/e1, example 1
History
- 2026-10-28: add by m2/v0.4.3
Noncommutative geometry Z3PBGS8FHA
| URI | m2://inv/Z3PBGS8FHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0ZKJ, Noncommutative geometry (definition)
History
- 2026-11-02: add by m2/dev
Jump process Z3PGR6NX3W
| URI | m2://inv/Z3PGR6NX3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N6HG, Jump process (definition)
History
- 2026-11-02: add by m2/dev
Example Z3PRFTHGHB
| URI | m2://inv/Z3PRFTHGHB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix calculus#L21K, Example (example)
History
- 2026-11-02: add by m2/dev
Z3Q4QH91R7 Z3Q4QH91R7
| URI | m2://inv/Z3Q4QH91R7 |
|---|---|
| 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 2609.31274#8KMT (definition). In RK0ZMDJ23T/e1, definition 1.3.10
History
- 2026-10-31: add by m2/v0.5.6
Z3QMDFGNJQ Z3QMDFGNJQ
| URI | m2://inv/Z3QMDFGNJQ |
|---|---|
| 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.20094#AM0A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Static induction for the balanced candidate Z3QRCQYMYT
| URI | m2://inv/Z3QRCQYMYT |
|---|---|
| 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.24931#MHAO, Static induction for the balanced candidate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z3QS2HTQZP Z3QS2HTQZP
| URI | m2://inv/Z3QS2HTQZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.36022#ZLNN (statement). In ENH5XNBQWH/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Theorem Z3QZKFAQ0F
| URI | m2://inv/Z3QZKFAQ0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marchenko–Pastur distribution#S3L6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Example Z3QZMX3A5G
| URI | m2://inv/Z3QZMX3A5G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pell's equation#6GWN, Example (example)
History
- 2026-11-02: add by m2/dev
Z3RHSTCSV7 Z3RHSTCSV7
| URI | m2://inv/Z3RHSTCSV7 |
|---|---|
| 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.15352#UAU2 (statement). In R39P7AFXM8/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Marc Stevens Z3RNKSKXER
| URI | m2://inv/Z3RNKSKXER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marc Stevens (cryptology), Marc Stevens (topic). Also Wikidata Q28421940
History
- 2026-11-02: add by m2/dev
Modified Domination Sombor Index Z3RTGQKBED
| URI | m2://inv/Z3RTGQKBED |
|---|---|
| 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 2610.10221#1K7Z, Modified Domination Sombor Index (definition). In 9Z5M655EPV/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Z3RTTYBK4F Z3RTTYBK4F
| URI | m2://inv/Z3RTTYBK4F |
|---|---|
| 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 dg-ga/9612010#XFWL (statement). In CM39SWC4A6/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
Z3RX3RN9Y1 Z3RX3RN9Y1
| URI | m2://inv/Z3RX3RN9Y1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#HU7K (definition). In M8F4PDHH3S/e1, definition A.9
History
- 2026-10-27: add by m2/v0.3.5
Main Theorem Z3RXW7KX36
| URI | m2://inv/Z3RXW7KX36 |
|---|---|
| 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 2509.22289#XVJZ, Main Theorem (statement). In BF5Y4V84GV/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
Z3S17K008S Z3S17K008S
| URI | m2://inv/Z3S17K008S |
|---|---|
| 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.16203#VWF9 (statement). In 43TBS9P2PX/e1, fact 4.1
History
- 2026-10-28: add by m2/v0.4.2
H-index Z3S1NZ84H9
| URI | m2://inv/Z3S1NZ84H9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-index, H-index (definition). Also Wikidata Q310663
History
- 2026-11-02: add by m2/dev
Z3S8554CW7 Z3S8554CW7
| URI | m2://inv/Z3S8554CW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#XTPK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z3S9Q32R0M Z3S9Q32R0M
| URI | m2://inv/Z3S9Q32R0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#XH5F (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z3SBE7Q30B Z3SBE7Q30B
| URI | m2://inv/Z3SBE7Q30B |
|---|---|
| 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.24795#VLJ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Victor Guillemin Z3SNBRNN40
| URI | m2://inv/Z3SNBRNN40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZPMC, Victor Guillemin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0QP0, Victor Guillemin (topic)
History
- 2026-11-02: add by m2/dev
Jet manifold Z3T0HC91AK
| URI | m2://inv/Z3T0HC91AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jet bundle#89WL, Jet manifold (unknown)
History
- 2026-11-02: add by m2/dev
Patrick Dorey Z3T8T79FE8
| URI | m2://inv/Z3T8T79FE8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick Dorey, Patrick Dorey (topic). Also Wikidata Q83883708
History
- 2026-11-02: add by m2/dev
Z3TC95F85P Z3TC95F85P
| URI | m2://inv/Z3TC95F85P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#7TB4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Estimates for the potential Z3TFPFF6V3
| URI | m2://inv/Z3TFPFF6V3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10790#HFMV, Estimates for the potential (statement). In HHQ6P3RRB8/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.3
Encryption Z3TP6WFZDM
| URI | m2://inv/Z3TP6WFZDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encryption, Encryption (definition). Also Wikidata Q141090
History
- 2026-11-02: add by m2/dev
Examples Z3TQVGSGMZ
| URI | m2://inv/Z3TQVGSGMZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley–Reisner ring#PM0C, Examples (example)
History
- 2026-11-02: add by m2/dev
Maria Cibrario Z3TWK7RKEZ
| URI | m2://inv/Z3TWK7RKEZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Cibrario, Maria Cibrario (topic). Also Wikidata Q3847194
History
- 2026-11-02: add by m2/dev
Z3TXK8JS7H Z3TXK8JS7H
| URI | m2://inv/Z3TXK8JS7H |
|---|---|
| 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.03238#833T (statement). In 5PG581A1GK/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Mathematical Alphanumeric Symbols Z3VBNWGCBJ
| URI | m2://inv/Z3VBNWGCBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Alphanumeric Symbols, Mathematical Alphanumeric Symbols (definition). Also Wikidata Q1421761
History
- 2026-11-02: add by m2/dev
Difference in differences Z3VC5V5HX0
| URI | m2://inv/Z3VC5V5HX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference in differences, Difference in differences (definition). Also Wikidata Q5275276
History
- 2026-11-02: add by m2/dev
Regularity Z3VJYD26AD
| URI | m2://inv/Z3VJYD26AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#9HVY, Regularity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kac–Moody algebra Z3VKDVHKM0
| URI | m2://inv/Z3VKDVHKM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#9F38, Kac–Moody algebra (definition)
History
- 2026-11-02: add by m2/dev
794 (number) Z3VM3BTZWN
| URI | m2://inv/Z3VM3BTZWN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#JRZR, 794 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Z3VTJJ7JR5 Z3VTJJ7JR5
| URI | m2://inv/Z3VTJJ7JR5 |
|---|---|
| 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.04323#JJIR (statement). In 3Z0D2NCJ0B/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.12
Z3VTPKGPS3 Z3VTPKGPS3
| URI | m2://inv/Z3VTPKGPS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop-1 (statement). In E59CDZA4DP, prop, section 8.1.2
History
- 2026-11-01: add by m2/v0.6.13
Z3VW851XV0 Z3VW851XV0
| URI | m2://inv/Z3VW851XV0 |
|---|---|
| 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.13670#NVXU (statement). In 4PGTZ19B26/e1, corollary 6.8
History
- 2026-10-28: add by m2/v0.4.2
Z3W14SPD41 Z3W14SPD41
| URI | m2://inv/Z3W14SPD41 |
|---|---|
| Kind | example |
| 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#ZAGJ (example). In RPC7VG3KHQ/e1, example 4.7
History
- 2026-10-30: add by m2/v0.4.12
Z3W710TR9X Z3W710TR9X
| URI | m2://inv/Z3W710TR9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18922#CSHJ (statement). In 6FKDYENQ8M/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Z3WAV7R8WB Z3WAV7R8WB
| URI | m2://inv/Z3WAV7R8WB |
|---|---|
| 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.28403#3TTR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ecological systems theory Z3WCHMSM7D
| URI | m2://inv/Z3WCHMSM7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#80EW, Ecological systems theory (unknown)
History
- 2026-11-02: add by m2/dev
Pham Huu Tiep Z3WDAYEKCZ
| URI | m2://inv/Z3WDAYEKCZ |
|---|---|
| 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#ZJH0, Pham Huu Tiep (topic)
History
- 2026-11-02: add by m2/dev
Algorithms Z3WH0X9YF9
| URI | m2://inv/Z3WH0X9YF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge cover#XAYB, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Induction principle Z3WHJJFF3A
| URI | m2://inv/Z3WHJJFF3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive type#HBBI, Induction principle (statement)
History
- 2026-11-02: add by m2/dev
Examples Z3WHXEWHTC
| URI | m2://inv/Z3WHXEWHTC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated integral#XHTV, Examples (example)
History
- 2026-11-02: add by m2/dev
Lemma 2 Z3WMVJM978
| URI | m2://inv/Z3WMVJM978 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert projection theorem#GIQ2, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
Null hypothesis significance testing (NHST) Z3WN7KZADC
| URI | m2://inv/Z3WN7KZADC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical hypothesis test#33NO, Null hypothesis significance testing (NHST) (statement)
History
- 2026-11-02: add by m2/dev
Z3WQKXV7QX Z3WQKXV7QX
| URI | m2://inv/Z3WQKXV7QX |
|---|---|
| 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.16505#CV43 (statement). In P9V43TXCJ3/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Reduction to a perturbation of the moment curve Z3WSSQ2E1E
| URI | m2://inv/Z3WSSQ2E1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#CBGB, Reduction to a perturbation of the moment curve (statement). In 3Y76AQQGF0/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Examples Z3X2SCDFZT
| URI | m2://inv/Z3X2SCDFZT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cusp (singularity)#VICH, Examples (example)
History
- 2026-11-02: add by m2/dev
Tirukkannapuram Vijayaraghavan Z3X9XD1G8G
| URI | m2://inv/Z3X9XD1G8G |
|---|---|
| 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#TFW9, Tirukkannapuram Vijayaraghavan (topic)
History
- 2026-11-02: add by m2/dev
Z3XAGPDPAY Z3XAGPDPAY
| URI | m2://inv/Z3XAGPDPAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25457#GX58 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Control Barrier Function Z3XD1934AD
| URI | m2://inv/Z3XD1934AD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28364#PPF0, Control Barrier Function (definition)
History
- 2026-11-01: add by m2/v0.6.15
hydrogen line Z3XKPT9AST
| URI | m2://inv/Z3XKPT9AST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1406191, hydrogen line (unknown). Also nLab hydrogen line
History
- 2026-10-26: add by m2/dev
Z3YTYX963F Z3YTYX963F
| URI | m2://inv/Z3YTYX963F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#GD5H (statement). In X765ZXXVC3/e1, corollary 4.18
History
- 2026-10-29: add by m2/v0.4.12
Single-PID Correcting Codes Z3YYTM2ZB1
| URI | m2://inv/Z3YYTM2ZB1 |
|---|---|
| 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#AY7U, Single-PID Correcting Codes (statement). In D7NDCWSDJE/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Z3YZM0KN0X Z3YZM0KN0X
| URI | m2://inv/Z3YZM0KN0X |
|---|---|
| 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.20528#SW78 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z3Z0EXMDP3 Z3Z0EXMDP3
| URI | m2://inv/Z3Z0EXMDP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#QAUJ (statement). In 5E9G06XJKC/e1, lemma G.31
History
- 2026-10-28: add by m2/v0.4.2
Z3ZA2SKWFQ Z3ZA2SKWFQ
| URI | m2://inv/Z3ZA2SKWFQ |
|---|---|
| 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#83YA (statement). In 7XV6T4N79V/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Hilbert matrix Z3ZEREEXPC
| URI | m2://inv/Z3ZEREEXPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#8IYH, Hilbert matrix (definition)
History
- 2026-11-02: add by m2/dev
Z3ZF905WDY Z3ZF905WDY
| URI | m2://inv/Z3ZF905WDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#MUOP (statement)
History
- 2026-11-01: add by m2/v0.6.15
ray Z3ZMTGNDQZ
| URI | m2://inv/Z3ZMTGNDQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#L6Q4, ray (definition)
History
- 2026-11-02: add by m2/dev
Z3ZNN1Z86B Z3ZNN1Z86B
| URI | m2://inv/Z3ZNN1Z86B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33770#0XNH (statement). In 7DJ3C4V66R/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Z3ZS7QV9F3 Z3ZS7QV9F3
| URI | m2://inv/Z3ZS7QV9F3 |
|---|---|
| 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.30600#Y389 (statement). In BKGWH9ZN4J/e1, lemma 5.3
History
- 2026-10-31: add by m2/v0.5.6