Inventory rows 66
The cards of the rows of the inventory whose ids start with 66. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
∞ 6601PPMMCN
| URI | m2://inv/6601PPMMCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#83GA, ∞ (definition)
History
- 2026-11-02: add by m2/dev
Howard Jerome Keisler 660FEGRH57
| URI | m2://inv/660FEGRH57 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#2AOF, Howard Jerome Keisler (topic)
History
- 2026-11-02: add by m2/dev
660GE9W4X1 660GE9W4X1
| URI | m2://inv/660GE9W4X1 |
|---|---|
| Kind | example |
| 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 2405.14678#6XV2 (example). In 9ZSNSJRJ5N/e1, example 43
History
- 2026-10-27: add by m2/v0.4.2
Southeast quadrant 660JGGZS75
| URI | m2://inv/660JGGZS75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#1TFN, Southeast quadrant (statement). In 2VHV0RNTNV/e1, lemma 8.13
History
- 2026-10-29: add by m2/v0.4.12
660PMX1HHW 660PMX1HHW
| URI | m2://inv/660PMX1HHW |
|---|---|
| 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.08610#RK8C (statement). In CB2JWNS1E9/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Definition 660REXM9M2
| URI | m2://inv/660REXM9M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley–Wiener integral#EYNL, Definition (definition)
History
- 2026-11-02: add by m2/dev
660S4Q3329 660S4Q3329
| URI | m2://inv/660S4Q3329 |
|---|---|
| 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.17825#LA8O (statement). In T0ADPX1S05/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Bertrand–Edgeworth model 660TQ59Z8Z
| URI | m2://inv/660TQ59Z8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand–Edgeworth model, Bertrand–Edgeworth model (definition). Also Wikidata Q4895912
History
- 2026-11-02: add by m2/dev
directional catalogue 660WBJCX0N
| URI | m2://inv/660WBJCX0N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#VZPU, directional catalogue (definition). In 6W9H24A378/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
660YBD1X70 660YBD1X70
| URI | m2://inv/660YBD1X70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17045#AQ2N (statement). In PA6JQDSKQT/e1, corollary 6.8
History
- 2026-10-28: add by m2/v0.4.2
$q=\tfrac12$, the family of Ellis and Williams 660ZRHBK5T
| URI | m2://inv/660ZRHBK5T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20932#CMJ1, $q=\tfrac12$, the family of Ellis and Williams (example). In FV78KV64B9/e1, example 10.2
History
- 2026-10-27: add by m2/v0.4.2
66102GB6W3 66102GB6W3
| URI | m2://inv/66102GB6W3 |
|---|---|
| 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.07180#MG5K (statement). In TM4H1RV0BQ/e1, lemma 1.2
History
- 2026-10-27: add by m2/v0.3.5
6613J0266E 6613J0266E
| URI | m2://inv/6613J0266E |
|---|---|
| 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 2212.00617#2PWC (statement). In K7505G10SS/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Two Mile Flat 66149BMH3B
| URI | m2://inv/66149BMH3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#U7L3, Two Mile Flat (unknown)
History
- 2026-11-02: add by m2/dev
pure predicate logic 6619E8S0RV
| URI | m2://inv/6619E8S0RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TES2, pure predicate logic (definition)
History
- 2026-11-02: add by m2/dev
Prismatic compound of antiprisms 661HM37SNX
| URI | m2://inv/661HM37SNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#PV5H, Prismatic compound of antiprisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BH5E, Prismatic compound of antiprisms (definition)
History
- 2026-11-02: add by m2/dev
661M7BZ6ZV 661M7BZ6ZV
| URI | m2://inv/661M7BZ6ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17589#AEYA (statement). In GSTK4569X1/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
661RDD1T81 661RDD1T81
| URI | m2://inv/661RDD1T81 |
|---|---|
| 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#XZBN (statement). In 4VZV5V0YD6/e1, lemma 9
History
- 2026-10-27: add by m2/v0.4.0
Baik–Deift–Johansson theorem 661X0HQXFM
| URI | m2://inv/661X0HQXFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baik–Deift–Johansson theorem, Baik–Deift–Johansson theorem (statement). Also Wikidata Q112302918
History
- 2026-11-02: add by m2/dev
Dolbeault--Grothendieck 661X8F0Z2D
| URI | m2://inv/661X8F0Z2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma:dolgro, Dolbeault--Grothendieck (statement). In VNMV985MXX, lemma, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
661XXY6YGB 661XXY6YGB
| URI | m2://inv/661XXY6YGB |
|---|---|
| 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.29806#OJR5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform posterior-energy approximation 661YN6WKEN
| URI | m2://inv/661YN6WKEN |
|---|---|
| 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.33008#MY0Y, Uniform posterior-energy approximation (statement). In 4M662A3ZF1/e1, lemma B.4
History
- 2026-10-31: add by m2/v0.5.6
661ZQ7Y61J 661ZQ7Y61J
| URI | m2://inv/661ZQ7Y61J |
|---|---|
| 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.02756#TDQ2 (statement). In GCQ5YCQQHD/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
essential supremum 6627Y3M4NB
| URI | m2://inv/6627Y3M4NB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1969054, essential supremum (unknown). Also MathWorld EssentialSupremum, nLab essential supremum
History
- 2026-10-26: add by m2/dev
Cécile DeWitt-Morette 662D2FS7EM
| URI | m2://inv/662D2FS7EM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cécile DeWitt-Morette, Cécile DeWitt-Morette (topic). Also Wikidata Q526401
History
- 2026-11-02: add by m2/dev
Construction 662FB2BQDW
| URI | m2://inv/662FB2BQDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free product#I05Z, Construction (definition)
History
- 2026-11-02: add by m2/dev
Ampere metres squared 662GQDZ1GX
| URI | m2://inv/662GQDZ1GX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic moment#NUQ2, Ampere metres squared (unknown)
History
- 2026-11-02: add by m2/dev
Airy zeta function 662J5DH8WX
| URI | m2://inv/662J5DH8WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#O3KY, Airy zeta function (definition)
History
- 2026-11-02: add by m2/dev
662WENYB3F 662WENYB3F
| URI | m2://inv/662WENYB3F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 662X5TB3FJ
| URI | m2://inv/662X5TB3FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential dynamical system#NN71, Definition (definition)
History
- 2026-11-02: add by m2/dev
662XZKB9QD 662XZKB9QD
| URI | m2://inv/662XZKB9QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.20522#XK2K (statement)
History
- 2026-11-02: add by m2/v0.6.18
Global logarithmic gradient 66350FQQYH
| URI | m2://inv/66350FQQYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33552#6KGY, Global logarithmic gradient (statement). In SRAS2DJJQH/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
Reach families and contexts 66376JRPD2
| URI | m2://inv/66376JRPD2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#XV68, Reach families and contexts (definition)
History
- 2026-11-02: add by m2/v0.6.18
Remark 6639XPXZ1J
| URI | m2://inv/6639XPXZ1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#IKJI, Remark (unknown)
History
- 2026-11-02: add by m2/dev
David Loeffler 663JB6Z5JH
| URI | m2://inv/663JB6Z5JH |
|---|---|
| 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#FSL0, David Loeffler (unknown)
History
- 2026-11-02: add by m2/dev
663NFDNS4W 663NFDNS4W
| URI | m2://inv/663NFDNS4W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_solving.ptx#example-4 (example). In QKM9DD2H56, example, section 9.4.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem 663YAAY10E
| URI | m2://inv/663YAAY10E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite von Neumann algebra#B7ZS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Luca Incurvati 6642WED3X5
| URI | m2://inv/6642WED3X5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luca Incurvati, Luca Incurvati (topic). Also Wikidata Q6695914
History
- 2026-11-02: add by m2/dev
6645843V8W 6645843V8W
| URI | m2://inv/6645843V8W |
|---|---|
| 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.15700#IBGL (statement). In S95MSZ7MDR/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Universal interpolation 664F9YPQRJ
| URI | m2://inv/664F9YPQRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.06081#TGN6, Universal interpolation (statement). In 7Z3KQRFEVG/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
664HP1YF0V 664HP1YF0V
| URI | m2://inv/664HP1YF0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25190#QIEL (statement)
History
- 2026-11-01: add by m2/v0.6.15
664M4JQ65S 664M4JQ65S
| URI | m2://inv/664M4JQ65S |
|---|---|
| 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.28011#X0ZI (statement)
History
- 2026-11-01: add by m2/v0.6.15
surface density of electric charge 664MP05JDF
| URI | m2://inv/664MP05JDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12799324, surface density of electric charge (definition). Also ProofWiki Definition:Surface_Charge_Density
History
- 2026-10-26: add by m2/dev
Pair certificate for the floor 664PAXY37H
| URI | m2://inv/664PAXY37H |
|---|---|
| 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.22301#LDDF, Pair certificate for the floor (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem 664S6XP3ZN
| URI | m2://inv/664S6XP3ZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's lemma#AUKZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Fast Software Encryption 664TEWEMMV
| URI | m2://inv/664TEWEMMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association for Cryptologic Research#CPGM, Fast Software Encryption (unknown)
History
- 2026-11-02: add by m2/dev
664X5ZVWK6 664X5ZVWK6
| URI | m2://inv/664X5ZVWK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.26269#9OU7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6651T2R5Q7 6651T2R5Q7
| URI | m2://inv/6651T2R5Q7 |
|---|---|
| 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.13745#ECQJ (statement). In CFJH0Q39FZ/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
66563PA6FA 66563PA6FA
| URI | m2://inv/66563PA6FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15131#GLSA (statement). In R80GS8W0WA/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
Horner scheme 66586TR89B
| URI | m2://inv/66586TR89B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#RWYO, Horner scheme (definition)
History
- 2026-11-02: add by m2/dev
Applications 6658XDSYKW
| URI | m2://inv/6658XDSYKW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc diagram#AH6R, Applications (example)
History
- 2026-11-02: add by m2/dev
Disorder problem 665DBYVH3N
| URI | m2://inv/665DBYVH3N |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K49V, Disorder problem (problem)
History
- 2026-11-02: add by m2/dev
Subdirect Brandt representation 6661E0FFMF
| URI | m2://inv/6661E0FFMF |
|---|---|
| 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.12014#ZG8B, Subdirect Brandt representation (statement). In DR7BK4CQ0V/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.3
Hut 3 66675BPZNF
| URI | m2://inv/66675BPZNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hut 3, Hut 3 (definition). Also Wikidata Q16845786
History
- 2026-11-02: add by m2/dev
Elementary divisors 666EZY3VYS
| URI | m2://inv/666EZY3VYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary divisors, Elementary divisors (definition). Also Wikidata Q5358903
History
- 2026-11-02: add by m2/dev
666K5STXQB 666K5STXQB
| URI | m2://inv/666K5STXQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#2N83 (statement). In HVGT9D84WV/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
Definition 666PGHK5YH
| URI | m2://inv/666PGHK5YH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limits and colimits in an ∞-category#UD5Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
tact-invariant 666PMKW6BV
| URI | m2://inv/666PMKW6BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#INAG, tact-invariant (definition)
History
- 2026-11-02: add by m2/dev
Definition 666S8W5BPV
| URI | m2://inv/666S8W5BPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic Maass form#T49Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
6677CCC4EX 6677CCC4EX
| URI | m2://inv/6677CCC4EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.19669#A2II (statement). In 1QPAA94Q76/e1, lemma 24
History
- 2026-10-28: add by m2/v0.4.2
Empty sum 667ADDFZM9
| URI | m2://inv/667ADDFZM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empty sum, Empty sum (definition). Also Wikidata Q1812158
History
- 2026-11-02: add by m2/dev
667CH9QZMH 667CH9QZMH
| URI | m2://inv/667CH9QZMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#VEM9 (statement). In SN6F0MPPVF/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
Calabi flow 667DPD9D1R
| URI | m2://inv/667DPD9D1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#HJKJ, Calabi flow (definition)
History
- 2026-11-02: add by m2/dev
Section formula 667FF28NN1
| URI | m2://inv/667FF28NN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Section formula, Section formula (statement). Also Wikidata Q104845624
History
- 2026-11-02: add by m2/dev
Definition 667PKGG8BM
| URI | m2://inv/667PKGG8BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment of inertia#T48V, Definition (definition)
History
- 2026-11-02: add by m2/dev
Christopher Bingham 6682S7ECT5
| URI | m2://inv/6682S7ECT5 |
|---|---|
| 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#4CXE, Christopher Bingham (unknown)
History
- 2026-11-02: add by m2/dev
Left passage probability formulas for SLEκ 6689VPA927
| URI | m2://inv/6689VPA927 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schramm–Loewner evolution#DZ94, Left passage probability formulas for SLEκ (statement)
History
- 2026-11-02: add by m2/dev
668K79FPKS 668K79FPKS
| URI | m2://inv/668K79FPKS |
|---|---|
| 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.08028#WFWV (statement). In Z19XDA8QY9/e1, theorem 31
History
- 2026-10-29: add by m2/v0.4.10
Two Inlets Township, Becker County, Minnesota 668M0HZYS9
| URI | m2://inv/668M0HZYS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VCCN, Two Inlets Township, Becker County, Minnesota (unknown)
History
- 2026-11-02: add by m2/dev
668NRS4P4S 668NRS4P4S
| URI | m2://inv/668NRS4P4S |
|---|---|
| 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.20894#BNDD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Shephard's lemma 668QPVG3B5
| URI | m2://inv/668QPVG3B5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#WNM9, Shephard's lemma (statement)
History
- 2026-11-02: add by m2/dev
Degeneration theorem 668WRH3H25
| URI | m2://inv/668WRH3H25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leray spectral sequence#6RIO, Degeneration theorem (statement)
History
- 2026-11-02: add by m2/dev
Primitivity and unit group index 66934BCABE
| URI | m2://inv/66934BCABE |
|---|---|
| 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.16530#S3L6, Primitivity and unit group index (statement). In G2BFEBAX2W/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
XP (class) 6695DMB0DS
| URI | m2://inv/6695DMB0DS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameterized complexity#CPBY, XP (class) (unknown)
History
- 2026-11-02: add by m2/dev
$I_{\beta, \gamma}$ divergence 66986AFQ8S
| URI | m2://inv/66986AFQ8S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-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.40271#JCUB, $I_{\beta, \gamma}$ divergence (definition). In 9MXMRKFKDW/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definitions 66988V1TST
| URI | m2://inv/66988V1TST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnside category#2MKP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
669AFTM0SY 669AFTM0SY
| URI | m2://inv/669AFTM0SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#RJH8 (statement). In DZ12XTTJSM/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Formal statement 669D20CHBC
| URI | m2://inv/669D20CHBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's principle#SWZJ, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
669F69DDYM 669F69DDYM
| URI | m2://inv/669F69DDYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#WYP2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ø. Ore 669GSRFFYQ
| URI | m2://inv/669GSRFFYQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#WGCV, Ø. Ore (topic)
History
- 2026-11-02: add by m2/dev
Paterson 669JYS7FR6
| URI | m2://inv/669JYS7FR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#CG56, Paterson (unknown)
History
- 2026-11-02: add by m2/dev
Two-parameter box-sum identity 669QQE621R
| URI | m2://inv/669QQE621R |
|---|---|
| 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.12326#R29G, Two-parameter box-sum identity (statement). In 9S7HGSEX6Q/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
669TH2513C 669TH2513C
| URI | m2://inv/669TH2513C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13699#XJKI (statement). In ZSMAQ666K7/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
669VST7X9Q 669VST7X9Q
| URI | m2://inv/669VST7X9Q |
|---|---|
| Kind | statement |
| 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 2609.27153#9LUP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 669ZQYC0YV
| URI | m2://inv/669ZQYC0YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision-theoretic rough sets#8KM6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Ronald Brown 66A1PWNK90
| URI | m2://inv/66A1PWNK90 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald Brown (mathematician), Ronald Brown (topic). Also Wikidata Q7364701
History
- 2026-11-02: add by m2/dev
Compound of two snub cubes 66A3FPZCND
| URI | m2://inv/66A3FPZCND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two snub cubes, Compound of two snub cubes (definition). Also Wikidata Q253319
History
- 2026-11-02: add by m2/dev
Properties 66A8F9HM92
| URI | m2://inv/66A8F9HM92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable curve#JJ9K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Notes on the proof. 66A8TGC0ZP
| URI | m2://inv/66A8TGC0ZP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-47, Notes on the proof. (proof). In N54F33XE07, proof, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
66ABQQY4J3 66ABQQY4J3
| URI | m2://inv/66ABQQY4J3 |
|---|---|
| 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.37584#SXU9 (statement). In 66F6N3BJWV/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Distributional equation 66AGQQPHZ7
| URI | m2://inv/66AGQQPHZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.28278#DOWY, Distributional equation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Global well-posedness in the strong setting 66AJ4DWH09
| URI | m2://inv/66AJ4DWH09 |
|---|---|
| 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.24789#A8KP, Global well-posedness in the strong setting (statement)
History
- 2026-11-01: add by m2/v0.6.15
66AZZYFMSS 66AZZYFMSS
| URI | m2://inv/66AZZYFMSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#DTVT (statement). In F8RC6AENB0/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.3.5
Andrew M. Stuart 66B8TAAEBS
| URI | m2://inv/66B8TAAEBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew M. Stuart, Andrew M. Stuart (topic). Also Wikidata Q476720
History
- 2026-11-02: add by m2/dev
Rigid divisor series 66BK9G2K44
| URI | m2://inv/66BK9G2K44 |
|---|---|
| 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.28501#BVTD, Rigid divisor series (statement)
History
- 2026-11-01: add by m2/v0.6.15
66C4QDA1KT 66C4QDA1KT
| URI | m2://inv/66C4QDA1KT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-27 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Epstein zeta function 66CATYM7FB
| URI | m2://inv/66CATYM7FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#C5ZV, Epstein zeta function (definition)
History
- 2026-11-02: add by m2/dev
66CW65QBEK 66CW65QBEK
| URI | m2://inv/66CW65QBEK |
|---|---|
| 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 2211.14214#34WR (statement). In SY85Y9E45A/e1, lemma 35
History
- 2026-10-27: add by m2/v0.3.5
788 (number) 66DA8CB5GJ
| URI | m2://inv/66DA8CB5GJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#MBZE, 788 (number) (unknown)
History
- 2026-11-02: add by m2/dev
66DK0062P6 66DK0062P6
| URI | m2://inv/66DK0062P6 |
|---|---|
| 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#8P6Z (statement). In BDN507RN7J/e1, theorem 4.1.19
History
- 2026-10-30: add by m2/v0.4.12
Smart-meter disclosure 66DMPMAPJG
| URI | m2://inv/66DMPMAPJG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13685#F9PE, Smart-meter disclosure (example). In 4XQWY8C4AV/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
Stein-Weiss interpolation theorem 66DMSTZSEZ
| URI | m2://inv/66DMSTZSEZ |
|---|---|
| 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.34311#R2VY, Stein-Weiss interpolation theorem (statement). In YYV9SHAPCZ/e1, theorem 2.14
History
- 2026-10-30: add by m2/v0.4.12
66DRAVJ2BG 66DRAVJ2BG
| URI | m2://inv/66DRAVJ2BG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#QUCN (statement)
History
- 2026-11-01: add by m2/v0.6.15
66DXVDX9CQ 66DXVDX9CQ
| URI | m2://inv/66DXVDX9CQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#0TB8 (definition). In M0SQY5EZN5/e1, definition 5.1.1
History
- 2026-10-27: add by m2/v0.3.5
Universal upper bound 66DZZVJSV6
| URI | m2://inv/66DZZVJSV6 |
|---|---|
| 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.01328#VIWP, Universal upper bound (statement). In GNY2MTPWW6/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
total, space 66E3DK0QRT
| URI | m2://inv/66E3DK0QRT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/total-space, total, space (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Amnon Neeman 66E6A2GA43
| URI | m2://inv/66E6A2GA43 |
|---|---|
| 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 Q57428036, Amnon Neeman (unknown). Also nLab Amnon Neeman
History
- 2026-10-26: add by m2/dev
Applications 66EAG28HTF
| URI | m2://inv/66EAG28HTF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall's marriage theorem#V0ZO, Applications (example)
History
- 2026-11-02: add by m2/dev
Relative species abundance 66ECHQ00N1
| URI | m2://inv/66ECHQ00N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative species abundance, Relative species abundance (definition). Also Wikidata Q3738459
History
- 2026-11-02: add by m2/dev
Rung 6 66ES9GFWHT
| URI | m2://inv/66ES9GFWHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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.27766#RZPT, Rung 6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
66ETS1JT13 66ETS1JT13
| URI | m2://inv/66ETS1JT13 |
|---|---|
| Kind | example |
| 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#668K (example). In BDN507RN7J/e1, example 4.1.13
History
- 2026-10-30: add by m2/v0.4.12
Subvariety of uncorrelated marked vertices 66F2TAP8NF
| URI | m2://inv/66F2TAP8NF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#P8D2, Subvariety of uncorrelated marked vertices (statement). In XK6H7F2F13/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
66F4YG0CP6 66F4YG0CP6
| URI | m2://inv/66F4YG0CP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#KVVT (statement). In 3TJ2FWXQ0D/e1, proposition 7.9
History
- 2026-10-29: add by m2/v0.4.12
66FCYNNXH7 66FCYNNXH7
| URI | m2://inv/66FCYNNXH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#QPZS (statement). In NWWKD8YX57/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
66FE9FQ7J6 66FE9FQ7J6
| URI | m2://inv/66FE9FQ7J6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-5 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
\theoremcite{Example 9.8}{bilokopytov2023 66FFGEYAM2
| URI | m2://inv/66FFGEYAM2 |
|---|---|
| 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.29498#LQ3C, \theoremcite{Example 9.8}{bilokopytov2023 (statement)
History
- 2026-11-01: add by m2/v0.6.15
graviton 66FVHWYJ7S
| URI | m2://inv/66FVHWYJ7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q103585, graviton (unknown). Also nLab graviton
History
- 2026-10-26: add by m2/dev
Attribute substitution 66FY8E1NZY
| URI | m2://inv/66FY8E1NZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#GVCX, Attribute substitution (unknown)
History
- 2026-11-02: add by m2/dev
Hard 66GGQQTAQ9
| URI | m2://inv/66GGQQTAQ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-20, Hard (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
CM packet 66GHC9M1WR
| URI | m2://inv/66GHC9M1WR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26196#PCM7, CM packet (definition)
History
- 2026-11-01: add by m2/v0.6.15
66GHVW5NCJ 66GHVW5NCJ
| URI | m2://inv/66GHVW5NCJ |
|---|---|
| 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.09561#DE1K (statement). In WDV5E2CVTR/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
Algorithms 66GMTD5MEX
| URI | m2://inv/66GMTD5MEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planted clique#AWP4, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
66GN9Y9DBK 66GN9Y9DBK
| URI | m2://inv/66GN9Y9DBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15877#YSSW (statement). In F3W750X9N6/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Definition 66GPYP1C86
| URI | m2://inv/66GPYP1C86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective space#W0BL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Remark 66GSE4PX34
| URI | m2://inv/66GSE4PX34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A* search algorithm#ZKAM, Remark (unknown)
History
- 2026-11-02: add by m2/dev
66GTDWM5XM 66GTDWM5XM
| URI | m2://inv/66GTDWM5XM |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reuleaux triangle#Y7YI (problem)
History
- 2026-11-02: add by m2/dev
Moore space 66GVW56N3D
| URI | m2://inv/66GVW56N3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4381562, Moore space (unknown). Also EoM Moore_space, nLab Moore space
- wikipedia: Wikipedia Moore space (algebraic topology), Moore space (definition). Also Wikidata Q4381562
History
- 2026-10-26: add by m2/dev
66H2QCG4M0 66H2QCG4M0
| URI | m2://inv/66H2QCG4M0 |
|---|---|
| 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.20422#9AB0 (statement). In HCH89W5Y2C/e1, fact
History
- 2026-10-27: add by m2/v0.4.2
Hortensia Galeana Sánchez 66H3JC1H12
| URI | m2://inv/66H3JC1H12 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hortensia Galeana Sánchez, Hortensia Galeana Sánchez (topic). Also Wikidata Q28816129
History
- 2026-11-02: add by m2/dev
Stochastic linear program 66HA1WHWY7
| URI | m2://inv/66HA1WHWY7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic programming#Q8XS, Stochastic linear program (unknown)
History
- 2026-11-02: add by m2/dev
66HDMMKTRF 66HDMMKTRF
| URI | m2://inv/66HDMMKTRF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30274#W1U8 (definition). In 6ASPPVJP5M/e1, definition 3
History
- 2026-10-31: add by m2/v0.5.6
66HE40FT6H 66HE40FT6H
| URI | m2://inv/66HE40FT6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#1MYI (statement). In 3CQJND929F/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
66HEKZZZKJ 66HEKZZZKJ
| URI | m2://inv/66HEKZZZKJ |
|---|---|
| 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.30086#RTWY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cubic Hermite spline 66HGXBC15J
| URI | m2://inv/66HGXBC15J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#EM50, Cubic Hermite spline (definition)
History
- 2026-11-02: add by m2/dev
Hadamard and Penot semi-differentiability of supremal functionals 66HHBR3TPZ
| URI | m2://inv/66HHBR3TPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#37KG, Hadamard and Penot semi-differentiability of supremal functionals (statement)
History
- 2026-11-01: add by m2/v0.6.15
66HHHKKEVR 66HHHKKEVR
| URI | m2://inv/66HHHKKEVR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#WI9L (example). In E4DJTPKHAX/e1, example 6.5
History
- 2026-10-27: add by m2/v0.4.2
Symmetric mean absolute percentage error 66HJ3VH33C
| URI | m2://inv/66HJ3VH33C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric mean absolute percentage error, Symmetric mean absolute percentage error (definition). Also Wikidata Q7661311
History
- 2026-11-02: add by m2/dev
Character group 66HV6MK4QP
| URI | m2://inv/66HV6MK4QP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character group, Character group (definition). Also Wikidata Q2720844
History
- 2026-11-02: add by m2/dev
axiomatic method 66HX7R46A6
| URI | m2://inv/66HX7R46A6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48784438, axiomatic method (unknown). Also EoM Axiomatic_method
History
- 2026-10-26: add by m2/dev
66HZ4AJDRQ 66HZ4AJDRQ
| URI | m2://inv/66HZ4AJDRQ |
|---|---|
| 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 2609.27795#IDHU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vieta's formulas 66HZA8YYZP
| URI | m2://inv/66HZA8YYZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4QW3, Vieta's formulas (statement)
History
- 2026-11-02: add by m2/dev
List of things named after Richard Dedekind 66JBCEC96B
| URI | m2://inv/66JBCEC96B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#65H6, List of things named after Richard Dedekind (topic)
History
- 2026-11-02: add by m2/dev
Dunn, Olive Jean 66JBVWGX61
| URI | m2://inv/66JBVWGX61 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PYUP, Dunn, Olive Jean (topic)
History
- 2026-11-02: add by m2/dev
Examples 66JSJ1YQXV
| URI | m2://inv/66JSJ1YQXV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear algebraic group#DTHC, Examples (example)
History
- 2026-11-02: add by m2/dev
Brascamp–Lieb inequality 66K7P1R5T7
| URI | m2://inv/66K7P1R5T7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brascamp–Lieb inequality, Brascamp–Lieb inequality (statement). Also Wikidata Q4957756
History
- 2026-11-02: add by m2/dev
66K8X6R3K3 66K8X6R3K3
| URI | m2://inv/66K8X6R3K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#7SM6 (statement). In CM2YEK9T4F/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
66KEK5KRBR 66KEK5KRBR
| URI | m2://inv/66KEK5KRBR |
|---|---|
| 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.02993#P9F4 (statement). In TJH58FRGEN/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.12
Efficient signer 66KERVX644
| URI | m2://inv/66KERVX644 |
|---|---|
| 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.16715#6PF1, Efficient signer (statement). In RA1Z6BV25A/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
Bootstrap 66KN70C4YB
| URI | m2://inv/66KN70C4YB |
|---|---|
| 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.28251#YBHE, Bootstrap (statement)
History
- 2026-11-01: add by m2/v0.6.15
Legal principle 66KNT87VWK
| URI | m2://inv/66KNT87VWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vagueness#Z1JZ, Legal principle (statement)
History
- 2026-11-02: add by m2/dev
Carl Ferdinand Degen 66KWF60E89
| URI | m2://inv/66KWF60E89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Ferdinand Degen, Carl Ferdinand Degen (topic). Also Wikidata Q4993582
History
- 2026-11-02: add by m2/dev
Example 66M5ZT8XHQ
| URI | m2://inv/66M5ZT8XHQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic sieving#APJB, Example (example)
History
- 2026-11-02: add by m2/dev
Uniform coefficient bounds 66M6QXV9JE
| URI | m2://inv/66M6QXV9JE |
|---|---|
| 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.06544#4RD0, Uniform coefficient bounds (statement). In VCRB27RMN6/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
Apollonian sphere packing 66M6VREA26
| URI | m2://inv/66M6VREA26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonian sphere packing, Apollonian sphere packing (definition). Also Wikidata Q3796746
History
- 2026-11-02: add by m2/dev
66MC5KX3E2 66MC5KX3E2
| URI | m2://inv/66MC5KX3E2 |
|---|---|
| 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#JM38 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MacOS 66MD7FG06E
| URI | m2://inv/66MD7FG06E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#LRE8, MacOS (unknown)
History
- 2026-11-02: add by m2/dev
necessary condition 66MJWYJP01
| URI | m2://inv/66MJWYJP01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23691284, necessary condition (unknown). Also MathWorld Necessary
History
- 2026-10-26: add by m2/dev
66MQMHYQ9E 66MQMHYQ9E
| URI | m2://inv/66MQMHYQ9E |
|---|---|
| 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 2609.30098#B2ER (statement)
History
- 2026-11-01: add by m2/v0.6.15
66MS5GMWQY 66MS5GMWQY
| URI | m2://inv/66MS5GMWQY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-4 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 66MSM6PPHQ
| URI | m2://inv/66MSM6PPHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyndon–Hochschild–Serre spectral sequence#Y2KL, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Topological half-exact functor 66MYAZVF54
| URI | m2://inv/66MYAZVF54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological half-exact functor, Topological half-exact functor (definition). Also Wikidata Q7825036
History
- 2026-11-02: add by m2/dev
Wolfgang Hahn 66MZ3CM95R
| URI | m2://inv/66MZ3CM95R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#26HW, Wolfgang Hahn (topic)
History
- 2026-11-02: add by m2/dev
Elementary theory of the category of sets 66N8BMS4KK
| URI | m2://inv/66N8BMS4KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary theory of the category of sets, Elementary theory of the category of sets (definition). Also Wikidata Q131470959
History
- 2026-11-02: add by m2/dev
66NJT5TA5E 66NJT5TA5E
| URI | m2://inv/66NJT5TA5E |
|---|---|
| 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.08382#KNYF (statement). In GYMGDQS25R/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Applications 66NKDSE81Q
| URI | m2://inv/66NKDSE81Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency selective surface#S01E, Applications (example)
History
- 2026-11-02: add by m2/dev
66NMSB44Z6 66NMSB44Z6
| URI | m2://inv/66NMSB44Z6 |
|---|---|
| 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.26401#H24R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fr\'echet-cosine inequality 66NNN69Y61
| URI | m2://inv/66NNN69Y61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#9CFJ, Fr\'echet-cosine inequality (statement). In YXZX6Z8S6A/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
caloron 66NNRX722C
| URI | m2://inv/66NNRX722C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5023669, caloron (unknown). Also nLab caloron
History
- 2026-10-26: add by m2/dev
66NRPRJS32 66NRPRJS32
| URI | m2://inv/66NRPRJS32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08288#VA4T (statement). In CHVWYJM7RM/e1, proposition D.1
History
- 2026-10-29: add by m2/v0.4.10
Using side lengths (Heron's formula) 66NS06WHV3
| URI | m2://inv/66NS06WHV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a triangle#N8ZE, Using side lengths (Heron's formula) (statement)
History
- 2026-11-02: add by m2/dev
66NVX8R456 66NVX8R456
| URI | m2://inv/66NVX8R456 |
|---|---|
| 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.17137#BZPB (statement). In GKHSE92M91/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
66NX9KVZ27 66NX9KVZ27
| URI | m2://inv/66NX9KVZ27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#3FXJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
66P6ZQKT4W 66P6ZQKT4W
| URI | m2://inv/66P6ZQKT4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#firstderminmaxtest (statement). In E59CDZA4DP, prop, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
tangential angle 66PRFWV07A
| URI | m2://inv/66PRFWV07A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7682880, tangential angle (unknown). Also MathWorld TangentialAngle
- wikipedia: Wikipedia Tangential angle, Tangential angle (definition). Also Wikidata Q7682880
History
- 2026-10-26: add by m2/dev
Games of mental skill 66PVSRDQ6Y
| URI | m2://inv/66PVSRDQ6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Games of mental skill, Games of mental skill (definition). Also Wikidata Q139328945
History
- 2026-11-02: add by m2/dev
Lambda calculus 66PXKF8TCC
| URI | m2://inv/66PXKF8TCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#OPBL, Lambda calculus (definition)
History
- 2026-11-02: add by m2/dev
66QGXBKZQM 66QGXBKZQM
| URI | m2://inv/66QGXBKZQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#5YPB (statement). In 7V2PVZS04C/e1, proposition 2.17
History
- 2026-10-31: add by m2/v0.5.6
Rokhlin's theorem 66QJNSEF0Y
| URI | m2://inv/66QJNSEF0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7359997, Rokhlin's theorem (statement). Also Wikidata Q7359997
- thousand_plus: thousand_plus Q7359997, Rokhlin's theorem (statement). Also Wikidata Q7359997, Wikipedia Rokhlin's theorem
- wikipedia: Wikipedia Rokhlin's theorem, Rokhlin's theorem (statement). Also Wikidata Q7359997
History
- 2026-10-26: add by m2/dev
Definition 66QNMEYBXG
| URI | m2://inv/66QNMEYBXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex random vector#3M58, Definition (definition)
History
- 2026-11-02: add by m2/dev
Projection function 66QPS7137W
| URI | m2://inv/66QPS7137W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference#1SRC, Projection function (definition)
History
- 2026-11-02: add by m2/dev
66QPSC7PPS 66QPSC7PPS
| URI | m2://inv/66QPSC7PPS |
|---|---|
| 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 2609.21116#TLY3 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Burr–Erdős conjecture 66R8EMATWY
| URI | m2://inv/66R8EMATWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burr–Erdős conjecture, Burr–Erdős conjecture (statement). Also Wikidata Q2993299
History
- 2026-11-02: add by m2/dev
Constant rank theorem 66REZF6YQ8
| URI | m2://inv/66REZF6YQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Y38U, Constant rank theorem (statement)
History
- 2026-11-02: add by m2/dev
66RG1PQ4SF 66RG1PQ4SF
| URI | m2://inv/66RG1PQ4SF |
|---|---|
| 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 2601.15010#P09B (statement). In K3WJ6ZN184/e1, proposition 10.1
History
- 2026-10-27: add by m2/v0.3.5
Manhattan plot 66RJY827A7
| URI | m2://inv/66RJY827A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UFVM, Manhattan plot (definition)
History
- 2026-11-02: add by m2/dev
66RK1EWVTH 66RK1EWVTH
| URI | m2://inv/66RK1EWVTH |
|---|---|
| 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.31365#6BC7 (definition). In 19GENJ3NCP/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Definition 66RKA76KZH
| URI | m2://inv/66RKA76KZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat transfer coefficient#FZFG, Definition (definition)
History
- 2026-11-02: add by m2/dev
66S6R100TE 66S6R100TE
| URI | m2://inv/66S6R100TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#W1PJ (statement). In 6NVP3YRWVA/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.10
deficient matrix 66SNP3PDZX
| URI | m2://inv/66SNP3PDZX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.7.2/deficient-matrix, deficient matrix (concept). In E9HS8K3A52, index, section 10.7.2
History
- 2026-11-01: add by m2/v0.6.13
66SQMSF2JX 66SQMSF2JX
| URI | m2://inv/66SQMSF2JX |
|---|---|
| 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#EKBJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
elegant 66T4M8F303
| URI | m2://inv/66T4M8F303 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#R6DW, elegant (definition)
History
- 2026-11-02: add by m2/dev
66T5ACVS5T 66T5ACVS5T
| URI | m2://inv/66T5ACVS5T |
|---|---|
| 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 2409.17318#KZY2 (statement). In 2P63T9MJ4P/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
66T6XAMG93 66T6XAMG93
| URI | m2://inv/66T6XAMG93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.21892#E4JO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Vincenty's formulae 66T7GVVBS1
| URI | m2://inv/66T7GVVBS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincenty's formulae, Vincenty's formulae (definition). Also Wikidata Q3077670
History
- 2026-11-02: add by m2/dev
66TCNMAPX9 66TCNMAPX9
| URI | m2://inv/66TCNMAPX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18287#NYTW (statement). In ZXZN6RMN38/e1, proposition 14
History
- 2026-10-28: add by m2/v0.4.2
66TEN8E0FY 66TEN8E0FY
| URI | m2://inv/66TEN8E0FY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#KAPW (statement). In QJD3MZMJHW/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
TeXShop 66TND0KTPW
| URI | m2://inv/66TND0KTPW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#IPBU, TeXShop (unknown)
History
- 2026-11-02: add by m2/dev
Formal statement 66VC224BXQ
| URI | m2://inv/66VC224BXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bin packing problem#HORY, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Borromean rings 66VCFGJAGD
| URI | m2://inv/66VCFGJAGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#EVM3, Borromean rings (definition)
- wikipedia: Wikipedia List of mathematical shapes#SB6C, Borromean rings (definition)
History
- 2026-11-02: add by m2/dev
66VK20QG8H 66VK20QG8H
| URI | m2://inv/66VK20QG8H |
|---|---|
| Kind | example |
| 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.01802#S6UL (example). In XGPZ0G9E1Q/e1, example 8.7
History
- 2026-10-29: add by m2/v0.4.12
66VKTDKW7H 66VKTDKW7H
| URI | m2://inv/66VKTDKW7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#5LWY (statement). In XNJGNMS6H0/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
66VN3F6K46 66VN3F6K46
| URI | m2://inv/66VN3F6K46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-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.39389#Y9C2 (statement). In PP5RE0W4D8/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
66VN55FDSN 66VN55FDSN
| URI | m2://inv/66VN55FDSN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-32 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Ludics 66VSRJ98Y4
| URI | m2://inv/66VSRJ98Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#FZIO, Ludics (definition)
History
- 2026-11-02: add by m2/dev
propositional, resizing 66W0P30DHN
| URI | m2://inv/66W0P30DHN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C/propositional-resizing, propositional, resizing (concept). In N54F33XE07, index, section C
History
- 2026-11-01: add by m2/v0.6.13
66W6B303BX 66W6B303BX
| URI | m2://inv/66W6B303BX |
|---|---|
| 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.12353#PA06 (statement). In 7TSXNR7TC5/e1, lemma II.1
History
- 2026-10-28: add by m2/v0.4.2
Good preconditions 66W8S8S1E2
| URI | m2://inv/66W8S8S1E2 |
|---|---|
| Kind | definition |
| 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.08027#GN0Q, Good preconditions (definition). In YF3CEQDXGQ/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
analytic 66WHMD16SK
| URI | m2://inv/66WHMD16SK |
|---|---|
| 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.38220#1OFW, analytic (statement). In 1AC4S19925/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Homogeneous amalgamation of two rank-one seeds 66WJSDK0PF
| URI | m2://inv/66WJSDK0PF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#J6WC, Homogeneous amalgamation of two rank-one seeds (example). In 6G1KBA0SXV/e1, example 4.34
History
- 2026-10-31: add by m2/v0.5.6
Charles Roy Henderson bibliography 66WM8ATPB6
| URI | m2://inv/66WM8ATPB6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Roy Henderson bibliography, Charles Roy Henderson bibliography (topic). Also Wikidata Q136167146
History
- 2026-11-02: add by m2/dev
Error term 66WNQF21MM
| URI | m2://inv/66WNQF21MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error term, Error term (definition). Also Wikidata Q5395721
History
- 2026-11-02: add by m2/dev
individual 66WWGN8CNW
| URI | m2://inv/66WWGN8CNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#L7CT, individual (definition)
History
- 2026-11-02: add by m2/dev
Construction 66X2VBT2ZS
| URI | m2://inv/66X2VBT2ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soddy circles of a triangle#7RK3, Construction (definition)
History
- 2026-11-02: add by m2/dev
Elise Lockwood 66X3AZHJXD
| URI | m2://inv/66X3AZHJXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elise Lockwood, Elise Lockwood (topic). Also Wikidata Q139627333
History
- 2026-11-02: add by m2/dev
prolate spheroidal coordinates 66X4SRVHB6
| URI | m2://inv/66X4SRVHB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249552, prolate spheroidal coordinates (unknown). Also MathWorld ProlateSpheroidalCoordinates
- wikipedia: Wikipedia Prolate spheroidal coordinates, Prolate spheroidal coordinates (definition). Also Wikidata Q7249552
History
- 2026-10-26: add by m2/dev
66X6S1WGJB 66X6S1WGJB
| URI | m2://inv/66X6S1WGJB |
|---|---|
| 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 2609.34013#T1FN (statement). In 3TA3P3CWSJ/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
66XCX4S473 66XCX4S473
| URI | m2://inv/66XCX4S473 |
|---|---|
| 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.33185#Y3S7 (statement). In QX30H2WNA7/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Exterior solution 66XHW5PAJ8
| URI | m2://inv/66XHW5PAJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarzschild metric#LU31, Exterior solution (unknown)
History
- 2026-11-02: add by m2/dev
66XSFCAXX4 66XSFCAXX4
| URI | m2://inv/66XSFCAXX4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 17.1
History
- 2026-11-01: add by m2/v0.6.13
Relation to the axiom of choice and other statements 66YABQPAJY
| URI | m2://inv/66YABQPAJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Alaoglu theorem#N97Y, Relation to the axiom of choice and other statements (statement)
History
- 2026-11-02: add by m2/dev
66YFJEEN1W 66YFJEEN1W
| URI | m2://inv/66YFJEEN1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-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.07728#4QTJ (statement). In B1VVAKFCKZ/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
Ax–Kochen theorem 66YM0A3AX8
| URI | m2://inv/66YM0A3AX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3526976, Ax–Kochen theorem (statement). Also Wikidata Q3526976
- thousand_plus: thousand_plus Q3526976, Ax–Kochen theorem (statement). Also Wikidata Q3526976, Wikipedia Ax–Kochen theorem
- wikipedia: Wikipedia Ax–Kochen theorem, Ax–Kochen theorem (statement). Also Wikidata Q3526976
History
- 2026-10-26: add by m2/dev
Congruence-permutable algebra 66YSDTPTE1
| URI | m2://inv/66YSDTPTE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence-permutable algebra, Congruence-permutable algebra (definition). Also Wikidata Q19596444
History
- 2026-11-02: add by m2/dev
66Z1XH3G52 66Z1XH3G52
| URI | m2://inv/66Z1XH3G52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#1IOV (statement). In 9704QPRPR6/e1, lemma 5.9
History
- 2026-10-30: add by m2/v0.4.12
M-325 66Z2TMPRZ0
| URI | m2://inv/66Z2TMPRZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-325, M-325 (definition). Also Wikidata Q605681
History
- 2026-11-02: add by m2/dev
66Z7PKKNBP 66Z7PKKNBP
| URI | m2://inv/66Z7PKKNBP |
|---|---|
| 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.20135#LQNO (statement). In ZQQEN3J866/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.4.2
Non-adjacent neighbors 66ZC5QTYN4
| URI | m2://inv/66ZC5QTYN4 |
|---|---|
| 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#H2IO, Non-adjacent neighbors (definition). In WD2NCBV9F0/e1, definition 10.6
History
- 2026-10-27: add by m2/v0.3.5
Boole's inequality 66ZC75K7CA
| URI | m2://inv/66ZC75K7CA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZLU8, Boole's inequality (statement)
- wikipedia: Wikipedia List of probability topics#PHW4, Boole's inequality (statement)
- wikipedia: Wikipedia List of inequalities#8MMQ, Boole's inequality (statement)
History
- 2026-11-02: add by m2/dev
Non-integer base of numeration 66ZFST9CKE
| URI | m2://inv/66ZFST9CKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-integer base of numeration, Non-integer base of numeration (definition). Also Wikidata Q6161486
History
- 2026-11-02: add by m2/dev
66ZGCN1ZAX 66ZGCN1ZAX
| URI | m2://inv/66ZGCN1ZAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#PSO6 (statement). In CGA36VE1C5/e1, fact 5.2.2
History
- 2026-10-27: add by m2/v0.3.6
66ZKAT70RF 66ZKAT70RF
| URI | m2://inv/66ZKAT70RF |
|---|---|
| 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#ZLHK (statement). In PMMV6YAEVR/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Brazilian Institute of Geography and Statistics 66ZWB64NS7
| URI | m2://inv/66ZWB64NS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brazilian Institute of Geography and Statistics, Brazilian Institute of Geography and Statistics (definition). Also Wikidata Q268072
History
- 2026-11-02: add by m2/dev