Inventory rows SN
The cards of the rows of the inventory whose ids start with SN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Order topology SN01ZRXRGC
| URI | m2://inv/SN01ZRXRGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#C4OU, Order topology (definition)
History
- 2026-11-02: add by m2/dev
SN07897MXV SN07897MXV
| URI | m2://inv/SN07897MXV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01806#58UZ (definition). In 4FXW9CRBXX/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Example SN09BRAS76
| URI | m2://inv/SN09BRAS76 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neumann series#4UTL, Example (example)
History
- 2026-11-02: add by m2/dev
Teresa Cohen SN0CAY3MGZ
| URI | m2://inv/SN0CAY3MGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teresa Cohen, Teresa Cohen (topic). Also Wikidata Q7702121
History
- 2026-11-02: add by m2/dev
SN0D584VS3 SN0D584VS3
| URI | m2://inv/SN0D584VS3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#G6ZO (definition)
History
- 2026-11-01: add by m2/v0.6.15
SN0G591EPR SN0G591EPR
| URI | m2://inv/SN0G591EPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35574#0QYG (statement). In 3Q70DMD7Z7/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
SN0HA64AT6 SN0HA64AT6
| URI | m2://inv/SN0HA64AT6 |
|---|---|
| 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.07442#9RGZ (statement). In 6SDC2Z8Y8M/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
Goertzel algorithm SN0PP3CY3P
| URI | m2://inv/SN0PP3CY3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CM8B, Goertzel algorithm (definition)
History
- 2026-11-02: add by m2/dev
SN0Q7NV74R SN0Q7NV74R
| URI | m2://inv/SN0Q7NV74R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.17139#OWMF (statement). In AQWX60Z563/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Bochner identity SN0RF885XA
| URI | m2://inv/SN0RF885XA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4936241, Bochner identity (statement). Also MathWorld BochnerIdentity
- wikipedia: Wikipedia Bochner identity, Bochner identity (statement). Also Wikidata Q4936241
History
- 2026-10-26: add by m2/dev
Partially ordered set SN0VVDJV89
| URI | m2://inv/SN0VVDJV89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#F9AO, Partially ordered set (definition)
History
- 2026-11-02: add by m2/dev
open, problem SN0ZTYB1EK
| URI | m2://inv/SN0ZTYB1EK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/open-problem, open, problem (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
\bf Trajectory set SN18FX1VA2
| URI | m2://inv/SN18FX1VA2 |
|---|---|
| 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 2312.14445#X04K, \bf Trajectory set (definition). In V56MKF0KW2/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Correspondence of periodic solutions SN1BEW4TN6
| URI | m2://inv/SN1BEW4TN6 |
|---|---|
| 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.05354#QJO8, Correspondence of periodic solutions (statement). In TZ5BMDXRQZ/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
SN1CZR6EEX SN1CZR6EEX
| URI | m2://inv/SN1CZR6EEX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_flows-cuts.ptx#example-1 (example). In QKM9DD2H56, example, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
Cohen-Macaulay but not shellable SN1DB4TA3A
| URI | m2://inv/SN1DB4TA3A |
|---|---|
| Kind | example |
| 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.09926#E8HU, Cohen-Macaulay but not shellable (example). In ZZY5S3FHMJ/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.10
SN1E1RW6TT SN1E1RW6TT
| URI | m2://inv/SN1E1RW6TT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#GVTJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
SN1ED3A81D SN1ED3A81D
| URI | m2://inv/SN1ED3A81D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/fixpoints.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 37.9
History
- 2026-11-01: add by m2/v0.6.13
Two interacting fill edges SN1HCST3C4
| URI | m2://inv/SN1HCST3C4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#9BAK, Two interacting fill edges (problem). In 1QPAA94Q76/e1, problem 4
History
- 2026-10-28: add by m2/v0.4.2
SN1JDB45KB SN1JDB45KB
| URI | m2://inv/SN1JDB45KB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:reflsubunv-forall (statement). In N54F33XE07, thm, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
SN1KKZVAV5 SN1KKZVAV5
| URI | m2://inv/SN1KKZVAV5 |
|---|---|
| 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 2602.19452#4THJ (statement). In 3GF75S0XJ0/e1, corollary 2.10
History
- 2026-10-27: add by m2/v0.4.0
Ministry of Defense SN1Q07NX72
| URI | m2://inv/SN1Q07NX72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#K8FV, Ministry of Defense (unknown)
History
- 2026-11-02: add by m2/dev
Centroid reconstruction SN1SGEJ39M
| URI | m2://inv/SN1SGEJ39M |
|---|---|
| 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.15549#6WKJ, Centroid reconstruction (statement). In S96K5CR1B7/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Applications SN1VSTNT8S
| URI | m2://inv/SN1VSTNT8S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metalog distribution#5SUV, Applications (example)
History
- 2026-11-02: add by m2/dev
Riemann--Roch SN26PN3PQ1
| URI | m2://inv/SN26PN3PQ1 |
|---|---|
| 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.32834#B0LM, Riemann--Roch (statement). In N4M6B8EMCW/e1, theorem 2.7
History
- 2026-10-31: add by m2/v0.5.6
SN272N4B1Z SN272N4B1Z
| URI | m2://inv/SN272N4B1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.07293#94T9 (statement). In V1GVYM0WQG/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
SN27SNJ9EV SN27SNJ9EV
| URI | m2://inv/SN27SNJ9EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31249#UB44 (statement). In RAVR2W9S0B/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Shifted log-logistic distribution SN2EV9XA4S
| URI | m2://inv/SN2EV9XA4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shifted log-logistic distribution, Shifted log-logistic distribution (definition). Also Wikidata Q7496258
History
- 2026-11-02: add by m2/dev
Basic solution SN2KDKECVN
| URI | m2://inv/SN2KDKECVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic solution (linear programming), Basic solution (definition). Also Wikidata Q4867053
History
- 2026-11-02: add by m2/dev
SN2SZK3JXP SN2SZK3JXP
| URI | m2://inv/SN2SZK3JXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.21090#4BF0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Leonty Magnitsky SN2WZM5DZF
| URI | m2://inv/SN2WZM5DZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#8H89, Leonty Magnitsky (topic)
History
- 2026-11-02: add by m2/dev
Reuleaux polygon SN2XHRBXYC
| URI | m2://inv/SN2XHRBXYC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reuleaux polygon, Reuleaux polygon (object). Also Wikidata Q4298917
History
- 2026-11-02: add by m2/dev
Table of Clebsch-Gordan coefficients SN31AKDXN8
| URI | m2://inv/SN31AKDXN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#9NJP, Table of Clebsch-Gordan coefficients (definition)
History
- 2026-11-02: add by m2/dev
SN31FWPA1Y SN31FWPA1Y
| URI | m2://inv/SN31FWPA1Y |
|---|---|
| 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 2201.10697#149P (statement). In WN2Z20ZV49/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.6
Consistency condition SN31TCPHBW
| URI | m2://inv/SN31TCPHBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#WHNF, Consistency condition (statement)
History
- 2026-11-01: add by m2/v0.6.15
SN331RQ07R SN331RQ07R
| URI | m2://inv/SN331RQ07R |
|---|---|
| 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.08935#FQD7 (statement). In G02N9D40B9/e1, lemma 2.3.6
History
- 2026-10-29: add by m2/v0.4.10
Observer-expectancy effect SN336PP8V1
| URI | m2://inv/SN336PP8V1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#8BA6, Observer-expectancy effect (unknown)
History
- 2026-11-02: add by m2/dev
minus sign SN38W4KK3D
| URI | m2://inv/SN38W4KK3D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10764194, minus sign (unknown). Also MathWorld MinusSign
History
- 2026-10-26: add by m2/dev
Models of DNA evolution SN39S7T9ZJ
| URI | m2://inv/SN39S7T9ZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Models of DNA evolution, Models of DNA evolution (definition). Also Wikidata Q6888417
History
- 2026-11-02: add by m2/dev
SN3QGJ3XTG SN3QGJ3XTG
| URI | m2://inv/SN3QGJ3XTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03368#BWHJ (statement). In 1X4EY4YCQJ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
SN42GCYDYT SN42GCYDYT
| URI | m2://inv/SN42GCYDYT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#P8GH (definition). In D0XH7W96T3/e1, definition 5.7
History
- 2026-10-28: add by m2/v0.4.2
Trigonometric functions SN43FB26XZ
| URI | m2://inv/SN43FB26XZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#6NQM, Trigonometric functions (definition)
History
- 2026-11-02: add by m2/dev
beta function SN440TG8AN
| URI | m2://inv/SN440TG8AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Beta function QHNWVSC6AQ |
Mentions
- wikidata: Wikidata Q468881, beta function (definition). Also EoM Beta-function, MathWorld BetaFunction, ProofWiki Definition:Beta_Function
- wikipedia: Wikipedia Beta function, Beta function (definition). Also Wikidata Q468881
History
- 2026-10-26: add by m2/dev
seismology SN493GSEYK
| URI | m2://inv/SN493GSEYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 86A15 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83371, seismology (topic)
- wikipedia: Wikipedia Seismology, Seismology (definition). Also Wikidata Q83371
History
- 2026-10-26: add by m2/dev
SN4AMPR3WT SN4AMPR3WT
| URI | m2://inv/SN4AMPR3WT |
|---|---|
| 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.17541#S7E1 (statement). In 9PHDBFMHH6/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
SN4CZDPNFR SN4CZDPNFR
| URI | m2://inv/SN4CZDPNFR |
|---|---|
| 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 1907.01440#8GG9 (statement). In QDRYC6WJJ7/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Examples SN4K6FDJ0P
| URI | m2://inv/SN4K6FDJ0P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toy theorem#TS2T, Examples (example)
History
- 2026-11-02: add by m2/dev
Fritz Menzer SN4NRVBRF3
| URI | m2://inv/SN4NRVBRF3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#3AXG, Fritz Menzer (unknown)
History
- 2026-11-02: add by m2/dev
SN4PSYNYNN SN4PSYNYNN
| URI | m2://inv/SN4PSYNYNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#92F0 (statement). In VNE8N0D2FB/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Luigi Federico Menabrea SN4VW70D8R
| URI | m2://inv/SN4VW70D8R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#3ZA8, Luigi Federico Menabrea (topic)
History
- 2026-11-02: add by m2/dev
Haphazard sample SN4XEYHMTD
| URI | m2://inv/SN4XEYHMTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling (statistics)#3CJW, Haphazard sample (unknown)
History
- 2026-11-02: add by m2/dev
SN54M1H43K SN54M1H43K
| URI | m2://inv/SN54M1H43K |
|---|---|
| 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.28848#5HFY (statement)
History
- 2026-11-01: add by m2/v0.6.15
SN5EGT6JSM SN5EGT6JSM
| URI | m2://inv/SN5EGT6JSM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#proof-1 (proof). In RZP28ERRZV, proof, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
SN5XQP8AHF SN5XQP8AHF
| URI | m2://inv/SN5XQP8AHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#1QN9 (statement). In 3A4K47Y9F2/e1, theorem 2.51
History
- 2026-10-27: add by m2/v0.4.0
SN65B3672Q SN65B3672Q
| URI | m2://inv/SN65B3672Q |
|---|---|
| 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.05280#OWIE (statement). In K05CHVKH1B/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Theodore Frankel SN690WDF1W
| URI | m2://inv/SN690WDF1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7781782, Theodore Frankel (unknown). Also nLab Theodore Frankel
- wikipedia: Wikipedia Theodore Frankel, Theodore Frankel (topic). Also Wikidata Q7781782
History
- 2026-10-26: add by m2/dev
SN6AFQH4MX SN6AFQH4MX
| URI | m2://inv/SN6AFQH4MX |
|---|---|
| Kind | example |
| 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.07673#D9PW (example). In 37B1MPV8GX/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.10
SN6DPKXKHE SN6DPKXKHE
| URI | m2://inv/SN6DPKXKHE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#DYU3 (definition). In CGA36VE1C5/e1, definition 7.1.1
History
- 2026-10-27: add by m2/v0.3.6
Teragon SN6EAQ2N1R
| URI | m2://inv/SN6EAQ2N1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#C363, Teragon (definition)
History
- 2026-11-02: add by m2/dev
PiFast SN6GPDFKEN
| URI | m2://inv/SN6GPDFKEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#31LZ, PiFast (definition)
History
- 2026-11-02: add by m2/dev
Steven G. Krantz SN6MXAD05F
| URI | m2://inv/SN6MXAD05F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven G. Krantz, Steven G. Krantz (topic). Also Wikidata Q1778849
History
- 2026-11-02: add by m2/dev
Example SN6NETGMSS
| URI | m2://inv/SN6NETGMSS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplex algorithm#K68D, Example (example)
History
- 2026-11-02: add by m2/dev
SN6RNV2FRA SN6RNV2FRA
| URI | m2://inv/SN6RNV2FRA |
|---|---|
| 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.14318#BBYO (statement). In HA4SZZJ831/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Alessandra Celletti SN6VPXA1VV
| URI | m2://inv/SN6VPXA1VV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandra Celletti (mathematician), Alessandra Celletti (topic). Also Wikidata Q3609674
History
- 2026-11-02: add by m2/dev
SN6ZA67CDZ SN6ZA67CDZ
| URI | m2://inv/SN6ZA67CDZ |
|---|---|
| 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#XEIR (statement). In 8TRCP1482Q/e1, theorem B.12
History
- 2026-10-29: add by m2/v0.4.10
Reeve tetrahedra SN74QHWHA8
| URI | m2://inv/SN74QHWHA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeve tetrahedra, Reeve tetrahedra (definition). Also Wikidata Q7307047
History
- 2026-11-02: add by m2/dev
François Budan de Boislaurent SN79KZPWN7
| URI | m2://inv/SN79KZPWN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Budan de Boislaurent, François Budan de Boislaurent (topic). Also Wikidata Q3710126
History
- 2026-11-02: add by m2/dev
SN7Q5TCFG7 SN7Q5TCFG7
| URI | m2://inv/SN7Q5TCFG7 |
|---|---|
| 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.17602#O01N (statement). In BH62508WHJ/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
SN839JEFFR SN839JEFFR
| URI | m2://inv/SN839JEFFR |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20577#4UMJ (problem). In 3P13XJQSVK/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Nick Katz SN87QR88F4
| URI | m2://inv/SN87QR88F4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nick Katz, Nick Katz (topic). Also Wikidata Q1385093
History
- 2026-11-02: add by m2/dev
SN889KXNWJ SN889KXNWJ
| URI | m2://inv/SN889KXNWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03754#H56W (statement). In J1Z9P0H13V/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
SN8APCZRBR SN8APCZRBR
| URI | m2://inv/SN8APCZRBR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#2HTX (definition)
History
- 2026-11-02: add by m2/v0.6.17
Autoregressive conditional heteroskedasticity SN8D4MHN6V
| URI | m2://inv/SN8D4MHN6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive conditional heteroskedasticity, Autoregressive conditional heteroskedasticity (definition). Also Wikidata Q180752
History
- 2026-11-02: add by m2/dev
⌊⌋ SN8D6BC2QV
| URI | m2://inv/SN8D6BC2QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#B8NL, ⌊⌋ (definition)
History
- 2026-11-02: add by m2/dev
Algorithm SN8EVF0B8S
| URI | m2://inv/SN8EVF0B8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of dominant balance#7KZ9, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Generalized Poonen SN8JJKTE1S
| URI | m2://inv/SN8JJKTE1S |
|---|---|
| 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 2105.03715#4P8P, Generalized Poonen (conjecture). In H3FWT3Z0J4/e1, conjecture 3
History
- 2026-10-27: add by m2/v0.3.5
Viviane Baladi SN8KV5CT07
| URI | m2://inv/SN8KV5CT07 |
|---|---|
| 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#4FJ6, Viviane Baladi (topic)
History
- 2026-11-02: add by m2/dev
SN8QM2H15R SN8QM2H15R
| URI | m2://inv/SN8QM2H15R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#PLHB (statement)
History
- 2026-11-01: add by m2/v0.6.15
caustic SN91GY6KBH
| URI | m2://inv/SN91GY6KBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#PIEX, caustic (definition)
History
- 2026-11-02: add by m2/dev
Cleo Youtz SN93M329AP
| URI | m2://inv/SN93M329AP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cleo Youtz, Cleo Youtz (topic). Also Wikidata Q110391902
History
- 2026-11-02: add by m2/dev
Thom isomorphism SN9CZYVB5H
| URI | m2://inv/SN9CZYVB5H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3527000, Thom isomorphism (concept). Also EoM Thom_isomorphism, nLab Thom isomorphism
History
- 2026-10-26: add by m2/dev
Elongated pentagonal bipyramid SN9DXT75GG
| URI | m2://inv/SN9DXT75GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#R7VR, Elongated pentagonal bipyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#C5HW, Elongated pentagonal bipyramid (definition)
History
- 2026-11-02: add by m2/dev
Leibniz wheel SN9ETBXKK3
| URI | m2://inv/SN9ETBXKK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#PH5M, Leibniz wheel (unknown)
History
- 2026-11-02: add by m2/dev
SN9FS1Q2FM SN9FS1Q2FM
| URI | m2://inv/SN9FS1Q2FM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
Algebraic properties SN9GWVHM8V
| URI | m2://inv/SN9GWVHM8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross product#LU16, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Spans SN9MY9CTW1
| URI | m2://inv/SN9MY9CTW1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#example-13, Spans (example). In RZP28ERRZV, example, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
SN9T71XQBN SN9T71XQBN
| URI | m2://inv/SN9T71XQBN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-10 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Exact equal-weight circle rule SN9WNQ4NM2
| URI | m2://inv/SN9WNQ4NM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2610.11814#PEMY, Exact equal-weight circle rule (statement). In MXG9FV78NP/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
Example SNABB737RY
| URI | m2://inv/SNABB737RY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prestack#Y81K, Example (example)
History
- 2026-11-02: add by m2/dev
Bidirectional reflectance distribution function SNAGH84AKG
| URI | m2://inv/SNAGH84AKG |
|---|---|
| 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#SQCN, Bidirectional reflectance distribution function (unknown)
History
- 2026-11-02: add by m2/dev
SNAM1FEBGQ SNAM1FEBGQ
| URI | m2://inv/SNAM1FEBGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.20558#ZJVD (statement). In 46370P3Y9S/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.2
SNAQ3Z8RNN SNAQ3Z8RNN
| URI | m2://inv/SNAQ3Z8RNN |
|---|---|
| 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.11468#QQRW (statement). In FR4FDRHZJT/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
Applications of Adjacency Algebra SNATMN8J0A
| URI | m2://inv/SNATMN8J0A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjacency algebra#WP2G, Applications of Adjacency Algebra (example)
History
- 2026-11-02: add by m2/dev
Simple moving average SNATSW3BYD
| URI | m2://inv/SNATSW3BYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving average#3PNF, Simple moving average (unknown)
History
- 2026-11-02: add by m2/dev
SNBB9TNSTJ SNBB9TNSTJ
| URI | m2://inv/SNBB9TNSTJ |
|---|---|
| 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 2509.09379#V4TM (statement). In DJXA86KDY8/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Benedict Freedman SNBDE23ZWS
| URI | m2://inv/SNBDE23ZWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DM15, Benedict Freedman (topic)
History
- 2026-11-02: add by m2/dev
SNBHXFW76V SNBHXFW76V
| URI | m2://inv/SNBHXFW76V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.01873#DV01 (definition). In FVZZDPEYNM/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.3.5
Kodaira surface SNBMD71Q4C
| URI | m2://inv/SNBMD71Q4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#SM9Y, Kodaira surface (definition)
History
- 2026-11-02: add by m2/dev
SNBNYTPSDP SNBNYTPSDP
| URI | m2://inv/SNBNYTPSDP |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
SNBPWWW2PF SNBPWWW2PF
| URI | m2://inv/SNBPWWW2PF |
|---|---|
| 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 2610.20306#YE58 (statement). In YG5EX49042/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.4.2
SNBX1VT89S SNBX1VT89S
| URI | m2://inv/SNBX1VT89S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#9OPC (definition). In X88HPQ0W8C/e1, definition 2.40
History
- 2026-10-27: add by m2/v0.3.5
SNBYYK2SHM SNBYYK2SHM
| URI | m2://inv/SNBYYK2SHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#11UW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Method SNC2R9CWWQ
| URI | m2://inv/SNC2R9CWWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virginity test#GSGP, Method (definition)
History
- 2026-11-02: add by m2/dev
SNC5RA6VHP SNC5RA6VHP
| URI | m2://inv/SNC5RA6VHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#Y51W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm SNC647KC96
| URI | m2://inv/SNC647KC96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Atkin#39VZ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Susan Schechter Bortner SNC83KAS2E
| URI | m2://inv/SNC83KAS2E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HXQ7, Susan Schechter Bortner (topic)
History
- 2026-11-02: add by m2/dev
Characterization Theorem SNCCB5NXYM
| URI | m2://inv/SNCCB5NXYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#EAM3, Characterization Theorem (statement). In GYSF9JXQCH/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Budan–Fourier theorem SNCJMH8AA6
| URI | m2://inv/SNCJMH8AA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#9QHL, Budan–Fourier theorem (statement)
History
- 2026-11-02: add by m2/dev
SNCKM5D0WC SNCKM5D0WC
| URI | m2://inv/SNCKM5D0WC |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 16-XX, 26-XX, 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.13532#NA3V (conjecture). In 9B0X8YPF3P/e1, conjecture 6.8
History
- 2026-10-28: add by m2/v0.4.2
SNCPKARAPH SNCPKARAPH
| URI | m2://inv/SNCPKARAPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#J5YM (statement). In KP0X1RKKKB/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Examples SNCRNXSFT9
| URI | m2://inv/SNCRNXSFT9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf bifurcation#G6GF, Examples (example)
History
- 2026-11-02: add by m2/dev
SNCXETQMSQ SNCXETQMSQ
| URI | m2://inv/SNCXETQMSQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-3 (example). In Y91XFCEVHQ, example, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Sergei Bernstein SND2EP3J82
| URI | m2://inv/SND2EP3J82 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#F796, Sergei Bernstein (topic)
History
- 2026-11-02: add by m2/dev
Small-value density in the ball SND3CPMTK3
| URI | m2://inv/SND3CPMTK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01615#JF8N, Small-value density in the ball (statement). In CJYRXT18TD/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Axiom and definition schemas SND583DCW7
| URI | m2://inv/SND583DCW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#EDLP, Axiom and definition schemas (statement)
History
- 2026-11-02: add by m2/dev
equivalence with the Novak-Truskinovsky model SNDB4HBYVF
| URI | m2://inv/SNDB4HBYVF |
|---|---|
| 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 2210.06147#105B, equivalence with the Novak-Truskinovsky model (statement). In 94RBNQA07A/e1, theorem 6.5
History
- 2026-10-27: add by m2/v0.3.5
SNDCYEF77M SNDCYEF77M
| URI | m2://inv/SNDCYEF77M |
|---|---|
| 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.03555#7OF8 (statement). In 9JZJTRRVR1/e1, lemma 9.9
History
- 2026-10-29: add by m2/v0.4.12
Isolating neighborhood SNDK0FASBS
| URI | m2://inv/SNDK0FASBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isolating neighborhood, Isolating neighborhood (definition). Also Wikidata Q17092722
History
- 2026-11-02: add by m2/dev
Complete learned-predictor bound SNDK5JXK6N
| URI | m2://inv/SNDK5JXK6N |
|---|---|
| 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.13789#MQYD, Complete learned-predictor bound (statement). In 803XY7QQZ4/e1, corollary 7
History
- 2026-10-28: add by m2/v0.4.2
Curtis Greene SNE3PGGSX7
| URI | m2://inv/SNE3PGGSX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M6SD, Curtis Greene (topic)
History
- 2026-11-02: add by m2/dev
SNE7GX9013 SNE7GX9013
| URI | m2://inv/SNE7GX9013 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#H7NL (definition). In 8TSZ2E32K3/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Grothendieck group SNE8D9NPCR
| URI | m2://inv/SNE8D9NPCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#6BOZ, Grothendieck group (definition)
- wikipedia: Wikipedia List of algebraic constructions#6DIN, Grothendieck group (definition)
History
- 2026-11-02: add by m2/dev
Scope neglect SNEBF307M0
| URI | m2://inv/SNEBF307M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#GJUB, Scope neglect (unknown)
History
- 2026-11-02: add by m2/dev
SNEC8R4RH5 SNEC8R4RH5
| URI | m2://inv/SNEC8R4RH5 |
|---|---|
| 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.13745#CB4R (statement). In CFJH0Q39FZ/e1, corollary 2.12
History
- 2026-10-28: add by m2/v0.4.2
Severi variety SNECAZB2Z6
| URI | m2://inv/SNECAZB2Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Severi variety (Hilbert scheme), Severi variety (definition). Also Wikidata Q65060080
History
- 2026-11-02: add by m2/dev
SNED6WY6TF SNED6WY6TF
| URI | m2://inv/SNED6WY6TF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-37 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
SNEE7DPNEN SNEE7DPNEN
| URI | m2://inv/SNEE7DPNEN |
|---|---|
| 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.06381#YO5J (statement). In X9JKBDHACW/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
SNEE84YAEQ SNEE84YAEQ
| URI | m2://inv/SNEE84YAEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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 2610.04305#2R6V (statement). In Y1DR0DPWD0/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
SNEEK8QDMT SNEEK8QDMT
| URI | m2://inv/SNEEK8QDMT |
|---|---|
| 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.36068#6D9W (statement). In CKNAB8QY5B/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Peng Shan SNEP786HZM
| URI | m2://inv/SNEP786HZM |
|---|---|
| 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#I8MY, Peng Shan (unknown)
History
- 2026-11-02: add by m2/dev
Coble hypersurface SNEPDRD8HF
| URI | m2://inv/SNEPDRD8HF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coble hypersurface, Coble hypersurface (definition). Also Wikidata Q5138923
History
- 2026-11-02: add by m2/dev
Rungs, anchored words SNEQDF9J3J
| URI | m2://inv/SNEQDF9J3J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01240#OBDM, Rungs, anchored words (definition). In XD5HCP8DHF/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.12
Definitions SNF3Y1PWN5
| URI | m2://inv/SNF3Y1PWN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear algebraic group#1XEU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
FTC SNF7NFNHT8
| URI | m2://inv/SNF7NFNHT8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.4.2/ftc, FTC (concept). In 907G4C4EJ1, index, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
SNF9ZFSHW6 SNF9ZFSHW6
| URI | m2://inv/SNF9ZFSHW6 |
|---|---|
| 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 2609.28374#X6W4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SNFCSA7XTH SNFCSA7XTH
| URI | m2://inv/SNFCSA7XTH |
|---|---|
| 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.20466#6LE4 (statement). In M4ZVJWM8YA/e1, proposition 6.9
History
- 2026-10-27: add by m2/v0.4.2
Percey F. Smith SNFEZ0KMJD
| URI | m2://inv/SNFEZ0KMJD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percey F. Smith, Percey F. Smith (topic). Also Wikidata Q16879033
History
- 2026-11-02: add by m2/dev
Continuous modelling SNFJ019RNJ
| URI | m2://inv/SNFJ019RNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous modelling, Continuous modelling (definition). Also Wikidata Q5165491
History
- 2026-11-02: add by m2/dev
SNFJ04W8E7 SNFJ04W8E7
| URI | m2://inv/SNFJ04W8E7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#DL6S (statement). In QX77AN49J0/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Representation rigid group SNFK3N64S9
| URI | m2://inv/SNFK3N64S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation rigid group, Representation rigid group (definition). Also Wikidata Q7314219
History
- 2026-11-02: add by m2/dev
Skorokhod's representation theorem SNFTQCMYHV
| URI | m2://inv/SNFTQCMYHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DJ7H, Skorokhod's representation theorem (statement)
History
- 2026-11-02: add by m2/dev
SNFZ5XZ283 SNFZ5XZ283
| URI | m2://inv/SNFZ5XZ283 |
|---|---|
| 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.03327#347Y (statement). In EBNXA84CPM/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
SNG112VTG0 SNG112VTG0
| URI | m2://inv/SNG112VTG0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/soundness-axd.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 33.6
History
- 2026-11-01: add by m2/v0.6.13
SNG2BHVZ4G SNG2BHVZ4G
| URI | m2://inv/SNG2BHVZ4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#YLOO (statement)
History
- 2026-11-01: add by m2/v0.6.15
SNG74K20ZJ SNG74K20ZJ
| URI | m2://inv/SNG74K20ZJ |
|---|---|
| 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.39531#H6HM (statement). In SN9RSTHQ07/e1, lemma C.5
History
- 2026-10-30: add by m2/v0.4.12
Korn's inequality SNG74V67YX
| URI | m2://inv/SNG74V67YX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#Y6FI, Korn's inequality (statement)
History
- 2026-11-02: add by m2/dev
Linear dipole SNGE9N238B
| URI | m2://inv/SNGE9N238B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#02M6, Linear dipole (statement). In XM98BX97RT/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
SNGKMS2VVC SNGKMS2VVC
| URI | m2://inv/SNGKMS2VVC |
|---|---|
| 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 2308.02672#PMEW (statement). In ETRT1R1CQ8/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.4.0
David B. Allison SNGN2V7CFB
| URI | m2://inv/SNGN2V7CFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David B. Allison, David B. Allison (topic). Also Wikidata Q5230948
History
- 2026-11-02: add by m2/dev
SNGQ6J20JS SNGQ6J20JS
| URI | m2://inv/SNGQ6J20JS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#WHX6 (definition). In 9JHMTYGWFQ/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.6
Auslander algebra SNH464DJGM
| URI | m2://inv/SNH464DJGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auslander algebra, Auslander algebra (definition). Also Wikidata Q4822772
History
- 2026-11-02: add by m2/dev
SNHGCWE3P5 SNHGCWE3P5
| URI | m2://inv/SNHGCWE3P5 |
|---|---|
| Kind | definition |
| 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.30976#PORE (definition). In 4QY9J1A0KT/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
Jensen's covering theorem SNHHCW0RT3
| URI | m2://inv/SNHHCW0RT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jensen's covering theorem, Jensen's covering theorem (statement). Also Wikidata Q6179899
History
- 2026-11-02: add by m2/dev
Applications SNHQYTXBRG
| URI | m2://inv/SNHQYTXBRG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-value (statistics)#25JN, Applications (example)
History
- 2026-11-02: add by m2/dev
Mark Krasnosel'skii SNHSDKKWJ7
| URI | m2://inv/SNHSDKKWJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5Q0J, Mark Krasnosel'skii (unknown)
History
- 2026-11-02: add by m2/dev
Hecke algebra of a locally compact group SNHWP5D8VE
| URI | m2://inv/SNHWP5D8VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#0G6R, Hecke algebra of a locally compact group (definition)
History
- 2026-11-02: add by m2/dev
SNHXEZZ11V SNHXEZZ11V
| URI | m2://inv/SNHXEZZ11V |
|---|---|
| Kind | definition |
| 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 2609.33313#0MIR (definition). In HRCEFY172P/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Zinkevich et al. SNHXJ5PDVX
| URI | m2://inv/SNHXJ5PDVX |
|---|---|
| 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.26265#N8V4, Zinkevich et al. (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms SNJ08NGGW4
| URI | m2://inv/SNJ08NGGW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LP-type problem#J4UA, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
SNJ1Q3D9FZ SNJ1Q3D9FZ
| URI | m2://inv/SNJ1Q3D9FZ |
|---|---|
| Kind | definition |
| 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 2609.36321#VVQB (definition). In 3KTZ6Z615H/e1, definition 5.9
History
- 2026-10-30: add by m2/v0.4.12
Boundary-regularity of $h_{\A,\,\B}$ SNJ6AB9868
| URI | m2://inv/SNJ6AB9868 |
|---|---|
| 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.21781#Q23R, Boundary-regularity of $h_{\A,\,\B}$ (statement). In FEQ72D1AX6/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.4.2
Fractional Helly theorem SNJ7TN6Y2M
| URI | m2://inv/SNJ7TN6Y2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helly's theorem#PXZ0, Fractional Helly theorem (statement)
History
- 2026-11-02: add by m2/dev
Holmström's theorem SNJMS2M0JW
| URI | m2://inv/SNJMS2M0JW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YWKE, Holmström's theorem (statement)
History
- 2026-11-02: add by m2/dev
SNJT922KXK SNJT922KXK
| URI | m2://inv/SNJT922KXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33231#OE6Q (statement). In WPDRT63QNW/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
SNJYBV5PY7 SNJYBV5PY7
| URI | m2://inv/SNJYBV5PY7 |
|---|---|
| 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.29903#DD5I (statement)
History
- 2026-11-01: add by m2/v0.6.15
percentage error SNK2HPW0ZY
| URI | m2://inv/SNK2HPW0ZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55087442, percentage error (unknown). Also MathWorld PercentageError
History
- 2026-10-26: add by m2/dev
SNK2ZFPA42 SNK2ZFPA42
| URI | m2://inv/SNK2ZFPA42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33173#E1KC (statement). In R630A60CMM/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Lexell's theorem SNKBMX4G16
| URI | m2://inv/SNKBMX4G16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem, Lexell's theorem (statement). Also Wikidata Q121910765
History
- 2026-11-02: add by m2/dev
SNKN3BVD8Q SNKN3BVD8Q
| URI | m2://inv/SNKN3BVD8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#1VBI (statement). In RGQZVNXWM5/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
SNKN8KTA3M SNKN8KTA3M
| URI | m2://inv/SNKN8KTA3M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-6 (example). In E9HS8K3A52, example, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
transitive reduction SNKXYPR1ZG
| URI | m2://inv/SNKXYPR1ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3088151, transitive reduction (unknown). Also MathWorld TransitiveReduction
- wikipedia: Wikipedia Transitive reduction, Transitive reduction (definition). Also Wikidata Q3088151
History
- 2026-10-26: add by m2/dev
SNKZM09855 SNKZM09855
| URI | m2://inv/SNKZM09855 |
|---|---|
| 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 2609.35678#ELEJ (definition). In 4X4ZS7CEKD/e1, definition 5
History
- 2026-10-30: add by m2/v0.4.12
λ-unfoldable SNM1PSC9MY
| URI | m2://inv/SNM1PSC9MY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#A0CP, λ-unfoldable (definition)
History
- 2026-11-02: add by m2/dev
Lower Austria SNMD2W95N0
| URI | m2://inv/SNMD2W95N0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#M1FZ, Lower Austria (unknown)
History
- 2026-11-02: add by m2/dev
SNMQRKVC81 SNMQRKVC81
| URI | m2://inv/SNMQRKVC81 |
|---|---|
| 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 2210.02997#RPDD (statement). In KEXVYV0SNS/e1, proposition 18
History
- 2026-10-27: add by m2/v0.3.5
SNMR6JVA6C SNMR6JVA6C
| URI | m2://inv/SNMR6JVA6C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-35 (proof). In E59CDZA4DP, proof, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
SNMSRH0X79 SNMSRH0X79
| URI | m2://inv/SNMSRH0X79 |
|---|---|
| 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.03864#F92T (statement). In 41GB65CTBJ/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.12
Formulation SNN4WQD22S
| URI | m2://inv/SNN4WQD22S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akra–Bazzi method#L7JA, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Properties SNN6BF81HE
| URI | m2://inv/SNN6BF81HE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev function#AFEZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
SNNGYERVNV SNNGYERVNV
| URI | m2://inv/SNNGYERVNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#8Z51 (statement). In XBHQRTBH62/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
3-partition problem SNNMBN73ZY
| URI | m2://inv/SNNMBN73ZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#JNHN, 3-partition problem (unknown)
History
- 2026-11-02: add by m2/dev
SNNTPPP5AA SNNTPPP5AA
| URI | m2://inv/SNNTPPP5AA |
|---|---|
| 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.36068#KJY7 (statement). In CKNAB8QY5B/e1, proposition 16
History
- 2026-10-30: add by m2/v0.4.12
Ingo Preminger SNNYY9R8AW
| URI | m2://inv/SNNYY9R8AW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#ORYG, Ingo Preminger (unknown)
History
- 2026-11-02: add by m2/dev
SNP08RMVF1 SNP08RMVF1
| URI | m2://inv/SNP08RMVF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#V9XE (statement)
History
- 2026-11-01: add by m2/v0.6.15
SNP4W10HHS SNP4W10HHS
| URI | m2://inv/SNP4W10HHS |
|---|---|
| Kind | example |
| 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 2205.06433#4MHQ (example). In 628PJKD3EV/e1, example 1.4
History
- 2026-10-27: add by m2/v0.3.5
TeXstudio SNP57CVW97
| URI | m2://inv/SNP57CVW97 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#EQXB, TeXstudio (unknown)
History
- 2026-11-02: add by m2/dev
destructive dilemma SNPAVXMX9N
| URI | m2://inv/SNPAVXMX9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RMJR, destructive dilemma (definition)
History
- 2026-11-02: add by m2/dev
Aleksandr Aleksandrov SNPBKVZ2KP
| URI | m2://inv/SNPBKVZ2KP |
|---|---|
| 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 Q934314, Aleksandr Aleksandrov (unknown). Also nLab Aleksandr Aleksandrov
History
- 2026-10-26: add by m2/dev
dihedral group of order 8 SNPHJETK0Z
| URI | m2://inv/SNPHJETK0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | The dihedral group of order 8 054SBCQ93T |
Mentions
- wikidata: Wikidata Q115556877, dihedral group of order 8 (definition). Also MathWorld DihedralGroupD4, nLab dihedral group of order 8, ProofWiki Definition:Dihedral_Group_D4, ProofWiki Definition:Symmetry_Group_of_Square
- wikipedia: Wikipedia Dihedral group of order 8, Dihedral group of order 8 (definition). Also Wikidata Q115556877
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
SNPKPCW0F8 SNPKPCW0F8
| URI | m2://inv/SNPKPCW0F8 |
|---|---|
| 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 2609.27320#U25Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reduced form SNPV3V35QN
| URI | m2://inv/SNPV3V35QN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33027#76F0, Reduced form (definition). In E2AF84709B/e1, definition 5
History
- 2026-10-31: add by m2/v0.5.6
Murray's law SNPVDCPAYP
| URI | m2://inv/SNPVDCPAYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murray's law, Murray's law (statement). Also Wikidata Q6939074
History
- 2026-11-02: add by m2/dev
Erhard Schmidt SNPYDV7B4Q
| URI | m2://inv/SNPYDV7B4Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61766, Erhard Schmidt (unknown). Also ProofWiki Mathematician:Erhard_Schmidt
- wikipedia: Wikipedia Erhard Schmidt, Erhard Schmidt (topic). Also Wikidata Q61766
History
- 2026-10-26: add by m2/dev
Pascal's theorem SNPZV0X64C
| URI | m2://inv/SNPZV0X64C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Pascal's theorem 94AKWRHND0 |
Mentions
- mathlib_1000: mathlib_1000 Q899002, Pascal's theorem (statement). Also Wikidata Q899002
- thousand_plus: thousand_plus Q899002, Pascal's theorem (statement). Also Wikidata Q899002, Wikipedia Pascal's theorem
- wikidata: Wikidata Q899002, Pascal's theorem (statement). Also MathWorld PascalsTheorem
- wikipedia: Wikipedia Pascal's theorem, Pascal's theorem (statement). Also Wikidata Q899002
History
- 2026-10-26: add by m2/dev
Examples SNQ0G7MZGR
| URI | m2://inv/SNQ0G7MZGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct product of groups#CN1W, Examples (example)
History
- 2026-11-02: add by m2/dev
SNQAD954ZF SNQAD954ZF
| URI | m2://inv/SNQAD954ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#NUTI (statement). In NS3RZ26JC7/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
Special cases SNQBB8ZK9W
| URI | m2://inv/SNQBB8ZK9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Binet formula#ZO01, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Examples SNQWWKG1GY
| URI | m2://inv/SNQWWKG1GY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real projective plane#8JTY, Examples (example)
History
- 2026-11-02: add by m2/dev
Implementations SNR22YE2WC
| URI | m2://inv/SNR22YE2WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relational algebra#LON5, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Weakly holomorphic modular form SNRC2HH7GV
| URI | m2://inv/SNRC2HH7GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly holomorphic modular form, Weakly holomorphic modular form (definition). Also Wikidata Q16854474
History
- 2026-11-02: add by m2/dev
Legendrian knot SNRNAE7M70
| URI | m2://inv/SNRNAE7M70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#PXYU, Legendrian knot (definition)
History
- 2026-11-02: add by m2/dev
Japanese theorem for concyclic polygons SNS164BAN9
| URI | m2://inv/SNS164BAN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GH23, Japanese theorem for concyclic polygons (statement)
History
- 2026-11-02: add by m2/dev
Mistake bound equals tree dimension SNS852H79N
| URI | m2://inv/SNS852H79N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#XDYJ, Mistake bound equals tree dimension (statement). In P55JSAYR3T/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
SNSM7MRCXQ SNSM7MRCXQ
| URI | m2://inv/SNSM7MRCXQ |
|---|---|
| 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.06340#BUWE (statement). In PKNZPECH82/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Stanley Osher SNSQ1X7ZF4
| URI | m2://inv/SNSQ1X7ZF4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8L9W, Stanley Osher (topic)
History
- 2026-11-02: add by m2/dev
SNSR627HKS SNSR627HKS
| URI | m2://inv/SNSR627HKS |
|---|---|
| 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 1601.02354#4E24 (statement). In 3YSZKHNCRA/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Star prism SNSTCNWCHP
| URI | m2://inv/SNSTCNWCHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prism (geometry)#YW50, Star prism (unknown)
History
- 2026-11-02: add by m2/dev
Conformal compactification SNSTXKCJ67
| URI | m2://inv/SNSTXKCJ67 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactification (mathematics)#B806, Conformal compactification (unknown)
History
- 2026-11-02: add by m2/dev
Apostolos Doxiadis SNT4PGQNGX
| URI | m2://inv/SNT4PGQNGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apostolos Doxiadis, Apostolos Doxiadis (topic). Also Wikidata Q620479
History
- 2026-11-02: add by m2/dev
SNT8B3S2GC SNT8B3S2GC
| URI | m2://inv/SNT8B3S2GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#I7VL (statement). In PEXJPV3NP8/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Operator characterization of the Ward regime SNTB8DCRTP
| URI | m2://inv/SNTB8DCRTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#MMN8, Operator characterization of the Ward regime (statement). In 7GMD8J4200/e1, proposition 6
History
- 2026-10-27: add by m2/v0.4.2
SNTH93BW8V SNTH93BW8V
| URI | m2://inv/SNTH93BW8V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#ORMQ (definition)
History
- 2026-11-02: add by m2/v0.6.17
SNTHXCMW22 SNTHXCMW22
| URI | m2://inv/SNTHXCMW22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#MCL0 (statement). In QHFP0837Q8/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
tangent line, equation SNTYNB0ZM7
| URI | m2://inv/SNTYNB0ZM7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.8.2/tangent-line-equation, tangent line, equation (concept). In 907G4C4EJ1, index, section 1.8.2
History
- 2026-11-01: add by m2/v0.6.13
American Regions Mathematics League SNTZD7J41R
| URI | m2://inv/SNTZD7J41R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#U1H9, American Regions Mathematics League (unknown)
History
- 2026-11-02: add by m2/dev
SNTZPATY7C SNTZPATY7C
| URI | m2://inv/SNTZPATY7C |
|---|---|
| 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.25717#G5YP (statement)
History
- 2026-11-01: add by m2/v0.6.15
SNVD960B81 SNVD960B81
| URI | m2://inv/SNVD960B81 |
|---|---|
| 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.36613#CPAX (statement). In GX0K0ZM700/e1, lemma 3.11
History
- 2026-10-30: add by m2/v0.4.12
\myindex{Puiseux} SNVRYEJ1A4
| URI | m2://inv/SNVRYEJ1A4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-25, \myindex{Puiseux} (statement). In VNMV985MXX, thm, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
SNVT61011Q SNVT61011Q
| URI | m2://inv/SNVT61011Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38596#K2N0 (statement). In ZYGQAV8FD3/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
SNW0G0CWEE SNW0G0CWEE
| URI | m2://inv/SNW0G0CWEE |
|---|---|
| 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.33679#RIOZ (statement). In 3N9E9T6AF5/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
SNWDJRGNJT SNWDJRGNJT
| URI | m2://inv/SNWDJRGNJT |
|---|---|
| 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 2508.08809#NKA9 (statement). In X5NX1YEABW/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Outer space SNWHZY797C
| URI | m2://inv/SNWHZY797C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer space (mathematics), Outer space (definition). Also Wikidata Q28457369
History
- 2026-11-02: add by m2/dev
Monkey saddle SNWJF3FA3Y
| URI | m2://inv/SNWJF3FA3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WO49, Monkey saddle (definition)
- wikipedia: Wikipedia List of surfaces#XTVC, Monkey saddle (definition)
History
- 2026-11-02: add by m2/dev
Genaille–Lucas rulers SNWK389VWR
| URI | m2://inv/SNWK389VWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3455860, Genaille–Lucas rulers (unknown). Also MathWorld GenailleRods
- wikipedia: Wikipedia Genaille–Lucas rulers, Genaille–Lucas rulers (definition). Also Wikidata Q3455860
History
- 2026-10-26: add by m2/dev
Applications SNWQYFBE5E
| URI | m2://inv/SNWQYFBE5E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean function#DF55, Applications (example)
History
- 2026-11-02: add by m2/dev
SNWSG5QRA5 SNWSG5QRA5
| URI | m2://inv/SNWSG5QRA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#YF5T (statement). In QFA8TMJPHZ/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Example of inquiry SNWYYQAPD9
| URI | m2://inv/SNWYYQAPD9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inquiry#096J, Example of inquiry (example)
History
- 2026-11-02: add by m2/dev
Characterizations SNWZ0HVXZW
| URI | m2://inv/SNWZ0HVXZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectangle#PYBK, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Example SNX23P0PM0
| URI | m2://inv/SNX23P0PM0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line integral#V6YT, Example (example)
History
- 2026-11-02: add by m2/dev
Examples SNXBT5QXQX
| URI | m2://inv/SNXBT5QXQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke character#9XKB, Examples (example)
History
- 2026-11-02: add by m2/dev
SNXD5NA2JP SNXD5NA2JP
| URI | m2://inv/SNXD5NA2JP |
|---|---|
| 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 2609.34852#A0Z5 (statement). In TZXEMCBK5V/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
SNXEQ8TMVR SNXEQ8TMVR
| URI | m2://inv/SNXEQ8TMVR |
|---|---|
| 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.12736#RX7S (statement). In 5350Q52F6P/e1, proposition 7.7
History
- 2026-10-28: add by m2/v0.4.2
List of transforms SNXN10K0Z0
| URI | m2://inv/SNXN10K0Z0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms, List of transforms (topic). Also Wikidata Q6585617
History
- 2026-11-02: add by m2/dev
SNXN9Z9NSX SNXN9Z9NSX
| URI | m2://inv/SNXN9Z9NSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#TQ8W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition SNXQMWW81Y
| URI | m2://inv/SNXQMWW81Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduct#GF4Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Constructions SNY3MC0X30
| URI | m2://inv/SNY3MC0X30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N = 2 superconformal algebra#HXNY, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Bishop's theorem SNYABEHVFH
| URI | m2://inv/SNYABEHVFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#YKLZ, Bishop's theorem (statement)
History
- 2026-11-02: add by m2/dev
SNYD8ENK82 SNYD8ENK82
| URI | m2://inv/SNYD8ENK82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#IEQ6 (statement). In 4KT9TK3MG4/e1, lemma D.10
History
- 2026-10-31: add by m2/v0.5.6
Applications SNYHA4686J
| URI | m2://inv/SNYHA4686J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular arithmetic#SBRT, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition SNYQHN6YW9
| URI | m2://inv/SNYQHN6YW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igusa zeta function#P878, Definition (definition)
History
- 2026-11-02: add by m2/dev
SNYRVBH26G SNYRVBH26G
| URI | m2://inv/SNYRVBH26G |
|---|---|
| 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.07893#J5M7 (statement). In D3W1X35NGB/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Examples SNYY7KHV3R
| URI | m2://inv/SNYY7KHV3R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultraconnected space#FIIL, Examples (example)
History
- 2026-11-02: add by m2/dev
SNYZR0G2SN SNYZR0G2SN
| URI | m2://inv/SNYZR0G2SN |
|---|---|
| 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.14135#K69W (statement). In C304J64Q79/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
SNZ1SX2N9X SNZ1SX2N9X
| URI | m2://inv/SNZ1SX2N9X |
|---|---|
| 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 1103.1038#1FQX (definition). In T9VMNNPS0H/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.6
SNZ6QE9NFH SNZ6QE9NFH
| URI | m2://inv/SNZ6QE9NFH |
|---|---|
| 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.24931#MQ4I (statement)
History
- 2026-11-01: add by m2/v0.6.15
SNZ73RHZHF SNZ73RHZHF
| URI | m2://inv/SNZ73RHZHF |
|---|---|
| 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.22218#76Z7 (statement). In 338GKREFVP/e1, lemma 30
History
- 2026-10-27: add by m2/v0.4.0
fundamental theorem of algebra SNZ9V8VD8X
| URI | m2://inv/SNZ9V8VD8X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.5/fundamental-theorem-of-algebra, fundamental theorem of algebra (concept). In E59CDZA4DP, index, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
SNZA3YN987 SNZA3YN987
| URI | m2://inv/SNZA3YN987 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10202#AV50 (statement). In ER06JKXR8B/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
Applications SNZAZ2MTYE
| URI | m2://inv/SNZAZ2MTYE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steady state#KDTV, Applications (example)
History
- 2026-11-02: add by m2/dev
Atiyah conjecture on configurations SNZCMBTT50
| URI | m2://inv/SNZCMBTT50 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah conjecture on configurations, Atiyah conjecture on configurations (conjecture). Also Wikidata Q4815875
History
- 2026-11-02: add by m2/dev
Chebyshev nodes SNZE0V297N
| URI | m2://inv/SNZE0V297N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev nodes, Chebyshev nodes (definition). Also Wikidata Q1052508
History
- 2026-11-02: add by m2/dev
SNZF8K67N9 SNZF8K67N9
| URI | m2://inv/SNZF8K67N9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14080#6CYF (statement). In 1DRD5FAJ4C/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Odd-prime finite phase cancellation SNZF91KH7H
| URI | m2://inv/SNZF91KH7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#VHT2, Odd-prime finite phase cancellation (statement). In 5BZQS1KY9A/e1, proposition 9.9
History
- 2026-10-29: add by m2/v0.4.10
Gaussian integral for the normalization SNZKG4R39V
| URI | m2://inv/SNZKG4R39V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#JY99, Gaussian integral for the normalization (statement). In 1NY2SA03XF/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Product Error Bound SNZKQWDW5V
| URI | m2://inv/SNZKQWDW5V |
|---|---|
| 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.16518#8AD0, Product Error Bound (statement). In SAQBDG4FK1/e1, lemma F.6
History
- 2026-10-28: add by m2/v0.4.2
Generic double-cap inequality SNZVRPFS5P
| URI | m2://inv/SNZVRPFS5P |
|---|---|
| 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.24931#QCZM, Generic double-cap inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
SNZWPPPNHN SNZWPPPNHN
| URI | m2://inv/SNZWPPPNHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#example-2 (example). In RZP28ERRZV, example, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
Dimitris Koukoulopoulos SNZX8RJXAY
| URI | m2://inv/SNZX8RJXAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimitris Koukoulopoulos, Dimitris Koukoulopoulos (topic). Also Wikidata Q102365454
History
- 2026-11-02: add by m2/dev