Inventory rows AB
The cards of the rows of the inventory whose ids start with AB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
AB00MC8S4V AB00MC8S4V
| URI | m2://inv/AB00MC8S4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/randvar.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 69.1
History
- 2026-11-01: add by m2/v0.6.13
Remark AB04DZB4M1
| URI | m2://inv/AB04DZB4M1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius plane#ZSOT, Remark (unknown)
History
- 2026-11-02: add by m2/dev
AB06AXDRMF AB06AXDRMF
| URI | m2://inv/AB06AXDRMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.30200#JGIE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Further examples AB07044BF5
| URI | m2://inv/AB07044BF5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concrete category#WX5M, Further examples (example)
History
- 2026-11-02: add by m2/dev
AB0BHM10A9 AB0BHM10A9
| URI | m2://inv/AB0BHM10A9 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
AB0DVYX6GX AB0DVYX6GX
| URI | m2://inv/AB0DVYX6GX |
|---|---|
| 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 2609.27689#OM3Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
AB0KCAH5SH AB0KCAH5SH
| URI | m2://inv/AB0KCAH5SH |
|---|---|
| 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.20881#NHW0 (example)
History
- 2026-11-02: add by m2/v0.6.18
Harvey Friedman AB0WYJ6TAW
| URI | m2://inv/AB0WYJ6TAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harvey Friedman (mathematician), Harvey Friedman (topic). Also Wikidata Q951297
History
- 2026-11-02: add by m2/dev
Positive cone of an ordered field AB11JFAT3P
| URI | m2://inv/AB11JFAT3P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered field#9NAX, Positive cone of an ordered field (unknown)
History
- 2026-11-02: add by m2/dev
Examples AB12FNHAD3
| URI | m2://inv/AB12FNHAD3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic Lie algebra#O0B0, Examples (example)
History
- 2026-11-02: add by m2/dev
AB12KSFEVT AB12KSFEVT
| URI | m2://inv/AB12KSFEVT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-219 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Definition AB175SNGW1
| URI | m2://inv/AB175SNGW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential stability#C7CR, Definition (definition)
History
- 2026-11-02: add by m2/dev
AB1Q3903A2 AB1Q3903A2
| URI | m2://inv/AB1Q3903A2 |
|---|---|
| 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 2308.05066#ZVE7 (example). In 1QSCT53ZED/e1, example 10.7
History
- 2026-10-27: add by m2/v0.4.0
Average crossing number AB1X8ARECH
| URI | m2://inv/AB1X8ARECH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average crossing number, Average crossing number (definition). Also Wikidata Q4828266
History
- 2026-11-02: add by m2/dev
Applications AB21YJPSRP
| URI | m2://inv/AB21YJPSRP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical circle#OL39, Applications (example)
History
- 2026-11-02: add by m2/dev
Jacques Drèze AB29WGGV1D
| URI | m2://inv/AB29WGGV1D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Drèze, Jacques Drèze (topic). Also Wikidata Q1968723
History
- 2026-11-02: add by m2/dev
AB2BYFP8TW AB2BYFP8TW
| URI | m2://inv/AB2BYFP8TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#CZTG (statement). In EZ6PAF0MXH/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Autonomous AB2E7E8BWZ
| URI | m2://inv/AB2E7E8BWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary differential equation#2GE9, Autonomous (definition)
History
- 2026-11-02: add by m2/dev
Richard Shore AB2MBB6TPN
| URI | m2://inv/AB2MBB6TPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RHEC, Richard Shore (topic)
History
- 2026-11-02: add by m2/dev
Shock capturing method AB2RJ4ETWD
| URI | m2://inv/AB2RJ4ETWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#VT82, Shock capturing method (unknown)
History
- 2026-11-02: add by m2/dev
AB2SFXNDM8 AB2SFXNDM8
| URI | m2://inv/AB2SFXNDM8 |
|---|---|
| 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#EFON (statement). In HX63A1PH1W/e1, proposition 7.27
History
- 2026-10-28: add by m2/v0.4.3
initial conditions for a PDE AB2Z348X8Q
| URI | m2://inv/AB2Z348X8Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.6/initial-conditions-for-a-pde, initial conditions for a PDE (concept). In E9HS8K3A52, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
AB3M4SDHZW AB3M4SDHZW
| URI | m2://inv/AB3M4SDHZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#ENOO (statement). In Q4RZTN2EX6/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.4.2
AB3W7EMCYH AB3W7EMCYH
| URI | m2://inv/AB3W7EMCYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#LAJ1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rajesh Kasturirangan AB4683VM1K
| URI | m2://inv/AB4683VM1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajesh Kasturirangan, Rajesh Kasturirangan (topic). Also Wikidata Q16975598
History
- 2026-11-02: add by m2/dev
AB4BJD51N6 AB4BJD51N6
| URI | m2://inv/AB4BJD51N6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#cor:divisible iff zero mod (statement). In P1C114YBXG, corollary, section F
History
- 2026-11-01: add by m2/v0.6.13
AB4E6XKM6V AB4E6XKM6V
| URI | m2://inv/AB4E6XKM6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.22297#DZQX (statement)
History
- 2026-11-02: add by m2/v0.6.17
even homotopy of compact Lie groups AB4EPMTSZX
| URI | m2://inv/AB4EPMTSZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#YE1O, even homotopy of compact Lie groups (statement)
History
- 2026-11-01: add by m2/v0.6.15
AB4KXZ2BQE AB4KXZ2BQE
| URI | m2://inv/AB4KXZ2BQE |
|---|---|
| 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 2610.07471#BCFC (statement). In 7DHCS5SEHT/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Pars destruens and pars construens AB4PEYYQ85
| URI | m2://inv/AB4PEYYQ85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pars destruens and pars construens, Pars destruens and pars construens (definition). Also Wikidata Q4822211
History
- 2026-11-02: add by m2/dev
Definition AB4TEG9AYT
| URI | m2://inv/AB4TEG9AYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V-optimal histograms#DFNY, Definition (definition)
History
- 2026-11-02: add by m2/dev
AB4TYB4TJG AB4TYB4TJG
| URI | m2://inv/AB4TYB4TJG |
|---|---|
| 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.12480#BAQI (statement). In 585QYGX4X6/e1, proposition 26
History
- 2026-10-28: add by m2/v0.4.2
Root diamonds AB542R7TEK
| URI | m2://inv/AB542R7TEK |
|---|---|
| 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.24541#59BE, Root diamonds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kenji Ueno AB54QNG2YF
| URI | m2://inv/AB54QNG2YF |
|---|---|
| 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 Q4121026, Kenji Ueno (unknown). Also nLab Kenji Ueno
- wikipedia: Wikipedia Kenji Ueno, Kenji Ueno (topic). Also Wikidata Q4121026
History
- 2026-10-26: add by m2/dev
AB5CE0TJ7T AB5CE0TJ7T
| URI | m2://inv/AB5CE0TJ7T |
|---|---|
| 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.22077#FV9L (statement)
History
- 2026-11-02: add by m2/v0.6.17
Riemann's differential equation AB5F7ZWXG4
| URI | m2://inv/AB5F7ZWXG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Riemann's differential equation RS8Z48E784 |
Mentions
- wikidata: Wikidata Q974071, Riemann's differential equation (unknown). Also EoM Papperitz_equation, MathWorld RiemannP-DifferentialEquation
- wikipedia: Wikipedia Riemann's differential equation, Riemann's differential equation (definition). Also Wikidata Q974071
History
- 2026-10-26: add by m2/dev
Local zero-curl bound AB5R4AG20A
| URI | m2://inv/AB5R4AG20A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25762#V3N2, Local zero-curl bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
AB5ZDD2GD3 AB5ZDD2GD3
| URI | m2://inv/AB5ZDD2GD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10790#4J1R (statement). In HHQ6P3RRB8/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
R.15 -- T-sequence framework AB663HQGT4
| URI | m2://inv/AB663HQGT4 |
|---|---|
| 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.25543#NYGL, R.15 -- T-sequence framework (statement)
History
- 2026-11-01: add by m2/v0.6.15
AB6AJMKH3M AB6AJMKH3M
| URI | m2://inv/AB6AJMKH3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#CXJA (statement). In 8PTDFHV8SQ/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Codomain AB6GDXFD3X
| URI | m2://inv/AB6GDXFD3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#11G9, Codomain (definition)
History
- 2026-11-02: add by m2/dev
AB6M6PQEZ3 AB6M6PQEZ3
| URI | m2://inv/AB6M6PQEZ3 |
|---|---|
| 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.21675#VLGP (statement). In TB1294GY5X/e1, theorem 7.6
History
- 2026-10-27: add by m2/v0.4.2
Numerical methods for optimal control AB6MMAS40Q
| URI | m2://inv/AB6MMAS40Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal control#41TJ, Numerical methods for optimal control (unknown)
History
- 2026-11-02: add by m2/dev
monotone class AB6R7425X7
| URI | m2://inv/AB6R7425X7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18411691, monotone class (definition). Also ProofWiki Definition:Monotone_Class
History
- 2026-10-26: add by m2/dev
Journal of Topology AB6Y5GJMPQ
| URI | m2://inv/AB6Y5GJMPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Topology, Journal of Topology (definition). Also Wikidata Q3186951
History
- 2026-11-02: add by m2/dev
Philosophy of the Spirit AB6Z68ETPZ
| URI | m2://inv/AB6Z68ETPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benedetto Croce#21I1, Philosophy of the Spirit (unknown)
History
- 2026-11-02: add by m2/dev
AB78YYW2Q6 AB78YYW2Q6
| URI | m2://inv/AB78YYW2Q6 |
|---|---|
| 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.39790#Y8LC (statement). In C2C9GTQFYF/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Cubic Formula AB79TPQVJG
| URI | m2://inv/AB79TPQVJG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/quintic.tex#example-2, Cubic Formula (example). In RZP28ERRZV, example, section 42.3
History
- 2026-11-01: add by m2/v0.6.13
Guido De Philippis AB7B1180JG
| URI | m2://inv/AB7B1180JG |
|---|---|
| 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#V4BO, Guido De Philippis (topic)
History
- 2026-11-02: add by m2/dev
Euclidean squashing with algebraic multiplicity AB7CCHV1RN
| URI | m2://inv/AB7CCHV1RN |
|---|---|
| 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.01324#PRFB, Euclidean squashing with algebraic multiplicity (statement). In XKXG49TNXH/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.6
AB7GFMBJSP AB7GFMBJSP
| URI | m2://inv/AB7GFMBJSP |
|---|---|
| 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.25390#IPZN (statement)
History
- 2026-11-01: add by m2/v0.6.15
probability space AB7KC69R96
| URI | m2://inv/AB7KC69R96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Probability space 0NFPJVJJHX |
Mentions
- wikidata: Wikidata Q623472, probability space (definition). Also MathWorld ProbabilitySpace, ProofWiki Definition:Probability_Space
- wikipedia: Wikipedia Probability space, Probability space (definition). Also Wikidata Q623472
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Propositions 4.N to 5.N AB7VZS4JY9
| URI | m2://inv/AB7VZS4JY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tractatus Logico-Philosophicus#9RO4, Propositions 4.N to 5.N (statement)
History
- 2026-11-02: add by m2/dev
AB7ZGJVDB7 AB7ZGJVDB7
| URI | m2://inv/AB7ZGJVDB7 |
|---|---|
| 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.12105#FA0G (definition). In 289HM2RXT3/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.3
Definition AB81JSWK22
| URI | m2://inv/AB81JSWK22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping cone (topology)#KJPB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement AB8877GR0V
| URI | m2://inv/AB8877GR0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marden's theorem#K9J0, Statement (statement)
History
- 2026-11-02: add by m2/dev
AB888F26BA AB888F26BA
| URI | m2://inv/AB888F26BA |
|---|---|
| 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 2308.05715#T3OZ (definition). In FC0SB9JFWH/e1, definition 4.12
History
- 2026-10-27: add by m2/v0.3.5
AB8C3P8T7H AB8C3P8T7H
| URI | m2://inv/AB8C3P8T7H |
|---|---|
| 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#TPP3 (statement). In 3RVGEKGX46/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
Weighted projective space AB8DMREZCG
| URI | m2://inv/AB8DMREZCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted projective space, Weighted projective space (definition). Also Wikidata Q17104658
History
- 2026-11-02: add by m2/dev
AB8H6GK2D1 AB8H6GK2D1
| URI | m2://inv/AB8H6GK2D1 |
|---|---|
| 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.30203#WPCZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Data set AB8J8W5GEX
| URI | m2://inv/AB8J8W5GEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4VW3, Data set (definition)
History
- 2026-11-02: add by m2/dev
excluded middle AB8JFXEVXJ
| URI | m2://inv/AB8JFXEVXJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/excluded-middle, excluded middle (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Trischiliagon AB8RX1GG44
| URI | m2://inv/AB8RX1GG44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#KI31, Trischiliagon (definition)
History
- 2026-11-02: add by m2/dev
Kamp's theorem AB8THS9G4H
| URI | m2://inv/AB8THS9G4H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kamp's theorem, Kamp's theorem (statement). Also Wikidata Q141285148
History
- 2026-11-02: add by m2/dev
Discrete-time Markov chain AB8TTXMPPS
| URI | m2://inv/AB8TTXMPPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete-time Markov chain, Discrete-time Markov chain (definition). Also Wikidata Q16109430
History
- 2026-11-02: add by m2/dev
AB92BGR7CQ AB92BGR7CQ
| URI | m2://inv/AB92BGR7CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25314#9UZ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
𝔠 AB96BGAVBY
| URI | m2://inv/AB96BGAVBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1INP, 𝔠 (definition)
History
- 2026-11-02: add by m2/dev
Maxwell's stress functions AB9DNC09AE
| URI | m2://inv/AB9DNC09AE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress functions#82KP, Maxwell's stress functions (unknown)
History
- 2026-11-02: add by m2/dev
AB9ERSXT7M AB9ERSXT7M
| URI | m2://inv/AB9ERSXT7M |
|---|---|
| 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 2609.20718#RBOI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Convergent matrix AB9GQGXH84
| URI | m2://inv/AB9GQGXH84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergent matrix, Convergent matrix (definition). Also Wikidata Q5166397
History
- 2026-11-02: add by m2/dev
AB9KVX9MSF AB9KVX9MSF
| URI | m2://inv/AB9KVX9MSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.12619#60DE (statement). In 7F8KACT5AJ/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
The construction AB9N95VJZV
| URI | m2://inv/AB9N95VJZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hajós construction#CN69, The construction (definition)
History
- 2026-11-02: add by m2/dev
AB9PHS6THM AB9PHS6THM
| URI | m2://inv/AB9PHS6THM |
|---|---|
| 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.20406#1LSS (statement). In 1YW6C6XGT3/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Logarithmic div--curl estimate AB9VW649TF
| URI | m2://inv/AB9VW649TF |
|---|---|
| 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.05312#YHM1, Logarithmic div--curl estimate (statement). In 1CMMK399WQ/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Formal definition AB9XJESYHB
| URI | m2://inv/AB9XJESYHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indistinguishability obfuscation#JI3J, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
AB9XY0GCBJ AB9XY0GCBJ
| URI | m2://inv/AB9XY0GCBJ |
|---|---|
| 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.37274#ZK9Y (statement). In FBBTEAY45P/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
infinite graph AB9ZV5M76R
| URI | m2://inv/AB9ZV5M76R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20819993, infinite graph (definition). Also MathWorld InfiniteGraph, ProofWiki Definition:Infinite_Graph
History
- 2026-10-26: add by m2/dev
Cylindric numbering ABA36J66T5
| URI | m2://inv/ABA36J66T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindric numbering, Cylindric numbering (definition). Also Wikidata Q5199277
History
- 2026-11-02: add by m2/dev
Foundational axioms ABAA837PAR
| URI | m2://inv/ABAA837PAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Situation calculus#C8XE, Foundational axioms (statement)
History
- 2026-11-02: add by m2/dev
ABAK83CT2H ABAK83CT2H
| URI | m2://inv/ABAK83CT2H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/completeness-thm.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
ABAPSHRC0P ABAPSHRC0P
| URI | m2://inv/ABAPSHRC0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.22132#P7MS (statement). In FDVAR4G2C4/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.0
Distance-bounding protocol ABAV9N3CT4
| URI | m2://inv/ABAV9N3CT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance-bounding protocol, Distance-bounding protocol (definition). Also Wikidata Q3030662
History
- 2026-11-02: add by m2/dev
Hofstadter Female and Male sequences ABB1GE06WW
| URI | m2://inv/ABB1GE06WW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hofstadter sequence#JXBH, Hofstadter Female and Male sequences (unknown)
History
- 2026-11-02: add by m2/dev
Results ABB3CHQVXT
| URI | m2://inv/ABB3CHQVXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof complexity#JZN8, Results (statement)
History
- 2026-11-02: add by m2/dev
Vadim Kaplunovsky ABB3W2APPP
| URI | m2://inv/ABB3W2APPP |
|---|---|
| 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 Q60041059, Vadim Kaplunovsky (unknown). Also nLab Vadim Kaplunovsky
History
- 2026-10-26: add by m2/dev
Steven Zelditch ABB424TV0F
| URI | m2://inv/ABB424TV0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven Zelditch, Steven Zelditch (topic). Also Wikidata Q16294836
History
- 2026-11-02: add by m2/dev
Definition ABB90V242V
| URI | m2://inv/ABB90V242V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big data#DO0F, Definition (definition)
History
- 2026-11-02: add by m2/dev
ABBATFKZJJ ABBATFKZJJ
| URI | m2://inv/ABBATFKZJJ |
|---|---|
| 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.00798#CTDW (statement). In FANG3A8NZ9/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
Perturbed Robin Fourier primitive ABBJ1742DC
| URI | m2://inv/ABBJ1742DC |
|---|---|
| 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.14323#TYQT, Perturbed Robin Fourier primitive (statement). In VAWEP32BEX/e1, lemma 10.3
History
- 2026-10-28: add by m2/v0.4.2
Distributivity: ABBJH28GZN
| URI | m2://inv/ABBJH28GZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclusive or#AXGT, Distributivity: (definition)
History
- 2026-11-02: add by m2/dev
Surface subgroup conjecture ABBQ63EN5A
| URI | m2://inv/ABBQ63EN5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface subgroup conjecture, Surface subgroup conjecture (statement). Also Wikidata Q7646025
History
- 2026-11-02: add by m2/dev
Grid cover of a tube ABBW4ZDR3G
| URI | m2://inv/ABBW4ZDR3G |
|---|---|
| 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 2609.37368#SJW6, Grid cover of a tube (statement). In FRMCKEGVJZ/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
ABC17ECMX5 ABC17ECMX5
| URI | m2://inv/ABC17ECMX5 |
|---|---|
| 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 2102.09374#89J9 (statement). In TGAHH1F8K5/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
Hankel matrix transform ABC1XP6Z52
| URI | m2://inv/ABC1XP6Z52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hankel matrix#UX7O, Hankel matrix transform (unknown)
History
- 2026-11-02: add by m2/dev
Imbalance conjecture ABC99385HK
| URI | m2://inv/ABC99385HK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#31EF, Imbalance conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
ABCCV8TN2G ABCCV8TN2G
| URI | m2://inv/ABCCV8TN2G |
|---|---|
| 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.15877#H4BH (statement). In F3W750X9N6/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Enrico Fermi ABCKS9FSZ4
| URI | m2://inv/ABCKS9FSZ4 |
|---|---|
| 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 Q8753, Enrico Fermi (unknown). Also nLab Enrico Fermi, ProofWiki Mathematician:Enrico_Fermi
History
- 2026-10-26: add by m2/dev
Bibi-binary ABCP543D82
| URI | m2://inv/ABCP543D82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bibi-binary, Bibi-binary (definition). Also Wikidata Q3346314
History
- 2026-11-02: add by m2/dev
$m$-flag ABCRZCHKVS
| URI | m2://inv/ABCRZCHKVS |
|---|---|
| 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.32733#HBQ9, $m$-flag (definition). In PCAS8S14J6/e1, definition C.1
History
- 2026-10-31: add by m2/v0.5.6
ABCT9GKMN7 ABCT9GKMN7
| URI | m2://inv/ABCT9GKMN7 |
|---|---|
| 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.38188#N7LT (statement). In 7615KVXDB5/e1, theorem 3.17
History
- 2026-10-30: add by m2/v0.4.12
ABCYQTYE0Q ABCYQTYE0Q
| URI | m2://inv/ABCYQTYE0Q |
|---|---|
| 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 2505.08839#20R5 (statement). In HJPDS53MX4/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
Dmitry Ioffe ABD7GNP3HQ
| URI | m2://inv/ABD7GNP3HQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N1ZU, Dmitry Ioffe (topic)
History
- 2026-11-02: add by m2/dev
ABDC41WM3Z ABDC41WM3Z
| URI | m2://inv/ABDC41WM3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2401.07983#XKO5 (statement). In 4WJ9HYVSZY/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
ABDHH9PNXD ABDHH9PNXD
| URI | m2://inv/ABDHH9PNXD |
|---|---|
| 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.23528#VH97 (example)
History
- 2026-11-02: add by m2/v0.6.17
ABDKZPKS5N ABDKZPKS5N
| URI | m2://inv/ABDKZPKS5N |
|---|---|
| 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#YN92 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Helmut Maier ABDR6YQ3YP
| URI | m2://inv/ABDR6YQ3YP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SLWM, Helmut Maier (topic)
- wikipedia: Wikipedia List of German mathematicians#DBEQ, Helmut Maier (topic)
History
- 2026-11-02: add by m2/dev
ABDRMHXRRH ABDRMHXRRH
| URI | m2://inv/ABDRMHXRRH |
|---|---|
| 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.18632#BKX8 (statement). In PTM5MVD4M0/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
Linear continuum ABDW31ZV9R
| URI | m2://inv/ABDW31ZV9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continuity-related mathematical topics#2BJO, Linear continuum (definition)
History
- 2026-11-02: add by m2/dev
Properties ABE2HHEXET
| URI | m2://inv/ABE2HHEXET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan's constant#HPJ1, Properties (statement)
History
- 2026-11-02: add by m2/dev
ABE2XPCHTM ABE2XPCHTM
| URI | m2://inv/ABE2XPCHTM |
|---|---|
| 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.18154#LH0K (statement). In 4W7ARR1DAR/e1, fact B.14
History
- 2026-10-28: add by m2/v0.4.2
Parametric family ABEEVMAAVQ
| URI | m2://inv/ABEEVMAAVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#81UE, Parametric family (definition)
History
- 2026-11-02: add by m2/dev
Construction ABEJ1DBF3S
| URI | m2://inv/ABEJ1DBF3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological modular forms#1MWF, Construction (definition)
History
- 2026-11-02: add by m2/dev
Neighbourhood ABF0SP33BV
| URI | m2://inv/ABF0SP33BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood (graph theory), Neighbourhood (definition). Also Wikidata Q1354987
History
- 2026-11-02: add by m2/dev
ABF79N5RDS ABF79N5RDS
| URI | m2://inv/ABF79N5RDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#JTHH (statement). In BZ54C9SKYS/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
ABF9P84EWP ABF9P84EWP
| URI | m2://inv/ABF9P84EWP |
|---|---|
| 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.24523#4LVK (statement)
History
- 2026-11-01: add by m2/v0.6.15
ABFCRSV5M8 ABFCRSV5M8
| URI | m2://inv/ABFCRSV5M8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/frame-completeness.tex#thm:generaldet (statement). In PKGMM3P5QY, thm, section 51.1
History
- 2026-11-01: add by m2/v0.6.13
ABFRJ7BQ1G ABFRJ7BQ1G
| URI | m2://inv/ABFRJ7BQ1G |
|---|---|
| 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 2305.10921#A16P (statement). In PD5PJ0EYG6/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.3.5
Special cases ABFV0MKJRA
| URI | m2://inv/ABFV0MKJRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio test#CX1B, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Bahai, Sheikh ABFWJH4KT1
| URI | m2://inv/ABFWJH4KT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#SGGL, Bahai, Sheikh (unknown)
History
- 2026-11-02: add by m2/dev
ABG19B1GRZ ABG19B1GRZ
| URI | m2://inv/ABG19B1GRZ |
|---|---|
| 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 2406.07116#S232 (statement). In 5B030CB2RK/e1, proposition 7.4
History
- 2026-10-27: add by m2/v0.3.6
Volatility ABGB65CAW9
| URI | m2://inv/ABGB65CAW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volatility (finance), Volatility (definition). Also Wikidata Q756115
History
- 2026-11-02: add by m2/dev
Hecke algebra ABGBK020FC
| URI | m2://inv/ABGBK020FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#C9TV, Hecke algebra (definition)
History
- 2026-11-02: add by m2/dev
Sqrt(2)^sqrt(2) ABGEQAA2G2
| URI | m2://inv/ABGEQAA2G2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfond–Schneider theorem#29J9, Sqrt(2)^sqrt(2) (unknown)
History
- 2026-11-02: add by m2/dev
Johannes Finsterbusch ABGEZT49WF
| URI | m2://inv/ABGEZT49WF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Finsterbusch, Johannes Finsterbusch (topic). Also Wikidata Q45318908
History
- 2026-11-02: add by m2/dev
Mathematical Society of Japan ABGHTYKWDZ
| URI | m2://inv/ABGHTYKWDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Society of Japan, Mathematical Society of Japan (definition). Also Wikidata Q1499025
History
- 2026-11-02: add by m2/dev
Problem of future contingents ABGS26BQSX
| URI | m2://inv/ABGS26BQSX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of future contingents, Problem of future contingents (problem). Also Wikidata Q3755253
History
- 2026-11-02: add by m2/dev
ABGXWKZFPW ABGXWKZFPW
| URI | m2://inv/ABGXWKZFPW |
|---|---|
| Kind | statement |
| 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#RUSY (statement). In CY1FE8W1ZW/e1, lemma 0.212
History
- 2026-10-27: add by m2/v0.3.5
ABH1QX6SSS ABH1QX6SSS
| URI | m2://inv/ABH1QX6SSS |
|---|---|
| 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.14979#178H (statement). In 6NH1VVZK1N/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
ABH4VQBB35 ABH4VQBB35
| URI | m2://inv/ABH4VQBB35 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30648#PIRV (conjecture). In 2P83KYQCMA/e1, conjecture 7
History
- 2026-10-31: add by m2/v0.5.6
Relative densities ABH9DZ658V
| URI | m2://inv/ABH9DZ658V |
|---|---|
| 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.11974#XZUZ, Relative densities (definition). In AW6S4XZ9ZZ/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.3
Bernhard Thalheim ABH9RW69ZM
| URI | m2://inv/ABH9RW69ZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ARJL, Bernhard Thalheim (unknown)
History
- 2026-11-02: add by m2/dev
Chikako Mese ABHA6SPXH2
| URI | m2://inv/ABHA6SPXH2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chikako Mese, Chikako Mese (topic). Also Wikidata Q73431812
History
- 2026-11-02: add by m2/dev
Zincblende (crystal structure) ABHDR4GTG0
| URI | m2://inv/ABHDR4GTG0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic crystal system#64K1, Zincblende (crystal structure) (unknown)
History
- 2026-11-02: add by m2/dev
Fisher information ABHE9VM2YV
| URI | m2://inv/ABHE9VM2YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H2RV, Fisher information (definition)
History
- 2026-11-02: add by m2/dev
continuation-passing style ABHK17ZN46
| URI | m2://inv/ABHK17ZN46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q749893, continuation-passing style (unknown). Also nLab continuation-passing style
History
- 2026-10-26: add by m2/dev
ABHRE3BKC6 ABHRE3BKC6
| URI | m2://inv/ABHRE3BKC6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/fixed-point-thm.tex#lem:fixed-equiv (statement). In PKGMM3P5QY, lem, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Examples ABHRKQXGHT
| URI | m2://inv/ABHRKQXGHT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bijection, injection and surjection#MJVR, Examples (example)
History
- 2026-11-02: add by m2/dev
Tomita–Takesaki theory ABHX0B47XC
| URI | m2://inv/ABHX0B47XC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 4 |
| Outcome | open |
| Node | Tomita–Takesaki theory NBR81PR7E5 |
Mentions
- mathlib_1000: mathlib_1000 Q7818977, Tomita's theorem (statement). Also Wikidata Q7818977
- thousand_plus: thousand_plus Q7818977, Tomita's theorem (statement). Also Wikidata Q7818977, Wikipedia Tomita's theorem
- wikidata: Wikidata Q7818977, Tomita–Takesaki theory (topic). Also MathWorld Tomita-TakesakiTheory, nLab modular theory
- wikipedia: Wikipedia Tomita–Takesaki theory, Tomita–Takesaki theory (definition). Also Wikidata Q7818977
History
- 2026-10-26: add by m2/dev
One input does not suffice ABJ65GT39J
| URI | m2://inv/ABJ65GT39J |
|---|---|
| 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.08764#5XP1, One input does not suffice (statement). In QVFHS1C9BW/e1, proposition \thethrm
History
- 2026-10-29: add by m2/v0.4.10
Clenshaw–Curtis quadrature ABJ7B78T70
| URI | m2://inv/ABJ7B78T70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clenshaw–Curtis quadrature, Clenshaw–Curtis quadrature (definition). Also Wikidata Q5131618
History
- 2026-11-02: add by m2/dev
Leonhard Euler ABJ95V1A8J
| URI | m2://inv/ABJ95V1A8J |
|---|---|
| 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 Q7604, Leonhard Euler (unknown). Also nLab Leonhard Euler, ProofWiki Mathematician:Leonhard_Paul_Euler
- wikipedia: Wikipedia Leonhard Euler, Leonhard Euler (topic). Also Wikidata Q7604
History
- 2026-10-26: add by m2/dev
Measurability of the downward geodesic tree ABJHXVXE36
| URI | m2://inv/ABJHXVXE36 |
|---|---|
| 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.14154#370V, Measurability of the downward geodesic tree (statement). In 8X6PXX2TRA/e1, theorem 11.4
History
- 2026-10-28: add by m2/v0.4.2
Dendrogram ABJKV3GRP9
| URI | m2://inv/ABJKV3GRP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#63PF, Dendrogram (definition)
History
- 2026-11-02: add by m2/dev
ABJXKFR07A ABJXKFR07A
| URI | m2://inv/ABJXKFR07A |
|---|---|
| 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.24206#HZL7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties ABJXXBS1Z6
| URI | m2://inv/ABJXXBS1Z6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein surface#T3R8, Properties (statement)
History
- 2026-11-02: add by m2/dev
List of mathematics journals ABJYRN4QNE
| URI | m2://inv/ABJYRN4QNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics journals, List of mathematics journals (topic). Also Wikidata Q2409207
History
- 2026-11-02: add by m2/dev
ABK6AR4AA2 ABK6AR4AA2
| URI | m2://inv/ABK6AR4AA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#WODR (statement). In 4F8QRV05BV/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Grundy number ABK8CX95TH
| URI | m2://inv/ABK8CX95TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AV7M, Grundy number (definition)
History
- 2026-11-02: add by m2/dev
Epimenides ABKBGWJ7J1
| URI | m2://inv/ABKBGWJ7J1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#1XH7, Epimenides (definition)
History
- 2026-11-02: add by m2/dev
ABKFC477QB ABKFC477QB
| URI | m2://inv/ABKFC477QB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#eg-2 (example). In N54F33XE07, eg, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Hindman's theorem ABKKE20FV3
| URI | m2://inv/ABKKE20FV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IP set#5P0W, Hindman's theorem (statement)
History
- 2026-11-02: add by m2/dev
atom ABKN58WSKT
| URI | m2://inv/ABKN58WSKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#TV46, atom (definition)
History
- 2026-11-02: add by m2/dev
Hexaoctagonal tiling ABKNHNB8FH
| URI | m2://inv/ABKNHNB8FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexaoctagonal tiling, Hexaoctagonal tiling (definition). Also Wikidata Q17029277
History
- 2026-11-02: add by m2/dev
ABM36TY1DQ ABM36TY1DQ
| URI | m2://inv/ABM36TY1DQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#DQS1 (statement). In 6KR7Z5ETRY/e1, lemma 2.28
History
- 2026-10-27: add by m2/v0.3.5
Weill point ABM43FFAGP
| URI | m2://inv/ABM43FFAGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130278656, Weill point (unknown). Also MathWorld WeillPoint
History
- 2026-10-26: add by m2/dev
ABM80GPP2S ABM80GPP2S
| URI | m2://inv/ABM80GPP2S |
|---|---|
| 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.15013#S04T (statement). In JB837X6D1Q/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
One-loop permutation dilatation operator ABM8MDD4B6
| URI | m2://inv/ABM8MDD4B6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#P5XD, One-loop permutation dilatation operator (definition). In 5MJ4NJ5ZCV/e1, definition 2.24
History
- 2026-10-28: add by m2/v0.4.3
Gaussian marginals of the OU process ABMC4ZNX8D
| URI | m2://inv/ABMC4ZNX8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32026#RTRM, Gaussian marginals of the OU process (statement). In KM6PX54YFZ/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Approximation algorithms for the geometric set cover problem ABMCN4R59N
| URI | m2://inv/ABMCN4R59N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric set cover problem#PLXW, Approximation algorithms for the geometric set cover problem (unknown)
History
- 2026-11-02: add by m2/dev
Vysochanskij–Petunin inequality ABMN5EY2VN
| URI | m2://inv/ABMN5EY2VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#EI7O, Vysochanskij–Petunin inequality (statement)
History
- 2026-11-02: add by m2/dev
ABMP3WRB8M ABMP3WRB8M
| URI | m2://inv/ABMP3WRB8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21545#NWHD (statement). In 1Q3H75330M/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Henry Louis Rietz ABMPFT91JJ
| URI | m2://inv/ABMPFT91JJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#FWJS, Henry Louis Rietz (topic)
History
- 2026-11-02: add by m2/dev
ABMSPKETVJ ABMSPKETVJ
| URI | m2://inv/ABMSPKETVJ |
|---|---|
| Kind | conjecture |
| 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.37093#4S50 (conjecture). In GA6QH32CJQ/e1, conjecture 14
History
- 2026-10-30: add by m2/v0.4.12
ABMTFPHHGN ABMTFPHHGN
| URI | m2://inv/ABMTFPHHGN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#HFG0 (definition). In APD8GE0E4F/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Ida Craven Merriam ABNCV8DNE0
| URI | m2://inv/ABNCV8DNE0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ida Craven Merriam, Ida Craven Merriam (topic). Also Wikidata Q25983104
History
- 2026-11-02: add by m2/dev
Metastability ABNE22ZB96
| URI | m2://inv/ABNE22ZB96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metastability, Metastability (definition). Also Wikidata Q849516
History
- 2026-11-02: add by m2/dev
ABNJBKGMCE ABNJBKGMCE
| URI | m2://inv/ABNJBKGMCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30015#HA20 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition ABNXBJVRRH
| URI | m2://inv/ABNXBJVRRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behrens–Fisher distribution#RTK3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications ABNYEXY2MQ
| URI | m2://inv/ABNYEXY2MQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrence relation#FAUU, Applications (example)
History
- 2026-11-02: add by m2/dev
ABNYJFS932 ABNYJFS932
| URI | m2://inv/ABNYJFS932 |
|---|---|
| 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.29918#348R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Magic cube ABNYR65BAR
| URI | m2://inv/ABNYR65BAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#8KFR, Magic cube (definition)
History
- 2026-11-02: add by m2/dev
Vladimir Arnold ABP0VYN0N9
| URI | m2://inv/ABP0VYN0N9 |
|---|---|
| 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 Q157642, Vladimir Arnold (unknown). Also nLab Vladimir Arnold, ProofWiki Mathematician:Vladimir_Igorevich_Arnold
- wikipedia: Wikipedia Vladimir Arnold, Vladimir Arnold (topic). Also Wikidata Q157642
History
- 2026-10-26: add by m2/dev
Stability gap ABP66E38Z7
| URI | m2://inv/ABP66E38Z7 |
|---|---|
| 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 2610.05354#BK2G, Stability gap (statement). In TZ5BMDXRQZ/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Separation axiom ABP9VBQ3JJ
| URI | m2://inv/ABP9VBQ3JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#YVLN, Separation axiom (statement)
History
- 2026-11-02: add by m2/dev
Shared information bias ABPAK83A0B
| URI | m2://inv/ABPAK83A0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#GHYS, Shared information bias (unknown)
History
- 2026-11-02: add by m2/dev
ABPF658B1Q ABPF658B1Q
| URI | m2://inv/ABPF658B1Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#264R (definition). In X765ZXXVC3/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.12
ABPHG1D7X5 ABPHG1D7X5
| URI | m2://inv/ABPHG1D7X5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Applications ABPYBXPF23
| URI | m2://inv/ABPYBXPF23 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laminar set family#TYDD, Applications (example)
History
- 2026-11-02: add by m2/dev
ABPZ2QBGZN ABPZ2QBGZN
| URI | m2://inv/ABPZ2QBGZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#MNR0 (statement). In 7PACGDW3N7/e1, lemma 22.2
History
- 2026-10-27: add by m2/v0.4.0
Variations ABQ0WA81GX
| URI | m2://inv/ABQ0WA81GX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal icositetrahedron#JZ4E, Variations (statement)
History
- 2026-11-02: add by m2/dev
ABQ2JT5W27 ABQ2JT5W27
| URI | m2://inv/ABQ2JT5W27 |
|---|---|
| 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.18239#IOWJ (statement). In C60WZ6WQSY/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
ABQ4Z5XS4E ABQ4Z5XS4E
| URI | m2://inv/ABQ4Z5XS4E |
|---|---|
| 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 2606.02312#XJ8D (statement). In 1SZV94R22Y/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
ABQ57EW8CR ABQ57EW8CR
| URI | m2://inv/ABQ57EW8CR |
|---|---|
| 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.06419#3NN1 (statement). In JSZRXT3W3E/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Compound of six decagonal prisms ABQ6RHHNM9
| URI | m2://inv/ABQ6RHHNM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4LGB, Compound of six decagonal prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#S9QR, Compound of six decagonal prisms (definition)
History
- 2026-11-02: add by m2/dev
ABQB0BBGCY ABQB0BBGCY
| URI | m2://inv/ABQB0BBGCY |
|---|---|
| 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.21945#55AY (statement). In 371P9QASSJ/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.4.2
First-order theory ABQG0HW7M8
| URI | m2://inv/ABQG0HW7M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#WT31, First-order theory (definition)
History
- 2026-11-02: add by m2/dev
Continuity ABQQ8H4P1T
| URI | m2://inv/ABQQ8H4P1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#JDGW, Continuity (statement)
History
- 2026-11-02: add by m2/dev
ABQRGJ5PAK ABQRGJ5PAK
| URI | m2://inv/ABQRGJ5PAK |
|---|---|
| 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 2510.12502#NG5Q (statement). In 3A4K47Y9F2/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.0
List of countries by largest historical GDP ABQZH1QTVF
| URI | m2://inv/ABQZH1QTVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by largest historical GDP, List of countries by largest historical GDP (topic). Also Wikidata Q4561905
History
- 2026-11-02: add by m2/dev
ABR34HKXRZ ABR34HKXRZ
| URI | m2://inv/ABR34HKXRZ |
|---|---|
| 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#1RUN (statement). In S26QVW5613/e1, proposition 3.8.5
History
- 2026-10-30: add by m2/v0.4.12
ABRBT3PPVK ABRBT3PPVK
| URI | m2://inv/ABRBT3PPVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.25801#VBLP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Noetherian module ABRFGBA9T3
| URI | m2://inv/ABRFGBA9T3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > Noetherian module, Noetherian module (unknown). Also Mathlib IsNoetherian
History
- 2026-10-26: add by m2/dev
ABRSDWJ43J ABRSDWJ43J
| URI | m2://inv/ABRSDWJ43J |
|---|---|
| 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 2207.12181#A5UO (statement). In FSD8NE3XSR/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
Prescribed expected Favard length decay ABRXHBWWQ1
| URI | m2://inv/ABRXHBWWQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#IPI0, Prescribed expected Favard length decay (statement). In 95YZVAPGJA/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
Strong consistency of empirical regimes ABRY4MFNE7
| URI | m2://inv/ABRY4MFNE7 |
|---|---|
| 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.08821#DLIZ, Strong consistency of empirical regimes (statement). In KP1THB2C09/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
ABS1FY2A7N ABS1FY2A7N
| URI | m2://inv/ABS1FY2A7N |
|---|---|
| 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.18106#RFOO (statement). In VZDPG7NJCX/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
ABSC31FRZ6 ABSC31FRZ6
| URI | m2://inv/ABSC31FRZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03368#BG7Q (statement). In 1X4EY4YCQJ/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
ABSD5Z3TJK ABSD5Z3TJK
| URI | m2://inv/ABSD5Z3TJK |
|---|---|
| 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.31910#QSHF (statement). In E4EK1XXPY4/e1, proposition 6.4
History
- 2026-10-31: add by m2/v0.5.6
ABSDNRPJ7H ABSDNRPJ7H
| URI | m2://inv/ABSDNRPJ7H |
|---|---|
| Kind | definition |
| 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#OD3L (definition). In 2W5Z97BBW4/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
ABSF448JXP ABSF448JXP
| URI | m2://inv/ABSF448JXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#ACY6 (statement). In NAMCCRM50R/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
ABSJPJSWBR ABSJPJSWBR
| URI | m2://inv/ABSJPJSWBR |
|---|---|
| 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 2610.14080#6B4T (statement). In 1DRD5FAJ4C/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
ABSK9ZAW8A ABSK9ZAW8A
| URI | m2://inv/ABSK9ZAW8A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#lem:nconnected_postcomp (statement). In N54F33XE07, lem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
error analysis ABSN912WH3
| URI | m2://inv/ABSN912WH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 65Gxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25340358, error analysis (topic)
- wikipedia: Wikipedia Error analysis (mathematics), Error analysis (topic). Also Wikidata Q25340358
History
- 2026-10-26: add by m2/dev
Law of thought ABSVM31N2C
| URI | m2://inv/ABSVM31N2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of thought, Law of thought (statement). Also Wikidata Q1187945
History
- 2026-11-02: add by m2/dev
Free convolution ABTBDTVY0R
| URI | m2://inv/ABTBDTVY0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free convolution, Free convolution (definition). Also Wikidata Q5500208
History
- 2026-11-02: add by m2/dev
ABTJ56A1A1 ABTJ56A1A1
| URI | m2://inv/ABTJ56A1A1 |
|---|---|
| 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.10474#95LU (statement). In MB29RAAQMG/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
ABTRK1VSV5 ABTRK1VSV5
| URI | m2://inv/ABTRK1VSV5 |
|---|---|
| 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.26089#ATYS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example ABTTJXFSDZ
| URI | m2://inv/ABTTJXFSDZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machin-like formula#7P22, Example (example)
History
- 2026-11-02: add by m2/dev
strong duality ABTXVEF0J7
| URI | m2://inv/ABTXVEF0J7 |
|---|---|
| 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.14364#E8QW, strong duality (statement). In GTA6B7SW2V/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Examples ABV70GEFXD
| URI | m2://inv/ABV70GEFXD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbard's theorem#77PT, Examples (example)
History
- 2026-11-02: add by m2/dev
ABVDZ8615Z ABVDZ8615Z
| URI | m2://inv/ABVDZ8615Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0709.4546#T9G5 (statement). In 7H5Q5M7W96/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Eckart Viehweg ABVH00V8S7
| URI | m2://inv/ABVH00V8S7 |
|---|---|
| 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 Q78406, Eckart Viehweg (unknown). Also nLab Eckart Viehweg
- wikipedia: Wikipedia Eckart Viehweg, Eckart Viehweg (topic). Also Wikidata Q78406
History
- 2026-10-26: add by m2/dev
ABVK8BVZCE ABVK8BVZCE
| URI | m2://inv/ABVK8BVZCE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22272#YJT0 (problem). In 4VZV5V0YD6/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
Bayesian Analysis ABWP6448SZ
| URI | m2://inv/ABWP6448SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#3DMR, Bayesian Analysis (definition)
History
- 2026-11-02: add by m2/dev
Special cases ABWPV09AKR
| URI | m2://inv/ABWPV09AKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albertson conjecture#MDRQ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
ABWS2DF67C ABWS2DF67C
| URI | m2://inv/ABWS2DF67C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/connectives.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
Mount Mikuni (Hokkaido) ABWW6WQ5HD
| URI | m2://inv/ABWW6WQ5HD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Z3D6, Mount Mikuni (Hokkaido) (unknown)
History
- 2026-11-02: add by m2/dev
Frame-Stewart algorithm ABX311XJTY
| URI | m2://inv/ABX311XJTY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tower of Hanoi#TTP2, Frame-Stewart algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Stone-Cech compactification ABX31E6510
| URI | m2://inv/ABX31E6510 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > Stone-Cech compactification, Stone-Cech compactification (unknown). Also Mathlib StoneCech
History
- 2026-10-26: add by m2/dev
Regularity dichotomy ABX3BNJ8RT
| URI | m2://inv/ABX3BNJ8RT |
|---|---|
| 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.29605#UCXH, Regularity dichotomy (statement)
History
- 2026-11-01: add by m2/v0.6.15
ABX5F441T1 ABX5F441T1
| URI | m2://inv/ABX5F441T1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:hiit-plump (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
ABXA99X7Z0 ABXA99X7Z0
| URI | m2://inv/ABXA99X7Z0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#MU6V (definition). In XJWQ6Y83F8/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
ABXE6CD9V6 ABXE6CD9V6
| URI | m2://inv/ABXE6CD9V6 |
|---|---|
| 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.24412#5L9U (statement)
History
- 2026-11-01: add by m2/v0.6.15
ABXJX03K6M ABXJX03K6M
| URI | m2://inv/ABXJX03K6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.40017#F65R (statement). In MBHJA0HT06/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
ABXM10CDWJ ABXM10CDWJ
| URI | m2://inv/ABXM10CDWJ |
|---|---|
| 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.21945#SZBL (statement). In 371P9QASSJ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
The algorithm ABXQPY69HC
| URI | m2://inv/ABXQPY69HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KASUMI#0JKL, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
ABXW699EMC ABXW699EMC
| URI | m2://inv/ABXW699EMC |
|---|---|
| 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 2204.01073#2WLQ (statement). In W4TYN4PGE8/e1, lemma 3.16
History
- 2026-10-27: add by m2/v0.3.5
ABY11CRDPA ABY11CRDPA
| URI | m2://inv/ABY11CRDPA |
|---|---|
| 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.27641#Q2XF (statement)
History
- 2026-11-01: add by m2/v0.6.15
ABY4F7397Y ABY4F7397Y
| URI | m2://inv/ABY4F7397Y |
|---|---|
| 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.20909#V9U1 (statement). In 7ZBX5WVEZP/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
ABYG7CZR2Z ABYG7CZR2Z
| URI | m2://inv/ABYG7CZR2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#7U8P (statement). In PQHTR84RAJ/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.4.0
ABYGNJGY5E ABYGNJGY5E
| URI | m2://inv/ABYGNJGY5E |
|---|---|
| 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.27941#ETUZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
ABYRATNXP9 ABYRATNXP9
| URI | m2://inv/ABYRATNXP9 |
|---|---|
| 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.05506#ESG9 (statement). In FT53PMB1TE/e1, lemma 5.2.6
History
- 2026-10-29: add by m2/v0.4.10
ABZ17SHZ5E ABZ17SHZ5E
| URI | m2://inv/ABZ17SHZ5E |
|---|---|
| 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.21752#0IIY (statement). In E4DJTPKHAX/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.4.2
Olga Hahn-Neurath ABZAG6KQQ4
| URI | m2://inv/ABZAG6KQQ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#XMTD, Olga Hahn-Neurath (topic)
History
- 2026-11-02: add by m2/dev
hyperbolic function ABZGTRQD09
| URI | m2://inv/ABZGTRQD09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Hyperbolic functions 01PPDSDP2N |
Mentions
- wikidata: Wikidata Q204034, hyperbolic function (definition). Also MathWorld HyperbolicFunctions, ProofWiki Definition:Hyperbolic_Function
- wikipedia: Wikipedia Hyperbolic functions, Hyperbolic functions (definition). Also Wikidata Q204034
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Tits group ABZPVCY48R
| URI | m2://inv/ABZPVCY48R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#BY72, Tits group (definition)
History
- 2026-11-02: add by m2/dev