Inventory rows 5V
The cards of the rows of the inventory whose ids start with 5V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Minimum representation of the discrete rearrangement 5V02WBWQ4X
| URI | m2://inv/5V02WBWQ4X |
|---|---|
| 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.05313#T9LW, Minimum representation of the discrete rearrangement (statement). In 8XPN1A2GR0/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Conceptual pragmatism 5V09Z01G7K
| URI | m2://inv/5V09Z01G7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatism#P6HX, Conceptual pragmatism (unknown)
History
- 2026-11-02: add by m2/dev
5V0A5CC1G1 5V0A5CC1G1
| URI | m2://inv/5V0A5CC1G1 |
|---|---|
| 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.20583#0GL3 (statement). In 5YEEPDPAQE/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Ky Fan 5V0B1EXB8A
| URI | m2://inv/5V0B1EXB8A |
|---|---|
| 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 Q330103, Ky Fan (unknown). Also ProofWiki Mathematician:Ky_Fan
History
- 2026-10-26: add by m2/dev
5V0EGDWV43 5V0EGDWV43
| URI | m2://inv/5V0EGDWV43 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37093#G3ME (example). In GA6QH32CJQ/e1, example 18
History
- 2026-10-30: add by m2/v0.4.12
5V0JDP7B1Y 5V0JDP7B1Y
| URI | m2://inv/5V0JDP7B1Y |
|---|---|
| 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.30637#NWDX (statement). In 6G1KBA0SXV/e1, proposition 3.28
History
- 2026-10-31: add by m2/v0.5.6
Experience sampling method 5V0NV466C1
| URI | m2://inv/5V0NV466C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Experience sampling method, Experience sampling method (definition). Also Wikidata Q5421061
History
- 2026-11-02: add by m2/dev
5V0R4NJ798 5V0R4NJ798
| URI | m2://inv/5V0R4NJ798 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 49.2
History
- 2026-11-01: add by m2/v0.6.13
5V0RZVBQ1T 5V0RZVBQ1T
| URI | m2://inv/5V0RZVBQ1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#JB91 (statement). In 7CK21JGM5A/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.4.2
A universal Gaussian-binomial envelope 5V0WA3M17G
| URI | m2://inv/5V0WA3M17G |
|---|---|
| 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#NBGJ, A universal Gaussian-binomial envelope (statement)
History
- 2026-11-01: add by m2/v0.6.15
Subsumptive containment hierarchy 5V18ZNS5Y8
| URI | m2://inv/5V18ZNS5Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchy#0GXF, Subsumptive containment hierarchy (unknown)
History
- 2026-11-02: add by m2/dev
Properties of ERP $\GG_2$-Structures 5V1AWQVV45
| URI | m2://inv/5V1AWQVV45 |
|---|---|
| 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.34154#UQ6J, Properties of ERP $\GG_2$-Structures (statement). In VPET0W9RFS/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
5V1BD2756K 5V1BD2756K
| URI | m2://inv/5V1BD2756K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.28076#W3ZP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ribet's theorem 5V1C3YDQDY
| URI | m2://inv/5V1C3YDQDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiles's proof of Fermat's Last Theorem#5YH2, Ribet's theorem (statement)
History
- 2026-11-02: add by m2/dev
Center for Irish Programs 5V1HWJZMAP
| URI | m2://inv/5V1HWJZMAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#SNY9, Center for Irish Programs (unknown)
History
- 2026-11-02: add by m2/dev
5V1PCZBZGP 5V1PCZBZGP
| URI | m2://inv/5V1PCZBZGP |
|---|---|
| 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 2104.00162#1SIV (statement). In HVGT9D84WV/e1, proposition 1.36
History
- 2026-10-27: add by m2/v0.3.5
5V1T3V7NMJ 5V1T3V7NMJ
| URI | m2://inv/5V1T3V7NMJ |
|---|---|
| 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 2409.20170#31TH (definition). In QXJP79APHN/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.3.5
5V1VS10AE4 5V1VS10AE4
| URI | m2://inv/5V1VS10AE4 |
|---|---|
| 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.26477#M1E5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Newman's lemma 5V25SQ90KF
| URI | m2://inv/5V25SQ90KF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newman's lemma#G5RA, Newman's lemma (statement)
History
- 2026-11-02: add by m2/dev
5V2FB53SVQ 5V2FB53SVQ
| URI | m2://inv/5V2FB53SVQ |
|---|---|
| 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/9802134#TJOC (definition). In 235B1J1ETB/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
5V2KJSPNJZ 5V2KJSPNJZ
| URI | m2://inv/5V2KJSPNJZ |
|---|---|
| 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#N2RR (definition). In X765ZXXVC3/e1, definition 4.10
History
- 2026-10-29: add by m2/v0.4.12
Mathematical Society of the Philippines 5V2SRJ2ZC0
| URI | m2://inv/5V2SRJ2ZC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#JRVW, Mathematical Society of the Philippines (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert manifold 5V2WD0R0FJ
| URI | m2://inv/5V2WD0R0FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#98QX, Hilbert manifold (definition)
History
- 2026-11-02: add by m2/dev
Derivation starting from operator axioms 5V2WVK446S
| URI | m2://inv/5V2WVK446S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koopman–von Neumann classical mechanics#4F5M, Derivation starting from operator axioms (statement)
History
- 2026-11-02: add by m2/dev
SABR volatility model 5V2ZD51DVK
| URI | m2://inv/5V2ZD51DVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SABR volatility model, SABR volatility model (definition). Also Wikidata Q7388452
History
- 2026-11-02: add by m2/dev
Alon–Yuster conjecture 5V3AVW2NPJ
| URI | m2://inv/5V3AVW2NPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blow-up lemma#JEE8, Alon–Yuster conjecture (statement)
History
- 2026-11-02: add by m2/dev
continuum hypothesis 5V3E0HH9NZ
| URI | m2://inv/5V3E0HH9NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#CCP3, continuum hypothesis (definition)
History
- 2026-11-02: add by m2/dev
Order-5 truncated pentagonal hexecontahedron 5V3FJEDSW7
| URI | m2://inv/5V3FJEDSW7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 truncated pentagonal hexecontahedron, Order-5 truncated pentagonal hexecontahedron (object). Also Wikidata Q30590674
History
- 2026-11-02: add by m2/dev
Amortized trial and oracle counts 5V3G863TQ0
| URI | m2://inv/5V3G863TQ0 |
|---|---|
| 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#L06C, Amortized trial and oracle counts (statement). In VV5CH6Y31D/e1, proposition B.6
History
- 2026-10-29: add by m2/v0.4.10
Nicomachus 5V3QVGZFFB
| URI | m2://inv/5V3QVGZFFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#6FBB, Nicomachus (unknown)
History
- 2026-11-02: add by m2/dev
5V3YZHHWEC 5V3YZHHWEC
| URI | m2://inv/5V3YZHHWEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#PKDG (statement). In HH35K7S17H/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 5V4DWGYCA0
| URI | m2://inv/5V4DWGYCA0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly compact cardinal#POYU, Properties (statement)
History
- 2026-11-02: add by m2/dev
5V4GZR7MFC 5V4GZR7MFC
| URI | m2://inv/5V4GZR7MFC |
|---|---|
| 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.21489#O1EW (statement). In R0Q0RV8XCF/e1, lemma 4.16
History
- 2026-10-27: add by m2/v0.4.2
Henyey–Greenstein phase function 5V4HV6Z5Z2
| URI | m2://inv/5V4HV6Z5Z2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#0D8B, Henyey–Greenstein phase function (unknown)
History
- 2026-11-02: add by m2/dev
5V4KP2HKT6 5V4KP2HKT6
| URI | m2://inv/5V4KP2HKT6 |
|---|---|
| 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#0NGB (definition)
History
- 2026-11-02: add by m2/v0.6.18
5V4M8PC2HW 5V4M8PC2HW
| URI | m2://inv/5V4M8PC2HW |
|---|---|
| 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 2503.00440#MNW5 (statement). In 3HMRK8KEVD/e1, fact 2.4
History
- 2026-10-27: add by m2/v0.3.6
5V4MWJ9EER 5V4MWJ9EER
| URI | m2://inv/5V4MWJ9EER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18922#Q6MM (statement). In 6FKDYENQ8M/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
SOFA Statistics 5V4P6ZZQ1T
| URI | m2://inv/5V4P6ZZQ1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SOFA Statistics, SOFA Statistics (definition). Also Wikidata Q7392037
History
- 2026-11-02: add by m2/dev
5V4WV74HW7 5V4WV74HW7
| URI | m2://inv/5V4WV74HW7 |
|---|---|
| Kind | definition |
| 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.10505#3PT1 (definition). In JW8HH6EPG2/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Amy Adler 5V503227ZZ
| URI | m2://inv/5V503227ZZ |
|---|---|
| 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#DZFX, Amy Adler (unknown)
History
- 2026-11-02: add by m2/dev
5V555HXQ0Z 5V555HXQ0Z
| URI | m2://inv/5V555HXQ0Z |
|---|---|
| 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.23779#GWYO (statement)
History
- 2026-11-02: add by m2/v0.6.17
adjoint, functor 5V55DR9AGX
| URI | m2://inv/5V55DR9AGX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.5/adjoint-functor, adjoint, functor (concept). In N54F33XE07, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
5V571CNH1Y 5V571CNH1Y
| URI | m2://inv/5V571CNH1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_binom-app.ptx#lemma-1 (statement). In QKM9DD2H56, lemma, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
5V57JDMEKT 5V57JDMEKT
| URI | m2://inv/5V57JDMEKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28403#N54T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 5V5902A00J
| URI | m2://inv/5V5902A00J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing graph#CI2S, Examples (example)
History
- 2026-11-02: add by m2/dev
5V5ADKMB9M 5V5ADKMB9M
| URI | m2://inv/5V5ADKMB9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33552#SX8F (statement). In SRAS2DJJQH/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
732 symmetry 5V5C4GBPTC
| URI | m2://inv/5V5C4GBPTC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#RJE1, 732 symmetry (object)
History
- 2026-11-02: add by m2/dev
Finite lattice representation problem 5V5FMC5XDC
| URI | m2://inv/5V5FMC5XDC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#4KYQ, Finite lattice representation problem (conjecture)
History
- 2026-11-02: add by m2/dev
Definition 5V5QJ1Y34C
| URI | m2://inv/5V5QJ1Y34C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group ring#O4LO, Definition (definition)
History
- 2026-11-02: add by m2/dev
5V5QJDAGWB 5V5QJDAGWB
| URI | m2://inv/5V5QJDAGWB |
|---|---|
| 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#38MO (statement). In 3A4K47Y9F2/e1, theorem 4.31
History
- 2026-10-27: add by m2/v0.4.0
Angle of roll 5V5S58WWVT
| URI | m2://inv/5V5S58WWVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aircraft principal axes#Y9IR, Angle of roll (unknown)
History
- 2026-11-02: add by m2/dev
Properties 5V5SNB5FRR
| URI | m2://inv/5V5SNB5FRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baer–Specker group#K1AQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hilbert–Speiser theorem 5V5VMWZ735
| URI | m2://inv/5V5VMWZ735 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527093, Hilbert–Speiser theorem (statement). Also Wikidata Q3527093
- thousand_plus: thousand_plus Q3527093, Hilbert–Speiser theorem (statement). Also Wikidata Q3527093, Wikipedia Hilbert–Speiser theorem
- wikipedia: Wikipedia Hilbert–Speiser theorem, Hilbert–Speiser theorem (statement). Also Wikidata Q3527093
History
- 2026-10-26: add by m2/dev
Periodic function 5V5ZW6Y7TT
| URI | m2://inv/5V5ZW6Y7TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#P90U, Periodic function (definition)
History
- 2026-11-02: add by m2/dev
Graph of a partial function 5V60FJBYEF
| URI | m2://inv/5V60FJBYEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/partial-functions.tex#defn-2, Graph of a partial function (definition). In PKGMM3P5QY, defn, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
Example 5V655M5BPA
| URI | m2://inv/5V655M5BPA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compacton#WT90, Example (example)
History
- 2026-11-02: add by m2/dev
alveoli 5V6AJRZ8F3
| URI | m2://inv/5V6AJRZ8F3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#98GU, alveoli (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the inequality 5V6B38DC48
| URI | m2://inv/5V6B38DC48 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golod–Shafarevich theorem#9KPK, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
Clifford bundle 5V6F92VPZ0
| URI | m2://inv/5V6F92VPZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5133084, Clifford bundle (unknown). Also nLab Clifford bundle
- wikipedia: Wikipedia Clifford bundle, Clifford bundle (definition). Also Wikidata Q5133084
History
- 2026-10-26: add by m2/dev
5V6FQHBVVR 5V6FQHBVVR
| URI | m2://inv/5V6FQHBVVR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-basics.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Guido Ascoli 5V6HQM9CQE
| URI | m2://inv/5V6HQM9CQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#Z3L1, Guido Ascoli (topic)
History
- 2026-11-02: add by m2/dev
List of things named after James Joseph Sylvester 5V6HWSVBQV
| URI | m2://inv/5V6HWSVBQV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#3GR1, List of things named after James Joseph Sylvester (topic)
History
- 2026-11-02: add by m2/dev
Sylvester's theorem 5V6PCQAK2Z
| URI | m2://inv/5V6PCQAK2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NMPD, Sylvester's theorem (definition)
History
- 2026-11-02: add by m2/dev
5V6PN2G5BG 5V6PN2G5BG
| URI | m2://inv/5V6PN2G5BG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-106 (exercise). In E9HS8K3A52, exercise, section 5.9.1
History
- 2026-11-01: add by m2/v0.6.13
5V7548NPYT 5V7548NPYT
| URI | m2://inv/5V7548NPYT |
|---|---|
| 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.10527#1SNY (statement). In 9AXPPWBA9R/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
5V7E0CS1NM 5V7E0CS1NM
| URI | m2://inv/5V7E0CS1NM |
|---|---|
| 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.10570#NMPE (statement). In V0MA250K2P/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
An approximation formula given in Wucao suanjing 5V7E2JE30A
| URI | m2://inv/5V7E2JE30A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wucao Suanjing#PUFK, An approximation formula given in Wucao suanjing (statement)
History
- 2026-11-02: add by m2/dev
5V7KAXMGM7 5V7KAXMGM7
| URI | m2://inv/5V7KAXMGM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#EPU3 (statement). In 751KSRS7WT/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Earthquake map 5V7V57X5PM
| URI | m2://inv/5V7V57X5PM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earthquake map, Earthquake map (definition). Also Wikidata Q5327274
History
- 2026-11-02: add by m2/dev
5V7VE275E5 5V7VE275E5
| URI | m2://inv/5V7VE275E5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-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.14160#0WSE (definition). In Y4TP36M0C7/e1, definition 13
History
- 2026-10-28: add by m2/v0.4.2
indecomposable 5V86QNKMNV
| URI | m2://inv/5V86QNKMNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#6UT8, indecomposable (definition)
History
- 2026-11-02: add by m2/dev
5V8AJJ8BYJ 5V8AJJ8BYJ
| URI | m2://inv/5V8AJJ8BYJ |
|---|---|
| Kind | definition |
| 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#9JGQ (definition). In X38P26DK6S/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
Algeria Mathematical Society 5V8AY9F8A1
| URI | m2://inv/5V8AY9F8A1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#T0SQ, Algeria Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
5V8D41QT9T 5V8D41QT9T
| URI | m2://inv/5V8D41QT9T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/comparing-size.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.3
History
- 2026-11-01: add by m2/v0.6.13
Median test 5V8E97FKBX
| URI | m2://inv/5V8E97FKBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6MT0, Median test (definition)
History
- 2026-11-02: add by m2/dev
5V8FEJGKV3 5V8FEJGKV3
| URI | m2://inv/5V8FEJGKV3 |
|---|---|
| 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.20568#OIID (statement)
History
- 2026-11-02: add by m2/v0.6.18
5V8GARGFKR 5V8GARGFKR
| URI | m2://inv/5V8GARGFKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#SUFV (statement). In AVDB4KJ6XB/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Banach fixed-point theorem 5V8R69N4BS
| URI | m2://inv/5V8R69N4BS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#X7EE, Banach fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
5V94PQ09T3 5V94PQ09T3
| URI | m2://inv/5V94PQ09T3 |
|---|---|
| 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#1PKV (statement). In 6KR7Z5ETRY/e1, theorem 4.15
History
- 2026-10-27: add by m2/v0.3.5
George David Birkhoff 5V9A03W4HW
| URI | m2://inv/5V9A03W4HW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#BITH, George David Birkhoff (topic)
History
- 2026-11-02: add by m2/dev
The pooled limit 5V9BH4R89C
| URI | m2://inv/5V9BH4R89C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.09602#4KWX, The pooled limit (statement). In 4AQ48WSBDQ/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
NTU method 5V9G9RANWD
| URI | m2://inv/5V9G9RANWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NTU method, NTU method (definition). Also Wikidata Q905855
History
- 2026-11-02: add by m2/dev
Atkinson–Mingarelli theorem 5V9M83CG4J
| URI | m2://inv/5V9M83CG4J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atkinson–Mingarelli theorem, Atkinson–Mingarelli theorem (statement). Also Wikidata Q4815937
History
- 2026-11-02: add by m2/dev
Map-Airy distribution 5V9NQ7NV2M
| URI | m2://inv/5V9NQ7NV2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#TFUX, Map-Airy distribution (unknown)
History
- 2026-11-02: add by m2/dev
5V9R0F5WFY 5V9R0F5WFY
| URI | m2://inv/5V9R0F5WFY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-4 (example). In RZP28ERRZV, example, section 21.3
History
- 2026-11-01: add by m2/v0.6.13
5V9ZN0008F 5V9ZN0008F
| URI | m2://inv/5V9ZN0008F |
|---|---|
| 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#LAG9 (statement). In P9J6P06Y40/e1, lemma 4.22
History
- 2026-10-27: add by m2/v0.3.5
Hierarchical Dirichlet process 5VA066NCRD
| URI | m2://inv/5VA066NCRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchical Dirichlet process, Hierarchical Dirichlet process (definition). Also Wikidata Q5753066
History
- 2026-11-02: add by m2/dev
Reduction of a transitive groupoid to isotropy 5VA1QPANS5
| URI | m2://inv/5VA1QPANS5 |
|---|---|
| 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.25987#VRTZ, Reduction of a transitive groupoid to isotropy (statement)
History
- 2026-11-01: add by m2/v0.6.15
Predictable process 5VA2HTJP29
| URI | m2://inv/5VA2HTJP29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictable process, Predictable process (definition). Also Wikidata Q392003
History
- 2026-11-02: add by m2/dev
Planar discrete Gaussian 5VA6PJMB0E
| URI | m2://inv/5VA6PJMB0E |
|---|---|
| Kind | definition |
| 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.14085#491V, Planar discrete Gaussian (definition). In T8F19ZGHF3/e1, definition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Examples 5VAA87CY1E
| URI | m2://inv/5VAA87CY1E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systemic intervention#GVFL, Examples (example)
History
- 2026-11-02: add by m2/dev
5VAC9AA00B 5VAC9AA00B
| URI | m2://inv/5VAC9AA00B |
|---|---|
| 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.07530#B4SR (statement). In C7QZ0VPBC8/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
5VAEBH1HB9 5VAEBH1HB9
| URI | m2://inv/5VAEBH1HB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.14160#DNO1 (statement). In Y4TP36M0C7/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Proposition 5VAEG6735Q
| URI | m2://inv/5VAEG6735Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split-biquaternion#GBMN, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Circular paraboloid 5VB16T2KPT
| URI | m2://inv/5VB16T2KPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paraboloid#DC06, Circular paraboloid (unknown)
History
- 2026-11-02: add by m2/dev
Examples 5VBEGPR5J5
| URI | m2://inv/5VBEGPR5J5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized space#AOIX, Examples (example)
History
- 2026-11-02: add by m2/dev
$\dot H^{-1}$ bound 5VBF5ER2YE
| URI | m2://inv/5VBF5ER2YE |
|---|---|
| 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 2610.20106#EK8V, $\dot H^{-1}$ bound (statement). In 6HMZ36ZBXA/e1, lemma 6.13
History
- 2026-10-27: add by m2/v0.4.2
5VBGJA03H0 5VBGJA03H0
| URI | m2://inv/5VBGJA03H0 |
|---|---|
| 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.20480#YZRF (statement). In BK4359JSC3/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
5VBJ982QF0 5VBJ982QF0
| URI | m2://inv/5VBJ982QF0 |
|---|---|
| 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.25717#LG4C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complete state controllability 5VBJJY1715
| URI | m2://inv/5VBJJY1715 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controllability#OD12, Complete state controllability (definition)
- wikipedia: Wikipedia Controllability#WS3P, controllability (definition)
History
- 2026-11-02: add by m2/dev
A bound in terms of recursion depth and off-backbone depth 5VBKAYKR3V
| URI | m2://inv/5VBKAYKR3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.34025#4KOB, A bound in terms of recursion depth and off-backbone depth (statement). In VCG579E7MM/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
partition of a set 5VBN0M01EZ
| URI | m2://inv/5VBN0M01EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Partition of a set 08QMKTWF9T |
Mentions
- wikidata: Wikidata Q381060, partition of a set (definition). Also MathWorld SetPartition, ProofWiki Definition:Set_Partition
- wikipedia: Wikipedia Partition of a set, Partition of a set (definition). Also Wikidata Q381060
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Curtis Callan 5VBWQTX28K
| URI | m2://inv/5VBWQTX28K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#IFYU, Curtis Callan (unknown)
History
- 2026-11-02: add by m2/dev
Example 5VC1E6YY5V
| URI | m2://inv/5VC1E6YY5V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regret (decision theory)#HNZC, Example (example)
History
- 2026-11-02: add by m2/dev
5VC3EECE0G 5VC3EECE0G
| URI | m2://inv/5VC3EECE0G |
|---|---|
| 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.04671#0136 (statement). In BYP65TRGDT/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
5VC73DMY5R 5VC73DMY5R
| URI | m2://inv/5VC73DMY5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#FU4W (statement). In JPYGC2R3FC/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.6
5VCCC438P0 5VCCC438P0
| URI | m2://inv/5VCCC438P0 |
|---|---|
| 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 2604.10080#LDHR (statement). In KM2FWKP93A/e1, corollary 4.12
History
- 2026-10-27: add by m2/v0.4.0
5VCTW26KM6 5VCTW26KM6
| URI | m2://inv/5VCTW26KM6 |
|---|---|
| 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.21036#1KYA (statement). In G0M4N3E0CG/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
5VCW49MP6B 5VCW49MP6B
| URI | m2://inv/5VCW49MP6B |
|---|---|
| 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.26041#2DCB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Combinatorial explosion 5VCWY2HARA
| URI | m2://inv/5VCWY2HARA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial explosion, Combinatorial explosion (definition). Also Wikidata Q2668364
History
- 2026-11-02: add by m2/dev
Backman--Eur--Simpson 5VCXGRT4YQ
| URI | m2://inv/5VCXGRT4YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.24917#OK7Q, Backman--Eur--Simpson (statement)
History
- 2026-11-01: add by m2/v0.6.15
5VD3SHED81 5VD3SHED81
| URI | m2://inv/5VD3SHED81 |
|---|---|
| Kind | definition |
| 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 2610.03373#PBBZ (definition). In ZA7DBT3NWR/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Richard Bruce Paris 5VD5HY3DQS
| URI | m2://inv/5VD5HY3DQS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Bruce Paris, Richard Bruce Paris (topic). Also Wikidata Q115921587
History
- 2026-11-02: add by m2/dev
2-factor theorem 5VDKYMG03P
| URI | m2://inv/5VDKYMG03P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17001601, 2-factor theorem (statement). Also Wikidata Q17001601
- thousand_plus: thousand_plus Q17001601, 2-factor theorem (statement). Also Wikidata Q17001601, Wikipedia 2-factor theorem
- wikipedia: Wikipedia 2-factor theorem, 2-factor theorem (statement). Also Wikidata Q17001601
History
- 2026-10-26: add by m2/dev
5VDNKHZ8TR 5VDNKHZ8TR
| URI | m2://inv/5VDNKHZ8TR |
|---|---|
| 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.28664#BZ3L (statement)
History
- 2026-11-01: add by m2/v0.6.15
A head-dominated toy spectrum 5VDQXPVFP6
| URI | m2://inv/5VDQXPVFP6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 65-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.21102#SZP1, A head-dominated toy spectrum (example)
History
- 2026-11-02: add by m2/v0.6.18
5VDSX4091Y 5VDSX4091Y
| URI | m2://inv/5VDSX4091Y |
|---|---|
| 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 2403.02207#SP8S (statement). In 1T3ZYPQZF0/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.6
5VDTDGDFP7 5VDTDGDFP7
| URI | m2://inv/5VDTDGDFP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29847#7RDD (statement)
History
- 2026-11-01: add by m2/v0.6.15
spherical code 5VE0W9400N
| URI | m2://inv/5VE0W9400N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spherical code SDCX4WDP4F |
Mentions
- wikidata: Wikidata Q7576702, spherical code (unknown). Also MathWorld SphericalCode
- wikipedia: Wikipedia Spherical code, Spherical code (definition). Also Wikidata Q7576702
History
- 2026-10-26: add by m2/dev
Anytime-valid type-I error bounds 5VE6YT3Y5M
| URI | m2://inv/5VE6YT3Y5M |
|---|---|
| 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.08210#2KYQ, Anytime-valid type-I error bounds (statement). In 7452X8HQ21/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.10
Boundary condition 5VE7NJVCQ9
| URI | m2://inv/5VE7NJVCQ9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#1HNB, Boundary condition (problem)
History
- 2026-11-02: add by m2/dev
5VEBZW4ZGH 5VEBZW4ZGH
| URI | m2://inv/5VEBZW4ZGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-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.13629#ZUOP (statement). In PQNYA0C510/e1, corollary 2.11
History
- 2026-10-28: add by m2/v0.4.2
Bernoulli, Jacob 5VEE6WJZJ0
| URI | m2://inv/5VEE6WJZJ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7J6Z, Bernoulli, Jacob (topic)
History
- 2026-11-02: add by m2/dev
William Crawley-Boevey 5VEG25HQ7Y
| URI | m2://inv/5VEG25HQ7Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Crawley-Boevey, William Crawley-Boevey (topic). Also Wikidata Q1515459
History
- 2026-11-02: add by m2/dev
5VEJVKWJZS 5VEJVKWJZS
| URI | m2://inv/5VEJVKWJZS |
|---|---|
| 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.40096#EK73 (statement). In XFE35F9NEV/e1, proposition 2.15
History
- 2026-10-30: add by m2/v0.4.12
5VEKRN9S99 5VEKRN9S99
| URI | m2://inv/5VEKRN9S99 |
|---|---|
| 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.36622#BGB2 (statement). In 9704QPRPR6/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Mori–Nagata theorem 5VEKWZC2NF
| URI | m2://inv/5VEKWZC2NF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mori–Nagata theorem, Mori–Nagata theorem (statement). Also Wikidata Q17099060
History
- 2026-11-02: add by m2/dev
Applications of GEKKO 5VEP3AFACS
| URI | m2://inv/5VEP3AFACS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gekko (optimization software)#R5C6, Applications of GEKKO (example)
History
- 2026-11-02: add by m2/dev
5VEPFN0N1Z 5VEPFN0N1Z
| URI | m2://inv/5VEPFN0N1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13883#CR48 (statement). In F3PQ8P7R2B/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Donald Richards 5VFAVP9R6G
| URI | m2://inv/5VFAVP9R6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Richards (statistician), Donald Richards (topic). Also Wikidata Q46407321
History
- 2026-11-02: add by m2/dev
Difference polynomials 5VFBMQDD43
| URI | m2://inv/5VFBMQDD43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#7YD1, Difference polynomials (definition)
History
- 2026-11-02: add by m2/dev
Heyde, Chris 5VFNMHWQT9
| URI | m2://inv/5VFNMHWQT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ISLW, Heyde, Chris (unknown)
History
- 2026-11-02: add by m2/dev
Peaucellier–Lipkin linkage 5VFS3AY7HD
| URI | m2://inv/5VFS3AY7HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#THQA, Peaucellier–Lipkin linkage (definition)
History
- 2026-11-02: add by m2/dev
Artin–Zorn theorem 5VG2CR32HX
| URI | m2://inv/5VG2CR32HX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2558669, Artin–Zorn theorem (statement). Also Wikidata Q2558669
- thousand_plus: thousand_plus Q2558669, Artin–Zorn theorem (statement). Also Wikidata Q2558669, Wikipedia Artin–Zorn theorem
- wikipedia: Wikipedia Artin–Zorn theorem, Artin–Zorn theorem (statement). Also Wikidata Q2558669
History
- 2026-10-26: add by m2/dev
5VG381AY0M 5VG381AY0M
| URI | m2://inv/5VG381AY0M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/translations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 62.1
History
- 2026-11-01: add by m2/v0.6.13
5VG6M0YMT5 5VG6M0YMT5
| URI | m2://inv/5VG6M0YMT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#definition-1 (definition). In RZP28ERRZV, definition, section 28.2
History
- 2026-11-01: add by m2/v0.6.13
5VGGB362G2 5VGGB362G2
| URI | m2://inv/5VGGB362G2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#57KJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Critical numbers in the autonomous case 5VGRJ68GZR
| URI | m2://inv/5VGRJ68GZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#8501, Critical numbers in the autonomous case (statement)
History
- 2026-11-01: add by m2/v0.6.15
Artin–Verdier duality 5VH8SQ1HP6
| URI | m2://inv/5VH8SQ1HP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4801183, Artin–Verdier duality theorem (statement). Also Wikidata Q4801183
- thousand_plus: thousand_plus Q4801183, Artin–Verdier duality theorem (statement). Also Wikidata Q4801183, Wikipedia Artin–Verdier duality
- wikipedia: Wikipedia Artin–Verdier duality, Artin–Verdier duality (definition). Also Wikidata Q4801183
History
- 2026-10-26: add by m2/dev
5VH9PA97C7 5VH9PA97C7
| URI | m2://inv/5VH9PA97C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#BUOL (statement)
History
- 2026-11-02: add by m2/v0.6.18
intermutant 5VH9R7Y9M8
| URI | m2://inv/5VH9R7Y9M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#J51H, intermutant (definition)
History
- 2026-11-02: add by m2/dev
Pentagonal polytope 5VHC45AGA7
| URI | m2://inv/5VHC45AGA7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal polytope, Pentagonal polytope (object). Also Wikidata Q7164984
History
- 2026-11-02: add by m2/dev
Classification of maximally symmetric three-dimensional Einstein manifolds 5VHN2G2VDP
| URI | m2://inv/5VHN2G2VDP |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
John Lighton Synge 5VHRCYA4R1
| URI | m2://inv/5VHRCYA4R1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Lighton Synge, John Lighton Synge (topic). Also Wikidata Q364650
History
- 2026-11-02: add by m2/dev
Extensions 5VHRHPXM0R
| URI | m2://inv/5VHRHPXM0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection theorem#RT7J, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Kleene equality 5VHZ7PM341
| URI | m2://inv/5VHZ7PM341 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene equality, Kleene equality (definition). Also Wikidata Q12152657
History
- 2026-11-02: add by m2/dev
5VJAAMXRHE 5VJAAMXRHE
| URI | m2://inv/5VJAAMXRHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prop:valindep (statement). In PKGMM3P5QY, prop, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
5VJJGBP2FB 5VJJGBP2FB
| URI | m2://inv/5VJJGBP2FB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#ZNA5 (example). In XYCBKM4WKY/e1, example 52
History
- 2026-10-27: add by m2/v0.3.5
5VJKHFTK41 5VJKHFTK41
| URI | m2://inv/5VJKHFTK41 |
|---|---|
| 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.30637#6DH6 (statement). In 6G1KBA0SXV/e1, lemma 3.13
History
- 2026-10-31: add by m2/v0.5.6
Norman Lloyd Johnson 5VJQTXS288
| URI | m2://inv/5VJQTXS288 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norman Lloyd Johnson, Norman Lloyd Johnson (topic). Also Wikidata Q7052505
History
- 2026-11-02: add by m2/dev
Retained mode 5VK1WKBV86
| URI | m2://inv/5VK1WKBV86 |
|---|---|
| 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#OVTD, Retained mode (unknown)
History
- 2026-11-02: add by m2/dev
Radioactive isotope 5VK5VDD4GC
| URI | m2://inv/5VK5VDD4GC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#RVLP, Radioactive isotope (unknown)
History
- 2026-11-02: add by m2/dev
Richard M. Karp 5VK9201C4H
| URI | m2://inv/5VK9201C4H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YAVS, Richard M. Karp (topic)
History
- 2026-11-02: add by m2/dev
Properties 5VKAX5P7NB
| URI | m2://inv/5VKAX5P7NB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear operators between Banach spaces#R5O0, Properties (statement)
History
- 2026-11-02: add by m2/dev
5VKDFHEV8H 5VKDFHEV8H
| URI | m2://inv/5VKDFHEV8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#MJ10 (statement). In W3G9Z9B32N/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
EPR paradox 5VKDQ7XA36
| URI | m2://inv/5VKDQ7XA36 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214975, EPR paradox (unknown). Also nLab EPR paradox
- wikipedia: Wikipedia Einstein–Podolsky–Rosen paradox, Einstein–Podolsky–Rosen paradox (statement). Also Wikidata Q214975
History
- 2026-10-26: add by m2/dev
5VKQNPAZWG 5VKQNPAZWG
| URI | m2://inv/5VKQNPAZWG |
|---|---|
| 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.08288#VJSV (statement). In CHVWYJM7RM/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.10
Ultra-log-concavity 5VM3VTY9ND
| URI | m2://inv/5VM3VTY9ND |
|---|---|
| Kind | conjecture |
| 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#JIGC, Ultra-log-concavity (conjecture). In BBE69ZPVTF/e1, conjecture 6.2
History
- 2026-10-30: add by m2/v0.4.12
5VM51GCM9X 5VM51GCM9X
| URI | m2://inv/5VM51GCM9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36022#4IHU (statement). In ENH5XNBQWH/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
shortest GKZ vector 5VM6N7BB3K
| URI | m2://inv/5VM6N7BB3K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#UT6B, shortest GKZ vector (definition). In 9EMCPF1F2T/e1, definition 34
History
- 2026-10-29: add by m2/v0.4.10
Local convex hull 5VMDPX5NRB
| URI | m2://inv/5VMDPX5NRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EEMS, Local convex hull (definition)
History
- 2026-11-02: add by m2/dev
5VMP5VQ9AB 5VMP5VQ9AB
| URI | m2://inv/5VMP5VQ9AB |
|---|---|
| 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 1002.0879#X7GB (statement). In M0SQY5EZN5/e1, lemma 2.6.3
History
- 2026-10-27: add by m2/v0.3.5
5VMPHMRNX4 5VMPHMRNX4
| URI | m2://inv/5VMPHMRNX4 |
|---|---|
| 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.25100#O02F (statement)
History
- 2026-11-01: add by m2/v0.6.15
1 E -21 m 5VMV0V3MTD
| URI | m2://inv/5VMV0V3MTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#DSN0, 1 E -21 m (unknown)
History
- 2026-11-02: add by m2/dev
Applications 5VMYQYWWDR
| URI | m2://inv/5VMYQYWWDR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of algebras#8XL7, Applications (example)
History
- 2026-11-02: add by m2/dev
5VN0ZEP648 5VN0ZEP648
| URI | m2://inv/5VN0ZEP648 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.14425#S7R4 (statement). In 33KV0D25HW/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Robert Brout 5VN22Y7WCA
| URI | m2://inv/5VN22Y7WCA |
|---|---|
| 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 Q151833, Robert Brout (unknown). Also nLab Robert Brout
History
- 2026-10-26: add by m2/dev
Hard–easy effect 5VN2WYGCWH
| URI | m2://inv/5VN2WYGCWH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#GA5G, Hard–easy effect (unknown)
History
- 2026-11-02: add by m2/dev
Differential Privacy of the Perturbed Client State 5VN903SXER
| URI | m2://inv/5VN903SXER |
|---|---|
| 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.13631#UE77, Differential Privacy of the Perturbed Client State (statement). In N6PQQSYN73/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Axioms 5VNAAJ8072
| URI | m2://inv/5VNAAJ8072 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean geometry#6BBO, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Connelly , Gortler-Healy-Thurston 5VNJ3VE4C5
| URI | m2://inv/5VNJ3VE4C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#FPQ1, Connelly , Gortler-Healy-Thurston (statement). In JQ4JYAXCMK/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
5VNK17RTNY 5VNK17RTNY
| URI | m2://inv/5VNK17RTNY |
|---|---|
| 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.30301#S7FQ (statement). In 7NS75J7HAM/e1, proposition 9.8
History
- 2026-10-31: add by m2/v0.5.6
Fukaya 5VNVKP82CE
| URI | m2://inv/5VNVKP82CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#VM59, Fukaya (definition)
History
- 2026-11-02: add by m2/dev
5VP78EYBSE 5VP78EYBSE
| URI | m2://inv/5VP78EYBSE |
|---|---|
| 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.23004#YMMP (statement)
History
- 2026-11-02: add by m2/v0.6.17
5VPBG4CKBX 5VPBG4CKBX
| URI | m2://inv/5VPBG4CKBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#ZVRS (statement). In X47RYAZF8P/e1, lemma 8.6
History
- 2026-10-28: add by m2/v0.4.2
5VPEQ652PJ 5VPEQ652PJ
| URI | m2://inv/5VPEQ652PJ |
|---|---|
| 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 2609.27931#NI0N (statement)
History
- 2026-11-01: add by m2/v0.6.15
5VPNC7MTZR 5VPNC7MTZR
| URI | m2://inv/5VPNC7MTZR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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 2306.12846#JMSG (definition). In D6XA7JXZF3/e1, definition 6.6
History
- 2026-10-27: add by m2/v0.3.5
judgmental equality 5VQ1W118J2
| URI | m2://inv/5VQ1W118J2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/judgmental-equality, judgmental equality (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Kendall tau rank correlation coefficient 5VQ7FKYP2X
| URI | m2://inv/5VQ7FKYP2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#35Q9, Kendall tau rank correlation coefficient (definition)
History
- 2026-11-02: add by m2/dev
Imperfect compliance 5VQ8C76JSM
| URI | m2://inv/5VQ8C76JSM |
|---|---|
| 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 2609.40156#ZGBR, Imperfect compliance (example). In PP8BEHWK33/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Examples 5VQ9AKR2FB
| URI | m2://inv/5VQ9AKR2FB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous-time stochastic process#Z9F0, Examples (example)
History
- 2026-11-02: add by m2/dev
Modified Forgotten Domination Index 5VQBAQ8MKB
| URI | m2://inv/5VQBAQ8MKB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#FDG0, Modified Forgotten Domination Index (definition). In 9Z5M655EPV/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
5VQCBD1WJT 5VQCBD1WJT
| URI | m2://inv/5VQCBD1WJT |
|---|---|
| Kind | example |
| 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#5ISU (example). In HX63A1PH1W/e1, example 4.32
History
- 2026-10-28: add by m2/v0.4.3
Schwerdtfeger's method 5VQDN7BXB4
| URI | m2://inv/5VQDN7BXB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determination of the day of the week#S04V, Schwerdtfeger's method (unknown)
History
- 2026-11-02: add by m2/dev
Example 5VQEKBS7DR
| URI | m2://inv/5VQEKBS7DR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional probability distribution#3FR9, Example (example)
History
- 2026-11-02: add by m2/dev
Grothendieck trace theorem 5VQGZV46Q5
| URI | m2://inv/5VQGZV46Q5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck trace theorem#MDBB, Grothendieck trace theorem (statement)
History
- 2026-11-02: add by m2/dev
5VQJF6WZW5 5VQJF6WZW5
| URI | m2://inv/5VQJF6WZW5 |
|---|---|
| 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.34923#QEBY (statement). In 7WKVFJEZQT/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
5VQPN27859 5VQPN27859
| URI | m2://inv/5VQPN27859 |
|---|---|
| Kind | problem |
| 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.26129#U7OV (problem)
History
- 2026-11-01: add by m2/v0.6.15
5VQW6QGG1T 5VQW6QGG1T
| URI | m2://inv/5VQW6QGG1T |
|---|---|
| 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.31104#VT7P (statement). In 67NFPNF39Y/e1, corollary 1.4
History
- 2026-10-31: add by m2/v0.5.6
Incomplete Cholesky factorization 5VR511P60F
| URI | m2://inv/5VR511P60F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete Cholesky factorization, Incomplete Cholesky factorization (definition). Also Wikidata Q6015160
History
- 2026-11-02: add by m2/dev
interval representation 5VR725QW9X
| URI | m2://inv/5VR725QW9X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.6/interval-representation, interval representation (concept). In QKM9DD2H56, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
5VRA4NSVWW 5VRA4NSVWW
| URI | m2://inv/5VRA4NSVWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#7D90 (statement)
History
- 2026-11-02: add by m2/v0.6.18
5VRATEF2B7 5VRATEF2B7
| URI | m2://inv/5VRATEF2B7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36332#ID0Z (definition). In APK7X4MFAX/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
newton 5VREE03RBC
| URI | m2://inv/5VREE03RBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12438, newton (definition). Also ProofWiki Definition:SI/Force/Newton
History
- 2026-10-26: add by m2/dev
5VRHNCWSFJ 5VRHNCWSFJ
| URI | m2://inv/5VRHNCWSFJ |
|---|---|
| Kind | statement |
| 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 2504.02065#TUQM (statement). In 60CK7P5F36/e1, theorem 7.3
History
- 2026-10-27: add by m2/v0.3.5
Monte Carlo algorithm 5VRMMR548Q
| URI | m2://inv/5VRMMR548Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#NBUO, Monte Carlo algorithm (unknown)
History
- 2026-11-02: add by m2/dev
5VRZ1DNETE 5VRZ1DNETE
| URI | m2://inv/5VRZ1DNETE |
|---|---|
| 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.26745#HM8X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 5VS20APBRK
| URI | m2://inv/5VS20APBRK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low (complexity)#KPOL, Applications (example)
History
- 2026-11-02: add by m2/dev
Ralph Greatorex 5VS8ZZ630K
| URI | m2://inv/5VS8ZZ630K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph Greatorex, Ralph Greatorex (topic). Also Wikidata Q7287559
History
- 2026-11-02: add by m2/dev
5VS9QRFMXB 5VS9QRFMXB
| URI | m2://inv/5VS9QRFMXB |
|---|---|
| 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.32383#7VF7 (statement). In 94GZYA55Q5/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
Tres Islas, Uruguay 5VSBQN0HCG
| URI | m2://inv/5VSBQN0HCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#N1XV, Tres Islas, Uruguay (unknown)
History
- 2026-11-02: add by m2/dev
5VSD9DR77P 5VSD9DR77P
| URI | m2://inv/5VSD9DR77P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph isomorphism problem#WEP4 (problem)
History
- 2026-11-02: add by m2/dev
Applications 5VSG5TPDS7
| URI | m2://inv/5VSG5TPDS7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemostat#NX7X, Applications (example)
History
- 2026-11-02: add by m2/dev
Cancellation on regular faces 5VSMBDC5BY
| URI | m2://inv/5VSMBDC5BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32107#N6A7, Cancellation on regular faces (statement). In F11G5M3JA5/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
5VSTNHCF51 5VSTNHCF51
| URI | m2://inv/5VSTNHCF51 |
|---|---|
| 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.21174#QNC6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
5VT37RGCXN 5VT37RGCXN
| URI | m2://inv/5VT37RGCXN |
|---|---|
| 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.20153#X22D (statement). In EYB107TM4Q/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.2
Mathematical biology 5VT59D8AEC
| URI | m2://inv/5VT59D8AEC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PISH, Mathematical biology (topic)
History
- 2026-11-02: add by m2/dev
5VTANPPW74 5VTANPPW74
| URI | m2://inv/5VTANPPW74 |
|---|---|
| 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.00934#KDQJ (statement). In SHCQDPCF2J/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
tree, spanning 5VTFZ1Z34D
| URI | m2://inv/5VTFZ1Z34D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/tree-spanning, tree, spanning (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Statement 5VTJQ9DYQN
| URI | m2://inv/5VTJQ9DYQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán's theorem#VPGF, Statement (statement)
History
- 2026-11-02: add by m2/dev
Adiabat 5VTNBTAQB0
| URI | m2://inv/5VTNBTAQB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adiabatic process#RU82, Adiabat (unknown)
History
- 2026-11-02: add by m2/dev
5VV4282444 5VV4282444
| URI | m2://inv/5VV4282444 |
|---|---|
| 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.19854#N8NJ (statement). In D50WST4CG3/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
slepton 5VVAHXFMEC
| URI | m2://inv/5VVAHXFMEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6130374, slepton (unknown). Also nLab slepton
History
- 2026-10-26: add by m2/dev
Bounds on a solution and conjecture 5VVD8MPNTW
| URI | m2://inv/5VVD8MPNTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss circle problem#D8T8, Bounds on a solution and conjecture (statement)
History
- 2026-11-02: add by m2/dev
Method 5VVS46Q5DF
| URI | m2://inv/5VVS46Q5DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belt transect#P7OZ, Method (definition)
History
- 2026-11-02: add by m2/dev
Applications 5VVSW1HF5N
| URI | m2://inv/5VVSW1HF5N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert–Brauer–Hasse–Noether theorem#Z93U, Applications (example)
History
- 2026-11-02: add by m2/dev
Fpqc morphism 5VVVHYV239
| URI | m2://inv/5VVVHYV239 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fpqc morphism, Fpqc morphism (definition). Also Wikidata Q5477415
History
- 2026-11-02: add by m2/dev
Monogon 5VVW7VK53D
| URI | m2://inv/5VVW7VK53D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3L83, Monogon (definition)
History
- 2026-11-02: add by m2/dev
Ahlfors--Beurling 5VW10M0AE7
| URI | m2://inv/5VW10M0AE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#UE7X, Ahlfors--Beurling (statement)
History
- 2026-11-01: add by m2/v0.6.15
5VW3HH3C3K 5VW3HH3C3K
| URI | m2://inv/5VW3HH3C3K |
|---|---|
| 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 2208.05288#BG1X (definition). In RTW3GDYPND/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
Transitions, size and decompositions 5VW6B0JEDS
| URI | m2://inv/5VW6B0JEDS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-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.14160#4J40, Transitions, size and decompositions (definition). In Y4TP36M0C7/e1, definition 24
History
- 2026-10-28: add by m2/v0.4.2
5VWB12JBVC 5VWB12JBVC
| URI | m2://inv/5VWB12JBVC |
|---|---|
| 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 2610.03555#YPEG (definition). In 9JZJTRRVR1/e1, definition 9.5
History
- 2026-10-29: add by m2/v0.4.12
5VWCZRMZ87 5VWCZRMZ87
| URI | m2://inv/5VWCZRMZ87 |
|---|---|
| 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.04833#DEJP (statement). In AKB3CNDA0F/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
Arthur–Selberg trace formula 5VWP8DT3GP
| URI | m2://inv/5VWP8DT3GP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#K9T8, Arthur–Selberg trace formula (statement)
History
- 2026-11-02: add by m2/dev
5VWS6KMT4Z 5VWS6KMT4Z
| URI | m2://inv/5VWS6KMT4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#LJSO (statement). In KJC9FRS3C2/e1, lemma 10.3
History
- 2026-10-28: add by m2/v0.4.2
Outer approximation of the weighted eigenvalue 5VWWQM6EM0
| URI | m2://inv/5VWWQM6EM0 |
|---|---|
| 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.38228#PAPK, Outer approximation of the weighted eigenvalue (statement). In 9YAE8FNQST/e1, lemma 21.3
History
- 2026-10-30: add by m2/v0.4.12
Sharp functional inequality 5VWYB7A281
| URI | m2://inv/5VWYB7A281 |
|---|---|
| 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.38041#5RF1, Sharp functional inequality (statement). In 54NQGN1BWM/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
5VX10MEQV1 5VX10MEQV1
| URI | m2://inv/5VX10MEQV1 |
|---|---|
| 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.10233#SY41 (statement). In QR9WE79ERQ/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
5VXCTF9MEE 5VXCTF9MEE
| URI | m2://inv/5VXCTF9MEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#CYZP (statement). In 6F3GSDT2V1/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Example 5VXF9KZ037
| URI | m2://inv/5VXF9KZ037 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean reciprocal rank#SR3U, Example (example)
History
- 2026-11-02: add by m2/dev
Augmented dodecahedron 5VXS76EGTJ
| URI | m2://inv/5VXS76EGTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#Q5TT, Augmented dodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9I8X, Augmented dodecahedron (definition)
History
- 2026-11-02: add by m2/dev
Goldberg, Anatolii Asirovich 5VXXWMJZ82
| URI | m2://inv/5VXXWMJZ82 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#P2YY, Goldberg, Anatolii Asirovich (topic)
History
- 2026-11-02: add by m2/dev
5VY4HS1WTB 5VY4HS1WTB
| URI | m2://inv/5VY4HS1WTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#95R3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
absorption law 5VYFSKFRJE
| URI | m2://inv/5VYFSKFRJE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Absorption law 0ZKZBJPG2J |
Mentions
- wikidata: Wikidata Q1154428, absorption law (statement). Also MathWorld AbsorptionLaw
- wikipedia: Wikipedia Absorption law, Absorption law (statement). Also Wikidata Q1154428
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
5VYJS3ETNN 5VYJS3ETNN
| URI | m2://inv/5VYJS3ETNN |
|---|---|
| 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.02870#W9JS (definition). In JJQQJ4KX94/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Vecten points 5VYK6GXAYD
| URI | m2://inv/5VYK6GXAYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1560127, Vecten points (unknown). Also MathWorld VectenPoints
- wikipedia: Wikipedia Vecten points, Vecten points (definition). Also Wikidata Q1560127
History
- 2026-10-26: add by m2/dev
5VYPTTX2MK 5VYPTTX2MK
| URI | m2://inv/5VYPTTX2MK |
|---|---|
| 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#P55I (statement). In BZ54C9SKYS/e1, lemma 6.16
History
- 2026-10-27: add by m2/v0.3.5
meet 5VYSZ18YV0
| URI | m2://inv/5VYSZ18YV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LMEV, meet (definition)
History
- 2026-11-02: add by m2/dev
Paul Calvin Roberts 5VYYN4M67M
| URI | m2://inv/5VYYN4M67M |
|---|---|
| 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#ALO9, Paul Calvin Roberts (unknown)
History
- 2026-11-02: add by m2/dev
5VYZYWB0JB 5VYZYWB0JB
| URI | m2://inv/5VYZYWB0JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#ATFY (statement). In F0D8VSM4Z4/e1, proposition 6.10
History
- 2026-10-30: add by m2/v0.4.12
clock 5VZBZ0GPGT
| URI | m2://inv/5VZBZ0GPGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q376, clock (definition). Also ProofWiki Definition:Clock
History
- 2026-10-26: add by m2/dev
Properties 5VZHDA4879
| URI | m2://inv/5VZHDA4879 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjacency algebra#P85E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formulation 5VZKHH1NB8
| URI | m2://inv/5VZKHH1NB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid parity problem#RHS2, Formulation (definition)
History
- 2026-11-02: add by m2/dev