Inventory rows 94
The cards of the rows of the inventory whose ids start with 94. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Construction 9403S621DF
| URI | m2://inv/9403S621DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicyclic semigroup#BTSY, Construction (definition)
History
- 2026-11-02: add by m2/dev
Infinite-dimensional topology 9405MDJMDW
| URI | m2://inv/9405MDJMDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#WPQC, Infinite-dimensional topology (definition)
History
- 2026-11-02: add by m2/dev
Kleene hierarchy 9406Q8QFHC
| URI | m2://inv/9406Q8QFHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#08O4, Kleene hierarchy (definition)
History
- 2026-11-02: add by m2/dev
9406S4KEEW 9406S4KEEW
| URI | m2://inv/9406S4KEEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39517#VL3D (statement). In TWP8T68ABF/e1, theorem 0.3.1
History
- 2026-10-30: add by m2/v0.4.12
9407TQ8C0V 9407TQ8C0V
| URI | m2://inv/9407TQ8C0V |
|---|---|
| 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 2609.21969#Q2JC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 940B84FRQ6
| URI | m2://inv/940B84FRQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local flatness#4S0Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
rigid transformation 940BMP2RNS
| URI | m2://inv/940BMP2RNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7333813, rigid transformation (unknown). Also MathWorld EuclideanMotion
- wikipedia: Wikipedia Rigid transformation, Rigid transformation (definition). Also Wikidata Q7333813
History
- 2026-10-26: add by m2/dev
Kelvin's circulation theorem 940G3D1W7V
| URI | m2://inv/940G3D1W7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DH40, Kelvin's circulation theorem (statement)
History
- 2026-11-02: add by m2/dev
Equilibrated flux reconstruction 940K2X6DFZ
| URI | m2://inv/940K2X6DFZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12088#TOGF, Equilibrated flux reconstruction (definition). In 5A39XSJ04W/e1, definition 7.6
History
- 2026-10-28: add by m2/v0.4.3
Category of finite-dimensional Hilbert spaces 940KZCSM21
| URI | m2://inv/940KZCSM21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of finite-dimensional Hilbert spaces, Category of finite-dimensional Hilbert spaces (definition). Also Wikidata Q5051845
History
- 2026-11-02: add by m2/dev
911 (Number) 940V2AQYA0
| URI | m2://inv/940V2AQYA0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#SZTQ, 911 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Properties 9411DXRPNY
| URI | m2://inv/9411DXRPNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital root#KH5B, Properties (statement)
History
- 2026-11-02: add by m2/dev
Methods 9414KBPD96
| URI | m2://inv/9414KBPD96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demography#XNMG, Methods (definition)
History
- 2026-11-02: add by m2/dev
George Johnson 9417GSCFBA
| URI | m2://inv/9417GSCFBA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Johnson (statistician), George Johnson (topic). Also Wikidata Q52823315
History
- 2026-11-02: add by m2/dev
9418YP41KX 9418YP41KX
| URI | m2://inv/9418YP41KX |
|---|---|
| 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 2207.11097#LIF8 (statement). In 13H5BTAXHF/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Casey's theorem 941BAJF8P4
| URI | m2://inv/941BAJF8P4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2TV0, Casey's theorem (statement)
History
- 2026-11-02: add by m2/dev
Beta function 941C2CMPCN
| URI | m2://inv/941C2CMPCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K516, Beta function (definition)
History
- 2026-11-02: add by m2/dev
941D8QNZVK 941D8QNZVK
| URI | m2://inv/941D8QNZVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33531#8EG8 (statement). In HNMJEAR2ER/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
Drug sentencing laws 941HTPYMYY
| URI | m2://inv/941HTPYMYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia United States incarceration rate#LJ0Q, Drug sentencing laws (statement)
History
- 2026-11-02: add by m2/dev
941KZ0ZR6K 941KZ0ZR6K
| URI | m2://inv/941KZ0ZR6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#BWE4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Noetherian 941N1QZ3C0
| URI | m2://inv/941N1QZ3C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#WZ1S, Noetherian (definition)
History
- 2026-11-02: add by m2/dev
941TP039XQ 941TP039XQ
| URI | m2://inv/941TP039XQ |
|---|---|
| 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 1512.06981#JUN4 (statement). In X923ZEY423/e1, proposition 2.0.12
History
- 2026-10-27: add by m2/v0.3.5
Proof of $A\implies B$ by direct proof 942D4MKJ04
| URI | m2://inv/942D4MKJ04 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#skeleton:direct proof, Proof of $A\implies B$ by direct proof (proof). In P1C114YBXG, skeleton, section F
History
- 2026-11-01: add by m2/v0.6.13
942HQ3GWVF 942HQ3GWVF
| URI | m2://inv/942HQ3GWVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.06321#7SGB (statement). In PGV1116XX4/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
942JQBV2BB 942JQBV2BB
| URI | m2://inv/942JQBV2BB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#proof-9 (proof). In E59CDZA4DP, proof, section 9.3.2
History
- 2026-11-01: add by m2/v0.6.13
942Z06WPBW 942Z06WPBW
| URI | m2://inv/942Z06WPBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20391#OHUC (statement). In CTAS41TRM2/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
9431MGRM05 9431MGRM05
| URI | m2://inv/9431MGRM05 |
|---|---|
| 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 2204.05019#7KO5 (statement). In NMGJEPYKJ7/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Generalizations 9432G0D3AG
| URI | m2://inv/9432G0D3AG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game without a value#UJ0U, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
943G87CA5H 943G87CA5H
| URI | m2://inv/943G87CA5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#58CJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conjugate 943HN42XZ4
| URI | m2://inv/943HN42XZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate (square roots), Conjugate (definition). Also Wikidata Q5161150
History
- 2026-11-02: add by m2/dev
Victor Ostrik 943M975SR3
| URI | m2://inv/943M975SR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VQMA, Victor Ostrik (unknown)
History
- 2026-11-02: add by m2/dev
943NPPEPW1 943NPPEPW1
| URI | m2://inv/943NPPEPW1 |
|---|---|
| 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.13793#IFUN (statement). In XZKMFDAABC/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Roberto Peccei 943Z3SNPAH
| URI | m2://inv/943Z3SNPAH |
|---|---|
| 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#OWNB, Roberto Peccei (unknown)
History
- 2026-11-02: add by m2/dev
9441YP42E8 9441YP42E8
| URI | m2://inv/9441YP42E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#5Z2K (statement). In 73QW05MWQB/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
mean squared displacement 944C48ZWBN
| URI | m2://inv/944C48ZWBN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1565055, mean squared displacement (concept). Also MathWorld MeanSquareDisplacement
- wikipedia: Wikipedia Mean squared displacement, Mean squared displacement (definition). Also Wikidata Q1565055
History
- 2026-10-26: add by m2/dev
944G6D58EB 944G6D58EB
| URI | m2://inv/944G6D58EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 0811.0544#SO8N (statement). In RKPZ3SC956/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Elizabeth Scott 944N3X6HCN
| URI | m2://inv/944N3X6HCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#V8FP, Elizabeth Scott (unknown)
History
- 2026-11-02: add by m2/dev
Law of the iterated logarithm 944PXKXV8R
| URI | m2://inv/944PXKXV8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of the iterated logarithm, Law of the iterated logarithm (statement). Also Wikidata Q198740
History
- 2026-11-02: add by m2/dev
945289PZS6 945289PZS6
| URI | m2://inv/945289PZS6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
William French Smith 94575XTJTP
| URI | m2://inv/94575XTJTP |
|---|---|
| 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#UK9E, William French Smith (unknown)
History
- 2026-11-02: add by m2/dev
Definition 9458PZN2PJ
| URI | m2://inv/9458PZN2PJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bar induction#05QN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Comparison at stationary pairs 945FVASY7H
| URI | m2://inv/945FVASY7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2609.37615#M64H, Comparison at stationary pairs (statement). In T2B54J7121/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Non-equivalence with FRC 945SP5C0C5
| URI | m2://inv/945SP5C0C5 |
|---|---|
| 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.20087#VRYK, Non-equivalence with FRC (statement). In ZRE2WQR5XA/e1, proposition III.11
History
- 2026-10-27: add by m2/v0.4.2
Herman Auerbach 945VERKEGV
| URI | m2://inv/945VERKEGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3A0L, Herman Auerbach (topic)
History
- 2026-11-02: add by m2/dev
Cofinal (mathematics) 945XFSKNN5
| URI | m2://inv/945XFSKNN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#3PEN, Cofinal (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Properties 945YRRFVW7
| URI | m2://inv/945YRRFVW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-sided Laplace transform#9U3Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
9469ZYWYE5 9469ZYWYE5
| URI | m2://inv/9469ZYWYE5 |
|---|---|
| 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 2111.07409#DKU7 (statement). In KWH4QJDPWC/e1, proposition 4.14
History
- 2026-10-27: add by m2/v0.4.0
chain condition 946AE8J4QR
| URI | m2://inv/946AE8J4QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78657959, chain condition (unknown). Also EoM Chain_condition, MathWorld ChainCondition
History
- 2026-10-26: add by m2/dev
Gérard Ben Arous 946F7ZSXEP
| URI | m2://inv/946F7ZSXEP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gérard Ben Arous, Gérard Ben Arous (topic). Also Wikidata Q1558946
History
- 2026-11-02: add by m2/dev
Examples 946HMS8990
| URI | m2://inv/946HMS8990 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strangulated graph#ZXZ6, Examples (example)
History
- 2026-11-02: add by m2/dev
The generalized repunit conjecture 946XAPYM06
| URI | m2://inv/946XAPYM06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repunit#8IYH, The generalized repunit conjecture (statement)
History
- 2026-11-02: add by m2/dev
Algorithms 946XG2ZEEN
| URI | m2://inv/946XG2ZEEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective method#IBYK, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
946XVRK241 946XVRK241
| URI | m2://inv/946XVRK241 |
|---|---|
| Kind | definition |
| 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 2506.07061#ID39 (definition). In G2PA4KAGRP/e1, definition 3.15
History
- 2026-10-27: add by m2/v0.3.6
94771JRQNE 94771JRQNE
| URI | m2://inv/94771JRQNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#T88J (statement). In CTVPA2FQT1/e1, lemma 8.6.2
History
- 2026-10-27: add by m2/v0.4.0
947B66J0C2 947B66J0C2
| URI | m2://inv/947B66J0C2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.23822#VYDZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
947G0AJ57A 947G0AJ57A
| URI | m2://inv/947G0AJ57A |
|---|---|
| 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.03683#BLLB (statement). In 14AMXF6X2V/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Sonia Petrone 947GVH1BHM
| URI | m2://inv/947GVH1BHM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sonia Petrone, Sonia Petrone (topic). Also Wikidata Q50199209
History
- 2026-11-02: add by m2/dev
947Z6RZV9D 947Z6RZV9D
| URI | m2://inv/947Z6RZV9D |
|---|---|
| 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 2204.13401#IBNJ (statement). In B8MJT0GGW8/e1, lemma 4.19
History
- 2026-10-27: add by m2/v0.4.0
Icons of Mathematics 948632AH5X
| URI | m2://inv/948632AH5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icons of Mathematics, Icons of Mathematics (definition). Also Wikidata Q97179526
History
- 2026-11-02: add by m2/dev
9487VB6XK1 9487VB6XK1
| URI | m2://inv/9487VB6XK1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/composition.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 78.8
History
- 2026-11-01: add by m2/v0.6.13
736 (number) 948F3MT8P7
| URI | m2://inv/948F3MT8P7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#CD3F, 736 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Branko Grünbaum 948GW8CDBE
| URI | m2://inv/948GW8CDBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#ZUPQ, Branko Grünbaum (topic)
History
- 2026-11-02: add by m2/dev
projection 948YZJMC1M
| URI | m2://inv/948YZJMC1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#DC6M, projection (definition)
History
- 2026-11-02: add by m2/dev
9491RVY6XD 9491RVY6XD
| URI | m2://inv/9491RVY6XD |
|---|---|
| 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 math/9802134#E5KV (statement). In 235B1J1ETB/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
dessin d'enfant 9493PK3WYP
| URI | m2://inv/9493PK3WYP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3024615, dessin d'enfant (concept). Also nLab child's drawing
- wikipedia: Wikipedia Dessin d'enfant, Dessin d'enfant (definition). Also Wikidata Q3024615
History
- 2026-10-26: add by m2/dev
9498A5Y973 9498A5Y973
| URI | m2://inv/9498A5Y973 |
|---|---|
| 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.13864#WT24 (statement). In ZGZGGGCWD3/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
949CFYVWNJ 949CFYVWNJ
| URI | m2://inv/949CFYVWNJ |
|---|---|
| Kind | problem |
| 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.39169#P8IH (problem). In ANHWXYPQFX/e1, problem 4.16
History
- 2026-10-30: add by m2/v0.4.12
Serre 949EHC94PR
| URI | m2://inv/949EHC94PR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#NAO3, Serre (definition)
History
- 2026-11-02: add by m2/dev
949G77H7PW 949G77H7PW
| URI | m2://inv/949G77H7PW |
|---|---|
| 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.09765#KZET (statement). In 79JJCQ63R3/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Harsanyi's theorem 949MP4Z68Y
| URI | m2://inv/949MP4Z68Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social choice theory#LZJ7, Harsanyi's theorem (statement)
History
- 2026-11-02: add by m2/dev
join 949QQ02JT7
| URI | m2://inv/949QQ02JT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11061460, join (unknown). Also MathWorld Join, nLab join
History
- 2026-10-26: add by m2/dev
$k$-sorted composition 949R8DVFQE
| URI | m2://inv/949R8DVFQE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#06IU, $k$-sorted composition (definition). In GW23NX78SB/e1, definition 2.12
History
- 2026-10-28: add by m2/v0.4.2
949V8ED4C9 949V8ED4C9
| URI | m2://inv/949V8ED4C9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_burnside.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
94A1HYJSQ7 94A1HYJSQ7
| URI | m2://inv/94A1HYJSQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop:monotlimits (statement). In E59CDZA4DP, prop, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
Intrinsic Riemannian framework 94A5CA7J2B
| URI | m2://inv/94A5CA7J2B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#6G8K, Intrinsic Riemannian framework (definition). In XNJGNMS6H0/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
94AD03V3BP 94AD03V3BP
| URI | m2://inv/94AD03V3BP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.09379#2N4J (statement). In DJXA86KDY8/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Minkowski inner product 94AFQW57XG
| URI | m2://inv/94AFQW57XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski spacetime#LQHS, Minkowski inner product (unknown)
History
- 2026-11-02: add by m2/dev
Arslanov's completeness criterion 94AG51NE7M
| URI | m2://inv/94AG51NE7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PA degree#A76A, Arslanov's completeness criterion (statement)
History
- 2026-11-02: add by m2/dev
Remark 94AGNDGY39
| URI | m2://inv/94AGNDGY39 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#M97D, Remark (unknown)
History
- 2026-11-02: add by m2/dev
94AMCHADR7 94AMCHADR7
| URI | m2://inv/94AMCHADR7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
94AQAXEVDX 94AQAXEVDX
| URI | m2://inv/94AQAXEVDX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-8 (proof). In E59CDZA4DP, proof, section 10.2.2
History
- 2026-11-01: add by m2/v0.6.13
Monsky's theorem 94AQZTHB4G
| URI | m2://inv/94AQZTHB4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527125, Monsky's theorem (statement). Also Wikidata Q3527125
- thousand_plus: thousand_plus Q3527125, Monsky's theorem (statement). Also Wikidata Q3527125, Wikipedia Monsky's theorem
- wikipedia: Wikipedia Monsky's theorem, Monsky's theorem (statement). Also Wikidata Q3527125
History
- 2026-10-26: add by m2/dev
Falconer's conjecture 94AXWM4KM8
| URI | m2://inv/94AXWM4KM8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falconer's conjecture, Falconer's conjecture (conjecture). Also Wikidata Q5431790
History
- 2026-11-02: add by m2/dev
94BBJASE6D 94BBJASE6D
| URI | m2://inv/94BBJASE6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00856#3Y0R (statement). In W6VHD4QBY4/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Heyting algebra 94BEFCBRXK
| URI | m2://inv/94BEFCBRXK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Heyting algebra NG943XNQWH |
Mentions
- wikidata: Wikidata Q1617044, Heyting algebra (concept). Also MathWorld HeytingAlgebra, nLab Heyting algebra
- wikipedia: Wikipedia Heyting algebra, Heyting algebra (definition). Also Wikidata Q1617044
History
- 2026-10-26: add by m2/dev
94BFPSQA5W 94BFPSQA5W
| URI | m2://inv/94BFPSQA5W |
|---|---|
| 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 2610.18803#VJB6 (statement). In VG8AF124T3/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Focal surface 94BGWQHY4B
| URI | m2://inv/94BGWQHY4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focal surface, Focal surface (definition). Also Wikidata Q5463861
History
- 2026-11-02: add by m2/dev
94BJBKKEDA 94BJBKKEDA
| URI | m2://inv/94BJBKKEDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23779#M02W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Crude competitor bound 94BX1ZTM0D
| URI | m2://inv/94BX1ZTM0D |
|---|---|
| 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.02219#11HG, Crude competitor bound (statement). In 8XMASJX0GZ/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
TFDP with random node selection 94C4FQJC16
| URI | m2://inv/94C4FQJC16 |
|---|---|
| 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.12713#ND34, TFDP with random node selection (statement). In F14A5HX20Q/e1, proposition B.3.1
History
- 2026-10-28: add by m2/v0.4.2
94CGSA8S5J 94CGSA8S5J
| URI | m2://inv/94CGSA8S5J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2210.17066#HNS4 (definition). In X2AEJAQEP8/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Higher-order operad 94CM5S7HW3
| URI | m2://inv/94CM5S7HW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#TGUU, Higher-order operad (unknown)
History
- 2026-11-02: add by m2/dev
94CRGY5EF5 94CRGY5EF5
| URI | m2://inv/94CRGY5EF5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-34 (proof). In N54F33XE07, proof, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 94CSWHJBTA
| URI | m2://inv/94CSWHJBTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parry–Sullivan invariant#OP65, Properties (statement)
History
- 2026-11-02: add by m2/dev
94CZ4ZV1TZ 94CZ4ZV1TZ
| URI | m2://inv/94CZ4ZV1TZ |
|---|---|
| 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 2412.14956#02T6 (statement). In T8BQ6HHZYT/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Relevant type 94D2Q4P6DE
| URI | m2://inv/94D2Q4P6DE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructural type system#2DDE, Relevant type (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 94DA9BV00J
| URI | m2://inv/94DA9BV00J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantelli's inequality#MXBW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Thomas E. Nichols 94DBMT3X2V
| URI | m2://inv/94DBMT3X2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ID5C, Thomas E. Nichols (unknown)
History
- 2026-11-02: add by m2/dev
Arno Donda 94DC12Y8JP
| URI | m2://inv/94DC12Y8JP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arno Donda, Arno Donda (topic). Also Wikidata Q694210
History
- 2026-11-02: add by m2/dev
Sheaf descent 94DCN5FPF2
| URI | m2://inv/94DCN5FPF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#DGZU, Sheaf descent (statement)
History
- 2026-11-01: add by m2/v0.6.15
94DGRD6EPV 94DGRD6EPV
| URI | m2://inv/94DGRD6EPV |
|---|---|
| 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 2206.12966#CBSO (statement). In VH93X5QZDV/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Frontier-to-height extraction 94DP3XDEEK
| URI | m2://inv/94DP3XDEEK |
|---|---|
| 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.37164#W6PZ, Frontier-to-height extraction (statement). In B2PG75FSQJ/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
94DSV0DX41 94DSV0DX41
| URI | m2://inv/94DSV0DX41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#2QSP (statement). In 4H727T2YAS/e1, corollary 9.13
History
- 2026-10-29: add by m2/v0.4.12
94DVM43TZ9 94DVM43TZ9
| URI | m2://inv/94DVM43TZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#TXJ8 (statement). In BDN507RN7J/e1, theorem 6.1.3
History
- 2026-10-30: add by m2/v0.4.12
94DVVF9F8Y 94DVVF9F8Y
| URI | m2://inv/94DVVF9F8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#9OSW (statement). In 4WPYBTARS2/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.12
94DWTXH3C4 94DWTXH3C4
| URI | m2://inv/94DWTXH3C4 |
|---|---|
| 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.23341#EWK0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sierpiński's constant 94DYRHWXB4
| URI | m2://inv/94DYRHWXB4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q461009, Sierpiński's constant (object). Also MathWorld SierpinskiConstant, OEIS A062089
- wikipedia: Wikipedia Sierpiński's constant, Sierpiński's constant (object). Also Wikidata Q461009
History
- 2026-10-26: add by m2/dev
Cori Close 94DYZM03MK
| URI | m2://inv/94DYZM03MK |
|---|---|
| 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#UWHG, Cori Close (unknown)
History
- 2026-11-02: add by m2/dev
Adaptive covariance completion 94E9FY78TY
| URI | m2://inv/94E9FY78TY |
|---|---|
| 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#VLQH, Adaptive covariance completion (statement). In 9YAE8FNQST/e1, lemma 5.9
History
- 2026-10-30: add by m2/v0.4.12
Rectified 16-cell 94EDR07E76
| URI | m2://inv/94EDR07E76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3GQ9, Rectified 16-cell (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WX2O, Rectified 16-cell (definition)
History
- 2026-11-02: add by m2/dev
94EF8KXPFD 94EF8KXPFD
| URI | m2://inv/94EF8KXPFD |
|---|---|
| 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.40207#6GOC (statement). In JXTG8KP95P/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
94EFCGHC08 94EFCGHC08
| URI | m2://inv/94EFCGHC08 |
|---|---|
| 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 2512.21427#EMZM (statement). In G9XD78ZCAS/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
94EGG90TGS 94EGG90TGS
| URI | m2://inv/94EGG90TGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#LM2F (statement). In A4VP56CT7B/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Euler's number 94EGS5XV3A
| URI | m2://inv/94EGS5XV3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#34VU, Euler's number (definition)
History
- 2026-11-02: add by m2/dev
94EJMB89JA 94EJMB89JA
| URI | m2://inv/94EJMB89JA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#IXGU (definition). In B8MJT0GGW8/e1, definition 4.18
History
- 2026-10-27: add by m2/v0.4.0
Canonical local pullback comparison 94EKPZF1GF
| URI | m2://inv/94EKPZF1GF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#EGRC, Canonical local pullback comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Six Nations of the Grand River 94EP2KWMA0
| URI | m2://inv/94EP2KWMA0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VUO0, Six Nations of the Grand River (unknown)
History
- 2026-11-02: add by m2/dev
Jean-Luc Brylinski 94EYHZWRRC
| URI | m2://inv/94EYHZWRRC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q782379, Jean-Luc Brylinski (unknown). Also nLab Jean-Luc Brylinski
- wikipedia: Wikipedia Jean-Luc Brylinski, Jean-Luc Brylinski (topic). Also Wikidata Q782379
History
- 2026-10-26: add by m2/dev
94F0YC9BRN 94F0YC9BRN
| URI | m2://inv/94F0YC9BRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#EBIR (statement). In PF5JJ9DS8Q/e1, corollary 5.3.3
History
- 2026-10-28: add by m2/v0.4.2
\textbf{Order of magnitude of $\nu$ -- ReLU activation 94F9CPARDF
| URI | m2://inv/94F9CPARDF |
|---|---|
| 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.09044#HK2E, \textbf{Order of magnitude of $\nu$ -- ReLU activation (statement). In 4KYENHR0J8/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Representation theory of finite groups 94FDC7HQH3
| URI | m2://inv/94FDC7HQH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#MSS0, Representation theory of finite groups (definition)
History
- 2026-11-02: add by m2/dev
94FFHZQYWN 94FFHZQYWN
| URI | m2://inv/94FFHZQYWN |
|---|---|
| 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#1GGA (statement). In M4ZVJWM8YA/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.2
94FPMF5PV7 94FPMF5PV7
| URI | m2://inv/94FPMF5PV7 |
|---|---|
| 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.28203#A4AD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Star coloring 94FQ5MG1CX
| URI | m2://inv/94FQ5MG1CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star coloring, Star coloring (definition). Also Wikidata Q7601205
History
- 2026-11-02: add by m2/dev
S-matrix 94FVPG592X
| URI | m2://inv/94FVPG592X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#H8YM, S-matrix (definition)
History
- 2026-11-02: add by m2/dev
94G7FJ632Z 94G7FJ632Z
| URI | m2://inv/94G7FJ632Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07943#RR9N (statement). In B5WA75764K/e1, lemma Lemma
History
- 2026-10-27: add by m2/v0.3.5
Lambert quadrilateral 94GEHRKX2R
| URI | m2://inv/94GEHRKX2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert quadrilateral, Lambert quadrilateral (definition). Also Wikidata Q4117142
History
- 2026-11-02: add by m2/dev
Hypergraph regularity lemma 94GFXFYE05
| URI | m2://inv/94GFXFYE05 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergraph regularity method#NAGX, Hypergraph regularity lemma (statement)
History
- 2026-11-02: add by m2/dev
Principles 94GGAP67V5
| URI | m2://inv/94GGAP67V5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banburismus#LZ6X, Principles (statement)
History
- 2026-11-02: add by m2/dev
Definition 94GHS31MK5
| URI | m2://inv/94GHS31MK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group with operators#6BPN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ilya Nikolaevich Bronshtein 94GNYYRB0X
| URI | m2://inv/94GNYYRB0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#HJJJ, Ilya Nikolaevich Bronshtein (topic)
History
- 2026-11-02: add by m2/dev
94GRD9K94P 94GRD9K94P
| URI | m2://inv/94GRD9K94P |
|---|---|
| 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.03477#GNEY (statement). In GXN3D4G4HE/e1, fact 2.4
History
- 2026-10-29: add by m2/v0.4.12
Coaugmented dg cooperad 94GYVW2FJ0
| URI | m2://inv/94GYVW2FJ0 |
|---|---|
| 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 2312.05005#AAB6, Coaugmented dg cooperad (definition). In SMJMAQ2S3J/e1, definition 13
History
- 2026-10-27: add by m2/v0.4.0
Carol Joyce Blumberg 94H6BWGJW3
| URI | m2://inv/94H6BWGJW3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0MZY, Carol Joyce Blumberg (topic)
History
- 2026-11-02: add by m2/dev
Distinguished cuspidal support 94H9PAWYDP
| URI | m2://inv/94H9PAWYDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#L08V, Distinguished cuspidal support (statement). In TPYRE2ARMD/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
94HG2K7VJJ 94HG2K7VJJ
| URI | m2://inv/94HG2K7VJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#PQHF (statement). In 986DENWM1D/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.12
Cosocle 94HJV4VKHD
| URI | m2://inv/94HJV4VKHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosocle, Cosocle (definition). Also Wikidata Q5174667
History
- 2026-11-02: add by m2/dev
Annular Structure Theorem 94J3KBFMX3
| URI | m2://inv/94J3KBFMX3 |
|---|---|
| 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.26592#0OXL, Annular Structure Theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
negation introduction 94J3XMA1D4
| URI | m2://inv/94J3XMA1D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3RDV, negation introduction (definition)
History
- 2026-11-02: add by m2/dev
94JE65E6PQ 94JE65E6PQ
| URI | m2://inv/94JE65E6PQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#5A6H (statement)
History
- 2026-11-02: add by m2/v0.6.18
Three Mile Island 94JEZGQGJ4
| URI | m2://inv/94JEZGQGJ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CA06, Three Mile Island (unknown)
History
- 2026-11-02: add by m2/dev
Rhode Island statistical areas 94JJN1KR9P
| URI | m2://inv/94JJN1KR9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhode Island statistical areas, Rhode Island statistical areas (definition). Also Wikidata Q7320980
History
- 2026-11-02: add by m2/dev
Statement of main result 94JJT7QM68
| URI | m2://inv/94JJT7QM68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15013#GI5O, Statement of main result (statement). In JB837X6D1Q/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Michel Talagrand 94JRQ7AQN1
| URI | m2://inv/94JRQ7AQN1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michel Talagrand, Michel Talagrand (topic). Also Wikidata Q951235
History
- 2026-11-02: add by m2/dev
94JVRJHA0T 94JVRJHA0T
| URI | m2://inv/94JVRJHA0T |
|---|---|
| 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.12034#BQ4J (statement). In 1FRW4N1H90/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
homothetic copies 94K0HE79QC
| URI | m2://inv/94K0HE79QC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#4OZ1, homothetic copies (statement). In CBCCH5VTMQ/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.12
94K0XQE548 94K0XQE548
| URI | m2://inv/94K0XQE548 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#I1K1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Paul Gordan 94K2EZQGF9
| URI | m2://inv/94K2EZQGF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F7C4, Paul Gordan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L08F, Paul Gordan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UIZM, Paul Gordan (topic)
History
- 2026-11-02: add by m2/dev
94K3XBTM65 94K3XBTM65
| URI | m2://inv/94K3XBTM65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#XO3W (statement). In 2HSB99DW4M/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.3.6
94K8GCPXDA 94K8GCPXDA
| URI | m2://inv/94K8GCPXDA |
|---|---|
| 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.10372#TWD0 (statement). In P77W283VXT/e1, corollary 4.11
History
- 2026-10-29: add by m2/v0.4.10
94K8PYHW57 94K8PYHW57
| URI | m2://inv/94K8PYHW57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#JLLV (statement)
History
- 2026-11-02: add by m2/v0.6.18
94KCCD794K 94KCCD794K
| URI | m2://inv/94KCCD794K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#NKDQ (statement). In 3JZDKWS8NK/e1, lemma 9.4
History
- 2026-10-31: add by m2/v0.5.6
Homogeneous set 94KDHHDC7E
| URI | m2://inv/94KDHHDC7E |
|---|---|
| Kind | definition |
| 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 1806.05002#34WP, Homogeneous set (definition). In JBAQ7DTW7B/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Intuition behind the Allais paradox 94KFEHFXEG
| URI | m2://inv/94KFEHFXEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allais paradox#PE9J, Intuition behind the Allais paradox (statement)
History
- 2026-11-02: add by m2/dev
generalization error to $H$ norm; c.f. Lemma 12 94KX5XEVAM
| URI | m2://inv/94KX5XEVAM |
|---|---|
| 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 2102.11076#X6HZ, generalization error to $H$ norm; c.f. Lemma 12 (statement). In T9HZXHTQBJ/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.6
Local Magidor Covering 94M2WB3EYA
| URI | m2://inv/94M2WB3EYA |
|---|---|
| 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 2608.24190#XQ2K, Local Magidor Covering (statement). In DW7FVA587C/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Lower bound on population kernel minimum eigenvalue 94M8RTD7XJ
| URI | m2://inv/94M8RTD7XJ |
|---|---|
| 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.39855#WJGR, Lower bound on population kernel minimum eigenvalue (statement). In E1KFX0NW51/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
94MBWRKT4W 94MBWRKT4W
| URI | m2://inv/94MBWRKT4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10248#1H48 (statement). In TMV74X2725/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Christoph Thiele 94MGER8PNC
| URI | m2://inv/94MGER8PNC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LGT2, Christoph Thiele (topic)
History
- 2026-11-02: add by m2/dev
Verrier's lemma 94MKYQTMN6
| URI | m2://inv/94MKYQTMN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixtilinear incircles of a triangle#P4DK, Verrier's lemma (statement)
History
- 2026-11-02: add by m2/dev
94NM1NDBCQ 94NM1NDBCQ
| URI | m2://inv/94NM1NDBCQ |
|---|---|
| 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.06785#808L (statement). In PG6AEWX25E/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Law of total cumulance 94NRWYEV7B
| URI | m2://inv/94NRWYEV7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O39R, Law of total cumulance (statement)
- wikipedia: Wikipedia List of probability topics#8AZZ, Law of total cumulance (statement)
- wikipedia: Wikipedia List of partition topics#UH0C, Law of total cumulance (statement)
History
- 2026-11-02: add by m2/dev
94NT30TKJJ 94NT30TKJJ
| URI | m2://inv/94NT30TKJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop:followsby (statement). In PKGMM3P5QY, prop, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
Bayesian econometrics 94P0T310CB
| URI | m2://inv/94P0T310CB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian econometrics, Bayesian econometrics (topic). Also Wikidata Q4874466
History
- 2026-11-02: add by m2/dev
94P6Q0A274 94P6Q0A274
| URI | m2://inv/94P6Q0A274 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2610.07240#HGWN (statement). In D0F1GK5AHW/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
94P9CJ326P 94P9CJ326P
| URI | m2://inv/94P9CJ326P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#C8IT (statement)
History
- 2026-11-01: add by m2/v0.6.15
94PA9JE0VW 94PA9JE0VW
| URI | m2://inv/94PA9JE0VW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39745#CNNQ (statement). In V276PQS61M/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Elementary function (differential algebra) 94PB6SW670
| URI | m2://inv/94PB6SW670 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary function#ILF9, Elementary function (differential algebra) (unknown)
History
- 2026-11-02: add by m2/dev
94PE0TZ4ZK 94PE0TZ4ZK
| URI | m2://inv/94PE0TZ4ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#ALRQ (statement). In YY4KFNMPC0/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
94PKX35PWK 94PKX35PWK
| URI | m2://inv/94PKX35PWK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#ula-preview-3-5 (exercise). In 649HGZKE96, exploration, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
94PR3G5Y23 94PR3G5Y23
| URI | m2://inv/94PR3G5Y23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#93FQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
94PZMHWATC 94PZMHWATC
| URI | m2://inv/94PZMHWATC |
|---|---|
| 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 2205.15365#AGGD (statement). In R2XC1SC9NZ/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
94Q3VTYHHP 94Q3VTYHHP
| URI | m2://inv/94Q3VTYHHP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#KHXR (definition). In 6DJR9DKY5W/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
94Q8SXR6H9 94Q8SXR6H9
| URI | m2://inv/94Q8SXR6H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.32535#DECH (statement). In WF27F8CKD2/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Affine hashing 94QB9XZ42T
| URI | m2://inv/94QB9XZ42T |
|---|---|
| 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.04271#2VOW, Affine hashing (statement). In WBXAW9G4JB/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
94QFQDYP4N 94QFQDYP4N
| URI | m2://inv/94QFQDYP4N |
|---|---|
| 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 2111.08123#DRRB (statement). In TAAB0QAKAG/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
1d point groups 94QM2BV4QE
| URI | m2://inv/94QM2BV4QE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-dimensional symmetry group#RB81, 1d point groups (unknown)
History
- 2026-11-02: add by m2/dev
94QN5Y8XZJ 94QN5Y8XZJ
| URI | m2://inv/94QN5Y8XZJ |
|---|---|
| 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 2405.10580#2MP9 (statement). In FXEJE0PWEP/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.3.5
Bellman's Examples 94QW8B236H
| URI | m2://inv/94QW8B236H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-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.31352#AK1P, Bellman's Examples (example). In SQZGKRDVBX/e1, example 2.4
History
- 2026-10-31: add by m2/v0.5.6
Eva-Maria Feichtner 94QYH2GRV8
| URI | m2://inv/94QYH2GRV8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eva-Maria Feichtner, Eva-Maria Feichtner (topic). Also Wikidata Q99632582
History
- 2026-11-02: add by m2/dev
94RBR3918Q 94RBR3918Q
| URI | m2://inv/94RBR3918Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#3O5P (statement)
History
- 2026-11-01: add by m2/v0.6.15
94SEKHS3QC 94SEKHS3QC
| URI | m2://inv/94SEKHS3QC |
|---|---|
| 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.39981#W515 (statement). In PMMV6YAEVR/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
94SGT4SKRQ 94SGT4SKRQ
| URI | m2://inv/94SGT4SKRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12513#UWM7 (statement). In VM9V8SXEA2/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
94SKAXXGFA 94SKAXXGFA
| URI | m2://inv/94SKAXXGFA |
|---|---|
| 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.01392#PCYY (statement). In WZFKY0RSM7/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
94SKBNBDDW 94SKBNBDDW
| URI | m2://inv/94SKBNBDDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#1KW6 (statement). In 19GENJ3NCP/e1, proposition 3.4
History
- 2026-10-31: add by m2/v0.5.6
94SPM785D2 94SPM785D2
| URI | m2://inv/94SPM785D2 |
|---|---|
| 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.21080#EUBO (statement). In DGE917KQSQ/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
94SS361S3H 94SS361S3H
| URI | m2://inv/94SS361S3H |
|---|---|
| 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.32903#R1DY (statement). In S8NB83KQX3/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
Axiom of infinity 94TB12C2H9
| URI | m2://inv/94TB12C2H9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#6JGT, Axiom of infinity (statement)
History
- 2026-11-02: add by m2/dev
94TMMNH5V4 94TMMNH5V4
| URI | m2://inv/94TMMNH5V4 |
|---|---|
| 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.25307#QC94 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statisticians' and engineers' cross-reference of statistical terms 94TNKJ8ECH
| URI | m2://inv/94TNKJ8ECH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CS0O, Statisticians' and engineers' cross-reference of statistical terms (topic)
History
- 2026-11-02: add by m2/dev
Gram condition and complex Hadamard matrices 94TRTJYNCC
| URI | m2://inv/94TRTJYNCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#KNIO, Gram condition and complex Hadamard matrices (statement). In CJRBKR4JKT/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
Margulis lemma 94V3NZGDB2
| URI | m2://inv/94V3NZGDB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#CD56, Margulis lemma (statement)
History
- 2026-11-02: add by m2/dev
94VPTME1EV 94VPTME1EV
| URI | m2://inv/94VPTME1EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11021#VCPP (statement). In R0SSJZYVTJ/e1, corollary 7.4
History
- 2026-10-28: add by m2/v0.4.3
94W3EGD8Z1 94W3EGD8Z1
| URI | m2://inv/94W3EGD8Z1 |
|---|---|
| Kind | definition |
| 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.19260#1NOB (definition). In PWXT7J9JX3/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
BLAKE3 94WBY4Y0PV
| URI | m2://inv/94WBY4Y0PV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BLAKE (hash function)#0KUP, BLAKE3 (unknown)
History
- 2026-11-02: add by m2/dev
Determinant line bundle 94WMKQX0NS
| URI | m2://inv/94WMKQX0NS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinant line bundle, Determinant line bundle (definition). Also Wikidata Q135648941
History
- 2026-11-02: add by m2/dev
Francis Halzen 94WMQFD18M
| URI | m2://inv/94WMQFD18M |
|---|---|
| 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 Q20942818, Francis Halzen (unknown). Also nLab Francis Halzen
History
- 2026-10-26: add by m2/dev
94WNWHW7P5 94WNWHW7P5
| URI | m2://inv/94WNWHW7P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31542#4M4S (statement). In RPR80CVAWT/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
Examples 94WPP6JNWN
| URI | m2://inv/94WPP6JNWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microcanonical ensemble#81PP, Examples (example)
History
- 2026-11-02: add by m2/dev
Pathological science 94WRHCFD7H
| URI | m2://inv/94WRHCFD7H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathological science, Pathological science (topic). Also Wikidata Q2056830
History
- 2026-11-02: add by m2/dev
Examples 94WZJXD5CS
| URI | m2://inv/94WZJXD5CS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean division#Z49W, Examples (example)
History
- 2026-11-02: add by m2/dev
94WZSADK24 94WZSADK24
| URI | m2://inv/94WZSADK24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06419#VWC8 (statement). In JSZRXT3W3E/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.10
94X8WXK1YC
| URI | m2://inv/94X8WXK1YC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication sign#43KB, (unknown)
History
- 2026-11-02: add by m2/dev
vanish 94XG7555Y0
| URI | m2://inv/94XG7555Y0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#TBRM, vanish (definition)
History
- 2026-11-02: add by m2/dev
Frieda Rapoport Caplan 94XSBPDVYR
| URI | m2://inv/94XSBPDVYR |
|---|---|
| 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#HLUR, Frieda Rapoport Caplan (unknown)
History
- 2026-11-02: add by m2/dev
(Weeting #22) 94XTK8DPZQ
| URI | m2://inv/94XTK8DPZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#R4AH, (Weeting #22) (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition 94Y0PCS9MF
| URI | m2://inv/94Y0PCS9MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brjuno number#VZ0F, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Karl Lieberherr 94YQ35JB6F
| URI | m2://inv/94YQ35JB6F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BAPN, Karl Lieberherr (unknown)
History
- 2026-11-02: add by m2/dev
Shayle R. Searle bibliography 94Z4ZR33G6
| URI | m2://inv/94Z4ZR33G6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shayle R. Searle#DXF4, Shayle R. Searle bibliography (unknown)
History
- 2026-11-02: add by m2/dev
94ZD00K087 94ZD00K087
| URI | m2://inv/94ZD00K087 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#W18E (proof). In GZDFK652T9/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Cutting stock problem 94ZHAEAKP4
| URI | m2://inv/94ZHAEAKP4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#YQZN, Cutting stock problem (problem)
History
- 2026-11-02: add by m2/dev
Cricket statistics 94ZJE3AQ8Z
| URI | m2://inv/94ZJE3AQ8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cricket statistics, Cricket statistics (definition). Also Wikidata Q1139972
History
- 2026-11-02: add by m2/dev
Naimark's problem 94ZJTWDZ2B
| URI | m2://inv/94ZJTWDZ2B |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naimark's problem, Naimark's problem (conjecture). Also Wikidata Q6959670
History
- 2026-11-02: add by m2/dev
Odlyzko–Schönhage algorithm 94ZP0D4WE8
| URI | m2://inv/94ZP0D4WE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odlyzko–Schönhage algorithm, Odlyzko–Schönhage algorithm (definition). Also Wikidata Q2515396
History
- 2026-11-02: add by m2/dev
Buchbinder and Feldman , Theorem 1.2 94ZPCSCAQK
| URI | m2://inv/94ZPCSCAQK |
|---|---|
| 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.16785#RB3S, Buchbinder and Feldman , Theorem 1.2 (statement). In SXQQZ2MYKV/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
extranatural transformation 94ZX7XHKWM
| URI | m2://inv/94ZX7XHKWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5422217, extranatural transformation (unknown). Also nLab extranatural transformation
- wikipedia: Wikipedia Extranatural transformation, Extranatural transformation (definition). Also Wikidata Q5422217
History
- 2026-10-26: add by m2/dev