Inventory rows S1
The cards of the rows of the inventory whose ids start with S1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
S101TZ6B00 S101TZ6B00
| URI | m2://inv/S101TZ6B00 |
|---|---|
| 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.32936#DQMS (statement). In QDBYK125AB/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
Ratio estimator S106RWYKDF
| URI | m2://inv/S106RWYKDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K24S, Ratio estimator (definition)
History
- 2026-11-02: add by m2/dev
Mordechai Hershman S10C4C62ZZ
| URI | m2://inv/S10C4C62ZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#YODJ, Mordechai Hershman (unknown)
History
- 2026-11-02: add by m2/dev
Applications S10D897NE7
| URI | m2://inv/S10D897NE7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haboush's theorem#K7L6, Applications (example)
History
- 2026-11-02: add by m2/dev
Sieve F S10HCR8DXK
| URI | m2://inv/S10HCR8DXK |
|---|---|
| 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.16962#46XG, Sieve F (statement). In KJC9FRS3C2/e1, theorem 9.3
History
- 2026-10-28: add by m2/v0.4.2
Applications S10MAP8HGC
| URI | m2://inv/S10MAP8HGC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free abelian group#2XUI, Applications (example)
History
- 2026-11-02: add by m2/dev
verity S10MCY2D3B
| URI | m2://inv/S10MCY2D3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#P77G, verity (definition)
History
- 2026-11-02: add by m2/dev
S10XYR7FPG S10XYR7FPG
| URI | m2://inv/S10XYR7FPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#2FPP (statement). In J4P6HXMJCH/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Global well-posedness for $v_{M}$ S111X9MMVH
| URI | m2://inv/S111X9MMVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36403#ACJ3, Global well-posedness for $v_{M}$ (statement). In A4XGTS3QXQ/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Triangular decomposition S11HAWZ1H6
| URI | m2://inv/S11HAWZ1H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular decomposition, Triangular decomposition (definition). Also Wikidata Q7840134
History
- 2026-11-02: add by m2/dev
S11N7C8GEZ S11N7C8GEZ
| URI | m2://inv/S11N7C8GEZ |
|---|---|
| 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#6Z23 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Miquel and Steiner's quadrilateral theorem S11QYP3Q5S
| URI | m2://inv/S11QYP3Q5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miquel's theorem#SUYW, Miquel and Steiner's quadrilateral theorem (statement)
History
- 2026-11-02: add by m2/dev
Special cases S11W6SCR3K
| URI | m2://inv/S11W6SCR3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clebsch–Gordan coefficients#AT7P, Special cases (statement)
History
- 2026-11-02: add by m2/dev
S1206JJ6Z0 S1206JJ6Z0
| URI | m2://inv/S1206JJ6Z0 |
|---|---|
| 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.37897#RNWC (statement). In RBQ5FNCVNZ/e1, lemma 5.10
History
- 2026-10-30: add by m2/v0.4.12
S1227AHF8C S1227AHF8C
| URI | m2://inv/S1227AHF8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#M6E4 (statement). In X1AGBB90EH/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
S123EWR5R6 S123EWR5R6
| URI | m2://inv/S123EWR5R6 |
|---|---|
| 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.12120#S27I (statement). In G9D4R1AXP8/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definition S124EBTVHA
| URI | m2://inv/S124EBTVHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Image (mathematics)#9BG9, Definition (definition)
History
- 2026-11-02: add by m2/dev
truncated octahedron S1251K10J7
| URI | m2://inv/S1251K10J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864998, truncated octahedron (object). Also MathWorld TruncatedOctahedron
- wikipedia: Wikipedia Truncated octahedron, Truncated octahedron (definition). Also Wikidata Q864998
History
- 2026-10-26: add by m2/dev
Properties S126X27PE5
| URI | m2://inv/S126X27PE5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting field#F70P, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tree of primitive Pythagorean triples S12A16TP19
| URI | m2://inv/S12A16TP19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree of primitive Pythagorean triples, Tree of primitive Pythagorean triples (definition). Also Wikidata Q7837618
History
- 2026-11-02: add by m2/dev
Additively idempotent semiring S12BSCNG7N
| URI | m2://inv/S12BSCNG7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiring#0RPT, Additively idempotent semiring (unknown)
History
- 2026-11-02: add by m2/dev
S12C4K0BNB S12C4K0BNB
| URI | m2://inv/S12C4K0BNB |
|---|---|
| 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.36877#J76G (statement). In FYS6VV5M99/e1, corollary 1.9
History
- 2026-10-30: add by m2/v0.4.12
S12D1CC8N2 S12D1CC8N2
| URI | m2://inv/S12D1CC8N2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#FJVC (definition). In 4WC4V49KAC/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.4.2
String attractor S12JJY5SJB
| URI | m2://inv/S12JJY5SJB |
|---|---|
| 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.10950#WYL5, String attractor (definition). In P392PEVRAY/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
Pythagorean identity S12MX00YS8
| URI | m2://inv/S12MX00YS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric functions#L0CX, Pythagorean identity (statement)
History
- 2026-11-02: add by m2/dev
S12NG0WYGT S12NG0WYGT
| URI | m2://inv/S12NG0WYGT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28518#5J1Z (example)
History
- 2026-11-01: add by m2/v0.6.15
Example of an isothermal process S13GPDG6NA
| URI | m2://inv/S13GPDG6NA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isothermal process#M6JC, Example of an isothermal process (example)
History
- 2026-11-02: add by m2/dev
Formal statement S13QXM0A2J
| URI | m2://inv/S13QXM0A2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gottesman–Knill theorem#Z2MN, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
S13XWZ30ZC S13XWZ30ZC
| URI | m2://inv/S13XWZ30ZC |
|---|---|
| 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.00584#4ISW (statement). In 3CRSR95BNA/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Target start S1441HGV9Z
| URI | m2://inv/S1441HGV9Z |
|---|---|
| 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.31641#5X67, Target start (statement). In XC2HE3KXPM/e1, corollary 3.4
History
- 2026-10-31: add by m2/v0.5.6
Corollary S147HJY1QV
| URI | m2://inv/S147HJY1QV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi's formula#C3NI, Corollary (statement)
History
- 2026-11-02: add by m2/dev
less-equal sign S14JZDMF9W
| URI | m2://inv/S14JZDMF9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#UBJP, less-equal sign (definition)
History
- 2026-11-02: add by m2/dev
Maximum Abelian gauge S14K19J1Y3
| URI | m2://inv/S14K19J1Y3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge fixing#IAN8, Maximum Abelian gauge (unknown)
History
- 2026-11-02: add by m2/dev
S14M341D79 S14M341D79
| URI | m2://inv/S14M341D79 |
|---|---|
| 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 2609.27125#YXO0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
S14Q7Y1MGA S14Q7Y1MGA
| URI | m2://inv/S14Q7Y1MGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#TWF3 (statement). In 5ZPSZFE08Q/e1, theorem 3.15
History
- 2026-10-29: add by m2/v0.4.10
Post consistency S14WWVZ2MA
| URI | m2://inv/S14WWVZ2MA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LA7N, Post consistency (definition)
History
- 2026-11-02: add by m2/dev
S157MDDZSS S157MDDZSS
| URI | m2://inv/S157MDDZSS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#XI6Q (unknown). In QX77AN49J0/e1, unknown
History
- 2026-10-27: add by m2/v0.4.2
S1586WBMZ9 S1586WBMZ9
| URI | m2://inv/S1586WBMZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#6HF2 (statement). In FQ5435B36D/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
Construction S15NXSGY0T
| URI | m2://inv/S15NXSGY0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell triangle#S2U5, Construction (definition)
History
- 2026-11-02: add by m2/dev
S15QTXHMCA S15QTXHMCA
| URI | m2://inv/S15QTXHMCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 1802.02910#5U9U (definition). In AY2MA29921/e1, definition 02
History
- 2026-10-27: add by m2/v0.3.5
Turing (microarchitecture) S15RRE8YD3
| URI | m2://inv/S15RRE8YD3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#HYAQ, Turing (microarchitecture) (unknown)
History
- 2026-11-02: add by m2/dev
S15W3J05QT S15W3J05QT
| URI | m2://inv/S15W3J05QT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Definition and properties S160SG6RXY
| URI | m2://inv/S160SG6RXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing tensor#QHJU, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Quantitative counterexample S16ABGDWA6
| URI | m2://inv/S16ABGDWA6 |
|---|---|
| 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.25101#FTG6, Quantitative counterexample (statement)
History
- 2026-11-01: add by m2/v0.6.15
S16HGNANCR S16HGNANCR
| URI | m2://inv/S16HGNANCR |
|---|---|
| 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.12357#UMIQ (statement). In 1F26AF81XP/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Example S16S1JJ7SM
| URI | m2://inv/S16S1JJ7SM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branching random walk#FG3N, Example (example)
History
- 2026-11-02: add by m2/dev
collocation method S16XG636VS
| URI | m2://inv/S16XG636VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 65M70 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1779479, collocation method (topic). Also MathWorld CollocationMethod
- wikipedia: Wikipedia Collocation method, Collocation method (definition). Also Wikidata Q1779479
History
- 2026-10-26: add by m2/dev
S171BW9HXD S171BW9HXD
| URI | m2://inv/S171BW9HXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.30220#PNV6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
S1786XGNHM S1786XGNHM
| URI | m2://inv/S1786XGNHM |
|---|---|
| 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.16002#XO1C (statement). In MWXDTQ7XC4/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Applications S179A8VGP5
| URI | m2://inv/S179A8VGP5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prediction interval#KRSE, Applications (example)
History
- 2026-11-02: add by m2/dev
Projection formula S17BS8NG7F
| URI | m2://inv/S17BS8NG7F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration along fibers#7ZRF, Projection formula (statement)
History
- 2026-11-02: add by m2/dev
S17DAFVNTD S17DAFVNTD
| URI | m2://inv/S17DAFVNTD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#prop:existsxepsfromsup (statement). In E59CDZA4DP, prop, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
quantifiers S17JHZCQ3N
| URI | m2://inv/S17JHZCQ3N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.3/quantifiers, quantifiers (concept). In Y91XFCEVHQ, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Pairwise disjoint S17PP45T67
| URI | m2://inv/S17PP45T67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations#421U, Pairwise disjoint (definition)
History
- 2026-11-02: add by m2/dev
S17T9NJRBA S17T9NJRBA
| URI | m2://inv/S17T9NJRBA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-2 (proof). In E59CDZA4DP, proof, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
S17TDH68PR S17TDH68PR
| URI | m2://inv/S17TDH68PR |
|---|---|
| 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.19309#KALK (statement). In XKENQH35DW/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Harmonic S17YMK6BAS
| URI | m2://inv/S17YMK6BAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic (mathematics), Harmonic (definition). Also Wikidata Q5659246
History
- 2026-11-02: add by m2/dev
S181S163V1 S181S163V1
| URI | m2://inv/S181S163V1 |
|---|---|
| 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.00099#5H6C (definition). In NNBY2AEHP4/e1, definition 1.3
History
- 2026-10-30: add by m2/v0.4.12
Boundary extension S18CXDED0Z
| URI | m2://inv/S18CXDED0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#FTUL, Boundary extension (unknown)
History
- 2026-11-02: add by m2/dev
Numerical Gamma identity S18PT77W5P
| URI | m2://inv/S18PT77W5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#H6ZO, Numerical Gamma identity (statement). In RWNP4FEE65/e1, proposition 3.28
History
- 2026-10-28: add by m2/v0.4.3
S18RFVN4JQ S18RFVN4JQ
| URI | m2://inv/S18RFVN4JQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 90.1
History
- 2026-11-01: add by m2/v0.6.13
List of large cardinal properties S18V9JXD2H
| URI | m2://inv/S18V9JXD2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties, List of large cardinal properties (topic). Also Wikidata Q17077782
History
- 2026-11-02: add by m2/dev
Definition S18WXET78B
| URI | m2://inv/S18WXET78B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations#HAS3, Definition (definition)
History
- 2026-11-02: add by m2/dev
S191HTAG2M S191HTAG2M
| URI | m2://inv/S191HTAG2M |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Co-NP#R0I0 (problem)
History
- 2026-11-02: add by m2/dev
Thousands of Problems for Theorem Provers S1938H27ZC
| URI | m2://inv/S1938H27ZC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thousands of Problems for Theorem Provers, Thousands of Problems for Theorem Provers (problem). Also Wikidata Q9353804
History
- 2026-11-02: add by m2/dev
Robbins--Siegmund S1941Y4R0P
| URI | m2://inv/S1941Y4R0P |
|---|---|
| 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.14839#3WIA, Robbins--Siegmund (statement). In CYB41667NA/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Analysis of algorithms S199J90TZA
| URI | m2://inv/S199J90TZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#DTS4, Analysis of algorithms (definition)
History
- 2026-11-02: add by m2/dev
S19A52HXF6 S19A52HXF6
| URI | m2://inv/S19A52HXF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#V42V (statement). In CY1FE8W1ZW/e1, lemma 0.240
History
- 2026-10-27: add by m2/v0.3.5
ODE Blowup Lemma S19BNQZ9Z6
| URI | m2://inv/S19BNQZ9Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38118#7I32, ODE Blowup Lemma (statement). In K4KKTYYKKH/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Köthe conjecture S19C4YB80A
| URI | m2://inv/S19C4YB80A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#E3RI, Köthe conjecture (statement)
History
- 2026-11-02: add by m2/dev
S19GGW0T1H S19GGW0T1H
| URI | m2://inv/S19GGW0T1H |
|---|---|
| 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.33557#0Q1D (statement). In 95YZVAPGJA/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
S19TV12VRR S19TV12VRR
| URI | m2://inv/S19TV12VRR |
|---|---|
| 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#LBAF (statement). In VNE8N0D2FB/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
S19V7SRMCV S19V7SRMCV
| URI | m2://inv/S19V7SRMCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#4VBK (statement). In WRE0P7V6Z3/e1, proposition D.24
History
- 2026-10-30: add by m2/v0.4.12
S19VB5Q04D S19VB5Q04D
| URI | m2://inv/S19VB5Q04D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#J600 (statement). In VJTRH1S4JA/e1, theorem 4.16
History
- 2026-10-28: add by m2/v0.4.2
S1A135ZXEM S1A135ZXEM
| URI | m2://inv/S1A135ZXEM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#NW08 (example). In NAMCCRM50R/e1, example 2.13
History
- 2026-10-27: add by m2/v0.3.5
Loewner's torus inequality S1AEZRGNY0
| URI | m2://inv/S1AEZRGNY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#DX8E, Loewner's torus inequality (statement)
- wikipedia: Wikipedia List of inequalities#7PQG, Loewner's torus inequality (statement)
History
- 2026-11-02: add by m2/dev
sixth power S1APS3CXXW
| URI | m2://inv/S1APS3CXXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37947496, sixth power (definition). Also ProofWiki Definition:Sixth_Power
- wikipedia: Wikipedia Sixth power, Sixth power (definition). Also Wikidata Q37947496
History
- 2026-10-26: add by m2/dev
S1AQ4VEGP5 S1AQ4VEGP5
| URI | m2://inv/S1AQ4VEGP5 |
|---|---|
| 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.01273#DR2X (statement). In RAT41DDR51/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Richard Schelp S1AR403FJY
| URI | m2://inv/S1AR403FJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Schelp, Richard Schelp (topic). Also Wikidata Q7328913
History
- 2026-11-02: add by m2/dev
Extension lemma S1ATHD0ERF
| URI | m2://inv/S1ATHD0ERF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#2PL0, Extension lemma (statement). In 49V3ANDZTY/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
S1B0KYFQB6 S1B0KYFQB6
| URI | m2://inv/S1B0KYFQB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.16332#WOP7 (statement). In JJQPFXZQ3D/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
S1B2A29234 S1B2A29234
| URI | m2://inv/S1B2A29234 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#NA46 (statement). In P7T0W5D3W3/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
Trybuła, Stanisław S1B5E2NK0N
| URI | m2://inv/S1B5E2NK0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4SC5, Trybuła, Stanisław (unknown)
History
- 2026-11-02: add by m2/dev
Examples of the Post–Turing machine S1B77RF3H5
| URI | m2://inv/S1B77RF3H5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post–Turing machine#MXYT, Examples of the Post–Turing machine (example)
History
- 2026-11-02: add by m2/dev
minor S1BP0CB15K
| URI | m2://inv/S1BP0CB15K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#FZ4X, minor (definition). In GW23NX78SB/e1, definition 2.20
History
- 2026-10-28: add by m2/v0.4.2
S1BSSH34JA S1BSSH34JA
| URI | m2://inv/S1BSSH34JA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.40028#D0SU (statement). In N8TDKGGC7S/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Falk Hassler S1C0MRCJBK
| URI | m2://inv/S1C0MRCJBK |
|---|---|
| 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 Q64038679, Falk Hassler (unknown). Also nLab Falk Hassler
History
- 2026-10-26: add by m2/dev
S1C6HW1VJD S1C6HW1VJD
| URI | m2://inv/S1C6HW1VJD |
|---|---|
| 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 2305.06030#8GVF (statement). In 2Q0CNQ8DQB/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Properties S1CC6EZNYX
| URI | m2://inv/S1CC6EZNYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wannier function#39Y5, Properties (statement)
History
- 2026-11-02: add by m2/dev
S1CCXJDY2Z S1CCXJDY2Z
| URI | m2://inv/S1CCXJDY2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.14600#EEJ2 (statement). In CJHTDS522P/e1, theorem 3.2.1
History
- 2026-10-28: add by m2/v0.4.2
Nikolai Chentsov S1CDS30SYV
| URI | m2://inv/S1CDS30SYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Chentsov, Nikolai Chentsov (topic). Also Wikidata Q4511802
History
- 2026-11-02: add by m2/dev
S1CGJ5PWP4 S1CGJ5PWP4
| URI | m2://inv/S1CGJ5PWP4 |
|---|---|
| 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.29399#3EEZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
S1CJDATYPY S1CJDATYPY
| URI | m2://inv/S1CJDATYPY |
|---|---|
| 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 2610.21092#AFLI (statement). In AGJE43FTF8/e1, lemma 4.17
History
- 2026-10-27: add by m2/v0.4.2
Properties and Theorems S1CRHHB4GD
| URI | m2://inv/S1CRHHB4GD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor map#391Z, Properties and Theorems (statement)
History
- 2026-11-02: add by m2/dev
Francesca Chiaromonte S1CX3J030W
| URI | m2://inv/S1CX3J030W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesca Chiaromonte, Francesca Chiaromonte (topic). Also Wikidata Q30089922
History
- 2026-11-02: add by m2/dev
S1DBGCVG75 S1DBGCVG75
| URI | m2://inv/S1DBGCVG75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#YS3A (statement). In 73QW05MWQB/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
S1DJRZPF0M S1DJRZPF0M
| URI | m2://inv/S1DJRZPF0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#JFVZ (statement). In MRR92GQNZE/e1, lemma 5.10
History
- 2026-10-30: add by m2/v0.4.12
Scott S1DS27GVSZ
| URI | m2://inv/S1DS27GVSZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/scott, Scott (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Reconstruction of sparse signals S1E2TRFKQ1
| URI | m2://inv/S1E2TRFKQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#D6A0, Reconstruction of sparse signals (statement). In XYCBKM4WKY/e1, theorem 46
History
- 2026-10-27: add by m2/v0.3.5
S1E6R7SS06 S1E6R7SS06
| URI | m2://inv/S1E6R7SS06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm-2 (statement). In N54F33XE07, thm, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Heinrich Wieleitner S1EACWDETN
| URI | m2://inv/S1EACWDETN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Wieleitner, Heinrich Wieleitner (topic). Also Wikidata Q101688
History
- 2026-11-02: add by m2/dev
S1EJM8282X S1EJM8282X
| URI | m2://inv/S1EJM8282X |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 18-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.16241#L3CZ (problem). In WNDHZVY4WK/e1, problem 4
History
- 2026-10-28: add by m2/v0.4.2
Pedro II S1ESMET7Y7
| URI | m2://inv/S1ESMET7Y7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3TVT, Pedro II (unknown)
History
- 2026-11-02: add by m2/dev
S1EV68HTJZ S1EV68HTJZ
| URI | m2://inv/S1EV68HTJZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#1CYQ (definition). In 1SPQ4J3AWY/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Du Bois singularity S1F1TV5VQ9
| URI | m2://inv/S1F1TV5VQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Du Bois singularity, Du Bois singularity (definition). Also Wikidata Q5310038
History
- 2026-11-02: add by m2/dev
A nonzero Move must occur S1F2R8BVW9
| URI | m2://inv/S1F2R8BVW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#BP0K, A nonzero Move must occur (statement). In 5E9G06XJKC/e1, lemma D.21
History
- 2026-10-28: add by m2/v0.4.2
Inverse formula S1F6QQ5T5M
| URI | m2://inv/S1F6QQ5T5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stieltjes transformation#C7S9, Inverse formula (statement)
History
- 2026-11-02: add by m2/dev
Examples S1FGPKEZD9
| URI | m2://inv/S1FGPKEZD9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes parameters#2MQZ, Examples (example)
History
- 2026-11-02: add by m2/dev
sphere S1FJ9PBVE7
| URI | m2://inv/S1FJ9PBVE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > sphere, sphere (unknown). Also Mathlib EuclideanSpace.instIsManifoldSphere
History
- 2026-10-26: add by m2/dev
Olive Hazlett S1FV89X0NM
| URI | m2://inv/S1FV89X0NM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olive Hazlett, Olive Hazlett (topic). Also Wikidata Q7087160
History
- 2026-11-02: add by m2/dev
Poincaré–Miranda theorem S1G601XHJK
| URI | m2://inv/S1G601XHJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Miranda theorem, Poincaré–Miranda theorem (statement). Also Wikidata Q25098911
History
- 2026-11-02: add by m2/dev
S1G9962RBR S1G9962RBR
| URI | m2://inv/S1G9962RBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#GR1W (statement). In PF5JJ9DS8Q/e1, proposition 3.2.2
History
- 2026-10-28: add by m2/v0.4.2
simplicial group S1GC2JXHQE
| URI | m2://inv/S1GC2JXHQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16976808, simplicial group (unknown). Also nLab simplicial group
- wikipedia: Wikipedia Simplicial group, Simplicial group (definition). Also Wikidata Q16976808
History
- 2026-10-26: add by m2/dev
S1GK09M38K S1GK09M38K
| URI | m2://inv/S1GK09M38K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Jagannatha Samrat S1GP0SWWTJ
| URI | m2://inv/S1GP0SWWTJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#2GWW, Jagannatha Samrat (unknown)
History
- 2026-11-02: add by m2/dev
Example S1GQPRBRY4
| URI | m2://inv/S1GQPRBRY4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qvist's theorem#0BBM, Example (example)
History
- 2026-11-02: add by m2/dev
S1H33G950S S1H33G950S
| URI | m2://inv/S1H33G950S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#Q55I (statement). In RTE2C0PH4S/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
weight S1H9NJST78
| URI | m2://inv/S1H9NJST78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#UQJ8, weight (definition)
History
- 2026-11-02: add by m2/dev
S1HK723RQS S1HK723RQS
| URI | m2://inv/S1HK723RQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00625#TMOK (statement). In BGA625B7W1/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
S1HWC87SPS S1HWC87SPS
| URI | m2://inv/S1HWC87SPS |
|---|---|
| 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.21445#NR2Y (statement). In 6XM9AETJT7/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Mesh generation S1HXMJFZ76
| URI | m2://inv/S1HXMJFZ76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#XXMZ, Mesh generation (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#JPAN, Mesh generation (definition)
History
- 2026-11-02: add by m2/dev
Speedup theorem S1J781H341
| URI | m2://inv/S1J781H341 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#AJYM, Speedup theorem (definition)
History
- 2026-11-02: add by m2/dev
S1J7H1RPCX S1J7H1RPCX
| URI | m2://inv/S1J7H1RPCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#XULD (statement)
History
- 2026-11-02: add by m2/v0.6.18
S1J7N6FNZX S1J7N6FNZX
| URI | m2://inv/S1J7N6FNZX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.10804#H31V (definition). In 6M5WR7KB80/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.3
S1JA91Y7NV S1JA91Y7NV
| URI | m2://inv/S1JA91Y7NV |
|---|---|
| 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.20783#T1HX (statement). In KAJXNRDNJP/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
Bernstein polynomial S1JJSDS9GR
| URI | m2://inv/S1JJSDS9GR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Bernstein polynomial 0C4VWBFY73 |
Mentions
- wikidata: Wikidata Q826841, Bernstein polynomial (concept). Also MathWorld BernsteinPolynomial
- wikipedia: Wikipedia Bernstein polynomial, Bernstein polynomial (definition). Also Wikidata Q826841
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Classification via the extension S1JX9NEFQ9
| URI | m2://inv/S1JX9NEFQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27042#Q04B, Classification via the extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fitting criterion S1K13JEFBB
| URI | m2://inv/S1K13JEFBB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-linear analysis#PI20, Fitting criterion (statement)
History
- 2026-11-02: add by m2/dev
Cinque Ports S1K1XRFEE9
| URI | m2://inv/S1K1XRFEE9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FL68, Cinque Ports (unknown)
History
- 2026-11-02: add by m2/dev
S1K3PFRQX3 S1K3PFRQX3
| URI | m2://inv/S1K3PFRQX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#XXTJ (definition). In 6DJR9DKY5W/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
Sheeting near a static tangent flow S1KAQZPVBF
| URI | m2://inv/S1KAQZPVBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09557#KKA1, Sheeting near a static tangent flow (statement). In VHC7FQVPCZ/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Fractional cutoff tail estimate S1KGFN5492
| URI | m2://inv/S1KGFN5492 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10484#19I6, Fractional cutoff tail estimate (statement). In 5B4AX4SF88/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Axiom of choice S1KQET8VK6
| URI | m2://inv/S1KQET8VK6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set (mathematics)#431S, Axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
S1KR8570DG S1KR8570DG
| URI | m2://inv/S1KR8570DG |
|---|---|
| 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.02893#ZA1J (statement). In DQ9TAGM5XP/e1, proposition P2
History
- 2026-10-29: add by m2/v0.4.12
Examples S1KWG73SKV
| URI | m2://inv/S1KWG73SKV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson–Lie group#R8NR, Examples (example)
History
- 2026-11-02: add by m2/dev
Full abstraction S1KWVV0TGW
| URI | m2://inv/S1KWVV0TGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denotational semantics#2VN4, Full abstraction (unknown)
History
- 2026-11-02: add by m2/dev
Weak-Rough Solutions S1M6P4CVQA
| URI | m2://inv/S1M6P4CVQA |
|---|---|
| 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.06473#WMA6, Weak-Rough Solutions (definition). In P1MYSYHSGX/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
S1M6VHSBPA S1M6VHSBPA
| URI | m2://inv/S1M6VHSBPA |
|---|---|
| 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.29326#14EG (statement). In 3F83V6VKKA/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.6
S1M8S30STQ S1M8S30STQ
| URI | m2://inv/S1M8S30STQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
Martin Grötschel S1MA20BXSF
| URI | m2://inv/S1MA20BXSF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VLIF, Martin Grötschel (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6Z4Q, Martin Grötschel (topic)
- wikipedia: Wikipedia List of German mathematicians#B0PA, Martin Grötschel (topic)
History
- 2026-11-02: add by m2/dev
S1MBHXM30C S1MBHXM30C
| URI | m2://inv/S1MBHXM30C |
|---|---|
| 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#FOZN (statement). In 9JZJTRRVR1/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.12
S1MCDCMGXX S1MCDCMGXX
| URI | m2://inv/S1MCDCMGXX |
|---|---|
| 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 2011.12496#E4NP (statement). In 1DH15ZJFRZ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
S1MEN93VAC S1MEN93VAC
| URI | m2://inv/S1MEN93VAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#definition-3 (definition). In RZP28ERRZV, definition, section 31.3
History
- 2026-11-01: add by m2/v0.6.13
Nash blowing-up S1MJ4SGBNS
| URI | m2://inv/S1MJ4SGBNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash blowing-up, Nash blowing-up (definition). Also Wikidata Q17099322
History
- 2026-11-02: add by m2/dev
S1MMFQNF6M S1MMFQNF6M
| URI | m2://inv/S1MMFQNF6M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01225#J9YB (definition). In MFR807V4YG/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
S1MSC5DXB0 S1MSC5DXB0
| URI | m2://inv/S1MSC5DXB0 |
|---|---|
| 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 math/0411039#YZ1N (statement). In ZTBDXSKFFW/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
S1MSD8J6GW S1MSD8J6GW
| URI | m2://inv/S1MSD8J6GW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#9WM5 (definition). In D8XZBXJPR5/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.3.5
S1N0VJHPJT S1N0VJHPJT
| URI | m2://inv/S1N0VJHPJT |
|---|---|
| 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.13916#ZR8O (statement). In JS2JSD0507/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
S1N1BBCNBW S1N1BBCNBW
| URI | m2://inv/S1N1BBCNBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#2PFV (statement). In 5Y3HF693YB/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
S1N2S32FKF S1N2S32FKF
| URI | m2://inv/S1N2S32FKF |
|---|---|
| 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.17585#KUJ6 (statement). In FBWDPA01XY/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Shift theorem S1NA4MHGPV
| URI | m2://inv/S1NA4MHGPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7496252, Shift theorem (statement). Also Wikidata Q7496252
- thousand_plus: thousand_plus Q7496252, Shift theorem (statement). Also Wikidata Q7496252, Wikipedia Shift theorem
- wikipedia: Wikipedia Shift theorem, Shift theorem (statement). Also Wikidata Q7496252
History
- 2026-10-26: add by m2/dev
S1NJV7A8Q6 S1NJV7A8Q6
| URI | m2://inv/S1NJV7A8Q6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40023#ITQQ (definition). In JW9ARS9AQE/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
moduli S1NN7PA5P2
| URI | m2://inv/S1NN7PA5P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#692K, moduli (definition)
History
- 2026-11-02: add by m2/dev
S1NVJ88ANM S1NVJ88ANM
| URI | m2://inv/S1NVJ88ANM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#1QER (statement)
History
- 2026-11-01: add by m2/v0.6.15
S1P33SJVW4 S1P33SJVW4
| URI | m2://inv/S1P33SJVW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#OKCT (statement). In 5RE15848Z0/e1, lemma 1.8
History
- 2026-10-27: add by m2/v0.3.5
Krista Gile S1P78RMFR7
| URI | m2://inv/S1P78RMFR7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krista Gile, Krista Gile (topic). Also Wikidata Q56690613
History
- 2026-11-02: add by m2/dev
not-or S1PSXWEF8M
| URI | m2://inv/S1PSXWEF8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#MQ1S, not-or (definition)
History
- 2026-11-02: add by m2/dev
S1PT4DFX3F S1PT4DFX3F
| URI | m2://inv/S1PT4DFX3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#3UOG (statement). In XYCBKM4WKY/e1, corollary 10
History
- 2026-10-27: add by m2/v0.3.5
Durbin test S1PZ8GZ1C8
| URI | m2://inv/S1PZ8GZ1C8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Durbin test, Durbin test (definition). Also Wikidata Q5316318
History
- 2026-11-02: add by m2/dev
Ruel Vance Churchill S1Q1RTS06J
| URI | m2://inv/S1Q1RTS06J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruel Vance Churchill, Ruel Vance Churchill (topic). Also Wikidata Q10365190
History
- 2026-11-02: add by m2/dev
Dickson's conjecture S1Q2NWE4GK
| URI | m2://inv/S1Q2NWE4GK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#PLS2, Dickson's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Computer data S1Q6A1ENCS
| URI | m2://inv/S1Q6A1ENCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital data#FZVK, Computer data (unknown)
History
- 2026-11-02: add by m2/dev
S1QCKB1J8V S1QCKB1J8V
| URI | m2://inv/S1QCKB1J8V |
|---|---|
| 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.11047#LMPX (definition). In MNQAZ70XTH/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
strong induction S1QRYE8CY1
| URI | m2://inv/S1QRYE8CY1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.5.4/strong-induction, strong induction (concept). In Y91XFCEVHQ, index, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
S1QXZZR0DQ S1QXZZR0DQ
| URI | m2://inv/S1QXZZR0DQ |
|---|---|
| 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 2407.20385#TXN3 (statement). In PZRSZ19KAH/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
S1R0R43888 S1R0R43888
| URI | m2://inv/S1R0R43888 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2609.30033#FDXD (statement)
History
- 2026-11-01: add by m2/v0.6.15
S1R735K4GX S1R735K4GX
| URI | m2://inv/S1R735K4GX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#example-3 (example). In 649HGZKE96, example, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
Rogers's fixed-point theorem S1R8Q5JKTJ
| URI | m2://inv/S1R8Q5JKTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's recursion theorem#BZZL, Rogers's fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
S1R9ETRMDX S1R9ETRMDX
| URI | m2://inv/S1R9ETRMDX |
|---|---|
| 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 2610.19990#TQD1 (statement). In DAXT16CPTW/e1, theorem Theorem
History
- 2026-10-27: add by m2/v0.4.2
S1RBJSAJSS S1RBJSAJSS
| URI | m2://inv/S1RBJSAJSS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 64.4
History
- 2026-11-01: add by m2/v0.6.13
S1RF96EM6R S1RF96EM6R
| URI | m2://inv/S1RF96EM6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#JCX8 (statement). In NAA7WFQN20/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
Johannes Praetorius S1RGNDRKYJ
| URI | m2://inv/S1RGNDRKYJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Praetorius (mathematician), Johannes Praetorius (topic). Also Wikidata Q91661
History
- 2026-11-02: add by m2/dev
S1RHGQQXQQ S1RHGQQXQQ
| URI | m2://inv/S1RHGQQXQQ |
|---|---|
| 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.15402#69NX (statement). In WSE8SEHVXG/e1, proposition 12
History
- 2026-10-28: add by m2/v0.4.2
Rationality S1RX2NS4RX
| URI | m2://inv/S1RX2NS4RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationality, Rationality (definition). Also Wikidata Q938185
History
- 2026-11-02: add by m2/dev
Stochastic homogenization S1RYDAGY7C
| URI | m2://inv/S1RYDAGY7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic homogenization, Stochastic homogenization (definition). Also Wikidata Q55643391
History
- 2026-11-02: add by m2/dev
S1RZRDQBWB S1RZRDQBWB
| URI | m2://inv/S1RZRDQBWB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#56AS (definition)
History
- 2026-11-02: add by m2/v0.6.18
Quenched covariance reproduces the shell kernel S1S1BY7K6Q
| URI | m2://inv/S1S1BY7K6Q |
|---|---|
| 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.00453#8CR1, Quenched covariance reproduces the shell kernel (statement). In ESPJMBH2R2/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
S1S6361J91 S1S6361J91
| URI | m2://inv/S1S6361J91 |
|---|---|
| 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.18555#V7HY (statement). In JPR62EY6A5/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
List of quantitative analysts S1S6M9MCFE
| URI | m2://inv/S1S6M9MCFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#FK04, List of quantitative analysts (unknown)
History
- 2026-11-02: add by m2/dev
Fatou--Bieberbach domain S1SA30PJVK
| URI | m2://inv/S1SA30PJVK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.6/fatou-bieberbach-domain, Fatou--Bieberbach domain (concept). In VNMV985MXX, index, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Ernst August Weiss S1SBEGYYBH
| URI | m2://inv/S1SBEGYYBH |
|---|---|
| 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#XHDS, Ernst August Weiss (topic)
History
- 2026-11-02: add by m2/dev
Adámek's fixed point theorem S1SFAQFNWK
| URI | m2://inv/S1SFAQFNWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#9AEZ, Adámek's fixed point theorem (statement). In 9ZSNSJRJ5N/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Characterizations S1SH3SRK9K
| URI | m2://inv/S1SH3SRK9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthocentric tetrahedron#JMBL, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Exponential mechanism S1SQC2Q35C
| URI | m2://inv/S1SQC2Q35C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential mechanism, Exponential mechanism (definition). Also Wikidata Q5421524
History
- 2026-11-02: add by m2/dev
S1SZP1C7BQ S1SZP1C7BQ
| URI | m2://inv/S1SZP1C7BQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-57 (exercise). In E9HS8K3A52, exercise, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
S1T1484R14 S1T1484R14
| URI | m2://inv/S1T1484R14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#MI2Z (statement). In 5DFTVG7FFF/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
S1T236W4XH S1T236W4XH
| URI | m2://inv/S1T236W4XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23145#PFGK (statement)
History
- 2026-11-02: add by m2/v0.6.17
S1T3PRA867 S1T3PRA867
| URI | m2://inv/S1T3PRA867 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#CE29 (definition). In M0SQY5EZN5/e1, definition 1.1.9
History
- 2026-10-27: add by m2/v0.3.5
Applications S1T5HRNNB1
| URI | m2://inv/S1T5HRNNB1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Civic statistics#DDSH, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples S1TD3KVBYJ
| URI | m2://inv/S1TD3KVBYJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha shape#R7NV, Examples (example)
History
- 2026-11-02: add by m2/dev
Global convergence S1TJ4K00ZB
| URI | m2://inv/S1TJ4K00ZB |
|---|---|
| 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.40203#LWFJ, Global convergence (statement). In ECH66J4Y43/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
S1TJBDCXHA S1TJBDCXHA
| URI | m2://inv/S1TJBDCXHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2401.07983#JLMZ (statement). In 4WJ9HYVSZY/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.6
Common cause and special cause (statistics) S1TS5N3TRE
| URI | m2://inv/S1TS5N3TRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FJTH, Common cause and special cause (statistics) (definition)
History
- 2026-11-02: add by m2/dev
An example S1TVFZPPYZ
| URI | m2://inv/S1TVFZPPYZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choice function#EUKA, An example (example)
History
- 2026-11-02: add by m2/dev
Yu Takeuchi S1TVN043J1
| URI | m2://inv/S1TVN043J1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yu Takeuchi, Yu Takeuchi (topic). Also Wikidata Q25407327
History
- 2026-11-02: add by m2/dev
S1TX6H9PT0 S1TX6H9PT0
| URI | m2://inv/S1TX6H9PT0 |
|---|---|
| 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 2402.17852#E2VB (statement). In 1WCXV5PVZA/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.4.0
affine tensor S1V057GBEW
| URI | m2://inv/S1V057GBEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20874026, affine tensor (unknown). Also EoM Affine_tensor, MathWorld AffineTensor
History
- 2026-10-26: add by m2/dev
Poincaré lemma S1V89R8WR6
| URI | m2://inv/S1V89R8WR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18215105, Poincaré lemma (statement). Also nLab Poincaré lemma
- wikipedia: Wikipedia Poincaré lemma, Poincaré lemma (statement). Also Wikidata Q18215105
History
- 2026-10-26: add by m2/dev
American Mathematical Society S1VC6VN8FH
| URI | m2://inv/S1VC6VN8FH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#VUPE, American Mathematical Society (topic)
History
- 2026-11-02: add by m2/dev
S1VEM40X2S S1VEM40X2S
| URI | m2://inv/S1VEM40X2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19945#1BH9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hedgehog (curve) S1VRKH0D7A
| URI | m2://inv/S1VRKH0D7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#2HOY, Hedgehog (curve) (unknown)
History
- 2026-11-02: add by m2/dev
Noetherian bimodule S1VXZCHSQ2
| URI | m2://inv/S1VXZCHSQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian module#WCLJ, Noetherian bimodule (unknown)
History
- 2026-11-02: add by m2/dev
Mihyun Kang S1WFHMGMB2
| URI | m2://inv/S1WFHMGMB2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mihyun Kang, Mihyun Kang (topic). Also Wikidata Q21264416
History
- 2026-11-02: add by m2/dev
S1WNS4CC7N S1WNS4CC7N
| URI | m2://inv/S1WNS4CC7N |
|---|---|
| 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 2608.24424#I2Q6 (statement). In RQHGZ4AA5T/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.3.6
S1WT1BC464 S1WT1BC464
| URI | m2://inv/S1WT1BC464 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#VYAC (example). In HA9B7PD0YV/e1, example 15
History
- 2026-10-29: add by m2/v0.4.10
Corollary S1WWJDSV79
| URI | m2://inv/S1WWJDSV79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transshipment problem#QMLQ, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Schuster, Arthur S1WZTYT804
| URI | m2://inv/S1WZTYT804 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BB9W, Schuster, Arthur (unknown)
History
- 2026-11-02: add by m2/dev
S1X5E4J0J2 S1X5E4J0J2
| URI | m2://inv/S1X5E4J0J2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#7DLF (statement). In PQHTR84RAJ/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.4.0
S1X7VAEHKN S1X7VAEHKN
| URI | m2://inv/S1X7VAEHKN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#UOWQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
NP-complete S1X82TA7ZH
| URI | m2://inv/S1X82TA7ZH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.5.1/np-complete, NP-complete (concept). In Y91XFCEVHQ, index, section 5.5.1
History
- 2026-11-01: add by m2/v0.6.13
Prim's algorithm S1XHTTRQ25
| URI | m2://inv/S1XHTTRQ25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prim's algorithm, Prim's algorithm (definition). Also Wikidata Q470813
History
- 2026-11-02: add by m2/dev
The Hermite-Lindemann Transcendence Theorem S1XJPA7RSF
| URI | m2://inv/S1XJPA7RSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 56, The Hermite-Lindemann Transcendence Theorem (statement)
History
- 2026-10-26: add by m2/dev
S1XKMADN5J S1XKMADN5J
| URI | m2://inv/S1XKMADN5J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29699#4LCR (definition)
History
- 2026-11-01: add by m2/v0.6.15
topos S1XST8ZE38
| URI | m2://inv/S1XST8ZE38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3QN6, topos (definition)
History
- 2026-11-02: add by m2/dev
S1Y1KNYBK3 S1Y1KNYBK3
| URI | m2://inv/S1Y1KNYBK3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#L2Q0 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Delta method S1Y4RV3Z8A
| URI | m2://inv/S1Y4RV3Z8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JETB, Delta method (definition)
History
- 2026-11-02: add by m2/dev
List of mathematical constants S1YE9ECQEP
| URI | m2://inv/S1YE9ECQEP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#1XLE, List of mathematical constants (topic)
History
- 2026-11-02: add by m2/dev
Integer powers and Teichmuller representatives S1YG7FTBZ3
| URI | m2://inv/S1YG7FTBZ3 |
|---|---|
| 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#KL90, Integer powers and Teichmuller representatives (statement). In 5BZQS1KY9A/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
S1YHT7G4HT S1YHT7G4HT
| URI | m2://inv/S1YHT7G4HT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-15 (proof). In N54F33XE07, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Victor Yakhot S1YQ1H6SV9
| URI | m2://inv/S1YQ1H6SV9 |
|---|---|
| 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#HAO9, Victor Yakhot (unknown)
History
- 2026-11-02: add by m2/dev
Sampling-to-counting transfer S1YR1G8YDX
| URI | m2://inv/S1YR1G8YDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#E18F, Sampling-to-counting transfer (statement)
History
- 2026-11-01: add by m2/v0.6.15
S1YRV3RNWY S1YRV3RNWY
| URI | m2://inv/S1YRV3RNWY |
|---|---|
| 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.14374#R83Y (statement). In YPTC532FEG/e1, lemma 21
History
- 2026-10-28: add by m2/v0.4.2
S1YRX5Z5TY S1YRX5Z5TY
| URI | m2://inv/S1YRX5Z5TY |
|---|---|
| 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.39793#G4BP (statement). In 380M45ANWF/e1, proposition B.2
History
- 2026-10-30: add by m2/v0.4.12
The nonintegral parameters S1YTY6E3FN
| URI | m2://inv/S1YTY6E3FN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#14E6, The nonintegral parameters (statement). In CJRBKR4JKT/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Rationalizing the denominator S1YYPPAT3T
| URI | m2://inv/S1YYPPAT3T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#example-6, Rationalizing the denominator (example). In RZP28ERRZV, example, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
descending chain condition S1YZFGG0AD
| URI | m2://inv/S1YZFGG0AD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78657438, descending chain condition (unknown). Also MathWorld DescendingChainCondition, nLab descending chain condition
History
- 2026-10-26: add by m2/dev
S1Z2T6P7T7 S1Z2T6P7T7
| URI | m2://inv/S1Z2T6P7T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#M9GS (statement). In A4VP56CT7B/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
eigenvector S1Z3EE265C
| URI | m2://inv/S1Z3EE265C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/4.1.2/eigenvector, eigenvector (concept). In 649HGZKE96, index, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
Brian Greene S1Z7BR1FMY
| URI | m2://inv/S1Z7BR1FMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7BDZ, Brian Greene (unknown)
- wikipedia: Wikipedia List of string theory topics#FUR2, Brian Greene (unknown)
History
- 2026-11-02: add by m2/dev
S1ZGPF8J4Q S1ZGPF8J4Q
| URI | m2://inv/S1ZGPF8J4Q |
|---|---|
| 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.30675#TS5P (statement). In RQ0K0A6PQA/e1, theorem A
History
- 2026-10-31: add by m2/v0.5.6
General linear model S1ZHRASQR6
| URI | m2://inv/S1ZHRASQR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LNAF, General linear model (definition)
History
- 2026-11-02: add by m2/dev
S1ZK98XNGF S1ZK98XNGF
| URI | m2://inv/S1ZK98XNGF |
|---|---|
| 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.10873#ZVX4 (statement). In AYG8HYGW6V/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.3
Augustus De Morgan S1ZMHPF75H
| URI | m2://inv/S1ZMHPF75H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#TSJU, Augustus De Morgan (topic)
History
- 2026-11-02: add by m2/dev
Modes of convergence (annotated index) S1ZNW1XRWJ
| URI | m2://inv/S1ZNW1XRWJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modes of convergence#O6JQ, Modes of convergence (annotated index) (unknown)
History
- 2026-11-02: add by m2/dev