Inventory rows JQ
The cards of the rows of the inventory whose ids start with JQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Characterizations JQ017C1EJM
| URI | m2://inv/JQ017C1EJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrafilter on a set#59PQ, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
4-entropy JQ05NPVFFT
| URI | m2://inv/JQ05NPVFFT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-vector#1KMB, 4-entropy (unknown)
History
- 2026-11-02: add by m2/dev
JQ0Z6J1X7T JQ0Z6J1X7T
| URI | m2://inv/JQ0Z6J1X7T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#PGIK (definition). In T41GD0Y0GX/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Parseval's identity JQ0Z798N7V
| URI | m2://inv/JQ0Z798N7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph Fourier transform#YCD2, Parseval's identity (statement)
History
- 2026-11-02: add by m2/dev
Auguste Dick JQ0ZCWFT6D
| URI | m2://inv/JQ0ZCWFT6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auguste Dick, Auguste Dick (topic). Also Wikidata Q766358
History
- 2026-11-02: add by m2/dev
alternating JQ14R1SMVE
| URI | m2://inv/JQ14R1SMVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#B2UB, alternating (definition)
History
- 2026-11-02: add by m2/dev
JQ15K9Q6B2 JQ15K9Q6B2
| URI | m2://inv/JQ15K9Q6B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#definition-3 (definition). In RZP28ERRZV, definition, section 57.3
History
- 2026-11-01: add by m2/v0.6.13
Carpus of Antioch JQ17J27X7V
| URI | m2://inv/JQ17J27X7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#XII3, Carpus of Antioch (topic)
History
- 2026-11-02: add by m2/dev
Bernoulli sampling JQ18KB8HCF
| URI | m2://inv/JQ18KB8HCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MY7K, Bernoulli sampling (definition)
History
- 2026-11-02: add by m2/dev
JQ18NXQ1AE JQ18NXQ1AE
| URI | m2://inv/JQ18NXQ1AE |
|---|---|
| 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.07905#7J15 (statement). In 88GEN3Z5VG/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Erdős–Stone theorem JQ1BECFF7M
| URI | m2://inv/JQ1BECFF7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5385326, Erdős–Stone theorem (statement). Also Wikidata Q5385326
- thousand_plus: thousand_plus Q5385326, Erdős–Stone theorem (statement). Also Wikidata Q5385326, Wikipedia Erdős–Stone theorem
- wikipedia: Wikipedia Erdős–Stone theorem, Erdős–Stone theorem (statement). Also Wikidata Q5385326
History
- 2026-10-26: add by m2/dev
Young's inequality for weak type spaces JQ1GV3S7D4
| URI | m2://inv/JQ1GV3S7D4 |
|---|---|
| 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.15460#AOPY, Young's inequality for weak type spaces (statement). In T2Z3D2VQ9B/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
Stable Hom criterion JQ1HMNR6QD
| URI | m2://inv/JQ1HMNR6QD |
|---|---|
| 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.36444#L20Z, Stable Hom criterion (statement). In 4DJE72VPJP/e1, theorem 3.10
History
- 2026-10-30: add by m2/v0.4.12
Applications JQ1RXVAB5B
| URI | m2://inv/JQ1RXVAB5B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian closed category#FYOG, Applications (example)
History
- 2026-11-02: add by m2/dev
JQ1ZKEBABR JQ1ZKEBABR
| URI | m2://inv/JQ1ZKEBABR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#example-3 (example). In RZP28ERRZV, example, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Uniform Boundedness Principle JQ23S6GCDX
| URI | m2://inv/JQ23S6GCDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness principle#13UX, Uniform Boundedness Principle (statement)
History
- 2026-11-02: add by m2/dev
JQ24KB2W50 JQ24KB2W50
| URI | m2://inv/JQ24KB2W50 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07812#5ZKE (definition). In PVX8WBBXW5/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Benoit Fresse JQ26973T6N
| URI | m2://inv/JQ26973T6N |
|---|---|
| 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 Q56311465, Benoit Fresse (unknown). Also nLab Benoit Fresse
History
- 2026-10-26: add by m2/dev
JQ2C95D0BD JQ2C95D0BD
| URI | m2://inv/JQ2C95D0BD |
|---|---|
| Kind | problem |
| 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.15160#JU3X (problem). In 6FV4CCY1NX/e1, problem Question
History
- 2026-10-28: add by m2/v0.4.2
JQ2EH0KDPE JQ2EH0KDPE
| URI | m2://inv/JQ2EH0KDPE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin prime#WSHS (problem)
History
- 2026-11-02: add by m2/dev
Thomas Zink JQ2FXBXZBV
| URI | m2://inv/JQ2FXBXZBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WHAV, Thomas Zink (topic)
History
- 2026-11-02: add by m2/dev
axiological logic JQ2VFSANTG
| URI | m2://inv/JQ2VFSANTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6SL5, axiological logic (definition)
History
- 2026-11-02: add by m2/dev
Gretchen Matthews JQ2XJY0SH4
| URI | m2://inv/JQ2XJY0SH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gretchen Matthews, Gretchen Matthews (topic). Also Wikidata Q101413225
History
- 2026-11-02: add by m2/dev
Fourier transforms on $\mathcal{S}(\R^d)$ JQ30A5S8J5
| URI | m2://inv/JQ30A5S8J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > Fourier transforms on $\mathcal{S}(\R^d)$, Fourier transforms on $\mathcal{S}(\R^d)$ (unknown). Also Mathlib SchwartzMap.fourierTransformCLM
History
- 2026-10-26: add by m2/dev
Envy-freeness JQ3AB7CPRR
| URI | m2://inv/JQ3AB7CPRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-freeness, Envy-freeness (definition). Also Wikidata Q24963523
History
- 2026-11-02: add by m2/dev
Definition JQ3AZ82CPG
| URI | m2://inv/JQ3AZ82CPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial distribution function#8BXW, Definition (definition)
History
- 2026-11-02: add by m2/dev
JQ3ER5GTHW JQ3ER5GTHW
| URI | m2://inv/JQ3ER5GTHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19416#KF7M (statement). In TJVWQ0ZSGY/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Optical fiber JQ3N8Y0HVK
| URI | m2://inv/JQ3N8Y0HVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical fiber, Optical fiber (definition). Also Wikidata Q162
History
- 2026-11-02: add by m2/dev
JQ3PAMQG4S JQ3PAMQG4S
| URI | m2://inv/JQ3PAMQG4S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
Polytree JQ3V6WQKGR
| URI | m2://inv/JQ3V6WQKGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0N5P, Polytree (definition)
History
- 2026-11-02: add by m2/dev
Gram realization and strong duality JQ3Z8YRS23
| URI | m2://inv/JQ3Z8YRS23 |
|---|---|
| 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.38375#P04G, Gram realization and strong duality (statement). In CHSB1TGAKB/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
JQ439GPE5J JQ439GPE5J
| URI | m2://inv/JQ439GPE5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#18WJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Inquiry: Critical Thinking Across the Disciplines JQ45MDXDZT
| URI | m2://inv/JQ45MDXDZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inquiry: Critical Thinking Across the Disciplines, Inquiry: Critical Thinking Across the Disciplines (definition). Also Wikidata Q6036874
History
- 2026-11-02: add by m2/dev
JQ489KKZPW JQ489KKZPW
| URI | m2://inv/JQ489KKZPW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
JQ494YYW76 JQ494YYW76
| URI | m2://inv/JQ494YYW76 |
|---|---|
| Kind | definition |
| 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 2610.12480#EEXJ (definition). In 585QYGX4X6/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Classical List recovery JQ4BFVDDXP
| URI | m2://inv/JQ4BFVDDXP |
|---|---|
| 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 2609.40252#HG0I, Classical List recovery (definition). In 7MVPNFPRKB/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
JQ4E8TN6XR JQ4E8TN6XR
| URI | m2://inv/JQ4E8TN6XR |
|---|---|
| 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.15610#6LSW (statement). In HENAFHBDQS/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
JQ4ESM4CR2 JQ4ESM4CR2
| URI | m2://inv/JQ4ESM4CR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.11107#4ZEN (statement). In CC0NDYRS8N/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Henry Louis Le Châtelier JQ4H8K2Q29
| URI | m2://inv/JQ4H8K2Q29 |
|---|---|
| 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#OOXF, Henry Louis Le Châtelier (unknown)
History
- 2026-11-02: add by m2/dev
JQ4K12AXMB JQ4K12AXMB
| URI | m2://inv/JQ4K12AXMB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_geom.ptx#example-1 (example). In QKM9DD2H56, example, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Double layer potential JQ4K7TCBQF
| URI | m2://inv/JQ4K7TCBQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double layer potential, Double layer potential (definition). Also Wikidata Q5300057
History
- 2026-11-02: add by m2/dev
Theorem 1 JQ4MS5A51N
| URI | m2://inv/JQ4MS5A51N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy traffic approximation#I3SX, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
JQ4RA9AY5B JQ4RA9AY5B
| URI | m2://inv/JQ4RA9AY5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10019#FY8R (statement). In 25V7DQEXSW/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
trial JQ4TND6G62
| URI | m2://inv/JQ4TND6G62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#0N1Y, trial (definition)
History
- 2026-11-02: add by m2/dev
Exponential identity JQ4YWEH8CM
| URI | m2://inv/JQ4YWEH8CM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root algorithms#B5HH, Exponential identity (statement)
History
- 2026-11-02: add by m2/dev
Properties JQ5JWK4H4V
| URI | m2://inv/JQ5JWK4H4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subadditivity#4I7Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
JQ5M3EA2V5 JQ5M3EA2V5
| URI | m2://inv/JQ5M3EA2V5 |
|---|---|
| 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.35558#4LXW (statement). In HR2TQ292AE/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Fourier–Bessel series JQ5NKV5AHC
| URI | m2://inv/JQ5NKV5AHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Bessel series, Fourier–Bessel series (definition). Also Wikidata Q5475809
History
- 2026-11-02: add by m2/dev
Uncertainty principle JQ5QB8AB6T
| URI | m2://inv/JQ5QB8AB6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular momentum operator#O4R7, Uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
Definitions and properties JQ5SGTTRYW
| URI | m2://inv/JQ5SGTTRYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian matrix#P6I2, Definitions and properties (definition)
History
- 2026-11-02: add by m2/dev
exotic sphere JQ61H6FFD7
| URI | m2://inv/JQ61H6FFD7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Exotic sphere 6WYEMXSHD9 |
Mentions
- wikidata: Wikidata Q3105146, exotic sphere (concept). Also MathWorld ExoticSphere
- wikipedia: Wikipedia Exotic sphere, Exotic sphere (definition). Also Wikidata Q3105146
History
- 2026-10-26: add by m2/dev
JQ65CHJTSR JQ65CHJTSR
| URI | m2://inv/JQ65CHJTSR |
|---|---|
| Kind | conjecture |
| 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.37920#S1IM (conjecture). In GZPF8R6BBF/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
JQ67MXHF3K JQ67MXHF3K
| URI | m2://inv/JQ67MXHF3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#RAT8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
min-max theorem JQ699Z0VG2
| URI | m2://inv/JQ699Z0VG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#24K3, min-max theorem (statement)
History
- 2026-11-02: add by m2/dev
Biological ontologies JQ6CMD0JPQ
| URI | m2://inv/JQ6CMD0JPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bioinformatics#T8EZ, Biological ontologies (unknown)
History
- 2026-11-02: add by m2/dev
Calibrated LOO matrix contact JQ6J27WEDT
| URI | m2://inv/JQ6J27WEDT |
|---|---|
| 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.07721#7IXH, Calibrated LOO matrix contact (statement). In QMJDN66F5N/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
JQ6JNHK4HW JQ6JNHK4HW
| URI | m2://inv/JQ6JNHK4HW |
|---|---|
| Kind | statement |
| 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#0F0C (statement). In EVFX1R7ZDD/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
JQ6MRMWTBP JQ6MRMWTBP
| URI | m2://inv/JQ6MRMWTBP |
|---|---|
| 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.07852#PTUV (statement). In 8X43SAEM99/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
JQ6MVHEQXE JQ6MVHEQXE
| URI | m2://inv/JQ6MVHEQXE |
|---|---|
| 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 2308.09645#8CQ6 (statement). In HVDSC1GQRD/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
Helen Moore JQ710YG9CN
| URI | m2://inv/JQ710YG9CN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen Moore (mathematician), Helen Moore (topic). Also Wikidata Q58030250
History
- 2026-11-02: add by m2/dev
JQ76YGMKCF JQ76YGMKCF
| URI | m2://inv/JQ76YGMKCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#1XX1 (statement). In TC5QA4AB4Z/e1, proposition 3.38
History
- 2026-10-30: add by m2/v0.4.12
Dianoia JQ788E3ZRT
| URI | m2://inv/JQ788E3ZRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dianoia, Dianoia (definition). Also Wikidata Q431285
History
- 2026-11-02: add by m2/dev
JQ7C910C0B JQ7C910C0B
| URI | m2://inv/JQ7C910C0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.21703#E1YR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition JQ7DK21CHF
| URI | m2://inv/JQ7DK21CHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ZPP (complexity)#X095, Definition (definition)
History
- 2026-11-02: add by m2/dev
Extensions JQ7HTV1TT4
| URI | m2://inv/JQ7HTV1TT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petersen's theorem#NTUE, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Applications JQ7NCRKBQG
| URI | m2://inv/JQ7NCRKBQG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer relation algorithm#N0VQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Basic theorems JQ7T8CAGNH
| URI | m2://inv/JQ7T8CAGNH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard calculus#LR42, Basic theorems (statement)
History
- 2026-11-02: add by m2/dev
Quasi-separatrix layer JQ806TQ2V6
| URI | m2://inv/JQ806TQ2V6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic reconnection#KG0N, Quasi-separatrix layer (unknown)
History
- 2026-11-02: add by m2/dev
JQ82AX0T8Q JQ82AX0T8Q
| URI | m2://inv/JQ82AX0T8Q |
|---|---|
| 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 2607.27272#4XUU (statement). In BDEA3TDATY/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
JQ8AQMT12D JQ8AQMT12D
| URI | m2://inv/JQ8AQMT12D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
Sampling error JQ8BAZSNXK
| URI | m2://inv/JQ8BAZSNXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling error, Sampling error (definition). Also Wikidata Q3306280
History
- 2026-11-02: add by m2/dev
JQ8FYPKSHF JQ8FYPKSHF
| URI | m2://inv/JQ8FYPKSHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#lem:q-proves-add (statement). In PKGMM3P5QY, lem, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
the chord recovers the limit profile JQ8MTRDGVJ
| URI | m2://inv/JQ8MTRDGVJ |
|---|---|
| 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.03728#SX3U, the chord recovers the limit profile (statement). In NXR84SNM8F/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
JQ8V62EERG JQ8V62EERG
| URI | m2://inv/JQ8V62EERG |
|---|---|
| Kind | definition |
| 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.05602#SQ1U (definition). In W88890HB4Z/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Hao Wang JQ9AHEKQ2N
| URI | m2://inv/JQ9AHEKQ2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KGBN, Hao Wang (topic)
History
- 2026-11-02: add by m2/dev
orthographic projection in cartography JQ9CTGXAFY
| URI | m2://inv/JQ9CTGXAFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1753242, orthographic projection in cartography (unknown). Also MathWorld OrthographicProjection
History
- 2026-10-26: add by m2/dev
Fejér-Riesz theorem JQ9EK0TW60
| URI | m2://inv/JQ9EK0TW60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric polynomial#U80K, Fejér-Riesz theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement of Vinogradov's theorem JQ9H1PT71B
| URI | m2://inv/JQ9H1PT71B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vinogradov's theorem#OAYR, Statement of Vinogradov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Linear system JQ9WSXVWN8
| URI | m2://inv/JQ9WSXVWN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#OR6X, Linear system (unknown)
History
- 2026-11-02: add by m2/dev
false JQA9J4E2F2
| URI | m2://inv/JQA9J4E2F2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5432619, false (unknown). Also MathWorld False
- wikipedia: Wikipedia False (logic), False (definition). Also Wikidata Q5432619
History
- 2026-10-26: add by m2/dev
Compound of ten triangular prisms JQAC0TAE8R
| URI | m2://inv/JQAC0TAE8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UT1Z, Compound of ten triangular prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6OU0, Compound of ten triangular prisms (definition)
History
- 2026-11-02: add by m2/dev
Robert R. Jensen JQAD5HB1SY
| URI | m2://inv/JQAD5HB1SY |
|---|---|
| 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#T072, Robert R. Jensen (topic)
History
- 2026-11-02: add by m2/dev
JQADYDX8Q7 JQADYDX8Q7
| URI | m2://inv/JQADYDX8Q7 |
|---|---|
| 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.31273#XERA (statement). In 6KZRZVS1V5/e1, lemma B.2
History
- 2026-10-31: add by m2/v0.5.6
Application JQAFE7GWVA
| URI | m2://inv/JQAFE7GWVA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kac's lemma#68AC, Application (example)
History
- 2026-11-02: add by m2/dev
JQAH0RD2WJ JQAH0RD2WJ
| URI | m2://inv/JQAH0RD2WJ |
|---|---|
| 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.19260#2RJE (statement). In PWXT7J9JX3/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
JQAM9EEZ8H JQAM9EEZ8H
| URI | m2://inv/JQAM9EEZ8H |
|---|---|
| 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.07963#65RQ (statement). In HAGJKEZ1CK/e1, proposition 8.3
History
- 2026-10-29: add by m2/v0.4.10
Collapse at $r+1$ colours JQAPPGM9XG
| URI | m2://inv/JQAPPGM9XG |
|---|---|
| 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.38993#JGXY, Collapse at $r+1$ colours (statement). In AFKQK866Y1/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
JQAT1DP6GK JQAT1DP6GK
| URI | m2://inv/JQAT1DP6GK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zarankiewicz problem#ZYLQ (problem)
History
- 2026-11-02: add by m2/dev
JQB64CKNZS JQB64CKNZS
| URI | m2://inv/JQB64CKNZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#XRX6 (statement). In J55JTTKG84/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.12
Paul Wolfskehl JQB7R4PQSV
| URI | m2://inv/JQB7R4PQSV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AJXP, Paul Wolfskehl (topic)
History
- 2026-11-02: add by m2/dev
conservative extension JQB8HB5HE1
| URI | m2://inv/JQB8HB5HE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5VI0, conservative extension (definition)
History
- 2026-11-02: add by m2/dev
Theorem JQBC20ZAZP
| URI | m2://inv/JQBC20ZAZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#JSG6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
JQBC7Y8ZZ8 JQBC7Y8ZZ8
| URI | m2://inv/JQBC7Y8ZZ8 |
|---|---|
| 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.30565#2O18 (statement). In TP0R6GK9AX/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
JQBH1YYCER JQBH1YYCER
| URI | m2://inv/JQBH1YYCER |
|---|---|
| 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#AV77 (definition). In G02N9D40B9/e1, definition 6.2.5
History
- 2026-10-29: add by m2/v0.4.10
Equilateral polygon JQBM5H7ZDR
| URI | m2://inv/JQBM5H7ZDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#EBRN, Equilateral polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#SF7O, Equilateral polygon (definition)
History
- 2026-11-02: add by m2/dev
soft sheaf JQBMQVSFDM
| URI | m2://inv/JQBMQVSFDM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130728922, soft sheaf (unknown). Also EoM Soft_sheaf, nLab soft sheaf
History
- 2026-10-26: add by m2/dev
representation norm JQBNNT45YA
| URI | m2://inv/JQBNNT45YA |
|---|---|
| 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.08016#4KMT, representation norm (statement). In YR3CSTYEJW/e1, corollary 2.8
History
- 2026-10-29: add by m2/v0.4.10
JQBP137G93 JQBP137G93
| URI | m2://inv/JQBP137G93 |
|---|---|
| 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#E5BI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Endpoint cap-source control JQBS296P22
| URI | m2://inv/JQBS296P22 |
|---|---|
| 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.12387#SBKR, Endpoint cap-source control (statement). In 3Z0PRE77SY/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
Definition JQBWV5PN1J
| URI | m2://inv/JQBWV5PN1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length function#BXB0, Definition (definition)
History
- 2026-11-02: add by m2/dev
disjunction introduction JQBXMXV20J
| URI | m2://inv/JQBXMXV20J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HEGW, disjunction introduction (definition)
History
- 2026-11-02: add by m2/dev
Gamma function JQC3C579ES
| URI | m2://inv/JQC3C579ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#PAXP, Gamma function (definition)
History
- 2026-11-02: add by m2/dev
Runge–Kutta methods JQCD1DCTJS
| URI | m2://inv/JQCD1DCTJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#J34K, Runge–Kutta methods (definition)
History
- 2026-11-02: add by m2/dev
Picard's theorem JQCGZDZJ4Q
| URI | m2://inv/JQCGZDZJ4Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.3.2/picard-s-theorem, Picard's theorem (concept). In E59CDZA4DP, index, section 9.3.2
History
- 2026-11-01: add by m2/v0.6.13
JQCJEQ3RJ4 JQCJEQ3RJ4
| URI | m2://inv/JQCJEQ3RJ4 |
|---|---|
| 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 2502.09442#U3KH (statement). In DNT32YYDM4/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.0
Beta-binomial distribution JQCK87MKPS
| URI | m2://inv/JQCK87MKPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#7PHO, Beta-binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
Definitions JQCSYQ6H9G
| URI | m2://inv/JQCSYQ6H9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#SMQS, Definitions (definition)
History
- 2026-11-02: add by m2/dev
729 (number) JQCTAWBPNB
| URI | m2://inv/JQCTAWBPNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#8WC9, 729 (number) (unknown)
History
- 2026-11-02: add by m2/dev
JQCZCVJNY3 JQCZCVJNY3
| URI | m2://inv/JQCZCVJNY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.26588#YE86 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JQD01JTMVP JQD01JTMVP
| URI | m2://inv/JQD01JTMVP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#QK1S (definition). In 9H45HQE7AZ/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Genealogical numbering systems JQD7JY3QX8
| URI | m2://inv/JQD7JY3QX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genealogical numbering systems, Genealogical numbering systems (definition). Also Wikidata Q1106073
History
- 2026-11-02: add by m2/dev
Reynolds operator JQDBT5N7Q4
| URI | m2://inv/JQDBT5N7Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#26K6, Reynolds operator (definition)
History
- 2026-11-02: add by m2/dev
Brenier's theorem JQDEAXVDMY
| URI | m2://inv/JQDEAXVDMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brenier's theorem, Brenier's theorem (statement). Also Wikidata Q139940288
History
- 2026-11-02: add by m2/dev
William Herrick Macaulay JQDEVB92Y9
| URI | m2://inv/JQDEVB92Y9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Herrick Macaulay, William Herrick Macaulay (topic). Also Wikidata Q11108120
History
- 2026-11-02: add by m2/dev
Weaving lemma JQDG7SXGNX
| URI | m2://inv/JQDG7SXGNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact sequence#CIRP, Weaving lemma (statement)
History
- 2026-11-02: add by m2/dev
Bicommutant JQDN32JB7F
| URI | m2://inv/JQDN32JB7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicommutant, Bicommutant (definition). Also Wikidata Q2901650
History
- 2026-11-02: add by m2/dev
Observations and the relaxed class JQDYXSFWHV
| URI | m2://inv/JQDYXSFWHV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#9JAD, Observations and the relaxed class (definition). In JY6RYSNXMJ/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
JQE3TC8A8T JQE3TC8A8T
| URI | m2://inv/JQE3TC8A8T |
|---|---|
| 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.25307#A7ZX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Crypto-PAn JQE5SQFEVP
| URI | m2://inv/JQE5SQFEVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypto-PAn, Crypto-PAn (definition). Also Wikidata Q60742890
History
- 2026-11-02: add by m2/dev
Applications JQE95NBTP3
| URI | m2://inv/JQE95NBTP3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pochhammer contour#M6DH, Applications (example)
History
- 2026-11-02: add by m2/dev
JQENBWS2TQ JQENBWS2TQ
| URI | m2://inv/JQENBWS2TQ |
|---|---|
| Kind | example |
| 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 2301.07434#S7CK (example). In 7XZHQ2H5ZD/e1, example 2.4
History
- 2026-10-27: add by m2/v0.3.5
JQERK1YVZH JQERK1YVZH
| URI | m2://inv/JQERK1YVZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39330#M0HA (statement). In 7ZTJ23YG7A/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
JQESK9YJ3A JQESK9YJ3A
| URI | m2://inv/JQESK9YJ3A |
|---|---|
| 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.18620#DUAY (statement). In 6WJ0R9YEBR/e1, corollary 3.18
History
- 2026-10-28: add by m2/v0.4.2
Example JQEZ4ZMYYY
| URI | m2://inv/JQEZ4ZMYYY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering lemma#39TV, Example (example)
History
- 2026-11-02: add by m2/dev
JQF4S87675 JQF4S87675
| URI | m2://inv/JQF4S87675 |
|---|---|
| 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.06488#B4AQ (statement). In XG3BJ2QXXP/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
JQF75KA37X JQF75KA37X
| URI | m2://inv/JQF75KA37X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#BAH5 (statement). In 8TRCP1482Q/e1, proposition B.14
History
- 2026-10-29: add by m2/v0.4.10
JQFD5MMJTB JQFD5MMJTB
| URI | m2://inv/JQFD5MMJTB |
|---|---|
| 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.30113#RKPK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition JQFPHH04ND
| URI | m2://inv/JQFPHH04ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes estimator#8TUP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Oracle GGDPC path through a boundary saddle point JQFQR9GY94
| URI | m2://inv/JQFQR9GY94 |
|---|---|
| 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.01050#UY7S, Oracle GGDPC path through a boundary saddle point (statement). In 48NN33SAH7/e1, lemma F.8
History
- 2026-10-29: add by m2/v0.4.12
Nersesjan JQG8EWHY02
| URI | m2://inv/JQG8EWHY02 |
|---|---|
| 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.16583#FVTP, Nersesjan (statement). In 4RPXT0YCS5/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
Willem van der Woude JQGB9BH7EN
| URI | m2://inv/JQGB9BH7EN |
|---|---|
| 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#QIIL, Willem van der Woude (topic)
History
- 2026-11-02: add by m2/dev
calculus JQGKHPKY4A
| URI | m2://inv/JQGKHPKY4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#3HNH, calculus (definition)
History
- 2026-11-02: add by m2/dev
relevance logic JQGVJBSDC0
| URI | m2://inv/JQGVJBSDC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LOIC, relevance logic (definition)
History
- 2026-11-02: add by m2/dev
Characterizations JQGXSWYFFD
| URI | m2://inv/JQGXSWYFFD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelogram#HGUE, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
JQGZYB1QMT JQGZYB1QMT
| URI | m2://inv/JQGZYB1QMT |
|---|---|
| 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.24675#HQ2F (statement)
History
- 2026-11-01: add by m2/v0.6.15
JQH8YX7DAG JQH8YX7DAG
| URI | m2://inv/JQH8YX7DAG |
|---|---|
| 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.25038#CP0H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition JQH9TBRMEQ
| URI | m2://inv/JQH9TBRMEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nondeterministic Turing machine#O274, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
JQHBR725ZP JQHBR725ZP
| URI | m2://inv/JQHBR725ZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21255#D5J7 (statement). In FB4DAYJJ5F/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
JQHJGBY3H0 JQHJGBY3H0
| URI | m2://inv/JQHJGBY3H0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.33541#7OB1 (example). In N3P196CEAJ/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Scaling symmetry of the regularized anisotropic Epstein zeta functions JQHTWXAEVR
| URI | m2://inv/JQHTWXAEVR |
|---|---|
| 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#UR3B, Scaling symmetry of the regularized anisotropic Epstein zeta functions (statement)
History
- 2026-11-01: add by m2/v0.6.15
JQHVVPPJHQ JQHVVPPJHQ
| URI | m2://inv/JQHVVPPJHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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.37520#C3TN (statement). In BDN507RN7J/e1, proposition 3.8.7
History
- 2026-10-30: add by m2/v0.4.12
integral test for series JQJ03P1EBX
| URI | m2://inv/JQJ03P1EBX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.5.1/integral-test-for-series, integral test for series (concept). In E59CDZA4DP, index, section 8.5.1
History
- 2026-11-01: add by m2/v0.6.13
Longstaff–Schwartz model JQJ6QR4G5G
| URI | m2://inv/JQJ6QR4G5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#863C, Longstaff–Schwartz model (definition)
History
- 2026-11-02: add by m2/dev
Arthur William Conway JQJ7JEJJ2A
| URI | m2://inv/JQJ7JEJJ2A |
|---|---|
| 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#C6QY, Arthur William Conway (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TGE4, Arthur William Conway (topic)
History
- 2026-11-02: add by m2/dev
Second-moment sampling formula JQJ7WD0SYW
| URI | m2://inv/JQJ7WD0SYW |
|---|---|
| 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.20042#CW0H, Second-moment sampling formula (statement)
History
- 2026-11-02: add by m2/v0.6.18
numerical stability JQJ85207F6
| URI | m2://inv/JQJ85207F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Numerical stability 1AKB4XHMTH |
Mentions
- wikidata: Wikidata Q1430640, numerical stability (unknown). Also MathWorld NumericalStability
- wikipedia: Wikipedia Numerical stability, Numerical stability (definition). Also Wikidata Q1430640
History
- 2026-10-26: add by m2/dev
Movement bound in the oversampled case JQJF3NN00A
| URI | m2://inv/JQJF3NN00A |
|---|---|
| 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.08152#JL2X, Movement bound in the oversampled case (statement). In T1GYQ6SCCZ/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
History of bioinformatics JQJJD7MQSS
| URI | m2://inv/JQJJD7MQSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bioinformatics#IAYV, History of bioinformatics (unknown)
History
- 2026-11-02: add by m2/dev
David H. Bailey JQJJZFC4WA
| URI | m2://inv/JQJJZFC4WA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HN3D, David H. Bailey (topic)
History
- 2026-11-02: add by m2/dev
The dichotomy is a single-instance phenomenon: fixed schedules JQJRBG4K4Y
| URI | m2://inv/JQJRBG4K4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#J8G7, The dichotomy is a single-instance phenomenon: fixed schedules (statement). In 7HXP270BD0/e1, corollary 3.27
History
- 2026-10-30: add by m2/v0.4.12
Ajtai, Komlós, Szemerédi , Fernandez de la Vega JQK6KXMYGB
| URI | m2://inv/JQK6KXMYGB |
|---|---|
| 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#F99Z, Ajtai, Komlós, Szemerédi , Fernandez de la Vega (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sharina Person JQKFRG2FXZ
| URI | m2://inv/JQKFRG2FXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharina Person, Sharina Person (topic). Also Wikidata Q92142597
History
- 2026-11-02: add by m2/dev
Durbin–Watson statistic JQKJ2BJKG3
| URI | m2://inv/JQKJ2BJKG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GBVY, Durbin–Watson statistic (definition)
History
- 2026-11-02: add by m2/dev
JQKMVGBCV9 JQKMVGBCV9
| URI | m2://inv/JQKMVGBCV9 |
|---|---|
| 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 2610.02379#OHU0 (statement). In W9E40AZJ03/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
JQKSRKJ4B1 JQKSRKJ4B1
| URI | m2://inv/JQKSRKJ4B1 |
|---|---|
| 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.15588#XAEJ (statement). In M2VCJFGZ4P/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Gaspar Schott JQKZMNT1WH
| URI | m2://inv/JQKZMNT1WH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#JFDT, Gaspar Schott (unknown)
History
- 2026-11-02: add by m2/dev
packing density JQMAGKPGV9
| URI | m2://inv/JQMAGKPGV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Packing density 4P5PSWADJD |
Mentions
- wikidata: Wikidata Q18385933, packing density (unknown). Also MathWorld PackingDensity
- wikipedia: Wikipedia Packing density, Packing density (definition). Also Wikidata Q18385933
History
- 2026-10-26: add by m2/dev
Rod Downey JQME0C79FC
| URI | m2://inv/JQME0C79FC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rod Downey, Rod Downey (topic). Also Wikidata Q7356180
History
- 2026-11-02: add by m2/dev
Node Kayles JQMFY9SJ9F
| URI | m2://inv/JQMFY9SJ9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#ZDME, Node Kayles (unknown)
History
- 2026-11-02: add by m2/dev
Lindemann–Weierstrass theorem JQMH9CWW3H
| URI | m2://inv/JQMH9CWW3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Lindemann–Weierstrass theorem 0JNCBFMPXR |
Mentions
- mathlib_1000: mathlib_1000 Q1572474, Lindemann–Weierstrass theorem (statement). Also Wikidata Q1572474
- thousand_plus: thousand_plus Q1572474, Lindemann–Weierstrass theorem (statement). Also Wikidata Q1572474, Wikipedia Lindemann–Weierstrass theorem
- wikidata: Wikidata Q1572474, Lindemann–Weierstrass theorem (statement). Also MathWorld Lindemann-WeierstrassTheorem
- wikipedia: Wikipedia Lindemann–Weierstrass theorem, Lindemann–Weierstrass theorem (statement). Also Wikidata Q1572474
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Robert J. Elliott JQMMGT5A4G
| URI | m2://inv/JQMMGT5A4G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RHN6, Robert J. Elliott (topic)
History
- 2026-11-02: add by m2/dev
Derivatives of conditioned transition probabilities JQMPGFB3S9
| URI | m2://inv/JQMPGFB3S9 |
|---|---|
| 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.24569#22OH, Derivatives of conditioned transition probabilities (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sample size sufficient for a given accuracy JQMW3Z8KYT
| URI | m2://inv/JQMW3Z8KYT |
|---|---|
| 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.17403#0ADD, Sample size sufficient for a given accuracy (statement). In 9EMNMAW8YH/e1, corollary 7
History
- 2026-10-28: add by m2/v0.4.2
snake JQN6D6JQ95
| URI | m2://inv/JQN6D6JQ95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#PL51, snake (definition)
History
- 2026-11-02: add by m2/dev
JQN8W69MVN JQN8W69MVN
| URI | m2://inv/JQN8W69MVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16157#ZXNM (statement). In GV251MW5RP/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Initial-minor reduction JQNAPE06ZF
| URI | m2://inv/JQNAPE06ZF |
|---|---|
| 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#WT8S, Initial-minor reduction (statement). In 8BNPFYQDQX/e1, lemma 9.6
History
- 2026-10-29: add by m2/v0.4.10
Implementation JQNB7BD04K
| URI | m2://inv/JQNB7BD04K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative proportional fitting#ANBU, Implementation (definition)
History
- 2026-11-02: add by m2/dev
JQNV528GTX JQNV528GTX
| URI | m2://inv/JQNV528GTX |
|---|---|
| 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 2607.28337#1Z64 (statement). In 7ZJFWBTBKM/e1, proposition 4.2.2
History
- 2026-10-27: add by m2/v0.3.6
Applications JQNXZAYMMS
| URI | m2://inv/JQNXZAYMMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum field theory in curved spacetime#2FSK, Applications (example)
History
- 2026-11-02: add by m2/dev
JQP06181R8 JQP06181R8
| URI | m2://inv/JQP06181R8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08625#ELTH (statement). In F2Y9SQ2VP4/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.0
Esther Szekeres JQP4NKP4Z5
| URI | m2://inv/JQP4NKP4Z5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esther Szekeres, Esther Szekeres (topic). Also Wikidata Q51109
History
- 2026-11-02: add by m2/dev
Properties JQP72JTER6
| URI | m2://inv/JQP72JTER6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard basis#QVJH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Thompson subgroup JQP9T4XKJ2
| URI | m2://inv/JQP9T4XKJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thompson subgroup, Thompson subgroup (definition). Also Wikidata Q7795824
History
- 2026-11-02: add by m2/dev
JQPBTX97F3 JQPBTX97F3
| URI | m2://inv/JQPBTX97F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15877#ZI5C (statement). In F3W750X9N6/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
JQPEPSDGHP JQPEPSDGHP
| URI | m2://inv/JQPEPSDGHP |
|---|---|
| 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.28365#MVM9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Blaise Pascal JQPG2XP2EV
| URI | m2://inv/JQPG2XP2EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#JJLR, Blaise Pascal (topic)
History
- 2026-11-02: add by m2/dev
Lyndon-Schützenberger JQPM2Z433F
| URI | m2://inv/JQPM2Z433F |
|---|---|
| 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.18106#300Q, Lyndon-Schützenberger (statement). In VZDPG7NJCX/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Pimania JQPMB3KV8R
| URI | m2://inv/JQPMB3KV8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#I1LE, Pimania (unknown)
History
- 2026-11-02: add by m2/dev
Examples JQPMXB997M
| URI | m2://inv/JQPMXB997M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from poor design#ZK8R, Examples (example)
History
- 2026-11-02: add by m2/dev
Matthias Günther JQPN8EYTXJ
| URI | m2://inv/JQPN8EYTXJ |
|---|---|
| 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#AP85, Matthias Günther (unknown)
History
- 2026-11-02: add by m2/dev
JQPR2J6BGH JQPR2J6BGH
| URI | m2://inv/JQPR2J6BGH |
|---|---|
| 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.04603#0ZLV (statement). In HEAG8V2JM1/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
JQQ24K6SWT JQQ24K6SWT
| URI | m2://inv/JQQ24K6SWT |
|---|---|
| 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.28649#VPS8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JQQ66R78DV JQQ66R78DV
| URI | m2://inv/JQQ66R78DV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor-5 (statement). In VNMV985MXX, cor, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
JQQ7DY17M4 JQQ7DY17M4
| URI | m2://inv/JQQ7DY17M4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-14 (proof). In E59CDZA4DP, proof, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
Demographics of Luton JQQ80X0B13
| URI | m2://inv/JQQ80X0B13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Luton, Demographics of Luton (definition). Also Wikidata Q20979074
History
- 2026-11-02: add by m2/dev
Prandtl number JQQAGG6DJW
| URI | m2://inv/JQQAGG6DJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prandtl number, Prandtl number (definition). Also Wikidata Q815306
History
- 2026-11-02: add by m2/dev
JQQBRTZHBS JQQBRTZHBS
| URI | m2://inv/JQQBRTZHBS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02558#K07H (definition). In 7SMKFW1KP1/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
JQQESHBMPC JQQESHBMPC
| URI | m2://inv/JQQESHBMPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.11021#9GF1 (statement). In R0SSJZYVTJ/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.3
European Institute for Statistics, Probability, Stochastic Operations Research and its Applications JQQG00BTKE
| URI | m2://inv/JQQG00BTKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Institute for Statistics, Probability, Stochastic Operations Research and its Applications, European Institute for Statistics, Probability, Stochastic Operations Research and its Applications (definition). Also Wikidata Q15995055
History
- 2026-11-02: add by m2/dev
JQQRNNK2JF JQQRNNK2JF
| URI | m2://inv/JQQRNNK2JF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:disjoint-or (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Parable of the Invisible Gardener JQRBTEGTTN
| URI | m2://inv/JQRBTEGTTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parable of the Invisible Gardener, Parable of the Invisible Gardener (definition). Also Wikidata Q2841190
History
- 2026-11-02: add by m2/dev
Applications JQRDGS5DJG
| URI | m2://inv/JQRDGS5DJG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levenshtein automaton#MX9S, Applications (example)
History
- 2026-11-02: add by m2/dev
Formal statement JQRDJ519HE
| URI | m2://inv/JQRDJ519HE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine theorem#584H, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
JQREPPM6DS JQREPPM6DS
| URI | m2://inv/JQREPPM6DS |
|---|---|
| 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.10406#FWDG (statement). In VQA35Q7C00/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
Markman JQRH50ZGWG
| URI | m2://inv/JQRH50ZGWG |
|---|---|
| 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#CT4W, Markman (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lynda Carlson JQRNH06PW0
| URI | m2://inv/JQRNH06PW0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynda Carlson, Lynda Carlson (topic). Also Wikidata Q106414466
History
- 2026-11-02: add by m2/dev
Examples JQRPPSJRS7
| URI | m2://inv/JQRPPSJRS7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indeterminate system#BB8Z, Examples (example)
History
- 2026-11-02: add by m2/dev
JQRSKW0K5T JQRSKW0K5T
| URI | m2://inv/JQRSKW0K5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#IWAB (statement). In MB29RAAQMG/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Takeuti's conjecture JQRZWGBERP
| URI | m2://inv/JQRZWGBERP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Takeuti's conjecture, Takeuti's conjecture (statement). Also Wikidata Q7678179
History
- 2026-11-02: add by m2/dev
JQS03VC4FP JQS03VC4FP
| URI | m2://inv/JQS03VC4FP |
|---|---|
| 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.08424#21QH (statement). In BVD2HAAKD5/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Pairs S69--S72 JQSAKT8YND
| URI | m2://inv/JQSAKT8YND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08865#PP1G, Pairs S69--S72 (statement). In SJ5JKGH94M/e1, theorem 27
History
- 2026-10-29: add by m2/v0.4.10
Weakly compact action, {Ozawa--Popa JQSR8SFZGJ
| URI | m2://inv/JQSR8SFZGJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#7KF1, Weakly compact action, {Ozawa--Popa (definition). In MZ60NP20BH/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.4.0
JQST0QH6NC JQST0QH6NC
| URI | m2://inv/JQST0QH6NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#O7XQ (statement). In YXRKS451PK/e1, lemma A.9
History
- 2026-10-28: add by m2/v0.4.2
Lightweight Blockchain JQSY2GE8D1
| URI | m2://inv/JQSY2GE8D1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#AYB6, Lightweight Blockchain (unknown)
History
- 2026-11-02: add by m2/dev
JQSZEMVREQ JQSZEMVREQ
| URI | m2://inv/JQSZEMVREQ |
|---|---|
| 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.33241#HTSE (statement). In NX6QV01PCE/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
JQT8SYKVQ5 JQT8SYKVQ5
| URI | m2://inv/JQT8SYKVQ5 |
|---|---|
| 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#AU62 (statement). In DG9TF5X0EG/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
JQTDRY6QHD JQTDRY6QHD
| URI | m2://inv/JQTDRY6QHD |
|---|---|
| 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.18084#RW10 (statement). In PKPT8NY665/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
JQTYA1DY7P JQTYA1DY7P
| URI | m2://inv/JQTYA1DY7P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#RT7D (definition). In 160PQ7F1AS/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Theorem JQV0AES6Q3
| URI | m2://inv/JQV0AES6Q3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerve (category theory)#24ZI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hidden-line removal JQV938B38D
| URI | m2://inv/JQV938B38D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#523W, Hidden-line removal (unknown)
History
- 2026-11-02: add by m2/dev
John Leigh Smeathman Hatton JQVCNZZKVE
| URI | m2://inv/JQVCNZZKVE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Leigh Smeathman Hatton, John Leigh Smeathman Hatton (topic). Also Wikidata Q16029198
History
- 2026-11-02: add by m2/dev
JQVDJF1G0T JQVDJF1G0T
| URI | m2://inv/JQVDJF1G0T |
|---|---|
| Kind | definition |
| 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 2610.03612#7SVN (definition). In REDG6QVHM3/e1, definition 8.4
History
- 2026-10-29: add by m2/v0.4.12
JQVF033TKM JQVF033TKM
| URI | m2://inv/JQVF033TKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#UY84 (statement). In 7CK21JGM5A/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.4.2
Nowhere continuous function JQVG1HWZ0J
| URI | m2://inv/JQVG1HWZ0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere continuous function, Nowhere continuous function (definition). Also Wikidata Q93430594
History
- 2026-11-02: add by m2/dev
Mangala Narlikar JQVGY41HSP
| URI | m2://inv/JQVGY41HSP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mangala Narlikar, Mangala Narlikar (topic). Also Wikidata Q21293239
History
- 2026-11-02: add by m2/dev
JQVJZBGVZP JQVJZBGVZP
| URI | m2://inv/JQVJZBGVZP |
|---|---|
| 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.00312#6EYA (statement). In 41NFABHFXH/e1, lemma 8.3
History
- 2026-10-30: add by m2/v0.4.12
JQVQ7B1GH8 JQVQ7B1GH8
| URI | m2://inv/JQVQ7B1GH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#I7AA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Enumerator polynomial JQVV2NFRNR
| URI | m2://inv/JQVV2NFRNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumerator polynomial, Enumerator polynomial (definition). Also Wikidata Q4454980
History
- 2026-11-02: add by m2/dev
JQVZSY0DN5 JQVZSY0DN5
| URI | m2://inv/JQVZSY0DN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#LN0D (statement). In J4P6HXMJCH/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
JQW4TQGK6V JQW4TQGK6V
| URI | m2://inv/JQW4TQGK6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#Q378 (statement). In NBMA6DBKJG/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Binary regression JQW722NXA2
| URI | m2://inv/JQW722NXA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary regression, Binary regression (definition). Also Wikidata Q65060539
History
- 2026-11-02: add by m2/dev
general proposition JQWA7N1J18
| URI | m2://inv/JQWA7N1J18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#4A8R, general proposition (definition)
History
- 2026-11-02: add by m2/dev
JQWGNVTR7T JQWGNVTR7T
| URI | m2://inv/JQWGNVTR7T |
|---|---|
| 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.23262#IAA7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
JQWGQFXZNR JQWGQFXZNR
| URI | m2://inv/JQWGQFXZNR |
|---|---|
| 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.00775#ZXZ1 (statement). In WVHA7H05QC/e1, corollary 2.25
History
- 2026-10-29: add by m2/v0.4.12
JQWH1H4SF8 JQWH1H4SF8
| URI | m2://inv/JQWH1H4SF8 |
|---|---|
| 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#YPD4 (statement). In AYANBEWSFH/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
Definition JQWQD146TP
| URI | m2://inv/JQWQD146TP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine monoid#HTXL, Definition (definition)
History
- 2026-11-02: add by m2/dev
JQWRA5BVH6 JQWRA5BVH6
| URI | m2://inv/JQWRA5BVH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16114#03LM (statement). In JZZ3FJ382R/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Applications JQXJG0GBZB
| URI | m2://inv/JQXJG0GBZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal homogeneous space#29ZC, Applications (example)
History
- 2026-11-02: add by m2/dev
JQXM09890K JQXM09890K
| URI | m2://inv/JQXM09890K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-26 (exercise). In VNMV985MXX, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Binomial distribution JQXM7KH3HB
| URI | m2://inv/JQXM7KH3HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4QEA, Binomial distribution (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#L463, Binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
Backward random walk representation JQXQYG4C65
| URI | m2://inv/JQXQYG4C65 |
|---|---|
| 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.27689#JRWJ, Backward random walk representation (statement)
History
- 2026-11-01: add by m2/v0.6.15
group generated by homotheties and translations JQXT3PG89R
| URI | m2://inv/JQXT3PG89R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > group generated by homotheties and translations, group generated by homotheties and translations (unknown)
History
- 2026-10-26: add by m2/dev
Degree of a differential equation JQXVTD950N
| URI | m2://inv/JQXVTD950N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential equation#TD67, Degree of a differential equation (unknown)
History
- 2026-11-02: add by m2/dev
Applications JQXVW4ZRJN
| URI | m2://inv/JQXVW4ZRJN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Gaussian distribution#SND7, Applications (example)
History
- 2026-11-02: add by m2/dev
JQXX5TFZPY JQXX5TFZPY
| URI | m2://inv/JQXX5TFZPY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-15 (proof). In N54F33XE07, proof, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Dorian M. Goldfeld JQY0CZNWTM
| URI | m2://inv/JQY0CZNWTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#S9DV, Dorian M. Goldfeld (topic)
History
- 2026-11-02: add by m2/dev
JQY40GQ1AF JQY40GQ1AF
| URI | m2://inv/JQY40GQ1AF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-4-2-1.xml#act-4-2-1 (exercise). In 907G4C4EJ1, activity, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Laws of quantum mechanics JQY43DBYYZ
| URI | m2://inv/JQY43DBYYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#APQG, Laws of quantum mechanics (statement)
History
- 2026-11-02: add by m2/dev
Bockstein spectral sequence JQY4EV2JCY
| URI | m2://inv/JQY4EV2JCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bockstein spectral sequence MVHCYMKFY9 |
Mentions
- wikidata: Wikidata Q4936293, Bockstein spectral sequence (unknown). Also nLab Bockstein spectral sequence
- wikipedia: Wikipedia Bockstein spectral sequence, Bockstein spectral sequence (definition). Also Wikidata Q4936293
History
- 2026-10-26: add by m2/dev
Definition JQYCSJRH4C
| URI | m2://inv/JQYCSJRH4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bias of an estimator#2DSO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications JQYD610KA6
| URI | m2://inv/JQYD610KA6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinitz exchange lemma#PX0E, Applications (example)
History
- 2026-11-02: add by m2/dev
JQYDXZFVXC JQYDXZFVXC
| URI | m2://inv/JQYDXZFVXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.20460#FAK3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Abelson's paradox JQYF1R5ZVY
| URI | m2://inv/JQYF1R5ZVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelson's paradox, Abelson's paradox (statement). Also Wikidata Q4666727
History
- 2026-11-02: add by m2/dev
Fractal flame JQYX7M3H0H
| URI | m2://inv/JQYX7M3H0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal flame, Fractal flame (definition). Also Wikidata Q5477494
History
- 2026-11-02: add by m2/dev
Graham Priest JQYZ9410FJ
| URI | m2://inv/JQYZ9410FJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graham Priest, Graham Priest (topic). Also Wikidata Q1541962
History
- 2026-11-02: add by m2/dev
Hopf lemma JQZ4REQH5R
| URI | m2://inv/JQZ4REQH5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf lemma, Hopf lemma (statement). Also Wikidata Q17027555
History
- 2026-11-02: add by m2/dev
JQZAHMQQRD JQZAHMQQRD
| URI | m2://inv/JQZAHMQQRD |
|---|---|
| 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 2610.19132#07TA (statement). In 3CQJND929F/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Risk under spatial corruption JQZATDN0AT
| URI | m2://inv/JQZATDN0AT |
|---|---|
| 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.15202#4LYS, Risk under spatial corruption (statement). In X1FPG0KYBM/e1, theorem K.6
History
- 2026-10-28: add by m2/v0.4.2
JQZBZZ4K3V JQZBZZ4K3V
| URI | m2://inv/JQZBZZ4K3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#DWPQ (statement). In X47RYAZF8P/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
Abraham Ginzburg JQZDB952BQ
| URI | m2://inv/JQZDB952BQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P3RR, Abraham Ginzburg (unknown)
History
- 2026-11-02: add by m2/dev
Exponential energy moment JQZGAAWY7J
| URI | m2://inv/JQZGAAWY7J |
|---|---|
| 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.15199#QVZW, Exponential energy moment (statement). In EVFTDVP4K4/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.2
Subtraction and Weyl's axioms JQZRP37BBE
| URI | m2://inv/JQZRP37BBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine space#G7YU, Subtraction and Weyl's axioms (statement)
History
- 2026-11-02: add by m2/dev
Peter E. Hart JQZTDCNMH3
| URI | m2://inv/JQZTDCNMH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MUZ0, Peter E. Hart (unknown)
History
- 2026-11-02: add by m2/dev
JQZWDYJB6N JQZWDYJB6N
| URI | m2://inv/JQZWDYJB6N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 101.2.2
History
- 2026-11-01: add by m2/v0.6.13
Examples JQZWNCP104
| URI | m2://inv/JQZWNCP104 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Step function#LMYJ, Examples (example)
History
- 2026-11-02: add by m2/dev