Inventory rows X0
The cards of the rows of the inventory whose ids start with X0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Phase-type distribution X004HC9WPQ
| URI | m2://inv/X004HC9WPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#NC17, Phase-type distribution (definition)
History
- 2026-11-02: add by m2/dev
Quantitative Central Limit Theorem X005B8TCD7
| URI | m2://inv/X005B8TCD7 |
|---|---|
| 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#IQVL, Quantitative Central Limit Theorem (statement). In PN98BKSKZP/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
type class X00AT2XJYT
| URI | m2://inv/X00AT2XJYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Y1LA, type class (definition)
History
- 2026-11-02: add by m2/dev
X00FKVB7A3 X00FKVB7A3
| URI | m2://inv/X00FKVB7A3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21092#ZEOC (statement). In AGJE43FTF8/e1, corollary 9.1
History
- 2026-10-27: add by m2/v0.4.2
X00N56PMW6 X00N56PMW6
| URI | m2://inv/X00N56PMW6 |
|---|---|
| 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.17798#BON1 (statement). In 66H5YPQCYV/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Mathematical statistics X00T766KEW
| URI | m2://inv/X00T766KEW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical statistics, Mathematical statistics (topic). Also Wikidata Q745328
History
- 2026-11-02: add by m2/dev
Descent of sheaf codes X0153806NZ
| URI | m2://inv/X0153806NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#LU3I, Descent of sheaf codes (statement)
History
- 2026-11-01: add by m2/v0.6.15
Entropic uncertainty X01K6VFZ9T
| URI | m2://inv/X01K6VFZ9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropic uncertainty, Entropic uncertainty (definition). Also Wikidata Q5380783
History
- 2026-11-02: add by m2/dev
Capsule X01QH6E08Q
| URI | m2://inv/X01QH6E08Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capsule (geometry), Capsule (definition). Also Wikidata Q5036389
History
- 2026-11-02: add by m2/dev
Explanatory variable X01R0QP67K
| URI | m2://inv/X01R0QP67K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GN3B, Explanatory variable (definition)
History
- 2026-11-02: add by m2/dev
X01YKK8VSD X01YKK8VSD
| URI | m2://inv/X01YKK8VSD |
|---|---|
| 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#DW5P (definition). In WD2NCBV9F0/e1, definition 2.17
History
- 2026-10-27: add by m2/v0.3.5
Robert Horton Cameron X0201GEC31
| URI | m2://inv/X0201GEC31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZKNZ, Robert Horton Cameron (topic)
History
- 2026-11-02: add by m2/dev
X021J2HZKG X021J2HZKG
| URI | m2://inv/X021J2HZKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#CJBJ (statement). In 29D4TTE3J2/e1, corollary 2.17
History
- 2026-10-27: add by m2/v0.4.2
Wen-Hsiung Lin X0222BTFFE
| URI | m2://inv/X0222BTFFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CYOL, Wen-Hsiung Lin (unknown)
History
- 2026-11-02: add by m2/dev
Haag's theorem X02B7WPHAT
| URI | m2://inv/X02B7WPHAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OOXQ, Haag's theorem (statement)
History
- 2026-11-02: add by m2/dev
X02BC1XNHA X02BC1XNHA
| URI | m2://inv/X02BC1XNHA |
|---|---|
| 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.39505#CZ9X (statement). In WAXS6FS388/e1, proposition 7.3
History
- 2026-10-30: add by m2/v0.4.12
X02DRB1GEA X02DRB1GEA
| URI | m2://inv/X02DRB1GEA |
|---|---|
| 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 2510.09873#879J (statement). In KNB3ZCNC9Q/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
X02FK05JN4 X02FK05JN4
| URI | m2://inv/X02FK05JN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-11 (statement). In VNMV985MXX, thm, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
X02JHXZVFQ X02JHXZVFQ
| URI | m2://inv/X02JHXZVFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#FKWH (statement). In CY1FE8W1ZW/e1, lemma 0.202
History
- 2026-10-27: add by m2/v0.4.0
Paul Gochet X02KMHD7Q4
| URI | m2://inv/X02KMHD7Q4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Gochet, Paul Gochet (topic). Also Wikidata Q3371333
History
- 2026-11-02: add by m2/dev
X02QJP3JHM X02QJP3JHM
| URI | m2://inv/X02QJP3JHM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#NUC9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
William Lax X02SKQ1JP9
| URI | m2://inv/X02SKQ1JP9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Lax, William Lax (topic). Also Wikidata Q8014371
History
- 2026-11-02: add by m2/dev
X02TNJ3XWE X02TNJ3XWE
| URI | m2://inv/X02TNJ3XWE |
|---|---|
| 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 2311.16205#0ZPJ (statement). In 3GE9PS9AH0/e1, theorem 5.4.1
History
- 2026-10-27: add by m2/v0.3.5
X03BDE3B8B X03BDE3B8B
| URI | m2://inv/X03BDE3B8B |
|---|---|
| Kind | definition |
| 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.09422#DGXR (definition). In MS7M2BJS9X/e1, definition 4.15
History
- 2026-10-29: add by m2/v0.4.10
Gaussian unitary X03C7SP28D
| URI | m2://inv/X03C7SP28D |
|---|---|
| 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 2610.01855#E7KH, Gaussian unitary (definition). In MM8P5CJR18/e1, definition 5.6
History
- 2026-10-29: add by m2/v0.4.12
Orbital resonance X03HQRXA3W
| URI | m2://inv/X03HQRXA3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital resonance, Orbital resonance (definition). Also Wikidata Q271561
History
- 2026-11-02: add by m2/dev
X03PJ8GXMN X03PJ8GXMN
| URI | m2://inv/X03PJ8GXMN |
|---|---|
| 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 2209.00108#24R2 (statement). In V2G422ZMPW/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Definition X0427QR08N
| URI | m2://inv/X0427QR08N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aitken's delta-squared process#TC5I, Definition (definition)
History
- 2026-11-02: add by m2/dev
BPS state X043GG2RRW
| URI | m2://inv/X043GG2RRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4836283, BPS state (unknown). Also nLab BPS state
History
- 2026-10-26: add by m2/dev
Principles-Based SDC X04AN41Q9S
| URI | m2://inv/X04AN41Q9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical disclosure control#PLVE, Principles-Based SDC (statement)
History
- 2026-11-02: add by m2/dev
Hunt–Szymanski algorithm X04CDYZ1C1
| URI | m2://inv/X04CDYZ1C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hunt–Szymanski algorithm, Hunt–Szymanski algorithm (definition). Also Wikidata Q17028025
History
- 2026-11-02: add by m2/dev
X04E09PF50 X04E09PF50
| URI | m2://inv/X04E09PF50 |
|---|---|
| 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.10086#DIVD (statement). In NP9X9CAK19/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Contorsion tensor X04JVCP1XZ
| URI | m2://inv/X04JVCP1XZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contorsion tensor, Contorsion tensor (definition). Also Wikidata Q5165567
History
- 2026-11-02: add by m2/dev
X04MCNZ9CW X04MCNZ9CW
| URI | m2://inv/X04MCNZ9CW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#C164 (example). In W0ZHX9DHPV/e1, example 9
History
- 2026-10-29: add by m2/v0.4.10
Properties of $\hw$ and $\hu$ X04PDPJ8PX
| URI | m2://inv/X04PDPJ8PX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.38132#F13V, Properties of $\hw$ and $\hu$ (statement). In K6CP8GP51H/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
X04TMWQ1YH X04TMWQ1YH
| URI | m2://inv/X04TMWQ1YH |
|---|---|
| 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.37208#LFIY (statement). In 7MCBCP4T0B/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
X04W19KJZY X04W19KJZY
| URI | m2://inv/X04W19KJZY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-296 (exercise). In VNMV985MXX, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
midpoint rule, error X04WF6G04M
| URI | m2://inv/X04WF6G04M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.6.2/midpoint-rule-error, midpoint rule, error (concept). In 907G4C4EJ1, index, section 5.6.2
History
- 2026-11-01: add by m2/v0.6.13
The bound on the modulus X04ZK1S66H
| URI | m2://inv/X04ZK1S66H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#24LY, The bound on the modulus (statement)
History
- 2026-11-01: add by m2/v0.6.15
Innovation and representation X04ZPWES00
| URI | m2://inv/X04ZPWES00 |
|---|---|
| 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.18180#1JDK, Innovation and representation (statement). In NJGS7D1EPH/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Matest Agrest X0571XBSNV
| URI | m2://inv/X0571XBSNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#V39T, Matest Agrest (unknown)
History
- 2026-11-02: add by m2/dev
X059EQ6X0P X059EQ6X0P
| URI | m2://inv/X059EQ6X0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#1HXF (statement). In 68AE571S4P/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Definition X05A7G8F76
| URI | m2://inv/X05A7G8F76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre cubic#NPND, Definition (definition)
History
- 2026-11-02: add by m2/dev
X05D6TGQ48 X05D6TGQ48
| URI | m2://inv/X05D6TGQ48 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-26 (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
Gary Seitz X05DK5YMVT
| URI | m2://inv/X05DK5YMVT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gary Seitz, Gary Seitz (topic). Also Wikidata Q14492072
History
- 2026-11-02: add by m2/dev
X05FD7VSEZ X05FD7VSEZ
| URI | m2://inv/X05FD7VSEZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-4 (proof). In N54F33XE07, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Geoffrey Chew X05FG4CEVA
| URI | m2://inv/X05FG4CEVA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q376617, Geoffrey Chew (unknown). Also nLab Geoffrey Chew
History
- 2026-10-26: add by m2/dev
Benson Mates X05V9BCNVZ
| URI | m2://inv/X05V9BCNVZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benson Mates, Benson Mates (topic). Also Wikidata Q818187
History
- 2026-11-02: add by m2/dev
X05WMFE6MW X05WMFE6MW
| URI | m2://inv/X05WMFE6MW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-47 (proof). In VNMV985MXX, proof, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Three-Gap Realization X069ZYQY9M
| URI | m2://inv/X069ZYQY9M |
|---|---|
| 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 2610.02495#6QX9, Three-Gap Realization (statement). In T4S7XVAJJC/e1, proposition 9.2
History
- 2026-10-29: add by m2/v0.4.12
Spectrum of a ring X06BW8HPN9
| URI | m2://inv/X06BW8HPN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#FOPE, Spectrum of a ring (definition)
- wikipedia: Wikipedia List of commutative algebra topics#7LDS, Spectrum of a ring (definition)
History
- 2026-11-02: add by m2/dev
Statement X06QFX94CS
| URI | m2://inv/X06QFX94CS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lüroth's theorem#WFRE, Statement (statement)
History
- 2026-11-02: add by m2/dev
Lambda distribution X06V74Q2NG
| URI | m2://inv/X06V74Q2NG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GQU6, Lambda distribution (unknown)
History
- 2026-11-02: add by m2/dev
Jeremiah Denton X06XY44PGW
| URI | m2://inv/X06XY44PGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#SQTG, Jeremiah Denton (unknown)
History
- 2026-11-02: add by m2/dev
Properties X0703Z14J7
| URI | m2://inv/X0703Z14J7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product of rings#N1V5, Properties (statement)
History
- 2026-11-02: add by m2/dev
X078102R0H X078102R0H
| URI | m2://inv/X078102R0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#definition-3 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
Definition X079HCYKCQ
| URI | m2://inv/X079HCYKCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arborescence (graph theory)#DJ9K, Definition (definition)
History
- 2026-11-02: add by m2/dev
X07FKNB3R2 X07FKNB3R2
| URI | m2://inv/X07FKNB3R2 |
|---|---|
| Kind | problem |
| 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.21359#B9DS (problem)
History
- 2026-11-02: add by m2/v0.6.18
No least element in type $F_4$ X07FYPTESZ
| URI | m2://inv/X07FYPTESZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#6QDO, No least element in type $F_4$ (example). In H7DMRWBBJN/e1, example 9.1
History
- 2026-10-28: add by m2/v0.4.2
Principal ideal theorem X07G0NVDBR
| URI | m2://inv/X07G0NVDBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527196, Principal ideal theorem (statement). Also Wikidata Q3527196
- thousand_plus: thousand_plus Q3527196, Principal ideal theorem (statement). Also Wikidata Q3527196, Wikipedia Principal ideal theorem
- wikipedia: Wikipedia Principal ideal theorem, Principal ideal theorem (statement). Also Wikidata Q3527196
History
- 2026-10-26: add by m2/dev
iff X07H9EEZXG
| URI | m2://inv/X07H9EEZXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#L7KT, iff (definition)
History
- 2026-11-02: add by m2/dev
Full-rank SVD backward X07HNWM88Y
| URI | m2://inv/X07HNWM88Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32505#IOBW, Full-rank SVD backward (statement). In N8MYP1Z659/e1, corollary G.2
History
- 2026-10-31: add by m2/v0.5.6
Central inverse-operator moments X07MFQSSRH
| URI | m2://inv/X07MFQSSRH |
|---|---|
| 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.28198#7091, Central inverse-operator moments (statement)
History
- 2026-11-01: add by m2/v0.6.15
The $v_1$-$v_2$ edge is certified for free X07WZNXTEP
| URI | m2://inv/X07WZNXTEP |
|---|---|
| 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.25120#1W7T, The $v_1$-$v_2$ edge is certified for free (statement)
History
- 2026-11-01: add by m2/v0.6.15
HP-17B X07XB6RC8H
| URI | m2://inv/X07XB6RC8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-17B, HP-17B (definition). Also Wikidata Q5635542
History
- 2026-11-02: add by m2/dev
X085DH063S X085DH063S
| URI | m2://inv/X085DH063S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/strength.tex#formularelativization (definition). In PKGMM3P5QY, defn, section 74.1
History
- 2026-11-01: add by m2/v0.6.13
X088H7NTZZ X088H7NTZZ
| URI | m2://inv/X088H7NTZZ |
|---|---|
| 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.34876#BX73 (statement). In XXQAW3ZBDF/e1, lemma 8.6
History
- 2026-10-30: add by m2/v0.4.12
the endomorphism induced by a correspondence X08AD4WTD0
| URI | m2://inv/X08AD4WTD0 |
|---|---|
| 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.40207#UV33, the endomorphism induced by a correspondence (definition). In JXTG8KP95P/e1, definition 2.15
History
- 2026-10-30: add by m2/v0.4.12
A four-variable system with no gauge freedom X08GAT9Z6T
| URI | m2://inv/X08GAT9Z6T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.27966#TSCK, A four-variable system with no gauge freedom (example)
History
- 2026-11-01: add by m2/v0.6.15
X08M9DD0Z9 X08M9DD0Z9
| URI | m2://inv/X08M9DD0Z9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#definition-4 (definition). In RZP28ERRZV, definition, section 52.6
History
- 2026-11-01: add by m2/v0.6.13
Borel Graph Theorem X08S5XG8YF
| URI | m2://inv/X08S5XG8YF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#WRWR, Borel Graph Theorem (statement)
History
- 2026-11-02: add by m2/dev
Pacific Institute for the Mathematical Sciences X08SQ2ZJGS
| URI | m2://inv/X08SQ2ZJGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pacific Institute for the Mathematical Sciences, Pacific Institute for the Mathematical Sciences (definition). Also Wikidata Q7122500
History
- 2026-11-02: add by m2/dev
Lyndon 1950 X08T9EC0Z4
| URI | m2://inv/X08T9EC0Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20932#4W6X, Lyndon 1950 (statement). In FV78KV64B9/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.4.2
X092JWV16C X092JWV16C
| URI | m2://inv/X092JWV16C |
|---|---|
| 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.09596#WCA4 (statement). In HXFA55BREZ/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
modular discriminant X098Y58TMP
| URI | m2://inv/X098Y58TMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56296629, modular discriminant (unknown). Also MathWorld ModularDiscriminant
History
- 2026-10-26: add by m2/dev
Prevention paradox X09GD967QY
| URI | m2://inv/X09GD967QY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prevention paradox, Prevention paradox (statement). Also Wikidata Q7242394
History
- 2026-11-02: add by m2/dev
filter X09JDS3PFM
| URI | m2://inv/X09JDS3PFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#OGCT, filter (definition)
History
- 2026-11-02: add by m2/dev
Aristarchus of Samos X09N1FJWBP
| URI | m2://inv/X09N1FJWBP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#SFB4, Aristarchus of Samos (topic)
History
- 2026-11-02: add by m2/dev
3D-CT X09SJW57YB
| URI | m2://inv/X09SJW57YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tomography#YNTM, 3D-CT (unknown)
History
- 2026-11-02: add by m2/dev
X09WHTAAFY X09WHTAAFY
| URI | m2://inv/X09WHTAAFY |
|---|---|
| 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 2610.09949#LYRI (statement). In VGJVFCDV8A/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Rectified 24-cell X09ZACPES6
| URI | m2://inv/X09ZACPES6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 24-cell, Rectified 24-cell (definition). Also Wikidata Q7303151
History
- 2026-11-02: add by m2/dev
Conformal geometric algebra X0AFENAJXG
| URI | m2://inv/X0AFENAJXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal geometric algebra, Conformal geometric algebra (definition). Also Wikidata Q5160252
History
- 2026-11-02: add by m2/dev
X0AG53V0GW X0AG53V0GW
| URI | m2://inv/X0AG53V0GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07471#J52Y (statement). In 7DHCS5SEHT/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.10
X0AHWDDC2G X0AHWDDC2G
| URI | m2://inv/X0AHWDDC2G |
|---|---|
| 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.20588#ULCR (statement)
History
- 2026-11-02: add by m2/v0.6.18
X0AK3GPHXF X0AK3GPHXF
| URI | m2://inv/X0AK3GPHXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#VCAM (statement). In YY4KFNMPC0/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Neuroimaging X0AKR9YZ40
| URI | m2://inv/X0AKR9YZ40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#HKLH, Neuroimaging (unknown)
History
- 2026-11-02: add by m2/dev
X0AXAYWXSS X0AXAYWXSS
| URI | m2://inv/X0AXAYWXSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#R0Z6 (statement). In H3FDP8S1Z7/e1, corollary 5.12
History
- 2026-10-27: add by m2/v0.3.5
X0AXD3D31R X0AXD3D31R
| URI | m2://inv/X0AXD3D31R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#G43H (statement)
History
- 2026-11-01: add by m2/v0.6.15
X0B2RT6TT7 X0B2RT6TT7
| URI | m2://inv/X0B2RT6TT7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-6-2-volume.xml#Ex-6-2-AboutY (example). In 907G4C4EJ1, example, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
X0B8MWJFVQ X0B8MWJFVQ
| URI | m2://inv/X0B8MWJFVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#6F5C (statement). In KZ71GXT2B0/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
Helix X0BE404X92
| URI | m2://inv/X0BE404X92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#GX05, Helix (definition)
- wikipedia: Wikipedia List of curves#LJ6L, Helix (definition)
History
- 2026-11-02: add by m2/dev
Simplicial complex X0BF92CV6D
| URI | m2://inv/X0BF92CV6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#U46F, Simplicial complex (definition)
History
- 2026-11-02: add by m2/dev
X0BJMEP279 X0BJMEP279
| URI | m2://inv/X0BJMEP279 |
|---|---|
| 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.21489#PA0K (statement). In R0Q0RV8XCF/e1, proposition 4.19
History
- 2026-10-27: add by m2/v0.4.2
X0BM246CD1 X0BM246CD1
| URI | m2://inv/X0BM246CD1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
X0BT4TPRBR X0BT4TPRBR
| URI | m2://inv/X0BT4TPRBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#U14S (statement). In HH35K7S17H/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
Blockchain privacy X0BWG9R2S3
| URI | m2://inv/X0BWG9R2S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain privacy, Blockchain privacy (definition). Also Wikidata Q60743024
History
- 2026-11-02: add by m2/dev
Conditional Schur power bound X0C6B20Z80
| URI | m2://inv/X0C6B20Z80 |
|---|---|
| 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.05498#QHM0, Conditional Schur power bound (statement). In TJT32RQ9GC/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Collision-Free Single Move X0C7FG0HVG
| URI | m2://inv/X0C7FG0HVG |
|---|---|
| Kind | definition |
| 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.17677#DC8V, Collision-Free Single Move (definition). In 5E9G06XJKC/e1, definition D.17
History
- 2026-10-28: add by m2/v0.4.2
Geoffrey Watson X0CA06VT1A
| URI | m2://inv/X0CA06VT1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#NTDV, Geoffrey Watson (topic)
History
- 2026-11-02: add by m2/dev
X0CA94J49J X0CA94J49J
| URI | m2://inv/X0CA94J49J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14204#N7EM (statement). In GZAY1Y12YD/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Example X0CANZJTMH
| URI | m2://inv/X0CANZJTMH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunctive normal form#XB77, Example (example)
History
- 2026-11-02: add by m2/dev
Examples X0CD5C2CJN
| URI | m2://inv/X0CD5C2CJN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frege system#8F40, Examples (example)
History
- 2026-11-02: add by m2/dev
Greater-than quoting X0CGJ5N2Z7
| URI | m2://inv/X0CGJ5N2Z7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greater-than sign#4EM3, Greater-than quoting (unknown)
History
- 2026-11-02: add by m2/dev
Sarah Witherspoon X0CTTKG83W
| URI | m2://inv/X0CTTKG83W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarah Witherspoon, Sarah Witherspoon (topic). Also Wikidata Q42728954
History
- 2026-11-02: add by m2/dev
Kuramoto–Sivashinsky equation X0D8PJMQ3Y
| URI | m2://inv/X0D8PJMQ3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#KRXJ, Kuramoto–Sivashinsky equation (definition)
- wikipedia: Wikipedia List of named differential equations#YOB8, Kuramoto–Sivashinsky equation (definition)
History
- 2026-11-02: add by m2/dev
X0DBZGHKZW X0DBZGHKZW
| URI | m2://inv/X0DBZGHKZW |
|---|---|
| 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 2610.15525#PXCG (definition). In EFDRME13PT/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Definition X0DF0NT89R
| URI | m2://inv/X0DF0NT89R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antihomomorphism#7SS0, Definition (definition)
History
- 2026-11-02: add by m2/dev
X0DJVQEVMB X0DJVQEVMB
| URI | m2://inv/X0DJVQEVMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.22317#XLP0 (statement). In 2W5Z97BBW4/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.4.0
Properties X0DP7DRTZG
| URI | m2://inv/X0DP7DRTZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau distribution#FJMB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Self number X0DPB9KRHM
| URI | m2://inv/X0DPB9KRHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#65GM, Self number (definition)
History
- 2026-11-02: add by m2/dev
Legendre's Conjecture - weak version of Brocard's conjecture X0DPPBE6MJ
| URI | m2://inv/X0DPPBE6MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's conjecture#G3RR, Legendre's Conjecture - weak version of Brocard's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Foundations of statistics X0DWHSNSYJ
| URI | m2://inv/X0DWHSNSYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of statistics, Foundations of statistics (definition). Also Wikidata Q5474576
History
- 2026-11-02: add by m2/dev
X0DWQ58DT9 X0DWQ58DT9
| URI | m2://inv/X0DWQ58DT9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#T435 (definition). In 9XMZTTSF5E/e1, definition B.4
History
- 2026-10-30: add by m2/v0.4.12
X0DX8R95FH X0DX8R95FH
| URI | m2://inv/X0DX8R95FH |
|---|---|
| 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 2610.19360#720O (statement). In MFCW5CY96C/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
Heaviside X0E103Y88G
| URI | m2://inv/X0E103Y88G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#ZXLL, Heaviside (definition)
History
- 2026-11-02: add by m2/dev
X0E4VJ5JMQ X0E4VJ5JMQ
| URI | m2://inv/X0E4VJ5JMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#0MHF (statement). In GAG532VMPF/e1, lemma 7.2.4
History
- 2026-10-27: add by m2/v0.3.5
X0E655K2XG X0E655K2XG
| URI | m2://inv/X0E655K2XG |
|---|---|
| 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.30895#Y8GQ (statement). In B8D26BYA7T/e1, lemma 9
History
- 2026-10-31: add by m2/v0.5.6
X0EAHQPASV X0EAHQPASV
| URI | m2://inv/X0EAHQPASV |
|---|---|
| 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#TI8F (statement). In CC6S1HVK0T/e1, lemma E.13
History
- 2026-10-28: add by m2/v0.4.2
X0EP9QBB09 X0EP9QBB09
| URI | m2://inv/X0EP9QBB09 |
|---|---|
| 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.19437#NUVW (statement). In 9PXXGQ978Z/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Debabrata Basu X0EPA191SR
| URI | m2://inv/X0EPA191SR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZVD2, Debabrata Basu (topic)
History
- 2026-11-02: add by m2/dev
Diagonal subbrace X0EVM824KE
| URI | m2://inv/X0EVM824KE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20401#HM7L, Diagonal subbrace (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations X0F50N2CX2
| URI | m2://inv/X0F50N2CX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariance of domain#J9ZN, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
X0F7071269 X0F7071269
| URI | m2://inv/X0F7071269 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#LINB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications X0F8VPDE0A
| URI | m2://inv/X0F8VPDE0A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle index#YHUV, Applications (example)
History
- 2026-11-02: add by m2/dev
X0FFFNV5QT X0FFFNV5QT
| URI | m2://inv/X0FFFNV5QT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#example-3 (example). In RZP28ERRZV, example, section 25.3
History
- 2026-11-01: add by m2/v0.6.13
Transiogram X0FHJN9GPD
| URI | m2://inv/X0FHJN9GPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V0UV, Transiogram (unknown)
History
- 2026-11-02: add by m2/dev
Sun X0FJETK1FS
| URI | m2://inv/X0FJETK1FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q525, Sun (definition). Also ProofWiki Definition:Sun
History
- 2026-10-26: add by m2/dev
Theorem X0FK5E4KNP
| URI | m2://inv/X0FK5E4KNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum (functional analysis)#CRYD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
X0FK74Q7YF X0FK74Q7YF
| URI | m2://inv/X0FK74Q7YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#DK9B (statement). In PQGGCD09KP/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
X0FTY8M7V1 X0FTY8M7V1
| URI | m2://inv/X0FTY8M7V1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.01873#72LA (statement). In FVZZDPEYNM/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Browder–Minty theorem X0G2GK6MVQ
| URI | m2://inv/X0G2GK6MVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PRHV, Browder–Minty theorem (statement)
History
- 2026-11-02: add by m2/dev
Results X0G65VVNCN
| URI | m2://inv/X0G65VVNCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Smith conjecture#N41Z, Results (statement)
History
- 2026-11-02: add by m2/dev
Examples X0G9KN10C5
| URI | m2://inv/X0G9KN10C5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Woods number#X3T3, Examples (example)
History
- 2026-11-02: add by m2/dev
hyperbolic 3-manifold X0GGTGH5YA
| URI | m2://inv/X0GGTGH5YA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hyperbolic 3-manifold GHVW1Z35BS |
Mentions
- wikidata: Wikidata Q5957770, hyperbolic 3-manifold (unknown). Also nLab hyperbolic 3-manifold
- wikipedia: Wikipedia Hyperbolic 3-manifold, Hyperbolic 3-manifold (definition). Also Wikidata Q5957770
History
- 2026-10-26: add by m2/dev
X0GHAJS3V0 X0GHAJS3V0
| URI | m2://inv/X0GHAJS3V0 |
|---|---|
| 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 2610.15744#89QG (statement). In NV3PBZGBB7/e1, proposition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Circular Cauchy distribution X0GKC3R5GZ
| URI | m2://inv/X0GKC3R5GZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrapped Cauchy distribution#M8JN, Circular Cauchy distribution (unknown)
History
- 2026-11-02: add by m2/dev
Formulation X0GVW8D4XF
| URI | m2://inv/X0GVW8D4XF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support (mathematics)#RYUU, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Bogoliubov inequality X0GXNT32HQ
| URI | m2://inv/X0GXNT32HQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmholtz free energy#XIIT, Bogoliubov inequality (statement)
History
- 2026-11-02: add by m2/dev
X0H77VXN3W X0H77VXN3W
| URI | m2://inv/X0H77VXN3W |
|---|---|
| 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.03677#FWEL (statement). In J1Y06VVYRG/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Crypto-shredding X0HH95E5MG
| URI | m2://inv/X0HH95E5MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#O0K6, Crypto-shredding (definition)
History
- 2026-11-02: add by m2/dev
X0HR4S395G X0HR4S395G
| URI | m2://inv/X0HR4S395G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#definition-4 (definition). In RZP28ERRZV, definition, section 93.6
History
- 2026-11-01: add by m2/v0.6.13
X0HZSV3SWX X0HZSV3SWX
| URI | m2://inv/X0HZSV3SWX |
|---|---|
| Kind | definition |
| 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 1011.4141#LT0M (definition). In YQ4JYF18NH/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
X0J2DQWY0P X0J2DQWY0P
| URI | m2://inv/X0J2DQWY0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#SD5C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Worse set X0J5YJKCMG
| URI | m2://inv/X0J5YJKCMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour set#88XY, Worse set (unknown)
History
- 2026-11-02: add by m2/dev
Definition X0JKFV71AH
| URI | m2://inv/X0JKFV71AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enveloping von Neumann algebra#PIEB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Non-generous prime X0JKTNS6PX
| URI | m2://inv/X0JKTNS6PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime numbers#ASTD, Non-generous prime (unknown)
History
- 2026-11-02: add by m2/dev
David Drysdale X0JQSP6WMF
| URI | m2://inv/X0JQSP6WMF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Drysdale (mathematician), David Drysdale (topic). Also Wikidata Q5233087
History
- 2026-11-02: add by m2/dev
Derivability X0JT6J85JE
| URI | m2://inv/X0JT6J85JE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical consequence#2DIM, Derivability (unknown)
History
- 2026-11-02: add by m2/dev
Lars Hesselholt X0JYG4AA4Q
| URI | m2://inv/X0JYG4AA4Q |
|---|---|
| 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 Q15940784, Lars Hesselholt (unknown). Also nLab Lars Hesselholt
- wikipedia: Wikipedia Lars Hesselholt, Lars Hesselholt (topic). Also Wikidata Q15940784
History
- 2026-10-26: add by m2/dev
X0K6RRNAQB X0K6RRNAQB
| URI | m2://inv/X0K6RRNAQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#75OL (statement). In P2ETMXKVDS/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
X0K91KF8R9 X0K91KF8R9
| URI | m2://inv/X0K91KF8R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37201#EXTK (statement). In HJEK865J7W/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
X0KDFEKEVS X0KDFEKEVS
| URI | m2://inv/X0KDFEKEVS |
|---|---|
| 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 2408.13548#Q52E (statement). In EQF1ZQ5K1S/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.4.0
X0KEZ9YBPK X0KEZ9YBPK
| URI | m2://inv/X0KEZ9YBPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 math/9902147#Q0GA (statement). In 7CK21JGM5A/e1, theorem E
History
- 2026-10-27: add by m2/v0.4.2
Work period X0KTWF08ZN
| URI | m2://inv/X0KTWF08ZN |
|---|---|
| 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#C3H7, Work period (definition). In WD2NCBV9F0/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
X0KW7M9MNF X0KW7M9MNF
| URI | m2://inv/X0KW7M9MNF |
|---|---|
| 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 2605.30679#MDQJ (statement). In Z31GMHMG7B/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
X0KWVSDNX8 X0KWVSDNX8
| URI | m2://inv/X0KWVSDNX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#9CU7 (statement). In B23TX8G4E4/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Kosnita's theorem X0KX08HZT2
| URI | m2://inv/X0KX08HZT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#U5J2, Kosnita's theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem B, parts \textup{(i)}--\textup{(ii X0KYHJ5MQY
| URI | m2://inv/X0KYHJ5MQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30999#CIWV, Theorem B, parts \textup{(i)}--\textup{(ii (statement). In J1BWCKW2QK/e1, theorem 2.5
History
- 2026-10-31: add by m2/v0.5.6
Independence of the stationary representative X0M2QE7FKS
| URI | m2://inv/X0M2QE7FKS |
|---|---|
| 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 2610.10583#2YYX, Independence of the stationary representative (statement). In 5BZQS1KY9A/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
Rhombicosacron X0M425Z8SN
| URI | m2://inv/X0M425Z8SN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ILO8, Rhombicosacron (object)
History
- 2026-11-02: add by m2/dev
Ideal persistent contraction X0MBN8BYVK
| URI | m2://inv/X0MBN8BYVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#9RXM, Ideal persistent contraction (statement). In TP61DYMBMK/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
X0MEWXR9X3 X0MEWXR9X3
| URI | m2://inv/X0MEWXR9X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#SQX3 (statement). In KZ71GXT2B0/e1, proposition 2.20
History
- 2026-10-28: add by m2/v0.4.2
characters X0MSTK30P8
| URI | m2://inv/X0MSTK30P8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.1/characters, characters (concept). In QKM9DD2H56, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
X0MT7ATW97 X0MT7ATW97
| URI | m2://inv/X0MT7ATW97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#JS9H (statement)
History
- 2026-11-02: add by m2/v0.6.18
X0N61JC6X7 X0N61JC6X7
| URI | m2://inv/X0N61JC6X7 |
|---|---|
| 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.20170#Q7YB (statement)
History
- 2026-11-02: add by m2/v0.6.18
The Green measure and Green formula X0N6VJ1DMK
| URI | m2://inv/X0N6VJ1DMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô diffusion#LZUR, The Green measure and Green formula (statement)
History
- 2026-11-02: add by m2/dev
X0N8PTR12N X0N8PTR12N
| URI | m2://inv/X0N8PTR12N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#2QG6 (definition). In 8SVVEVGMNE/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Orthologic triangles X0NE16AKT8
| URI | m2://inv/X0NE16AKT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110235948, Orthologic triangles (unknown). Also MathWorld OrthologicTriangles
- wikipedia: Wikipedia Orthologic triangles, Orthologic triangles (definition). Also Wikidata Q110235948
History
- 2026-10-26: add by m2/dev
cf.\ X0NEPRET0H
| URI | m2://inv/X0NEPRET0H |
|---|---|
| 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.25524#EGM9, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Small-world network X0NGW360AE
| URI | m2://inv/X0NGW360AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#OPJ3, Small-world network (definition)
History
- 2026-11-02: add by m2/dev
Definition X0NHEZWH5T
| URI | m2://inv/X0NHEZWH5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal–Szekeres coordinates#KIN5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Alexei Zhitnik X0NKK1ZA1M
| URI | m2://inv/X0NKK1ZA1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#49MY, Alexei Zhitnik (unknown)
History
- 2026-11-02: add by m2/dev
X0NY8T6Y9P X0NY8T6Y9P
| URI | m2://inv/X0NY8T6Y9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#QFH5 (statement). In SYZFEVFHC3/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.5
Laplacian X0NYSTG3AQ
| URI | m2://inv/X0NYSTG3AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#1DGJ, Laplacian (definition)
History
- 2026-11-02: add by m2/dev
X0NZQFBMTY X0NZQFBMTY
| URI | m2://inv/X0NZQFBMTY |
|---|---|
| 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.19513#K7QX (statement). In Q557CNT758/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
X0P0YCAPXA X0P0YCAPXA
| URI | m2://inv/X0P0YCAPXA |
|---|---|
| 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 2610.03497#BGTO (statement). In RRNHC0CAC9/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
A lower-tail moment estimate X0P3KM1V9B
| URI | m2://inv/X0P3KM1V9B |
|---|---|
| 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.40288#OKA0, A lower-tail moment estimate (statement). In 2VZJRGSAEP/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
polyiamond X0P4CZZTDA
| URI | m2://inv/X0P4CZZTDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3846534, polyiamond (unknown). Also MathWorld Polyiamond
- wikipedia: Wikipedia Polyiamond, Polyiamond (definition). Also Wikidata Q3846534
History
- 2026-10-26: add by m2/dev
X0P6E8VR5N X0P6E8VR5N
| URI | m2://inv/X0P6E8VR5N |
|---|---|
| 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.28518#Q8I4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications X0PFZHA9PF
| URI | m2://inv/X0PFZHA9PF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent component analysis#EM0H, Applications (example)
History
- 2026-11-02: add by m2/dev
X0PS981HM9 X0PS981HM9
| URI | m2://inv/X0PS981HM9 |
|---|---|
| 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 2012.14505#H0U8 (statement). In 97VQ5TC7MD/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
P/p X0PYE8T5C4
| URI | m2://inv/X0PYE8T5C4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9946, P/p (unknown). Also ProofWiki Symbols:P
History
- 2026-10-26: add by m2/dev
Infinitesimal rotation matrix X0PYRSF21E
| URI | m2://inv/X0PYRSF21E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitesimal rotation matrix, Infinitesimal rotation matrix (definition). Also Wikidata Q118905735
History
- 2026-11-02: add by m2/dev
Properties X0Q79V7CTK
| URI | m2://inv/X0Q79V7CTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass elliptic function#RUZ8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Symmetric group X0QHBV7J4C
| URI | m2://inv/X0QHBV7J4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#J3RQ, Symmetric group (definition)
History
- 2026-11-02: add by m2/dev
Optimal stopping X0QHHHGJSB
| URI | m2://inv/X0QHHHGJSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V9C3, Optimal stopping (definition)
History
- 2026-11-02: add by m2/dev
X0QJY7SPB1 X0QJY7SPB1
| URI | m2://inv/X0QJY7SPB1 |
|---|---|
| Kind | definition |
| 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 2311.16205#ONBK (definition). In 3GE9PS9AH0/e1, definition 4.1.5
History
- 2026-10-27: add by m2/v0.3.5
Optimal Polynomial Intersection X0QSJJT9SN
| URI | m2://inv/X0QSJJT9SN |
|---|---|
| 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.12357#12KL, Optimal Polynomial Intersection (definition). In 1F26AF81XP/e1, definition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Flip bound X0QWG1SNXN
| URI | m2://inv/X0QWG1SNXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#406Q, Flip bound (statement). In P3RTT99C41/e1, lemma C.5
History
- 2026-10-30: add by m2/v0.4.12
X0QX8NWPNT X0QX8NWPNT
| URI | m2://inv/X0QX8NWPNT |
|---|---|
| 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#65DP (statement). In J55JTTKG84/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Commutator subspace X0R4V223EM
| URI | m2://inv/X0R4V223EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator subspace, Commutator subspace (definition). Also Wikidata Q17007375
History
- 2026-11-02: add by m2/dev
X0RDKSN785 X0RDKSN785
| URI | m2://inv/X0RDKSN785 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#QS1S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reduction of moments and Gaussianity X0RVKXBVAG
| URI | m2://inv/X0RVKXBVAG |
|---|---|
| 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.01855#IZRS, Reduction of moments and Gaussianity (statement). In MM8P5CJR18/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.12
X0RXRB5908 X0RXRB5908
| URI | m2://inv/X0RXRB5908 |
|---|---|
| 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.03272#RNW7 (statement). In H9ZC46G7BX/e1, proposition 4.10
History
- 2026-10-29: add by m2/v0.4.12
X0RY2R5NS8 X0RY2R5NS8
| URI | m2://inv/X0RY2R5NS8 |
|---|---|
| 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.23279#BH4D (statement)
History
- 2026-11-02: add by m2/v0.6.17
X0S6KT88VW X0S6KT88VW
| URI | m2://inv/X0S6KT88VW |
|---|---|
| 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.34471#UQOU (statement). In BQ6MCMHCJK/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Youden's J statistic X0S92P6BGQ
| URI | m2://inv/X0S92P6BGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W1BP, Youden's J statistic (definition)
History
- 2026-11-02: add by m2/dev
X0SBTY1KNM X0SBTY1KNM
| URI | m2://inv/X0SBTY1KNM |
|---|---|
| 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.09648#I9PR (statement). In WB9PTPN54H/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
X0SGXW6H54 X0SGXW6H54
| URI | m2://inv/X0SGXW6H54 |
|---|---|
| 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 2609.28297#YZJW (statement)
History
- 2026-11-01: add by m2/v0.6.15
X0SPJ98ATZ X0SPJ98ATZ
| URI | m2://inv/X0SPJ98ATZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05146#KY3C (statement). In 63MJS935N4/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
X0SYWW8ZYK X0SYWW8ZYK
| URI | m2://inv/X0SYWW8ZYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#RJDS (statement)
History
- 2026-11-01: add by m2/v0.6.15
X0T13DVDQ9 X0T13DVDQ9
| URI | m2://inv/X0T13DVDQ9 |
|---|---|
| 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.01783#VW43 (statement). In 8BKC3PVX9G/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Saint-Maur, Nicolas-François Dupré de X0TCDW2AJV
| URI | m2://inv/X0TCDW2AJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N48E, Saint-Maur, Nicolas-François Dupré de (unknown)
History
- 2026-11-02: add by m2/dev
X0TD1ENBQE X0TD1ENBQE
| URI | m2://inv/X0TD1ENBQE |
|---|---|
| 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 2609.26337#W0KW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Signed-digit representation X0TEFRBPHX
| URI | m2://inv/X0TEFRBPHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed-digit representation, Signed-digit representation (definition). Also Wikidata Q7512898
History
- 2026-11-02: add by m2/dev
X0TKXZ4DJ9 X0TKXZ4DJ9
| URI | m2://inv/X0TKXZ4DJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#RLXP (statement)
History
- 2026-11-02: add by m2/v0.6.17
X0V48G9JQQ X0V48G9JQQ
| URI | m2://inv/X0V48G9JQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07770#73OZ (statement). In 6GHT4P7E8X/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
HOSVD-based canonical form of TP functions and qLPV models X0VE3CBJBG
| URI | m2://inv/X0VE3CBJBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HOSVD-based canonical form of TP functions and qLPV models, HOSVD-based canonical form of TP functions and qLPV models (definition). Also Wikidata Q17098043
History
- 2026-11-02: add by m2/dev
Giovanni Sansone X0VMBTE68R
| URI | m2://inv/X0VMBTE68R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Sansone, Giovanni Sansone (topic). Also Wikidata Q3768091
History
- 2026-11-02: add by m2/dev
Jennifer Balakrishnan X0VNZT5GG5
| URI | m2://inv/X0VNZT5GG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Balakrishnan, Jennifer Balakrishnan (topic). Also Wikidata Q56651275
History
- 2026-11-02: add by m2/dev
Paul S. Dwyer X0VPQG1P1Z
| URI | m2://inv/X0VPQG1P1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#U2Z2, Paul S. Dwyer (unknown)
History
- 2026-11-02: add by m2/dev
Jonathan Keating X0VQWWX502
| URI | m2://inv/X0VQWWX502 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Keating, Jonathan Keating (topic). Also Wikidata Q15455501
History
- 2026-11-02: add by m2/dev
Omnitruncated 6-simplex honeycomb X0VT28E6Z7
| URI | m2://inv/X0VT28E6Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnitruncated 6-simplex honeycomb, Omnitruncated 6-simplex honeycomb (definition). Also Wikidata Q7090409
History
- 2026-11-02: add by m2/dev
X0VX43AEX9 X0VX43AEX9
| URI | m2://inv/X0VX43AEX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38596#VZ85 (statement). In ZYGQAV8FD3/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Simplicial polytope X0WBA18CP3
| URI | m2://inv/X0WBA18CP3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial polytope, Simplicial polytope (object). Also Wikidata Q7520906
History
- 2026-11-02: add by m2/dev
Procedure X0WERH0T8J
| URI | m2://inv/X0WERH0T8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial fraction decomposition#CJY8, Procedure (definition)
History
- 2026-11-02: add by m2/dev
X0WMVBPK3G X0WMVBPK3G
| URI | m2://inv/X0WMVBPK3G |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#5HP9 (unknown). In R2XC1SC9NZ/e1, unknown 15
History
- 2026-10-27: add by m2/v0.3.5
X0WP6CA07W X0WP6CA07W
| URI | m2://inv/X0WP6CA07W |
|---|---|
| Kind | definition |
| 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.33050#U0K2 (definition). In VDSBMQ0G9W/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Czech Mathematical Society X0WXAQ6468
| URI | m2://inv/X0WXAQ6468 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Czech Mathematical Society, Czech Mathematical Society (definition). Also Wikidata Q64364564
History
- 2026-11-02: add by m2/dev
X0X44NMHCQ X0X44NMHCQ
| URI | m2://inv/X0X44NMHCQ |
|---|---|
| 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 2610.15444#REIS (statement). In M2X9TEYRPC/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
$\ell$-bottleneck property X0X4B6J8QE
| URI | m2://inv/X0X4B6J8QE |
|---|---|
| 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.37589#OLRI, $\ell$-bottleneck property (definition). In 18HVB2SKW1/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Theorem (Hecke; 1918) X0X713PN8C
| URI | m2://inv/X0X713PN8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#4LRW, Theorem (Hecke; 1918) (statement)
History
- 2026-11-02: add by m2/dev
Marginal release threshold X0XMP2K6W1
| URI | m2://inv/X0XMP2K6W1 |
|---|---|
| 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.27744#AWOR, Marginal release threshold (statement)
History
- 2026-11-01: add by m2/v0.6.15
X0YEMY815R X0YEMY815R
| URI | m2://inv/X0YEMY815R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#YA3K (definition)
History
- 2026-11-02: add by m2/v0.6.18
Robert G. Bartle X0YHBD49VC
| URI | m2://inv/X0YHBD49VC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert G. Bartle, Robert G. Bartle (topic). Also Wikidata Q7344595
History
- 2026-11-02: add by m2/dev
Applications X0YM9GN4AF
| URI | m2://inv/X0YM9GN4AF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jensen–Shannon divergence#DJMN, Applications (example)
History
- 2026-11-02: add by m2/dev
Randomized predictive distribution X0YPTCBTPM
| URI | m2://inv/X0YPTCBTPM |
|---|---|
| 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 2609.23350#ZABP, Randomized predictive distribution (definition)
History
- 2026-11-02: add by m2/v0.6.17
List of stochastic processes topics X0YRGRHXEV
| URI | m2://inv/X0YRGRHXEV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics, List of stochastic processes topics (topic). Also Wikidata Q3627920
History
- 2026-11-02: add by m2/dev
boundary X0YYCCES65
| URI | m2://inv/X0YYCCES65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#MA0X, boundary (definition)
History
- 2026-11-02: add by m2/dev
Knuth–Eve algorithm X0YYSQZ3NK
| URI | m2://inv/X0YYSQZ3NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knuth–Eve algorithm, Knuth–Eve algorithm (definition). Also Wikidata Q135675480
History
- 2026-11-02: add by m2/dev
X0Z2CZBDVK X0Z2CZBDVK
| URI | m2://inv/X0Z2CZBDVK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0678#VN9L (example). In 5RMV7VP13X/e1, example 2.1
History
- 2026-10-27: add by m2/v0.3.5
Shannon switching game X0Z3GDT2C6
| URI | m2://inv/X0Z3GDT2C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon switching game, Shannon switching game (definition). Also Wikidata Q3765011
History
- 2026-11-02: add by m2/dev
\chg{Erd\H{o}s-Simonovits X0Z62XXJYN
| URI | m2://inv/X0Z62XXJYN |
|---|---|
| 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.24353#PIXL, \chg{Erd\H{o}s-Simonovits (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem X0ZATYR7YM
| URI | m2://inv/X0ZATYR7YM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested intervals#O81X, Theorem (statement)
History
- 2026-11-02: add by m2/dev
X0ZS8KREFD X0ZS8KREFD
| URI | m2://inv/X0ZS8KREFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#definition-7 (definition). In RZP28ERRZV, definition, section 35.4
History
- 2026-11-01: add by m2/v0.6.13