Inventory rows C1
The cards of the rows of the inventory whose ids start with C1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Panel point C101138P8B
| URI | m2://inv/C101138P8B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truss#K0JB, Panel point (unknown)
History
- 2026-11-02: add by m2/dev
9] Theorem I C107W4SFKT
| URI | m2://inv/C107W4SFKT |
|---|---|
| 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 0809.4587#YSXF, 9] Theorem I (statement). In KQ8JPHDKKE/e1, theorem 9.7.3
History
- 2026-10-27: add by m2/v0.3.5
Definition C108WZEPZP
| URI | m2://inv/C108WZEPZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-Lie algebra#28IO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Divided domain C109SYJV37
| URI | m2://inv/C109SYJV37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided domain, Divided domain (definition). Also Wikidata Q5284033
History
- 2026-11-02: add by m2/dev
C10BDYZ1CC C10BDYZ1CC
| URI | m2://inv/C10BDYZ1CC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#1Z57 (statement). In CC6S1HVK0T/e1, theorem 5.28
History
- 2026-10-28: add by m2/v0.4.2
L-notation C10NZ8GPBY
| URI | m2://inv/C10NZ8GPBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-notation, L-notation (definition). Also Wikidata Q15401695
History
- 2026-11-02: add by m2/dev
Reconstruction-based sufficient conditions for a margin C10Q68VKYN
| URI | m2://inv/C10Q68VKYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#748C, Reconstruction-based sufficient conditions for a margin (statement). In 6KAZWJ8RFX/e1, corollary 5.7
History
- 2026-10-31: add by m2/v0.5.6
locally constant sheaf C10TPTPD8W
| URI | m2://inv/C10TPTPD8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48968657, locally constant sheaf (unknown). Also nLab locally constant sheaf
History
- 2026-10-26: add by m2/dev
TLS False Start C1184QHX3R
| URI | m2://inv/C1184QHX3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#R6LH, TLS False Start (unknown)
History
- 2026-11-02: add by m2/dev
Witt vector cohomology C11ABKQ3E4
| URI | m2://inv/C11ABKQ3E4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt vector cohomology, Witt vector cohomology (definition). Also Wikidata Q30704540
History
- 2026-11-02: add by m2/dev
Uses C11ATQWZDX
| URI | m2://inv/C11ATQWZDX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allan variance#YNYG, Uses (example)
History
- 2026-11-02: add by m2/dev
C11G8SHPVW C11G8SHPVW
| URI | m2://inv/C11G8SHPVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.30033#EVVB (statement)
History
- 2026-11-01: add by m2/v0.6.15
W.P.1. C11H6MQTQW
| URI | m2://inv/C11H6MQTQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Notation in probability and statistics#5EP8, W.P.1. (unknown)
History
- 2026-11-02: add by m2/dev
Exsymmedian C11Q7EDNQM
| URI | m2://inv/C11Q7EDNQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exsymmedian, Exsymmedian (definition). Also Wikidata Q67441233
History
- 2026-11-02: add by m2/dev
closed differential form C120MKPQKW
| URI | m2://inv/C120MKPQKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q38581752, closed differential form (unknown). Also nLab closed differential form
History
- 2026-10-26: add by m2/dev
C1215BZJHS C1215BZJHS
| URI | m2://inv/C1215BZJHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#UM1Y (statement). In GQQZNRYK15/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
normal probability plot C123NDMTF7
| URI | m2://inv/C123NDMTF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#62GR, normal probability plot (definition)
History
- 2026-11-02: add by m2/dev
George E. Forsythe C126ZCWAK8
| URI | m2://inv/C126ZCWAK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IV4W, George E. Forsythe (unknown)
History
- 2026-11-02: add by m2/dev
Regular semigroup C12KNTFGA9
| URI | m2://inv/C12KNTFGA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular semigroup, Regular semigroup (definition). Also Wikidata Q3022119
History
- 2026-11-02: add by m2/dev
Ostrowski Prize C12P7ZH2HR
| URI | m2://inv/C12P7ZH2HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ostrowski Prize, Ostrowski Prize (definition). Also Wikidata Q690881
History
- 2026-11-02: add by m2/dev
Bisimulation C12VP9QMGE
| URI | m2://inv/C12VP9QMGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/bisimulations.tex#defn-1, Bisimulation (definition). In PKGMM3P5QY, defn, section 1
History
- 2026-11-01: add by m2/v0.6.13
C12X5G6J2A C12X5G6J2A
| URI | m2://inv/C12X5G6J2A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-29 (proof). In E59CDZA4DP, proof, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Definition C138VA893S
| URI | m2://inv/C138VA893S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank of a partition#3WV8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fourier transform on finite groups C13DV7D7Q6
| URI | m2://inv/C13DV7D7Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#9V4W, Fourier transform on finite groups (definition)
History
- 2026-11-02: add by m2/dev
C13HR30884 C13HR30884
| URI | m2://inv/C13HR30884 |
|---|---|
| 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.08196#BB0Y (statement). In 8QVWZ23N42/e1, lemma 5.18
History
- 2026-10-29: add by m2/v0.4.10
KKL synchronization map C13MJTM6GY
| URI | m2://inv/C13MJTM6GY |
|---|---|
| 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.08987#STAM, KKL synchronization map (statement). In 2NRRESN3HR/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
Spatially decaying deterministic localization bias C13NESXX3S
| URI | m2://inv/C13NESXX3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#3NZG, Spatially decaying deterministic localization bias (statement)
History
- 2026-11-02: add by m2/v0.6.17
C13R0E76EB C13R0E76EB
| URI | m2://inv/C13R0E76EB |
|---|---|
| Kind | problem |
| 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.21016#WCT1 (problem)
History
- 2026-11-02: add by m2/v0.6.18
C143K00WPC C143K00WPC
| URI | m2://inv/C143K00WPC |
|---|---|
| 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 2105.13129#IM01 (statement). In J5Z1JD5VKR/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Theophil Henry Hildebrandt C146SW6NRR
| URI | m2://inv/C146SW6NRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2250, Theophil Henry Hildebrandt (topic)
History
- 2026-11-02: add by m2/dev
supersilver ratio C14J2Y9QTD
| URI | m2://inv/C14J2Y9QTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126009364, supersilver ratio (object). Also OEIS A356035
- wikipedia: Wikipedia Supersilver ratio, Supersilver ratio (definition). Also Wikidata Q126009364
History
- 2026-10-26: add by m2/dev
C14K1XWANZ C14K1XWANZ
| URI | m2://inv/C14K1XWANZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#thm:galois_group_transitive (statement). In RZP28ERRZV, theorem, section 18.4
History
- 2026-11-01: add by m2/v0.6.13
Estimator-error energy recursion C14MQ5M3VM
| URI | m2://inv/C14MQ5M3VM |
|---|---|
| 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.18428#X2NS, Estimator-error energy recursion (statement). In 6BGSQT7SV8/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
consistency C14RS8WWFS
| URI | m2://inv/C14RS8WWFS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/consistency, consistency (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
C14Y20B71Y C14Y20B71Y
| URI | m2://inv/C14Y20B71Y |
|---|---|
| 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.21339#MCL6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Parseval C14Y76JFFV
| URI | m2://inv/C14Y76JFFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#VR78, Parseval (definition)
History
- 2026-11-02: add by m2/dev
C14ZC7DBMK C14ZC7DBMK
| URI | m2://inv/C14ZC7DBMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#ZJ3X (statement)
History
- 2026-11-01: add by m2/v0.6.15
C15AHEEXPW C15AHEEXPW
| URI | m2://inv/C15AHEEXPW |
|---|---|
| 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.20991#MIEP (statement). In H98ZC5YBSD/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
C15FTCTSQG C15FTCTSQG
| URI | m2://inv/C15FTCTSQG |
|---|---|
| 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.21043#DR0U (statement)
History
- 2026-11-02: add by m2/v0.6.18
Wiener–Levy theorem C15G2HM8TJ
| URI | m2://inv/C15G2HM8TJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener–Lévy theorem#3ZQV, Wiener–Levy theorem (statement)
History
- 2026-11-02: add by m2/dev
Iterated function C15H0BW6E6
| URI | m2://inv/C15H0BW6E6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated function, Iterated function (definition). Also Wikidata Q5254619
History
- 2026-11-02: add by m2/dev
Differentiable dynamics C15JBNVW53
| URI | m2://inv/C15JBNVW53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical system#HCC5, Differentiable dynamics (unknown)
History
- 2026-11-02: add by m2/dev
Applications C15JQ12HAJ
| URI | m2://inv/C15JQ12HAJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew binary number system#Q973, Applications (example)
History
- 2026-11-02: add by m2/dev
C15NYNEDVP C15NYNEDVP
| URI | m2://inv/C15NYNEDVP |
|---|---|
| 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 2210.04075#TPCT (statement). In C5DZR0TC5E/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
C15RXZTP6M C15RXZTP6M
| URI | m2://inv/C15RXZTP6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-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.22161#DKTW (statement). In FVM35KPN8C/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.0
Affine non-malleability implies weakly read-once hardness C1695P60Y9
| URI | m2://inv/C1695P60Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#96JF, Affine non-malleability implies weakly read-once hardness (statement). In ZZER8ZBSCR/e1, theorem 4.11
History
- 2026-10-29: add by m2/v0.4.12
Complex dimension C16AAK03NW
| URI | m2://inv/C16AAK03NW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex dimension, Complex dimension (definition). Also Wikidata Q5156577
History
- 2026-11-02: add by m2/dev
Definition C16AN8JVX3
| URI | m2://inv/C16AN8JVX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercomplex number#O8JD, Definition (definition)
History
- 2026-11-02: add by m2/dev
George Szekeres C16AVAVGK2
| URI | m2://inv/C16AVAVGK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#YI5L, George Szekeres (topic)
History
- 2026-11-02: add by m2/dev
Finite Time Lyapunov Exponent C16E84Z4P9
| URI | m2://inv/C16E84Z4P9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian coherent structure#0HNK, Finite Time Lyapunov Exponent (unknown)
History
- 2026-11-02: add by m2/dev
condition number C16WTWWECF
| URI | m2://inv/C16WTWWECF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Condition number AB3S6MHJ8X |
Mentions
- wikidata: Wikidata Q1147936, condition number (unknown). Also MathWorld ConditionNumber
- wikipedia: Wikipedia Condition number, Condition number (definition). Also Wikidata Q1147936
History
- 2026-10-26: add by m2/dev
Symmetry C17CF9NCVR
| URI | m2://inv/C17CF9NCVR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite polynomials#DJAB, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
positive integer C17EEWKPQ7
| URI | m2://inv/C17EEWKPQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16317911, positive integer (definition). Also MathWorld PositiveInteger, OEIS A000027, ProofWiki Definition:Strictly_Positive/Integer
History
- 2026-10-26: add by m2/dev
Statement of the commutative Gelfand–Naimark theorem C17EHPNMEQ
| URI | m2://inv/C17EHPNMEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand representation#VIG0, Statement of the commutative Gelfand–Naimark theorem (statement)
History
- 2026-11-02: add by m2/dev
major arc C17JVBWNS4
| URI | m2://inv/C17JVBWNS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117009116, major arc (unknown). Also MathWorld MajorArc
History
- 2026-10-26: add by m2/dev
Photogrammetry C17XFRF4JZ
| URI | m2://inv/C17XFRF4JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#G6U6, Photogrammetry (unknown)
History
- 2026-11-02: add by m2/dev
Saharon Shelah C17YQPSBT3
| URI | m2://inv/C17YQPSBT3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#X14R, Saharon Shelah (topic)
History
- 2026-11-02: add by m2/dev
cof C183CD731W
| URI | m2://inv/C183CD731W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Y9D7, cof (definition)
History
- 2026-11-02: add by m2/dev
C184P4HHSV C184P4HHSV
| URI | m2://inv/C184P4HHSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#UFVY (statement). In M4ZVJWM8YA/e1, lemma A.5
History
- 2026-10-27: add by m2/v0.4.2
Perfect two-qudit CSS codes C18ABQMPX6
| URI | m2://inv/C18ABQMPX6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2610.04834#HGGE, Perfect two-qudit CSS codes (example). In YZNK67K060/e1, example 4.7
History
- 2026-10-29: add by m2/v0.4.12
2-groups C18CC6W1AZ
| URI | m2://inv/C18CC6W1AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small groups#927U, 2-groups (definition)
History
- 2026-11-02: add by m2/dev
C18GRFHF2H C18GRFHF2H
| URI | m2://inv/C18GRFHF2H |
|---|---|
| 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.19861#HE1B (statement). In 5ZPQ60TM6J/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Formula C18GVWAQQT
| URI | m2://inv/C18GVWAQQT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crime clearance rate#F4GV, Formula (statement)
History
- 2026-11-02: add by m2/dev
C18HJRP6ZQ C18HJRP6ZQ
| URI | m2://inv/C18HJRP6ZQ |
|---|---|
| Kind | problem |
| 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.16475#GPLW (problem). In FM9SKN560Q/e1, problem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Tauberian theorem C18HT81B4M
| URI | m2://inv/C18HT81B4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122798083, Tauberian theorem (unknown). Also EoM Tauberian_theorems, MathWorld TauberianTheorem
History
- 2026-10-26: add by m2/dev
Definition C18N9863V2
| URI | m2://inv/C18N9863V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport integrals#23UH, Definition (definition)
History
- 2026-11-02: add by m2/dev
C18Q02PMPG C18Q02PMPG
| URI | m2://inv/C18Q02PMPG |
|---|---|
| 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.20097#KJF4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
C194FRQQS2 C194FRQQS2
| URI | m2://inv/C194FRQQS2 |
|---|---|
| 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.01225#YJFZ (statement). In MFR807V4YG/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
C194JKQWP1 C194JKQWP1
| URI | m2://inv/C194JKQWP1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-quantifiers.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 22.9
History
- 2026-11-01: add by m2/v0.6.13
C19801ZMKJ C19801ZMKJ
| URI | m2://inv/C19801ZMKJ |
|---|---|
| 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#F2RZ (definition). In WD2NCBV9F0/e1, definition 8.9
History
- 2026-10-27: add by m2/v0.3.5
Right-continuous function C198YQSFNC
| URI | m2://inv/C198YQSFNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#YUVT, Right-continuous function (definition)
History
- 2026-11-02: add by m2/dev
C19BNG2YZE C19BNG2YZE
| URI | m2://inv/C19BNG2YZE |
|---|---|
| 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 2209.07892#VZ2E (definition). In RGAFSKTAHM/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
C19BZ5WKD0 C19BZ5WKD0
| URI | m2://inv/C19BZ5WKD0 |
|---|---|
| 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 2303.14022#NCCF (statement). In NSYR6W27FP/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
C19HXGMG4R C19HXGMG4R
| URI | m2://inv/C19HXGMG4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#WOR4 (statement). In GAAZD3SGPN/e1, corollary
History
- 2026-10-27: add by m2/v0.3.5
Arc C19JQC30JX
| URI | m2://inv/C19JQC30JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6U6B, Arc (definition)
- wikipedia: Wikipedia List of curves topics#BSE1, Arc (definition)
History
- 2026-11-02: add by m2/dev
Distance (mathematics) C19MDFD6A4
| URI | m2://inv/C19MDFD6A4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance#0CQF, Distance (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Game-theoretic rough sets C19SPHM4Q2
| URI | m2://inv/C19SPHM4Q2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game-theoretic rough sets, Game-theoretic rough sets (definition). Also Wikidata Q17135665
History
- 2026-11-02: add by m2/dev
Plotly C19VMHS045
| URI | m2://inv/C19VMHS045 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#W7BR, Plotly (unknown)
History
- 2026-11-02: add by m2/dev
C1A48N3ER5 C1A48N3ER5
| URI | m2://inv/C1A48N3ER5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#EGRV (example). In 37B1MPV8GX/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.10
Theorem C1A4BTPGW9
| URI | m2://inv/C1A4BTPGW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kraft–McMillan inequality#QU1V, Theorem (statement)
History
- 2026-11-02: add by m2/dev
C1A6Y54SM1 C1A6Y54SM1
| URI | m2://inv/C1A6Y54SM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2009.11127#MCP3 (statement). In QEFS0Y021A/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
C1ADH5775Z C1ADH5775Z
| URI | m2://inv/C1ADH5775Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.04933#63X4 (definition). In Q70CTMCJTP/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.3.5
type, inductive-recursive C1ADXNC5NE
| URI | m2://inv/C1ADXNC5NE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/type-inductive-recursive, type, inductive-recursive (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
C1AGNYWXKX C1AGNYWXKX
| URI | m2://inv/C1AGNYWXKX |
|---|---|
| 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.27715#OM3U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fréchet manifold C1ANAXBA61
| URI | m2://inv/C1ANAXBA61 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fréchet manifold EBMCFQT0JN |
Mentions
- wikidata: Wikidata Q3554820, Fréchet manifold (concept). Also nLab Fréchet manifold
- wikipedia: Wikipedia Fréchet manifold, Fréchet manifold (definition). Also Wikidata Q3554820
History
- 2026-10-26: add by m2/dev
Gunnar Kangro C1ANS32MK9
| URI | m2://inv/C1ANS32MK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gunnar Kangro, Gunnar Kangro (topic). Also Wikidata Q4806650
History
- 2026-11-02: add by m2/dev
C1AP8ZCEBJ C1AP8ZCEBJ
| URI | m2://inv/C1AP8ZCEBJ |
|---|---|
| Kind | statement |
| 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 2610.08638#T2T2 (statement). In 113VZ5XX7J/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
NSMB C1APSRGVJH
| URI | m2://inv/C1APSRGVJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NSMB (mathematics), NSMB (definition). Also Wikidata Q6955322
History
- 2026-11-02: add by m2/dev
C1AXTTA3ZH C1AXTTA3ZH
| URI | m2://inv/C1AXTTA3ZH |
|---|---|
| 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#HAFU (statement)
History
- 2026-11-01: add by m2/v0.6.15
C1B87YXYVD C1B87YXYVD
| URI | m2://inv/C1B87YXYVD |
|---|---|
| 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#77V6 (statement). In Y7TVAQE9PF/e1, proposition 3.16
History
- 2026-10-27: add by m2/v0.3.5
C1BR69FA0W C1BR69FA0W
| URI | m2://inv/C1BR69FA0W |
|---|---|
| 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 2507.12309#X2AF (definition). In ZR53K3E0FR/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.6
Definitions C1BXZK0K8Z
| URI | m2://inv/C1BXZK0K8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid representation#9CIE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
TV-distance between Markov chains C1C5ZHKHHZ
| URI | m2://inv/C1C5ZHKHHZ |
|---|---|
| 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.24235#66X3, TV-distance between Markov chains (statement)
History
- 2026-11-01: add by m2/v0.6.15
C1D2NXDA9D C1D2NXDA9D
| URI | m2://inv/C1D2NXDA9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.07292#V0HE (statement). In PZ17NHGAKX/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
involute C1D5C7S3XR
| URI | m2://inv/C1D5C7S3XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#S5DC, involute (definition)
History
- 2026-11-02: add by m2/dev
C1D5G0W9XA C1D5G0W9XA
| URI | m2://inv/C1D5G0W9XA |
|---|---|
| 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 2211.16099#H3C5 (statement). In 91RRFW0K5D/e1, proposition 42
History
- 2026-10-27: add by m2/v0.3.5
Theorem B (universal algebra) C1D67B6FVW
| URI | m2://inv/C1D67B6FVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#UQZ2, Theorem B (universal algebra) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Isoperimetric ratio C1D68PRVS2
| URI | m2://inv/C1D68PRVS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoperimetric ratio, Isoperimetric ratio (definition). Also Wikidata Q25304343
History
- 2026-11-02: add by m2/dev
Rafael Bombelli C1D847548R
| URI | m2://inv/C1D847548R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#7TND, Rafael Bombelli (topic)
History
- 2026-11-02: add by m2/dev
C1D87G333R C1D87G333R
| URI | m2://inv/C1D87G333R |
|---|---|
| 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.18101#0CSJ (statement). In XXN6KKXPYF/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
Notation C1D91K4WWJ
| URI | m2://inv/C1D91K4WWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chomsky–Schützenberger representation theorem#1SO5, Notation (definition)
History
- 2026-11-02: add by m2/dev
Cissoid C1DMT0YK76
| URI | m2://inv/C1DMT0YK76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#NYAX, Cissoid (definition)
- wikipedia: Wikipedia List of mathematical shapes#SFWD, Cissoid (definition)
- wikipedia: Wikipedia List of curves#HEVY, Cissoid (definition)
- wikipedia: Wikipedia List of curves topics#3N5O, Cissoid (definition)
History
- 2026-11-02: add by m2/dev
Carl Nelson Gorman C1DR7RKAC6
| URI | m2://inv/C1DR7RKAC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Nelson Gorman, Carl Nelson Gorman (topic). Also Wikidata Q104440433
History
- 2026-11-02: add by m2/dev
Dialectica space C1E0AS77WG
| URI | m2://inv/C1E0AS77WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#8HLH, Dialectica space (definition)
History
- 2026-11-02: add by m2/dev
NORC at the University of Chicago C1E1DHE09H
| URI | m2://inv/C1E1DHE09H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#MT5I, NORC at the University of Chicago (unknown)
History
- 2026-11-02: add by m2/dev
Properties C1E25H7KEH
| URI | m2://inv/C1E25H7KEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson wavelet#X50P, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cost-weighted mutual information C1E8WKFXS9
| URI | m2://inv/C1E8WKFXS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#PAC8, Cost-weighted mutual information (statement). In FRMCKEGVJZ/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
David Wagner C1E9C8026M
| URI | m2://inv/C1E9C8026M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Wagner (mathematics education), David Wagner (topic). Also Wikidata Q106074597
History
- 2026-11-02: add by m2/dev
C1EAH72F04 C1EAH72F04
| URI | m2://inv/C1EAH72F04 |
|---|---|
| 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 2411.07061#9HMK (statement). In S988ZVA1QE/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.6
2 (crystal class) C1EE19THH9
| URI | m2://inv/C1EE19THH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoclinic crystal system#FGZH, 2 (crystal class) (unknown)
History
- 2026-11-02: add by m2/dev
Lattice plane C1EERGGMYA
| URI | m2://inv/C1EERGGMYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice plane, Lattice plane (definition). Also Wikidata Q906368
History
- 2026-11-02: add by m2/dev
REVSTAT C1EJ98B4AH
| URI | m2://inv/C1EJ98B4AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia REVSTAT, REVSTAT (definition). Also Wikidata Q7276402
History
- 2026-11-02: add by m2/dev
C1EMKCK4EX C1EMKCK4EX
| URI | m2://inv/C1EMKCK4EX |
|---|---|
| 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.21258#Z27Q (statement). In PN98BKSKZP/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
570 (number) C1EP3DFK57
| URI | m2://inv/C1EP3DFK57 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#UBJ8, 570 (number) (unknown)
History
- 2026-11-02: add by m2/dev
decimal representation C1EWGBEMS0
| URI | m2://inv/C1EWGBEMS0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.5/decimal-representation, decimal representation (concept). In E59CDZA4DP, index, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
conditional C1F1Y8AXYN
| URI | m2://inv/C1F1Y8AXYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NLBD, conditional (definition)
History
- 2026-11-02: add by m2/dev
Feller's theorem C1F45FP7EW
| URI | m2://inv/C1F45FP7EW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindeberg's condition#XSAB, Feller's theorem (statement)
History
- 2026-11-02: add by m2/dev
C1FJNPR41Z C1FJNPR41Z
| URI | m2://inv/C1FJNPR41Z |
|---|---|
| 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.35669#V9A6 (statement). In 8380G43M8E/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Displaced Poisson distribution C1FKEFMHM8
| URI | m2://inv/C1FKEFMHM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Displaced Poisson distribution, Displaced Poisson distribution (definition). Also Wikidata Q18206582
History
- 2026-11-02: add by m2/dev
C1FXDBB8BK C1FXDBB8BK
| URI | m2://inv/C1FXDBB8BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#KZHM (statement). In FEE70SSD96/e1, corollary 1.8
History
- 2026-10-29: add by m2/v0.4.10
C1G27VYQEB C1G27VYQEB
| URI | m2://inv/C1G27VYQEB |
|---|---|
| Kind | definition |
| 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 2406.07116#4FEG (definition). In 5B030CB2RK/e1, definition 12.2
History
- 2026-10-27: add by m2/v0.3.6
C1G2DYSFBM C1G2DYSFBM
| URI | m2://inv/C1G2DYSFBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00109#RXQ2 (statement). In FS8J84KFX2/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Point in polygon C1G6AZXZTY
| URI | m2://inv/C1G6AZXZTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#SF7Q, Point in polygon (definition)
History
- 2026-11-02: add by m2/dev
Properties C1G86TJPB7
| URI | m2://inv/C1G86TJPB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior calculus identities#GND0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples C1GDW6ZTHY
| URI | m2://inv/C1GDW6ZTHY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Region connection calculus#QMDJ, Examples (example)
History
- 2026-11-02: add by m2/dev
C1GH936QJR C1GH936QJR
| URI | m2://inv/C1GH936QJR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20190#G973 (example)
History
- 2026-11-02: add by m2/v0.6.18
Symmetry related zeros C1GK15HVQZ
| URI | m2://inv/C1GK15HVQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#IG7X, Symmetry related zeros (statement)
History
- 2026-11-01: add by m2/v0.6.15
C1GNHBHTVF C1GNHBHTVF
| URI | m2://inv/C1GNHBHTVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-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.31919#SR0V (statement). In RHN12PW9P9/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
C1GQ30EX72 C1GQ30EX72
| URI | m2://inv/C1GQ30EX72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21047#6OIH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Confluence C1GQ8SRBVK
| URI | m2://inv/C1GQ8SRBVK |
|---|---|
| Kind | definition |
| 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.15824#WYD5, Confluence (definition). In GDZXR87FJV/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Exact polynomial translation C1GWE8Z26S
| URI | m2://inv/C1GWE8Z26S |
|---|---|
| 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.09510#EWBE, Exact polynomial translation (statement). In JR1HE83H93/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
Automorphisms of the symmetric and alternating groups C1GXZ8SN8A
| URI | m2://inv/C1GXZ8SN8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#0G0N, Automorphisms of the symmetric and alternating groups (definition)
History
- 2026-11-02: add by m2/dev
Lagrange multipliers C1GZYT6K81
| URI | m2://inv/C1GZYT6K81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > Lagrange multipliers, Lagrange multipliers (unknown)
History
- 2026-10-26: add by m2/dev
C1H0V8ZN73 C1H0V8ZN73
| URI | m2://inv/C1H0V8ZN73 |
|---|---|
| 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 2609.27872#BE0W (definition)
History
- 2026-11-01: add by m2/v0.6.15
Linguistics and Philosophy C1HC8CWYJ0
| URI | m2://inv/C1HC8CWYJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linguistics and Philosophy, Linguistics and Philosophy (definition). Also Wikidata Q6554082
History
- 2026-11-02: add by m2/dev
Pairs S45--48 C1HFDC7M37
| URI | m2://inv/C1HFDC7M37 |
|---|---|
| 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.08865#TAZB, Pairs S45--48 (statement). In SJ5JKGH94M/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.10
C1HVD17R32 C1HVD17R32
| URI | m2://inv/C1HVD17R32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11292#KMYR (statement). In Y35XMETFV7/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.3
C1HX5V3FFF C1HX5V3FFF
| URI | m2://inv/C1HX5V3FFF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08293#EJWF (definition). In 90A5DJG27R/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
C1HYB1HH4K C1HYB1HH4K
| URI | m2://inv/C1HYB1HH4K |
|---|---|
| Kind | statement |
| 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 2610.20558#8NBA (statement). In 46370P3Y9S/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
elementary charge C1J32D6E5A
| URI | m2://inv/C1J32D6E5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2101, elementary charge (definition). Also ProofWiki Definition:Electric_Charge/Quantum
History
- 2026-10-26: add by m2/dev
Definition C1J581ED3X
| URI | m2://inv/C1J581ED3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hirzebruch surface#8P8R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations C1J5W6MNX5
| URI | m2://inv/C1J5W6MNX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rademacher's theorem#LQNW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
C1J9JRYV5T C1J9JRYV5T
| URI | m2://inv/C1J9JRYV5T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:type-is-not-a-set (example). In N54F33XE07, eg, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Examples C1JCNG8NDW
| URI | m2://inv/C1JCNG8NDW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrhart polynomial#00E2, Examples (example)
History
- 2026-11-02: add by m2/dev
googolplex C1JEZTP319
| URI | m2://inv/C1JEZTP319 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q508, googolplex (definition). Also MathWorld Googolplex, ProofWiki Definition:Googolplex
- wikipedia: Wikipedia Googolplex, Googolplex (definition). Also Wikidata Q508
History
- 2026-10-26: add by m2/dev
Outline of arithmetic C1JF1W56NT
| URI | m2://inv/C1JF1W56NT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of arithmetic, Outline of arithmetic (topic). Also Wikidata Q7112559
History
- 2026-11-02: add by m2/dev
C1JHFVQ88H C1JHFVQ88H
| URI | m2://inv/C1JHFVQ88H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.02111#C7B4 (statement). In NC5ZRF6F8N/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Bounded cyclic-type count C1JHWEHY7V
| URI | m2://inv/C1JHWEHY7V |
|---|---|
| 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.20414#VO8Y, Bounded cyclic-type count (statement). In X2NNNW8CX5/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.4.2
stratified sampling C1JKZYYGVE
| URI | m2://inv/C1JKZYYGVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#DJOQ, stratified sampling (definition)
History
- 2026-11-02: add by m2/dev
Donaldson -Quiver C1JN7EDSE2
| URI | m2://inv/C1JN7EDSE2 |
|---|---|
| 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.03384#ACI6, Donaldson -Quiver (statement). In J55JTTKG84/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.12
of finite type C1JVR0TF0J
| URI | m2://inv/C1JVR0TF0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#IHRD, of finite type (definition)
History
- 2026-11-02: add by m2/dev
Definitions C1JXPTW1JZ
| URI | m2://inv/C1JXPTW1JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure (topology)#NIX7, Definitions (definition)
History
- 2026-11-02: add by m2/dev
C1K0AP6ZEF C1K0AP6ZEF
| URI | m2://inv/C1K0AP6ZEF |
|---|---|
| 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#28IA (statement). In XV70TXYS5A/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.4.2
Algebraic properties C1K1QJ4G22
| URI | m2://inv/C1K1QJ4G22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biquaternion#Z3CN, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
C1K42P2DYM C1K42P2DYM
| URI | m2://inv/C1K42P2DYM |
|---|---|
| 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.26922#P8VK (statement)
History
- 2026-11-01: add by m2/v0.6.15
585 (number) C1K4AYRESR
| URI | m2://inv/C1K4AYRESR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#I1AX, 585 (number) (unknown)
History
- 2026-11-02: add by m2/dev
C1K6BEF43E C1K6BEF43E
| URI | m2://inv/C1K6BEF43E |
|---|---|
| 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.08370#27PM (statement). In EQN3EZRZYQ/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
C1K6RGE40S C1K6RGE40S
| URI | m2://inv/C1K6RGE40S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15228#E2V2 (example). In 4778KMFZAF/e1, example 2.9
History
- 2026-10-27: add by m2/v0.3.5
C1KKRKQA72 C1KKRKQA72
| URI | m2://inv/C1KKRKQA72 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#3HFY (definition). In AVDB4KJ6XB/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Baire set C1KT4PCJW5
| URI | m2://inv/C1KT4PCJW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire set, Baire set (definition). Also Wikidata Q4848630
History
- 2026-11-02: add by m2/dev
Yetter–Drinfeld category C1KTC05EHK
| URI | m2://inv/C1KTC05EHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8053054, Yetter–Drinfeld category (unknown). Also nLab Yetter-Drinfeld module
- wikipedia: Wikipedia Yetter–Drinfeld category, Yetter–Drinfeld category (definition). Also Wikidata Q8053054
History
- 2026-10-26: add by m2/dev
Hereditary set C1M0BTASF3
| URI | m2://inv/C1M0BTASF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditary set, Hereditary set (definition). Also Wikidata Q5737878
History
- 2026-11-02: add by m2/dev
C1M1GYNDAJ C1M1GYNDAJ
| URI | m2://inv/C1M1GYNDAJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.04161#S1A4 (definition). In JBZJ7NPQ4G/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
Colin Maclaurin C1M1ZKGH0S
| URI | m2://inv/C1M1ZKGH0S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#UZ8N, Colin Maclaurin (topic)
History
- 2026-11-02: add by m2/dev
Nicolausian discounting C1M6DR8D09
| URI | m2://inv/C1M6DR8D09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolausian discounting, Nicolausian discounting (definition). Also Wikidata Q135517085
History
- 2026-11-02: add by m2/dev
Examples C1MAGMSP3G
| URI | m2://inv/C1MAGMSP3G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local language (formal language)#TDWS, Examples (example)
History
- 2026-11-02: add by m2/dev
Betti number C1MRFGFW7G
| URI | m2://inv/C1MRFGFW7G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Betti number ST71ZV3FES |
Mentions
- wikidata: Wikidata Q429593, Betti number (concept). Also MathWorld BettiNumber, nLab Betti number
- wikipedia: Wikipedia Betti number, Betti number (definition). Also Wikidata Q429593
History
- 2026-10-26: add by m2/dev
C1MSZ5X2KX C1MSZ5X2KX
| URI | m2://inv/C1MSZ5X2KX |
|---|---|
| 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 1607.01095#JVHQ (statement). In W3T1ZAT3GC/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Common-event and headroom rule C1N3ENHSRV
| URI | m2://inv/C1N3ENHSRV |
|---|---|
| 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.39408#EA16, Common-event and headroom rule (statement). In T8E6F01RTM/e1, lemma D.1
History
- 2026-10-30: add by m2/v0.4.12
hermitian matrix C1N93YZJGX
| URI | m2://inv/C1N93YZJGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Hermitian matrix 0EKZCX4K3P |
Mentions
- wikidata: Wikidata Q652941, hermitian matrix (unknown). Also EoM Hermitian_matrix, MathWorld HermitianMatrix, nLab hermitian matrix
- wikipedia: Wikipedia Hermitian matrix, Hermitian matrix (definition). Also Wikidata Q652941
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
C1NANG3SZS C1NANG3SZS
| URI | m2://inv/C1NANG3SZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.02244#SLZJ (statement). In 3REM2EXQK7/e1, corollary 2.17
History
- 2026-10-29: add by m2/v0.4.12
Examples C1NCC6ZSD0
| URI | m2://inv/C1NCC6ZSD0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic geometry (differential geometry)#IOHP, Examples (example)
History
- 2026-11-02: add by m2/dev
Bernoulli polynomial C1NMCPGVY1
| URI | m2://inv/C1NMCPGVY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#T98P, Bernoulli polynomial (definition)
History
- 2026-11-02: add by m2/dev
C1NMFZX5CK C1NMFZX5CK
| URI | m2://inv/C1NMFZX5CK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-109 (exercise). In E9HS8K3A52, exercise, section 4.8.3
History
- 2026-11-01: add by m2/v0.6.13
Conic bound C1NNDY77KK
| URI | m2://inv/C1NNDY77KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#6S7B, Conic bound (statement). In Z7M2JSF6HA/e1, lemma 9.3
History
- 2026-10-31: add by m2/v0.5.6
Julia Wolf C1NY1Y1T7M
| URI | m2://inv/C1NY1Y1T7M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia Wolf, Julia Wolf (topic). Also Wikidata Q56616972
History
- 2026-11-02: add by m2/dev
C1NYDRNFWS C1NYDRNFWS
| URI | m2://inv/C1NYDRNFWS |
|---|---|
| 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.14458#WPM9 (statement). In WJ76MVYAZQ/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Janko group C1P52RY9Q4
| URI | m2://inv/C1P52RY9Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#VDHZ, Janko group (definition)
History
- 2026-11-02: add by m2/dev
Centered formulation C1P5WFYS5D
| URI | m2://inv/C1P5WFYS5D |
|---|---|
| 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.03407#II6I, Centered formulation (statement). In MPGC7SNYAG/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.12
Harmonic number C1P8JD7VJJ
| URI | m2://inv/C1P8JD7VJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#C9T7, Harmonic number (definition)
History
- 2026-11-02: add by m2/dev
Boundary extension C1P8MNS8DZ
| URI | m2://inv/C1P8MNS8DZ |
|---|---|
| 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.28014#KDBR, Boundary extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
C1PCKCJ8TS C1PCKCJ8TS
| URI | m2://inv/C1PCKCJ8TS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Darboux transformation C1PFHSEM3S
| URI | m2://inv/C1PFHSEM3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux transformation, Darboux transformation (definition). Also Wikidata Q56297777
History
- 2026-11-02: add by m2/dev
Voting system C1PH40XHZP
| URI | m2://inv/C1PH40XHZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#154X, Voting system (definition)
History
- 2026-11-02: add by m2/dev
List of U.S. states and territories by GDP C1PPM86SHB
| URI | m2://inv/C1PPM86SHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. states and territories by GDP, List of U.S. states and territories by GDP (topic). Also Wikidata Q3241935
History
- 2026-11-02: add by m2/dev
C1Q0D33F6T C1Q0D33F6T
| URI | m2://inv/C1Q0D33F6T |
|---|---|
| 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.05696#IQ0G (statement). In MG81A9XJTQ/e1, proposition VI.3
History
- 2026-10-29: add by m2/v0.4.10
Drug liking C1QM9PDR7W
| URI | m2://inv/C1QM9PDR7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drug liking, Drug liking (definition). Also Wikidata Q111943769
History
- 2026-11-02: add by m2/dev
Theorem C1QTNX2XWW
| URI | m2://inv/C1QTNX2XWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally recoverable code#5MXF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
C1QZMT8END C1QZMT8END
| URI | m2://inv/C1QZMT8END |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#LZFB (definition). In D6XA7JXZF3/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Cluster decomposition C1R2VMB0ZM
| URI | m2://inv/C1R2VMB0ZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5136698, Cluster decomposition theorem (statement). Also Wikidata Q5136698
- thousand_plus: thousand_plus Q5136698, Cluster decomposition theorem (statement). Also Wikidata Q5136698, Wikipedia Cluster decomposition theorem
- wikipedia: Wikipedia Cluster decomposition, Cluster decomposition (definition). Also Wikidata Q5136698
History
- 2026-10-26: add by m2/dev
C1RA44F9XY C1RA44F9XY
| URI | m2://inv/C1RA44F9XY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#1TQA (statement). In 751KSRS7WT/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
C1RAWAB562 C1RAWAB562
| URI | m2://inv/C1RAWAB562 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35574#Y6YQ (statement). In 3Q70DMD7Z7/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Elliptic curve only hash C1RMMC6G65
| URI | m2://inv/C1RMMC6G65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve only hash, Elliptic curve only hash (definition). Also Wikidata Q5365792
History
- 2026-11-02: add by m2/dev
C1RRSCNPQF C1RRSCNPQF
| URI | m2://inv/C1RRSCNPQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23779#TRM9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples C1RWMS98C6
| URI | m2://inv/C1RWMS98C6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A∞-operad#CCDL, Examples (example)
History
- 2026-11-02: add by m2/dev
C1RYDPAXWY C1RYDPAXWY
| URI | m2://inv/C1RYDPAXWY |
|---|---|
| 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#1Q8Y (statement). In Y7TVAQE9PF/e1, theorem 3.15
History
- 2026-10-27: add by m2/v0.3.5
Henry L. Rietz C1S1CXX51W
| URI | m2://inv/C1S1CXX51W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#LJNV, Henry L. Rietz (topic)
History
- 2026-11-02: add by m2/dev
Type inference C1S94WAYGM
| URI | m2://inv/C1S94WAYGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type inference, Type inference (definition). Also Wikidata Q586459
History
- 2026-11-02: add by m2/dev
C1SGJHB3WW C1SGJHB3WW
| URI | m2://inv/C1SGJHB3WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33863#U7OB (statement). In B7VJ76TNZX/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
C1SK9CNAHB C1SK9CNAHB
| URI | m2://inv/C1SK9CNAHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#RWTV (statement). In QR9WE79ERQ/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Statistical conclusion validity C1SSF7V0MP
| URI | m2://inv/C1SSF7V0MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A1D8, Statistical conclusion validity (definition)
History
- 2026-11-02: add by m2/dev
C1SZX72F9E C1SZX72F9E
| URI | m2://inv/C1SZX72F9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.03704#PQVX (statement). In Q3PY5AGD6N/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Gauss plane C1T5Z8RJSG
| URI | m2://inv/C1T5Z8RJSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#DI1D, Gauss plane (definition)
History
- 2026-11-02: add by m2/dev
C1T8XH6Y92 C1T8XH6Y92
| URI | m2://inv/C1T8XH6Y92 |
|---|---|
| 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 1902.04230#UYA3 (statement). In 22JZ68FGCW/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
C1TCKY24B3 C1TCKY24B3
| URI | m2://inv/C1TCKY24B3 |
|---|---|
| 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.39539#EU43 (definition). In GVR218P3ZR/e1, definition 4.5.3
History
- 2026-10-30: add by m2/v0.4.12
Zero-error operational broadcast graph entropy C1TPHWJMWB
| URI | m2://inv/C1TPHWJMWB |
|---|---|
| Kind | definition |
| 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.08202#NCHI, Zero-error operational broadcast graph entropy (definition). In N7XJ16700B/e1, definition 12
History
- 2026-10-29: add by m2/v0.4.10
Definition C1TQYJTRAB
| URI | m2://inv/C1TQYJTRAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of random variables#H4KM, Definition (definition)
History
- 2026-11-02: add by m2/dev
C1TS8RGW3E C1TS8RGW3E
| URI | m2://inv/C1TS8RGW3E |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Cornelia Fabri C1TW7FN30B
| URI | m2://inv/C1TW7FN30B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornelia Fabri, Cornelia Fabri (topic). Also Wikidata Q26263352
History
- 2026-11-02: add by m2/dev
C1TWZV7SS2 C1TWZV7SS2
| URI | m2://inv/C1TWZV7SS2 |
|---|---|
| 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.08935#WX91 (statement). In G02N9D40B9/e1, lemma 2.2.9
History
- 2026-10-29: add by m2/v0.4.10
C1TYWCNZ7Q C1TYWCNZ7Q
| URI | m2://inv/C1TYWCNZ7Q |
|---|---|
| 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 2408.13548#L907 (definition). In EQF1ZQ5K1S/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
C1V55F0ENS C1V55F0ENS
| URI | m2://inv/C1V55F0ENS |
|---|---|
| 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.27301#NE1R (statement)
History
- 2026-11-01: add by m2/v0.6.15
C1V7RB4MZJ C1V7RB4MZJ
| URI | m2://inv/C1V7RB4MZJ |
|---|---|
| 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.32207#8TPD (statement). In R94G9XD5AC/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Covercosine C1V93X25T6
| URI | m2://inv/C1V93X25T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#RJUU, Covercosine (definition)
History
- 2026-11-02: add by m2/dev
C1VC58G3K7 C1VC58G3K7
| URI | m2://inv/C1VC58G3K7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31476#MS8V (statement). In PC1CFE8CJC/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Granger C1VKFS0EMF
| URI | m2://inv/C1VKFS0EMF |
|---|---|
| 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#RO6R, Granger (unknown)
History
- 2026-11-02: add by m2/dev
C1VSQG37J6 C1VSQG37J6
| URI | m2://inv/C1VSQG37J6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-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.04305#FRBF (example). In Y1DR0DPWD0/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.12
C1VTDT44P9 C1VTDT44P9
| URI | m2://inv/C1VTDT44P9 |
|---|---|
| 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.04323#QIHB (statement). In 3Z0D2NCJ0B/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Henson graph C1VZ02V7CS
| URI | m2://inv/C1VZ02V7CS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henson graph, Henson graph (definition). Also Wikidata Q25304614
History
- 2026-11-02: add by m2/dev
Preservation theorems C1VZA4A021
| URI | m2://inv/C1VZA4A021 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal companion#3KIN, Preservation theorems (statement)
History
- 2026-11-02: add by m2/dev
C1W2ZK69J0 C1W2ZK69J0
| URI | m2://inv/C1W2ZK69J0 |
|---|---|
| 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 2401.14162#U58W (statement). In JC1XF1JE6J/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.5
C1W7BM2RMR C1W7BM2RMR
| URI | m2://inv/C1W7BM2RMR |
|---|---|
| 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.28265#E7MZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy theorem C1W8KG5E1N
| URI | m2://inv/C1W8KG5E1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q398068, Cauchy theorem (unknown). Also MathWorld CauchysTheorem
History
- 2026-10-26: add by m2/dev
Examples C1WK28MCD0
| URI | m2://inv/C1WK28MCD0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wagstaff prime#ELOC, Examples (example)
History
- 2026-11-02: add by m2/dev
Welch-Costas array C1WMPJXFXP
| URI | m2://inv/C1WMPJXFXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Costas array#LYUI, Welch-Costas array (unknown)
History
- 2026-11-02: add by m2/dev
C1WMXBQPRY C1WMXBQPRY
| URI | m2://inv/C1WMXBQPRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#DM47 (statement). In HVY45JQRNK/e1, theorem 2.9
History
- 2026-10-31: add by m2/v0.5.6
C1WTC6XS10 C1WTC6XS10
| URI | m2://inv/C1WTC6XS10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#definition-2 (definition). In RZP28ERRZV, definition, section 18.5
History
- 2026-11-01: add by m2/v0.6.13
Singular integral operators on closed curves C1WVN5NK8N
| URI | m2://inv/C1WVN5NK8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular integral operators on closed curves, Singular integral operators on closed curves (definition). Also Wikidata Q7524243
History
- 2026-11-02: add by m2/dev
Convention C1WWW6KM5E
| URI | m2://inv/C1WWW6KM5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sesquilinear form#6Y1H, Convention (definition)
History
- 2026-11-02: add by m2/dev
Free-field convergence in $\cC(\R^d)$ C1X44VYKCX
| URI | m2://inv/C1X44VYKCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#IC1D, Free-field convergence in $\cC(\R^d)$ (statement). In ESPJMBH2R2/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
C1X6B0ZEBD C1X6B0ZEBD
| URI | m2://inv/C1X6B0ZEBD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#YN4O (definition). In G70Q2FB591/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Rosa Donat C1XBT9VF3Q
| URI | m2://inv/C1XBT9VF3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosa Donat, Rosa Donat (topic). Also Wikidata Q102195715
History
- 2026-11-02: add by m2/dev
The Partial Category of Complex Hamiltonian Spaces C1XHAA56ST
| URI | m2://inv/C1XHAA56ST |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#LSBT, The Partial Category of Complex Hamiltonian Spaces (definition). In J55JTTKG84/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Linearization without a minimality assumption C1XQ9WF08S
| URI | m2://inv/C1XQ9WF08S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#0T52, Linearization without a minimality assumption (statement). In E31CZYM2H8/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Classical bounds C1XWXWAA5H
| URI | m2://inv/C1XWXWAA5H |
|---|---|
| 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.21730#K9MM, Classical bounds (statement). In BM64QM6Q7J/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Ronald Graham C1XY77ACZT
| URI | m2://inv/C1XY77ACZT |
|---|---|
| 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 Q712620, Ronald Graham (unknown). Also ProofWiki Mathematician:Ronald_Lewis_Graham
- wikipedia: Wikipedia Ronald Graham, Ronald Graham (topic). Also Wikidata Q712620
History
- 2026-10-26: add by m2/dev
\coqident{Partiality}{LiftMonad}{Kleisli_extension C1XZB62ETA
| URI | m2://inv/C1XZB62ETA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#AHTZ, \coqident{Partiality}{LiftMonad}{Kleisli_extension (definition). In T1VFA7TXPA/e1, definition 23
History
- 2026-10-27: add by m2/v0.3.5
C1Y22BC91P C1Y22BC91P
| URI | m2://inv/C1Y22BC91P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#FXVG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hajek projection C1Y9K4P91Y
| URI | m2://inv/C1Y9K4P91Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hajek projection, Hajek projection (definition). Also Wikidata Q104843183
History
- 2026-11-02: add by m2/dev
C1YEGB8BYR C1YEGB8BYR
| URI | m2://inv/C1YEGB8BYR |
|---|---|
| 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.36423#78DG (definition). In Q5Z178SAHP/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Correlation with quadratic polynomials C1YHE84J99
| URI | m2://inv/C1YHE84J99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#SZ2Y, Correlation with quadratic polynomials (statement). In ZZER8ZBSCR/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Xuong tree C1YNEYM1XP
| URI | m2://inv/C1YNEYM1XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xuong tree, Xuong tree (definition). Also Wikidata Q48999784
History
- 2026-11-02: add by m2/dev
C1YYEGV8KT C1YYEGV8KT
| URI | m2://inv/C1YYEGV8KT |
|---|---|
| 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.38118#AZ2J (statement). In K4KKTYYKKH/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Conway criterion C1ZBEYM5YR
| URI | m2://inv/C1ZBEYM5YR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway criterion, Conway criterion (statement). Also Wikidata Q17005818
History
- 2026-11-02: add by m2/dev
C1ZC54C9P0 C1ZC54C9P0
| URI | m2://inv/C1ZC54C9P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#definition-5 (definition). In RZP28ERRZV, definition, section 58.6
History
- 2026-11-01: add by m2/v0.6.13
C1ZE3VVB5D C1ZE3VVB5D
| URI | m2://inv/C1ZE3VVB5D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#Y3G5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Coherent mixed vertices C1ZGMRNBVA
| URI | m2://inv/C1ZGMRNBVA |
|---|---|
| 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 2610.11652#01BO, Coherent mixed vertices (statement). In VEXM27M8Q1/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Applications C1ZMXE2FV1
| URI | m2://inv/C1ZMXE2FV1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fujisaki–Okamoto transformation#UYGZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Putevaya Usadba 9 km zheleznoy dorogi Luostari–Nikel C1ZRB80DAH
| URI | m2://inv/C1ZRB80DAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ERC1, Putevaya Usadba 9 km zheleznoy dorogi Luostari–Nikel (unknown)
History
- 2026-11-02: add by m2/dev
C1ZX40FGGM C1ZX40FGGM
| URI | m2://inv/C1ZX40FGGM |
|---|---|
| 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 2308.05066#EQC4 (statement). In 1QSCT53ZED/e1, lemma 2.22
History
- 2026-10-27: add by m2/v0.4.0