Inventory rows 89
The cards of the rows of the inventory whose ids start with 89. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Analytical Partition Divergence 8900TJ0NM2
| URI | m2://inv/8900TJ0NM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21340#DH32, Analytical Partition Divergence (statement). In AEYX7SEVBG/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
Power Set 8901HW0V36
| URI | m2://inv/8901HW0V36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#defn-2, Power Set (definition). In PKGMM3P5QY, defn, section 83.1
History
- 2026-11-01: add by m2/v0.6.13
People's Republic of China 8908D5DNDQ
| URI | m2://inv/8908D5DNDQ |
|---|---|
| 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 Q148, People's Republic of China (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/China
History
- 2026-10-26: add by m2/dev
Exactness of the kernel pair square 8909DJ0KTA
| URI | m2://inv/8909DJ0KTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#MYMQ, Exactness of the kernel pair square (statement). In HX63A1PH1W/e1, proposition 6.36
History
- 2026-10-28: add by m2/v0.4.3
890GCC0166 890GCC0166
| URI | m2://inv/890GCC0166 |
|---|---|
| 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.18544#L05I (statement). In HT5MC1SPD9/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
Definitions 890KJCYE6C
| URI | m2://inv/890KJCYE6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit disk graph#QJL6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Non-logical symbol 890S2WAZ3N
| URI | m2://inv/890S2WAZ3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-logical symbol, Non-logical symbol (definition). Also Wikidata Q7048956
History
- 2026-11-02: add by m2/dev
890SPFN4VC 890SPFN4VC
| URI | m2://inv/890SPFN4VC |
|---|---|
| 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 2609.31907#O6A4 (definition). In 6B2PCEGCYZ/e1, definition 5.4
History
- 2026-10-31: add by m2/v0.5.6
Example 890YS315M3
| URI | m2://inv/890YS315M3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotypical representation#O1N0, Example (example)
History
- 2026-11-02: add by m2/dev
8913HSK4W2 8913HSK4W2
| URI | m2://inv/8913HSK4W2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#52WU (statement). In Y7TVAQE9PF/e1, theorem 3.17
History
- 2026-10-27: add by m2/v0.3.5
891C0RR3AS 891C0RR3AS
| URI | m2://inv/891C0RR3AS |
|---|---|
| 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.19285#4SZK (statement). In 6DJR9DKY5W/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Communications in Statistics 891F0E7XY0
| URI | m2://inv/891F0E7XY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#VJV2, Communications in Statistics (definition)
History
- 2026-11-02: add by m2/dev
891KBSM91F 891KBSM91F
| URI | m2://inv/891KBSM91F |
|---|---|
| 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 2411.17412#RF8Y (statement). In DPBHYJBGKD/e1, corollary 3.20
History
- 2026-10-27: add by m2/v0.3.6
Properties 891SEFXJ92
| URI | m2://inv/891SEFXJ92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trivial group#H0S9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Burnside's lemma 891TZG0D71
| URI | m2://inv/891TZG0D71 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#SLRS, Burnside's lemma (statement)
- wikipedia: Wikipedia List of mathematical proofs#0SW3, Burnside's lemma (statement)
History
- 2026-11-02: add by m2/dev
Separation by maximal subsheaves 891YN8W974
| URI | m2://inv/891YN8W974 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.15887#Y2KV, Separation by maximal subsheaves (statement). In 87QYNZZ67Z/e1, proposition 6.10
History
- 2026-10-28: add by m2/v0.4.2
8922XVT2DT 8922XVT2DT
| URI | m2://inv/8922XVT2DT |
|---|---|
| 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.22040#F4QD (statement). In 2QP93JHYNB/e1, corollary 5.6
History
- 2026-10-27: add by m2/v0.4.2
89234GQV4P 89234GQV4P
| URI | m2://inv/89234GQV4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#10HM (statement). In 9WP2QGKMG8/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Theorem 1 8929RXMMHC
| URI | m2://inv/8929RXMMHC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation code#TFEG, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Alternative definition 892BA03ECR
| URI | m2://inv/892BA03ECR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldman domain#KHAY, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Newton polygon 892DXYAWCN
| URI | m2://inv/892DXYAWCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#Y4OR, Newton polygon (definition)
History
- 2026-11-02: add by m2/dev
Computer-adaptive sequential testing 892EVV21HV
| URI | m2://inv/892EVV21HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer-adaptive sequential testing, Computer-adaptive sequential testing (definition). Also Wikidata Q5157363
History
- 2026-11-02: add by m2/dev
8936TS9FCM 8936TS9FCM
| URI | m2://inv/8936TS9FCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#TUEO (statement). In NAMCCRM50R/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Giulio Pace 8937VMWNTC
| URI | m2://inv/8937VMWNTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giulio Pace, Giulio Pace (topic). Also Wikidata Q640933
History
- 2026-11-02: add by m2/dev
8939GPPVS6 8939GPPVS6
| URI | m2://inv/8939GPPVS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#MN1V (statement). In CB35ZBBBPT/e1, corollary 4.12
History
- 2026-10-31: add by m2/v0.5.6
Stationary sets separate on the entire real line 893H2KB5F0
| URI | m2://inv/893H2KB5F0 |
|---|---|
| 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.03633#M0LJ, Stationary sets separate on the entire real line (statement). In X3E4D61X4V/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.12
893HXAYNV2 893HXAYNV2
| URI | m2://inv/893HXAYNV2 |
|---|---|
| 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.31173#S0P2 (statement). In ZZSJGJXPXY/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Leo Moser 893M7K0EW5
| URI | m2://inv/893M7K0EW5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SDCV, Leo Moser (topic)
History
- 2026-11-02: add by m2/dev
893QN870WG 893QN870WG
| URI | m2://inv/893QN870WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12430#F83M (statement). In VGKCBWQ65N/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
893XRW8F3J 893XRW8F3J
| URI | m2://inv/893XRW8F3J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-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.25321#LMMO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Robert J. Elliott 893YCSZ5N3
| URI | m2://inv/893YCSZ5N3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#7JQE, Robert J. Elliott (topic)
History
- 2026-11-02: add by m2/dev
\epower is well defined and bounded 894FVRG7S6
| URI | m2://inv/894FVRG7S6 |
|---|---|
| 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.27765#PL7G, \epower is well defined and bounded (statement)
History
- 2026-11-01: add by m2/v0.6.15
894G1EDKHF 894G1EDKHF
| URI | m2://inv/894G1EDKHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#2JZ7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
L∞ function 894JSRQPNJ
| URI | m2://inv/894JSRQPNJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-infinity#VWJ5, L∞ function (unknown)
History
- 2026-11-02: add by m2/dev
894M4MRQG6 894M4MRQG6
| URI | m2://inv/894M4MRQG6 |
|---|---|
| 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.21322#7021 (statement). In CNDA8DBEGD/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
quadratic form 894MQQBFSD
| URI | m2://inv/894MQQBFSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 15A63 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Quadratic form 0RBQS1JJCR |
Mentions
- wikidata: Wikidata Q736753, quadratic form (topic). Also EoM Quadratic_form, MathWorld QuadraticForm, nLab quadratic form, ProofWiki Definition:Quadratic_Form
- wikipedia: Wikipedia Quadratic form, Quadratic form (definition). Also Wikidata Q736753
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Law of quadratic reciprocity 894W9PCKHD
| URI | m2://inv/894W9PCKHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic reciprocity#6MP1, Law of quadratic reciprocity (statement)
History
- 2026-11-02: add by m2/dev
8953XXB820 8953XXB820
| URI | m2://inv/8953XXB820 |
|---|---|
| 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 2508.02432#79BZ (statement). In B366ACYB37/e1, fact 3
History
- 2026-10-27: add by m2/v0.3.5
The Plancherel theorem and Parseval's theorem 8958FCQX9D
| URI | m2://inv/8958FCQX9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform#WHNM, The Plancherel theorem and Parseval's theorem (statement)
History
- 2026-11-02: add by m2/dev
895BBGTDM1 895BBGTDM1
| URI | m2://inv/895BBGTDM1 |
|---|---|
| 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.23562#U4YY (statement)
History
- 2026-11-02: add by m2/v0.6.17
895R56F44B 895R56F44B
| URI | m2://inv/895R56F44B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#SQPA (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Reliability 895YHVKTE4
| URI | m2://inv/895YHVKTE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reliability (statistics), Reliability (definition). Also Wikidata Q18748
History
- 2026-11-02: add by m2/dev
Examples 89601W3XQB
| URI | m2://inv/89601W3XQB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonprobability sampling#C1ZL, Examples (example)
History
- 2026-11-02: add by m2/dev
spherical 89612F16X4
| URI | m2://inv/89612F16X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#2FHD, spherical (definition)
History
- 2026-11-02: add by m2/dev
89638AM5SX 89638AM5SX
| URI | m2://inv/89638AM5SX |
|---|---|
| Kind | example |
| 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 2610.21181#T40C (example). In 3D0GJXDY11/e1, example 5.2
History
- 2026-10-27: add by m2/v0.4.2
International Congress of Actuaries 8969J4D6RR
| URI | m2://inv/8969J4D6RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Congress of Actuaries, International Congress of Actuaries (definition). Also Wikidata Q17120632
History
- 2026-11-02: add by m2/dev
secant 896C2TVJ16
| URI | m2://inv/896C2TVJ16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#PL97, secant (definition)
History
- 2026-11-02: add by m2/dev
896CSX2KQS 896CSX2KQS
| URI | m2://inv/896CSX2KQS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.21703#MCQ6 (definition)
History
- 2026-11-02: add by m2/v0.6.18
antiderivative 896G5Q69ZP
| URI | m2://inv/896G5Q69ZP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.1.3/antiderivative, antiderivative (concept). In 907G4C4EJ1, index, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
896H0YE7AN 896H0YE7AN
| URI | m2://inv/896H0YE7AN |
|---|---|
| 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.07909#3V5Z (statement). In 6KST0WX37C/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
adjoint, functor theorem 896NDTECWH
| URI | m2://inv/896NDTECWH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/adjoint-functor-theorem, adjoint, functor theorem (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
896SK4GG5W 896SK4GG5W
| URI | m2://inv/896SK4GG5W |
|---|---|
| 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#E8G2 (statement). In 235B1J1ETB/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.3.5
896YB0Z9Z0 896YB0Z9Z0
| URI | m2://inv/896YB0Z9Z0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#VOG1 (statement). In DPJ15KW23C/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
Pre-topological order 8975M9YFVZ
| URI | m2://inv/8975M9YFVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-topological order, Pre-topological order (definition). Also Wikidata Q39091317
History
- 2026-11-02: add by m2/dev
8979HGBBPF 8979HGBBPF
| URI | m2://inv/8979HGBBPF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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 1001.0174#036A (definition). In 4P97F3GPJC/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Arrival theorem 897BFGW5X7
| URI | m2://inv/897BFGW5X7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#501B, Arrival theorem (statement)
History
- 2026-11-02: add by m2/dev
Franciszek Leja 897MQPGC3D
| URI | m2://inv/897MQPGC3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franciszek Leja, Franciszek Leja (topic). Also Wikidata Q725424
History
- 2026-11-02: add by m2/dev
Notation 897MRRWVQS
| URI | m2://inv/897MRRWVQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continued fraction#EKXR, Notation (definition)
History
- 2026-11-02: add by m2/dev
897RE0NC54 897RE0NC54
| URI | m2://inv/897RE0NC54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#GUW3 (statement). In A59MZ9H284/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Transaction logic 897VP14FQA
| URI | m2://inv/897VP14FQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transaction logic, Transaction logic (definition). Also Wikidata Q7833716
History
- 2026-11-02: add by m2/dev
Morton Brown 897VR9KBBW
| URI | m2://inv/897VR9KBBW |
|---|---|
| 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 Q1731253, Morton Brown (unknown). Also nLab Morton Brown
- wikipedia: Wikipedia Morton Brown, Morton Brown (topic). Also Wikidata Q1731253
History
- 2026-10-26: add by m2/dev
Commutative transition 897ZBVV1XP
| URI | m2://inv/897ZBVV1XP |
|---|---|
| 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#PV36, Commutative transition (definition). In WD2NCBV9F0/e1, definition 8.8
History
- 2026-10-27: add by m2/v0.3.5
Indicators of spatial association 89834SEYB3
| URI | m2://inv/89834SEYB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X9UH, Indicators of spatial association (definition)
History
- 2026-11-02: add by m2/dev
Semidefinite embedding 89860GFAV2
| URI | m2://inv/89860GFAV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semidefinite embedding, Semidefinite embedding (definition). Also Wikidata Q7449403
History
- 2026-11-02: add by m2/dev
8986Z97RNR 8986Z97RNR
| URI | m2://inv/8986Z97RNR |
|---|---|
| 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 2509.21444#KQ7K (definition). In CTVPA2FQT1/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.0
Properties 8987PK9CJD
| URI | m2://inv/8987PK9CJD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally integrable function#VPS0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Use in various formulas 898AJFPAJX
| URI | m2://inv/898AJFPAJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz's notation#QN3I, Use in various formulas (statement)
History
- 2026-11-02: add by m2/dev
Raymond Cattell 898CQMW9AJ
| URI | m2://inv/898CQMW9AJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Cattell, Raymond Cattell (topic). Also Wikidata Q353133
History
- 2026-11-02: add by m2/dev
898HBVJF5Q 898HBVJF5Q
| URI | m2://inv/898HBVJF5Q |
|---|---|
| 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.21358#GW2E (statement). In XV70TXYS5A/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
Quantum enveloping algebra 898J2A8X9R
| URI | m2://inv/898J2A8X9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#2MF2, Quantum enveloping algebra (definition)
History
- 2026-11-02: add by m2/dev
DataGraph 898MACZAGS
| URI | m2://inv/898MACZAGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#887G, DataGraph (unknown)
History
- 2026-11-02: add by m2/dev
normal bundle 898NVKS97E
| URI | m2://inv/898NVKS97E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2370925, normal bundle (unknown). Also EoM Normal_bundle, MathWorld NormalBundle, nLab normal bundle
- wikipedia: Wikipedia Normal bundle, Normal bundle (definition). Also Wikidata Q2370925
History
- 2026-10-26: add by m2/dev
LOBPCG 898PGMCJKV
| URI | m2://inv/898PGMCJKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LOBPCG, LOBPCG (definition). Also Wikidata Q6459462
History
- 2026-11-02: add by m2/dev
Geodesics in general relativity 898R1CVD61
| URI | m2://inv/898R1CVD61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesics in general relativity, Geodesics in general relativity (definition). Also Wikidata Q5533988
History
- 2026-11-02: add by m2/dev
jet 898S2J2R60
| URI | m2://inv/898S2J2R60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#3ZGE, jet (definition)
History
- 2026-11-02: add by m2/dev
topological property 898VQTZH3X
| URI | m2://inv/898VQTZH3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Topological property 02SMVGC690 |
Mentions
- wikidata: Wikidata Q625948, topological property (unknown). Also EoM Topological_invariant, nLab topological property
- wikipedia: Wikipedia Topological property, Topological property (definition). Also Wikidata Q625948
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
formal system 89925QEMG1
| URI | m2://inv/89925QEMG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IA4W, formal system (definition)
History
- 2026-11-02: add by m2/dev
Learning rate 89925S6RSS
| URI | m2://inv/89925S6RSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learning rate, Learning rate (definition). Also Wikidata Q65121812
History
- 2026-11-02: add by m2/dev
Weighted composition 89964976SQ
| URI | m2://inv/89964976SQ |
|---|---|
| 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.01071#ZJY5, Weighted composition (statement). In X1YF62ZFB6/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.12
Motomi Mori 899CG8H7Q7
| URI | m2://inv/899CG8H7Q7 |
|---|---|
| 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#BA5O, Motomi Mori (unknown)
History
- 2026-11-02: add by m2/dev
The cycle transportation value 899TB754GF
| URI | m2://inv/899TB754GF |
|---|---|
| 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#IZOU, The cycle transportation value (statement). In 9YAE8FNQST/e1, lemma 30.11
History
- 2026-10-30: add by m2/v0.4.12
Grammar 899V1XFRVE
| URI | m2://inv/899V1XFRVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grammar, Grammar (definition). Also Wikidata Q8091
History
- 2026-11-02: add by m2/dev
Exact positive increments 899VXNQTBB
| URI | m2://inv/899VXNQTBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#EFW0, Exact positive increments (statement). In X407M6WFNR/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 89ADM0G4DY
| URI | m2://inv/89ADM0G4DY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperconnected space#2Z9K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement 89ADZ9GXAC
| URI | m2://inv/89ADZ9GXAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satake isomorphism#S5AE, Statement (statement)
History
- 2026-11-02: add by m2/dev
Randomized controlled trial 89AG7WECM8
| URI | m2://inv/89AG7WECM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U1W2, Randomized controlled trial (definition)
History
- 2026-11-02: add by m2/dev
Andreas Thom 89AKM4A1ZZ
| URI | m2://inv/89AKM4A1ZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andreas Thom (mathematician), Andreas Thom (topic). Also Wikidata Q28916722
History
- 2026-11-02: add by m2/dev
oval 89AM7PXGQ1
| URI | m2://inv/89AM7PXGQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193410, oval (unknown). Also MathWorld Oval
- wikipedia: Wikipedia Oval, Oval (definition). Also Wikidata Q193410
History
- 2026-10-26: add by m2/dev
89AWHYMA9H 89AWHYMA9H
| URI | m2://inv/89AWHYMA9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.10697#3W2Y (statement). In WN2Z20ZV49/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.3.6
Galilean transformation 89B5XJ8FF2
| URI | m2://inv/89B5XJ8FF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#X35T, Galilean transformation (definition)
History
- 2026-11-02: add by m2/dev
Examples 89B6PDWK7Q
| URI | m2://inv/89B6PDWK7Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedgehog (geometry)#6ZIS, Examples (example)
History
- 2026-11-02: add by m2/dev
Additive Markov chain 89BC7202CV
| URI | m2://inv/89BC7202CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5WBI, Additive Markov chain (definition)
History
- 2026-11-02: add by m2/dev
Method of averaging 89BDG1XCX0
| URI | m2://inv/89BDG1XCX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of averaging, Method of averaging (definition). Also Wikidata Q6823703
History
- 2026-11-02: add by m2/dev
Triangle finding problem 89BS2XT8EY
| URI | m2://inv/89BS2XT8EY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle-free graph#BHF2, Triangle finding problem (unknown)
History
- 2026-11-02: add by m2/dev
Jamshīd al-Kāshī 89BT6HNNNF
| URI | m2://inv/89BT6HNNNF |
|---|---|
| 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 Q115466, Jamshīd al-Kāshī (unknown). Also ProofWiki Mathematician:Jamshīd_al-Kāshī
- wikipedia: Wikipedia Jamshid al-Kashi, Jamshid al-Kashi (topic). Also Wikidata Q115466
History
- 2026-10-26: add by m2/dev
89BY2QC7S6 89BY2QC7S6
| URI | m2://inv/89BY2QC7S6 |
|---|---|
| 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.39274#2W5G (statement). In HVC7RVEM6V/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
converges pointwise, complex series 89BYJGHQSH
| URI | m2://inv/89BYJGHQSH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.2.1/converges-pointwise-complex-series, converges pointwise, complex series (concept). In E59CDZA4DP, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Non-example 89C2D1CKRP
| URI | m2://inv/89C2D1CKRP |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-orthogonal matrix#SZ96, Non-example (counterexample)
History
- 2026-11-02: add by m2/dev
89C4M1HXTC 89C4M1HXTC
| URI | m2://inv/89C4M1HXTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40017#HQ8Y (statement). In MBHJA0HT06/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 89CPFN61A5
| URI | m2://inv/89CPFN61A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nørlund–Rice integral#OP1M, Definition (definition)
History
- 2026-11-02: add by m2/dev
89CTW3K0VV 89CTW3K0VV
| URI | m2://inv/89CTW3K0VV |
|---|---|
| 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#D54Q (definition). In PWXT7J9JX3/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
89CVNBRXZH 89CVNBRXZH
| URI | m2://inv/89CVNBRXZH |
|---|---|
| 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.38138#6PO0 (statement). In G97FA99ZEF/e1, theorem 1.10
History
- 2026-10-30: add by m2/v0.4.12
89D2TERRMP 89D2TERRMP
| URI | m2://inv/89D2TERRMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.33541#HXFV (statement). In N3P196CEAJ/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
89D2WZ9QQV 89D2WZ9QQV
| URI | m2://inv/89D2WZ9QQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#X5HJ (statement). In E4DJTPKHAX/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.2
H.234 89D3BB4NWK
| URI | m2://inv/89D3BB4NWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H.234, H.234 (definition). Also Wikidata Q85846055
History
- 2026-11-02: add by m2/dev
89DCST0EY9 89DCST0EY9
| URI | m2://inv/89DCST0EY9 |
|---|---|
| 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.03661#EMKD (statement). In ESDKTYDHC8/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.12
Max Noether's theorem 89DHY8YMY9
| URI | m2://inv/89DHY8YMY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IM47, Max Noether's theorem (definition)
History
- 2026-11-02: add by m2/dev
Charles's law 89DM8NJST1
| URI | m2://inv/89DM8NJST1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles's law, Charles's law (statement). Also Wikidata Q193523
History
- 2026-11-02: add by m2/dev
89DMEZBWAR 89DMEZBWAR
| URI | m2://inv/89DMEZBWAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#Y219 (statement). In 9XMZTTSF5E/e1, proposition 6.12
History
- 2026-10-30: add by m2/v0.4.12
Boundedness of the Lions operators in tent spaces 89DWTZM2Q3
| URI | m2://inv/89DWTZM2Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#9F1T, Boundedness of the Lions operators in tent spaces (statement)
History
- 2026-11-01: add by m2/v0.6.15
89E2SNVPA0 89E2SNVPA0
| URI | m2://inv/89E2SNVPA0 |
|---|---|
| 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.12329#6RKE (statement). In ZJQB9W60T6/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Eli Turkel 89EBN5N43V
| URI | m2://inv/89EBN5N43V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eli Turkel, Eli Turkel (topic). Also Wikidata Q5360335
History
- 2026-11-02: add by m2/dev
Sklyanin algebra 89EMNY3BD3
| URI | m2://inv/89EMNY3BD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sklyanin algebra, Sklyanin algebra (definition). Also Wikidata Q106809012
History
- 2026-11-02: add by m2/dev
Parshin point 89EXPGSRNV
| URI | m2://inv/89EXPGSRNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#4GS3, Parshin point (unknown)
History
- 2026-11-02: add by m2/dev
89EYC3BWW7 89EYC3BWW7
| URI | m2://inv/89EYC3BWW7 |
|---|---|
| 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.25301#T265 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local twistor 89F7XYZCT9
| URI | m2://inv/89F7XYZCT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local twistor, Local twistor (definition). Also Wikidata Q25305497
History
- 2026-11-02: add by m2/dev
89F9W1AA5Y 89F9W1AA5Y
| URI | m2://inv/89F9W1AA5Y |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#BQTP (unknown). In QNBFHFZ3H0/e1, unknown 130
History
- 2026-10-28: add by m2/v0.4.2
89FDG58ZSM 89FDG58ZSM
| URI | m2://inv/89FDG58ZSM |
|---|---|
| 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.01802#OSF8 (statement). In XGPZ0G9E1Q/e1, proposition 7.13
History
- 2026-10-29: add by m2/v0.4.12
89FFZNMNSN 89FFZNMNSN
| URI | m2://inv/89FFZNMNSN |
|---|---|
| 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.32829#YJ3O (statement). In RYWAX33Z51/e1, proposition 4.26
History
- 2026-10-31: add by m2/v0.5.6
John Tipper 89FHR9S9AE
| URI | m2://inv/89FHR9S9AE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Tipper (mathematician), John Tipper (topic). Also Wikidata Q6260903
History
- 2026-11-02: add by m2/dev
89FKKVST07 89FKKVST07
| URI | m2://inv/89FKKVST07 |
|---|---|
| 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.22374#FAPJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Inverted snub dodecadodecahedron 89FNN3MF0E
| URI | m2://inv/89FNN3MF0E |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#EWHC, Inverted snub dodecadodecahedron (object)
History
- 2026-11-02: add by m2/dev
89FV9HHSRY 89FV9HHSRY
| URI | m2://inv/89FV9HHSRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01806#1BVK (statement). In 4FXW9CRBXX/e1, fact
History
- 2026-10-29: add by m2/v0.4.12
Maximum independent set 89G0YPBVSF
| URI | m2://inv/89G0YPBVSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#95UD, Maximum independent set (definition)
History
- 2026-11-02: add by m2/dev
Cantellated 24-cells 89G6MWNFMR
| URI | m2://inv/89G6MWNFMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellated 24-cells, Cantellated 24-cells (definition). Also Wikidata Q5033580
History
- 2026-11-02: add by m2/dev
89GK8HW24F 89GK8HW24F
| URI | m2://inv/89GK8HW24F |
|---|---|
| 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.05299#TR7V (statement). In 68AE571S4P/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Theorem (depth-sensitivity) 89GTGGNNHR
| URI | m2://inv/89GTGGNNHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul complex#3R11, Theorem (depth-sensitivity) (statement)
History
- 2026-11-02: add by m2/dev
Definitions 89GW8KA5N3
| URI | m2://inv/89GW8KA5N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schauder basis#VHA0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
89H4HDQEHG 89H4HDQEHG
| URI | m2://inv/89H4HDQEHG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#71MH (problem). In HVDSC1GQRD/e1, problem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Center manifold 89H4S0P3JR
| URI | m2://inv/89H4S0P3JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center manifold, Center manifold (definition). Also Wikidata Q4504202
History
- 2026-11-02: add by m2/dev
Schur product theorem 89HF68CA0Z
| URI | m2://inv/89HF68CA0Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard product (matrices)#CO7A, Schur product theorem (statement)
History
- 2026-11-02: add by m2/dev
Equivariant averaging commutes with Mellin transformation 89HNCX7CQH
| URI | m2://inv/89HNCX7CQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#ZZ22, Equivariant averaging commutes with Mellin transformation (statement). In HF7YNMW39N/e1, proposition 11.6
History
- 2026-10-27: add by m2/v0.4.0
89HQVBYFNM 89HQVBYFNM
| URI | m2://inv/89HQVBYFNM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#proof-4 (proof). In RZP28ERRZV, proof, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
Cauchy estimate 89HVWX1TA3
| URI | m2://inv/89HVWX1TA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#2LFF, Cauchy estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
89HWE6FEQB 89HWE6FEQB
| URI | m2://inv/89HWE6FEQB |
|---|---|
| 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.28848#OYJ0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andrew Ranicki 89HZVYE32D
| URI | m2://inv/89HZVYE32D |
|---|---|
| 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 Q506805, Andrew Ranicki (unknown). Also nLab Andrew Ranicki
- wikipedia: Wikipedia Andrew Ranicki, Andrew Ranicki (topic). Also Wikidata Q506805
History
- 2026-10-26: add by m2/dev
Seriation 89J4FZ2QMX
| URI | m2://inv/89J4FZ2QMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seriation (archaeology), Seriation (definition). Also Wikidata Q358095
History
- 2026-11-02: add by m2/dev
89J9VF3PEV 89J9VF3PEV
| URI | m2://inv/89J9VF3PEV |
|---|---|
| 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 2508.02432#LHVO (statement). In B366ACYB37/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
JMulTi 89JE72NM8N
| URI | m2://inv/89JE72NM8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#38B3, JMulTi (definition)
History
- 2026-11-02: add by m2/dev
89JEKAN7VT 89JEKAN7VT
| URI | m2://inv/89JEKAN7VT |
|---|---|
| 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.32832#00XK (statement). In VS7P86QHFR/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
Power-tail threshold trichotomy 89JNTMARB2
| URI | m2://inv/89JNTMARB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#1NX2, Power-tail threshold trichotomy (statement)
History
- 2026-11-02: add by m2/v0.6.18
Polynomial level set 89JT401MPX
| URI | m2://inv/89JT401MPX |
|---|---|
| Kind | example |
| 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 2610.00843#427L, Polynomial level set (example). In 1K7M5TD0M2/e1, example 1.3
History
- 2026-10-29: add by m2/v0.4.12
Arakawa–Kaneko zeta function 89K0GNX732
| URI | m2://inv/89K0GNX732 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arakawa–Kaneko zeta function, Arakawa–Kaneko zeta function (definition). Also Wikidata Q18205157
History
- 2026-11-02: add by m2/dev
Experimental event rate 89KFGRQCA9
| URI | m2://inv/89KFGRQCA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5NH5, Experimental event rate (definition)
History
- 2026-11-02: add by m2/dev
Statistical unit 89KGGWEFWF
| URI | m2://inv/89KGGWEFWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HMFW, Statistical unit (definition)
History
- 2026-11-02: add by m2/dev
89KKKH7YTM 89KKKH7YTM
| URI | m2://inv/89KKKH7YTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20406#WEP7 (statement). In 1YW6C6XGT3/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
89KMYTRWYB 89KMYTRWYB
| URI | m2://inv/89KMYTRWYB |
|---|---|
| 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 2610.21181#IW0E (statement). In 3D0GJXDY11/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.4.2
matching polynomial 89KQQ1KP6G
| URI | m2://inv/89KQQ1KP6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6786278, matching polynomial (unknown). Also MathWorld MatchingPolynomial
- wikipedia: Wikipedia Matching polynomial, Matching polynomial (definition). Also Wikidata Q6786278
History
- 2026-10-26: add by m2/dev
89KSVXHYGH 89KSVXHYGH
| URI | m2://inv/89KSVXHYGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#3604 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 89KXYQMS29
| URI | m2://inv/89KXYQMS29 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transvectant#H1LX, Examples (example)
History
- 2026-11-02: add by m2/dev
89KY90Q2X4 89KY90Q2X4
| URI | m2://inv/89KY90Q2X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#K2E7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
89M2Q4E4H6 89M2Q4E4H6
| URI | m2://inv/89M2Q4E4H6 |
|---|---|
| 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#TWMG (statement). In JSZRXT3W3E/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
89MBP4YMJC 89MBP4YMJC
| URI | m2://inv/89MBP4YMJC |
|---|---|
| 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#D1BJ (statement). In CFJH0Q39FZ/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
89MRGM1QS5 89MRGM1QS5
| URI | m2://inv/89MRGM1QS5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#BS2B (definition). In 3A4K47Y9F2/e1, definition 3.31
History
- 2026-10-27: add by m2/v0.4.0
89N3N8FGND 89N3N8FGND
| URI | m2://inv/89N3N8FGND |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#8K5I (problem)
History
- 2026-11-01: add by m2/v0.6.15
Poincaré conjecture 89NA6GA3Z0
| URI | m2://inv/89NA6GA3Z0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#EDC9, Poincaré conjecture (statement)
History
- 2026-11-02: add by m2/dev
89NA7NP0KV 89NA7NP0KV
| URI | m2://inv/89NA7NP0KV |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.13548#YO30 (conjecture). In 4NVVK50D1P/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
89NK0XMNN3 89NK0XMNN3
| URI | m2://inv/89NK0XMNN3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#prob:partial_zero (exercise). In RZP28ERRZV, problem, section 46.6
History
- 2026-11-01: add by m2/v0.6.13
Definition 89NSPWZCM6
| URI | m2://inv/89NSPWZCM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenwood statistic#Z8AJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
89NXJQ462H 89NXJQ462H
| URI | m2://inv/89NXJQ462H |
|---|---|
| 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.26713#PAZC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weak solution to the limiting equation 89P8YVSR9X
| URI | m2://inv/89P8YVSR9X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29205#RQXX, Weak solution to the limiting equation (definition)
History
- 2026-11-01: add by m2/v0.6.15
Connes 89PC7T4BBX
| URI | m2://inv/89PC7T4BBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#XN4L, Connes (definition)
History
- 2026-11-02: add by m2/dev
89PE7BY33D 89PE7BY33D
| URI | m2://inv/89PE7BY33D |
|---|---|
| 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.36811#J188 (statement). In ZQDX8E43SQ/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
89PGS7AS8K 89PGS7AS8K
| URI | m2://inv/89PGS7AS8K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 15.4
History
- 2026-11-01: add by m2/v0.6.13
Axial symmetry 89PHCMQZ55
| URI | m2://inv/89PHCMQZ55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axial symmetry, Axial symmetry (definition). Also Wikidata Q3886264
History
- 2026-11-02: add by m2/dev
Matched exposed-point right-tail deviations and uniform-subset error exponent 89PKA5FQGR
| URI | m2://inv/89PKA5FQGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#9FDI, Matched exposed-point right-tail deviations and uniform-subset error exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variations 89PN1X3PFC
| URI | m2://inv/89PN1X3PFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezo-rhombic dodecahedron#DP3P, Variations (statement)
History
- 2026-11-02: add by m2/dev
Bulk-cover rapid mixing with constant decay rate and stability 89PSWHXS8K
| URI | m2://inv/89PSWHXS8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#W1AF, Bulk-cover rapid mixing with constant decay rate and stability (statement). In NAM9ZMPHZ9/e1, proposition B.3
History
- 2026-10-30: add by m2/v0.4.12
89PW1EGB3W 89PW1EGB3W
| URI | m2://inv/89PW1EGB3W |
|---|---|
| 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#F2JU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Borel conjecture 89PZ5ZD8VS
| URI | m2://inv/89PZ5ZD8VS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#E4G8, Borel conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Exact comparison for a fixed singular-value orbit 89QH1897RK
| URI | m2://inv/89QH1897RK |
|---|---|
| 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#LG0X, Exact comparison for a fixed singular-value orbit (statement). In 9YAE8FNQST/e1, theorem 22.10
History
- 2026-10-30: add by m2/v0.4.12
89QM14CBHR 89QM14CBHR
| URI | m2://inv/89QM14CBHR |
|---|---|
| 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 2110.08714#K3HY (statement). In A3RAXBSWA5/e1, corollary 3.15
History
- 2026-10-27: add by m2/v0.3.5
Examples 89QP9MZR4X
| URI | m2://inv/89QP9MZR4X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy index#8VGJ, Examples (example)
History
- 2026-11-02: add by m2/dev
89QZ4AYRN7 89QZ4AYRN7
| URI | m2://inv/89QZ4AYRN7 |
|---|---|
| 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.02751#X2CE (statement). In MWGXPXF3BW/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.12
Examples 89R4NTD1EP
| URI | m2://inv/89R4NTD1EP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical induction#8H99, Examples (example)
History
- 2026-11-02: add by m2/dev
89R5TDK2MX 89R5TDK2MX
| URI | m2://inv/89R5TDK2MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#X43C (statement). In DYBM6Q2K6R/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Perla Sousi 89R6HQVTE9
| URI | m2://inv/89R6HQVTE9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perla Sousi, Perla Sousi (topic). Also Wikidata Q102440954
History
- 2026-11-02: add by m2/dev
P\u aun, as recorded in {*{Question 38 89R7JTBFAQ
| URI | m2://inv/89R7JTBFAQ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-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.36410#PUYB, P\u aun, as recorded in {*{Question 38 (problem). In 1FRV7XDEGF/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
89RD2VVQS9 89RD2VVQS9
| URI | m2://inv/89RD2VVQS9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#8C5G (definition)
History
- 2026-11-01: add by m2/v0.6.15
72-year rule 89SCGQ895D
| URI | m2://inv/89SCGQ895D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia United States Census Bureau#6ROO, 72-year rule (unknown)
History
- 2026-11-02: add by m2/dev
Residual-based state-error estimate 89SMZVG5QH
| URI | m2://inv/89SMZVG5QH |
|---|---|
| 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.12017#2BT6, Residual-based state-error estimate (statement). In WW04MP0NAZ/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
TI-84 Plus Silver Edition 89SRQB7EXB
| URI | m2://inv/89SRQB7EXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-84 Plus series#5OOT, TI-84 Plus Silver Edition (unknown)
History
- 2026-11-02: add by m2/dev
89SSBJ9B78 89SSBJ9B78
| URI | m2://inv/89SSBJ9B78 |
|---|---|
| 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.39269#21FR (statement). In HS4X20TX33/e1, fact 0.39
History
- 2026-10-30: add by m2/v0.4.12
89STG3TK8Y 89STG3TK8Y
| URI | m2://inv/89STG3TK8Y |
|---|---|
| Kind | statement |
| 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#WXLL (statement). In X2AEJAQEP8/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.3.5
Seven Hills, Ohio 89SWR0CEQJ
| URI | m2://inv/89SWR0CEQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#X5RH, Seven Hills, Ohio (unknown)
History
- 2026-11-02: add by m2/dev
Intercensal estimate 89SX3TYF19
| URI | m2://inv/89SX3TYF19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intercensal estimate, Intercensal estimate (definition). Also Wikidata Q6045638
History
- 2026-11-02: add by m2/dev
89SXDQVG9D 89SXDQVG9D
| URI | m2://inv/89SXDQVG9D |
|---|---|
| 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 2510.23812#E8RQ (statement). In D8XZBXJPR5/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
Thomas Brattle 89SXJ8MHP3
| URI | m2://inv/89SXJ8MHP3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Brattle, Thomas Brattle (topic). Also Wikidata Q7787846
History
- 2026-11-02: add by m2/dev
History of metalogic 89SXZ1CMXG
| URI | m2://inv/89SXZ1CMXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metalogic#HAMD, History of metalogic (unknown)
History
- 2026-11-02: add by m2/dev
89T7AZN730 89T7AZN730
| URI | m2://inv/89T7AZN730 |
|---|---|
| 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.03628#77GN (statement). In P8KT6JV9N1/e1, corollary 4.14
History
- 2026-10-29: add by m2/v0.4.12
cube 89TCDZCGKY
| URI | m2://inv/89TCDZCGKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q861555, cube (definition). Also ProofWiki Definition:Cube/Algebra
- wikipedia: Wikipedia Cube (algebra), Cube (definition). Also Wikidata Q861555
History
- 2026-10-26: add by m2/dev
Robert D. Russell 89TGJ0WVM0
| URI | m2://inv/89TGJ0WVM0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert D. Russell, Robert D. Russell (topic). Also Wikidata Q7343344
History
- 2026-11-02: add by m2/dev
Mixed Hodge module 89TQJ7MGHK
| URI | m2://inv/89TQJ7MGHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#BUMK, Mixed Hodge module (definition)
History
- 2026-11-02: add by m2/dev
89TVGWZA1F 89TVGWZA1F
| URI | m2://inv/89TVGWZA1F |
|---|---|
| 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.20881#DU2D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Confluence of the Rodrigues function 89VH2ZA73V
| URI | m2://inv/89VH2ZA73V |
|---|---|
| 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.22027#8V2U, Confluence of the Rodrigues function (statement)
History
- 2026-11-02: add by m2/v0.6.17
89VTB22C62 89VTB22C62
| URI | m2://inv/89VTB22C62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#prop:to_image_is_connected (statement). In N54F33XE07, lem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Applications 89VTY38SEH
| URI | m2://inv/89VTY38SEH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability bounds analysis#CVE8, Applications (example)
History
- 2026-11-02: add by m2/dev
Fuglede's theorem 89W0X7M0D9
| URI | m2://inv/89W0X7M0D9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5507285, Fuglede's theorem (statement). Also Wikidata Q5507285
- thousand_plus: thousand_plus Q5507285, Fuglede's theorem (statement). Also Wikidata Q5507285, Wikipedia Fuglede's theorem
- wikipedia: Wikipedia Fuglede's theorem, Fuglede's theorem (statement). Also Wikidata Q5507285
History
- 2026-10-26: add by m2/dev
89W3STR5MZ 89W3STR5MZ
| URI | m2://inv/89W3STR5MZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#UZPT (statement). In 6BVBMTYXNZ/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
89WJVEXTCA 89WJVEXTCA
| URI | m2://inv/89WJVEXTCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20299#HU1T (statement). In P7T0W5D3W3/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
89WKFDRB92 89WKFDRB92
| URI | m2://inv/89WKFDRB92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#DS9A (statement). In 69DBD2HKGK/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
The Mathematics of Life 89WMT803YX
| URI | m2://inv/89WMT803YX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18058802, The Mathematics of Life (unknown). Also ProofWiki Book:Ian_Stewart/Mathematics_of_Life
History
- 2026-10-26: add by m2/dev
Crystal plasticity 89WNT2RHF2
| URI | m2://inv/89WNT2RHF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crystal plasticity, Crystal plasticity (definition). Also Wikidata Q107087877
History
- 2026-11-02: add by m2/dev
Examples 89WS9K11N2
| URI | m2://inv/89WS9K11N2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leray spectral sequence#CSQP, Examples (example)
History
- 2026-11-02: add by m2/dev
Alternative semantics 89WVVHS3DV
| URI | m2://inv/89WVVHS3DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternative semantics, Alternative semantics (definition). Also Wikidata Q105226785
History
- 2026-11-02: add by m2/dev
Snyder, Carl 89WWH78EJ5
| URI | m2://inv/89WWH78EJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QMBM, Snyder, Carl (unknown)
History
- 2026-11-02: add by m2/dev
89X7HM7WWB 89X7HM7WWB
| URI | m2://inv/89X7HM7WWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#CFIM (statement)
History
- 2026-11-01: add by m2/v0.6.15
89X7PXJNQJ 89X7PXJNQJ
| URI | m2://inv/89X7PXJNQJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:galois (example). In N54F33XE07, eg, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
89XBA0G151 89XBA0G151
| URI | m2://inv/89XBA0G151 |
|---|---|
| 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.31527#YKSU (statement). In ZQ2YZ4P6P5/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
Assumption 89XFSDYBXT
| URI | m2://inv/89XFSDYBXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/rules-and-proofs.tex#defn-1, Assumption (definition). In PKGMM3P5QY, defn, section 15.9
History
- 2026-11-01: add by m2/v0.6.13
Švarc–Milnor lemma 89XHYAT5V3
| URI | m2://inv/89XHYAT5V3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Švarc–Milnor lemma, Švarc–Milnor lemma (statement). Also Wikidata Q11085263
History
- 2026-11-02: add by m2/dev
equality, judgmental 89XNAW2Q0C
| URI | m2://inv/89XNAW2Q0C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/equality-judgmental, equality, judgmental (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Applications 89XSKJ8XCN
| URI | m2://inv/89XSKJ8XCN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrary-precision arithmetic#0BBA, Applications (example)
History
- 2026-11-02: add by m2/dev
Statistical mechanics 89XWCPGFCT
| URI | m2://inv/89XWCPGFCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#CVMF, Statistical mechanics (definition)
History
- 2026-11-02: add by m2/dev
89XWF2GH4P 89XWF2GH4P
| URI | m2://inv/89XWF2GH4P |
|---|---|
| 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.01572#3OYC (statement). In 7BJK23Q7GH/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
small category 89Y4G49D8J
| URI | m2://inv/89Y4G49D8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10567583, small category (definition). Also EoM Small_category, nLab small category, ProofWiki Definition:Small_Category
History
- 2026-10-26: add by m2/dev
89Y5PWJJ8N 89Y5PWJJ8N
| URI | m2://inv/89Y5PWJJ8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#defn-1 (definition). In E59CDZA4DP, defn, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
KRS overapproximation 89YF1WJM5T
| URI | m2://inv/89YF1WJM5T |
|---|---|
| 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 2601.01076#M6JZ, KRS overapproximation (statement). In 2E8DDPAZN3/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
Definition 89YGNVQW5Z
| URI | m2://inv/89YGNVQW5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum-cost flow problem#DGQY, Definition (definition)
History
- 2026-11-02: add by m2/dev
89YZ7SN394 89YZ7SN394
| URI | m2://inv/89YZ7SN394 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#Z4DA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Topological module 89Z3W71W15
| URI | m2://inv/89Z3W71W15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological module, Topological module (definition). Also Wikidata Q7825039
History
- 2026-11-02: add by m2/dev
89ZA8KFBVV 89ZA8KFBVV
| URI | m2://inv/89ZA8KFBVV |
|---|---|
| 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.22825#LFOS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Steiner inellipse 89ZGNW3TAX
| URI | m2://inv/89ZGNW3TAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#BOHI, Steiner inellipse (definition)
History
- 2026-11-02: add by m2/dev
Yablo's paradox 89ZKDP0EB1
| URI | m2://inv/89ZKDP0EB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Yablo#0B2L, Yablo's paradox (statement)
History
- 2026-11-02: add by m2/dev
89ZVH3B50C 89ZVH3B50C
| URI | m2://inv/89ZVH3B50C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13