Inventory rows C3
The cards of the rows of the inventory whose ids start with C3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Order-4 square hosohedral honeycomb C301TYVYGV
| URI | m2://inv/C301TYVYGV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5UZ2, Order-4 square hosohedral honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Richardson–Lucy deconvolution C304BZG5NV
| URI | m2://inv/C304BZG5NV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J560, Richardson–Lucy deconvolution (definition)
History
- 2026-11-02: add by m2/dev
Gao--Geroldinger C305JH1GB2
| URI | m2://inv/C305JH1GB2 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#Q4LZ, Gao--Geroldinger (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
C308Z8D2A6 C308Z8D2A6
| URI | m2://inv/C308Z8D2A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#IYWE (statement). In TZXEMCBK5V/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
C30C7XWDEC C30C7XWDEC
| URI | m2://inv/C30C7XWDEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#QXSH (statement). In 7615KVXDB5/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
C30E7XP7A4 C30E7XP7A4
| URI | m2://inv/C30E7XP7A4 |
|---|---|
| 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 2504.19468#T7FQ (statement). In EY54F2SX08/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
C30GVKGY1A C30GVKGY1A
| URI | m2://inv/C30GVKGY1A |
|---|---|
| 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.26675#GHD1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polynomial ring C30KYHCEB8
| URI | m2://inv/C30KYHCEB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#LQS5, Polynomial ring (definition)
- wikipedia: Wikipedia List of abstract algebra topics#QNYO, Polynomial ring (definition)
- wikipedia: Wikipedia List of commutative algebra topics#BT9B, Polynomial ring (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Klee (1952)) C30PJ4386C
| URI | m2://inv/C30PJ4386C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-space#YBDL, Theorem (Klee (1952)) (statement)
History
- 2026-11-02: add by m2/dev
Coercivity of the saturated determinant C30PW818JZ
| URI | m2://inv/C30PW818JZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29147#5L6J, Coercivity of the saturated determinant (statement)
History
- 2026-11-01: add by m2/v0.6.15
asymptotically stable limit cycle C30RF0GNGR
| URI | m2://inv/C30RF0GNGR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/8.4/asymptotically-stable-limit-cycle, asymptotically stable limit cycle (concept). In E9HS8K3A52, index, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
C30RQEBFN0 C30RQEBFN0
| URI | m2://inv/C30RQEBFN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17698#LJWY (statement). In DAH99JEYHF/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
C30VH81588 C30VH81588
| URI | m2://inv/C30VH81588 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#E9JW (definition)
History
- 2026-11-02: add by m2/v0.6.17
C315AY5AGQ C315AY5AGQ
| URI | m2://inv/C315AY5AGQ |
|---|---|
| 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.16461#BPFA (statement). In XPT71YR4V7/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Sarkovskii's theorem C316KNQ3CQ
| URI | m2://inv/C316KNQ3CQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3BS2, Sarkovskii's theorem (statement)
History
- 2026-11-02: add by m2/dev
Gröbner basis C31MCHFARD
| URI | m2://inv/C31MCHFARD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gröbner basis C83KPT47R0 |
Mentions
- wikidata: Wikidata Q1551631, Gröbner basis (statement). Also EoM Gröbner_basis, MathWorld GroebnerBasis, ProofWiki Gröbner_Basis
- wikipedia: Wikipedia Gröbner basis, Gröbner basis (definition). Also Wikidata Q1551631
History
- 2026-10-26: add by m2/dev
C31S2TV5YK C31S2TV5YK
| URI | m2://inv/C31S2TV5YK |
|---|---|
| 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 2209.01576#3LKW (statement). In EF0X4TKTR4/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Serre duality C31VV5CANZ
| URI | m2://inv/C31VV5CANZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Serre duality N3QPQATSRN |
Mentions
- wikidata: Wikidata Q11095962, Serre duality (unknown). Also nLab Serre duality
- wikipedia: Wikipedia Serre duality, Serre duality (definition). Also Wikidata Q11095962
History
- 2026-10-26: add by m2/dev
Uniqueness of Canonical Representation C31X3QH6QH
| URI | m2://inv/C31X3QH6QH |
|---|---|
| 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.25091#7MJW, Uniqueness of Canonical Representation (statement)
History
- 2026-11-01: add by m2/v0.6.15
C32155PGN9 C32155PGN9
| URI | m2://inv/C32155PGN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#6SS4 (statement). In 69DBD2HKGK/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
The Jacobi-like moment-shift rectangle C325NWH2M7
| URI | m2://inv/C325NWH2M7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-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 2609.26066#BYRD, The Jacobi-like moment-shift rectangle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Goodnight, James C329CBA4W4
| URI | m2://inv/C329CBA4W4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N3DU, Goodnight, James (topic)
History
- 2026-11-02: add by m2/dev
C329NB18XX C329NB18XX
| URI | m2://inv/C329NB18XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17565#1402 (statement). In C422901XCN/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
C32JMDG9EK C32JMDG9EK
| URI | m2://inv/C32JMDG9EK |
|---|---|
| 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.20466#6WMX (statement). In M4ZVJWM8YA/e1, corollary 4.18
History
- 2026-10-27: add by m2/v0.4.2
Emil Artin C32M7WZD95
| URI | m2://inv/C32M7WZD95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QCSM, Emil Artin (topic)
History
- 2026-11-02: add by m2/dev
C3342ATQD7 C3342ATQD7
| URI | m2://inv/C3342ATQD7 |
|---|---|
| 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 2609.11301#Q2LO (statement). In YH1W5A0JTS/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Applications C3367REDAP
| URI | m2://inv/C3367REDAP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choquet integral#XZIU, Applications (example)
History
- 2026-11-02: add by m2/dev
C33KGHQYHA C33KGHQYHA
| URI | m2://inv/C33KGHQYHA |
|---|---|
| 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 2610.09945#PCE2 (statement). In V7VCEA0VAA/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.10
C33XHZ5MCA C33XHZ5MCA
| URI | m2://inv/C33XHZ5MCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#6PZK (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
C347XCHEQF C347XCHEQF
| URI | m2://inv/C347XCHEQF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-3 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
A smooth positive minorant C34ARAAFJG
| URI | m2://inv/C34ARAAFJG |
|---|---|
| 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#U1Z0, A smooth positive minorant (statement). In 9YAE8FNQST/e1, lemma 18.2
History
- 2026-10-30: add by m2/v0.4.12
Recursive economics C34M567Y53
| URI | m2://inv/C34M567Y53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive economics, Recursive economics (topic). Also Wikidata Q7303341
History
- 2026-11-02: add by m2/dev
C34PWY2M5E C34PWY2M5E
| URI | m2://inv/C34PWY2M5E |
|---|---|
| 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.06529#KV5V (statement). In JFQY4CYHKP/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.10
Herman Goldstine C34RG3NH9K
| URI | m2://inv/C34RG3NH9K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VNRK, Herman Goldstine (topic)
History
- 2026-11-02: add by m2/dev
Moisei Rafes C34WC2GAYZ
| URI | m2://inv/C34WC2GAYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#9XIL, Moisei Rafes (unknown)
History
- 2026-11-02: add by m2/dev
skeleton, of a CW-complex C34ZB27BQY
| URI | m2://inv/C34ZB27BQY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/skeleton-of-a-cw-complex, skeleton, of a CW-complex (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
C34ZF530R4 C34ZF530R4
| URI | m2://inv/C34ZF530R4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21611#VEVF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Reeb sphere theorem C355MXVQ5R
| URI | m2://inv/C355MXVQ5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4455016, Reeb sphere theorem (statement). Also Wikidata Q4455016
- thousand_plus: thousand_plus Q4455016, Reeb sphere theorem (statement). Also Wikidata Q4455016, Wikipedia Reeb sphere theorem
- wikidata: Wikidata Q4455016, Reeb sphere theorem (statement). Also nLab Reeb sphere theorem
- wikipedia: Wikipedia Reeb sphere theorem, Reeb sphere theorem (statement). Also Wikidata Q4455016
History
- 2026-10-26: add by m2/dev
Fourier--Bessel cusp modes C35D28YSK5
| URI | m2://inv/C35D28YSK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#6HOZ, Fourier--Bessel cusp modes (statement). In HF7YNMW39N/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.4.0
scheme C35GBV461A
| URI | m2://inv/C35GBV461A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Scheme 5A35TYZD02 |
Mentions
- wikidata: Wikidata Q1155772, scheme (definition). Also MathWorld Scheme, nLab scheme, ProofWiki Definition:Scheme
- wikipedia: Wikipedia Scheme (mathematics), Scheme (definition). Also Wikidata Q1155772
History
- 2026-10-26: add by m2/dev
Polynomial truncation functors C35K1TN07K
| URI | m2://inv/C35K1TN07K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#BNVH, Polynomial truncation functors (definition). In A1GWWGRXPA/e1, definition 3.14
History
- 2026-10-27: add by m2/v0.4.2
C35KCZFFY7 C35KCZFFY7
| URI | m2://inv/C35KCZFFY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#E5HU (statement). In 7V3HG30ZGW/e1, lemma A.18
History
- 2026-10-27: add by m2/v0.4.0
C35RGS4SEC C35RGS4SEC
| URI | m2://inv/C35RGS4SEC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
Definition via projections of the distance cone C35S17T65M
| URI | m2://inv/C35S17T65M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#0UDI, Definition via projections of the distance cone (definition)
History
- 2026-11-02: add by m2/dev
C35T9085XZ C35T9085XZ
| URI | m2://inv/C35T9085XZ |
|---|---|
| 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 2609.31102#ZYPP (statement). In 7CADATJMAA/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
C35TXM2FB9 C35TXM2FB9
| URI | m2://inv/C35TXM2FB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#EIXX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nicholas Shepherd-Barron C35WXTYJA7
| URI | m2://inv/C35WXTYJA7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#81BF, Nicholas Shepherd-Barron (topic)
History
- 2026-11-02: add by m2/dev
C35YXGH0P2 C35YXGH0P2
| URI | m2://inv/C35YXGH0P2 |
|---|---|
| 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.20466#AYT3 (statement). In M4ZVJWM8YA/e1, proposition 5.15
History
- 2026-10-27: add by m2/v0.4.2
restate=thmAxiom,label=thm:axiomatisation C36C00PSSM
| URI | m2://inv/C36C00PSSM |
|---|---|
| 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.07927#OJWB, restate=thmAxiom,label=thm:axiomatisation (statement). In GKM19DHQTM/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
517 (number) C36J7B8RKZ
| URI | m2://inv/C36J7B8RKZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#4IQ5, 517 (number) (unknown)
History
- 2026-11-02: add by m2/dev
C36NJTYQ9Z C36NJTYQ9Z
| URI | m2://inv/C36NJTYQ9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#definition-1 (definition). In RZP28ERRZV, definition, section 64.1.1
History
- 2026-11-01: add by m2/v0.6.13
Application C372ZK7PGY
| URI | m2://inv/C372ZK7PGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extraordinary claims require extraordinary evidence#O7Y2, Application (example)
History
- 2026-11-02: add by m2/dev
Examples C377G1XV88
| URI | m2://inv/C377G1XV88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric group action#WDI3, Examples (example)
History
- 2026-11-02: add by m2/dev
C37MN9Q7NE C37MN9Q7NE
| URI | m2://inv/C37MN9Q7NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#GR5V (statement). In E7W2HDNEKJ/e1, theorem 9.17
History
- 2026-10-30: add by m2/v0.4.12
C37RA9D4CC C37RA9D4CC
| URI | m2://inv/C37RA9D4CC |
|---|---|
| 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.22311#2B7Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
C37SN4995A C37SN4995A
| URI | m2://inv/C37SN4995A |
|---|---|
| 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.26496#T5LY (statement)
History
- 2026-11-01: add by m2/v0.6.15
binomial coefficients C389FNPXWP
| URI | m2://inv/C389FNPXWP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.2.4/binomial-coefficients, binomial coefficients (concept). In Y91XFCEVHQ, index, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
Michael Burns C38BBWCTQQ
| URI | m2://inv/C38BBWCTQQ |
|---|---|
| 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#PPVR, Michael Burns (unknown)
History
- 2026-11-02: add by m2/dev
C38C7BWW99 C38C7BWW99
| URI | m2://inv/C38C7BWW99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25151#PIWQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
C38FEGC1E5 C38FEGC1E5
| URI | m2://inv/C38FEGC1E5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37093#FP3J (statement). In GA6QH32CJQ/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Dinostratus's theorem C38FQHCP5E
| URI | m2://inv/C38FQHCP5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratrix of Hippias#F0W2, Dinostratus's theorem (statement)
History
- 2026-11-02: add by m2/dev
C38FR5ERFY C38FR5ERFY
| URI | m2://inv/C38FR5ERFY |
|---|---|
| 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.13898#72X5 (statement). In 44EVK9BPC9/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
C38HYG7EQC C38HYG7EQC
| URI | m2://inv/C38HYG7EQC |
|---|---|
| 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.03864#TBCN (statement). In 41GB65CTBJ/e1, theorem A3
History
- 2026-10-29: add by m2/v0.4.12
pullback C38MFH893K
| URI | m2://inv/C38MFH893K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q978505, pullback (unknown). Also nLab pullback of a differential form
- wikipedia: Wikipedia Pullback (differential geometry), Pullback (definition). Also Wikidata Q978505
History
- 2026-10-26: add by m2/dev
Juran, Joseph M. C38T4NJX9A
| URI | m2://inv/C38T4NJX9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ISU9, Juran, Joseph M. (unknown)
History
- 2026-11-02: add by m2/dev
Normal cone to the box C38XXNMA77
| URI | m2://inv/C38XXNMA77 |
|---|---|
| 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.00033#COVJ, Normal cone to the box (statement). In SHMMW4JXZ1/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
C394MV1TRY C394MV1TRY
| URI | m2://inv/C394MV1TRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.13241#TE8Q (statement). In DWQWQ5KTEE/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
C394W9RYV7 C394W9RYV7
| URI | m2://inv/C394W9RYV7 |
|---|---|
| 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.14717#80E0 (statement). In ZB2QPB5EBN/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Results C39H58GKNH
| URI | m2://inv/C39H58GKNH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metalogic#OODO, Results (statement)
History
- 2026-11-02: add by m2/dev
C39HHCJ608 C39HHCJ608
| URI | m2://inv/C39HHCJ608 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#WJ2T (definition). In RK0ZMDJ23T/e1, definition 2.2.8
History
- 2026-10-31: add by m2/v0.5.6
LYM inequality C39PGJABRT
| URI | m2://inv/C39PGJABRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner family#H1AU, LYM inequality (statement)
History
- 2026-11-02: add by m2/dev
Properties C39T8VCSV6
| URI | m2://inv/C39T8VCSV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple product#MUSM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Construction C39TYBN9B7
| URI | m2://inv/C39TYBN9B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L(R)#KN9T, Construction (definition)
History
- 2026-11-02: add by m2/dev
C39VZ43T4D C39VZ43T4D
| URI | m2://inv/C39VZ43T4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24623#N1NP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions C3A0TNQJDC
| URI | m2://inv/C3A0TNQJDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic integer#JYQA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Approximation of logarithms C3A34YT645
| URI | m2://inv/C3A34YT645 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22272#JQBL, Approximation of logarithms (statement). In 4VZV5V0YD6/e1, lemma 15
History
- 2026-10-27: add by m2/v0.4.0
quasifield C3A5DRAVPY
| URI | m2://inv/C3A5DRAVPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quasifield JQ22QH86DE |
Mentions
- wikidata: Wikidata Q1553741, quasifield (unknown). Also nLab quasifield
- wikipedia: Wikipedia Quasifield, Quasifield (definition). Also Wikidata Q1553741
History
- 2026-10-26: add by m2/dev
C3A6S6AYNN C3A6S6AYNN
| URI | m2://inv/C3A6S6AYNN |
|---|---|
| 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#XI5Q (statement). In BK4359JSC3/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
Ptolemy's inequality C3A7EWCNDB
| URI | m2://inv/C3A7EWCNDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemy's theorem#JKLV, Ptolemy's inequality (statement)
History
- 2026-11-02: add by m2/dev
C3A8JFZJE8 C3A8JFZJE8
| URI | m2://inv/C3A8JFZJE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#U194 (statement). In WRE0P7V6Z3/e1, theorem 1.33
History
- 2026-10-30: add by m2/v0.4.12
C3A8RPW4VE C3A8RPW4VE
| URI | m2://inv/C3A8RPW4VE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.11825#PQUV (example). In 6H76S52BG7/e1, example A.3
History
- 2026-10-27: add by m2/v0.4.0
C3AA0FZAP2 C3AA0FZAP2
| URI | m2://inv/C3AA0FZAP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#2DHO (statement). In VN084GGZGK/e1, lemma 2.23
History
- 2026-10-28: add by m2/v0.4.3
C3AK2VQX4B C3AK2VQX4B
| URI | m2://inv/C3AK2VQX4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#7R3G (definition). In FK89DQ9J4S/e1, definition 4.11
History
- 2026-10-30: add by m2/v0.4.12
C3B14RVH5W C3B14RVH5W
| URI | m2://inv/C3B14RVH5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#AT4H (definition). In XJWQ6Y83F8/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
C3B4HN4DZZ C3B4HN4DZZ
| URI | m2://inv/C3B4HN4DZZ |
|---|---|
| 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.21934#2Q3S (statement). In YKD51BX3XB/e1, lemma 8.4
History
- 2026-10-27: add by m2/v0.4.2
History of SQL C3B5H0APGW
| URI | m2://inv/C3B5H0APGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQL#O805, History of SQL (unknown)
History
- 2026-11-02: add by m2/dev
C3BF6N985V C3BF6N985V
| URI | m2://inv/C3BF6N985V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:closedsubsetcompact (statement). In E59CDZA4DP, prop, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Kolmogorov's three-series theorem C3BN06GD22
| URI | m2://inv/C3BN06GD22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 40-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527233, Kolmogorov's three-series theorem (statement). Also Wikidata Q3527233
- thousand_plus: thousand_plus Q3527233, Kolmogorov's three-series theorem (statement). Also Wikidata Q3527233, Wikipedia Kolmogorov's three-series theorem
- wikipedia: Wikipedia Kolmogorov's three-series theorem, Kolmogorov's three-series theorem (statement). Also Wikidata Q3527233
History
- 2026-10-26: add by m2/dev
Spherical segment C3BS09E3ZF
| URI | m2://inv/C3BS09E3ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of solids derived from the sphere#0K7V, Spherical segment (definition)
History
- 2026-11-02: add by m2/dev
Simultaneous game C3BTZAWSW1
| URI | m2://inv/C3BTZAWSW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous game, Simultaneous game (definition). Also Wikidata Q12237274
History
- 2026-11-02: add by m2/dev
C3BZVJ0VFE C3BZVJ0VFE
| URI | m2://inv/C3BZVJ0VFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#HSDN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetric product-power face trichotomy C3CPBTMR8P
| URI | m2://inv/C3CPBTMR8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#MBTQ, Symmetric product-power face trichotomy (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications C3CV6E50RX
| URI | m2://inv/C3CV6E50RX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centroidal Voronoi tessellation#4GUX, Applications (example)
History
- 2026-11-02: add by m2/dev
Real element C3CWBVKB38
| URI | m2://inv/C3CWBVKB38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real element, Real element (definition). Also Wikidata Q25105219
History
- 2026-11-02: add by m2/dev
Hooke's atom C3CX7VF7TD
| URI | m2://inv/C3CX7VF7TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hooke's atom, Hooke's atom (definition). Also Wikidata Q5897973
History
- 2026-11-02: add by m2/dev
A Lower Bound Through a Test Function C3D0HK9TWG
| URI | m2://inv/C3D0HK9TWG |
|---|---|
| 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.13222#WHFF, A Lower Bound Through a Test Function (statement). In Z6WA2R0J50/e1, lemma D.6
History
- 2026-10-28: add by m2/v0.4.2
C3D6F2Q2GK C3D6F2Q2GK
| URI | m2://inv/C3D6F2Q2GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#7XET (statement). In Z5SP3NW41S/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
The free-kernel example C3D6PENTSJ
| URI | m2://inv/C3D6PENTSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#BTF7, The free-kernel example (statement). In Q6HRJP4AWA/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
John Charles Burkill C3D86TSXJ8
| URI | m2://inv/C3D86TSXJ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Charles Burkill, John Charles Burkill (topic). Also Wikidata Q1699594
History
- 2026-11-02: add by m2/dev
C3DDFTSJKT C3DDFTSJKT
| URI | m2://inv/C3DDFTSJKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#KDEM (statement). In GSN5YTQS2K/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
C3DFW9SDPD C3DFW9SDPD
| URI | m2://inv/C3DFW9SDPD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16768#7TTE (definition). In 8FWK676AQX/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
C3DHNV0KW8 C3DHNV0KW8
| URI | m2://inv/C3DHNV0KW8 |
|---|---|
| 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 2108.09796#619F (statement). In NAA7WFQN20/e1, corollary 7.6
History
- 2026-10-27: add by m2/v0.3.5
C3DKMNE4V3 C3DKMNE4V3
| URI | m2://inv/C3DKMNE4V3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#CMEH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Allen R. Miller C3DMACC4HR
| URI | m2://inv/C3DMACC4HR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allen R. Miller, Allen R. Miller (topic). Also Wikidata Q4731831
History
- 2026-11-02: add by m2/dev
C3DPBP1V7Y C3DPBP1V7Y
| URI | m2://inv/C3DPBP1V7Y |
|---|---|
| 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.05631#UT1N (statement). In M7NEWDTM32/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Prime ring C3DSZDW623
| URI | m2://inv/C3DSZDW623 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#CIJ5, Prime ring (definition)
History
- 2026-11-02: add by m2/dev
C3DVWD1PEP C3DVWD1PEP
| URI | m2://inv/C3DVWD1PEP |
|---|---|
| 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.08682#XKRI (statement). In Y306A1GPM5/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
C3DY8JAVC4 C3DY8JAVC4
| URI | m2://inv/C3DY8JAVC4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#I8U3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem C3E258QQTT
| URI | m2://inv/C3E258QQTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation#3QDB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Zeckendorf's theorem C3E7M9DAFE
| URI | m2://inv/C3E7M9DAFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FFEZ, Zeckendorf's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions C3EBEWGZJ1
| URI | m2://inv/C3EBEWGZJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution (algebra)#J0O6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
C3ECJABEVK C3ECJABEVK
| URI | m2://inv/C3ECJABEVK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#TVWV (definition)
History
- 2026-11-02: add by m2/v0.6.18
Exact endpoint minimum and four-moment equality C3EDSD78SK
| URI | m2://inv/C3EDSD78SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#JMLG, Exact endpoint minimum and four-moment equality (statement)
History
- 2026-11-01: add by m2/v0.6.15
William Vallance Douglas Hodge C3EJK2583P
| URI | m2://inv/C3EJK2583P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#XOIW, William Vallance Douglas Hodge (topic)
History
- 2026-11-02: add by m2/dev
C3ERDG55KH C3ERDG55KH
| URI | m2://inv/C3ERDG55KH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#LODA (definition)
History
- 2026-11-02: add by m2/v0.6.18
History of mathematical economics C3EV47FQ26
| URI | m2://inv/C3EV47FQ26 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical economics#62DT, History of mathematical economics (unknown)
History
- 2026-11-02: add by m2/dev
supergolden ratio C3EYH3WAQK
| URI | m2://inv/C3EYH3WAQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21533115, supergolden ratio (unknown). Also MathWorld SupergoldenRatio, OEIS A092526
- wikipedia: Wikipedia Supergolden ratio, Supergolden ratio (definition). Also Wikidata Q21533115
History
- 2026-10-26: add by m2/dev
Lemma C3F0QKNE1A
| URI | m2://inv/C3F0QKNE1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#0AYF, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Algorithms C3F3ZFW6WY
| URI | m2://inv/C3F3ZFW6WY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor network#CRA3, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Variations C3F4Y6MK3Y
| URI | m2://inv/C3F4Y6MK3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Durand–Kerner method#YTLX, Variations (statement)
History
- 2026-11-02: add by m2/dev
Implementation C3FHSEAR41
| URI | m2://inv/C3FHSEAR41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-state machine#84V9, Implementation (definition)
History
- 2026-11-02: add by m2/dev
C3FKEY2549 C3FKEY2549
| URI | m2://inv/C3FKEY2549 |
|---|---|
| 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.07190#1BSA (statement). In ZWS6Q4467X/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
C3FKWYH00T C3FKWYH00T
| URI | m2://inv/C3FKWYH00T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exponential.ptx#ex_genfunction_exponential_passcode (example). In QKM9DD2H56, example, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Finite completeness C3FTKFP125
| URI | m2://inv/C3FTKFP125 |
|---|---|
| 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#NJDB, Finite completeness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ethnography C3FY30G57F
| URI | m2://inv/C3FY30G57F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#TAFX, Ethnography (unknown)
History
- 2026-11-02: add by m2/dev
normal endomorphism C3G4W4S8DE
| URI | m2://inv/C3G4W4S8DE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > normal endomorphism, normal endomorphism (unknown). Also Mathlib IsStarNormal
History
- 2026-10-26: add by m2/dev
Mathematical Association of America C3G5QCJ1E2
| URI | m2://inv/C3G5QCJ1E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#RI3X, Mathematical Association of America (definition)
History
- 2026-11-02: add by m2/dev
Participation inequality C3G66VTT08
| URI | m2://inv/C3G66VTT08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1% rule#EG6H, Participation inequality (statement)
History
- 2026-11-02: add by m2/dev
Central Statistics Office C3GAHWS0TK
| URI | m2://inv/C3GAHWS0TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central Statistics Office (Ireland), Central Statistics Office (definition). Also Wikidata Q2081788
History
- 2026-11-02: add by m2/dev
C3GHQEXP21 C3GHQEXP21
| URI | m2://inv/C3GHQEXP21 |
|---|---|
| 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.11292#U1BX (statement). In Y35XMETFV7/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
Alternative definition C3GHWFPJ8W
| URI | m2://inv/C3GHWFPJ8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic coordinate system#YLGG, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Proof of Fermat's Last Theorem for specific exponents C3GJS3WQXH
| URI | m2://inv/C3GJS3WQXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of Fermat's Last Theorem for specific exponents, Proof of Fermat's Last Theorem for specific exponents (statement). Also Wikidata Q3044466
History
- 2026-11-02: add by m2/dev
natural numbers C3GS4FA8FT
| URI | m2://inv/C3GS4FA8FT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.9/natural-numbers, natural numbers (concept). In N54F33XE07, index, section A.9
History
- 2026-11-01: add by m2/v0.6.13
Hypercontractivity of $\phi_{t,\tau}^{'\bds}$ C3GV3ZSSA4
| URI | m2://inv/C3GV3ZSSA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#D9H5, Hypercontractivity of $\phi_{t,\tau}^{'\bds}$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Orientation over a domain C3GX2Y2DS1
| URI | m2://inv/C3GX2Y2DS1 |
|---|---|
| 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 2610.21662#NJGB, Orientation over a domain (statement). In 25B3WHEKH2/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.4.2
C3HHN9Q2CM C3HHN9Q2CM
| URI | m2://inv/C3HHN9Q2CM |
|---|---|
| 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#GI9D (statement). In X47RYAZF8P/e1, lemma 8.11
History
- 2026-10-28: add by m2/v0.4.2
C3HJW5SN7W C3HJW5SN7W
| URI | m2://inv/C3HJW5SN7W |
|---|---|
| Kind | definition |
| 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.30976#W3XF (definition). In 4QY9J1A0KT/e1, definition 5
History
- 2026-10-31: add by m2/v0.5.6
Formula C3HP3WEVWT
| URI | m2://inv/C3HP3WEVWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelly criterion#5HQL, Formula (statement)
History
- 2026-11-02: add by m2/dev
Two-sided marginal repair C3HSN1AFGS
| URI | m2://inv/C3HSN1AFGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#FZ0R, Two-sided marginal repair (statement)
History
- 2026-11-01: add by m2/v0.6.15
C3HYX61NZD C3HYX61NZD
| URI | m2://inv/C3HYX61NZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 2302.13533#YPH4 (statement). In DK9GQ8G0T4/e1, theorem 1.12
History
- 2026-10-27: add by m2/v0.3.5
C3JDP3G54N C3JDP3G54N
| URI | m2://inv/C3JDP3G54N |
|---|---|
| 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 2411.02694#J9HA (statement). In A8EK2ARN5Q/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.0
4D vector C3JDQ6DCGQ
| URI | m2://inv/C3JDQ6DCGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4D vector, 4D vector (definition). Also Wikidata Q24894150
History
- 2026-11-02: add by m2/dev
C3JE7FDXB8 C3JE7FDXB8
| URI | m2://inv/C3JE7FDXB8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#7HEY (problem). In 47WN78VDDF/e1, problem 3.41
History
- 2026-10-30: add by m2/v0.4.12
tree, spanning C3JEV57XXG
| URI | m2://inv/C3JEV57XXG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.1/tree-spanning, tree, spanning (concept). In QKM9DD2H56, index, section 12.1
History
- 2026-11-01: add by m2/v0.6.13
C3JKS0XRH4 C3JKS0XRH4
| URI | m2://inv/C3JKS0XRH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18632#S9MB (statement). In PTM5MVD4M0/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
C3K398AA8K C3K398AA8K
| URI | m2://inv/C3K398AA8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#A8A8 (statement). In X765ZXXVC3/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.12
C3K3C9XMCK C3K3C9XMCK
| URI | m2://inv/C3K3C9XMCK |
|---|---|
| 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#MAAS (statement). In F3PQ8P7R2B/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Main results C3K9TZW1MY
| URI | m2://inv/C3K9TZW1MY |
|---|---|
| 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.00396#V9VI, Main results (statement). In V13TE1RWT9/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Definition C3KEYVZJ7S
| URI | m2://inv/C3KEYVZJ7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perturbation function#5ZMG, Definition (definition)
History
- 2026-11-02: add by m2/dev
C3KWGJQDMA C3KWGJQDMA
| URI | m2://inv/C3KWGJQDMA |
|---|---|
| Kind | definition |
| 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.30976#77P0 (definition). In 4QY9J1A0KT/e1, definition 8
History
- 2026-10-31: add by m2/v0.5.6
Design exactness C3KZ1BYDPV
| URI | m2://inv/C3KZ1BYDPV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#2CQG, Design exactness (definition). In Z7M2JSF6HA/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
C3M3PQPGB2 C3M3PQPGB2
| URI | m2://inv/C3M3PQPGB2 |
|---|---|
| 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.32946#L561 (statement). In 6AEBXNK614/e1, corollary 2.9
History
- 2026-10-31: add by m2/v0.5.6
Exponential map (Riemannian geometry) C3MB0RHXT4
| URI | m2://inv/C3MB0RHXT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#JEL6, Exponential map (Riemannian geometry) (definition)
- wikipedia: Wikipedia List of exponential topics#MZCC, Exponential map (Riemannian geometry) (definition)
History
- 2026-11-02: add by m2/dev
C3MDP1FDCY C3MDP1FDCY
| URI | m2://inv/C3MDP1FDCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05791#2E2W (statement). In CP0PVZ70MF/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Equivalent definitions C3MH7HTQC8
| URI | m2://inv/C3MH7HTQC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central groupoid#4N74, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
Generalizations C3MQA942E2
| URI | m2://inv/C3MQA942E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jensen's inequality#AOZA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
C3MTW28K6R C3MTW28K6R
| URI | m2://inv/C3MTW28K6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#75XJ (statement). In MB29RAAQMG/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
Kathleen Madden C3N1YX92XG
| URI | m2://inv/C3N1YX92XG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathleen Madden, Kathleen Madden (topic). Also Wikidata Q54271907
History
- 2026-11-02: add by m2/dev
Alain Lascoux C3N3169P8Q
| URI | m2://inv/C3N3169P8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain Lascoux, Alain Lascoux (topic). Also Wikidata Q4705670
History
- 2026-11-02: add by m2/dev
Francesco Gerbaldi C3N6EPQ7H9
| URI | m2://inv/C3N6EPQ7H9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Gerbaldi, Francesco Gerbaldi (topic). Also Wikidata Q13566327
History
- 2026-11-02: add by m2/dev
A Beautiful Mind C3N9A6YD1B
| URI | m2://inv/C3N9A6YD1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#41BB, A Beautiful Mind (definition)
History
- 2026-11-02: add by m2/dev
United States C3NAD916J0
| URI | m2://inv/C3NAD916J0 |
|---|---|
| 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 Q30, United States (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/United_States
History
- 2026-10-26: add by m2/dev
Determinant lower bound for the smallest eigenvalue C3NCQX0E3E
| URI | m2://inv/C3NCQX0E3E |
|---|---|
| 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.08152#L2LS, Determinant lower bound for the smallest eigenvalue (statement). In T1GYQ6SCCZ/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Applications C3NESWTTSV
| URI | m2://inv/C3NESWTTSV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic volatility jump models#OU23, Applications (example)
History
- 2026-11-02: add by m2/dev
C3NHC8DDX7 C3NHC8DDX7
| URI | m2://inv/C3NHC8DDX7 |
|---|---|
| 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.21934#4APV (statement). In YKD51BX3XB/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
power of six C3NK3HRKH9
| URI | m2://inv/C3NK3HRKH9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113401221, power of six (object). Also OEIS A000400
History
- 2026-10-26: add by m2/dev
C3NMDTNRM6 C3NMDTNRM6
| URI | m2://inv/C3NMDTNRM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
C3NP8EV58T C3NP8EV58T
| URI | m2://inv/C3NP8EV58T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#3GXJ (statement). In VN084GGZGK/e1, proposition 4.27
History
- 2026-10-28: add by m2/v0.4.3
position with respect to the tangent plane C3NQV1RFJ6
| URI | m2://inv/C3NQV1RFJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > position with respect to the tangent plane, position with respect to the tangent plane (unknown)
History
- 2026-10-26: add by m2/dev
Examples C3NT2P0F3H
| URI | m2://inv/C3NT2P0F3H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity element#DX2U, Examples (example)
History
- 2026-11-02: add by m2/dev
our notation C3NTGF1830
| URI | m2://inv/C3NTGF1830 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#BR98, our notation (statement). In S26QVW5613/e1, theorem 2.1.11
History
- 2026-10-30: add by m2/v0.4.12
Examples C3NW4S3D7W
| URI | m2://inv/C3NW4S3D7W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-product property#163W, Examples (example)
History
- 2026-11-02: add by m2/dev
C3NXMGT2N2 C3NXMGT2N2
| URI | m2://inv/C3NXMGT2N2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35597#04XP (statement). In K424GCJ50P/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Peter Hintz C3P2J4WRT7
| URI | m2://inv/C3P2J4WRT7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Hintz, Peter Hintz (topic). Also Wikidata Q56884394
History
- 2026-11-02: add by m2/dev
Trisectrix C3P2NY0N3J
| URI | m2://inv/C3P2NY0N3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2454131, Trisectrix (unknown). Also MathWorld Trisectrix
- wikipedia: Wikipedia Trisectrix, Trisectrix (definition). Also Wikidata Q2454131
History
- 2026-10-26: add by m2/dev
Non-sampling error C3PA38AWFJ
| URI | m2://inv/C3PA38AWFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KZHT, Non-sampling error (definition)
History
- 2026-11-02: add by m2/dev
real numbers, Cauchy C3PFE15Q43
| URI | m2://inv/C3PFE15Q43 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/real-numbers-cauchy, real numbers, Cauchy (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
C3PJE8C6BE C3PJE8C6BE
| URI | m2://inv/C3PJE8C6BE |
|---|---|
| Kind | definition |
| 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#X53T (definition). In C7QZ0VPBC8/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Continuity of \(G\)-centering C3PQ5RP41C
| URI | m2://inv/C3PQ5RP41C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08821#W4C6, Continuity of \(G\)-centering (statement). In KP1THB2C09/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Erdős–Szekeres theorem C3PT8TA3X2
| URI | m2://inv/C3PT8TA3X2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirsky's theorem#SCES, Erdős–Szekeres theorem (statement)
History
- 2026-11-02: add by m2/dev
Convex analysis C3PVZCPN56
| URI | m2://inv/C3PVZCPN56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#FWP2, Convex analysis (definition)
History
- 2026-11-02: add by m2/dev
C3PZYE2RGH C3PZYE2RGH
| URI | m2://inv/C3PZYE2RGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#S5XK (statement)
History
- 2026-11-01: add by m2/v0.6.15
hypersurface, $C^k$-smooth C3Q9FQ0ADM
| URI | m2://inv/C3Q9FQ0ADM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.2/hypersurface-c-k-smooth, hypersurface, $C^k$-smooth (concept). In VNMV985MXX, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Optimal buffer alignment per unit spectral norm C3QD2ERFEV
| URI | m2://inv/C3QD2ERFEV |
|---|---|
| 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.03306#F9SO, Optimal buffer alignment per unit spectral norm (statement). In CXQ7FKSKSB/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
Statement C3QGF98A9K
| URI | m2://inv/C3QGF98A9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfond–Schneider theorem#2CHX, Statement (statement)
History
- 2026-11-02: add by m2/dev
Yamaji Nushizumi C3QRR8KT8M
| URI | m2://inv/C3QRR8KT8M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamaji Nushizumi, Yamaji Nushizumi (topic). Also Wikidata Q11470954
History
- 2026-11-02: add by m2/dev
Juhász, István C3QVNB8QMN
| URI | m2://inv/C3QVNB8QMN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#E58G, Juhász, István (topic)
History
- 2026-11-02: add by m2/dev
A multidimensional second-variation bound C3R6Z6N1V6
| URI | m2://inv/C3R6Z6N1V6 |
|---|---|
| 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#ZLCI, A multidimensional second-variation bound (statement). In 9YAE8FNQST/e1, lemma 18.6
History
- 2026-10-30: add by m2/v0.4.12
$\delta$ with cup products C3R81MWQ8P
| URI | m2://inv/C3R81MWQ8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#lemma-2, $\delta$ with cup products (statement). In RZP28ERRZV, lemma, section 52.4
History
- 2026-11-01: add by m2/v0.6.13
C3R96K9DRW C3R96K9DRW
| URI | m2://inv/C3R96K9DRW |
|---|---|
| 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 2609.31783#P712 (statement). In CGNVT4C47F/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Cauchy's argument principle C3RBTZ836P
| URI | m2://inv/C3RBTZ836P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyquist stability criterion#WSRZ, Cauchy's argument principle (statement)
History
- 2026-11-02: add by m2/dev
C3RMC8B0DG C3RMC8B0DG
| URI | m2://inv/C3RMC8B0DG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#VB0Z (definition). In V97F4YZ8B0/e1, definition 8.5
History
- 2026-10-28: add by m2/v0.4.2
Concavity of the radius function (Brunn's theorem) C3RTRQGM1V
| URI | m2://inv/C3RTRQGM1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunn–Minkowski theorem#7MQ4, Concavity of the radius function (Brunn's theorem) (statement)
History
- 2026-11-02: add by m2/dev
C3RWE88CZS C3RWE88CZS
| URI | m2://inv/C3RWE88CZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-31 (definition). In VNMV985MXX, defn, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
C3RZGB93YQ C3RZGB93YQ
| URI | m2://inv/C3RZGB93YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/relational-models.tex#defn:true-at-w (definition). In PKGMM3P5QY, defn, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
C3S47RZQ2E C3S47RZQ2E
| URI | m2://inv/C3S47RZQ2E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/proofs-about-sets.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 82.6
History
- 2026-11-01: add by m2/v0.6.13
Response bias C3S6Q7A8NF
| URI | m2://inv/C3S6Q7A8NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Response bias, Response bias (definition). Also Wikidata Q490535
History
- 2026-11-02: add by m2/dev
Power transform C3SPS5TJRC
| URI | m2://inv/C3SPS5TJRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AMBT, Power transform (definition)
History
- 2026-11-02: add by m2/dev
Active and inactive Newton heights C3SY16S7EP
| URI | m2://inv/C3SY16S7EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#0FUP, Active and inactive Newton heights (statement). In 8BNPFYQDQX/e1, proposition 11.1
History
- 2026-10-29: add by m2/v0.4.10
Candido's identity C3T0KYNDHG
| URI | m2://inv/C3T0KYNDHG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#Z96Q, Candido's identity (statement)
History
- 2026-11-02: add by m2/dev
Generalization C3T7AJQKJW
| URI | m2://inv/C3T7AJQKJW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear code#1TW5, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Robert G. Gallager C3T8XP3EJY
| URI | m2://inv/C3T8XP3EJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L9F4, Robert G. Gallager (unknown)
History
- 2026-11-02: add by m2/dev
Theorem C3TACZDHJZ
| URI | m2://inv/C3TACZDHJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski functional#5K5L, Theorem (statement)
History
- 2026-11-02: add by m2/dev
C3TB8P4TNJ C3TB8P4TNJ
| URI | m2://inv/C3TB8P4TNJ |
|---|---|
| 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 2404.05965#328S (statement). In GD1GED3FZ3/e1, lemma 11.1
History
- 2026-10-27: add by m2/v0.3.5
Trickle-down and initial stability for amplifiers C3TNKD6R2Z
| URI | m2://inv/C3TNKD6R2Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#ZSSM, Trickle-down and initial stability for amplifiers (definition). In WD2NCBV9F0/e1, definition 5.11
History
- 2026-10-27: add by m2/v0.3.5
preorder C3TNSCHYEZ
| URI | m2://inv/C3TNSCHYEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#VGXC, preorder (definition)
History
- 2026-11-02: add by m2/dev
Goss zeta function C3TX5XJM75
| URI | m2://inv/C3TX5XJM75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5587463, Goss zeta function (unknown). Also nLab Goss zeta function
- wikipedia: Wikipedia Goss zeta function, Goss zeta function (definition). Also Wikidata Q5587463
History
- 2026-10-26: add by m2/dev
C3V1Y43ER7 C3V1Y43ER7
| URI | m2://inv/C3V1Y43ER7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#proposition-4 (statement). In RZP28ERRZV, proposition, section 33.3.3
History
- 2026-11-01: add by m2/v0.6.13
``functoriality'' of functions in type theory C3V218VZDJ
| URI | m2://inv/C3V218VZDJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.1/functoriality-of-functions-in-type-theory, ``functoriality'' of functions in type theory (concept). In N54F33XE07, index, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
A bounded Bass measure C3V4ZJHMMS
| URI | m2://inv/C3V4ZJHMMS |
|---|---|
| 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#TEV0, A bounded Bass measure (statement). In 9YAE8FNQST/e1, proposition 18.16
History
- 2026-10-30: add by m2/v0.4.12
F. J. Murray C3VJ1GKXRN
| URI | m2://inv/C3VJ1GKXRN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#V5QX, F. J. Murray (topic)
History
- 2026-11-02: add by m2/dev
Lemma C3VNZG7F37
| URI | m2://inv/C3VNZG7F37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximately finite-dimensional C*-algebra#DED0, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Clyde, Merlise A. C3VQP9YFCX
| URI | m2://inv/C3VQP9YFCX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#585P, Clyde, Merlise A. (topic)
History
- 2026-11-02: add by m2/dev
Definition C3VRYXKP0Z
| URI | m2://inv/C3VRYXKP0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Airy zeta function#IJHK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Enumeration C3VTMB6WA4
| URI | m2://inv/C3VTMB6WA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of k-uniform tilings#LKTT, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
C3VTND9SAX C3VTND9SAX
| URI | m2://inv/C3VTND9SAX |
|---|---|
| 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 2309.16041#KNL7 (statement). In 2GD6NWJVRM/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Example C3W1XZE8QY
| URI | m2://inv/C3W1XZE8QY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population proportion#2TOA, Example (example)
History
- 2026-11-02: add by m2/dev
C3W3S8ZQQ9 C3W3S8ZQQ9
| URI | m2://inv/C3W3S8ZQQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-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.21365#ANTM (statement). In FCMMB2EVAP/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
C3W68FG1CD C3W68FG1CD
| URI | m2://inv/C3W68FG1CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#RQOV (statement). In 3KTZ6Z615H/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Properties C3W6G2T327
| URI | m2://inv/C3W6G2T327 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Body of constant brightness#8ZHA, Properties (statement)
History
- 2026-11-02: add by m2/dev
powerset C3W6VKRFNH
| URI | m2://inv/C3W6VKRFNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FSYV, powerset (definition)
History
- 2026-11-02: add by m2/dev
C3W8TWZ2EP C3W8TWZ2EP
| URI | m2://inv/C3W8TWZ2EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21472#2PHI (statement)
History
- 2026-11-02: add by m2/v0.6.18
C3WS9G4PHG C3WS9G4PHG
| URI | m2://inv/C3WS9G4PHG |
|---|---|
| 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.18084#T8YU (statement). In PKPT8NY665/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
C3WT6Y69VW C3WT6Y69VW
| URI | m2://inv/C3WT6Y69VW |
|---|---|
| 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 2609.40028#I2CR (statement). In N8TDKGGC7S/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
C3X77TNQZT C3X77TNQZT
| URI | m2://inv/C3X77TNQZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#KVC6 (statement). In Q6HRJP4AWA/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
C3XBWD0Z5G C3XBWD0Z5G
| URI | m2://inv/C3XBWD0Z5G |
|---|---|
| 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.21972#5LYT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kakutani's theorem on 2-spheres C3XCF0E42W
| URI | m2://inv/C3XCF0E42W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani's theorem (geometry)#GQPK, Kakutani's theorem on 2-spheres (statement)
History
- 2026-11-02: add by m2/dev
Degree $10$ C3XH4NBKBX
| URI | m2://inv/C3XH4NBKBX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23781#K9LO, Degree $10$ (example)
History
- 2026-11-02: add by m2/v0.6.17
C3XQH6WSND C3XQH6WSND
| URI | m2://inv/C3XQH6WSND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#7B8E (statement). In ATSYBWEMMP/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
C3Y44YPCCD C3Y44YPCCD
| URI | m2://inv/C3Y44YPCCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#ZQ0U (statement). In GAG532VMPF/e1, lemma 3.2.5
History
- 2026-10-27: add by m2/v0.3.5
Karamata's inequality C3Y50T2XNX
| URI | m2://inv/C3Y50T2XNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#MAS1, Karamata's inequality (statement)
History
- 2026-11-02: add by m2/dev
Varignon's theorem C3Y9970EB2
| URI | m2://inv/C3Y9970EB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Varignon's theorem B2ZJW0YBQ7 |
Mentions
- mathlib_1000: mathlib_1000 Q1896455, Varignon's theorem (statement). Also Wikidata Q1896455
- thousand_plus: thousand_plus Q1896455, Varignon's theorem (statement). Also Wikidata Q1896455, Wikipedia Varignon's theorem
- wikidata: Wikidata Q1896455, Varignon's theorem (statement). Also MathWorld VarignonsTheorem
- wikipedia: Wikipedia Varignon's theorem, Varignon's theorem (statement). Also Wikidata Q1896455
History
- 2026-10-26: add by m2/dev
Monotone Robin quotients C3YA72XEQP
| URI | m2://inv/C3YA72XEQP |
|---|---|
| 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.33794#0C1D, Monotone Robin quotients (statement). In W0PQMW25VY/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
black hole C3YAAY35BB
| URI | m2://inv/C3YAAY35BB |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 83C57 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q589, black hole (topic). Also nLab black hole
- wikipedia: Wikipedia Black hole, Black hole (definition). Also Wikidata Q589
History
- 2026-10-26: add by m2/dev
C3YCJRJSX6 C3YCJRJSX6
| URI | m2://inv/C3YCJRJSX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10773#OZYF (statement). In 744Y8ZPEV7/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.3
Institute of Mathematics and its Applications C3YD9KCAKD
| URI | m2://inv/C3YD9KCAKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Mathematics and its Applications, Institute of Mathematics and its Applications (definition). Also Wikidata Q6040575
History
- 2026-11-02: add by m2/dev
Uniform inward collar C3YF0EV1CV
| URI | m2://inv/C3YF0EV1CV |
|---|---|
| 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.26665#0UWU, Uniform inward collar (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kokotsakis polyhedron C3YF81DV1H
| URI | m2://inv/C3YF81DV1H |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kokotsakis polyhedron, Kokotsakis polyhedron (object). Also Wikidata Q133816396
History
- 2026-11-02: add by m2/dev
C3YGEQ7F8R C3YGEQ7F8R
| URI | m2://inv/C3YGEQ7F8R |
|---|---|
| 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 2609.34813#GMGH (statement). In P3V3ZGCHV7/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
S. N. Seshadri C3YKKJY7GQ
| URI | m2://inv/C3YKKJY7GQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#PMJM, S. N. Seshadri (unknown)
History
- 2026-11-02: add by m2/dev
Characterization of the Hartley function C3YP3FFRPT
| URI | m2://inv/C3YP3FFRPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartley function#LKYB, Characterization of the Hartley function (statement)
History
- 2026-11-02: add by m2/dev
Dirichlet's unit theorem C3YPA0PYTY
| URI | m2://inv/C3YPA0PYTY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 5 |
| Outcome | open |
| Node | Dirichlet's unit theorem 1D99CSKX6N |
Mentions
- mathlib_1000: mathlib_1000 Q1227702, Dirichlet's unit theorem (statement). Also Mathlib NumberField.Units.basisModTorsion, Mathlib NumberField.Units.exist_unique_eq_mul_prod, Wikidata Q1227702
- mathlib_overview: mathlib_overview General algebra > Algebraic Number Theory > Dirichlet unit theorem, Dirichlet unit theorem (unknown). Also Mathlib NumberField.Units.exist_unique_eq_mul_prod
- thousand_plus: thousand_plus Q1227702, Dirichlet's unit theorem (statement). Also Mathlib NumberField.Units.basisModTorsion, Mathlib NumberField.Units.exist_unique_eq_mul_prod, Wikidata Q1227702, Wikipedia Dirichlet's unit theorem
- wikidata: Wikidata Q1227702, Dirichlet's unit theorem (statement). Also nLab Dirichlet's unit theorem
- wikipedia: Wikipedia Dirichlet's unit theorem, Dirichlet's unit theorem (statement). Also Wikidata Q1227702
History
- 2026-10-26: add by m2/dev
Neyman-Pearson lemma for the optimal \Ev-power C3YSSTERYH
| URI | m2://inv/C3YSSTERYH |
|---|---|
| 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#5IKT, Neyman-Pearson lemma for the optimal \Ev-power (statement). In 7452X8HQ21/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
1703 Icelandic census C3YVMS8EFF
| URI | m2://inv/C3YVMS8EFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1703 Icelandic census, 1703 Icelandic census (definition). Also Wikidata Q10997463
History
- 2026-11-02: add by m2/dev
Morse domains C3YYHPBQRK
| URI | m2://inv/C3YYHPBQRK |
|---|---|
| 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.26665#FKZ7, Morse domains (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hamilton's principle C3YZREX20D
| URI | m2://inv/C3YZREX20D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herglotz's variational principle#8A1N, Hamilton's principle (statement)
History
- 2026-11-02: add by m2/dev
C3Z8Q5J2G2 C3Z8Q5J2G2
| URI | m2://inv/C3Z8Q5J2G2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#8TSM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition C3ZEV5007E
| URI | m2://inv/C3ZEV5007E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypocontinuous bilinear map#N9PM, Definition (definition)
History
- 2026-11-02: add by m2/dev
C3ZJ57V87P C3ZJ57V87P
| URI | m2://inv/C3ZJ57V87P |
|---|---|
| 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.07099#5E9V (statement). In 9GNAHRCYFT/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
C3ZK14PSG6 C3ZK14PSG6
| URI | m2://inv/C3ZK14PSG6 |
|---|---|
| Kind | definition |
| 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 2610.07293#FWW6 (definition). In V1GVYM0WQG/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Axioms of voting systems C3ZN7Q326R
| URI | m2://inv/C3ZN7Q326R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow's impossibility theorem#HWAK, Axioms of voting systems (statement)
History
- 2026-11-02: add by m2/dev
C3ZNA4ZMEA C3ZNA4ZMEA
| URI | m2://inv/C3ZNA4ZMEA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#DVFK (definition). In Z7E16PFFCP/e1, definition 2.10
History
- 2026-10-30: add by m2/v0.4.12
chessboard paradox C3ZVB53EX1
| URI | m2://inv/C3ZVB53EX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q98374129, chessboard paradox (unknown). Also MathWorld DissectionFallacy
- wikipedia: Wikipedia Chessboard paradox, Chessboard paradox (statement). Also Wikidata Q98374129
History
- 2026-10-26: add by m2/dev
Clustering C3ZWJPAMG6
| URI | m2://inv/C3ZWJPAMG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#QFGO, Clustering (definition)
History
- 2026-11-02: add by m2/dev
C3ZXH88WWS C3ZXH88WWS
| URI | m2://inv/C3ZXH88WWS |
|---|---|
| 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 2609.31458#RTN4 (statement). In SNWC76WKWT/e1, lemma D.1
History
- 2026-10-31: add by m2/v0.5.6