Inventory rows NA
The cards of the rows of the inventory whose ids start with NA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ineffable cardinal NA00CA4ZQK
| URI | m2://inv/NA00CA4ZQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#8ZV2, Ineffable cardinal (definition)
History
- 2026-11-02: add by m2/dev
BPZ equations NA00WXQKAZ
| URI | m2://inv/NA00WXQKAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-dimensional conformal field theory#X5OI, BPZ equations (unknown)
History
- 2026-11-02: add by m2/dev
Properties NA01TET8AP
| URI | m2://inv/NA01TET8AP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie superalgebra#OAWU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Uses NA04Q4K7NV
| URI | m2://inv/NA04Q4K7NV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular expression#7VVC, Uses (example)
History
- 2026-11-02: add by m2/dev
Legendre symbol NA068S06S3
| URI | m2://inv/NA068S06S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#IO58, Legendre symbol (definition)
History
- 2026-11-02: add by m2/dev
Michael Shub NA09AKDVNV
| URI | m2://inv/NA09AKDVNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SV2V, Michael Shub (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SDC4, Michael Shub (unknown)
History
- 2026-11-02: add by m2/dev
NA09H48K4G NA09H48K4G
| URI | m2://inv/NA09H48K4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03336#M7EX (statement). In 4ZD20W8BVF/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Convex and Concave NA0H4WASK2
| URI | m2://inv/NA0H4WASK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#2612, Convex and Concave (unknown)
History
- 2026-11-02: add by m2/dev
NA0M53YS76 NA0M53YS76
| URI | m2://inv/NA0M53YS76 |
|---|---|
| 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 2606.05329#ZKLL (statement). In DZV8X6MNCH/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.0
Range of the conditional inverse NA0MB0HWPN
| URI | m2://inv/NA0MB0HWPN |
|---|---|
| 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.14920#0C0W, Range of the conditional inverse (statement). In 1F8ENX770M/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Two--scale Blunck--Kunstmann extrapolation NA0QC6BJVQ
| URI | m2://inv/NA0QC6BJVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#2P1N, Two--scale Blunck--Kunstmann extrapolation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dedekind number NA0ZCPDF5B
| URI | m2://inv/NA0ZCPDF5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#X23G, Dedekind number (definition)
History
- 2026-11-02: add by m2/dev
Honest postselection regret certificate NA11S16FB3
| URI | m2://inv/NA11S16FB3 |
|---|---|
| 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.19207#DC86, Honest postselection regret certificate (statement). In BH3R0BA3PC/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
NA1307ZTQQ NA1307ZTQQ
| URI | m2://inv/NA1307ZTQQ |
|---|---|
| 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 2605.24355#07YX (statement). In VV3AJMWWCR/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.6
NA171VFN66 NA171VFN66
| URI | m2://inv/NA171VFN66 |
|---|---|
| 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.13103#7OZR (statement). In GG2ZZV6KEQ/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Abelian integral NA17CWAYJQ
| URI | m2://inv/NA17CWAYJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#MSJ1, Abelian integral (definition)
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#NDMQ, Abelian integral (definition)
History
- 2026-11-02: add by m2/dev
Soundness and completeness of $ {\bf FDE^{\bf S5}_{\circ\bullet}} $ NA17TER02A
| URI | m2://inv/NA17TER02A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#DGJ6, Soundness and completeness of $ {\bf FDE^{\bf S5}_{\circ\bullet}} $ (statement). In FR51ART4NF/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
NA1SDB03EC NA1SDB03EC
| URI | m2://inv/NA1SDB03EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#JLZI (statement)
History
- 2026-11-01: add by m2/v0.6.15
NA1SVHHQQZ NA1SVHHQQZ
| URI | m2://inv/NA1SVHHQQZ |
|---|---|
| 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.17411#SDMV (statement). In 73QW05MWQB/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
NA1WT4408W NA1WT4408W
| URI | m2://inv/NA1WT4408W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-4.xml#activity-2 (exercise). In 649HGZKE96, activity, section 1.4.3
History
- 2026-11-01: add by m2/v0.6.13
NA20BXE4N9 NA20BXE4N9
| URI | m2://inv/NA20BXE4N9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09084#7M1O (statement). In F5VT2K2QYX/e1, fact 21
History
- 2026-10-29: add by m2/v0.4.10
classical limit NA23KRYQN6
| URI | m2://inv/NA23KRYQN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3090317, classical limit (unknown). Also nLab classical limit
History
- 2026-10-26: add by m2/dev
NA2AR2TV7C NA2AR2TV7C
| URI | m2://inv/NA2AR2TV7C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.12009#1VIG (example). In DNAN4SV8AM/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
NA2JSCHQFY NA2JSCHQFY
| URI | m2://inv/NA2JSCHQFY |
|---|---|
| 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.07092#BO9H (statement). In JWNYJVH8XG/e1, theorem 3.25
History
- 2026-10-29: add by m2/v0.4.10
NA2QXBBB8S NA2QXBBB8S
| URI | m2://inv/NA2QXBBB8S |
|---|---|
| Kind | definition |
| 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.37844#7IV6 (definition). In AD7PHG0N4B/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Intrinsically universal cellular automata NA34SRZMY6
| URI | m2://inv/NA34SRZMY6 |
|---|---|
| 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 math/0003117#6424, Intrinsically universal cellular automata (statement). In WD2NCBV9F0/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
NA3APZXF5V NA3APZXF5V
| URI | m2://inv/NA3APZXF5V |
|---|---|
| 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 1008.2055#M0RN (statement). In 76JR4WFT4B/e1, corollary 2.10
History
- 2026-10-27: add by m2/v0.3.5
NA3FM8FNFM NA3FM8FNFM
| URI | m2://inv/NA3FM8FNFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#UXGD (statement). In 7QXAZXGNPQ/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
NA3HF7FRKJ NA3HF7FRKJ
| URI | m2://inv/NA3HF7FRKJ |
|---|---|
| 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 2609.20556#1P6A (statement)
History
- 2026-11-02: add by m2/v0.6.18
NA3MXR0MEE NA3MXR0MEE
| URI | m2://inv/NA3MXR0MEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#4TAY (statement). In D16PSAVVWV/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
NA3P12261Z NA3P12261Z
| URI | m2://inv/NA3P12261Z |
|---|---|
| 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.02570#0KYA (statement). In 6JK30RQ1SX/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Example NA3QS2NSP8
| URI | m2://inv/NA3QS2NSP8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ELSV formula#ULCF, Example (example)
History
- 2026-11-02: add by m2/dev
NA3SMHTAMA NA3SMHTAMA
| URI | m2://inv/NA3SMHTAMA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11783#EA4N (definition). In X2YDBWNCBT/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
NA3Z60W86D NA3Z60W86D
| URI | m2://inv/NA3Z60W86D |
|---|---|
| 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.17571#ETOR (statement). In SWFN2HCEE7/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Michael Atiyah NA484K5JNS
| URI | m2://inv/NA484K5JNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#BRM0, Michael Atiyah (topic)
History
- 2026-11-02: add by m2/dev
quantifier, existential NA4C4HBBKP
| URI | m2://inv/NA4C4HBBKP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/quantifier-existential, quantifier, existential (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
NA4HC3GP8G NA4HC3GP8G
| URI | m2://inv/NA4HC3GP8G |
|---|---|
| Kind | definition |
| 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 2101.07846#GVE0 (definition). In 9XTXH6H1N7/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
NA4JEQBDV4 NA4JEQBDV4
| URI | m2://inv/NA4JEQBDV4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:prop-inhabcontr (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Definition NA4JWVZ5S6
| URI | m2://inv/NA4JWVZ5S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A-group#W6Q6, Definition (definition)
History
- 2026-11-02: add by m2/dev
NA4S41Y1Y6 NA4S41Y1Y6
| URI | m2://inv/NA4S41Y1Y6 |
|---|---|
| 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.14204#2UI9 (statement). In GZAY1Y12YD/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Duflo isomorphism NA4SSABTNJ
| URI | m2://inv/NA4SSABTNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5312412, Duflo isomorphism (unknown). Also nLab Duflo isomorphism
- wikipedia: Wikipedia Duflo isomorphism, Duflo isomorphism (definition). Also Wikidata Q5312412
History
- 2026-10-26: add by m2/dev
NA56AJCYRE NA56AJCYRE
| URI | m2://inv/NA56AJCYRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#YIV3 (statement). In V8MYP6MBAZ/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
monstrous moonshine NA596Z4R8X
| URI | m2://inv/NA596Z4R8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Monstrous moonshine E0Y7Y75T6C |
Mentions
- wikidata: Wikidata Q392440, monstrous moonshine (conjecture). Also MathWorld MonstrousMoonshine
- wikipedia: Wikipedia Monstrous moonshine, Monstrous moonshine (definition). Also Wikidata Q392440
History
- 2026-10-26: add by m2/dev
Samarqandi, Ashraf NA59K001HD
| URI | m2://inv/NA59K001HD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#6E5P, Samarqandi, Ashraf (unknown)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness for the inner problem NA5HRZMTX2
| URI | m2://inv/NA5HRZMTX2 |
|---|---|
| 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.34474#KTOF, Existence and uniqueness for the inner problem (statement). In R8417G6ABM/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
NA5KHE6C05 NA5KHE6C05
| URI | m2://inv/NA5KHE6C05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#TBOW (statement). In 3CGS9GSKTQ/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.12
NA5RV3AHXF NA5RV3AHXF
| URI | m2://inv/NA5RV3AHXF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/cardsasords.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
NA5XFB1964 NA5XFB1964
| URI | m2://inv/NA5XFB1964 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#2W2T (statement). In WJD9YPGGYH/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.3.5
Formulation NA5XY06495
| URI | m2://inv/NA5XY06495 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's right triangle theorem#CFK6, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Graphical lasso NA5Y3VV74W
| URI | m2://inv/NA5Y3VV74W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical lasso, Graphical lasso (definition). Also Wikidata Q25303891
History
- 2026-11-02: add by m2/dev
Formal definition NA5ZAGYG57
| URI | m2://inv/NA5ZAGYG57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect map#QP70, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
NA63TC15YQ NA63TC15YQ
| URI | m2://inv/NA63TC15YQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/size-of-structures.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
NA6E8DH7FC NA6E8DH7FC
| URI | m2://inv/NA6E8DH7FC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12324#RULH (definition). In CJDCSSCF1V/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
NA6G2DTXVN NA6G2DTXVN
| URI | m2://inv/NA6G2DTXVN |
|---|---|
| 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 2206.05392#LFP9 (example). In 58D1ZC82DW/e1, example 31
History
- 2026-10-27: add by m2/v0.3.5
NA6S4ET18A NA6S4ET18A
| URI | m2://inv/NA6S4ET18A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.01615#ZQD3 (statement). In CJYRXT18TD/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
Dunford--Pettis NA6VSZ9K8X
| URI | m2://inv/NA6VSZ9K8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#VQX7, Dunford--Pettis (statement)
History
- 2026-11-01: add by m2/v0.6.15
Automatic item generation NA71057R0H
| URI | m2://inv/NA71057R0H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic item generation, Automatic item generation (topic). Also Wikidata Q58624531
History
- 2026-11-02: add by m2/dev
Jerzy Łoś NA72PYPFVX
| URI | m2://inv/NA72PYPFVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#N3G7, Jerzy Łoś (topic)
History
- 2026-11-02: add by m2/dev
NA772T25M6 NA772T25M6
| URI | m2://inv/NA772T25M6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#IJC4 (definition). In RTE2C0PH4S/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Vi Hart NA79X3Q24X
| URI | m2://inv/NA79X3Q24X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FQVQ, Vi Hart (topic)
History
- 2026-11-02: add by m2/dev
Uses NA7AC1EEBT
| URI | m2://inv/NA7AC1EEBT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime ideal#QUQM, Uses (example)
History
- 2026-11-02: add by m2/dev
NA7G1PA996 NA7G1PA996
| URI | m2://inv/NA7G1PA996 |
|---|---|
| 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.09515#F4EA (statement). In N51RDVGNXG/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Finsler–Hadwiger theorem NA7M6NAT7C
| URI | m2://inv/NA7M6NAT7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Z4A4, Finsler–Hadwiger theorem (statement)
History
- 2026-11-02: add by m2/dev
Periodic correction NA7MRXN6NZ
| URI | m2://inv/NA7MRXN6NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26576#OLB0, Periodic correction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael Wood NA7SYR4WDH
| URI | m2://inv/NA7SYR4WDH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Wood (cryptographer), Michael Wood (topic). Also Wikidata Q16990255
History
- 2026-11-02: add by m2/dev
NA7WQZ507V NA7WQZ507V
| URI | m2://inv/NA7WQZ507V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#8XCM (statement). In 1463YCCRP5/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.4.0
NA82B7EC4C NA82B7EC4C
| URI | m2://inv/NA82B7EC4C |
|---|---|
| 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.39293#C7IW (statement). In S26QVW5613/e1, proposition 2.3.5
History
- 2026-10-30: add by m2/v0.4.12
multiplicative digital root NA888M1WHE
| URI | m2://inv/NA888M1WHE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13583157, multiplicative digital root (concept). Also MathWorld MultiplicativeDigitalRoot
- wikipedia: Wikipedia Multiplicative digital root, Multiplicative digital root (definition). Also Wikidata Q13583157
History
- 2026-10-26: add by m2/dev
NA8KWYGJPH NA8KWYGJPH
| URI | m2://inv/NA8KWYGJPH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#proof-2 (proof). In RZP28ERRZV, proof, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
NA8S8JWVZD NA8S8JWVZD
| URI | m2://inv/NA8S8JWVZD |
|---|---|
| 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.23595#G85P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definitions NA8TWPAVH0
| URI | m2://inv/NA8TWPAVH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group representation#HR24, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Example NA92QZ3J0H
| URI | m2://inv/NA92QZ3J0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Political argument#9QOE, Example (example)
History
- 2026-11-02: add by m2/dev
NA963GCNWQ NA963GCNWQ
| URI | m2://inv/NA963GCNWQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#prop:nat-is-set (statement). In N54F33XE07, thm, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Definitions NA9D0GDFBX
| URI | m2://inv/NA9D0GDFBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul cohomology#MJH0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
NA9RB23QPZ NA9RB23QPZ
| URI | m2://inv/NA9RB23QPZ |
|---|---|
| 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#UWVN (statement). In WE001PR75Z/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
Properties NA9XZYX8E0
| URI | m2://inv/NA9XZYX8E0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable Yang–Mills–Higgs pair#CGRE, Properties (statement)
History
- 2026-11-02: add by m2/dev
NAA2F6XF07 NAA2F6XF07
| URI | m2://inv/NAA2F6XF07 |
|---|---|
| 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.36113#A8YP (statement). In FSGSVD0XYH/e1, proposition 13
History
- 2026-10-30: add by m2/v0.4.12
NAA89VTY0F NAA89VTY0F
| URI | m2://inv/NAA89VTY0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.34081#CVQJ (statement). In 3RVGEKGX46/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
NAAT3S3BVP NAAT3S3BVP
| URI | m2://inv/NAAT3S3BVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#1KVF (statement). In WRE0P7V6Z3/e1, theorem 1.31
History
- 2026-10-30: add by m2/v0.4.12
NAAXVRFA3X NAAXVRFA3X
| URI | m2://inv/NAAXVRFA3X |
|---|---|
| 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.01796#MUL8 (statement). In JC3PAB5DRC/e1, theorem 20
History
- 2026-10-29: add by m2/v0.4.12
Seven Hickory Township, Coles County, Illinois NAAY31EW7C
| URI | m2://inv/NAAY31EW7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FFFZ, Seven Hickory Township, Coles County, Illinois (unknown)
History
- 2026-11-02: add by m2/dev
Exact spider formula NAAYGWX65H
| URI | m2://inv/NAAYGWX65H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#7LPE, Exact spider formula (statement). In BAWCMJQGVA/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
NAB0KR7HXW NAB0KR7HXW
| URI | m2://inv/NAB0KR7HXW |
|---|---|
| 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.40274#3D44 (statement). In 7ZDNJC9MST/e1, corollary 7.3
History
- 2026-10-30: add by m2/v0.4.12
NABEEPWJFC NABEEPWJFC
| URI | m2://inv/NABEEPWJFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#example-1 (example). In Y91XFCEVHQ, example, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Donald Marquardt NABK4EH15Y
| URI | m2://inv/NABK4EH15Y |
|---|---|
| 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#ZRVF, Donald Marquardt (topic)
History
- 2026-11-02: add by m2/dev
Direct regularized optimality of the learned readout NABWKWV6B3
| URI | m2://inv/NABWKWV6B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04638#MRMR, Direct regularized optimality of the learned readout (statement). In 3YM5F3YHD5/e1, lemma F.6
History
- 2026-10-29: add by m2/v0.4.12
NACA92EX8C NACA92EX8C
| URI | m2://inv/NACA92EX8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27795#MN0U (statement)
History
- 2026-11-01: add by m2/v0.6.15
NACD01B1J9 NACD01B1J9
| URI | m2://inv/NACD01B1J9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#KICT (definition). In EZZSZ1F071/e1, definition 4.18
History
- 2026-10-27: add by m2/v0.4.0
Two-radius randomized limit NACE8AE245
| URI | m2://inv/NACE8AE245 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#7GF3, Two-radius randomized limit (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hale Trotter NACG2WNKPR
| URI | m2://inv/NACG2WNKPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JRRH, Hale Trotter (unknown)
History
- 2026-11-02: add by m2/dev
Douglas NACNV4C88K
| URI | m2://inv/NACNV4C88K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#EDUJ, Douglas (unknown)
History
- 2026-11-02: add by m2/dev
NACVTM9XE4 NACVTM9XE4
| URI | m2://inv/NACVTM9XE4 |
|---|---|
| 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.03449#5DZF (statement). In 3XM05SYQ8D/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
petabyte NAD3REGQV0
| URI | m2://inv/NAD3REGQV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79744, petabyte (unknown). Also MathWorld Petabyte
History
- 2026-10-26: add by m2/dev
\bf Resolvent expansions at hyperbolic thresholds NAD65FH3RV
| URI | m2://inv/NAD65FH3RV |
|---|---|
| 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.19845#XM4X, \bf Resolvent expansions at hyperbolic thresholds (statement). In A8Y7B1MD91/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
NADMNRYKCJ NADMNRYKCJ
| URI | m2://inv/NADMNRYKCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#HZ88 (statement)
History
- 2026-11-02: add by m2/v0.6.18
$k$-substring edit NADP12P711
| URI | m2://inv/NADP12P711 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#7ZNY, $k$-substring edit (definition). In MG81A9XJTQ/e1, definition II.1
History
- 2026-10-29: add by m2/v0.4.10
Pentachoric symmetry NADRQQW6FP
| URI | m2://inv/NADRQQW6FP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point groups in four dimensions#HAH2, Pentachoric symmetry (unknown)
History
- 2026-11-02: add by m2/dev
Example NADS3ZGWFR
| URI | m2://inv/NADS3ZGWFR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener–Hopf method#PJZH, Example (example)
History
- 2026-11-02: add by m2/dev
NADTWZ3D9T NADTWZ3D9T
| URI | m2://inv/NADTWZ3D9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 14J60 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114716219 (topic)
History
- 2026-10-26: add by m2/dev
Trajectory regularity along the PMD iterates NADVVYH3PE
| URI | m2://inv/NADVVYH3PE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39837#O97X, Trajectory regularity along the PMD iterates (statement). In MDQXTBEK0F/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Examples NAE2545CBK
| URI | m2://inv/NAE2545CBK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic conjugate#8S9C, Examples (example)
History
- 2026-11-02: add by m2/dev
Black hole thermodynamics NAE25JH731
| URI | m2://inv/NAE25JH731 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole thermodynamics, Black hole thermodynamics (definition). Also Wikidata Q911284
History
- 2026-11-02: add by m2/dev
Theorem 2 NAE53ZKEJB
| URI | m2://inv/NAE53ZKEJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz–Zippel lemma#G9EF, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
heptagonal pyramid NAEC2J9FPZ
| URI | m2://inv/NAEC2J9FPZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18384347, heptagonal pyramid (object). Also MathWorld HeptagonalPyramid
History
- 2026-10-26: add by m2/dev
Trafalgar Group NAEE6DR4S0
| URI | m2://inv/NAEE6DR4S0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#F9MC, Trafalgar Group (unknown)
History
- 2026-11-02: add by m2/dev
NAEGE83YHM NAEGE83YHM
| URI | m2://inv/NAEGE83YHM |
|---|---|
| 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.23528#U2FZ (definition)
History
- 2026-11-02: add by m2/v0.6.17
Positional game NAENC5MHBD
| URI | m2://inv/NAENC5MHBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positional game, Positional game (definition). Also Wikidata Q7233199
History
- 2026-11-02: add by m2/dev
NAEY6ZEHPC NAEY6ZEHPC
| URI | m2://inv/NAEY6ZEHPC |
|---|---|
| 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.21501#3919 (statement). In 1H64QT301C/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Shelah cardinal NAF0Y27ZHY
| URI | m2://inv/NAF0Y27ZHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#M9BA, Shelah cardinal (definition)
History
- 2026-11-02: add by m2/dev
A random, time- and space-dependent coefficient NAF2DG4295
| URI | m2://inv/NAF2DG4295 |
|---|---|
| Kind | example |
| 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.28937#D5LG, A random, time- and space-dependent coefficient (example)
History
- 2026-11-01: add by m2/v0.6.15
NAF5ACX01B NAF5ACX01B
| URI | m2://inv/NAF5ACX01B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15313#A2D7 (definition). In KWKY1CWG1Z/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
De Morgan's laws NAFAVTZNJS
| URI | m2://inv/NAFAVTZNJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#0I3M, De Morgan's laws (statement)
History
- 2026-11-02: add by m2/dev
multivariate NAFJSVNKJA
| URI | m2://inv/NAFJSVNKJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q106530468, multivariate (unknown). Also MathWorld Multivariate
History
- 2026-10-26: add by m2/dev
NAFMJKTT4A NAFMJKTT4A
| URI | m2://inv/NAFMJKTT4A |
|---|---|
| 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 2207.07461#HUFZ (statement). In GAG532VMPF/e1, lemma 4.2.5
History
- 2026-10-27: add by m2/v0.3.5
Alternating-direction implicit method NAG1E916X1
| URI | m2://inv/NAG1E916X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating-direction implicit method, Alternating-direction implicit method (definition). Also Wikidata Q4736413
History
- 2026-11-02: add by m2/dev
Beppo-Levi space NAG7DEDFEP
| URI | m2://inv/NAG7DEDFEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beppo-Levi space, Beppo-Levi space (definition). Also Wikidata Q4890921
History
- 2026-11-02: add by m2/dev
NAGEH4SDKE NAGEH4SDKE
| URI | m2://inv/NAGEH4SDKE |
|---|---|
| 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.30817#9O2K (example). In DP5KJ7AATM/e1, example
History
- 2026-10-31: add by m2/v0.5.6
Astrostatistics NAGGBGVBR1
| URI | m2://inv/NAGGBGVBR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#VSUS, Astrostatistics (topic)
History
- 2026-11-02: add by m2/dev
NAGKSA5QQA NAGKSA5QQA
| URI | m2://inv/NAGKSA5QQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#FAFB (statement)
History
- 2026-11-01: add by m2/v0.6.15
exponential decay NAGN2T6R75
| URI | m2://inv/NAGN2T6R75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q574576, exponential decay (unknown). Also MathWorld ExponentialDecay
- wikipedia: Wikipedia Exponential decay, Exponential decay (definition). Also Wikidata Q574576
History
- 2026-10-26: add by m2/dev
AH NAGQDSR4M2
| URI | m2://inv/NAGQDSR4M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#JH1M, AH (definition)
History
- 2026-11-02: add by m2/dev
NAH2CFN0BY NAH2CFN0BY
| URI | m2://inv/NAH2CFN0BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Heine--Borel theorem NAH4FW8TJV
| URI | m2://inv/NAH4FW8TJV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.4.2/heine-borel-theorem, Heine--Borel theorem (concept). In E59CDZA4DP, index, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
NAH7MBEH5P NAH7MBEH5P
| URI | m2://inv/NAH7MBEH5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#HO1S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dekker's method NAHFGQDVN1
| URI | m2://inv/NAHFGQDVN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brent's method#8QOP, Dekker's method (unknown)
History
- 2026-11-02: add by m2/dev
NAHHJQ015G NAHHJQ015G
| URI | m2://inv/NAHHJQ015G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:inhabprop-eqvunit (statement). In N54F33XE07, lem, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
main operator NAHRABJ56V
| URI | m2://inv/NAHRABJ56V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UJZY, main operator (definition)
History
- 2026-11-02: add by m2/dev
clove hitch NAHT38A7VE
| URI | m2://inv/NAHT38A7VE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1121375, clove hitch (unknown). Also MathWorld CloveHitch
History
- 2026-10-26: add by m2/dev
Positive margin growth and a trajectory-level coordinate bound NAJ4PWN1QY
| URI | m2://inv/NAJ4PWN1QY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#0N1Y, Positive margin growth and a trajectory-level coordinate bound (statement). In TTEAQA1XXR/e1, proposition E.6
History
- 2026-10-28: add by m2/v0.4.3
NAJ4TSGW3H NAJ4TSGW3H
| URI | m2://inv/NAJ4TSGW3H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-204 (exercise). In VNMV985MXX, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
NAJZZ3SBXC NAJZZ3SBXC
| URI | m2://inv/NAJZZ3SBXC |
|---|---|
| Kind | example |
| 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 2604.11825#6BMF (example). In 6H76S52BG7/e1, example 1
History
- 2026-10-27: add by m2/v0.4.0
NAK0JYGDQ4 NAK0JYGDQ4
| URI | m2://inv/NAK0JYGDQ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#82SL (definition). In 7V2PVZS04C/e1, definition 2.16
History
- 2026-10-31: add by m2/v0.5.6
NAK2QMEN54 NAK2QMEN54
| URI | m2://inv/NAK2QMEN54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37920#Q9GK (statement). In GZPF8R6BBF/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
NAK9HE1Z33 NAK9HE1Z33
| URI | m2://inv/NAK9HE1Z33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.05179#834X (statement). In 9EMCPF1F2T/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.10
Yuanjia Wang NAKAG9KE2Q
| URI | m2://inv/NAKAG9KE2Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#7EQR, Yuanjia Wang (unknown)
History
- 2026-11-02: add by m2/dev
NAKFFH7P6P NAKFFH7P6P
| URI | m2://inv/NAKFFH7P6P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#CSE7 (example). In A798V7TX99/e1, example 5.1
History
- 2026-10-28: add by m2/v0.4.2
NAKGGKFBR6 NAKGGKFBR6
| URI | m2://inv/NAKGGKFBR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#LEA4 (statement). In SMTJDX0Q6R/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
Alison Miller NAKHYZKTHK
| URI | m2://inv/NAKHYZKTHK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alison Miller, Alison Miller (topic). Also Wikidata Q4727144
History
- 2026-11-02: add by m2/dev
Boolean circuit NAKJ57CDFY
| URI | m2://inv/NAKJ57CDFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean circuit, Boolean circuit (definition). Also Wikidata Q837479
History
- 2026-11-02: add by m2/dev
Properties NAKMYEFHWX
| URI | m2://inv/NAKMYEFHWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered ring#1AG1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Acyclicity implies no directed cycles NAKVZVMRYH
| URI | m2://inv/NAKVZVMRYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#YBYN, Acyclicity implies no directed cycles (statement). In BAEDMM7YM5/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.12
Rowbottom NAKYZ3FSFF
| URI | m2://inv/NAKYZ3FSFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#4D4R, Rowbottom (definition)
History
- 2026-11-02: add by m2/dev
Definition NAM6XRHZJ2
| URI | m2://inv/NAM6XRHZJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pochhammer k-symbol#QDAS, Definition (definition)
History
- 2026-11-02: add by m2/dev
NAMEJSN5PS NAMEJSN5PS
| URI | m2://inv/NAMEJSN5PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#4CJE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mazur, 1977 NAMJ47T97N
| URI | m2://inv/NAMJ47T97N |
|---|---|
| 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.27049#9C7P, Mazur, 1977 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NAMJYX3TKF NAMJYX3TKF
| URI | m2://inv/NAMJYX3TKF |
|---|---|
| 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.30961#LGW8 (statement). In FFG2DDWEVB/e1, corollary 5.7
History
- 2026-10-31: add by m2/v0.5.6
Auguste Kerckhoffs NAMRN05CH6
| URI | m2://inv/NAMRN05CH6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auguste Kerckhoffs, Auguste Kerckhoffs (topic). Also Wikidata Q737013
History
- 2026-11-02: add by m2/dev
NAMS82MDTC NAMS82MDTC
| URI | m2://inv/NAMS82MDTC |
|---|---|
| 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.27078#OM8A (statement)
History
- 2026-11-01: add by m2/v0.6.15
NAMV9Z6B8F NAMV9Z6B8F
| URI | m2://inv/NAMV9Z6B8F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#IZOU (definition)
History
- 2026-11-02: add by m2/v0.6.18
Plancherel theorem for SL(2, C) NAN0AZBR6K
| URI | m2://inv/NAN0AZBR6K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of the Lorentz group#0FOK, Plancherel theorem for SL(2, C) (statement)
History
- 2026-11-02: add by m2/dev
ray NAN13JKT6T
| URI | m2://inv/NAN13JKT6T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1147832, ray (unknown). Also MathWorld Ray
History
- 2026-10-26: add by m2/dev
NAN7GQG2AA NAN7GQG2AA
| URI | m2://inv/NAN7GQG2AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.05986#A4WS (statement). In N5ZM8MXJXH/e1, fact 2.5
History
- 2026-10-29: add by m2/v0.4.10
Challenging NAN7XH6VG5
| URI | m2://inv/NAN7XH6VG5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:msclbounnotcompt, Challenging (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Hellmann–Feynman theorem NAN8BG4Y0C
| URI | m2://inv/NAN8BG4Y0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GL3S, Hellmann–Feynman theorem (statement)
History
- 2026-11-02: add by m2/dev
Kolmogorov automorphism NANCVY2BEM
| URI | m2://inv/NANCVY2BEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov automorphism, Kolmogorov automorphism (definition). Also Wikidata Q6427427
History
- 2026-11-02: add by m2/dev
Generalized moment problems NANF3EA041
| URI | m2://inv/NANF3EA041 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 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 2606.21391#RJRQ, Generalized moment problems (definition). In J9C7YMKJ33/e1, definition 4.16
History
- 2026-10-27: add by m2/v0.3.5
NANF9SAG2Y NANF9SAG2Y
| URI | m2://inv/NANF9SAG2Y |
|---|---|
| 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.25843#BFIT (statement)
History
- 2026-11-01: add by m2/v0.6.15
NANJH6BWR2 NANJH6BWR2
| URI | m2://inv/NANJH6BWR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33926#BUNU (statement). In 1XF3T5HXNV/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Model (in logic) NANNP5NVR2
| URI | m2://inv/NANNP5NVR2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure (mathematical logic)#54GC, Model (in logic) (unknown)
History
- 2026-11-02: add by m2/dev
Driebruggen NANQZ395M7
| URI | m2://inv/NANQZ395M7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WLO9, Driebruggen (unknown)
History
- 2026-11-02: add by m2/dev
Methods NANRR8AB1E
| URI | m2://inv/NANRR8AB1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stevens's power law#V97D, Methods (definition)
History
- 2026-11-02: add by m2/dev
NANT41BY9Q NANT41BY9Q
| URI | m2://inv/NANT41BY9Q |
|---|---|
| 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.18270#Y0Y0 (statement). In CPDMYJ0NJV/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
NAP60AJYFD NAP60AJYFD
| URI | m2://inv/NAP60AJYFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#S47O (statement). In CM2YEK9T4F/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
Definition NAP7ET4D52
| URI | m2://inv/NAP7ET4D52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blaschke sum#TPB4, Definition (definition)
History
- 2026-11-02: add by m2/dev
NAPA8NE8XG NAPA8NE8XG
| URI | m2://inv/NAPA8NE8XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#LHW0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition NAPCTHCYHK
| URI | m2://inv/NAPCTHCYHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced subgraph#NFTK, Definition (definition)
History
- 2026-11-02: add by m2/dev
content NAPK953VDS
| URI | m2://inv/NAPK953VDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130417051, content (definition). Also MathWorld Content, ProofWiki Definition:Content_of_Polynomial/Integer
History
- 2026-10-26: add by m2/dev
NAPQNVQQGT NAPQNVQQGT
| URI | m2://inv/NAPQNVQQGT |
|---|---|
| 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.36313#V5FZ (statement). In Z5SP3NW41S/e1, fact 2.6
History
- 2026-10-30: add by m2/v0.4.12
NAPXYZYH2K NAPXYZYH2K
| URI | m2://inv/NAPXYZYH2K |
|---|---|
| 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.21649#JQCV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ramanujan–Petersson conjecture for automorphic forms NAQ0DYS7PX
| URI | m2://inv/NAQ0DYS7PX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan–Petersson conjecture#0DWG, Ramanujan–Petersson conjecture for automorphic forms (statement)
History
- 2026-11-02: add by m2/dev
Gerard Murphy NAQ4Q2CCAF
| URI | m2://inv/NAQ4Q2CCAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerard Murphy (mathematician), Gerard Murphy (topic). Also Wikidata Q5550106
History
- 2026-11-02: add by m2/dev
NAQ7JDY06T NAQ7JDY06T
| URI | m2://inv/NAQ7JDY06T |
|---|---|
| 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.21472#SJXL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Horizontal quotient NAQBKMEH5Z
| URI | m2://inv/NAQBKMEH5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#51NI, Horizontal quotient (statement)
History
- 2026-11-02: add by m2/v0.6.18
logic of weak excluded middle NAQDKJMENM
| URI | m2://inv/NAQDKJMENM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#R19E, logic of weak excluded middle (definition)
History
- 2026-11-02: add by m2/dev
Price leadership NAQJF92B68
| URI | m2://inv/NAQJF92B68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tacit collusion#2FZ0, Price leadership (unknown)
History
- 2026-11-02: add by m2/dev
NAQV3S238B NAQV3S238B
| URI | m2://inv/NAQV3S238B |
|---|---|
| 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.39700#OUSJ (statement). In E7W2HDNEKJ/e1, theorem 5.29
History
- 2026-10-30: add by m2/v0.4.12
NAQWBVQRYB NAQWBVQRYB
| URI | m2://inv/NAQWBVQRYB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3SUM#TO18 (problem)
History
- 2026-11-02: add by m2/dev
Missing Not At Random Data with Shadow Variables NAR08Q4G5H
| URI | m2://inv/NAR08Q4G5H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.17181#9GZR, Missing Not At Random Data with Shadow Variables (example). In 2QR18WK8KH/e1, example 3
History
- 2026-10-27: add by m2/v0.3.6
Computer graphics lighting NAR661NV5Q
| URI | m2://inv/NAR661NV5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ZGAL, Computer graphics lighting (unknown)
History
- 2026-11-02: add by m2/dev
NARC2T6R44 NARC2T6R44
| URI | m2://inv/NARC2T6R44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:ntype-nloop (statement). In N54F33XE07, thm, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Definition NARDKJGB5Y
| URI | m2://inv/NARDKJGB5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berezinian#2ANS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Shriek map NARSQM80EJ
| URI | m2://inv/NARSQM80EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shriek map, Shriek map (definition). Also Wikidata Q7503941
History
- 2026-11-02: add by m2/dev
Central q-binomial identity NARVYJJMGP
| URI | m2://inv/NARVYJJMGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian binomial coefficient#ZJUF, Central q-binomial identity (statement)
History
- 2026-11-02: add by m2/dev
Equivalent $H^s$ norm NARXPRX5C0
| URI | m2://inv/NARXPRX5C0 |
|---|---|
| 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#CZMR, Equivalent $H^s$ norm (statement). In GJ7N2EWACX/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
NARY03KYER NARY03KYER
| URI | m2://inv/NARY03KYER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#EBM5 (statement). In APK7X4MFAX/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
NARY3SNT5E NARY3SNT5E
| URI | m2://inv/NARY3SNT5E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#example-5 (example). In RZP28ERRZV, example, section 98.5
History
- 2026-11-01: add by m2/v0.6.13
Definition NARZ5JD5TB
| URI | m2://inv/NARZ5JD5TB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized conic#C3SR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Filters, random fields, and maximum entropy model NAS4PJH818
| URI | m2://inv/NAS4PJH818 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filters, random fields, and maximum entropy model, Filters, random fields, and maximum entropy model (definition). Also Wikidata Q98079235
History
- 2026-11-02: add by m2/dev
Converse: Löb's theorem implies the existence of modal fixed points NAS4ZJ26FV
| URI | m2://inv/NAS4ZJ26FV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Löb's theorem#C2ML, Converse: Löb's theorem implies the existence of modal fixed points (statement)
History
- 2026-11-02: add by m2/dev
NAS9F30F3S NAS9F30F3S
| URI | m2://inv/NAS9F30F3S |
|---|---|
| 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.40054#IPVN (statement). In CA4C9PFM1E/e1, theorem 2.5.2
History
- 2026-10-30: add by m2/v0.4.12
NAS9GEJ6VY NAS9GEJ6VY
| URI | m2://inv/NAS9GEJ6VY |
|---|---|
| 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.02628#DHRU (statement). In G4S9C5M1A4/e1, proposition 5.11
History
- 2026-10-29: add by m2/v0.4.12
Further examples NASH1GEY6F
| URI | m2://inv/NASH1GEY6F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical field theory#EU99, Further examples (example)
History
- 2026-11-02: add by m2/dev
Planck constant NASJ6WZ19C
| URI | m2://inv/NASJ6WZ19C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#3SJW, Planck constant (unknown)
History
- 2026-11-02: add by m2/dev
NASP7TQDPH NASP7TQDPH
| URI | m2://inv/NASP7TQDPH |
|---|---|
| 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#7FBQ (statement). In 4PGTZ19B26/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Algorithm NASZ5QJB16
| URI | m2://inv/NASZ5QJB16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zassenhaus algorithm#ACKK, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
NAT1P2JDGK NAT1P2JDGK
| URI | m2://inv/NAT1P2JDGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30310#24P7 (statement). In 31XSBAFMEQ/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
NAT2DGQDQZ NAT2DGQDQZ
| URI | m2://inv/NAT2DGQDQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#DNXT (statement). In V7SN19J84T/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
NAT3AF7J72 NAT3AF7J72
| URI | m2://inv/NAT3AF7J72 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#6FKQ (example). In GQQZNRYK15/e1, example 3.12
History
- 2026-10-31: add by m2/v0.5.6
NATCXPQJQ9 NATCXPQJQ9
| URI | m2://inv/NATCXPQJQ9 |
|---|---|
| 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.07890#LL01 (statement). In 6F3GSDT2V1/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
NATD15PGDB NATD15PGDB
| URI | m2://inv/NATD15PGDB |
|---|---|
| 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.16554#XZ2Z (statement). In GWNT8HEZG1/e1, corollary 4.27
History
- 2026-10-27: add by m2/v0.3.6
AoPS NATFXQWE38
| URI | m2://inv/NATFXQWE38 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Rusczyk#RZSH, AoPS (unknown)
History
- 2026-11-02: add by m2/dev
NATG079C4S NATG079C4S
| URI | m2://inv/NATG079C4S |
|---|---|
| Kind | definition |
| 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.09809#IP4G (definition). In 7NKQ6PR78N/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Properties NATG1FYV5K
| URI | m2://inv/NATG1FYV5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform absolute-convergence#NDB5, Properties (statement)
History
- 2026-11-02: add by m2/dev
BDG inequality NATKZAK7N1
| URI | m2://inv/NATKZAK7N1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic variation#5H2E, BDG inequality (unknown)
History
- 2026-11-02: add by m2/dev
René Descartes NAV269BTZE
| URI | m2://inv/NAV269BTZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#ODFL, René Descartes (topic)
History
- 2026-11-02: add by m2/dev
Gain from shorter resolution time NAV498ASXE
| URI | m2://inv/NAV498ASXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03629#RNSO, Gain from shorter resolution time (statement). In T6W0HCPXFN/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Uniform theory of diffraction NAV4FJW0XC
| URI | m2://inv/NAV4FJW0XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform theory of diffraction, Uniform theory of diffraction (definition). Also Wikidata Q7885118
History
- 2026-11-02: add by m2/dev
NAVD45CWZ7 NAVD45CWZ7
| URI | m2://inv/NAVD45CWZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#PH7M (statement). In NBMA6DBKJG/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Acquaintance hypothesis NAVF0TKCPB
| URI | m2://inv/NAVF0TKCPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knowledge argument#0WAM, Acquaintance hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Modular interpolation NAVGEQ0B30
| URI | m2://inv/NAVGEQ0B30 |
|---|---|
| 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.27957#FSNA, Modular interpolation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Veselin Jungić NAVS5EKHPY
| URI | m2://inv/NAVS5EKHPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veselin Jungić, Veselin Jungić (topic). Also Wikidata Q102281992
History
- 2026-11-02: add by m2/dev
NAVVH7BNDA NAVVH7BNDA
| URI | m2://inv/NAVVH7BNDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.17669#X3Z0 (statement). In RAWXJ72WWA/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
Example NAVVY1NEPN
| URI | m2://inv/NAVVY1NEPN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polysyllogism#WX6R, Example (example)
History
- 2026-11-02: add by m2/dev
curve length NAVXVAC29A
| URI | m2://inv/NAVXVAC29A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > curve length, curve length (unknown)
History
- 2026-10-26: add by m2/dev
generation, of a type, inductive NAW4EA47XY
| URI | m2://inv/NAW4EA47XY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/generation-of-a-type-inductive, generation, of a type, inductive (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Three Rivers, Michigan NAW85F1F4R
| URI | m2://inv/NAW85F1F4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0XT1, Three Rivers, Michigan (unknown)
History
- 2026-11-02: add by m2/dev
NAW8Y0FXHF NAW8Y0FXHF
| URI | m2://inv/NAW8Y0FXHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#ZTUB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ore condition for multiplicative sets NAWBFD76VH
| URI | m2://inv/NAWBFD76VH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore condition#K929, Ore condition for multiplicative sets (unknown)
History
- 2026-11-02: add by m2/dev
Dynkin formula on a fixed window NAWDZ14T11
| URI | m2://inv/NAWDZ14T11 |
|---|---|
| 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.18739#9YZ2, Dynkin formula on a fixed window (statement). In VGJXQRC44C/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
NAWFE3M3YV NAWFE3M3YV
| URI | m2://inv/NAWFE3M3YV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#proof-3 (proof). In RZP28ERRZV, proof, section 91.7
History
- 2026-11-01: add by m2/v0.6.13
NAWFS4NJTT NAWFS4NJTT
| URI | m2://inv/NAWFS4NJTT |
|---|---|
| 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#25K4 (statement). In 4PGTZ19B26/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Aggregating a field NAWJ6XYA0G
| URI | m2://inv/NAWJ6XYA0G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#1JAP, Aggregating a field (definition). In WD2NCBV9F0/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.3.5
Gérard Iooss NAWMMR6EWA
| URI | m2://inv/NAWMMR6EWA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gérard Iooss, Gérard Iooss (topic). Also Wikidata Q15456106
History
- 2026-11-02: add by m2/dev
NAWQTEF7HG NAWQTEF7HG
| URI | m2://inv/NAWQTEF7HG |
|---|---|
| Kind | example |
| 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.31269#PV07 (example). In ZPT9XCCAPQ/e1, example 1.3.13
History
- 2026-10-31: add by m2/v0.5.6
Virtual manipulatives for mathematics NAWZ26BFMV
| URI | m2://inv/NAWZ26BFMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual manipulatives for mathematics, Virtual manipulatives for mathematics (definition). Also Wikidata Q7935137
History
- 2026-11-02: add by m2/dev
Banach's NAX632FSFD
| URI | m2://inv/NAX632FSFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3RJQ, Banach's (topic)
History
- 2026-11-02: add by m2/dev
Stimulus-response model NAX9RXVKZG
| URI | m2://inv/NAX9RXVKZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V4K2, Stimulus-response model (definition)
History
- 2026-11-02: add by m2/dev
NAXB0G87X3 NAXB0G87X3
| URI | m2://inv/NAXB0G87X3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#proof-2 (proof). In RZP28ERRZV, proof, section 32.4
History
- 2026-11-01: add by m2/v0.6.13
NAXEGHKSVS NAXEGHKSVS
| URI | m2://inv/NAXEGHKSVS |
|---|---|
| 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.17602#WW0H (statement). In BH62508WHJ/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Maria Antònia Canals NAXEWC9HEY
| URI | m2://inv/NAXEWC9HEY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Antònia Canals, Maria Antònia Canals (topic). Also Wikidata Q18222422
History
- 2026-11-02: add by m2/dev
NAXHRS80TG NAXHRS80TG
| URI | m2://inv/NAXHRS80TG |
|---|---|
| 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.13699#ENIX (statement). In ZSMAQ666K7/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
NAXNCXDX47 NAXNCXDX47
| URI | m2://inv/NAXNCXDX47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#4CFD (statement). In 4WPYBTARS2/e1, corollary 3.17
History
- 2026-10-29: add by m2/v0.4.12
Statement of theorem NAXXH3T5DS
| URI | m2://inv/NAXXH3T5DS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kingman's subadditive ergodic theorem#T95X, Statement of theorem (statement)
History
- 2026-11-02: add by m2/dev
Asymptotic geometry NAXYA0Y4X2
| URI | m2://inv/NAXYA0Y4X2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic geometry, Asymptotic geometry (topic). Also Wikidata Q135920258
History
- 2026-11-02: add by m2/dev
The formal group ring of a formal group law NAXZDMQCMZ
| URI | m2://inv/NAXZDMQCMZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal group law#Q0FA, The formal group ring of a formal group law (statement)
History
- 2026-11-02: add by m2/dev
matrix exponential NAY15JW90F
| URI | m2://inv/NAY15JW90F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Exponential > matrix exponential, matrix exponential (unknown). Also Mathlib NormedSpace.exp
History
- 2026-10-26: add by m2/dev
Barnette and Br\"uckner spheres NAYP5YED07
| URI | m2://inv/NAYP5YED07 |
|---|---|
| Kind | example |
| 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.19945#HWHW, Barnette and Br\"uckner spheres (example)
History
- 2026-11-02: add by m2/v0.6.18
NAYT9GR1D6 NAYT9GR1D6
| URI | m2://inv/NAYT9GR1D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#0N81 (statement). In NGZ5AZ70NN/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
matrix addition NAYXFHVVCR
| URI | m2://inv/NAYXFHVVCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Matrix addition 0BVXADM10P |
Mentions
- wikidata: Wikidata Q2264115, matrix addition (unknown). Also MathWorld MatrixAddition
- wikipedia: Wikipedia Matrix addition, Matrix addition (definition). Also Wikidata Q2264115
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Examples NAZ026K4PA
| URI | m2://inv/NAZ026K4PA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epidemic curve#Y3C3, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties NAZ4QVJB1C
| URI | m2://inv/NAZ4QVJB1C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tetrahedron#LNI9, Properties (statement)
History
- 2026-11-02: add by m2/dev
NAZ9TQE31P NAZ9TQE31P
| URI | m2://inv/NAZ9TQE31P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#69VX (statement)
History
- 2026-11-01: add by m2/v0.6.15
NAZPY4GG04 NAZPY4GG04
| URI | m2://inv/NAZPY4GG04 |
|---|---|
| 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.28898#JT6B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tatiana Lysenko NAZRNPVS5S
| URI | m2://inv/NAZRNPVS5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#K48B, Tatiana Lysenko (unknown)
History
- 2026-11-02: add by m2/dev
Speed of sound NAZYSBHH0W
| URI | m2://inv/NAZYSBHH0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Speed of sound, Speed of sound (definition). Also Wikidata Q124003
History
- 2026-11-02: add by m2/dev
NAZYVNYES4 NAZYVNYES4
| URI | m2://inv/NAZYVNYES4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2205.13464#VOFB (statement). In JPYGC2R3FC/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.6