Inventory rows QX
The cards of the rows of the inventory whose ids start with QX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
QX007H9K56 QX007H9K56
| URI | m2://inv/QX007H9K56 |
|---|---|
| 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 2204.07961#SY9J (statement). In 4DK4VRKZVM/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.5
Sugawara construction QX00H0FJJW
| URI | m2://inv/QX00H0FJJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wess–Zumino–Witten model#6ENP, Sugawara construction (unknown)
History
- 2026-11-02: add by m2/dev
QX031CW4Y9 QX031CW4Y9
| URI | m2://inv/QX031CW4Y9 |
|---|---|
| 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#CM8V (statement). In CY1FE8W1ZW/e1, corollary 0.75
History
- 2026-10-27: add by m2/v0.3.5
Particle method QX03S0SXQZ
| URI | m2://inv/QX03S0SXQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle method, Particle method (definition). Also Wikidata Q24898874
History
- 2026-11-02: add by m2/dev
Point cloud QX04X8GKDZ
| URI | m2://inv/QX04X8GKDZ |
|---|---|
| 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#UAIO, Point cloud (unknown)
History
- 2026-11-02: add by m2/dev
Bounds on interior streamlines QX05GPXSWB
| URI | m2://inv/QX05GPXSWB |
|---|---|
| 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.22513#DK2L, Bounds on interior streamlines (statement)
History
- 2026-11-02: add by m2/v0.6.17
QX07MB2GJ0 QX07MB2GJ0
| URI | m2://inv/QX07MB2GJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16475#CLI0 (statement). In FM9SKN560Q/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
exponential distribution QX09VBFN5C
| URI | m2://inv/QX09VBFN5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Exponential distribution 028Z8WC5Y9 |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > exponential law, exponential law (unknown). Also Mathlib ProbabilityTheory.expMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > exponential law, exponential law (unknown). Also Mathlib ProbabilityTheory.expMeasure
- wikidata: Wikidata Q237193, exponential distribution (unknown). Also Mathlib ProbabilityTheory.expMeasure, MathWorld ExponentialDistribution
- wikipedia: Wikipedia Exponential distribution, Exponential distribution (definition). Also Wikidata Q237193
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
QX0A17E3MS QX0A17E3MS
| URI | m2://inv/QX0A17E3MS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#FACI (statement). In 7615KVXDB5/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Formula for $\textup{id}\Psi_\varepsilon+\varepsilon^2\nabla\Psi_\varepsilon$ QX0PG1DRRS
| URI | m2://inv/QX0PG1DRRS |
|---|---|
| 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.24451#LXRZ, Formula for $\textup{id}\Psi_\varepsilon+\varepsilon^2\nabla\Psi_\varepsilon$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
QX0VBJR7EX QX0VBJR7EX
| URI | m2://inv/QX0VBJR7EX |
|---|---|
| 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.24522#S1Q4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QX16BX399R QX16BX399R
| URI | m2://inv/QX16BX399R |
|---|---|
| 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.05708#L7KG (statement). In 3BJPFGJNSS/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Ramanujan's identity QX18142J2A
| URI | m2://inv/QX18142J2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic hypergeometric series#IPCG, Ramanujan's identity (statement)
History
- 2026-11-02: add by m2/dev
Product Moment of Area QX18JAKR3P
| URI | m2://inv/QX18JAKR3P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second moment of area#RO3K, Product Moment of Area (unknown)
History
- 2026-11-02: add by m2/dev
Mileva Marić QX1AME2CMR
| URI | m2://inv/QX1AME2CMR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mileva Marić, Mileva Marić (topic). Also Wikidata Q76346
History
- 2026-11-02: add by m2/dev
Smooth perturbations of the uniform density QX1ASRN8DG
| URI | m2://inv/QX1ASRN8DG |
|---|---|
| Kind | example |
| 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.05333#ML8Y, Smooth perturbations of the uniform density (example). In N37WKFTR7Q/e1, example I.3
History
- 2026-10-29: add by m2/v0.4.10
Properties QX1CDPYBDM
| URI | m2://inv/QX1CDPYBDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Laplace transforms#GF5W, Properties (statement)
History
- 2026-11-02: add by m2/dev
Connectivity of the splitting QX1CYFG72E
| URI | m2://inv/QX1CYFG72E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-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.03865#YD77, Connectivity of the splitting (statement). In G3D1YR20BJ/e1, lemma 3.22
History
- 2026-10-29: add by m2/v0.4.12
Florence Nightingale David QX1D6GBP1V
| URI | m2://inv/QX1D6GBP1V |
|---|---|
| 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#NTU6, Florence Nightingale David (topic)
History
- 2026-11-02: add by m2/dev
Banach's theorem, Eq. (23 QX1GC5337E
| URI | m2://inv/QX1GC5337E |
|---|---|
| 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.05953#DFIT, Banach's theorem, Eq. (23 (statement). In P3XHJ1VB8C/e1, fact 16
History
- 2026-10-29: add by m2/v0.4.10
QX1HC71Z5Q QX1HC71Z5Q
| URI | m2://inv/QX1HC71Z5Q |
|---|---|
| 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 2507.12309#9OCJ (statement). In ZR53K3E0FR/e1, lemma 28
History
- 2026-10-27: add by m2/v0.3.6
QX1Q51NAJP QX1Q51NAJP
| URI | m2://inv/QX1Q51NAJP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#4S3S (definition). In RQA728RB77/e1, definition 8
History
- 2026-10-27: add by m2/v0.4.2
Method QX21BP57YN
| URI | m2://inv/QX21BP57YN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobweb plot#P7EL, Method (definition)
History
- 2026-11-02: add by m2/dev
Hypocycloid QX258FACN1
| URI | m2://inv/QX258FACN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BLTP, Hypocycloid (definition)
- wikipedia: Wikipedia List of curves#ZPJL, Hypocycloid (definition)
History
- 2026-11-02: add by m2/dev
Conway–Alexander polynomial QX26AVQVCS
| URI | m2://inv/QX26AVQVCS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54848324, Conway–Alexander polynomial (concept). Also MathWorld ConwayPolynomial, ProofWiki Definition:Alexander-Conway_Polynomial
History
- 2026-10-26: add by m2/dev
QX26WT60DH QX26WT60DH
| URI | m2://inv/QX26WT60DH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#8ONP (statement). In PQNYA0C510/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
List of things named after Hermann Grassmann QX2A34GWHW
| URI | m2://inv/QX2A34GWHW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#JPLQ, List of things named after Hermann Grassmann (unknown)
History
- 2026-11-02: add by m2/dev
QX2CF6NDVH QX2CF6NDVH
| URI | m2://inv/QX2CF6NDVH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#ZCAG (definition). In 67GE5M1GGD/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
QX2DZ5M7WP QX2DZ5M7WP
| URI | m2://inv/QX2DZ5M7WP |
|---|---|
| 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 2411.01837#4V3N (statement). In 2XBYZ1QP22/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
QX2EEPGE1Z QX2EEPGE1Z
| URI | m2://inv/QX2EEPGE1Z |
|---|---|
| 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 2610.15444#H3L7 (definition). In M2X9TEYRPC/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
QX2JPQG1XX QX2JPQG1XX
| URI | m2://inv/QX2JPQG1XX |
|---|---|
| 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 2403.15043#G9V0 (statement). In QDE21RT0T2/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
QX2K39X7PZ QX2K39X7PZ
| URI | m2://inv/QX2K39X7PZ |
|---|---|
| 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.07190#0IWE (statement). In ZWS6Q4467X/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
QX2PVSBP5M QX2PVSBP5M
| URI | m2://inv/QX2PVSBP5M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.39317#3G7A (definition). In QM1T8JDK4A/e1, definition 5.6
History
- 2026-10-30: add by m2/v0.4.12
782 (number) QX2RK3ZQGQ
| URI | m2://inv/QX2RK3ZQGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#HSUB, 782 (number) (unknown)
History
- 2026-11-02: add by m2/dev
QX2RQDJ1T1 QX2RQDJ1T1
| URI | m2://inv/QX2RQDJ1T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#CE8L (statement). In GJ7N2EWACX/e1, theorem A.4
History
- 2026-10-28: add by m2/v0.4.2
QX2TH0GBNW QX2TH0GBNW
| URI | m2://inv/QX2TH0GBNW |
|---|---|
| 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 2507.05417#D43Q (statement). In RGHZ863Q26/e1, fact 3.22
History
- 2026-10-27: add by m2/v0.3.5
Mathematics Subject Classification QX2TXYV8Y1
| URI | m2://inv/QX2TXYV8Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics Subject Classification, Mathematics Subject Classification (definition). Also Wikidata Q967960
History
- 2026-11-02: add by m2/dev
Method QX30MX2VED
| URI | m2://inv/QX30MX2VED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CUSUM#PFV4, Method (definition)
History
- 2026-11-02: add by m2/dev
QX3T5BW0BG QX3T5BW0BG
| URI | m2://inv/QX3T5BW0BG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.22297#GG0C (statement)
History
- 2026-11-02: add by m2/v0.6.17
QX3YKCXW30 QX3YKCXW30
| URI | m2://inv/QX3YKCXW30 |
|---|---|
| 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.03856#AYD0 (statement). In HTBRYNPHSJ/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.12
QX3YPH6QWP QX3YPH6QWP
| URI | m2://inv/QX3YPH6QWP |
|---|---|
| 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.27617#93DP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Low-rank approximation QX44DYV758
| URI | m2://inv/QX44DYV758 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-rank approximation, Low-rank approximation (definition). Also Wikidata Q6692777
History
- 2026-11-02: add by m2/dev
QX4JAAF32Q QX4JAAF32Q
| URI | m2://inv/QX4JAAF32Q |
|---|---|
| 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.20758#MQCY (definition). In PG0B4PH9YH/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.4.2
Euclid's theorem QX5DRPWW1Z
| URI | m2://inv/QX5DRPWW1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 5 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euclid's theorem 0292EPPPT0 |
Mentions
- mathlib_100: mathlib_100 11, The Infinitude of Primes (statement). Also Mathlib Nat.exists_infinite_primes
- mathlib_1000: mathlib_1000 Q1506253, Euclid's theorem (statement). Also Mathlib Nat.exists_infinite_primes, Wikidata Q1506253
- thousand_plus: thousand_plus Q1506253, Euclid's theorem (statement). Also Mathlib Nat.exists_infinite_primes, Wikidata Q1506253, Wikipedia Euclid's theorem
- wikidata: Wikidata Q1506253, Euclid's theorem (statement). Also MathWorld EuclidsTheorems, ProofWiki Euclid's_Theorem
- wikipedia: Wikipedia Euclid's theorem, Euclid's theorem (statement). Also Wikidata Q1506253
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Truncated hexagonal tiling QX5K9X2KTW
| URI | m2://inv/QX5K9X2KTW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#C85Q, Truncated hexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
Carmen Batanero QX5VJ3T2VS
| URI | m2://inv/QX5VJ3T2VS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carmen Batanero, Carmen Batanero (topic). Also Wikidata Q23011821
History
- 2026-11-02: add by m2/dev
QX5YMDK5CJ QX5YMDK5CJ
| URI | m2://inv/QX5YMDK5CJ |
|---|---|
| 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 0909.2893#3P2L (statement). In JQ4JYAXCMK/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
Carry-less product QX62KVYM2F
| URI | m2://inv/QX62KVYM2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carry-less product, Carry-less product (definition). Also Wikidata Q28456327
History
- 2026-11-02: add by m2/dev
Generalizations QX698Y6SJ7
| URI | m2://inv/QX698Y6SJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge theory#LJYY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Luca Pacioli QX6F2CYQ3F
| URI | m2://inv/QX6F2CYQ3F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luca Pacioli, Luca Pacioli (topic). Also Wikidata Q87620
History
- 2026-11-02: add by m2/dev
ampersand curve QX7398VYVX
| URI | m2://inv/QX7398VYVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3234988, ampersand curve (unknown). Also MathWorld AmpersandCurve
- wikipedia: Wikipedia Ampersand curve, Ampersand curve (definition). Also Wikidata Q3234988
History
- 2026-10-26: add by m2/dev
Rice's theorem QX783ABM12
| URI | m2://inv/QX783ABM12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 5 |
| Outcome | open |
| Node | Rice's theorem AKDR5YBBE2 |
Mentions
- mathlib_1000: mathlib_1000 Q1893717, Rice's theorem (statement). Also Mathlib ComputablePred.rice, Wikidata Q1893717
- mathlib_overview: mathlib_overview Logic and computation > Computability > Rice theorem, Rice theorem (unknown). Also Mathlib ComputablePred.rice
- thousand_plus: thousand_plus Q1893717, Rice's theorem (statement). Also Mathlib ComputablePred.rice, Wikidata Q1893717, Wikipedia Rice's theorem
- wikidata: Wikidata Q1893717, Rice's theorem (statement). Also MathWorld RicesTheorem
- wikipedia: Wikipedia Rice's theorem, Rice's theorem (statement). Also Wikidata Q1893717
History
- 2026-10-26: add by m2/dev
Bisimplicial set QX7YKRHV8V
| URI | m2://inv/QX7YKRHV8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisimplicial set, Bisimplicial set (definition). Also Wikidata Q134300084
History
- 2026-11-02: add by m2/dev
QX81EJGTS7 QX81EJGTS7
| URI | m2://inv/QX81EJGTS7 |
|---|---|
| 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.26357#RCA4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QX833SWQZK QX833SWQZK
| URI | m2://inv/QX833SWQZK |
|---|---|
| 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.21800#IHND (statement). In CMAEC39BKK/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.4.2
Untyped Petri nets as a special case QX862Y8R92
| URI | m2://inv/QX862Y8R92 |
|---|---|
| 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 2609.20478#SC42, Untyped Petri nets as a special case (statement)
History
- 2026-11-02: add by m2/v0.6.18
$C^N$-linearization QX885YED51
| URI | m2://inv/QX885YED51 |
|---|---|
| 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.01050#UOHB, $C^N$-linearization (definition). In 48NN33SAH7/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
Itzhak Bars QX8CQVGMNE
| URI | m2://inv/QX8CQVGMNE |
|---|---|
| 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 Q6095252, Itzhak Bars (unknown). Also nLab Itzhak Bars
History
- 2026-10-26: add by m2/dev
QX8PPNH3SK QX8PPNH3SK
| URI | m2://inv/QX8PPNH3SK |
|---|---|
| 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.17442#29TP (statement). In 6ADGJ51W1P/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
QX975A6JG8 QX975A6JG8
| URI | m2://inv/QX975A6JG8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
Denny Gulick QX99E7T0Y4
| URI | m2://inv/QX99E7T0Y4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denny Gulick, Denny Gulick (topic). Also Wikidata Q5259184
History
- 2026-11-02: add by m2/dev
QX9BBWD6VE QX9BBWD6VE
| URI | m2://inv/QX9BBWD6VE |
|---|---|
| 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.18219#5B4A (statement). In X1AGBB90EH/e1, proposition 7.24
History
- 2026-10-28: add by m2/v0.4.2
Karaji QX9C5HDB4E
| URI | m2://inv/QX9C5HDB4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#EIOV, Karaji (unknown)
History
- 2026-11-02: add by m2/dev
$m = 5$: the Desargues configuration as a Pasch hypergraph QX9JCTQTA1
| URI | m2://inv/QX9JCTQTA1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#41WK, $m = 5$: the Desargues configuration as a Pasch hypergraph (example)
History
- 2026-11-01: add by m2/v0.6.15
QX9SHPRQ16 QX9SHPRQ16
| URI | m2://inv/QX9SHPRQ16 |
|---|---|
| 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.10330#8JIW (statement). In CDXQHNX1P8/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Compound of twelve pentagonal antiprisms with rotational freedom QX9TXT4C1X
| URI | m2://inv/QX9TXT4C1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YQWT, Compound of twelve pentagonal antiprisms with rotational freedom (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#02SC, Compound of twelve pentagonal antiprisms with rotational freedom (definition)
History
- 2026-11-02: add by m2/dev
QX9WPDPABZ QX9WPDPABZ
| URI | m2://inv/QX9WPDPABZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#M6PM (statement)
History
- 2026-11-01: add by m2/v0.6.15
back-of-the-envelope calculation QX9ZS5K8FY
| URI | m2://inv/QX9ZS5K8FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#PXI4, back-of-the-envelope calculation (definition)
History
- 2026-11-02: add by m2/dev
Definition QXA02M2PHB
| URI | m2://inv/QXA02M2PHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urysohn universal space#8LB6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Linear fractional transformation QXA08KTGND
| URI | m2://inv/QXA08KTGND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear fractional transformation, Linear fractional transformation (definition). Also Wikidata Q12033559
History
- 2026-11-02: add by m2/dev
Class sizes QXAEBXTCGX
| URI | m2://inv/QXAEBXTCGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20087#YA3K, Class sizes (statement). In ZRE2WQR5XA/e1, lemma III.1
History
- 2026-10-27: add by m2/v0.4.2
QXAX96SAYH QXAX96SAYH
| URI | m2://inv/QXAX96SAYH |
|---|---|
| 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.27800#10Z5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QXAY6TR67Q QXAY6TR67Q
| URI | m2://inv/QXAY6TR67Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#8ZG4 (statement). In PEXJPV3NP8/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.3.5
Applications QXB437VKNR
| URI | m2://inv/QXB437VKNR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel Fisher discriminant analysis#7FJU, Applications (example)
History
- 2026-11-02: add by m2/dev
Richard M. Dudley QXB6DKWCG5
| URI | m2://inv/QXB6DKWCG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#Z7LD, Richard M. Dudley (topic)
History
- 2026-11-02: add by m2/dev
Segre class QXBAWNZ3RK
| URI | m2://inv/QXBAWNZ3RK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre class, Segre class (definition). Also Wikidata Q7446317
History
- 2026-11-02: add by m2/dev
Kamea (magic) QXBBG0D2JH
| URI | m2://inv/QXBBG0D2JH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic square#DOST, Kamea (magic) (unknown)
History
- 2026-11-02: add by m2/dev
State monad QXBDQ2CWXH
| URI | m2://inv/QXBDQ2CWXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (functional programming)#ABDF, State monad (unknown)
History
- 2026-11-02: add by m2/dev
QXBGY020P0 QXBGY020P0
| URI | m2://inv/QXBGY020P0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:trans-trivial (statement). In N54F33XE07, lem, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
QXBPGKVXHX QXBPGKVXHX
| URI | m2://inv/QXBPGKVXHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22170#XTTB (statement). In 74MMMHHPW5/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.4.0
Definition QXBSW4XRZP
| URI | m2://inv/QXBSW4XRZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-homomorphism#DZAC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Quillen–Suslin theorem QXBTG7SQKB
| URI | m2://inv/QXBTG7SQKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#XZD1, Quillen–Suslin theorem (statement)
History
- 2026-11-02: add by m2/dev
Ivan Corwin QXBTW6QKAF
| URI | m2://inv/QXBTW6QKAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivan Corwin, Ivan Corwin (topic). Also Wikidata Q50345102
History
- 2026-11-02: add by m2/dev
QXCSVFVC5G QXCSVFVC5G
| URI | m2://inv/QXCSVFVC5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2311.00918#GG75 (statement). In 2SMJ5V7FZ7/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
SuperCROSS QXD5WRY96J
| URI | m2://inv/QXD5WRY96J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#W6K5, SuperCROSS (unknown)
History
- 2026-11-02: add by m2/dev
Signs in the local identities QXD5YTH6VY
| URI | m2://inv/QXD5YTH6VY |
|---|---|
| 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.38838#I83T, Signs in the local identities (statement). In 3EH8M9GWTX/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Computational geometry QXDD99PPTT
| URI | m2://inv/QXDD99PPTT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#WE7L, Computational geometry (topic)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#0SD2, Computational geometry (topic)
History
- 2026-11-02: add by m2/dev
QXDYMMP7CK QXDYMMP7CK
| URI | m2://inv/QXDYMMP7CK |
|---|---|
| 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.09557#FQUV (statement). In VHC7FQVPCZ/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Bowen–Fisk QXE0V8DMWJ
| URI | m2://inv/QXE0V8DMWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24860#2203, Bowen–Fisk (statement)
History
- 2026-11-01: add by m2/v0.6.15
The exponential-integral specialization QXE818XKV1
| URI | m2://inv/QXE818XKV1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-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.26110#WFR1, The exponential-integral specialization (example)
History
- 2026-11-01: add by m2/v0.6.15
Fourier transform and Heisenberg uncertainty principle QXE8V9QSRQ
| URI | m2://inv/QXE8V9QSRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#7L8M, Fourier transform and Heisenberg uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
QXEGYXV1YS QXEGYXV1YS
| URI | m2://inv/QXEGYXV1YS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
QXEP0B58TG QXEP0B58TG
| URI | m2://inv/QXEP0B58TG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34295#31K1 (statement). In A93R925Z24/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Gödel numbering for sequences QXERC5Y7AB
| URI | m2://inv/QXERC5Y7AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel numbering for sequences, Gödel numbering for sequences (definition). Also Wikidata Q5626453
History
- 2026-11-02: add by m2/dev
QXEZ1BHB1W QXEZ1BHB1W
| URI | m2://inv/QXEZ1BHB1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#N2VZ (statement). In DG9TF5X0EG/e1, lemma 11
History
- 2026-10-27: add by m2/v0.4.0
QXFB5HTMQR QXFB5HTMQR
| URI | m2://inv/QXFB5HTMQR |
|---|---|
| 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 2610.13042#L6DJ (statement). In 4QA108C07Y/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Théodore Olivier QXFV95XRP4
| URI | m2://inv/QXFV95XRP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Théodore Olivier, Théodore Olivier (topic). Also Wikidata Q3526475
History
- 2026-11-02: add by m2/dev
QXFVEJBM9H QXFVEJBM9H
| URI | m2://inv/QXFVEJBM9H |
|---|---|
| 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#1E0Z (statement). In 63MJS935N4/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
QXFXKHKR9G QXFXKHKR9G
| URI | m2://inv/QXFXKHKR9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#APX3 (statement). In 7MV7RGDVXF/e1, theorem 5.2.1
History
- 2026-10-29: add by m2/v0.4.10
Logarithmic uncertainty principle for metaplectic operators QXG0HE1W04
| URI | m2://inv/QXG0HE1W04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34946#M9KE, Logarithmic uncertainty principle for metaplectic operators (statement). In Y27BAB2BB4/e1, proposition 1.6
History
- 2026-10-30: add by m2/v0.4.12
Spinor norm QXG26MREEP
| URI | m2://inv/QXG26MREEP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal group#PYYG, Spinor norm (unknown)
History
- 2026-11-02: add by m2/dev
Positive semidefinite matrices QXG5MD1SX2
| URI | m2://inv/QXG5MD1SX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definite matrix#SDTX, Positive semidefinite matrices (unknown)
History
- 2026-11-02: add by m2/dev
Exponential-logarithmic distribution QXG8TGY1K1
| URI | m2://inv/QXG8TGY1K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#ZQU4, Exponential-logarithmic distribution (definition)
History
- 2026-11-02: add by m2/dev
Institute of Religious Education and Pastoral Ministry (IREPM) QXGJH26A6T
| URI | m2://inv/QXGJH26A6T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#DZUW, Institute of Religious Education and Pastoral Ministry (IREPM) (unknown)
History
- 2026-11-02: add by m2/dev
QXGQSGWNJ6 QXGQSGWNJ6
| URI | m2://inv/QXGQSGWNJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08426#2ZNR (statement). In YG2DPMNZ1N/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
QXGRMXMXQ0 QXGRMXMXQ0
| URI | m2://inv/QXGRMXMXQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#R0NR (statement). In HBZXCMYPME/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Examples QXGXWJG4QQ
| URI | m2://inv/QXGXWJG4QQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heap (mathematics)#2AWF, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition QXH1MCY1NJ
| URI | m2://inv/QXH1MCY1NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical exponent of a word#5QCK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples QXH48DTBEM
| URI | m2://inv/QXH48DTBEM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bijective numeration#IIS2, Examples (example)
History
- 2026-11-02: add by m2/dev
QXH5P2PNMJ QXH5P2PNMJ
| URI | m2://inv/QXH5P2PNMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#F9LO (statement). In HGE2NCQW29/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
QXH6FYWE32 QXH6FYWE32
| URI | m2://inv/QXH6FYWE32 |
|---|---|
| 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.01858#VUUF (statement). In NXSV14WJKJ/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
QXHAKRG8RE QXHAKRG8RE
| URI | m2://inv/QXHAKRG8RE |
|---|---|
| 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.07451#VWJO (statement). In P7KT88N75Q/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
Bias QXHR7W9N6W
| URI | m2://inv/QXHR7W9N6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#H1Q6, Bias (statement)
History
- 2026-11-02: add by m2/v0.6.17
QXHW9CTHQ2 QXHW9CTHQ2
| URI | m2://inv/QXHW9CTHQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/undecidability.tex#thm-2 (statement). In PKGMM3P5QY, thm, section 29.2
History
- 2026-11-01: add by m2/v0.6.13
QXJ1VGHXYA QXJ1VGHXYA
| URI | m2://inv/QXJ1VGHXYA |
|---|---|
| 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.00379#VQCH (statement). In BTSCWAGACB/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Functional notation QXJ72AKC5X
| URI | m2://inv/QXJ72AKC5X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function (mathematics)#JP8X, Functional notation (unknown)
History
- 2026-11-02: add by m2/dev
monotonicity of the integral QXJDPC2EB1
| URI | m2://inv/QXJDPC2EB1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.2.2/monotonicity-of-the-integral, monotonicity of the integral (concept). In E59CDZA4DP, index, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
Enrico D'Ovidio QXJQCH28CB
| URI | m2://inv/QXJQCH28CB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#PTLM, Enrico D'Ovidio (topic)
History
- 2026-11-02: add by m2/dev
QXJT2E3NEC QXJT2E3NEC
| URI | m2://inv/QXJT2E3NEC |
|---|---|
| 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#PQQL (statement). In GAG532VMPF/e1, lemma 3.4.9
History
- 2026-10-27: add by m2/v0.3.5
Trapezoidal number QXJTT150WW
| URI | m2://inv/QXJTT150WW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polite number#6A9Z, Trapezoidal number (unknown)
History
- 2026-11-02: add by m2/dev
Empirical distribution function QXK4GHVTDC
| URI | m2://inv/QXK4GHVTDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9YO4, Empirical distribution function (definition)
History
- 2026-11-02: add by m2/dev
QXK64GSQZ6 QXK64GSQZ6
| URI | m2://inv/QXK64GSQZ6 |
|---|---|
| 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 2308.05715#5UDG (definition). In FC0SB9JFWH/e1, definition 10.1
History
- 2026-10-27: add by m2/v0.3.5
QXK7YE685X QXK7YE685X
| URI | m2://inv/QXK7YE685X |
|---|---|
| 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 2504.13328#CYWG (definition). In 736Q32FYCG/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
QXKA6ECTS4 QXKA6ECTS4
| URI | m2://inv/QXKA6ECTS4 |
|---|---|
| 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.17547#EO04 (definition). In XJ59TDP4HA/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Example QXKAVY3JP9
| URI | m2://inv/QXKAVY3JP9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slack variable#ILTZ, Example (example)
History
- 2026-11-02: add by m2/dev
QXKKR07DXK QXKKR07DXK
| URI | m2://inv/QXKKR07DXK |
|---|---|
| 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 2602.13510#74V4 (definition). In Y75MQW7CFV/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
McMullen problem QXKME84F2T
| URI | m2://inv/QXKME84F2T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McMullen problem, McMullen problem (conjecture). Also Wikidata Q6802408
History
- 2026-11-02: add by m2/dev
Non-collinear triples QXKNAZMM08
| URI | m2://inv/QXKNAZMM08 |
|---|---|
| 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.15340#VVYD, Non-collinear triples (statement). In 9NVKKW8HDH/e1, theorem 2.101
History
- 2026-10-28: add by m2/v0.4.2
Properties QXKSQMNMN7
| URI | m2://inv/QXKSQMNMN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subspace topology#MTLP, Properties (statement)
History
- 2026-11-02: add by m2/dev
QXKW8WQKX8 QXKW8WQKX8
| URI | m2://inv/QXKW8WQKX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#E8F4 (statement). In 2VHV0RNTNV/e1, corollary 9.6
History
- 2026-10-29: add by m2/v0.4.12
Gerald Folland QXKYMKAPCH
| URI | m2://inv/QXKYMKAPCH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerald Folland, Gerald Folland (topic). Also Wikidata Q5549145
History
- 2026-11-02: add by m2/dev
QXM0G7D3EA QXM0G7D3EA
| URI | m2://inv/QXM0G7D3EA |
|---|---|
| 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 2109.12716#MSQF (statement). In 6X76XBE3HV/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Bell polynomials QXM3H743CV
| URI | m2://inv/QXM3H743CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#IYL7, Bell polynomials (definition)
- wikipedia: Wikipedia List of partition topics#G2PG, Bell polynomials (definition)
History
- 2026-11-02: add by m2/dev
QXM3WE08QA QXM3WE08QA
| URI | m2://inv/QXM3WE08QA |
|---|---|
| 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 2506.09840#V3E6 (statement). In Y7TWHSF2HC/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Emil Martinec QXM6M3D0X4
| URI | m2://inv/QXM6M3D0X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#EXFN, Emil Martinec (unknown)
History
- 2026-11-02: add by m2/dev
QXMA3RRXES QXMA3RRXES
| URI | m2://inv/QXMA3RRXES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05582#1X7L (statement). In 9X4TANWWWR/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Blumberg, Carol Joyce QXMKRQ8S7S
| URI | m2://inv/QXMKRQ8S7S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#20DV, Blumberg, Carol Joyce (topic)
History
- 2026-11-02: add by m2/dev
Simple structure, invisible to symmetry QXMRTC1AKZ
| URI | m2://inv/QXMRTC1AKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.40290#SXDA, Simple structure, invisible to symmetry (statement). In 4K1CNBYJHF/e1, corollary 8.3
History
- 2026-10-30: add by m2/v0.4.12
QXMTFBQGRR QXMTFBQGRR
| URI | m2://inv/QXMTFBQGRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#WAPV (statement)
History
- 2026-11-02: add by m2/v0.6.17
QXMX1X1CSE QXMX1X1CSE
| URI | m2://inv/QXMX1X1CSE |
|---|---|
| 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.13773#217V (statement). In E75XQY0QFM/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
QXN6H59NQ5 QXN6H59NQ5
| URI | m2://inv/QXN6H59NQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20583#HG6S (statement). In 5YEEPDPAQE/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Examples QXNTE1ZG8K
| URI | m2://inv/QXNTE1ZG8K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinor#ZVVN, Examples (example)
History
- 2026-11-02: add by m2/dev
Fourier–Bros–Iagolnitzer transform QXNWJHT4B8
| URI | m2://inv/QXNWJHT4B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#4FW9, Fourier–Bros–Iagolnitzer transform (definition)
History
- 2026-11-02: add by m2/dev
Simultaneous norm-character coefficients QXP7Z4GNTJ
| URI | m2://inv/QXP7Z4GNTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#T28M, Simultaneous norm-character coefficients (statement). In 7NS75J7HAM/e1, lemma 9.32
History
- 2026-10-31: add by m2/v0.5.6
QXP85XPBRF QXP85XPBRF
| URI | m2://inv/QXP85XPBRF |
|---|---|
| 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.29723#3PCQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yhprum's law QXP8BSDR5M
| URI | m2://inv/QXP8BSDR5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yhprum's law, Yhprum's law (statement). Also Wikidata Q2600267
History
- 2026-11-02: add by m2/dev
presentation of a group QXPFB0RMGW
| URI | m2://inv/QXPFB0RMGW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Presentation of a group 0JGEQXQ4AC |
Mentions
- wikidata: Wikidata Q915906, presentation of a group (concept). Also EoM Presentation, MathWorld GroupPresentation, ProofWiki Definition:Group_Presentation
- wikipedia: Wikipedia Presentation of a group, Presentation of a group (definition). Also Wikidata Q915906
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Example QXPJ51BGRK
| URI | m2://inv/QXPJ51BGRK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forest plot#A1GS, Example (example)
History
- 2026-11-02: add by m2/dev
Generalizations QXPK2QGZ89
| URI | m2://inv/QXPK2QGZ89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Bonnet theorem#JLYB, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
QXQ0NHW147 QXQ0NHW147
| URI | m2://inv/QXQ0NHW147 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#8ZKA (statement). In 9XMZTTSF5E/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Arithmetic operation QXQA7E1Z0Y
| URI | m2://inv/QXQA7E1Z0Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic#E824, Arithmetic operation (unknown)
History
- 2026-11-02: add by m2/dev
Examples QXQKPQYAQR
| URI | m2://inv/QXQKPQYAQR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-space (functional analysis)#OC7Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Almost perfect number QXQM2HVSBP
| URI | m2://inv/QXQM2HVSBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#O70G, Almost perfect number (definition)
History
- 2026-11-02: add by m2/dev
QXQQ90QY8Z QXQQ90QY8Z
| URI | m2://inv/QXQQ90QY8Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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 0906.3062#05W3 (definition). In R0XRMGK6ZQ/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Properties QXQTN888V9
| URI | m2://inv/QXQTN888V9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential tilting#I8SC, Properties (statement)
History
- 2026-11-02: add by m2/dev
QXQZDT5F4H QXQZDT5F4H
| URI | m2://inv/QXQZDT5F4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12425#Z6NK (statement). In 1JAFPETDGB/e1, lemma 1.1
History
- 2026-10-28: add by m2/v0.4.2
Immanant of a matrix QXR5XFPQ1E
| URI | m2://inv/QXR5XFPQ1E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15297666, Immanant of a matrix (concept). Also MathWorld Immanant
- wikipedia: Wikipedia Immanant, Immanant (definition). Also Wikidata Q15297666
History
- 2026-10-26: add by m2/dev
Observable Lyapunov exponent QXR6K7S4PB
| URI | m2://inv/QXR6K7S4PB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27484#JPO2, Observable Lyapunov exponent (definition)
History
- 2026-11-01: add by m2/v0.6.15
Total variation QXRH54XV46
| URI | m2://inv/QXRH54XV46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#NLSG, Total variation (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#2FHL, Total variation (definition)
History
- 2026-11-02: add by m2/dev
Rabi formula for a static perturbation QXRW6J5R7S
| URI | m2://inv/QXRW6J5R7S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-state quantum system#EC79, Rabi formula for a static perturbation (statement)
History
- 2026-11-02: add by m2/dev
Elliptic Parametrix QXRW82Y6YN
| URI | m2://inv/QXRW82Y6YN |
|---|---|
| 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 2112.14455#M3NG, Elliptic Parametrix (statement). In VDE5R8HBS1/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.5
QXRYP5F952 QXRYP5F952
| URI | m2://inv/QXRYP5F952 |
|---|---|
| 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.39330#ZQQN (statement). In 7ZTJ23YG7A/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Wart QXS95YSG37
| URI | m2://inv/QXS95YSG37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#QS74, Wart (unknown)
History
- 2026-11-02: add by m2/dev
Direct Finiteness Conjecture QXSJCD6X2X
| URI | m2://inv/QXSJCD6X2X |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 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 2402.08625#8VH7, Direct Finiteness Conjecture (conjecture). In F2Y9SQ2VP4/e1, conjecture 2
History
- 2026-10-27: add by m2/v0.4.0
Probability plot QXSKF7Y8QN
| URI | m2://inv/QXSKF7Y8QN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CMH1, Probability plot (unknown)
- wikipedia: Wikipedia List of graphical methods#9SLK, Probability plot (unknown)
History
- 2026-11-02: add by m2/dev
QXSNBPNCXE QXSNBPNCXE
| URI | m2://inv/QXSNBPNCXE |
|---|---|
| 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.06810#SXQP (statement). In 1NY2SA03XF/e1, fact 2.1
History
- 2026-10-29: add by m2/v0.4.10
Walter Warner QXSRGBB16T
| URI | m2://inv/QXSRGBB16T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Warner, Walter Warner (topic). Also Wikidata Q3565913
History
- 2026-11-02: add by m2/dev
QXSS4GV9WQ QXSS4GV9WQ
| URI | m2://inv/QXSS4GV9WQ |
|---|---|
| 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#1JNW (statement). In WJ76MVYAZQ/e1, proposition 3.15
History
- 2026-10-28: add by m2/v0.4.2
Griliches, Zvi QXSTR3C5HK
| URI | m2://inv/QXSTR3C5HK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5KI2, Griliches, Zvi (unknown)
History
- 2026-11-02: add by m2/dev
QXT7XBSGTT QXT7XBSGTT
| URI | m2://inv/QXT7XBSGTT |
|---|---|
| Kind | example |
| 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.31910#DLAD (example). In E4EK1XXPY4/e1, example 4.13
History
- 2026-10-31: add by m2/v0.5.6
Second law of thermodynamics QXT9BQN9GM
| URI | m2://inv/QXT9BQN9GM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temperature#UHAA, Second law of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
QXT9XHEZJA QXT9XHEZJA
| URI | m2://inv/QXT9XHEZJA |
|---|---|
| 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#VR5O (definition). In Q5Z178SAHP/e1, definition 6.4
History
- 2026-10-30: add by m2/v0.4.12
Norman Levinson QXTEFZGKPK
| URI | m2://inv/QXTEFZGKPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norman Levinson, Norman Levinson (topic). Also Wikidata Q795335
History
- 2026-11-02: add by m2/dev
Turing computability QXTSB6CKE3
| URI | m2://inv/QXTSB6CKE3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#DRXJ, Turing computability (topic)
History
- 2026-11-02: add by m2/dev
QXV1BNPTCJ QXV1BNPTCJ
| URI | m2://inv/QXV1BNPTCJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treewidth#W1AL (problem)
History
- 2026-11-02: add by m2/dev
QXV1ECPV9T QXV1ECPV9T
| URI | m2://inv/QXV1ECPV9T |
|---|---|
| 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 2404.18704#II03 (statement). In T4MQVXFGWC/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Semicomputable function QXV56F89SH
| URI | m2://inv/QXV56F89SH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semicomputable function, Semicomputable function (definition). Also Wikidata Q7449379
History
- 2026-11-02: add by m2/dev
QXV56T03SW QXV56T03SW
| URI | m2://inv/QXV56T03SW |
|---|---|
| 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 2510.17071#KNLE (statement). In T374KWG8AP/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.0
QXVGYV76Y4 QXVGYV76Y4
| URI | m2://inv/QXVGYV76Y4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#U8VH (statement). In S8NB83KQX3/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
Design parameters for the unitary family QXVSXJ7BMN
| URI | m2://inv/QXVSXJ7BMN |
|---|---|
| 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.15340#5KPM, Design parameters for the unitary family (statement). In 9NVKKW8HDH/e1, corollary 2.47
History
- 2026-10-28: add by m2/v0.4.2
Lagrangian mechanics QXVW644QTX
| URI | m2://inv/QXVW644QTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q324669, Lagrangian mechanics (definition). Also ProofWiki Definition:Lagrangian_Mechanics
- wikipedia: Wikipedia Lagrangian mechanics, Lagrangian mechanics (definition). Also Wikidata Q324669
History
- 2026-10-26: add by m2/dev
Sylvester's law of inertia (uniqueness) QXVYMHT452
| URI | m2://inv/QXVYMHT452 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > Sylvester's law of inertia (uniqueness), Sylvester's law of inertia (uniqueness) (unknown). Also Mathlib QuadraticForm.sigPos_of_equiv_weightedSumSquares
History
- 2026-10-26: add by m2/dev
shape operator QXVYXEEQSG
| URI | m2://inv/QXVYXEEQSG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121144431, shape operator (concept). Also MathWorld ShapeOperator
History
- 2026-10-26: add by m2/dev
QXVZ0F5D7A QXVZ0F5D7A
| URI | m2://inv/QXVZ0F5D7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#QKOD (statement). In 1PN6NESQER/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
QXW49DRFZS QXW49DRFZS
| URI | m2://inv/QXW49DRFZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.07001#FH7F (statement). In 5DFTVG7FFF/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Bifurcation theory QXW8Z3TZZY
| URI | m2://inv/QXW8Z3TZZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#T7IA, Bifurcation theory (definition)
History
- 2026-11-02: add by m2/dev
QXWPJ15ZXV QXWPJ15ZXV
| URI | m2://inv/QXWPJ15ZXV |
|---|---|
| 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.32977#IVU2 (statement). In 4KT9TK3MG4/e1, lemma D.3
History
- 2026-10-31: add by m2/v0.5.6
QXWTGQG2CE QXWTGQG2CE
| URI | m2://inv/QXWTGQG2CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16114#47T1 (statement). In JZZ3FJ382R/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Hyperbolic volume QXWTRV427X
| URI | m2://inv/QXWTRV427X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic volume, Hyperbolic volume (definition). Also Wikidata Q5957811
History
- 2026-11-02: add by m2/dev
QXWVBFAYAN QXWVBFAYAN
| URI | m2://inv/QXWVBFAYAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.03431#SZ0Q (statement). In XVYZGSQ9S9/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
QXWY90V88W QXWY90V88W
| URI | m2://inv/QXWY90V88W |
|---|---|
| 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.15805#UU7O (statement). In 2XVWG0Z18V/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
QXWYFGDGVE QXWYFGDGVE
| URI | m2://inv/QXWYFGDGVE |
|---|---|
| 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.15881#Z9EE (statement). In RK0JCSYK33/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
QXWYMPFFBV QXWYMPFFBV
| URI | m2://inv/QXWYMPFFBV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
10-orthoplex QXX7DTV700
| URI | m2://inv/QXX7DTV700 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#85LT, 10-orthoplex (object)
History
- 2026-11-02: add by m2/dev
Fay's trisecant identity QXX8T60DWG
| URI | m2://inv/QXX8T60DWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fay's trisecant identity, Fay's trisecant identity (statement). Also Wikidata Q5438875
History
- 2026-11-02: add by m2/dev
Stochastic partial differential equation QXXC222ECX
| URI | m2://inv/QXXC222ECX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic partial differential equation, Stochastic partial differential equation (definition). Also Wikidata Q16979017
History
- 2026-11-02: add by m2/dev
cofinite QXXK57Y0B2
| URI | m2://inv/QXXK57Y0B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#YN4A, cofinite (definition)
History
- 2026-11-02: add by m2/dev
QXXM0J3D8G QXXM0J3D8G
| URI | m2://inv/QXXM0J3D8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#B6PG (statement). In YCRZC9SDCE/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
The Man Who Loved Only Numbers QXXRCE66VJ
| URI | m2://inv/QXXRCE66VJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#UDP5, The Man Who Loved Only Numbers (definition)
History
- 2026-11-02: add by m2/dev
Lander, Parkin, and Selfridge conjecture QXXY75H64Q
| URI | m2://inv/QXXY75H64Q |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15427141, Lander, Parkin, and Selfridge conjecture (conjecture). Also MathWorld DiophantineEquation5thPowers
- wikipedia: Wikipedia Lander, Parkin, and Selfridge conjecture, Lander, Parkin, and Selfridge conjecture (conjecture). Also Wikidata Q15427141
History
- 2026-10-26: add by m2/dev
600-cell QXY4KSY5EN
| URI | m2://inv/QXY4KSY5EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | 600-cell 8MNQDK5X5W |
Mentions
- wikidata: Wikidata Q2610844, 600-cell (unknown). Also MathWorld 600-Cell, nLab 600-cell
- wikipedia: Wikipedia 600-cell, 600-cell (definition). Also Wikidata Q2610844
History
- 2026-10-26: add by m2/dev
Arbitrary union QXY4QE4Q0Q
| URI | m2://inv/QXY4QE4Q0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Union (set theory)#6JN3, Arbitrary union (unknown)
History
- 2026-11-02: add by m2/dev
QXY7NAKG04 QXY7NAKG04
| URI | m2://inv/QXY7NAKG04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#5EAY (statement). In KS30K5JXGB/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
bijection QXY8BRZ1C9
| URI | m2://inv/QXY8BRZ1C9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.4/bijection, bijection (concept). In QKM9DD2H56, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
Tactical asset QXYDYHRS66
| URI | m2://inv/QXYDYHRS66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#ZAMQ, Tactical asset (unknown)
History
- 2026-11-02: add by m2/dev
Paul Dirac QXYE078JX5
| URI | m2://inv/QXYE078JX5 |
|---|---|
| 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 Q47480, Paul Dirac (unknown). Also nLab Paul Dirac
- wikipedia: Wikipedia Paul Dirac, Paul Dirac (topic). Also Wikidata Q47480
History
- 2026-10-26: add by m2/dev
Sample matrix inversion QXYK5XHGPX
| URI | m2://inv/QXYK5XHGPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample matrix inversion, Sample matrix inversion (definition). Also Wikidata Q7410141
History
- 2026-11-02: add by m2/dev
QXYMDT7CVY QXYMDT7CVY
| URI | m2://inv/QXYMDT7CVY |
|---|---|
| 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.15847#ZKGV (statement). In BTV3DAMX28/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
The boundary of the boundary is empty QXYNFN4CJP
| URI | m2://inv/QXYNFN4CJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#theorem-1, The boundary of the boundary is empty (statement). In RZP28ERRZV, theorem, section 46.4
History
- 2026-11-01: add by m2/v0.6.13
Lajos Pukánszky QXYQPG7GWC
| URI | m2://inv/QXYQPG7GWC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lajos Pukánszky, Lajos Pukánszky (topic). Also Wikidata Q1641798
History
- 2026-11-02: add by m2/dev
Transition rate matrix QXYSQ1QFM7
| URI | m2://inv/QXYSQ1QFM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V4V3, Transition rate matrix (definition)
History
- 2026-11-02: add by m2/dev
Errors-in-variables model QXYX5889VR
| URI | m2://inv/QXYX5889VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Errors-in-variables model, Errors-in-variables model (definition). Also Wikidata Q5395728
History
- 2026-11-02: add by m2/dev
Number of rounds QXZ2NE6QT2
| URI | m2://inv/QXZ2NE6QT2 |
|---|---|
| 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.12641#AUZ2, Number of rounds (statement). In X5BYGZZHPF/e1, corollary I.4
History
- 2026-10-28: add by m2/v0.4.2
QXZ4W8MY41 QXZ4W8MY41
| URI | m2://inv/QXZ4W8MY41 |
|---|---|
| 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.21388#1J5O (statement)
History
- 2026-11-02: add by m2/v0.6.18
QXZBGVF3J8 QXZBGVF3J8
| URI | m2://inv/QXZBGVF3J8 |
|---|---|
| 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.04069#5MXO (statement). In ZA7WXGZYWC/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.12
Reeb local stability theorem QXZJ9MQ054
| URI | m2://inv/QXZJ9MQ054 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeb stability theorem#JASK, Reeb local stability theorem (statement)
History
- 2026-11-02: add by m2/dev