Inventory rows QG
The cards of the rows of the inventory whose ids start with QG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kripa Shankar Shukla QG0BAY8T7C
| URI | m2://inv/QG0BAY8T7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripa Shankar Shukla, Kripa Shankar Shukla (definition). Also Wikidata Q120833112
History
- 2026-11-02: add by m2/dev
QG0HK8AFX3 QG0HK8AFX3
| URI | m2://inv/QG0HK8AFX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15698#UGNH (statement). In 69GJX04N6M/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
structure QG0PHPB6S3
| URI | m2://inv/QG0PHPB6S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#LEA0, structure (definition)
History
- 2026-11-02: add by m2/dev
Lehmer's conjecture QG0QZANWXZ
| URI | m2://inv/QG0QZANWXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#KQOI, Lehmer's conjecture (statement)
History
- 2026-11-02: add by m2/dev
QG0X5S94GA QG0X5S94GA
| URI | m2://inv/QG0X5S94GA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/proofs-about-sets.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 82.6
History
- 2026-11-01: add by m2/v0.6.13
QG0YCW0QMF QG0YCW0QMF
| URI | m2://inv/QG0YCW0QMF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#HSO9 (definition). In 1K7M5TD0M2/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
QG10VDSXTP QG10VDSXTP
| URI | m2://inv/QG10VDSXTP |
|---|---|
| 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.12740#TS88 (statement). In HKYRZSZPEC/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
catalecticant QG11W2AWVW
| URI | m2://inv/QG11W2AWVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#PRKG, catalecticant (definition)
History
- 2026-11-02: add by m2/dev
QG18BRRN8K QG18BRRN8K
| URI | m2://inv/QG18BRRN8K |
|---|---|
| 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.03477#SE4U (statement). In GXN3D4G4HE/e1, corollary 2.8
History
- 2026-10-29: add by m2/v0.4.12
QG1AVPNWAD QG1AVPNWAD
| URI | m2://inv/QG1AVPNWAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36725#1VZR (statement). In AR26SZ8JGN/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
QG1CFQ0TCC QG1CFQ0TCC
| URI | m2://inv/QG1CFQ0TCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-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.25449#0EDM (statement). In 9JHMTYGWFQ/e1, lemma 11.4
History
- 2026-10-27: add by m2/v0.3.6
Fano for list decoding QG1FDMSMX0
| URI | m2://inv/QG1FDMSMX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#T18S, Fano for list decoding (statement). In FRMCKEGVJZ/e1, lemma 27
History
- 2026-10-30: add by m2/v0.4.12
frugal number QG1GH0JTQY
| URI | m2://inv/QG1GH0JTQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1655342, frugal number (object). Also OEIS A046759
- wikipedia: Wikipedia Frugal number, Frugal number (definition). Also Wikidata Q1655342
History
- 2026-10-26: add by m2/dev
QG1NPDXRE1 QG1NPDXRE1
| URI | m2://inv/QG1NPDXRE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#prop-3 (statement). In E59CDZA4DP, prop, section 7.2.1
History
- 2026-11-01: add by m2/v0.6.13
QG1P94987B QG1P94987B
| URI | m2://inv/QG1P94987B |
|---|---|
| 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.39700#ZVSQ (statement). In E7W2HDNEKJ/e1, theorem 9.24
History
- 2026-10-30: add by m2/v0.4.12
Bernard Teissier QG1R25E1BB
| URI | m2://inv/QG1R25E1BB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard Teissier, Bernard Teissier (topic). Also Wikidata Q456167
History
- 2026-11-02: add by m2/dev
The class $n\equiv4\pmod6$ QG1SBTQ9MN
| URI | m2://inv/QG1SBTQ9MN |
|---|---|
| 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.17100#BRA4, The class $n\equiv4\pmod6$ (statement). In 4TSS52DMB2/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
QG1TWB6DK1 QG1TWB6DK1
| URI | m2://inv/QG1TWB6DK1 |
|---|---|
| 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.16554#3RW7 (statement). In GWNT8HEZG1/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.6
Method of Fluxions QG1VS7FZ7Z
| URI | m2://inv/QG1VS7FZ7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3074567, Method of Fluxions (unknown). Also ProofWiki Book:Isaac_Newton/Method_of_Fluxions_and_Infinite_Series
- wikipedia: Wikipedia Method of Fluxions, Method of Fluxions (definition). Also Wikidata Q3074567
History
- 2026-10-26: add by m2/dev
QG1VWVCQD7 QG1VWVCQD7
| URI | m2://inv/QG1VWVCQD7 |
|---|---|
| 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 2610.12819#GTNG (statement). In JW8S0XEMWG/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
QG20V48ERK QG20V48ERK
| URI | m2://inv/QG20V48ERK |
|---|---|
| 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 2603.21971#LXSF (statement). In R6KSZ9H8CY/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
Cuboid QG27AWYXQX
| URI | m2://inv/QG27AWYXQX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry#WEFK, Cuboid (object)
History
- 2026-11-02: add by m2/dev
Gini coefficient QG29DGJT7X
| URI | m2://inv/QG29DGJT7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q77T, Gini coefficient (definition)
History
- 2026-11-02: add by m2/dev
Euclid's Lemma QG2SQHYQ72
| URI | m2://inv/QG2SQHYQ72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:Euclid, Euclid's Lemma (statement). In P1C114YBXG, theorem, section C
History
- 2026-11-01: add by m2/v0.6.13
Liénard–Wiechert potential QG327HVV32
| URI | m2://inv/QG327HVV32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liénard–Wiechert potential, Liénard–Wiechert potential (definition). Also Wikidata Q1338843
History
- 2026-11-02: add by m2/dev
Otto Toeplitz QG3CZQJPHV
| URI | m2://inv/QG3CZQJPHV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YM44, Otto Toeplitz (topic)
History
- 2026-11-02: add by m2/dev
QG3HB575PF QG3HB575PF
| URI | m2://inv/QG3HB575PF |
|---|---|
| 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.21507#LVSX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Halting function QG3K4YQCCF
| URI | m2://inv/QG3K4YQCCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#defn-1, Halting function (definition). In PKGMM3P5QY, defn, section 86.7
History
- 2026-11-01: add by m2/v0.6.13
Theorems QG3S5ZH13F
| URI | m2://inv/QG3S5ZH13F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#defn-1, Theorems (definition). In PKGMM3P5QY, defn, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
Definitions QG3VD6WZK1
| URI | m2://inv/QG3VD6WZK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sober space#7VTX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Group Symmetry of a Graph-Based MDP QG44AB0WB4
| URI | m2://inv/QG44AB0WB4 |
|---|---|
| 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 2609.36421#4P6O, Group Symmetry of a Graph-Based MDP (definition). In E0ZRSZ0YHT/e1, definition 7
History
- 2026-10-30: add by m2/v0.4.12
George A. Elliott QG45G13VP4
| URI | m2://inv/QG45G13VP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1LHJ, George A. Elliott (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OSM3, George A. Elliott (topic)
History
- 2026-11-02: add by m2/dev
local QG4C31C2BP
| URI | m2://inv/QG4C31C2BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#5EUI, local (definition)
History
- 2026-11-02: add by m2/dev
Kirillov character formula QG4SNDYMR6
| URI | m2://inv/QG4SNDYMR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirillov character formula, Kirillov character formula (statement). Also Wikidata Q6415283
History
- 2026-11-02: add by m2/dev
Applications QG4WASFQD1
| URI | m2://inv/QG4WASFQD1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed graph#I1YX, Applications (example)
History
- 2026-11-02: add by m2/dev
Liu Xin QG4YTG7222
| URI | m2://inv/QG4YTG7222 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#YFXH, Liu Xin (unknown)
History
- 2026-11-02: add by m2/dev
Cayley–Klein metric QG5CVS1QF4
| URI | m2://inv/QG5CVS1QF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#ZH95, Cayley–Klein metric (definition)
- wikipedia: Wikipedia List of things named after Felix Klein#BFD0, Cayley–Klein metric (definition)
History
- 2026-11-02: add by m2/dev
QG5H463XFQ QG5H463XFQ
| URI | m2://inv/QG5H463XFQ |
|---|---|
| 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.03222#T2CY (statement). In BB0JGNK4YF/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Fermat cubic QG5HV18F39
| URI | m2://inv/QG5HV18F39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#EKOG, Fermat cubic (definition)
History
- 2026-11-02: add by m2/dev
Farrell–Markushevich theorem QG5KXY7JTP
| URI | m2://inv/QG5KXY7JTP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1HEP, Farrell–Markushevich theorem (statement)
History
- 2026-11-02: add by m2/dev
QG5M708GVY QG5M708GVY
| URI | m2://inv/QG5M708GVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20607#GO4S (statement)
History
- 2026-11-02: add by m2/v0.6.18
left limit QG5MZ2PF5W
| URI | m2://inv/QG5MZ2PF5W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.7.2/left-limit, left limit (concept). In 907G4C4EJ1, index, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
Total derivative of $f(x,y) = x^2+y^2$ QG5QKEJCQB
| URI | m2://inv/QG5QKEJCQB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#example-1, Total derivative of $f(x,y) = x^2+y^2$ (example). In RZP28ERRZV, example, section 45.1
History
- 2026-11-01: add by m2/v0.6.13
Isogeny-based cryptography QG5SRWYZ93
| URI | m2://inv/QG5SRWYZ93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#18RH, Isogeny-based cryptography (definition)
History
- 2026-11-02: add by m2/dev
Augmented cuboctahedron QG65MN09BK
| URI | m2://inv/QG65MN09BK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diminished rhombic dodecahedron#2HK5, Augmented cuboctahedron (unknown)
History
- 2026-11-02: add by m2/dev
No escape QG66WXC20Z
| URI | m2://inv/QG66WXC20Z |
|---|---|
| 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.14988#GPO8, No escape (statement). In B29M4E6KGC/e1, proposition H.3
History
- 2026-10-28: add by m2/v0.4.2
QG6ABVRTDN QG6ABVRTDN
| URI | m2://inv/QG6ABVRTDN |
|---|---|
| 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.12014#W2U8 (statement). In DR7BK4CQ0V/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.3
LISREL QG6BS6PWVH
| URI | m2://inv/QG6BS6PWVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FA5T, LISREL (definition)
History
- 2026-11-02: add by m2/dev
Braikenridge–Maclaurin theorem QG6HE0NYX4
| URI | m2://inv/QG6HE0NYX4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braikenridge–Maclaurin theorem, Braikenridge–Maclaurin theorem (statement). Also Wikidata Q4955671
History
- 2026-11-02: add by m2/dev
(Weeting #21) QG6JEQD7M6
| URI | m2://inv/QG6JEQD7M6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#9N0Y, (Weeting #21) (unknown)
History
- 2026-11-02: add by m2/dev
Bounds on the shells for data with half a moment QG6PE4JEAR
| URI | m2://inv/QG6PE4JEAR |
|---|---|
| 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.13753#IXFX, Bounds on the shells for data with half a moment (statement). In AHM0PBKZZN/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
QG6PYPB44A QG6PYPB44A
| URI | m2://inv/QG6PYPB44A |
|---|---|
| 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 2204.13401#AU2D (definition). In B8MJT0GGW8/e1, definition 4.24
History
- 2026-10-27: add by m2/v0.4.0
QG6QXVG67K QG6QXVG67K
| URI | m2://inv/QG6QXVG67K |
|---|---|
| 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.04833#WUKN (statement). In AKB3CNDA0F/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.12
QG71BRA56Z QG71BRA56Z
| URI | m2://inv/QG71BRA56Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#35JJ (definition). In G02N9D40B9/e1, definition 1.2.2
History
- 2026-10-29: add by m2/v0.4.10
Examples QG76ZZWH21
| URI | m2://inv/QG76ZZWH21 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan's totient function#5QT4, Examples (example)
History
- 2026-11-02: add by m2/dev
QG7C808CPE QG7C808CPE
| URI | m2://inv/QG7C808CPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#R77P (statement). In TWPE10CZ1S/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Chvátal graph QG7DCSRDXW
| URI | m2://inv/QG7DCSRDXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3029658, Chvátal graph (unknown). Also House of Graphs 972, MathWorld ChvatalGraph
- wikipedia: Wikipedia Chvátal graph, Chvátal graph (definition). Also Wikidata Q3029658
History
- 2026-10-26: add by m2/dev
Wick coefficient QG7F6DNMVN
| URI | m2://inv/QG7F6DNMVN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37074#P11C, Wick coefficient (definition). In VTNV72MCVD/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Hypograph QG7N0SVNFV
| URI | m2://inv/QG7N0SVNFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypograph (mathematics), Hypograph (definition). Also Wikidata Q250279
History
- 2026-11-02: add by m2/dev
quantized QG7ZFMHXZ3
| URI | m2://inv/QG7ZFMHXZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#Y4EC, quantized (definition)
History
- 2026-11-02: add by m2/dev
restate=Completeness, name=Completeness QG827598RH
| URI | m2://inv/QG827598RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#TUJJ, restate=Completeness, name=Completeness (statement)
History
- 2026-11-01: add by m2/v0.6.15
QG85M3CXJ6 QG85M3CXJ6
| URI | m2://inv/QG85M3CXJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#9ZK4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
QG85W6VV4K QG85W6VV4K
| URI | m2://inv/QG85W6VV4K |
|---|---|
| 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#ZM4V (statement). In CY1FE8W1ZW/e1, lemma 0.86
History
- 2026-10-27: add by m2/v0.4.0
Theorem (C. Ursescu) QG8C7ZZRNP
| URI | m2://inv/QG8C7ZZRNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure (topology)#512G, Theorem (C. Ursescu) (statement)
History
- 2026-11-02: add by m2/dev
Kathleen Ollerenshaw QG8KT57DDF
| URI | m2://inv/QG8KT57DDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathleen Ollerenshaw, Kathleen Ollerenshaw (topic). Also Wikidata Q467786
History
- 2026-11-02: add by m2/dev
Jean-Baptiste Biot QG8NQHSH96
| URI | m2://inv/QG8NQHSH96 |
|---|---|
| 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 Q58328, Jean-Baptiste Biot (unknown). Also ProofWiki Mathematician:Jean-Baptiste_Biot
- wikipedia: Wikipedia Jean-Baptiste Biot, Jean-Baptiste Biot (topic). Also Wikidata Q58328
History
- 2026-10-26: add by m2/dev
Fisher–Neyman factorization theorem QG8QW2P2CR
| URI | m2://inv/QG8QW2P2CR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sufficient statistic#ME59, Fisher–Neyman factorization theorem (statement)
History
- 2026-11-02: add by m2/dev
Markov QG8S7NPKT0
| URI | m2://inv/QG8S7NPKT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.3562#I4KJ, Markov (statement). In KZH1DCS18C/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
QG8W8FSCKG QG8W8FSCKG
| URI | m2://inv/QG8W8FSCKG |
|---|---|
| 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#LDFC (statement)
History
- 2026-11-02: add by m2/v0.6.18
exact differential QG8XGS3TMH
| URI | m2://inv/QG8XGS3TMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2256719, exact differential (unknown). Also MathWorld ExactDifferential
- wikipedia: Wikipedia Exact differential, Exact differential (definition). Also Wikidata Q2256719
History
- 2026-10-26: add by m2/dev
Clipping QG8YMXD645
| URI | m2://inv/QG8YMXD645 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clipping (signal processing), Clipping (definition). Also Wikidata Q5134396
History
- 2026-11-02: add by m2/dev
QG91FZE944 QG91FZE944
| URI | m2://inv/QG91FZE944 |
|---|---|
| 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 2610.18094#U17F (statement). In AYANBEWSFH/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
QG91JGKEY7 QG91JGKEY7
| URI | m2://inv/QG91JGKEY7 |
|---|---|
| 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.27518#1ZS4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statistical assumption QG96YD05GS
| URI | m2://inv/QG96YD05GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical assumption, Statistical assumption (definition). Also Wikidata Q7604383
History
- 2026-11-02: add by m2/dev
Theorem by Chester–Friedman–Ursell QG9FG327XP
| URI | m2://inv/QG9FG327XP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of Chester–Friedman–Ursell#3D89, Theorem by Chester–Friedman–Ursell (statement)
History
- 2026-11-02: add by m2/dev
Properties QG9FZBEE60
| URI | m2://inv/QG9FZBEE60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DF-space#M3GY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Certifiable Covariance Fluctuations QG9HPMZ30V
| URI | m2://inv/QG9HPMZ30V |
|---|---|
| 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.30105#LV6D, Certifiable Covariance Fluctuations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander von Brill QG9JMVS98D
| URI | m2://inv/QG9JMVS98D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander von Brill, Alexander von Brill (topic). Also Wikidata Q91386
History
- 2026-11-02: add by m2/dev
Decision problem QG9W4VD3BX
| URI | m2://inv/QG9W4VD3BX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#RIT4, Decision problem (problem)
History
- 2026-11-02: add by m2/dev
QG9X3BQ1TW QG9X3BQ1TW
| URI | m2://inv/QG9X3BQ1TW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31537#XMQB (definition). In MNYPK3W135/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
A self-adjoint determinant criterion QG9Y4DA1VG
| URI | m2://inv/QG9Y4DA1VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#26V1, A self-adjoint determinant criterion (statement). In HF7YNMW39N/e1, proposition 15.3
History
- 2026-10-27: add by m2/v0.4.0
QGA2JH59F4 QGA2JH59F4
| URI | m2://inv/QGA2JH59F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20401#JB1A (statement)
History
- 2026-11-02: add by m2/v0.6.18
QGA3D5SAVQ QGA3D5SAVQ
| URI | m2://inv/QGA3D5SAVQ |
|---|---|
| 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 2406.19866#CW1O (statement). In 9F94CEQ1ZM/e1, lemma 2.20
History
- 2026-10-27: add by m2/v0.3.5
geographical pole QGAG3D3AGS
| URI | m2://inv/QGAG3D3AGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q183273, geographical pole (definition). Also ProofWiki Definition:Earth's_Poles
History
- 2026-10-26: add by m2/dev
null vector QGAY9QKE65
| URI | m2://inv/QGAY9QKE65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#3FXH, null vector (definition)
History
- 2026-11-02: add by m2/dev
Examples QGAYHEP651
| URI | m2://inv/QGAYHEP651 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product of rings#H6TN, Examples (example)
History
- 2026-11-02: add by m2/dev
QGB1KRWQA7 QGB1KRWQA7
| URI | m2://inv/QGB1KRWQA7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-7 (example). In E59CDZA4DP, example, section 10.1.3
History
- 2026-11-01: add by m2/v0.6.13
Eleatics QGB34YHT8N
| URI | m2://inv/QGB34YHT8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214577, Eleatics (definition). Also ProofWiki Definition:Eleatic_School
History
- 2026-10-26: add by m2/dev
pointed realization QGBFV7W6Y2
| URI | m2://inv/QGBFV7W6Y2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#31VO, pointed realization (definition). In PCAS8S14J6/e1, definition 3.5
History
- 2026-10-31: add by m2/v0.5.6
Reciprocity of the seam theta state QGBGGH5F48
| URI | m2://inv/QGBGGH5F48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#8IC4, Reciprocity of the seam theta state (statement). In HF7YNMW39N/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
QGBGMENR5Q QGBGMENR5Q
| URI | m2://inv/QGBGMENR5Q |
|---|---|
| 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.21963#E72G (statement). In HR9R8RPKN8/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
QGBJS22JEJ QGBJS22JEJ
| URI | m2://inv/QGBJS22JEJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 96.6.3
History
- 2026-11-01: add by m2/v0.6.13
Frobenius endomorphism QGBM1TH5P6
| URI | m2://inv/QGBM1TH5P6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Frobenius endomorphism 0GHDDVAH8P |
Mentions
- wikidata: Wikidata Q769124, Frobenius endomorphism (concept). Also EoM Frobenius_endomorphism, nLab Frobenius morphism
- wikipedia: Wikipedia Frobenius endomorphism, Frobenius endomorphism (definition). Also Wikidata Q769124
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
QGBRAYSJJQ QGBRAYSJJQ
| URI | m2://inv/QGBRAYSJJQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/comp-representable.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 29.7
History
- 2026-11-01: add by m2/v0.6.13
Böhmer integral QGC1DCDB1V
| URI | m2://inv/QGC1DCDB1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Böhmer integral, Böhmer integral (definition). Also Wikidata Q4329456
History
- 2026-11-02: add by m2/dev
Cosmological constant QGC5CC1HHA
| URI | m2://inv/QGC5CC1HHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#MULZ, Cosmological constant (definition)
History
- 2026-11-02: add by m2/dev
Lindenbaum's Lemma QGC8TD2ZGV
| URI | m2://inv/QGC8TD2ZGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/lindenbaums-lemma.tex#lem:lindenbaum, Lindenbaum's Lemma (statement). In PKGMM3P5QY, lem, section 11.6
History
- 2026-11-01: add by m2/v0.6.13
QGCA7M5QFY QGCA7M5QFY
| URI | m2://inv/QGCA7M5QFY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38493#E1BN (problem). In WTA8VGP6B1/e1, problem 30
History
- 2026-10-30: add by m2/v0.4.12
Continuous memory QGCD3EKWF7
| URI | m2://inv/QGCD3EKWF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous memory, Continuous memory (definition). Also Wikidata Q5635656
History
- 2026-11-02: add by m2/dev
Global rate with adaptive regularization QGD6RD6X6E
| URI | m2://inv/QGD6RD6X6E |
|---|---|
| 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.06557#NQB4, Global rate with adaptive regularization (statement). In VV5CH6Y31D/e1, theorem B.2
History
- 2026-10-29: add by m2/v0.4.10
group functor QGD8NZTA5C
| URI | m2://inv/QGD8NZTA5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55613030, group functor (unknown). Also nLab group functor
History
- 2026-10-26: add by m2/dev
QGD8ZXEX50 QGD8ZXEX50
| URI | m2://inv/QGD8ZXEX50 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#DG78 (definition). In Z7E16PFFCP/e1, definition 2.9
History
- 2026-10-30: add by m2/v0.4.12
Anna Panorska QGDE3TBC95
| URI | m2://inv/QGDE3TBC95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Panorska, Anna Panorska (topic). Also Wikidata Q63430495
History
- 2026-11-02: add by m2/dev
Theorem QGDK62DFFZ
| URI | m2://inv/QGDK62DFFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-definite kernel#LFEI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
QGDN2J2V1V QGDN2J2V1V
| URI | m2://inv/QGDN2J2V1V |
|---|---|
| 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.03358#OQR4 (statement). In KCXEY7HJ8V/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
QGDT56PEPN QGDT56PEPN
| URI | m2://inv/QGDT56PEPN |
|---|---|
| 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.33050#QTVK (statement). In VDSBMQ0G9W/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Haran's diamond theorem QGDVVS001T
| URI | m2://inv/QGDVVS001T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haran's diamond theorem, Haran's diamond theorem (statement). Also Wikidata Q5654097
History
- 2026-11-02: add by m2/dev
Applications QGDX7VY0WB
| URI | m2://inv/QGDX7VY0WB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frullani integral#M6HN, Applications (example)
History
- 2026-11-02: add by m2/dev
Model for the approximation circles QGDZ3689SG
| URI | m2://inv/QGDZ3689SG |
|---|---|
| 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 2609.31269#K2S7, Model for the approximation circles (statement). In ZPT9XCCAPQ/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Diffusion wavelets QGE3T937Q8
| URI | m2://inv/QGE3T937Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffusion wavelets, Diffusion wavelets (definition). Also Wikidata Q5275444
History
- 2026-11-02: add by m2/dev
Directed angle QGE8M36XNX
| URI | m2://inv/QGE8M36XNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle#JQT5, Directed angle (unknown)
History
- 2026-11-02: add by m2/dev
QGEHEARR4X QGEHEARR4X
| URI | m2://inv/QGEHEARR4X |
|---|---|
| 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 2511.05069#7Q1Q (statement). In SFQBJBTW8K/e1, proposition 14.2
History
- 2026-10-27: add by m2/v0.3.5
QGEJHE2E48 QGEJHE2E48
| URI | m2://inv/QGEJHE2E48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24154#PMZN (statement)
History
- 2026-11-02: add by m2/v0.6.17
QGEK7X1211 QGEK7X1211
| URI | m2://inv/QGEK7X1211 |
|---|---|
| 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.25391#FD1T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Affirming a disjunct QGEP72BT8Z
| URI | m2://inv/QGEP72BT8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affirming a disjunct, Affirming a disjunct (definition). Also Wikidata Q2826086
History
- 2026-11-02: add by m2/dev
Norman Steenrod QGERD7BV6F
| URI | m2://inv/QGERD7BV6F |
|---|---|
| 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 Q1385051, Norman Steenrod (unknown). Also nLab Norman Steenrod
History
- 2026-10-26: add by m2/dev
QGEWP4TRPY QGEWP4TRPY
| URI | m2://inv/QGEWP4TRPY |
|---|---|
| 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 2405.10580#CLU1 (statement). In FXEJE0PWEP/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.3.5
Faustman–Ohlin theorem QGEZ0JBYX5
| URI | m2://inv/QGEZ0JBYX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BUVT, Faustman–Ohlin theorem (statement)
History
- 2026-11-02: add by m2/dev
QGF3MR6942 QGF3MR6942
| URI | m2://inv/QGF3MR6942 |
|---|---|
| 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.39706#ZB03 (statement). In 79Y8JJMKP4/e1, lemma 8.3
History
- 2026-10-30: add by m2/v0.4.12
Yamamoto's reciprocity law QGF3ZMAZB4
| URI | m2://inv/QGF3ZMAZB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamamoto's reciprocity law, Yamamoto's reciprocity law (statement). Also Wikidata Q8047853
History
- 2026-11-02: add by m2/dev
QGF64DF7BD QGF64DF7BD
| URI | m2://inv/QGF64DF7BD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13898#W6XC (definition). In 44EVK9BPC9/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
QGF663HERC QGF663HERC
| URI | m2://inv/QGF663HERC |
|---|---|
| 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.25100#VL8H (statement)
History
- 2026-11-01: add by m2/v0.6.15
QGF7B8QVFP QGF7B8QVFP
| URI | m2://inv/QGF7B8QVFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07285#QJ9P (statement). In S284XRA4WK/e1, proposition D.1
History
- 2026-10-29: add by m2/v0.4.10
Regular functor QGFA1CBBRS
| URI | m2://inv/QGFA1CBBRS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular category#4906, Regular functor (unknown)
History
- 2026-11-02: add by m2/dev
Debra Carney QGFBFM6PJZ
| URI | m2://inv/QGFBFM6PJZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debra Carney, Debra Carney (topic). Also Wikidata Q102195242
History
- 2026-11-02: add by m2/dev
Tree parity machine QGFNNK739D
| URI | m2://inv/QGFNNK739D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural cryptography#ZNOD, Tree parity machine (unknown)
History
- 2026-11-02: add by m2/dev
QGG3A2187F QGG3A2187F
| URI | m2://inv/QGG3A2187F |
|---|---|
| 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.05784#GTT2 (statement). In 6NVP3YRWVA/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
QGGFQFHKB7 QGGFQFHKB7
| URI | m2://inv/QGGFQFHKB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-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.01346#1HO8 (statement). In 44DQ7W1NW9/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.12
QGGPPYFQAP QGGPPYFQAP
| URI | m2://inv/QGGPPYFQAP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#problem-3 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
QGGRBNJEEE QGGRBNJEEE
| URI | m2://inv/QGGRBNJEEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#4F6C (statement)
History
- 2026-11-01: add by m2/v0.6.15
QGGRR2079W QGGRR2079W
| URI | m2://inv/QGGRR2079W |
|---|---|
| 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.31604#WPI8 (statement). In GSN5YTQS2K/e1, proposition 4.8
History
- 2026-10-31: add by m2/v0.5.6
Eigenpair convergence QGGWK5ED8Z
| URI | m2://inv/QGGWK5ED8Z |
|---|---|
| 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.20550#HPN0, Eigenpair convergence (statement)
History
- 2026-11-02: add by m2/v0.6.18
QGGXWZFEJT QGGXWZFEJT
| URI | m2://inv/QGGXWZFEJT |
|---|---|
| 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 2610.22153#WT0M (definition). In 927F2TZ644/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
Prime QGH4C11R5X
| URI | m2://inv/QGH4C11R5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime (order theory), Prime (definition). Also Wikidata Q7243229
History
- 2026-11-02: add by m2/dev
Integral classification of the odd family QGH580NJTQ
| URI | m2://inv/QGH580NJTQ |
|---|---|
| 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.14582#H3D5, Integral classification of the odd family (statement). In 6XP6PD2XZA/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
QGH7M91AFV QGH7M91AFV
| URI | m2://inv/QGH7M91AFV |
|---|---|
| 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.16225#2X62 (statement). In H3DJV9YQW1/e1, proposition 4.20
History
- 2026-10-28: add by m2/v0.4.2
QGH7R9D4TA QGH7R9D4TA
| URI | m2://inv/QGH7R9D4TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#U0WS (statement). In 2QP93JHYNB/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
QGHB4VQW21 QGHB4VQW21
| URI | m2://inv/QGHB4VQW21 |
|---|---|
| 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#5FRN (statement). In DG9TF5X0EG/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.0
QGHGN5YZBC QGHGN5YZBC
| URI | m2://inv/QGHGN5YZBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#XQK5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Claim QGHRR3RDFP
| URI | m2://inv/QGHRR3RDFP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP#ZFBB, Claim (statement)
History
- 2026-11-02: add by m2/dev
Franklin & Marshall College Poll QGJ59R9H18
| URI | m2://inv/QGJ59R9H18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franklin & Marshall College Poll, Franklin & Marshall College Poll (definition). Also Wikidata Q5491212
History
- 2026-11-02: add by m2/dev
Richard Aster QGJ6PN3YQ1
| URI | m2://inv/QGJ6PN3YQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RP7E, Richard Aster (unknown)
History
- 2026-11-02: add by m2/dev
QGJDN5XHZM QGJDN5XHZM
| URI | m2://inv/QGJDN5XHZM |
|---|---|
| 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#G779 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties QGJNFVWQB8
| URI | m2://inv/QGJNFVWQB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor topology#EZWV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jacquet module QGJVWBFFJB
| URI | m2://inv/QGJVWBFFJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacquet module, Jacquet module (definition). Also Wikidata Q6120995
History
- 2026-11-02: add by m2/dev
QGJWQJ4ACN QGJWQJ4ACN
| URI | m2://inv/QGJWQJ4ACN |
|---|---|
| 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.03683#V34B (statement). In 14AMXF6X2V/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.12
Properties QGK02CGYZC
| URI | m2://inv/QGK02CGYZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial geometry#MW1X, Properties (statement)
History
- 2026-11-02: add by m2/dev
QGK13MHGFE QGK13MHGFE
| URI | m2://inv/QGK13MHGFE |
|---|---|
| Kind | statement |
| 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.21668#Q41U (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications QGK451PJN1
| URI | m2://inv/QGK451PJN1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric mean#3OA1, Applications (example)
History
- 2026-11-02: add by m2/dev
QGK60JXFFT QGK60JXFFT
| URI | m2://inv/QGK60JXFFT |
|---|---|
| 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.18281#O0QC (statement). In QYD0EJM85G/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Example QGK7936Y84
| URI | m2://inv/QGK7936Y84 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest common supersequence#2Q5O, Example (example)
History
- 2026-11-02: add by m2/dev
Patrick Billingsley QGK9S778D7
| URI | m2://inv/QGK9S778D7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#A1MO, Patrick Billingsley (topic)
History
- 2026-11-02: add by m2/dev
A formula for the S-matrix QGKG9M6ZXY
| URI | m2://inv/QGKG9M6ZXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lippmann–Schwinger equation#5BG6, A formula for the S-matrix (statement)
History
- 2026-11-02: add by m2/dev
type, limit QGKGWNCZ9K
| URI | m2://inv/QGKGWNCZ9K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.8/type-limit, type, limit (concept). In N54F33XE07, index, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
Theorem QGKGWSD0QF
| URI | m2://inv/QGKGWSD0QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyquist–Shannon sampling theorem#ABBF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Kyiv Mathematical Society QGKTVB4WMH
| URI | m2://inv/QGKTVB4WMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#TIQ3, Kyiv Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
Automated proof checking QGKX9PFGDD
| URI | m2://inv/QGKX9PFGDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof assistant#S9YW, Automated proof checking (unknown)
History
- 2026-11-02: add by m2/dev
Courant–Friedrichs–Lewy condition QGKZSHD26F
| URI | m2://inv/QGKZSHD26F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#Z75C, Courant–Friedrichs–Lewy condition (definition)
History
- 2026-11-02: add by m2/dev
QGM8QRCH5P QGM8QRCH5P
| URI | m2://inv/QGM8QRCH5P |
|---|---|
| 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.21017#DJRE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cauchy–Schwarz inequality QGMBXB3QTN
| URI | m2://inv/QGMBXB3QTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex random vector#31Q1, Cauchy–Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
Hilbert's twenty-second problem QGMEA71BY5
| URI | m2://inv/QGMEA71BY5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's twenty-second problem, Hilbert's twenty-second problem (problem). Also Wikidata Q5761178
History
- 2026-11-02: add by m2/dev
Next Dutch general election QGMFNGGXZH
| URI | m2://inv/QGMFNGGXZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Next Dutch general election, Next Dutch general election (definition). Also Wikidata Q136773126
History
- 2026-11-02: add by m2/dev
Generalizations QGMRKA9PZ8
| URI | m2://inv/QGMRKA9PZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta function#PC5L, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Solution QGN19D4RWX
| URI | m2://inv/QGN19D4RWX |
|---|---|
| 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.27414#DQ0V, Solution (definition)
History
- 2026-11-01: add by m2/v0.6.15
Subproblem QGN3RFCSAE
| URI | m2://inv/QGN3RFCSAE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 2610.04870#HBXK, Subproblem (definition). In X765ZXXVC3/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.12
higher-order logic QGN4HANDYG
| URI | m2://inv/QGN4HANDYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OGLS, higher-order logic (definition)
History
- 2026-11-02: add by m2/dev
QGNEY0B7M5 QGNEY0B7M5
| URI | m2://inv/QGNEY0B7M5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.23972#9ILN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sean M. Carroll QGNFMPF6F6
| URI | m2://inv/QGNFMPF6F6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IU49, Sean M. Carroll (unknown)
History
- 2026-11-02: add by m2/dev
QGNQ7HNQB8 QGNQ7HNQB8
| URI | m2://inv/QGNQ7HNQB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#thm:modular mult comm assoc (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Jacques Hurtubise QGNQGZ3C0D
| URI | m2://inv/QGNQGZ3C0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Hurtubise (mathematician), Jacques Hurtubise (topic). Also Wikidata Q15453657
History
- 2026-11-02: add by m2/dev
QGPB6K32QK QGPB6K32QK
| URI | m2://inv/QGPB6K32QK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#ULOA (statement)
History
- 2026-11-01: add by m2/v0.6.15
QGPDE6018M QGPDE6018M
| URI | m2://inv/QGPDE6018M |
|---|---|
| Kind | example |
| 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 2211.14629#XSWM (example). In AX7TZJ5PP9/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
The properties of $\Omega$ that get used QGPVGNAR2K
| URI | m2://inv/QGPVGNAR2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#G0XP, The properties of $\Omega$ that get used (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition QGPZNNMW2C
| URI | m2://inv/QGPZNNMW2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop algebra#94FG, Definition (definition)
History
- 2026-11-02: add by m2/dev
QGQ0BW0Z3V QGQ0BW0Z3V
| URI | m2://inv/QGQ0BW0Z3V |
|---|---|
| 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.10813#9BVV (statement). In G8F4P7GDMA/e1, theorem 4.13
History
- 2026-10-28: add by m2/v0.4.3
QGQ9NQEZ52 QGQ9NQEZ52
| URI | m2://inv/QGQ9NQEZ52 |
|---|---|
| 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.26745#V99A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tri-cities QGQANZ7SEV
| URI | m2://inv/QGQANZ7SEV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WFCQ, Tri-cities (unknown)
History
- 2026-11-02: add by m2/dev
Local center manifolds QGQB1Y71YV
| URI | m2://inv/QGQB1Y71YV |
|---|---|
| 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.33771#I4EN, Local center manifolds (statement). In ZXQA7QH0H0/e1, theorem 4.23
History
- 2026-10-30: add by m2/v0.4.12
Olof B. Widlund Prize QGQCDWRER0
| URI | m2://inv/QGQCDWRER0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olof B. Widlund#4TM7, Olof B. Widlund Prize (unknown)
History
- 2026-11-02: add by m2/dev
QGQD87WWZT QGQD87WWZT
| URI | m2://inv/QGQD87WWZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#X9AG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Shu-Heng Shao QGQWQTHTP3
| URI | m2://inv/QGQWQTHTP3 |
|---|---|
| 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 Q59669715, Shu-Heng Shao (unknown). Also nLab Shu-Heng Shao
History
- 2026-10-26: add by m2/dev
Type III estimate QGQYKR2GHY
| URI | m2://inv/QGQYKR2GHY |
|---|---|
| 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.19273#7GH4, Type III estimate (statement). In T3BY4TXYT4/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Vivienne Esta Morley QGR5GH7ZAR
| URI | m2://inv/QGR5GH7ZAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vivienne Esta Morley, Vivienne Esta Morley (topic). Also Wikidata Q102150515
History
- 2026-11-02: add by m2/dev
QGRD6V8H7D QGRD6V8H7D
| URI | m2://inv/QGRD6V8H7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 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 2609.20683#6UN6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
QGRKQAM7VX QGRKQAM7VX
| URI | m2://inv/QGRKQAM7VX |
|---|---|
| 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.10017#9222 (statement). In CJRBKR4JKT/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.10
Max Noether QGRKXBY06E
| URI | m2://inv/QGRKXBY06E |
|---|---|
| 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 Q77500, Max Noether (unknown). Also ProofWiki Mathematician:Max_Noether
- wikipedia: Wikipedia Max Noether, Max Noether (topic). Also Wikidata Q77500
History
- 2026-10-26: add by m2/dev
Fermat's Last Theorem QGRMC7JYMH
| URI | m2://inv/QGRMC7JYMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6UF0, Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
Jack function QGRPNT4160
| URI | m2://inv/QGRPNT4160 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack function, Jack function (definition). Also Wikidata Q6115970
History
- 2026-11-02: add by m2/dev
QGRW5HMCBE QGRW5HMCBE
| URI | m2://inv/QGRW5HMCBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#ZXH6 (statement). In 9WP2QGKMG8/e1, theorem 1.11
History
- 2026-10-30: add by m2/v0.4.12
Pauli exclusion principle QGS5EPWM8T
| URI | m2://inv/QGS5EPWM8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin (physics)#S8CQ, Pauli exclusion principle (statement)
History
- 2026-11-02: add by m2/dev
Definition QGSF62STRK
| URI | m2://inv/QGSF62STRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized conic#SHWK, Definition (definition)
History
- 2026-11-02: add by m2/dev
General definition QGSF91PBYQ
| URI | m2://inv/QGSF91PBYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression toward the mean#3E45, General definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations QGSKSD81ZB
| URI | m2://inv/QGSKSD81ZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walsh function#N486, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
weak equivalence QGSM7TCN6S
| URI | m2://inv/QGSM7TCN6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#W6TT, weak equivalence (definition)
History
- 2026-11-02: add by m2/dev
Stefan Mazurkiewicz QGSRXW8C6Q
| URI | m2://inv/QGSRXW8C6Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#QEW9, Stefan Mazurkiewicz (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#Q4C6, Stefan Mazurkiewicz (topic)
History
- 2026-11-02: add by m2/dev
$\cW_\beta$-Initialization QGSVTAGZ76
| URI | m2://inv/QGSVTAGZ76 |
|---|---|
| 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 2006.05158#94P6, $\cW_\beta$-Initialization (statement). In 4VCW6SZQXK/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Quantized state systems method QGT7Q7K1H4
| URI | m2://inv/QGT7Q7K1H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#YVNJ, Quantized state systems method (definition)
History
- 2026-11-02: add by m2/dev
Example QGTC2AXCK4
| URI | m2://inv/QGTC2AXCK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shoelace formula#0905, Example (example)
History
- 2026-11-02: add by m2/dev
QGTJZ8E0PA QGTJZ8E0PA
| URI | m2://inv/QGTJZ8E0PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#I395 (statement)
History
- 2026-11-02: add by m2/v0.6.17
half or triple plus one QGTSPB7HD2
| URI | m2://inv/QGTSPB7HD2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#3WHX, half or triple plus one (conjecture)
History
- 2026-11-02: add by m2/dev
Young-age path-length variance QGTSR9DMK4
| URI | m2://inv/QGTSR9DMK4 |
|---|---|
| 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.00614#7OZC, Young-age path-length variance (statement). In NC5Z77F6H4/e1, theorem 8.2
History
- 2026-10-30: add by m2/v0.4.12
free QGTVYBQ27A
| URI | m2://inv/QGTVYBQ27A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#CFNC, free (definition)
History
- 2026-11-02: add by m2/dev
QGV56R5Q00 QGV56R5Q00
| URI | m2://inv/QGV56R5Q00 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-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.34570#6ECK (example). In EVFX1R7ZDD/e1, example 12
History
- 2026-10-30: add by m2/v0.4.12
Generalized pigeonhole principles QGV5XDEMGC
| URI | m2://inv/QGV5XDEMGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PPP (complexity)#2US5, Generalized pigeonhole principles (statement)
History
- 2026-11-02: add by m2/dev
QGV8HKCMY3 QGV8HKCMY3
| URI | m2://inv/QGV8HKCMY3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 1912.02769#KF5D (example). In JH7VQ2EC16/e1, example 2.1
History
- 2026-10-27: add by m2/v0.3.5
Bretagnolle–Huber inequality QGVA3MT1CR
| URI | m2://inv/QGVA3MT1CR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bretagnolle–Huber inequality, Bretagnolle–Huber inequality (statement). Also Wikidata Q113678054
History
- 2026-11-02: add by m2/dev
QGVCPQNDJX QGVCPQNDJX
| URI | m2://inv/QGVCPQNDJX |
|---|---|
| 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.09129#G91H (statement). In Z1RZSF68XZ/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Examples QGVKATESGK
| URI | m2://inv/QGVKATESGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic geometry code#KBDS, Examples (example)
History
- 2026-11-02: add by m2/dev
Stone–von Neumann theorem QGVM8B0Y0X
| URI | m2://inv/QGVM8B0Y0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#C3C3, Stone–von Neumann theorem (statement)
History
- 2026-11-02: add by m2/dev
Eye strain QGVMKMXK7Z
| URI | m2://inv/QGVMKMXK7Z |
|---|---|
| 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#VU7V, Eye strain (unknown)
History
- 2026-11-02: add by m2/dev
Dirac QGVMWG8JQW
| URI | m2://inv/QGVMWG8JQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#G5GZ, Dirac (definition)
History
- 2026-11-02: add by m2/dev
Peter Lax QGVR2KN808
| URI | m2://inv/QGVR2KN808 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Lax, Peter Lax (topic). Also Wikidata Q323331
History
- 2026-11-02: add by m2/dev
piecewise smooth QGVWF861ZW
| URI | m2://inv/QGVWF861ZW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.8.5/piecewise-smooth, piecewise smooth (concept). In E59CDZA4DP, index, section 1.8.5
History
- 2026-11-01: add by m2/v0.6.13
Sam Palatnik QGW7457SK6
| URI | m2://inv/QGW7457SK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#IAEE, Sam Palatnik (unknown)
History
- 2026-11-02: add by m2/dev
QGW7W1YS9Z QGW7W1YS9Z
| URI | m2://inv/QGW7W1YS9Z |
|---|---|
| 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 0812.1600#FHL6 (definition). In 7Z12QX7837/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.3.5
QGWCSETRAT QGWCSETRAT
| URI | m2://inv/QGWCSETRAT |
|---|---|
| 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.06683#DJGZ (statement). In NH7VBYH6PH/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
Proof that the sum of the reciprocals of the primes diverges QGWFSVYW66
| URI | m2://inv/QGWFSVYW66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#VFMJ, Proof that the sum of the reciprocals of the primes diverges (definition)
History
- 2026-11-02: add by m2/dev
Shapley--Grassmann correspondence QGWKCCNAPF
| URI | m2://inv/QGWKCCNAPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#H8FU, Shapley--Grassmann correspondence (statement). In HA9B7PD0YV/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.10
Inner product on function space QGWNGDHGAY
| URI | m2://inv/QGWNGDHGAY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37074#2PV3, Inner product on function space (definition). In VTNV72MCVD/e1, definition 4.7
History
- 2026-10-30: add by m2/v0.4.12
QGX4FV5NK3 QGX4FV5NK3
| URI | m2://inv/QGX4FV5NK3 |
|---|---|
| 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.10372#D4AM (statement). In P77W283VXT/e1, corollary 4.1
History
- 2026-10-29: add by m2/v0.4.10
QGX7P8CT7A QGX7P8CT7A
| URI | m2://inv/QGX7P8CT7A |
|---|---|
| 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.18562#43F1 (statement). In 793KXAR957/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
QGX8HSYN80 QGX8HSYN80
| URI | m2://inv/QGX8HSYN80 |
|---|---|
| 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 1011.5443#2P94 (statement). In VQ0K2GV62A/e1, theorem 2.16
History
- 2026-10-27: add by m2/v0.3.5
795 (number) QGXCSZQNX9
| URI | m2://inv/QGXCSZQNX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#SAMB, 795 (number) (unknown)
History
- 2026-11-02: add by m2/dev
restate=IndDerivableInCyc, name= QGXESFB20Y
| URI | m2://inv/QGXESFB20Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#3CEL, restate=IndDerivableInCyc, name= (statement)
History
- 2026-11-01: add by m2/v0.6.15
Adams-Moulton methods QGXKMKDTX8
| URI | m2://inv/QGXKMKDTX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear multistep method#UQKC, Adams-Moulton methods (unknown)
History
- 2026-11-02: add by m2/dev
Break and genus formulas QGXTFV0T6D
| URI | m2://inv/QGXTFV0T6D |
|---|---|
| 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#R3ME, Break and genus formulas (statement). In 8BNPFYQDQX/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
QGY4P2THPY QGY4P2THPY
| URI | m2://inv/QGY4P2THPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39845#43DB (statement). In RK8DFVGQP1/e1, proposition 20
History
- 2026-10-30: add by m2/v0.4.12
János Aczél QGY7HYXC77
| URI | m2://inv/QGY7HYXC77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia János Aczél (mathematician), János Aczél (topic). Also Wikidata Q482073
History
- 2026-11-02: add by m2/dev
QGYEQ6M294 QGYEQ6M294
| URI | m2://inv/QGYEQ6M294 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2610.11545#MXVD (definition). In VN084GGZGK/e1, definition 2.29
History
- 2026-10-28: add by m2/v0.4.3
QGYGEM61KG QGYGEM61KG
| URI | m2://inv/QGYGEM61KG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#8AYT (definition). In 3A4K47Y9F2/e1, definition 3.39
History
- 2026-10-27: add by m2/v0.4.0
Algorithm QGYPNARXFD
| URI | m2://inv/QGYPNARXFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MM algorithm#4EOC, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
QGYR68VC77 QGYR68VC77
| URI | m2://inv/QGYR68VC77 |
|---|---|
| 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 2601.15010#J6YH (statement). In K3WJ6ZN184/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
QGYZYSQSBH QGYZYSQSBH
| URI | m2://inv/QGYZYSQSBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#JM79 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Traveling waves QGZ27C9SHR
| URI | m2://inv/QGZ27C9SHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave#G0OC, Traveling waves (unknown)
History
- 2026-11-02: add by m2/dev
Continuous dispersal identities QGZ2GTDC8F
| URI | m2://inv/QGZ2GTDC8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29524#3VU8, Continuous dispersal identities (statement)
History
- 2026-11-01: add by m2/v0.6.15
QGZ2KD32DA QGZ2KD32DA
| URI | m2://inv/QGZ2KD32DA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15402#4MTY (definition). In WSE8SEHVXG/e1, definition 16
History
- 2026-10-28: add by m2/v0.4.2
Variants QGZ3EHJT0K
| URI | m2://inv/QGZ3EHJT0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brown's representability theorem#X01R, Variants (statement)
History
- 2026-11-02: add by m2/dev
Susan Tolman QGZ5VP3W70
| URI | m2://inv/QGZ5VP3W70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Tolman, Susan Tolman (topic). Also Wikidata Q94034836
History
- 2026-11-02: add by m2/dev
QGZE5VQCS1 QGZE5VQCS1
| URI | m2://inv/QGZE5VQCS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#CNS4 (statement). In FYM5XFD9RR/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
simple polyhedron QGZH74N11H
| URI | m2://inv/QGZH74N11H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91079958, simple polyhedron (unknown). Also MathWorld SimplePolyhedron
History
- 2026-10-26: add by m2/dev