Inventory rows JX
The cards of the rows of the inventory whose ids start with JX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Gyroscopic precession JX087E13Q6
| URI | m2://inv/JX087E13Q6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precession#UI5N, Gyroscopic precession (unknown)
History
- 2026-11-02: add by m2/dev
convergence of values JX08ECW449
| URI | m2://inv/JX08ECW449 |
|---|---|
| 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.00902#JXVE, convergence of values (statement). In 1BYMXTH5MW/e1, proposition 9.8
History
- 2026-10-29: add by m2/v0.4.12
Basic working principle JX0GK2PEJ5
| URI | m2://inv/JX0GK2PEJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional factorial design#4XQC, Basic working principle (statement)
History
- 2026-11-02: add by m2/dev
JX0JQM3AZT JX0JQM3AZT
| URI | m2://inv/JX0JQM3AZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19988#9KZT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Random forest JX0KM2HWW8
| URI | m2://inv/JX0KM2HWW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random forest, Random forest (definition). Also Wikidata Q245748
History
- 2026-11-02: add by m2/dev
postulate JX0Z3R3XW5
| URI | m2://inv/JX0Z3R3XW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1396667, postulate (unknown). Also MathWorld Postulate
History
- 2026-10-26: add by m2/dev
Orders in the relevance JX18QBJBPX
| URI | m2://inv/JX18QBJBPX |
|---|---|
| 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.14695#P8O4, Orders in the relevance (statement). In T15EJSPCNG/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Definition JX1B4ZYPCZ
| URI | m2://inv/JX1B4ZYPCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adelic algebraic group#LXFM, Definition (definition)
History
- 2026-11-02: add by m2/dev
induction principle, for Cauchy reals JX1B53VSMB
| URI | m2://inv/JX1B53VSMB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/induction-principle-for-cauchy-reals, induction principle, for Cauchy reals (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
JX1C2EAPCW JX1C2EAPCW
| URI | m2://inv/JX1C2EAPCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#TXH0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JX1YG4GXX0 JX1YG4GXX0
| URI | m2://inv/JX1YG4GXX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#TEHM (statement). In CC6S1HVK0T/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
JX27GW95QG JX27GW95QG
| URI | m2://inv/JX27GW95QG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#41UG (definition)
History
- 2026-11-02: add by m2/v0.6.18
Van Fraassen's reflection principle JX28E2051D
| URI | m2://inv/JX28E2051D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bas van Fraassen#LC56, Van Fraassen's reflection principle (unknown)
History
- 2026-11-02: add by m2/dev
Perturbation problem beyond all orders JX28ZH57VT
| URI | m2://inv/JX28ZH57VT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perturbation problem beyond all orders, Perturbation problem beyond all orders (problem). Also Wikidata Q7170953
History
- 2026-11-02: add by m2/dev
Visual effects JX2E9QSYGH
| URI | m2://inv/JX2E9QSYGH |
|---|---|
| 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#ZFNF, Visual effects (unknown)
History
- 2026-11-02: add by m2/dev
Coefficient theorems JX2F8R5T4Q
| URI | m2://inv/JX2F8R5T4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Fourier series#EDAE, Coefficient theorems (statement)
History
- 2026-11-02: add by m2/dev
reductive JX2GQTZMDM
| URI | m2://inv/JX2GQTZMDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#VV7S, reductive (definition)
History
- 2026-11-02: add by m2/dev
JX2H460T3V JX2H460T3V
| URI | m2://inv/JX2H460T3V |
|---|---|
| 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.32614#U0YQ (statement). In SG8GT73ZNH/e1, theorem 1.9
History
- 2026-10-31: add by m2/v0.5.6
JX2JXHB93Q JX2JXHB93Q
| URI | m2://inv/JX2JXHB93Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#7FAL (statement)
History
- 2026-11-02: add by m2/v0.6.17
JX2TN3WD8W JX2TN3WD8W
| URI | m2://inv/JX2TN3WD8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#OCW3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition and examples JX2W0WEQ63
| URI | m2://inv/JX2W0WEQ63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free abelian group#YNUX, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
JX2Z0GQ6XV JX2Z0GQ6XV
| URI | m2://inv/JX2Z0GQ6XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#KYRI (statement). In 8H0KHK7AMN/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
The SRG moment line JX3383N30M
| URI | m2://inv/JX3383N30M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#I71L, The SRG moment line (statement). In CJRBKR4JKT/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
JX352F2M5Y JX352F2M5Y
| URI | m2://inv/JX352F2M5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#AP2L (statement). In X38P26DK6S/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Open mapping theorem JX3DENWM7Z
| URI | m2://inv/JX3DENWM7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AG6V, Open mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
Street cred JX3F8YX5ZW
| URI | m2://inv/JX3F8YX5ZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Credibility#CVQ2, Street cred (unknown)
History
- 2026-11-02: add by m2/dev
Representation JX3GNHB3N8
| URI | m2://inv/JX3GNHB3N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditarily finite set#2TKZ, Representation (definition)
History
- 2026-11-02: add by m2/dev
JX3VGYGQZ7 JX3VGYGQZ7
| URI | m2://inv/JX3VGYGQZ7 |
|---|---|
| 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.18847#LWVL (statement). In DZ12XTTJSM/e1, lemma 1.2
History
- 2026-10-28: add by m2/v0.4.2
Thomas William Körner JX3Y851A97
| URI | m2://inv/JX3Y851A97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TJ3F, Thomas William Körner (topic)
History
- 2026-11-02: add by m2/dev
Use JX404PS6MP
| URI | m2://inv/JX404PS6MP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strict#CTA1, Use (example)
History
- 2026-11-02: add by m2/dev
JX407A106G JX407A106G
| URI | m2://inv/JX407A106G |
|---|---|
| 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#RDA9 (statement). In 7ZDNJC9MST/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
David J. Wineland JX427PXMD7
| URI | m2://inv/JX427PXMD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JB89, David J. Wineland (unknown)
History
- 2026-11-02: add by m2/dev
catenary JX454J63MZ
| URI | m2://inv/JX454J63MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214561, catenary (unknown). Also MathWorld Catenary
- wikipedia: Wikipedia Catenary, Catenary (definition). Also Wikidata Q214561
History
- 2026-10-26: add by m2/dev
GD in river-valley loss landscape (improved version of Theorem 3.2 JX46J86V3P
| URI | m2://inv/JX46J86V3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30957#TGTN, GD in river-valley loss landscape (improved version of Theorem 3.2 (statement). In P5YB6R0RK3/e1, theorem E.1
History
- 2026-10-31: add by m2/v0.5.6
Stability Inequality with the Dirichlet Term JX46SP3889
| URI | m2://inv/JX46SP3889 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#4RN3, Stability Inequality with the Dirichlet Term (statement). In QJ1G1HBC6C/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
Epilogism JX46Y5P2AB
| URI | m2://inv/JX46Y5P2AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VXG1, Epilogism (definition)
History
- 2026-11-02: add by m2/dev
List of things named after Bernhard Riemann JX4878W1B8
| URI | m2://inv/JX4878W1B8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#B90K, List of things named after Bernhard Riemann (topic)
History
- 2026-11-02: add by m2/dev
JX4ATS5RT7 JX4ATS5RT7
| URI | m2://inv/JX4ATS5RT7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#L8X3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Folded pair submodularity JX4BXW59RG
| URI | m2://inv/JX4BXW59RG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#FCXB, Folded pair submodularity (statement). In 7MVPNFPRKB/e1, lemma 9.10
History
- 2026-10-30: add by m2/v0.4.12
JX4C7X6YBZ JX4C7X6YBZ
| URI | m2://inv/JX4C7X6YBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02215#4PWH (statement). In 1W01W0APQF/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
JX4EDD2X5P JX4EDD2X5P
| URI | m2://inv/JX4EDD2X5P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#D3IA (example). In XHSKEPT3VD/e1, example 3.10
History
- 2026-10-28: add by m2/v0.4.2
Inverse cotangent JX4FEKHVS7
| URI | m2://inv/JX4FEKHVS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#B8H8, Inverse cotangent (definition)
History
- 2026-11-02: add by m2/dev
Theorem 4 JX4FNAHT2H
| URI | m2://inv/JX4FNAHT2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near sets#TS82, Theorem 4 (statement)
History
- 2026-11-02: add by m2/dev
Top-coded JX4MEHSFP6
| URI | m2://inv/JX4MEHSFP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Top-coded, Top-coded (definition). Also Wikidata Q7824362
History
- 2026-11-02: add by m2/dev
JX4W8QXDM2 JX4W8QXDM2
| URI | m2://inv/JX4W8QXDM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#RWIY (statement). In RQA728RB77/e1, proposition 15
History
- 2026-10-27: add by m2/v0.4.2
Compact-observable limits of completely positive maps JX50K872Q6
| URI | m2://inv/JX50K872Q6 |
|---|---|
| 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.35986#27EK, Compact-observable limits of completely positive maps (statement). In PBX6AMPVT2/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
Norbert Schappacher JX5C865QEN
| URI | m2://inv/JX5C865QEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F4R7, Norbert Schappacher (topic)
History
- 2026-11-02: add by m2/dev
Quantitative structure–activity relationship JX5CNP3P51
| URI | m2://inv/JX5CNP3P51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative structure–activity relationship, Quantitative structure–activity relationship (definition). Also Wikidata Q766383
History
- 2026-11-02: add by m2/dev
WELMEC formula JX5FVSVFQ0
| URI | m2://inv/JX5FVSVFQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical gravity#X3CO, WELMEC formula (statement)
History
- 2026-11-02: add by m2/dev
Light's associativity test JX5HHVT39V
| URI | m2://inv/JX5HHVT39V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Light's associativity test, Light's associativity test (definition). Also Wikidata Q6545927
History
- 2026-11-02: add by m2/dev
Frölicher spectral sequence JX5NCD002P
| URI | m2://inv/JX5NCD002P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5506748, Frölicher spectral sequence (unknown). Also nLab Frölicher spectral sequence
History
- 2026-10-26: add by m2/dev
JX5RSRJXVR JX5RSRJXVR
| URI | m2://inv/JX5RSRJXVR |
|---|---|
| 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.25656#ZURC (example)
History
- 2026-11-01: add by m2/v0.6.15
JX5WAXAZQ5 JX5WAXAZQ5
| URI | m2://inv/JX5WAXAZQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#3OC7 (statement). In 2VHV0RNTNV/e1, lemma 7.10
History
- 2026-10-29: add by m2/v0.4.12
desconocidas JX5XN14B0R
| URI | m2://inv/JX5XN14B0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12340078, desconocidas (unknown). Also MathWorld Unknown
History
- 2026-10-26: add by m2/dev
JX60SGFZ1G JX60SGFZ1G
| URI | m2://inv/JX60SGFZ1G |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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.23106#VS5Z (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
Alistair H. Lachlan JX6C8CVS2P
| URI | m2://inv/JX6C8CVS2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BS5H, Alistair H. Lachlan (unknown)
History
- 2026-11-02: add by m2/dev
Charles Ernest Weatherburn JX6DKDMZSP
| URI | m2://inv/JX6DKDMZSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17627119, Charles Ernest Weatherburn (unknown). Also ProofWiki Mathematician:Charles_Ernest_Weatherburn
History
- 2026-10-26: add by m2/dev
Víctor Neumann-Lara JX6DPZ58J2
| URI | m2://inv/JX6DPZ58J2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OO8K, Víctor Neumann-Lara (unknown)
History
- 2026-11-02: add by m2/dev
JX6GRS3XJG JX6GRS3XJG
| URI | m2://inv/JX6GRS3XJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#RW6J (statement). In 5ZPSZFE08Q/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
JX6Q8S58E4 JX6Q8S58E4
| URI | m2://inv/JX6Q8S58E4 |
|---|---|
| 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.10873#9VZH (statement). In AYG8HYGW6V/e1, lemma G.9
History
- 2026-10-28: add by m2/v0.4.3
Grothendieck space JX75WJ5Q3S
| URI | m2://inv/JX75WJ5Q3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck space, Grothendieck space (definition). Also Wikidata Q5610733
History
- 2026-11-02: add by m2/dev
Arthur Hirsch JX78NH1240
| URI | m2://inv/JX78NH1240 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Hirsch, Arthur Hirsch (topic). Also Wikidata Q37733620
History
- 2026-11-02: add by m2/dev
Annulus JX7BFH7PR1
| URI | m2://inv/JX7BFH7PR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#VX31, Annulus (definition)
- wikipedia: Wikipedia List of mathematical shapes#LGKV, Annulus (definition)
History
- 2026-11-02: add by m2/dev
Collatz sequence JX7EG4E5T7
| URI | m2://inv/JX7EG4E5T7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65281105, Collatz sequence (concept). Also ProofWiki Definition:Collatz_Sequence
History
- 2026-10-26: add by m2/dev
Digital image processing JX7JWM06YE
| URI | m2://inv/JX7JWM06YE |
|---|---|
| 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#NKBL, Digital image processing (unknown)
History
- 2026-11-02: add by m2/dev
JX7MM77D49 JX7MM77D49
| URI | m2://inv/JX7MM77D49 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#example-6 (example). In RZP28ERRZV, example, section 51.6
History
- 2026-11-01: add by m2/v0.6.13
Fundamental --- \textsc{Sub-Trans JX7MTP8WH2
| URI | m2://inv/JX7MTP8WH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#LZ2S, Fundamental --- \textsc{Sub-Trans (statement). In CPYWHRTPKC/e1, lemma 6.71
History
- 2026-10-27: add by m2/v0.4.2
Nonlinear Schrödinger equation JX7NMXYQMR
| URI | m2://inv/JX7NMXYQMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear Schrödinger equation, Nonlinear Schrödinger equation (definition). Also Wikidata Q2579914
History
- 2026-11-02: add by m2/dev
JX7PBY5QXA JX7PBY5QXA
| URI | m2://inv/JX7PBY5QXA |
|---|---|
| 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.36334#KQ9J (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Rape in Tanzania JX7RK90HNC
| URI | m2://inv/JX7RK90HNC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#H1GI, Rape in Tanzania (unknown)
History
- 2026-11-02: add by m2/dev
Descent lemma in a norm pair JX7V87D3C9
| URI | m2://inv/JX7V87D3C9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13773#RNIG, Descent lemma in a norm pair (statement). In E75XQY0QFM/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
JX7Z3CSWGF JX7Z3CSWGF
| URI | m2://inv/JX7Z3CSWGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#SYKC (statement). In 2W5Z97BBW4/e1, proposition 2.22
History
- 2026-10-27: add by m2/v0.4.0
Two-budget OT--$\phi$ ambiguity set JX81SMXZ52
| URI | m2://inv/JX81SMXZ52 |
|---|---|
| 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.07162#3RS4, Two-budget OT--$\phi$ ambiguity set (definition). In MQEB9ZHQAT/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Zermelo's theorem JX86D3CPD3
| URI | m2://inv/JX86D3CPD3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo's theorem (game theory), Zermelo's theorem (statement). Also Wikidata Q2468326
History
- 2026-11-02: add by m2/dev
JX86MZ02JS JX86MZ02JS
| URI | m2://inv/JX86MZ02JS |
|---|---|
| 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.20391#XRQU (statement). In CTAS41TRM2/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.2
JX8A9P87XA JX8A9P87XA
| URI | m2://inv/JX8A9P87XA |
|---|---|
| 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 2609.29699#GKB5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JX8QRNC00S JX8QRNC00S
| URI | m2://inv/JX8QRNC00S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#QJP2 (statement). In HX63A1PH1W/e1, proposition 8.37
History
- 2026-10-28: add by m2/v0.4.3
Anuška Ferligoj JX8TT4PXFK
| URI | m2://inv/JX8TT4PXFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anuška Ferligoj, Anuška Ferligoj (topic). Also Wikidata Q4777963
History
- 2026-11-02: add by m2/dev
Diagnostic odds ratio JX8V4YXTPB
| URI | m2://inv/JX8V4YXTPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#0L77, Diagnostic odds ratio (definition)
- wikipedia: Wikipedia List of analyses of categorical data#Z9L8, Diagnostic odds ratio (definition)
- wikipedia: Wikipedia List of statistics articles#8DJU, Diagnostic odds ratio (definition)
History
- 2026-11-02: add by m2/dev
Gauss's lemma (polynomial) JX8VZ1ZSD1
| URI | m2://inv/JX8VZ1ZSD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#VZ7F, Gauss's lemma (polynomial) (statement)
History
- 2026-11-02: add by m2/dev
Line element JX8WE5PXVG
| URI | m2://inv/JX8WE5PXVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line element, Line element (definition). Also Wikidata Q3198879
History
- 2026-11-02: add by m2/dev
Mesocompact space JX8YEXD8ES
| URI | m2://inv/JX8YEXD8ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mesocompact space, Mesocompact space (definition). Also Wikidata Q6821442
History
- 2026-11-02: add by m2/dev
Statistical literacy JX9JJEETTW
| URI | m2://inv/JX9JJEETTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4C25, Statistical literacy (definition)
History
- 2026-11-02: add by m2/dev
Cryptographic primitive JXAAXE9BR9
| URI | m2://inv/JXAAXE9BR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic primitive, Cryptographic primitive (definition). Also Wikidata Q246593
History
- 2026-11-02: add by m2/dev
JXAH0CQYRF JXAH0CQYRF
| URI | m2://inv/JXAH0CQYRF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06253#FZEQ (problem). In DRVCY1VARV/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
Ahlswede–Daykin inequality JXAHT6JVRD
| URI | m2://inv/JXAHT6JVRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#0Q2X, Ahlswede–Daykin inequality (statement)
History
- 2026-11-02: add by m2/dev
JXAHVZ93FG JXAHVZ93FG
| URI | m2://inv/JXAHVZ93FG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#HNJO (statement). In 6B2PCEGCYZ/e1, theorem 3.4
History
- 2026-10-31: add by m2/v0.5.6
JXAJR1NRMT JXAJR1NRMT
| URI | m2://inv/JXAJR1NRMT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-11 (proof). In N54F33XE07, proof, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
Sequence-level TV bound from uniform per-step TV control JXANKGDDDX
| URI | m2://inv/JXANKGDDDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05712#47EC, Sequence-level TV bound from uniform per-step TV control (statement). In 44Q2H3DWNW/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Wei Dongyi JXB2EAEJ4A
| URI | m2://inv/JXB2EAEJ4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wei Dongyi, Wei Dongyi (topic). Also Wikidata Q103272883
History
- 2026-11-02: add by m2/dev
Artin–Tate lemma JXBBGWEVJ4
| URI | m2://inv/JXBBGWEVJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#XGI4, Artin–Tate lemma (statement)
History
- 2026-11-02: add by m2/dev
Heterodyne Tomography, Theorem 10 JXBFMHMDFB
| URI | m2://inv/JXBFMHMDFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#M3PQ, Heterodyne Tomography, Theorem 10 (statement). In 1NY2SA03XF/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
field extension JXBNNMQXJ3
| URI | m2://inv/JXBNNMQXJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Field extension 0EQWVHF3W5 |
Mentions
- wikidata: Wikidata Q577835, field extension (unknown). Also MathWorld ExtensionField, MathWorld FieldExtension, nLab field extension
- wikipedia: Wikipedia Field extension, Field extension (definition). Also Wikidata Q577835
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Richard Skemp JXC4VZNRPW
| URI | m2://inv/JXC4VZNRPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Skemp, Richard Skemp (topic). Also Wikidata Q102122795
History
- 2026-11-02: add by m2/dev
Cayley normal 2-complement theorem JXCAHYB1SH
| URI | m2://inv/JXCAHYB1SH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#51RU, Cayley normal 2-complement theorem (unknown)
History
- 2026-11-02: add by m2/dev
Weighted Sasaki spheres JXCEEBZQD1
| URI | m2://inv/JXCEEBZQD1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25880#B9C0, Weighted Sasaki spheres (example)
History
- 2026-11-01: add by m2/v0.6.15
Rank bound for unique hollowing forms JXCEHTCTVJ
| URI | m2://inv/JXCEHTCTVJ |
|---|---|
| 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.14509#VCJY, Rank bound for unique hollowing forms (statement). In N6GD8392QB/e1, proposition 11.3
History
- 2026-10-28: add by m2/v0.4.2
Initial finite jet JXCJ9XG77F
| URI | m2://inv/JXCJ9XG77F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#HGRO, Initial finite jet (statement). In 29X0B511NF/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
JXCJB23W8A JXCJB23W8A
| URI | m2://inv/JXCJB23W8A |
|---|---|
| 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 2610.00811#YPCB (definition). In G1SKAMET0T/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
JXCYQNX3KZ JXCYQNX3KZ
| URI | m2://inv/JXCYQNX3KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#8I3Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties JXCZ7B3PN7
| URI | m2://inv/JXCZ7B3PN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antihomomorphism#P7Y1, Properties (statement)
History
- 2026-11-02: add by m2/dev
William Kneale JXCZPTC9GY
| URI | m2://inv/JXCZPTC9GY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Kneale, William Kneale (topic). Also Wikidata Q994761
History
- 2026-11-02: add by m2/dev
Sierpiński's theorem on metric spaces JXD4X33S7N
| URI | m2://inv/JXD4X33S7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński's theorem on metric spaces, Sierpiński's theorem on metric spaces (statement). Also Wikidata Q128765326
History
- 2026-11-02: add by m2/dev
Balanced and near-balanced free energy JXD8GEXNFZ
| URI | m2://inv/JXD8GEXNFZ |
|---|---|
| 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.19356#QVAU, Balanced and near-balanced free energy (statement). In 2B5QA28NCX/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Compactness JXD9N7YGMK
| URI | m2://inv/JXD9N7YGMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#5ZIM, Compactness (statement). In X6E7P2ACAS/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
Abraham Robinson JXDA9T4CEY
| URI | m2://inv/JXDA9T4CEY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YB67, Abraham Robinson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G60V, Abraham Robinson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NXFB, Abraham Robinson (topic)
- wikipedia: Wikipedia List of German mathematicians#6CBV, Abraham Robinson (topic)
History
- 2026-11-02: add by m2/dev
JXDFW3YPZ7 JXDFW3YPZ7
| URI | m2://inv/JXDFW3YPZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#MOOZ (definition). In MVSGDTN2PB/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
JXDT20QTT8 JXDT20QTT8
| URI | m2://inv/JXDT20QTT8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20944#XO5S (example). In DRRKZR6CQC/e1, example 1
History
- 2026-10-27: add by m2/v0.4.2
Graphical models for protein structure JXE48KVYMX
| URI | m2://inv/JXE48KVYMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical models for protein structure, Graphical models for protein structure (definition). Also Wikidata Q5597170
History
- 2026-11-02: add by m2/dev
Taubes's Gromov invariant JXEPC0GXGN
| URI | m2://inv/JXEPC0GXGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taubes's Gromov invariant, Taubes's Gromov invariant (definition). Also Wikidata Q7688649
History
- 2026-11-02: add by m2/dev
European Survey on Crime and Safety JXEVQEQ1QB
| URI | m2://inv/JXEVQEQ1QB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Crime Victims Survey#6SM9, European Survey on Crime and Safety (unknown)
History
- 2026-11-02: add by m2/dev
Tandy Warnow JXEWFN8PQY
| URI | m2://inv/JXEWFN8PQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VDPI, Tandy Warnow (unknown)
History
- 2026-11-02: add by m2/dev
JXF6WYAPKJ JXF6WYAPKJ
| URI | m2://inv/JXF6WYAPKJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#J06X (example). In CY1FE8W1ZW/e1, example 0.119
History
- 2026-10-27: add by m2/v0.4.0
contrary JXF889G1D3
| URI | m2://inv/JXF889G1D3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WOE6, contrary (definition)
History
- 2026-11-02: add by m2/dev
Bulletin des Sciences Mathématiques et Astronomiques JXFC6STGH7
| URI | m2://inv/JXFC6STGH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108699006, Bulletin des Sciences Mathématiques et Astronomiques (unknown). Also ProofWiki Book:Journal/Bulletin_des_Sciences_Mathématiques_et_Astronomiques
History
- 2026-10-26: add by m2/dev
Blow-up sequence JXFGK8TGC4
| URI | m2://inv/JXFGK8TGC4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#O1JB, Blow-up sequence (definition). In X1AGBB90EH/e1, definition 7.10
History
- 2026-10-28: add by m2/v0.4.2
average value of a function JXFKFZVCBQ
| URI | m2://inv/JXFKFZVCBQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.3.4/average-value-of-a-function, average value of a function (concept). In 907G4C4EJ1, index, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
adiabatic process JXFSYD0YV8
| URI | m2://inv/JXFSYD0YV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 74S05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182453, adiabatic process (topic)
- wikipedia: Wikipedia Adiabatic process, Adiabatic process (definition). Also Wikidata Q182453
History
- 2026-10-26: add by m2/dev
Classical Electrodynamics JXFW8TH25B
| URI | m2://inv/JXFW8TH25B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical Electrodynamics (book), Classical Electrodynamics (definition). Also Wikidata Q1096106
History
- 2026-11-02: add by m2/dev
JXFZ2WE74P JXFZ2WE74P
| URI | m2://inv/JXFZ2WE74P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 0902.4012#6K5A (statement). In 6FH16YESRH/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Polygraphia JXG3K3ZPNG
| URI | m2://inv/JXG3K3ZPNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygraphia (book), Polygraphia (definition). Also Wikidata Q9061532
History
- 2026-11-02: add by m2/dev
JXG4F3B1E5 JXG4F3B1E5
| URI | m2://inv/JXG4F3B1E5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01276#08SG (statement). In 7JJPPMS2DN/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
Buchdahl's theorem JXG77KVC2E
| URI | m2://inv/JXG77KVC2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchdahl's theorem, Buchdahl's theorem (statement). Also Wikidata Q18415473
History
- 2026-11-02: add by m2/dev
JXGCGVJQQA JXGCGVJQQA
| URI | m2://inv/JXGCGVJQQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22280#KTJT (statement)
History
- 2026-11-02: add by m2/v0.6.17
JXGHEZ90NM JXGHEZ90NM
| URI | m2://inv/JXGHEZ90NM |
|---|---|
| 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#FI1P (statement). In N5ZM8MXJXH/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.10
Cramér's conjecture JXGHXVBFTW
| URI | m2://inv/JXGHXVBFTW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q515591, Cramér's conjecture (conjecture). Also MathWorld CramerConjecture
- wikipedia: Wikipedia Cramér's conjecture, Cramér's conjecture (conjecture). Also Wikidata Q515591
History
- 2026-10-26: add by m2/dev
JXGQJCJCH1 JXGQJCJCH1
| URI | m2://inv/JXGQJCJCH1 |
|---|---|
| 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.02579#3XYN (statement). In CBTJDYHH34/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.12
Local area network JXGRK1NRT5
| URI | m2://inv/JXGRK1NRT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#O55S, Local area network (unknown)
History
- 2026-11-02: add by m2/dev
identity JXGV6THB0E
| URI | m2://inv/JXGV6THB0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#K5E6, identity (definition)
History
- 2026-11-02: add by m2/dev
Stephen Wolfram JXGXDC4VDX
| URI | m2://inv/JXGXDC4VDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Wolfram, Stephen Wolfram (topic). Also Wikidata Q310798
History
- 2026-11-02: add by m2/dev
upper and lower topology JXGYMM0JYK
| URI | m2://inv/JXGYMM0JYK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120358757, upper and lower topology (concept). Also nLab semicontinuous topology
History
- 2026-10-26: add by m2/dev
Alternative definitions JXH3PSM8Y4
| URI | m2://inv/JXH3PSM8Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisimulation#193A, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
JXH9MTWXMG JXH9MTWXMG
| URI | m2://inv/JXH9MTWXMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16580#IREF (statement). In MQPBZX4DR6/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
JXHAXK7NV9 JXHAXK7NV9
| URI | m2://inv/JXHAXK7NV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#73ZN (statement). In 55WT8DME6Y/e1, lemma 1.2
History
- 2026-10-30: add by m2/v0.4.12
Fiveways, Brighton JXHD3VSVKR
| URI | m2://inv/JXHD3VSVKR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UVWN, Fiveways, Brighton (unknown)
History
- 2026-11-02: add by m2/dev
Variation distance JXHDD503CM
| URI | m2://inv/JXHDD503CM |
|---|---|
| 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#N0HV, Variation distance (definition). In WD2NCBV9F0/e1, definition 6.8
History
- 2026-10-27: add by m2/v0.3.5
small ditrigonal icosidodecahedron JXHGN0XNWQ
| URI | m2://inv/JXHGN0XNWQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q158652, small ditrigonal icosidodecahedron (unknown). Also MathWorld SmallDitrigonalIcosidodecahedron
- wikipedia: Wikipedia Small ditrigonal icosidodecahedron, Small ditrigonal icosidodecahedron (object). Also Wikidata Q158652
History
- 2026-10-26: add by m2/dev
JXHR3T5CST JXHR3T5CST
| URI | m2://inv/JXHR3T5CST |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-1 (proof). In E59CDZA4DP, proof, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Gradient decrease JXHY014HBD
| URI | m2://inv/JXHY014HBD |
|---|---|
| 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.06557#UMKV, Gradient decrease (statement). In VV5CH6Y31D/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Definition JXHZAKDK24
| URI | m2://inv/JXHZAKDK24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prevalence threshold#KP4M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement JXJ0M19E55
| URI | m2://inv/JXJ0M19E55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic subgroup theorem#0Y3Z, Statement (statement)
History
- 2026-11-02: add by m2/dev
Discounted cumulative gain JXJ3ST7CWP
| URI | m2://inv/JXJ3ST7CWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discounted cumulative gain, Discounted cumulative gain (definition). Also Wikidata Q5281742
History
- 2026-11-02: add by m2/dev
Glen Bredon JXJ5W3FS9F
| URI | m2://inv/JXJ5W3FS9F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15057197, Glen Bredon (unknown). Also nLab Glen Bredon
- wikipedia: Wikipedia Glen Bredon, Glen Bredon (topic). Also Wikidata Q15057197
History
- 2026-10-26: add by m2/dev
DC formulation with linear constraints JXJ76C9DT6
| URI | m2://inv/JXJ76C9DT6 |
|---|---|
| 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.16429#D1IX, DC formulation with linear constraints (statement). In AGT1KD3WZH/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
The formula JXJ7MDH7M9
| URI | m2://inv/JXJ7MDH7M9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kontsevich quantization formula#OEE7, The formula (statement)
History
- 2026-11-02: add by m2/dev
JXJAEZ3Q6B JXJAEZ3Q6B
| URI | m2://inv/JXJAEZ3Q6B |
|---|---|
| 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 1902.04230#5LWD (statement). In 22JZ68FGCW/e1, corollary 6.31
History
- 2026-10-27: add by m2/v0.3.5
The universal cubic JXJKXSXW6F
| URI | m2://inv/JXJKXSXW6F |
|---|---|
| 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.06480#4VYD, The universal cubic (statement). In 2Y47E704Z9/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
Paasche index JXJQZ312E0
| URI | m2://inv/JXJQZ312E0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3798209, Paasche index (unknown). Also MathWorld PaaschesIndex
History
- 2026-10-26: add by m2/dev
JXJW4FFG7A JXJW4FFG7A
| URI | m2://inv/JXJW4FFG7A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#lemma-2 (statement). In QKM9DD2H56, lemma, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
osculating curve JXJWYZYJM9
| URI | m2://inv/JXJWYZYJM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7106440, osculating curve (unknown). Also MathWorld OsculatingCurves
- wikipedia: Wikipedia Osculating curve, Osculating curve (definition). Also Wikidata Q7106440
History
- 2026-10-26: add by m2/dev
engineering JXK0YEDDMW
| URI | m2://inv/JXK0YEDDMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11023, engineering (definition). Also ProofWiki Definition:Engineering
History
- 2026-10-26: add by m2/dev
JXK2S65G4T JXK2S65G4T
| URI | m2://inv/JXK2S65G4T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#2UAM (example). In KBH265QSBT/e1, example 7.12
History
- 2026-10-29: add by m2/v0.4.10
JXK51XSZ1Z JXK51XSZ1Z
| URI | m2://inv/JXK51XSZ1Z |
|---|---|
| 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.21491#UQVH (statement)
History
- 2026-11-02: add by m2/v0.6.18
JXKGN33FPQ JXKGN33FPQ
| URI | m2://inv/JXKGN33FPQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Open mapping theorem JXKMWBGAJF
| URI | m2://inv/JXKMWBGAJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Open mapping theorem 03YEM7JEDN |
Mentions
- mathlib_1000: mathlib_1000 Q967972, Open mapping theorem (complex analysis) (statement). Also Mathlib AnalyticOnNhd.is_constant_or_isOpen, Wikidata Q967972
- thousand_plus: thousand_plus Q967972, Open mapping theorem (complex analysis) (statement). Also Mathlib AnalyticOnNhd.is_constant_or_isOpen, Wikidata Q967972, Wikipedia Open mapping theorem (complex analysis)
- wikipedia: Wikipedia Open mapping theorem (complex analysis), Open mapping theorem (statement). Also Wikidata Q967972
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cobham's theorem reformulated JXKQ5H6F18
| URI | m2://inv/JXKQ5H6F18 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobham's theorem#TWD2, Cobham's theorem reformulated (statement)
History
- 2026-11-02: add by m2/dev
JXKRNGR1WS JXKRNGR1WS
| URI | m2://inv/JXKRNGR1WS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#IZEY (definition). In EFDRME13PT/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
JXKSN00A09 JXKSN00A09
| URI | m2://inv/JXKSN00A09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#5ZV1 (statement). In GQQZNRYK15/e1, theorem 3.10
History
- 2026-10-31: add by m2/v0.5.6
Jerome V. Moloney JXKWCGCDBR
| URI | m2://inv/JXKWCGCDBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerome V. Moloney, Jerome V. Moloney (topic). Also Wikidata Q133101013
History
- 2026-11-02: add by m2/dev
Unsigned and signed marked bounds JXM3J8YZ25
| URI | m2://inv/JXM3J8YZ25 |
|---|---|
| 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.18884#CYDQ, Unsigned and signed marked bounds (statement). In 8WM10QMA9E/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
JXM6MKXH7S JXM6MKXH7S
| URI | m2://inv/JXM6MKXH7S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#BHIK (definition). In SD43497T8C/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.3.5
JXMMNNEZ14 JXMMNNEZ14
| URI | m2://inv/JXMMNNEZ14 |
|---|---|
| Kind | definition |
| 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 2204.01121#HUHR (definition). In 1HP57QXBGF/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Set estimation JXMX8TWTNG
| URI | m2://inv/JXMX8TWTNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set estimation, Set estimation (definition). Also Wikidata Q16000320
History
- 2026-11-02: add by m2/dev
JXMZ34CA42 JXMZ34CA42
| URI | m2://inv/JXMZ34CA42 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#ex:homotopy-groups-resp-prod (exercise). In N54F33XE07, ex, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
JXN26YP80J JXN26YP80J
| URI | m2://inv/JXN26YP80J |
|---|---|
| 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 2504.13516#0V40 (statement). In Z9JWKWH7CJ/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Improvement of Flatness near type II cones JXN2FZ45YA
| URI | m2://inv/JXN2FZ45YA |
|---|---|
| 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#6NCR, Improvement of Flatness near type II cones (statement). In CPDMYJ0NJV/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
Rate form of consistency JXN6BDYJ6F
| URI | m2://inv/JXN6BDYJ6F |
|---|---|
| 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.37375#R1GM, Rate form of consistency (statement). In PV4Z2FRXRZ/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
JXN8B88TBD JXN8B88TBD
| URI | m2://inv/JXN8B88TBD |
|---|---|
| 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 2407.04161#NTKB (statement). In JBZJ7NPQ4G/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.4.0
Lis JXNB8T7YSZ
| URI | m2://inv/JXNB8T7YSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#4JPK, Lis (unknown)
History
- 2026-11-02: add by m2/dev
JXP6W5KNJC JXP6W5KNJC
| URI | m2://inv/JXP6W5KNJC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 1.2.4
History
- 2026-11-01: add by m2/v0.6.13
JXPG36RWXD JXPG36RWXD
| URI | m2://inv/JXPG36RWXD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 19.6
History
- 2026-11-01: add by m2/v0.6.13
Peter Abelard JXPN3GY504
| URI | m2://inv/JXPN3GY504 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Abelard, Peter Abelard (topic). Also Wikidata Q4295
History
- 2026-11-02: add by m2/dev
JXPQN9ZCA7 JXPQN9ZCA7
| URI | m2://inv/JXPQN9ZCA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11120#B9I7 (statement). In KCY80F2YGP/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
Project SEED JXQ00009J1
| URI | m2://inv/JXQ00009J1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Project SEED, Project SEED (definition). Also Wikidata Q7249305
History
- 2026-11-02: add by m2/dev
Helen G. Grundman JXQ5TCFM79
| URI | m2://inv/JXQ5TCFM79 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VXPH, Helen G. Grundman (topic)
History
- 2026-11-02: add by m2/dev
JXQM6TQDEX JXQM6TQDEX
| URI | m2://inv/JXQM6TQDEX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#2BCI (problem). In BBE69ZPVTF/e1, problem 5.2
History
- 2026-10-30: add by m2/v0.4.12
JXQWJD51WX JXQWJD51WX
| URI | m2://inv/JXQWJD51WX |
|---|---|
| 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.28702#OEI0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma 3 JXQWKZDK7J
| URI | m2://inv/JXQWKZDK7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#CQC9, Lemma 3 (statement)
History
- 2026-11-02: add by m2/dev
Mattila JXR2GCW2TE
| URI | m2://inv/JXR2GCW2TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#0UB1, Mattila (statement). In TSXBJB0EXK/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Applications JXRD7V7B0Y
| URI | m2://inv/JXRD7V7B0Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friendship paradox#1KXG, Applications (example)
History
- 2026-11-02: add by m2/dev
Twisting properties JXREHZA6WA
| URI | m2://inv/JXREHZA6WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisting properties, Twisting properties (definition). Also Wikidata Q7858585
History
- 2026-11-02: add by m2/dev
JXRKQSHFHX JXRKQSHFHX
| URI | m2://inv/JXRKQSHFHX |
|---|---|
| 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 2012.05048#CLJG (statement). In NY9HW1E6DY/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Formal definition JXRP7VXSZV
| URI | m2://inv/JXRP7VXSZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric bilinear form#BPST, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Large lags near the three-cycle JXRPQ63VMR
| URI | m2://inv/JXRPQ63VMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#CDHP, Large lags near the three-cycle (statement). In 65TJENWK7X/e1, lemma 53
History
- 2026-10-29: add by m2/v0.4.10
The Unscrambler JXRSSDY9BR
| URI | m2://inv/JXRSSDY9BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Unscrambler, The Unscrambler (definition). Also Wikidata Q1978628
History
- 2026-11-02: add by m2/dev
Open Mathematics JXSF3FF7CA
| URI | m2://inv/JXSF3FF7CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open Mathematics, Open Mathematics (definition). Also Wikidata Q859394
History
- 2026-11-02: add by m2/dev
Examples JXSSAF457M
| URI | m2://inv/JXSSAF457M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed square problem#IC2Z, Examples (example)
History
- 2026-11-02: add by m2/dev
JXSSRY5VT9 JXSSRY5VT9
| URI | m2://inv/JXSSRY5VT9 |
|---|---|
| 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.06038#G1NC (statement). In 4TJGTZWJVK/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
JXTA8TTPFC JXTA8TTPFC
| URI | m2://inv/JXTA8TTPFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17589#B2BZ (statement). In GSTK4569X1/e1, proposition 5.18
History
- 2026-10-28: add by m2/v0.4.2
Frances Hardcastle JXTC085HEY
| URI | m2://inv/JXTC085HEY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frances Hardcastle, Frances Hardcastle (topic). Also Wikidata Q5478696
History
- 2026-11-02: add by m2/dev
unimodality JXTE3334MZ
| URI | m2://inv/JXTE3334MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2896771, unimodality (unknown). Also MathWorld Unimodal
- wikipedia: Wikipedia Unimodality, Unimodality (definition). Also Wikidata Q2896771
History
- 2026-10-26: add by m2/dev
JXTK43DJ7H JXTK43DJ7H
| URI | m2://inv/JXTK43DJ7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#C1KD (statement). In 9TR5E527P5/e1, theorem 2.10
History
- 2026-10-29: add by m2/v0.4.10
Assumptions for the fundamental theorems JXTKS6YEGH
| URI | m2://inv/JXTKS6YEGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorems of welfare economics#S9D4, Assumptions for the fundamental theorems (statement)
History
- 2026-11-02: add by m2/dev
JXTQARS182 JXTQARS182
| URI | m2://inv/JXTQARS182 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#L01Y (statement). In 9WP2QGKMG8/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
JXTXSAZTA2 JXTXSAZTA2
| URI | m2://inv/JXTXSAZTA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#8WTN (statement). In 75E8ZB1CBV/e1, corollary 5.1.1
History
- 2026-10-27: add by m2/v0.4.0
JXTZTMH6FT JXTZTMH6FT
| URI | m2://inv/JXTZTMH6FT |
|---|---|
| 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.28121#M8DN (definition)
History
- 2026-11-01: add by m2/v0.6.15
History of composition algebra JXV23NVH6P
| URI | m2://inv/JXV23NVH6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition algebra#LJ5N, History of composition algebra (unknown)
History
- 2026-11-02: add by m2/dev
Cheeger-Gromoll splitting theorem for $C^1$-metrics JXV3KDPSG9
| URI | m2://inv/JXV3KDPSG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#UOKI, Cheeger-Gromoll splitting theorem for $C^1$-metrics (statement). In J99PFFJXPE/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.6
Jack Howlett JXV42BNV2A
| URI | m2://inv/JXV42BNV2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack Howlett, Jack Howlett (topic). Also Wikidata Q11107926
History
- 2026-11-02: add by m2/dev
JXV6HYP4VR JXV6HYP4VR
| URI | m2://inv/JXV6HYP4VR |
|---|---|
| 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 2506.16491#HKJE (statement). In P9J6P06Y40/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.3.5
JXVCCFSR6X JXVCCFSR6X
| URI | m2://inv/JXVCCFSR6X |
|---|---|
| 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#XGH6 (statement). In GJ7N2EWACX/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
JXVMY7FDY7 JXVMY7FDY7
| URI | m2://inv/JXVMY7FDY7 |
|---|---|
| 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 2004.12552#50PD (statement). In TWPE10CZ1S/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
JXVR7F5VQY JXVR7F5VQY
| URI | m2://inv/JXVR7F5VQY |
|---|---|
| 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 2104.04145#1OR1 (statement). In 7TNHVC586V/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
General theorems JXVRPE1M7G
| URI | m2://inv/JXVRPE1M7G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian geometry#YEC6, General theorems (statement)
History
- 2026-11-02: add by m2/dev
David Blackwell JXVS99PD3K
| URI | m2://inv/JXVS99PD3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Blackwell, David Blackwell (topic). Also Wikidata Q525037
History
- 2026-11-02: add by m2/dev
Renaud Lambiotte JXVTBW6WHG
| URI | m2://inv/JXVTBW6WHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renaud Lambiotte, Renaud Lambiotte (topic). Also Wikidata Q37838557
History
- 2026-11-02: add by m2/dev
JXW8DY6DDJ JXW8DY6DDJ
| URI | m2://inv/JXW8DY6DDJ |
|---|---|
| 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.21403#ZOPP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lemma JXWDYNQK04
| URI | m2://inv/JXWDYNQK04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform convergence in probability#J5YX, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Open and closed maps JXWMP3HKPY
| URI | m2://inv/JXWMP3HKPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open and closed maps, Open and closed maps (definition). Also Wikidata Q2632649
History
- 2026-11-02: add by m2/dev
Focused proof JXWPYX41RV
| URI | m2://inv/JXWPYX41RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focused proof, Focused proof (definition). Also Wikidata Q104853026
History
- 2026-11-02: add by m2/dev
Finite depth obstructs analyticity JXWVBF0EWY
| URI | m2://inv/JXWVBF0EWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#ZVNS, Finite depth obstructs analyticity (statement). In CW9MNA6K58/e1, proposition B.1
History
- 2026-10-28: add by m2/v0.4.2
JXWXFQENQK JXWXFQENQK
| URI | m2://inv/JXWXFQENQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:idtoiso-trans (statement). In N54F33XE07, lem, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
proper JXXDFRBJEW
| URI | m2://inv/JXXDFRBJEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#M2HO, proper (definition)
History
- 2026-11-02: add by m2/dev
Deryk Osthus JXXGV6NEMM
| URI | m2://inv/JXXGV6NEMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EX1X, Deryk Osthus (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YG8N, Deryk Osthus (unknown)
History
- 2026-11-02: add by m2/dev
Definition JXXJTBR6MH
| URI | m2://inv/JXXJTBR6MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalised logistic function#NLJV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Zero-risk bias JXXMG59YR8
| URI | m2://inv/JXXMG59YR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#3SPR, Zero-risk bias (definition)
History
- 2026-11-02: add by m2/dev
Robert Heath JXXT500JTR
| URI | m2://inv/JXXT500JTR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Heath (mathematician), Robert Heath (topic). Also Wikidata Q15994495
History
- 2026-11-02: add by m2/dev
JXXWH4EBDZ JXXWH4EBDZ
| URI | m2://inv/JXXWH4EBDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0312342#R7D5 (statement). In K811ERNKV5/e1, theorem B.3
History
- 2026-10-27: add by m2/v0.3.5
Damped natural gradient estimation JXXX6E87MC
| URI | m2://inv/JXXX6E87MC |
|---|---|
| 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.33499#J765, Damped natural gradient estimation (statement). In AAH14S2JJ2/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Symmetry JXXYDV59SA
| URI | m2://inv/JXXYDV59SA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase transition#S5T3, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
JXY7R5CRTZ JXY7R5CRTZ
| URI | m2://inv/JXY7R5CRTZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#O4MW (example). In 9Z5M655EPV/e1, example 5.11
History
- 2026-10-29: add by m2/v0.4.10
JXYE0SR2XC JXYE0SR2XC
| URI | m2://inv/JXYE0SR2XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#definition-3 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
State diagram JXYFFEAP0W
| URI | m2://inv/JXYFFEAP0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#XVYX, State diagram (definition)
History
- 2026-11-02: add by m2/dev
quadrature rule JXYGJBWEYX
| URI | m2://inv/JXYGJBWEYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130299145, quadrature rule (definition). Also EoM Quadrature_formula, ProofWiki Definition:Numerical_Integration_Rule
History
- 2026-10-26: add by m2/dev
Approximate fibration JXYPRJC931
| URI | m2://inv/JXYPRJC931 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate fibration, Approximate fibration (definition). Also Wikidata Q113560775
History
- 2026-11-02: add by m2/dev
JXYVRBWRXY JXYVRBWRXY
| URI | m2://inv/JXYVRBWRXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#6N9Q (statement). In 75E8ZB1CBV/e1, corollary 4.1.1
History
- 2026-10-27: add by m2/v0.4.0
JXYWETDVFW JXYWETDVFW
| URI | m2://inv/JXYWETDVFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#KKDD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Donald Neuen JXYZ5F504Q
| URI | m2://inv/JXYZ5F504Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#84YN, Donald Neuen (unknown)
History
- 2026-11-02: add by m2/dev
JXZ74N0H18 JXZ74N0H18
| URI | m2://inv/JXZ74N0H18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#3TNY (statement). In 459W0NBS5Q/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
JXZC2SP0ZA JXZC2SP0ZA
| URI | m2://inv/JXZC2SP0ZA |
|---|---|
| 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.20740#LVPZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
JXZE59GSCC JXZE59GSCC
| URI | m2://inv/JXZE59GSCC |
|---|---|
| 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.16123#P92C (statement). In 6VR4TY5BGV/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
JXZJA9B8CT JXZJA9B8CT
| URI | m2://inv/JXZJA9B8CT |
|---|---|
| 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 0908.3266#1GBT (statement). In B0W6PMDN3N/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Marc A. Suchard JXZSEY4N1D
| URI | m2://inv/JXZSEY4N1D |
|---|---|
| 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#W6MF, Marc A. Suchard (unknown)
History
- 2026-11-02: add by m2/dev
Erdős arcsine law JXZT962SGF
| URI | m2://inv/JXZT962SGF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős arcsine law, Erdős arcsine law (statement). Also Wikidata Q5385316
History
- 2026-11-02: add by m2/dev
Simply connected JXZVNX4S8B
| URI | m2://inv/JXZVNX4S8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#WGFX, Simply connected (definition)
History
- 2026-11-02: add by m2/dev