Inventory rows XQ
The cards of the rows of the inventory whose ids start with XQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
XQ05MWJSRN XQ05MWJSRN
| URI | m2://inv/XQ05MWJSRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39269#DGO5 (statement). In HS4X20TX33/e1, lemma 0.24
History
- 2026-10-30: add by m2/v0.4.12
Induction puzzles XQ06TW3RFV
| URI | m2://inv/XQ06TW3RFV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#KKKJ, Induction puzzles (problem)
History
- 2026-11-02: add by m2/dev
The statement XQ08PM1N62
| URI | m2://inv/XQ08PM1N62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian correlation inequality#2GYI, The statement (statement)
History
- 2026-11-02: add by m2/dev
XQ0BZA49SP XQ0BZA49SP
| URI | m2://inv/XQ0BZA49SP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/bounded-minimization.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 3.18
History
- 2026-11-01: add by m2/v0.6.13
XQ0E3VK4GK XQ0E3VK4GK
| URI | m2://inv/XQ0E3VK4GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#FVDT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lovász Local Lemma (Asymmetric) XQ0FPK8BMV
| URI | m2://inv/XQ0FPK8BMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_lovasz-local.ptx#lem_LLL, Lovász Local Lemma (Asymmetric) (statement). In QKM9DD2H56, lemma, section 16.7
History
- 2026-11-01: add by m2/v0.6.13
biconnected component XQ0QWDN3AF
| URI | m2://inv/XQ0QWDN3AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25439959, biconnected component (unknown). Also MathWorld Block
- wikipedia: Wikipedia Biconnected component, Biconnected component (definition). Also Wikidata Q25439959
History
- 2026-10-26: add by m2/dev
XQ0R44FMEW XQ0R44FMEW
| URI | m2://inv/XQ0R44FMEW |
|---|---|
| Kind | example |
| 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.21535#929Z (example)
History
- 2026-11-02: add by m2/v0.6.18
Components and cyclic restrictions XQ0RF1GETK
| URI | m2://inv/XQ0RF1GETK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#XIWU, Components and cyclic restrictions (definition). In 6G1KBA0SXV/e1, definition 4.27
History
- 2026-10-31: add by m2/v0.5.6
Shapley–Folkman theorem XQ0SZG3EP5
| URI | m2://inv/XQ0SZG3EP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#FLZC, Shapley–Folkman theorem (statement)
History
- 2026-11-02: add by m2/dev
Moore plane XQ0WMPMTK9
| URI | m2://inv/XQ0WMPMTK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of examples in general topology#IUNP, Moore plane (definition)
History
- 2026-11-02: add by m2/dev
XQ0Y2CFTXD XQ0Y2CFTXD
| URI | m2://inv/XQ0Y2CFTXD |
|---|---|
| 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 2506.16491#CQXK (definition). In P9J6P06Y40/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Lawvere XQ1234W3Z5
| URI | m2://inv/XQ1234W3Z5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/lawvere, Lawvere (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Third law XQ17D8ZRJ7
| URI | m2://inv/XQ17D8ZRJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laws of thermodynamics#CBFI, Third law (statement)
History
- 2026-11-02: add by m2/dev
Amitsur–Levitzki theorem XQ1ASHBDB5
| URI | m2://inv/XQ1ASHBDB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4746948, Amitsur–Levitzki theorem (statement). Also Wikidata Q4746948
- thousand_plus: thousand_plus Q4746948, Amitsur–Levitzki theorem (statement). Also Wikidata Q4746948, Wikipedia Amitsur–Levitzki theorem
- wikipedia: Wikipedia Amitsur–Levitzki theorem, Amitsur–Levitzki theorem (statement). Also Wikidata Q4746948
History
- 2026-10-26: add by m2/dev
XQ1CPY5CW6 XQ1CPY5CW6
| URI | m2://inv/XQ1CPY5CW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#SLD0 (statement). In 7V3HG30ZGW/e1, proposition A.26
History
- 2026-10-27: add by m2/v0.4.0
Construction XQ1D7R5W75
| URI | m2://inv/XQ1D7R5W75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jet Propulsion Laboratory Development Ephemeris#ES1B, Construction (definition)
History
- 2026-11-02: add by m2/dev
XQ1P5GYRVG XQ1P5GYRVG
| URI | m2://inv/XQ1P5GYRVG |
|---|---|
| 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 2011.08789#USIA (statement). In 43AGRMP7T3/e1, lemma 1.20
History
- 2026-10-27: add by m2/v0.3.5
Hexacontagon XQ1Q80SZWT
| URI | m2://inv/XQ1Q80SZWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3MRC, Hexacontagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QOZ3, Hexacontagon (definition)
History
- 2026-11-02: add by m2/dev
It\^{o}'s lemma XQ22BMJFDG
| URI | m2://inv/XQ22BMJFDG |
|---|---|
| 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 2303.10636#4NQ9, It\^{o}'s lemma (statement). In 9SV2RAEPXM/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6
Gino Fano XQ22VRDWNR
| URI | m2://inv/XQ22VRDWNR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MM4C, Gino Fano (topic)
History
- 2026-11-02: add by m2/dev
XQ28H4YTPQ XQ28H4YTPQ
| URI | m2://inv/XQ28H4YTPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21339#OA5W (statement)
History
- 2026-11-02: add by m2/v0.6.18
square graph XQ2BP4E917
| URI | m2://inv/XQ2BP4E917 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126914596, square graph (unknown). Also House of Graphs 674, MathWorld SquareGraph
History
- 2026-10-26: add by m2/dev
Emille D. Lawrence XQ2BZYZ1E6
| URI | m2://inv/XQ2BZYZ1E6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emille D. Lawrence, Emille D. Lawrence (topic). Also Wikidata Q102310078
History
- 2026-11-02: add by m2/dev
Log-concavity of mixed $Q$-coefficients XQ2JKRNQPA
| URI | m2://inv/XQ2JKRNQPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#7RMF, Log-concavity of mixed $Q$-coefficients (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties XQ2KQW6R9P
| URI | m2://inv/XQ2KQW6R9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual cone and polar cone#X92G, Properties (statement)
History
- 2026-11-02: add by m2/dev
Level Sets are Brakke Flows XQ2M50K2G2
| URI | m2://inv/XQ2M50K2G2 |
|---|---|
| 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.21545#19P0, Level Sets are Brakke Flows (statement). In 1Q3H75330M/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.4.2
minimal regular model of a stable curve XQ2QQM1KX0
| URI | m2://inv/XQ2QQM1KX0 |
|---|---|
| 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.40207#HS9Q, minimal regular model of a stable curve (statement). In JXTG8KP95P/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Overlapping circles grid XQ2YA5CW8F
| URI | m2://inv/XQ2YA5CW8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overlapping circles grid, Overlapping circles grid (definition). Also Wikidata Q64759813
History
- 2026-11-02: add by m2/dev
operator norm XQ2YBSPVWW
| URI | m2://inv/XQ2YBSPVWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Operator norm 06EKW1AKXF |
Mentions
- wikidata: Wikidata Q980557, operator norm (unknown). Also MathWorld OperatorNorm
- wikipedia: Wikipedia Operator norm, Operator norm (definition). Also Wikidata Q980557
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
XQ300BK466 XQ300BK466
| URI | m2://inv/XQ300BK466 |
|---|---|
| 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#GUE8 (statement). In WAXS6FS388/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
HP calculators XQ30P1E6R7
| URI | m2://inv/XQ30P1E6R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP calculators, HP calculators (definition). Also Wikidata Q603118
History
- 2026-11-02: add by m2/dev
Gustav Bergmann XQ3101ECNK
| URI | m2://inv/XQ3101ECNK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav Bergmann, Gustav Bergmann (topic). Also Wikidata Q86371
History
- 2026-11-02: add by m2/dev
Approach to a stable equilibrium XQ3NQSVXNC
| URI | m2://inv/XQ3NQSVXNC |
|---|---|
| Kind | example |
| 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.34168#21OR, Approach to a stable equilibrium (example). In 30YQV8N04M/e1, example 8.5
History
- 2026-10-30: add by m2/v0.4.12
XQ3X5ZB6G5 XQ3X5ZB6G5
| URI | m2://inv/XQ3X5ZB6G5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28540#JMMV (statement)
History
- 2026-11-01: add by m2/v0.6.15
XQ44MMND61 XQ44MMND61
| URI | m2://inv/XQ44MMND61 |
|---|---|
| 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.19660#MZD3 (statement). In YKVVY2BW1B/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
XQ4C5PGRZ2 XQ4C5PGRZ2
| URI | m2://inv/XQ4C5PGRZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#IQ7I (statement). In FEE70SSD96/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
XQ4CKWB2Y2 XQ4CKWB2Y2
| URI | m2://inv/XQ4CKWB2Y2 |
|---|---|
| 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#OR47 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Yifeng Liu XQ4NSAAGSX
| URI | m2://inv/XQ4NSAAGSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yifeng Liu, Yifeng Liu (topic). Also Wikidata Q61719445
History
- 2026-11-02: add by m2/dev
XQ4PJWQTXB XQ4PJWQTXB
| URI | m2://inv/XQ4PJWQTXB |
|---|---|
| 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.18329#RIXJ (statement). In 3VWEPEFHN3/e1, theorem 3.15
History
- 2026-10-28: add by m2/v0.4.2
Zeigarnik effect XQ4QT04FKW
| URI | m2://inv/XQ4QT04FKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#Y4GK, Zeigarnik effect (unknown)
History
- 2026-11-02: add by m2/dev
Ivan Damgård XQ5DYWRDD6
| URI | m2://inv/XQ5DYWRDD6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9IP4, Ivan Damgård (unknown)
History
- 2026-11-02: add by m2/dev
spiral of Theodorus XQ5E91AWTY
| URI | m2://inv/XQ5E91AWTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1824656, spiral of Theodorus (unknown). Also MathWorld TheodorusSpiral
- wikipedia: Wikipedia Spiral of Theodorus, Spiral of Theodorus (definition). Also Wikidata Q1824656
History
- 2026-10-26: add by m2/dev
Primary tastes XQ5WE4EDD5
| URI | m2://inv/XQ5WE4EDD5 |
|---|---|
| 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#5ZKB, Primary tastes (unknown)
History
- 2026-11-02: add by m2/dev
Properties XQ63N4P9QB
| URI | m2://inv/XQ63N4P9QB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric distribution#2QGF, Properties (statement)
History
- 2026-11-02: add by m2/dev
XQ65NZ00P6 XQ65NZ00P6
| URI | m2://inv/XQ65NZ00P6 |
|---|---|
| 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.20165#D7QB (statement). In QTD3BP5GA0/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
XQ68RKB9WY XQ68RKB9WY
| URI | m2://inv/XQ68RKB9WY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#N3BD (definition). In BJGS6ZCQ12/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.3.6
XQ6CEJ73NC XQ6CEJ73NC
| URI | m2://inv/XQ6CEJ73NC |
|---|---|
| Kind | conjecture |
| 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#4E3H (conjecture). In 66H5YPQCYV/e1, conjecture 1.3
History
- 2026-10-28: add by m2/v0.4.2
Derivatives of random convex functions XQ6GDKY8E4
| URI | m2://inv/XQ6GDKY8E4 |
|---|---|
| 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.32710#K307, Derivatives of random convex functions (statement). In KVYG6R7CGJ/e1, lemma 3.12
History
- 2026-10-31: add by m2/v0.5.6
XQ6K19Y8B9 XQ6K19Y8B9
| URI | m2://inv/XQ6K19Y8B9 |
|---|---|
| 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.17484#K8U3 (statement). In 5E9GMPKEEP/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
XQ6QCC1C7B XQ6QCC1C7B
| URI | m2://inv/XQ6QCC1C7B |
|---|---|
| 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 2204.10840#T8L2 (statement). In EMS1MAJZ4X/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.6
XQ6XZTAPAE XQ6XZTAPAE
| URI | m2://inv/XQ6XZTAPAE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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 2609.26619#K8I6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Emptiness problem XQ71QFXH85
| URI | m2://inv/XQ71QFXH85 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#5BC0, Emptiness problem (problem)
History
- 2026-11-02: add by m2/dev
XQ7AHPFB3E XQ7AHPFB3E
| URI | m2://inv/XQ7AHPFB3E |
|---|---|
| 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 2411.16655#5PSR (statement). In EJHAXRV685/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
XQ7ARJ4P3F XQ7ARJ4P3F
| URI | m2://inv/XQ7ARJ4P3F |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#X9NA (unknown). In 4YJH4FPWDA/e1, unknown 3.8
History
- 2026-10-30: add by m2/v0.4.12
XQ7B6YSHZ8 XQ7B6YSHZ8
| URI | m2://inv/XQ7B6YSHZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/interpolation/definability.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 46.9
History
- 2026-11-01: add by m2/v0.6.13
XQ7BBPP5A3 XQ7BBPP5A3
| URI | m2://inv/XQ7BBPP5A3 |
|---|---|
| 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.28898#8KI1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
XQ7NNY5KQP XQ7NNY5KQP
| URI | m2://inv/XQ7NNY5KQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#CSYK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications XQ7R95QAGQ
| URI | m2://inv/XQ7R95QAGQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braid group#4DCV, Applications (example)
History
- 2026-11-02: add by m2/dev
Test ideal XQ8047YPMK
| URI | m2://inv/XQ8047YPMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Test ideal, Test ideal (definition). Also Wikidata Q30588259
History
- 2026-11-02: add by m2/dev
Examples XQ82S2G9JR
| URI | m2://inv/XQ82S2G9JR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tragedy of the anticommons#DNHJ, Examples (example)
History
- 2026-11-02: add by m2/dev
XQ85K6SPH0 XQ85K6SPH0
| URI | m2://inv/XQ85K6SPH0 |
|---|---|
| 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 2605.24355#TUWE (statement). In VV3AJMWWCR/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.6
Qualitative data analysis XQ89RYB1K8
| URI | m2://inv/XQ89RYB1K8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative research#FALW, Qualitative data analysis (unknown)
History
- 2026-11-02: add by m2/dev
centered icosahedral number XQ8B8PDA7V
| URI | m2://inv/XQ8B8PDA7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14390666, centered icosahedral number (object). Also OEIS A005902
- wikipedia: Wikipedia Centered icosahedral number, Centered icosahedral number (definition). Also Wikidata Q14390666
History
- 2026-10-26: add by m2/dev
Rudolf Weyrich XQ8CVBZFBC
| URI | m2://inv/XQ8CVBZFBC |
|---|---|
| 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#FAOE, Rudolf Weyrich (unknown)
History
- 2026-11-02: add by m2/dev
Dempster, Arthur P. XQ8M138QGX
| URI | m2://inv/XQ8M138QGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BVP2, Dempster, Arthur P. (topic)
History
- 2026-11-02: add by m2/dev
XQ8RYT02TR XQ8RYT02TR
| URI | m2://inv/XQ8RYT02TR |
|---|---|
| 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.25985#2WSW (statement)
History
- 2026-11-01: add by m2/v0.6.15
structural, set theory XQ91BH2XZM
| URI | m2://inv/XQ91BH2XZM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/structural-set-theory, structural, set theory (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
XQ93VM99Q4 XQ93VM99Q4
| URI | m2://inv/XQ93VM99Q4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#R856 (statement). In XV70TXYS5A/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Terminology XQ94V9BW30
| URI | m2://inv/XQ94V9BW30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multimodal distribution#5HEV, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Majorants for Geometric Primitives XQ95DPEGS8
| URI | m2://inv/XQ95DPEGS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12239#JU5K, Majorants for Geometric Primitives (statement). In CW9MNA6K58/e1, lemma 9.14
History
- 2026-10-28: add by m2/v0.4.2
XQ9EC4GTHM XQ9EC4GTHM
| URI | m2://inv/XQ9EC4GTHM |
|---|---|
| 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 2510.12502#1MHL (statement). In 3A4K47Y9F2/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
Spin(3,1) XQ9NTRPNB2
| URI | m2://inv/XQ9NTRPNB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin group#GMMG, Spin(3,1) (unknown)
History
- 2026-11-02: add by m2/dev
Statement XQ9S09ET8M
| URI | m2://inv/XQ9S09ET8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szemerédi's theorem#D4CJ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Scorza covariant XQ9WDJB795
| URI | m2://inv/XQ9WDJB795 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#QKDK, Scorza covariant (definition)
History
- 2026-11-02: add by m2/dev
XQ9YQB3H1B XQ9YQB3H1B
| URI | m2://inv/XQ9YQB3H1B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#5I91 (definition). In DZ12XTTJSM/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Dyck congruence XQA282R8RW
| URI | m2://inv/XQA282R8RW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup with involution#IFVZ, Dyck congruence (unknown)
History
- 2026-11-02: add by m2/dev
Ringel–Youngs theorem XQA40NJ8R3
| URI | m2://inv/XQA40NJ8R3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NXOO, Ringel–Youngs theorem (statement)
History
- 2026-11-02: add by m2/dev
Example XQA660JXJ1
| URI | m2://inv/XQA660JXJ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable group#9J8I, Example (example)
History
- 2026-11-02: add by m2/dev
Orthonormality XQA7ZMXQEJ
| URI | m2://inv/XQA7ZMXQEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthonormality, Orthonormality (definition). Also Wikidata Q1411166
History
- 2026-11-02: add by m2/dev
knapsack problem XQA9YFTHY2
| URI | m2://inv/XQA9YFTHY2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864457, knapsack problem (unknown). Also MathWorld KnapsackProblem
- wikipedia: Wikipedia Knapsack problem, Knapsack problem (problem). Also Wikidata Q864457
History
- 2026-10-26: add by m2/dev
Streamline upwind Petrov–Galerkin pressure-stabilizing Petrov–Galerkin formulation for incompressible Navier–Stokes equations XQAB9R4JGA
| URI | m2://inv/XQAB9R4JGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Streamline upwind Petrov–Galerkin pressure-stabilizing Petrov–Galerkin formulation for incompressible Navier–Stokes equations, Streamline upwind Petrov–Galerkin pressure-stabilizing Petrov–Galerkin formulation for incompressible Navier–Stokes equations (definition). Also Wikidata Q65038394
History
- 2026-11-02: add by m2/dev
clique XQADKJ2H3S
| URI | m2://inv/XQADKJ2H3S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.4.2/clique, clique (concept). In QKM9DD2H56, index, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
XQADXX8VNZ XQADXX8VNZ
| URI | m2://inv/XQADXX8VNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03814#YI4K (statement). In STPNP83RJS/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
William W. Tait XQAE3245YT
| URI | m2://inv/XQAE3245YT |
|---|---|
| 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 Q8019843, William W. Tait (unknown). Also nLab William Tait
- wikipedia: Wikipedia William W. Tait, William W. Tait (topic). Also Wikidata Q8019843
History
- 2026-10-26: add by m2/dev
Formal definitions XQAJGVQXRF
| URI | m2://inv/XQAJGVQXRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointless topology#NRO5, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Epsilon-neighborhood XQAVAQB993
| URI | m2://inv/XQAVAQB993 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood (mathematics)#ZRXI, Epsilon-neighborhood (unknown)
History
- 2026-11-02: add by m2/dev
Expectile XQAXBAMGY7
| URI | m2://inv/XQAXBAMGY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectile, Expectile (definition). Also Wikidata Q130748765
History
- 2026-11-02: add by m2/dev
XQAXZ2WGMA XQAXZ2WGMA
| URI | m2://inv/XQAXZ2WGMA |
|---|---|
| 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.15472#6YR7 (statement). In 5Z3FH46YSY/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
XQAYV9VVSQ XQAYV9VVSQ
| URI | m2://inv/XQAYV9VVSQ |
|---|---|
| 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.37466#TQ7M (statement). In KA3KMJQMDY/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Uniform conditional variance XQB0BN34TE
| URI | m2://inv/XQB0BN34TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#R0WX, Uniform conditional variance (statement). In NKW6YQ04QW/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Lemma XQB5DY4VFT
| URI | m2://inv/XQB5DY4VFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#I2FD, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Algebraic properties XQB998BJEH
| URI | m2://inv/XQB998BJEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter graph#L61U, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
XQBBSJH8HT XQBBSJH8HT
| URI | m2://inv/XQBBSJH8HT |
|---|---|
| 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.29393#68LP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Way-below relation XQBJ2VPSW8
| URI | m2://inv/XQBJ2VPSW8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#QLJE, Way-below relation (topic)
History
- 2026-11-02: add by m2/dev
XQBN0RT34B XQBN0RT34B
| URI | m2://inv/XQBN0RT34B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#ZTON (statement)
History
- 2026-11-02: add by m2/v0.6.18
Omnibus test XQBX26MZK2
| URI | m2://inv/XQBX26MZK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3P2A, Omnibus test (definition)
History
- 2026-11-02: add by m2/dev
Propagation of the whole primitive multiset XQBZRR61KW
| URI | m2://inv/XQBZRR61KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#8AMB, Propagation of the whole primitive multiset (statement). In 8BNPFYQDQX/e1, theorem 7.6
History
- 2026-10-29: add by m2/v0.4.10
XQC2HFFDFS XQC2HFFDFS
| URI | m2://inv/XQC2HFFDFS |
|---|---|
| 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 2303.10636#6OS6 (statement). In 9SV2RAEPXM/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.6
XQC3S7SY8R XQC3S7SY8R
| URI | m2://inv/XQC3S7SY8R |
|---|---|
| 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 2609.30279#4UO2 (definition). In DPWKG7FD0H/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Theorem XQC7HK3XS3
| URI | m2://inv/XQC7HK3XS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baker–Campbell–Hausdorff formula#6EPH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XQC8GD30QB XQC8GD30QB
| URI | m2://inv/XQC8GD30QB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Original proof of Gödel's completeness theorem XQC9PJZ055
| URI | m2://inv/XQC9PJZ055 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Original proof of Gödel's completeness theorem, Original proof of Gödel's completeness theorem (statement). Also Wikidata Q7102603
History
- 2026-11-02: add by m2/dev
XQCDQ9XYB2 XQCDQ9XYB2
| URI | m2://inv/XQCDQ9XYB2 |
|---|---|
| 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.21037#J9TB (statement). In PYB2RFYVVE/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.2
Theorem XQCGZRERZW
| URI | m2://inv/XQCGZRERZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#DMDI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Subdivision surface XQCQ4AWJX7
| URI | m2://inv/XQCQ4AWJX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivision surface, Subdivision surface (definition). Also Wikidata Q1529124
History
- 2026-11-02: add by m2/dev
XQCWGHRRQG XQCWGHRRQG
| URI | m2://inv/XQCWGHRRQG |
|---|---|
| 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.13103#DLLY (statement). In GG2ZZV6KEQ/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Ideal gas XQDCDW7GCW
| URI | m2://inv/XQDCDW7GCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#RUF0, Ideal gas (definition)
History
- 2026-11-02: add by m2/dev
Helly–Bray theorem XQDCPHD87T
| URI | m2://inv/XQDCPHD87T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#D44L, Helly–Bray theorem (statement)
History
- 2026-11-02: add by m2/dev
Bert Mendelson XQDMH4QQN8
| URI | m2://inv/XQDMH4QQN8 |
|---|---|
| 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 Q102192938, Bert Mendelson (unknown). Also ProofWiki Mathematician:Bert_Mendelson
History
- 2026-10-26: add by m2/dev
XQDPK7WWW2 XQDPK7WWW2
| URI | m2://inv/XQDPK7WWW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02983#0L5C (statement). In HMNKENER22/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.12
Wigner's theorem (1931) XQDSKHCZEG
| URI | m2://inv/XQDSKHCZEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem#0LGX, Wigner's theorem (1931) (statement)
History
- 2026-11-02: add by m2/dev
finite XQDT784T02
| URI | m2://inv/XQDT784T02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Pigeonhole principles > finite, finite (unknown). Also Mathlib Fintype.exists_ne_map_eq_of_card_lt
History
- 2026-10-26: add by m2/dev
XQDV7NGTQC XQDV7NGTQC
| URI | m2://inv/XQDV7NGTQC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
XQDVG9P57F XQDVG9P57F
| URI | m2://inv/XQDVG9P57F |
|---|---|
| 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.17677#DDNX (statement). In 5E9G06XJKC/e1, lemma G.17
History
- 2026-10-28: add by m2/v0.4.2
centered cube number XQDWA9C6RC
| URI | m2://inv/XQDWA9C6RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190893, centered cube number (unknown). Also MathWorld CenteredCubeNumber, OEIS A005898
- wikipedia: Wikipedia Centered cube number, Centered cube number (definition). Also Wikidata Q190893
History
- 2026-10-26: add by m2/dev
XQDX62M7A5 XQDX62M7A5
| URI | m2://inv/XQDX62M7A5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#2UZ7 (definition). In PWXT7J9JX3/e1, definition 7.10
History
- 2026-10-28: add by m2/v0.4.2
Donald Burkholder XQE14YHXH8
| URI | m2://inv/XQE14YHXH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M0RS, Donald Burkholder (topic)
History
- 2026-11-02: add by m2/dev
Frank A. Stevenson XQEAMWY9X2
| URI | m2://inv/XQEAMWY9X2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank A. Stevenson, Frank A. Stevenson (topic). Also Wikidata Q5484913
History
- 2026-11-02: add by m2/dev
XQEB4FT8GJ XQEB4FT8GJ
| URI | m2://inv/XQEB4FT8GJ |
|---|---|
| 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 2212.06621#PQH1 (statement). In DB223AABTH/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
*{Theorem 1.1 XQEBWN9K3E
| URI | m2://inv/XQEBWN9K3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#78ZX, *{Theorem 1.1 (statement). In 371P9QASSJ/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.4.2
Definition XQEP10JDG7
| URI | m2://inv/XQEP10JDG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes factor#CEB4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Integrable module XQEP9TKNYQ
| URI | m2://inv/XQEP9TKNYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrable module, Integrable module (definition). Also Wikidata Q104848598
History
- 2026-11-02: add by m2/dev
Kathrin Klamroth XQF4FA8464
| URI | m2://inv/XQF4FA8464 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathrin Klamroth, Kathrin Klamroth (topic). Also Wikidata Q95777201
History
- 2026-11-02: add by m2/dev
Sebastian van Strien XQFJTWZKZW
| URI | m2://inv/XQFJTWZKZW |
|---|---|
| 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#NXZ9, Sebastian van Strien (unknown)
History
- 2026-11-02: add by m2/dev
near-square prime XQFNN43ZTJ
| URI | m2://inv/XQFNN43ZTJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q80903301, near-square prime (object). Also OEIS A163588
History
- 2026-10-26: add by m2/dev
Journal of Business & Economic Statistics XQFQ6QG5ZH
| URI | m2://inv/XQFQ6QG5ZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Business & Economic Statistics, Journal of Business & Economic Statistics (topic). Also Wikidata Q4242099
History
- 2026-11-02: add by m2/dev
Hermite constant XQFVJAJQEE
| URI | m2://inv/XQFVJAJQEE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#XT3Q, Hermite constant (object)
History
- 2026-11-02: add by m2/dev
Statement XQFVPTQZTB
| URI | m2://inv/XQFVPTQZTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue's lemma#YQJO, Statement (statement)
History
- 2026-11-02: add by m2/dev
Menelaus' theorem XQFYGKWQVQ
| URI | m2://inv/XQFYGKWQVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#ZUC5, Menelaus' theorem (statement)
History
- 2026-11-02: add by m2/dev
Hideki Omori XQG0C7FRKH
| URI | m2://inv/XQG0C7FRKH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hideki Omori, Hideki Omori (topic). Also Wikidata Q30927260
History
- 2026-11-02: add by m2/dev
XQG3PW8MRC XQG3PW8MRC
| URI | m2://inv/XQG3PW8MRC |
|---|---|
| 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.20568#WLE7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
XQG90H2V2G XQG90H2V2G
| URI | m2://inv/XQG90H2V2G |
|---|---|
| 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.25656#F9WU (statement)
History
- 2026-11-01: add by m2/v0.6.15
XQGEH4N7EA XQGEH4N7EA
| URI | m2://inv/XQGEH4N7EA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1007.4365#9I6H (example). In 935WKCMD8C/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
XQGQ53YRVX XQGQ53YRVX
| URI | m2://inv/XQGQ53YRVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#FCNW (statement). In ZZER8ZBSCR/e1, corollary 6.20
History
- 2026-10-29: add by m2/v0.4.12
XQGQSKQAEV XQGQSKQAEV
| URI | m2://inv/XQGQSKQAEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#6JKV (statement). In 47WN78VDDF/e1, theorem 3.13
History
- 2026-10-30: add by m2/v0.4.12
Sanity check XQGZ1Q00YR
| URI | m2://inv/XQGZ1Q00YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sanity check, Sanity check (definition). Also Wikidata Q1419522
History
- 2026-11-02: add by m2/dev
Group coded recording XQH71FVK7V
| URI | m2://inv/XQH71FVK7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#Q44E, Group coded recording (unknown)
History
- 2026-11-02: add by m2/dev
XQH8FZSHPN XQH8FZSHPN
| URI | m2://inv/XQH8FZSHPN |
|---|---|
| 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.04876#NJJQ (statement). In 2TNAKVC0YP/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
Ron Mael XQHV5TK67H
| URI | m2://inv/XQHV5TK67H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#B1BB, Ron Mael (unknown)
History
- 2026-11-02: add by m2/dev
Classification theorem XQHYEHP2CS
| URI | m2://inv/XQHYEHP2CS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification theorem, Classification theorem (statement). Also Wikidata Q5128418
History
- 2026-11-02: add by m2/dev
XQJ1ZJ4G3S XQJ1ZJ4G3S
| URI | m2://inv/XQJ1ZJ4G3S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#proof-1 (proof). In RZP28ERRZV, proof, section 66.3
History
- 2026-11-01: add by m2/v0.6.13
XQJ3NRYWM1 XQJ3NRYWM1
| URI | m2://inv/XQJ3NRYWM1 |
|---|---|
| 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 0803.0074#14I6 (statement). In NWJEN5GWFV/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Boundedly generated group XQJ5J1SSSZ
| URI | m2://inv/XQJ5J1SSSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundedly generated group, Boundedly generated group (definition). Also Wikidata Q4949989
History
- 2026-11-02: add by m2/dev
Nimish A. Shah XQJ7EZWTYQ
| URI | m2://inv/XQJ7EZWTYQ |
|---|---|
| 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#5SOO, Nimish A. Shah (unknown)
History
- 2026-11-02: add by m2/dev
XQJGZDBGK0 XQJGZDBGK0
| URI | m2://inv/XQJGZDBGK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#0XA5 (statement). In V7SN19J84T/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
XQJJQT03M2 XQJJQT03M2
| URI | m2://inv/XQJJQT03M2 |
|---|---|
| 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#JKY3 (statement). In 9PXXGQ978Z/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Properties XQJKF3EGBK
| URI | m2://inv/XQJKF3EGBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta graph#C9TX, Properties (statement)
History
- 2026-11-02: add by m2/dev
False statement XQJM7T03K3
| URI | m2://inv/XQJM7T03K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False statement, False statement (definition). Also Wikidata Q17949
History
- 2026-11-02: add by m2/dev
Properties XQJV19VW3A
| URI | m2://inv/XQJV19VW3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitonic tour#PPLN, Properties (statement)
History
- 2026-11-02: add by m2/dev
XQJV65FNDG XQJV65FNDG
| URI | m2://inv/XQJV65FNDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#VFR9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ann Cartwright XQJVF80KQ6
| URI | m2://inv/XQJVF80KQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ann Cartwright, Ann Cartwright (topic). Also Wikidata Q4766312
History
- 2026-11-02: add by m2/dev
XQK1BBYEV3 XQK1BBYEV3
| URI | m2://inv/XQK1BBYEV3 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#FU1Q (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Exact positivity via $LDL^\top$ XQK5JNVA6V
| URI | m2://inv/XQK5JNVA6V |
|---|---|
| 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#U4B2, Exact positivity via $LDL^\top$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Determination of the day of the week XQK6X5WAZZ
| URI | m2://inv/XQK6X5WAZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determination of the day of the week, Determination of the day of the week (definition). Also Wikidata Q979637
History
- 2026-11-02: add by m2/dev
XQK97102EH XQK97102EH
| URI | m2://inv/XQK97102EH |
|---|---|
| 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.06326#JX60 (statement). In DPR6B6X0JX/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.10
Applications XQKB6DGS5Z
| URI | m2://inv/XQKB6DGS5Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cooperative bargaining#RO9E, Applications (example)
History
- 2026-11-02: add by m2/dev
XQKHJEXX9S XQKHJEXX9S
| URI | m2://inv/XQKHJEXX9S |
|---|---|
| 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 2506.16491#2P4G (statement). In P9J6P06Y40/e1, theorem 6.10
History
- 2026-10-27: add by m2/v0.3.5
XQKJVFQYCA XQKJVFQYCA
| URI | m2://inv/XQKJVFQYCA |
|---|---|
| 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.39790#JY5H (statement). In C2C9GTQFYF/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Exploration (reinforcement learning) XQKN3YPG0H
| URI | m2://inv/XQKN3YPG0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinforcement learning#E3OC, Exploration (reinforcement learning) (unknown)
History
- 2026-11-02: add by m2/dev
Adolfo Del Chiaro XQKNDB1ET8
| URI | m2://inv/XQKNDB1ET8 |
|---|---|
| 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#SIPR, Adolfo Del Chiaro (unknown)
History
- 2026-11-02: add by m2/dev
XQKT6NVKJX XQKT6NVKJX
| URI | m2://inv/XQKT6NVKJX |
|---|---|
| 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 2606.02312#QP4X (statement). In 1SZV94R22Y/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.3.5
Relative likelihood XQM2QZFAP0
| URI | m2://inv/XQM2QZFAP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O5AB, Relative likelihood (definition)
History
- 2026-11-02: add by m2/dev
Dowker space XQM3CF8HR9
| URI | m2://inv/XQM3CF8HR9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dowker space MXHTKVKB09 |
Mentions
- wikidata: Wikidata Q5302693, Dowker space (concept). Also nLab Dowker space
- wikipedia: Wikipedia Dowker space, Dowker space (definition). Also Wikidata Q5302693
History
- 2026-10-26: add by m2/dev
Rothamsted Research XQM5Q100YK
| URI | m2://inv/XQM5Q100YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rothamsted Research, Rothamsted Research (definition). Also Wikidata Q1326711
History
- 2026-11-02: add by m2/dev
Application of the rational root theorem XQM5TGFPQR
| URI | m2://inv/XQM5TGFPQR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of 2#Y6PM, Application of the rational root theorem (statement)
History
- 2026-11-02: add by m2/dev
Alexander Zinoviev XQM78278YS
| URI | m2://inv/XQM78278YS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Zinoviev, Alexander Zinoviev (topic). Also Wikidata Q449538
History
- 2026-11-02: add by m2/dev
Folded dependent-pair bound XQMBQC97WD
| URI | m2://inv/XQMBQC97WD |
|---|---|
| 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.40252#E65I, Folded dependent-pair bound (statement). In 7MVPNFPRKB/e1, lemma 9.11
History
- 2026-10-30: add by m2/v0.4.12
Special semimartingale XQMF4B0XMX
| URI | m2://inv/XQMF4B0XMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semimartingale#K8GH, Special semimartingale (unknown)
History
- 2026-11-02: add by m2/dev
Definition XQMFFJYQFM
| URI | m2://inv/XQMFFJYQFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted cubic#L7OK, Definition (definition)
History
- 2026-11-02: add by m2/dev
XQMSHA9SR3 XQMSHA9SR3
| URI | m2://inv/XQMSHA9SR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#OJNP (statement). In DPJ15KW23C/e1, lemma B.4
History
- 2026-10-30: add by m2/v0.4.12
XQMWW979K9 XQMWW979K9
| URI | m2://inv/XQMWW979K9 |
|---|---|
| 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.15723#7VAX (statement). In A3KXZ2GBHN/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.2
iid convex-hull lower bounds XQN480YRPD
| URI | m2://inv/XQN480YRPD |
|---|---|
| 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.20687#DBLG, iid convex-hull lower bounds (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem XQN8VSVYHK
| URI | m2://inv/XQN8VSVYHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-divergence#54QB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
type, limit XQNDWKYS5A
| URI | m2://inv/XQNDWKYS5A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/type-limit, type, limit (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Koebe function XQNQPDJ08X
| URI | m2://inv/XQNQPDJ08X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koebe quarter theorem#J6A9, Koebe function (unknown)
History
- 2026-11-02: add by m2/dev
Szüsz, Peter XQNVFGMW1K
| URI | m2://inv/XQNVFGMW1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#X2OU, Szüsz, Peter (topic)
History
- 2026-11-02: add by m2/dev
Victor A. Vassiliev XQP0CZJ0Z6
| URI | m2://inv/XQP0CZJ0Z6 |
|---|---|
| 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#BUE0, Victor A. Vassiliev (unknown)
History
- 2026-11-02: add by m2/dev
Halanay inequality XQPJ7M681Q
| URI | m2://inv/XQPJ7M681Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halanay inequality, Halanay inequality (statement). Also Wikidata Q114315594
History
- 2026-11-02: add by m2/dev
COMPAS XQPZR85SBG
| URI | m2://inv/XQPZR85SBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COMPAS (software), COMPAS (definition). Also Wikidata Q48811072
History
- 2026-11-02: add by m2/dev
Method XQQ05BSHWD
| URI | m2://inv/XQQ05BSHWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mantel test#YGTS, Method (definition)
History
- 2026-11-02: add by m2/dev
XQQ1RWXK5S XQQ1RWXK5S
| URI | m2://inv/XQQ1RWXK5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#0ZU8 (statement). In N6GB5J5BAY/e1, proposition 6.10
History
- 2026-10-29: add by m2/v0.4.10
XQQ5QP73KX XQQ5QP73KX
| URI | m2://inv/XQQ5QP73KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08956#M2SG (statement). In DEE631KR3A/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
XQQDBPQBSS XQQDBPQBSS
| URI | m2://inv/XQQDBPQBSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#SSCS (statement). In R9BC934K3E/e1, lemma A.7
History
- 2026-10-28: add by m2/v0.4.2
Perrin pseudoprime XQR0AXG209
| URI | m2://inv/XQR0AXG209 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perrin number#QXTI, Perrin pseudoprime (unknown)
History
- 2026-11-02: add by m2/dev
SEU, RDU, and CPT restrictions XQR0BD0X7F
| URI | m2://inv/XQR0BD0X7F |
|---|---|
| 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.25026#Q7TW, SEU, RDU, and CPT restrictions (statement)
History
- 2026-11-01: add by m2/v0.6.15
FinSet XQR5SZQF5Y
| URI | m2://inv/XQR5SZQF5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FinSet, FinSet (definition). Also Wikidata Q5449308
History
- 2026-11-02: add by m2/dev
XQR8PAMADH XQR8PAMADH
| URI | m2://inv/XQR8PAMADH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#DDYG (statement). In 55WT8DME6Y/e1, corollary A.6
History
- 2026-10-30: add by m2/v0.4.12
sGKZ vectors can detect K-unstability XQRF7RGVFE
| URI | m2://inv/XQRF7RGVFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.05179#PX9E, sGKZ vectors can detect K-unstability (statement). In 9EMCPF1F2T/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.10
Statement XQRQQ553NT
| URI | m2://inv/XQRQQ553NT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goddard–Thorn theorem#B9EA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Riemannian submanifold XQRT05ERBM
| URI | m2://inv/XQRT05ERBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#DCIO, Riemannian submanifold (definition)
History
- 2026-11-02: add by m2/dev
XQRZV5969R XQRZV5969R
| URI | m2://inv/XQRZV5969R |
|---|---|
| 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.13385#7H1D (statement). In J99CBQ3QYD/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Examples XQS7VEDY6B
| URI | m2://inv/XQS7VEDY6B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Univalent function#YLVJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Adolph Göpel XQS8YVJS8D
| URI | m2://inv/XQS8YVJS8D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adolph Göpel, Adolph Göpel (topic). Also Wikidata Q107675
History
- 2026-11-02: add by m2/dev
XQS9QF1J6M XQS9QF1J6M
| URI | m2://inv/XQS9QF1J6M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-3.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
metabidiminished rhombicosidodecahedron XQSC618QKM
| URI | m2://inv/XQSC618QKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2391977, metabidiminished rhombicosidodecahedron (object). Also MathWorld MetabidiminishedRhombicosidodecahedron
- wikipedia: Wikipedia Metabidiminished rhombicosidodecahedron, Metabidiminished rhombicosidodecahedron (definition). Also Wikidata Q2391977
History
- 2026-10-26: add by m2/dev
*{Prop. 3.1 XQSQ1T0DRA
| URI | m2://inv/XQSQ1T0DRA |
|---|---|
| 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#FZV0, *{Prop. 3.1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
XQSY2D7HEH XQSY2D7HEH
| URI | m2://inv/XQSY2D7HEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#TNLB (statement). In 55WT8DME6Y/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Paul Ehrenfest XQSYYVACMW
| URI | m2://inv/XQSYYVACMW |
|---|---|
| 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 Q84227, Paul Ehrenfest (unknown). Also nLab Paul Ehrenfest
History
- 2026-10-26: add by m2/dev
Hermitian variety XQT3JTB100
| URI | m2://inv/XQT3JTB100 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#8FWW, Hermitian variety (definition)
History
- 2026-11-02: add by m2/dev
undirected graph XQT8D9FF6N
| URI | m2://inv/XQT8D9FF6N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115587, undirected graph (concept). Also MathWorld UndirectedGraph
History
- 2026-10-26: add by m2/dev
Liu XQTAY3PTVH
| URI | m2://inv/XQTAY3PTVH |
|---|---|
| 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.02295#C541, Liu (statement). In PEBD9ZMA1W/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Example XQTKWG1BZH
| URI | m2://inv/XQTKWG1BZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic reciprocity#S723, Example (example)
History
- 2026-11-02: add by m2/dev
Uniform second variation XQTZH7348P
| URI | m2://inv/XQTZH7348P |
|---|---|
| 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.33154#U02I, Uniform second variation (statement). In N28DEYRBW7/e1, lemma I.1
History
- 2026-10-30: add by m2/v0.4.12
Properties of the absolute norm XQV2PSTWKQ
| URI | m2://inv/XQV2PSTWKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#lemma-1, Properties of the absolute norm (statement). In RZP28ERRZV, lemma, section 10.7
History
- 2026-11-01: add by m2/v0.6.13
XQV5G8N4QB XQV5G8N4QB
| URI | m2://inv/XQV5G8N4QB |
|---|---|
| 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.08342#K1C5 (statement). In PJBVMDPSR3/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Applications XQV84ZY712
| URI | m2://inv/XQV84ZY712 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detonation#HQ71, Applications (example)
History
- 2026-11-02: add by m2/dev
contrapositive XQVNWVJRJC
| URI | m2://inv/XQVNWVJRJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249998, contrapositive (unknown). Also nLab contrapositive
History
- 2026-10-26: add by m2/dev
Fermat quotient XQVWBSPP9Q
| URI | m2://inv/XQVWBSPP9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#OC22, Fermat quotient (definition)
History
- 2026-11-02: add by m2/dev
XQVXGZTYG6 XQVXGZTYG6
| URI | m2://inv/XQVXGZTYG6 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#AIFY (statement). In ZA6XNBA90V/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
Burkholder's inequality XQW3XTRR84
| URI | m2://inv/XQW3XTRR84 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#IKXN, Burkholder's inequality (unknown)
History
- 2026-11-02: add by m2/dev
Trade data XQW6F9DGRD
| URI | m2://inv/XQW6F9DGRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trade data, Trade data (definition). Also Wikidata Q105730728
History
- 2026-11-02: add by m2/dev
Bricard linkage XQWF4KA574
| URI | m2://inv/XQWF4KA574 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bricard octahedron#N5WW, Bricard linkage (unknown)
History
- 2026-11-02: add by m2/dev
Gerald Enoch Sacks XQX0QGT77A
| URI | m2://inv/XQX0QGT77A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#N6XP, Gerald Enoch Sacks (topic)
History
- 2026-11-02: add by m2/dev
Appeal to nature XQX6TPTT67
| URI | m2://inv/XQX6TPTT67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#N9XV, Appeal to nature (definition)
History
- 2026-11-02: add by m2/dev
Maximum cut XQXGNPEMR1
| URI | m2://inv/XQXGNPEMR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#NZH7, Maximum cut (definition)
History
- 2026-11-02: add by m2/dev
XQXWT1300V XQXWT1300V
| URI | m2://inv/XQXWT1300V |
|---|---|
| Kind | example |
| 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#PFDD (example). In XXQAW3ZBDF/e1, example 3.5
History
- 2026-10-30: add by m2/v0.4.12
XQXY364JWP XQXY364JWP
| URI | m2://inv/XQXY364JWP |
|---|---|
| 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.24584#P8RO (statement)
History
- 2026-11-01: add by m2/v0.6.15
I. Michael Ross XQXY9MDHWB
| URI | m2://inv/XQXY9MDHWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I. Michael Ross, I. Michael Ross (topic). Also Wikidata Q5968051
History
- 2026-11-02: add by m2/dev
Francis Anderson XQY3XCPVNM
| URI | m2://inv/XQY3XCPVNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Anderson (philosopher), Francis Anderson (topic). Also Wikidata Q5479993
History
- 2026-11-02: add by m2/dev
Clifford analysis XQY4WRZHAR
| URI | m2://inv/XQY4WRZHAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#BOOY, Clifford analysis (definition)
History
- 2026-11-02: add by m2/dev
apparent variable XQYB48KTWW
| URI | m2://inv/XQYB48KTWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#YYR8, apparent variable (definition)
History
- 2026-11-02: add by m2/dev
Construction XQYBA604CG
| URI | m2://inv/XQYBA604CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nauru graph#1RNA, Construction (definition)
History
- 2026-11-02: add by m2/dev
XQYMZV8RYY XQYMZV8RYY
| URI | m2://inv/XQYMZV8RYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03208#38EZ (statement). In A3CMP0TJK2/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Krivelevich, Sudakov XQYY1W5N78
| URI | m2://inv/XQYY1W5N78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#9ZZU, Krivelevich, Sudakov (statement)
History
- 2026-11-01: add by m2/v0.6.15
median XQYZ7009V4
| URI | m2://inv/XQYZ7009V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#EGZ3, median (definition)
History
- 2026-11-02: add by m2/dev
Ladder paradox and transmission of force XQZ375C72P
| URI | m2://inv/XQZ375C72P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladder paradox#C37X, Ladder paradox and transmission of force (statement)
History
- 2026-11-02: add by m2/dev
Luigi Amoroso XQZ9X8Z6GX
| URI | m2://inv/XQZ9X8Z6GX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#NAO9, Luigi Amoroso (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#QVF1, Luigi Amoroso (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2WJK, Luigi Amoroso (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7XKT, Luigi Amoroso (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YCHN, Luigi Amoroso (unknown)
History
- 2026-11-02: add by m2/dev
Riemannian metric and Lie bracket in computational anatomy XQZFAKW8MF
| URI | m2://inv/XQZFAKW8MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian metric and Lie bracket in computational anatomy, Riemannian metric and Lie bracket in computational anatomy (definition). Also Wikidata Q25324524
History
- 2026-11-02: add by m2/dev
A. N. Kolmogorov XQZK2JPSQH
| URI | m2://inv/XQZK2JPSQH |
|---|---|
| Kind | topic |
| 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#1HAK, A. N. Kolmogorov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I0VC, A. N. Kolmogorov (topic)
History
- 2026-11-02: add by m2/dev