Inventory rows SB
The cards of the rows of the inventory whose ids start with SB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Testing effect SB05WBY9GJ
| URI | m2://inv/SB05WBY9GJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#SZP2, Testing effect (unknown)
History
- 2026-11-02: add by m2/dev
Radian per second SB067EDTEG
| URI | m2://inv/SB067EDTEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radian per second, Radian per second (definition). Also Wikidata Q1063756
History
- 2026-11-02: add by m2/dev
SB06FM17JW SB06FM17JW
| URI | m2://inv/SB06FM17JW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-9 (proof). In E59CDZA4DP, proof, section 1.3.5
History
- 2026-11-01: add by m2/v0.6.13
SB0BACA6PG SB0BACA6PG
| URI | m2://inv/SB0BACA6PG |
|---|---|
| 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.08382#LRXG (statement). In GYMGDQS25R/e1, lemma 5.12
History
- 2026-10-29: add by m2/v0.4.10
SB0GK2WZ3B SB0GK2WZ3B
| URI | m2://inv/SB0GK2WZ3B |
|---|---|
| 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.20760#9DL7 (statement). In 6G9JSJ5JMP/e1, lemma 28
History
- 2026-10-27: add by m2/v0.4.2
SB0HD2FZV1 SB0HD2FZV1
| URI | m2://inv/SB0HD2FZV1 |
|---|---|
| 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#8IHV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moufang polygon SB0HMY5A3G
| URI | m2://inv/SB0HMY5A3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moufang polygon, Moufang polygon (definition). Also Wikidata Q6918891
History
- 2026-11-02: add by m2/dev
SB0NTAR7P9 SB0NTAR7P9
| URI | m2://inv/SB0NTAR7P9 |
|---|---|
| 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.02993#PN3F (statement). In TJH58FRGEN/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
SB1044FGCE SB1044FGCE
| URI | m2://inv/SB1044FGCE |
|---|---|
| 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.05722#EPV3 (statement). In NDKWV5J14V/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Jacobi set SB10D98334
| URI | m2://inv/SB10D98334 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi set, Jacobi set (definition). Also Wikidata Q6119646
History
- 2026-11-02: add by m2/dev
Boundary unipotence and infinitude SB12EMCJNS
| URI | m2://inv/SB12EMCJNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.04099#62R0, Boundary unipotence and infinitude (statement). In QPJ6FWG5HD/e1, proposition 2.99
History
- 2026-10-29: add by m2/v0.4.12
SB17QK8CW2 SB17QK8CW2
| URI | m2://inv/SB17QK8CW2 |
|---|---|
| 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.11271#K2MI (statement). In HF7J38T8Y6/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.3
Dissection of Cubes (J.E. Littlewood’s ‘elegant’ proof) SB1BV6CZ6N
| URI | m2://inv/SB1BV6CZ6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 82, Dissection of Cubes (J.E. Littlewood’s ‘elegant’ proof) (statement). Also Mathlib Theorems100.«82».cannot_cube_a_cube
History
- 2026-10-26: add by m2/dev
Darkside communication group SB1CSKQNNZ
| URI | m2://inv/SB1CSKQNNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darkside communication group, Darkside communication group (definition). Also Wikidata Q18206390
History
- 2026-11-02: add by m2/dev
SB1GAFJ9TA SB1GAFJ9TA
| URI | m2://inv/SB1GAFJ9TA |
|---|---|
| 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.26896#IC9C (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications SB1JH3P40Q
| URI | m2://inv/SB1JH3P40Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-fall time#AMOP, Applications (example)
History
- 2026-11-02: add by m2/dev
Discrete uniform distribution SB1NMJWQE4
| URI | m2://inv/SB1NMJWQE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#KNH3, Discrete uniform distribution (definition)
History
- 2026-11-02: add by m2/dev
SB1W3YPZTZ SB1W3YPZTZ
| URI | m2://inv/SB1W3YPZTZ |
|---|---|
| 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.28518#EW7Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
SB1YWZ1T54 SB1YWZ1T54
| URI | m2://inv/SB1YWZ1T54 |
|---|---|
| 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#07XF (statement). In 338GKREFVP/e1, lemma 16
History
- 2026-10-27: add by m2/v0.4.0
Example SB1ZJZMM1Y
| URI | m2://inv/SB1ZJZMM1Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-continuous function#W8GB, Example (example)
History
- 2026-11-02: add by m2/dev
Haim Gaifman SB1ZPH037J
| URI | m2://inv/SB1ZPH037J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ARJO, Haim Gaifman (topic)
History
- 2026-11-02: add by m2/dev
Unique $2$-QW barycenters for isotropic thermal states SB21Z3R59K
| URI | m2://inv/SB21Z3R59K |
|---|---|
| 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.01855#W7WU, Unique $2$-QW barycenters for isotropic thermal states (statement). In MM8P5CJR18/e1, corollary 2.8
History
- 2026-10-29: add by m2/v0.4.12
Frequentist inference SB249A1MPV
| URI | m2://inv/SB249A1MPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8MM7, Frequentist inference (definition)
History
- 2026-11-02: add by m2/dev
SB2DPFBFK9 SB2DPFBFK9
| URI | m2://inv/SB2DPFBFK9 |
|---|---|
| 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.04069#A8HA (statement). In ZA7WXGZYWC/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
SB2G938FGS SB2G938FGS
| URI | m2://inv/SB2G938FGS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#J2BZ (example). In BWD76W20W8/e1, example 6.14
History
- 2026-10-29: add by m2/v0.4.12
SB2PPVE6F0 SB2PPVE6F0
| URI | m2://inv/SB2PPVE6F0 |
|---|---|
| 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.13229#DWT7 (statement). In 4WN20N5Z57/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Arithmetica Infinitorum SB3DZ60GPD
| URI | m2://inv/SB3DZ60GPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Wallis#7DLK, Arithmetica Infinitorum (unknown)
History
- 2026-11-02: add by m2/dev
Colombian Mathematical Society SB3EBGHZ14
| URI | m2://inv/SB3EBGHZ14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colombian Mathematical Society, Colombian Mathematical Society (definition). Also Wikidata Q106858340
History
- 2026-11-02: add by m2/dev
Algorithms SB3NEJ5FV9
| URI | m2://inv/SB3NEJ5FV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative-free optimization#WAU2, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
anamorphosis SB3NZEWZF4
| URI | m2://inv/SB3NZEWZF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q217422, anamorphosis (unknown). Also MathWorld AnamorphicArt
- wikipedia: Wikipedia Anamorphosis, Anamorphosis (definition). Also Wikidata Q217422
History
- 2026-10-26: add by m2/dev
SB3PZ37EK1 SB3PZ37EK1
| URI | m2://inv/SB3PZ37EK1 |
|---|---|
| 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 2610.22074#JBDJ (statement). In F3BKXXPR3K/e1, proposition B.9
History
- 2026-10-27: add by m2/v0.4.2
Coefficient of restitution SB3VA46FRX
| URI | m2://inv/SB3VA46FRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of restitution, Coefficient of restitution (definition). Also Wikidata Q1143011
History
- 2026-11-02: add by m2/dev
Strong operator approximation SB415KVAA7
| URI | m2://inv/SB415KVAA7 |
|---|---|
| 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 2609.38228#7965, Strong operator approximation (statement). In 9YAE8FNQST/e1, corollary 13.13
History
- 2026-10-30: add by m2/v0.4.12
SB43K54GEQ SB43K54GEQ
| URI | m2://inv/SB43K54GEQ |
|---|---|
| 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.24463#F9DU (statement)
History
- 2026-11-01: add by m2/v0.6.15
SB48E6HAE7 SB48E6HAE7
| URI | m2://inv/SB48E6HAE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 39.4
History
- 2026-11-01: add by m2/v0.6.13
Ngarch SB4XVDJ1FN
| URI | m2://inv/SB4XVDJ1FN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive conditional heteroskedasticity#9GNP, Ngarch (unknown)
History
- 2026-11-02: add by m2/dev
SB52DN2P29 SB52DN2P29
| URI | m2://inv/SB52DN2P29 |
|---|---|
| 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.09201#LL4X (statement). In JQFPH09JG8/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.10
SB53HG93TR SB53HG93TR
| URI | m2://inv/SB53HG93TR |
|---|---|
| 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.31527#8FHS (statement). In ZQ2YZ4P6P5/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
SB5CVP0K8W SB5CVP0K8W
| URI | m2://inv/SB5CVP0K8W |
|---|---|
| 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.06466#4I6X (statement). In 6W451V3N75/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
SB5KZPYM4Q SB5KZPYM4Q
| URI | m2://inv/SB5KZPYM4Q |
|---|---|
| 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.26600#O71O (statement)
History
- 2026-11-01: add by m2/v0.6.15
SB5MM3G8CQ SB5MM3G8CQ
| URI | m2://inv/SB5MM3G8CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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.17116#4TQ6 (statement). In A02X6MX28Y/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Lemma SB5PFKAFZF
| URI | m2://inv/SB5PFKAFZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#YDL5, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Conjecture SB5R1G38NN
| URI | m2://inv/SB5R1G38NN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#Y5MS, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Reverse-Serre rigidity SB5S097CRB
| URI | m2://inv/SB5S097CRB |
|---|---|
| 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 2610.04189#4U7K, Reverse-Serre rigidity (statement). In 1KRZ5ACTKE/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.12
Hard analysis SB5X4MM6AW
| URI | m2://inv/SB5X4MM6AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PA5I, Hard analysis (definition)
History
- 2026-11-02: add by m2/dev
homomorphism SB62K6KEHF
| URI | m2://inv/SB62K6KEHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 13564) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#FHMU, homomorphism (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
SB67JR45XA SB67JR45XA
| URI | m2://inv/SB67JR45XA |
|---|---|
| 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#MBIO (definition)
History
- 2026-11-02: add by m2/v0.6.18
SB6AP11RSH SB6AP11RSH
| URI | m2://inv/SB6AP11RSH |
|---|---|
| Kind | problem |
| 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.30407#EH1G (problem). In HNY6N561H5/e1, problem 3.4
History
- 2026-10-31: add by m2/v0.5.6
Properties SB6KAAWQ4D
| URI | m2://inv/SB6KAAWQ4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectation–maximization algorithm#ZATB, Properties (statement)
History
- 2026-11-02: add by m2/dev
List of Courant Institute faculty members SB6MBRGGKW
| URI | m2://inv/SB6MBRGGKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant Institute School of Mathematics, Computing, and Data Science#CR8F, List of Courant Institute faculty members (unknown)
History
- 2026-11-02: add by m2/dev
SB6N9QC1PJ SB6N9QC1PJ
| URI | m2://inv/SB6N9QC1PJ |
|---|---|
| Kind | definition |
| 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 2204.07227#QF0X (definition). In R85Z7ZZGBC/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Infinite-order apeirogonal tiling SB6NH7ND3S
| URI | m2://inv/SB6NH7ND3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-order apeirogonal tiling, Infinite-order apeirogonal tiling (definition). Also Wikidata Q17077470
History
- 2026-11-02: add by m2/dev
Scale co-occurrence matrix SB6S3JJ61R
| URI | m2://inv/SB6S3JJ61R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale co-occurrence matrix, Scale co-occurrence matrix (definition). Also Wikidata Q25048680
History
- 2026-11-02: add by m2/dev
SB75FK837X SB75FK837X
| URI | m2://inv/SB75FK837X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 19.7
History
- 2026-11-01: add by m2/v0.6.13
Ramanujan summation SB781Z1S0G
| URI | m2://inv/SB781Z1S0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#RILV, Ramanujan summation (definition)
History
- 2026-11-02: add by m2/dev
SB7JNF4AQ7 SB7JNF4AQ7
| URI | m2://inv/SB7JNF4AQ7 |
|---|---|
| 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 2610.00584#R6X9 (definition). In 3CRSR95BNA/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Example SB7RRPTFR0
| URI | m2://inv/SB7RRPTFR0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete spline interpolation#GLMW, Example (example)
History
- 2026-11-02: add by m2/dev
Absurdity SB7VDN772H
| URI | m2://inv/SB7VDN772H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absurdity, Absurdity (definition). Also Wikidata Q430727
History
- 2026-11-02: add by m2/dev
Riemann singularity theorem SB7WZ58Y22
| URI | m2://inv/SB7WZ58Y22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#NK5Z, Riemann singularity theorem (definition)
History
- 2026-11-02: add by m2/dev
Markov Hole SB7YRDSD1P
| URI | m2://inv/SB7YRDSD1P |
|---|---|
| Kind | definition |
| 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 2401.05118#M1P8, Markov Hole (definition). In BT0T0QS2TN/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Persistence barcode SB83FZZ49X
| URI | m2://inv/SB83FZZ49X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persistence barcode, Persistence barcode (definition). Also Wikidata Q118903543
History
- 2026-11-02: add by m2/dev
Collinear triples SB83HT6S45
| URI | m2://inv/SB83HT6S45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#WC8L, Collinear triples (statement). In 9NVKKW8HDH/e1, theorem 2.33
History
- 2026-10-28: add by m2/v0.4.2
SB893FBTBE SB893FBTBE
| URI | m2://inv/SB893FBTBE |
|---|---|
| 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.11047#CGM7 (statement). In MNQAZ70XTH/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.3
Local helper implementation and weighted likelihood matching SB89NAJA3Z
| URI | m2://inv/SB89NAJA3Z |
|---|---|
| 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.09472#UGFW, Local helper implementation and weighted likelihood matching (statement). In 35925M9GJW/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
mutually exclusive SB89NF74X2
| URI | m2://inv/SB89NF74X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2SIO, mutually exclusive (definition)
History
- 2026-11-02: add by m2/dev
SB8GZAVQTP SB8GZAVQTP
| URI | m2://inv/SB8GZAVQTP |
|---|---|
| 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 2402.00465#Z4QD (statement). In EKFTNPQC8D/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
non-positive integer SB8HPGF9KP
| URI | m2://inv/SB8HPGF9KP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47371099, non-positive integer (unknown). Also MathWorld NonpositiveInteger
History
- 2026-10-26: add by m2/dev
Notation SB8MPQ0H5Z
| URI | m2://inv/SB8MPQ0H5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#PGWA, Notation (definition)
History
- 2026-11-02: add by m2/dev
Inner generation SB8TWNRYRA
| URI | m2://inv/SB8TWNRYRA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#H7FE, Inner generation (definition)
History
- 2026-11-01: add by m2/v0.6.15
topologist's sine curve SB8ZXYJ1ZN
| URI | m2://inv/SB8ZXYJ1ZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Topologist's sine curve 0K3T4A659R |
Mentions
- wikidata: Wikidata Q1148367, topologist's sine curve (unknown). Also MathWorld TopologistsSineCurve, nLab topologist's sine curve
- wikipedia: Wikipedia Topologist's sine curve, Topologist's sine curve (definition). Also Wikidata Q1148367
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Closed graph theorem in point-set topology SB95JFR4BC
| URI | m2://inv/SB95JFR4BC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem#UPHJ, Closed graph theorem in point-set topology (statement)
History
- 2026-11-02: add by m2/dev
Formal definition SB9788VESS
| URI | m2://inv/SB9788VESS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subcategory#F1YT, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
SB99JJCQ3V SB99JJCQ3V
| URI | m2://inv/SB99JJCQ3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#IRMF (statement). In 9DQKY7KGE8/e1, proposition 4.24
History
- 2026-10-27: add by m2/v0.3.5
Lynne H. Walling SB9BKPMJGC
| URI | m2://inv/SB9BKPMJGC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynne H. Walling, Lynne H. Walling (topic). Also Wikidata Q19665317
History
- 2026-11-02: add by m2/dev
SB9D5KCEBA SB9D5KCEBA
| URI | m2://inv/SB9D5KCEBA |
|---|---|
| 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.22952#7XMU (statement)
History
- 2026-11-02: add by m2/v0.6.17
SB9MCG5DMM SB9MCG5DMM
| URI | m2://inv/SB9MCG5DMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#FZFS (statement). In D64RQ09KBP/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
Multivariable limit SB9NRY3Y40
| URI | m2://inv/SB9NRY3Y40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a function#F5M6, Multivariable limit (unknown)
History
- 2026-11-02: add by m2/dev
Horace Clifford Levinson SB9PSTBFCG
| URI | m2://inv/SB9PSTBFCG |
|---|---|
| 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#RBNS, Horace Clifford Levinson (unknown)
History
- 2026-11-02: add by m2/dev
Anti-diagonal SB9TK3YJHT
| URI | m2://inv/SB9TK3YJHT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Main diagonal#2GQH, Anti-diagonal (unknown)
History
- 2026-11-02: add by m2/dev
interval SB9XDSZ6V4
| URI | m2://inv/SB9XDSZ6V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Interval 0Q1D85B8G6 |
Mentions
- wikidata: Wikidata Q185148, interval (unknown). Also EoM Interval_and_segment, MathWorld Interval, nLab interval
- wikipedia: Wikipedia Interval (mathematics), Interval (definition). Also Wikidata Q185148
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hybrid system SB9YABT38B
| URI | m2://inv/SB9YABT38B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hybrid system, Hybrid system (definition). Also Wikidata Q2665508
History
- 2026-11-02: add by m2/dev
SBAA7Y23TW SBAA7Y23TW
| URI | m2://inv/SBAA7Y23TW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 31.2
History
- 2026-11-01: add by m2/v0.6.13
Hypersphere of rotations SBANHAADXG
| URI | m2://inv/SBANHAADXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charts on SO(3)#X9M5, Hypersphere of rotations (unknown)
History
- 2026-11-02: add by m2/dev
Stefan Wenger SBASJDKN5X
| URI | m2://inv/SBASJDKN5X |
|---|---|
| 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#M2DN, Stefan Wenger (unknown)
History
- 2026-11-02: add by m2/dev
Oversmoothing SBB3XNDZGZ
| URI | m2://inv/SBB3XNDZGZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.28185#09VI, Oversmoothing (definition). In EG1XXNSTXX/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Generalizations SBBA7CV916
| URI | m2://inv/SBBA7CV916 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random permutation statistics#F2AS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SBBHH9J3BH SBBHH9J3BH
| URI | m2://inv/SBBHH9J3BH |
|---|---|
| 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 2610.10881#3DFO (statement). In DC01XRB5YE/e1, theorem 13
History
- 2026-10-28: add by m2/v0.4.3
SBBJ3JEZK0 SBBJ3JEZK0
| URI | m2://inv/SBBJ3JEZK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#definition-4 (definition). In RZP28ERRZV, definition, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
Definition SBBJ9AFB93
| URI | m2://inv/SBBJ9AFB93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector-valued differential form#32TL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sequential union bound SBBSWAMZ16
| URI | m2://inv/SBBSWAMZ16 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20687#Z0I5, Sequential union bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
Impredicative propositions SBBWFZJ8CE
| URI | m2://inv/SBBWFZJ8CE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#8WLV, Impredicative propositions (statement)
History
- 2026-11-02: add by m2/dev
ontology SBBXWADC22
| URI | m2://inv/SBBXWADC22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44325, ontology (unknown). Also nLab ontology
History
- 2026-10-26: add by m2/dev
SBC53AQYRQ SBC53AQYRQ
| URI | m2://inv/SBC53AQYRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#0HML (statement). In WNFW6GY38C/e1, proposition 10.2
History
- 2026-10-30: add by m2/v0.4.12
Straszewicz SBC6NXNM9B
| URI | m2://inv/SBC6NXNM9B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-56, Straszewicz (statement). In VNMV985MXX, thm, section E.2
History
- 2026-11-01: add by m2/v0.6.13
Definition SBCBW0TVET
| URI | m2://inv/SBCBW0TVET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confusion and diffusion#E5JR, Definition (definition)
History
- 2026-11-02: add by m2/dev
SBCPQJBDQ1 SBCPQJBDQ1
| URI | m2://inv/SBCPQJBDQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#CRF9 (statement). In R03K2N7FRF/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
SBCX6A6YJ8 SBCX6A6YJ8
| URI | m2://inv/SBCX6A6YJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.26340#J3FT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example SBCXAJJN9V
| URI | m2://inv/SBCXAJJN9V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slutsky equation#LLN5, Example (example)
History
- 2026-11-02: add by m2/dev
arg SBCY4QEHSD
| URI | m2://inv/SBCY4QEHSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logarithmic identities#JD0Y, arg (definition)
History
- 2026-11-02: add by m2/dev
The constrained estimate satisfies a log-Sobolev inequality SBD1HG1X77
| URI | m2://inv/SBD1HG1X77 |
|---|---|
| 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.14498#L4I0, The constrained estimate satisfies a log-Sobolev inequality (statement). In 81YXGYETE4/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
SBD2BTVDVV SBD2BTVDVV
| URI | m2://inv/SBD2BTVDVV |
|---|---|
| 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#REH0 (statement). In RAVR2W9S0B/e1, corollary 3.7
History
- 2026-10-31: add by m2/v0.5.6
SBDCCY8Q5N SBDCCY8Q5N
| URI | m2://inv/SBDCCY8Q5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#7CXR (statement). In 6HP7BR9WZM/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Yuri A. Kuznetsov SBDDBMRGGF
| URI | m2://inv/SBDDBMRGGF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri A. Kuznetsov, Yuri A. Kuznetsov (topic). Also Wikidata Q30144365
History
- 2026-11-02: add by m2/dev
SBDHFVPB4Y SBDHFVPB4Y
| URI | m2://inv/SBDHFVPB4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#definition-1 (definition). In RZP28ERRZV, definition, section 45.1
History
- 2026-11-01: add by m2/v0.6.13
Stress–strain curve SBDM8VRV6H
| URI | m2://inv/SBDM8VRV6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#107K, Stress–strain curve (unknown)
History
- 2026-11-02: add by m2/dev
Definition SBDRFMH18A
| URI | m2://inv/SBDRFMH18A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function (complex analysis)#OVYQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
SBDRKRH0GD SBDRKRH0GD
| URI | m2://inv/SBDRKRH0GD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#OOHQ (statement). In 8SVVEVGMNE/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
Geometric data set SBDSRQ1Q54
| URI | m2://inv/SBDSRQ1Q54 |
|---|---|
| Kind | definition |
| 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 2609.26262#HMZN, Geometric data set (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition SBDT6Q747B
| URI | m2://inv/SBDT6Q747B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic zeta function#6SJB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Explicit stopping solutions for entropic risk SBDV23ZR1D
| URI | m2://inv/SBDV23ZR1D |
|---|---|
| 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.23768#RL3C, Explicit stopping solutions for entropic risk (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples SBDXA90HPG
| URI | m2://inv/SBDXA90HPG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superalgebra#VYOU, Examples (example)
History
- 2026-11-02: add by m2/dev
SBDY2F0V2R SBDY2F0V2R
| URI | m2://inv/SBDY2F0V2R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 10.5
History
- 2026-11-01: add by m2/v0.6.13
Idempotent matrix SBDYM11RF8
| URI | m2://inv/SBDYM11RF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BITG, Idempotent matrix (definition)
History
- 2026-11-02: add by m2/dev
The obstruction in top particle weight SBE3DD05WY
| URI | m2://inv/SBE3DD05WY |
|---|---|
| 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#VL1B, The obstruction in top particle weight (statement). In Y1DR0DPWD0/e1, proposition 6.12
History
- 2026-10-29: add by m2/v0.4.12
Ocean gyre SBE4D6PQSB
| URI | m2://inv/SBE4D6PQSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ocean gyre, Ocean gyre (definition). Also Wikidata Q1250263
History
- 2026-11-02: add by m2/dev
SBEFEBQ0QJ SBEFEBQ0QJ
| URI | m2://inv/SBEFEBQ0QJ |
|---|---|
| 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#L9D4 (statement). In RQHGZ4AA5T/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
Otto Frostman SBEGX2NRWX
| URI | m2://inv/SBEGX2NRWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Frostman, Otto Frostman (topic). Also Wikidata Q5745816
History
- 2026-11-02: add by m2/dev
Dual Formulation of BDRS SBER4X545H
| URI | m2://inv/SBER4X545H |
|---|---|
| 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.33814#UXQD, Dual Formulation of BDRS (statement). In WG5RT5PRNB/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Hermite SBET9K282Q
| URI | m2://inv/SBET9K282Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#BFXY, Hermite (definition)
History
- 2026-11-02: add by m2/dev
Local average treatment effect SBEVG6HPEF
| URI | m2://inv/SBEVG6HPEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local average treatment effect, Local average treatment effect (definition). Also Wikidata Q60792362
History
- 2026-11-02: add by m2/dev
SBEYQ1VW13 SBEYQ1VW13
| URI | m2://inv/SBEYQ1VW13 |
|---|---|
| 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.19311#6GLR (statement). In 3MFD6RSV41/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
SBFAGKPJ4Z SBFAGKPJ4Z
| URI | m2://inv/SBFAGKPJ4Z |
|---|---|
| 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 1805.04646#GUMY (statement). In WDDY7P9T66/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.3.5
SBFPHV3NR4 SBFPHV3NR4
| URI | m2://inv/SBFPHV3NR4 |
|---|---|
| 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.14562#TFCO (statement). In G4XMZ452QE/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
SBG3Q215PS SBG3Q215PS
| URI | m2://inv/SBG3Q215PS |
|---|---|
| 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.21359#OUAH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Convexity in the Gaussian data SBG4X0RC4X
| URI | m2://inv/SBG4X0RC4X |
|---|---|
| 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.18350#AVD4, Convexity in the Gaussian data (statement). In A20E8FZS21/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Local role frequencies SBG5GFX4DK
| URI | m2://inv/SBG5GFX4DK |
|---|---|
| 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.20414#AYH9, Local role frequencies (statement). In X2NNNW8CX5/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.2
Projected gradient iteration SBG81CBXYV
| URI | m2://inv/SBG81CBXYV |
|---|---|
| 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 2609.38228#BGHB, Projected gradient iteration (statement). In 9YAE8FNQST/e1, corollary 18.23
History
- 2026-10-30: add by m2/v0.4.12
Combinatorial topology SBG9CA4ZHC
| URI | m2://inv/SBG9CA4ZHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#WYVZ, Combinatorial topology (definition)
- wikipedia: Wikipedia List of algebraic topology topics#T0AR, Combinatorial topology (definition)
History
- 2026-11-02: add by m2/dev
SBGEMCFGSX SBGEMCFGSX
| URI | m2://inv/SBGEMCFGSX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1912.02769#V272 (example). In JH7VQ2EC16/e1, example 3.7
History
- 2026-10-27: add by m2/v0.3.5
SBGEYRN97W SBGEYRN97W
| URI | m2://inv/SBGEYRN97W |
|---|---|
| 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.00078#P6AE (statement). In KXYGWSGP9M/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
Lindstedt, Anders SBGH6C9JP7
| URI | m2://inv/SBGH6C9JP7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0JV8, Lindstedt, Anders (topic)
History
- 2026-11-02: add by m2/dev
SBGQB7YS6B SBGQB7YS6B
| URI | m2://inv/SBGQB7YS6B |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 60-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.10481#D9P5 (conjecture). In ETV3D93XYD/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.10
Kakeya conjecture SBGRYRZZKF
| URI | m2://inv/SBGRYRZZKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ZL9J, Kakeya conjecture (definition)
History
- 2026-11-02: add by m2/dev
Statement SBGT4QJW6V
| URI | m2://inv/SBGT4QJW6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's lemma#BEVE, Statement (statement)
History
- 2026-11-02: add by m2/dev
Kahn's algorithm SBGVQZTEJG
| URI | m2://inv/SBGVQZTEJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological sorting#NV4P, Kahn's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
SBH05R77QS SBH05R77QS
| URI | m2://inv/SBH05R77QS |
|---|---|
| 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 2311.16252#KUGY (statement). In 8AHN9GSRMR/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.4.0
Notation SBH9J9TWHM
| URI | m2://inv/SBH9J9TWHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior calculus identities#QUA1, Notation (definition)
History
- 2026-11-02: add by m2/dev
Multidimensional panel data SBHS4Z7916
| URI | m2://inv/SBHS4Z7916 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YONL, Multidimensional panel data (definition)
History
- 2026-11-02: add by m2/dev
Bertrand–Diguet–Puiseux theorem SBHWA9T8NY
| URI | m2://inv/SBHWA9T8NY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q931404, Bertrand–Diquet–Puiseux theorem (statement). Also Wikidata Q931404
- thousand_plus: thousand_plus Q931404, Bertrand–Diquet–Puiseux theorem (statement). Also Wikidata Q931404, Wikipedia Bertrand–Diquet–Puiseux theorem
- wikipedia: Wikipedia Bertrand–Diguet–Puiseux theorem, Bertrand–Diguet–Puiseux theorem (statement). Also Wikidata Q931404
History
- 2026-10-26: add by m2/dev
Gaussian Fourier transform and Poisson summation SBJ380CC6T
| URI | m2://inv/SBJ380CC6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#COKG, Gaussian Fourier transform and Poisson summation (statement). In HF7YNMW39N/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
SBJ5M0XP6J SBJ5M0XP6J
| URI | m2://inv/SBJ5M0XP6J |
|---|---|
| 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.17737#TAW4 (statement). In 8SXY7Y68HV/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Born-Oppenheimer approximation SBJ9SX6VMM
| URI | m2://inv/SBJ9SX6VMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q633824, Born-Oppenheimer approximation (unknown). Also nLab Born-Oppenheimer approximation
- wikipedia: Wikipedia Born–Oppenheimer approximation, Born–Oppenheimer approximation (definition). Also Wikidata Q633824
History
- 2026-10-26: add by m2/dev
SBJJYR92RH SBJJYR92RH
| URI | m2://inv/SBJJYR92RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#I0C7 (statement). In VWNB6QJWFN/e1, theorem A.2
History
- 2026-10-30: add by m2/v0.4.12
computation rule, propositional SBJTFPE2JC
| URI | m2://inv/SBJTFPE2JC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.7/computation-rule-propositional, computation rule, propositional (concept). In N54F33XE07, index, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Henry Regnand SBJZ59AJNT
| URI | m2://inv/SBJZ59AJNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Regnand, Henry Regnand (topic). Also Wikidata Q5727459
History
- 2026-11-02: add by m2/dev
SBKE67YPK0 SBKE67YPK0
| URI | m2://inv/SBKE67YPK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#EZVQ (statement). In P0HKF5DY7M/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Definition SBKVAC6V5F
| URI | m2://inv/SBKVAC6V5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power transform#M1HN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Every-learner lower bound for power-linear losses SBKVH3XETW
| URI | m2://inv/SBKVH3XETW |
|---|---|
| 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.09206#UDUS, Every-learner lower bound for power-linear losses (statement). In T7R1Q29DQK/e1, lemma G.1
History
- 2026-10-29: add by m2/v0.4.10
Applications SBKVPMMGMX
| URI | m2://inv/SBKVPMMGMX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming graph#16L5, Applications (example)
History
- 2026-11-02: add by m2/dev
SBM0RR47SE SBM0RR47SE
| URI | m2://inv/SBM0RR47SE |
|---|---|
| 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 2610.16877#6FSX (statement). In YY4KFNMPC0/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Localization and resampling on a fixed region SBM653DNV0
| URI | m2://inv/SBM653DNV0 |
|---|---|
| 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.06372#4MHA, Localization and resampling on a fixed region (statement). In G3E1P350Z6/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
SBM66B0X5N SBM66B0X5N
| URI | m2://inv/SBM66B0X5N |
|---|---|
| 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#4AHC (statement). In 5Y3HF693YB/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
SBMJ852VHG SBMJ852VHG
| URI | m2://inv/SBMJ852VHG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-28 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Optimal-face strict crossing SBMY4T08EN
| URI | m2://inv/SBMY4T08EN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33472#8UTI, Optimal-face strict crossing (definition). In WBQQBZ4FCJ/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Basic properties SBN1FD5ES0
| URI | m2://inv/SBN1FD5ES0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal bundle#P1E2, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Vaserstein *{Theorem 4 SBN62YAHCJ
| URI | m2://inv/SBN62YAHCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 30-XX, 32-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.26808#KCRU, Vaserstein *{Theorem 4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Group isomorphism SBNA4412NJ
| URI | m2://inv/SBNA4412NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FAL2, Group isomorphism (definition)
History
- 2026-11-02: add by m2/dev
SBNC7N5GK7 SBNC7N5GK7
| URI | m2://inv/SBNC7N5GK7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#XQCU (definition). In HVY45JQRNK/e1, definition 2.13
History
- 2026-10-31: add by m2/v0.5.6
Alfred Tauber SBNKBPTV24
| URI | m2://inv/SBNKBPTV24 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LNR3, Alfred Tauber (unknown)
History
- 2026-11-02: add by m2/dev
Larry Brown SBNNJF7VXA
| URI | m2://inv/SBNNJF7VXA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#V1MZ, Larry Brown (topic)
History
- 2026-11-02: add by m2/dev
SBNS5NP1BV SBNS5NP1BV
| URI | m2://inv/SBNS5NP1BV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 98.4
History
- 2026-11-01: add by m2/v0.6.13
The boost is carried by the difference walk SBNX8YVR7F
| URI | m2://inv/SBNX8YVR7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#AG0L, The boost is carried by the difference walk (statement)
History
- 2026-11-02: add by m2/v0.6.17
SBP5P8EJP0 SBP5P8EJP0
| URI | m2://inv/SBP5P8EJP0 |
|---|---|
| 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#NFLO (statement). In 1NY2SA03XF/e1, proposition 3.15
History
- 2026-10-29: add by m2/v0.4.10
SBP7PTQNH0 SBP7PTQNH0
| URI | m2://inv/SBP7PTQNH0 |
|---|---|
| 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.27823#3L9C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Abraham Stern SBP8Q721FM
| URI | m2://inv/SBP8Q721FM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Stern (inventor), Abraham Stern (topic). Also Wikidata Q330631
History
- 2026-11-02: add by m2/dev
cofree coalgebra SBPBBGP1VZ
| URI | m2://inv/SBPBBGP1VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2855673, cofree coalgebra (unknown). Also nLab cofree coalgebra
- wikipedia: Wikipedia Cofree coalgebra, Cofree coalgebra (definition). Also Wikidata Q2855673
History
- 2026-10-26: add by m2/dev
Symmetry SBPGD0B62B
| URI | m2://inv/SBPGD0B62B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Megagon#WVQM, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
SBPKE9107D SBPKE9107D
| URI | m2://inv/SBPKE9107D |
|---|---|
| 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.28046#V8XG (statement)
History
- 2026-11-01: add by m2/v0.6.15
SBPS1CR9ER SBPS1CR9ER
| URI | m2://inv/SBPS1CR9ER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33250#G7GW (statement). In JCTD510XJ0/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
The action principle SBPX43FVWV
| URI | m2://inv/SBPX43FVWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brans–Dicke theory#G92K, The action principle (statement)
History
- 2026-11-02: add by m2/dev
Extended unoriented tangloid category SBPXKKN1P5
| URI | m2://inv/SBPXKKN1P5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-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.37524#RAWI, Extended unoriented tangloid category (definition). In 4GTJAPF7Q3/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Rectangular hard-edge tail SBPZCERBDT
| URI | m2://inv/SBPZCERBDT |
|---|---|
| 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.28198#AX24, Rectangular hard-edge tail (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coercivity SBQ6KGCF1D
| URI | m2://inv/SBQ6KGCF1D |
|---|---|
| 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.21508#6EAQ, Coercivity (statement)
History
- 2026-11-02: add by m2/v0.6.18
SBQ86RT5CN SBQ86RT5CN
| URI | m2://inv/SBQ86RT5CN |
|---|---|
| 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.02097#AAW6 (statement). In DQSRCCAG6G/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
Katalin Marton SBQBBVKM8C
| URI | m2://inv/SBQBBVKM8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7CI6, Katalin Marton (topic)
History
- 2026-11-02: add by m2/dev
SBQCVRKY3D SBQCVRKY3D
| URI | m2://inv/SBQCVRKY3D |
|---|---|
| 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 2504.01057#UW5B (statement). In 69QFBXJENW/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
Gheorghe Vranceanu SBQP1457XB
| URI | m2://inv/SBQP1457XB |
|---|---|
| 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#MVE7, Gheorghe Vranceanu (topic)
History
- 2026-11-02: add by m2/dev
Irreducibility and the minimal period equation SBQTYV5CWJ
| URI | m2://inv/SBQTYV5CWJ |
|---|---|
| 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.10828#6HHT, Irreducibility and the minimal period equation (statement). In 8PTDFHV8SQ/e1, proposition 15.2
History
- 2026-10-28: add by m2/v0.4.3
zero SBQVMGA39P
| URI | m2://inv/SBQVMGA39P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/zero, zero (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Ax SBQZZWDB92
| URI | m2://inv/SBQZZWDB92 |
|---|---|
| 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.17325#IPAD, Ax (statement). In SE16BAED46/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Applications SBR0VGFERD
| URI | m2://inv/SBR0VGFERD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite model theory#1CQ2, Applications (example)
History
- 2026-11-02: add by m2/dev
SBR2WF31GZ SBR2WF31GZ
| URI | m2://inv/SBR2WF31GZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#lem:cuts-preserve-admissibility (statement). In N54F33XE07, lem, section B.2.3
History
- 2026-11-01: add by m2/v0.6.13
KG-module SBR5V5W7FJ
| URI | m2://inv/SBR5V5W7FJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group ring#SQ20, KG-module (unknown)
History
- 2026-11-02: add by m2/dev
Guido Castelnuovo SBR72REHTC
| URI | m2://inv/SBR72REHTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guido Castelnuovo, Guido Castelnuovo (topic). Also Wikidata Q726811
History
- 2026-11-02: add by m2/dev
SBR77875QJ SBR77875QJ
| URI | m2://inv/SBR77875QJ |
|---|---|
| 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.04172#2QBJ (definition). In 9Q1D1NMTTS/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
SBRG6K2ATZ SBRG6K2ATZ
| URI | m2://inv/SBRG6K2ATZ |
|---|---|
| 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 2508.02432#IMVS (statement). In B366ACYB37/e1, corollary 3.29
History
- 2026-10-27: add by m2/v0.3.5
SBRRNRD63G SBRRNRD63G
| URI | m2://inv/SBRRNRD63G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#3G4V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quasirandom restrictions SBRTK963WZ
| URI | m2://inv/SBRTK963WZ |
|---|---|
| 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.33733#9139, Quasirandom restrictions (statement). In QBAP8C82FG/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
geometric motion SBRVBPZ8F5
| URI | m2://inv/SBRVBPZ8F5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4300759, geometric motion (unknown). Also EoM Motion
- wikipedia: Wikipedia Motion (geometry), Motion (definition). Also Wikidata Q4300759
History
- 2026-10-26: add by m2/dev
John M. Sullivan SBRVD63AAJ
| URI | m2://inv/SBRVD63AAJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W5JN, John M. Sullivan (topic)
- wikipedia: Wikipedia List of German mathematicians#C3M6, John M. Sullivan (topic)
History
- 2026-11-02: add by m2/dev
Angular resolution SBRY2AEK3G
| URI | m2://inv/SBRY2AEK3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular resolution, Angular resolution (definition). Also Wikidata Q740898
History
- 2026-11-02: add by m2/dev
SBS84P6R5V SBS84P6R5V
| URI | m2://inv/SBS84P6R5V |
|---|---|
| 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.30302#7ANZ (statement). In R6ABTE22G0/e1, theorem 11
History
- 2026-10-31: add by m2/v0.5.6
M. Grazia Speranza SBS8R6K801
| URI | m2://inv/SBS8R6K801 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AK8E, M. Grazia Speranza (unknown)
History
- 2026-11-02: add by m2/dev
AEL lift for folded LCL SBSAQJB1YG
| URI | m2://inv/SBSAQJB1YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#6I3Z, AEL lift for folded LCL (statement). In 7MVPNFPRKB/e1, theorem 12.6
History
- 2026-10-30: add by m2/v0.4.12
SBSBANBH76 SBSBANBH76
| URI | m2://inv/SBSBANBH76 |
|---|---|
| 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#CFVV (statement)
History
- 2026-11-01: add by m2/v0.6.15
SBSBTDZN1C SBSBTDZN1C
| URI | m2://inv/SBSBTDZN1C |
|---|---|
| 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 2511.17751#6YEL (statement). In J39X0NB31S/e1, proposition 4.20
History
- 2026-10-27: add by m2/v0.3.5
SBSES5G9NM SBSES5G9NM
| URI | m2://inv/SBSES5G9NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#D4ZZ (statement). In DB223AABTH/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
truth table SBSHVAJVZY
| URI | m2://inv/SBSHVAJVZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VON1, truth table (definition)
History
- 2026-11-02: add by m2/dev
Risk aversion SBSJQ6DFF1
| URI | m2://inv/SBSJQ6DFF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk aversion (psychology), Risk aversion (definition). Also Wikidata Q17083550
History
- 2026-11-02: add by m2/dev
SBSKB7JKVG SBSKB7JKVG
| URI | m2://inv/SBSKB7JKVG |
|---|---|
| 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.16727#ALG2 (statement). In Z5QS3MD8HN/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
SBST6RPBFV SBST6RPBFV
| URI | m2://inv/SBST6RPBFV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.20170#PTNF (example). In QXJP79APHN/e1, example 3.13
History
- 2026-10-27: add by m2/v0.3.5
SBSW8MQ83J SBSW8MQ83J
| URI | m2://inv/SBSW8MQ83J |
|---|---|
| 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.02628#J3G6 (statement). In G4S9C5M1A4/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
SBT55JBKJY SBT55JBKJY
| URI | m2://inv/SBT55JBKJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30527#HMOE (statement). In E3WQDZY388/e1, corollary 5.3
History
- 2026-10-31: add by m2/v0.5.6
di Bruno's Formula SBTDE9GH8S
| URI | m2://inv/SBTDE9GH8S |
|---|---|
| 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 2109.12716#MX5B, di Bruno's Formula (statement). In 6X76XBE3HV/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
SBV1K2HRSK SBV1K2HRSK
| URI | m2://inv/SBV1K2HRSK |
|---|---|
| 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#D0MD (statement). In CY1FE8W1ZW/e1, lemma 0.20
History
- 2026-10-27: add by m2/v0.4.0
SBV1VMXSXG SBV1VMXSXG
| URI | m2://inv/SBV1VMXSXG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#6XIW (definition). In BBE69ZPVTF/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
SBV3C22ERB SBV3C22ERB
| URI | m2://inv/SBV3C22ERB |
|---|---|
| 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.02436#QBX5 (statement). In J9WZBK6KAY/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
The determinant as a product of Vandermonde determinants SBVE4KWXEG
| URI | m2://inv/SBVE4KWXEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.20368#8TME, The determinant as a product of Vandermonde determinants (statement). In T8CDHW9MC1/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.2
SBVZ1NAKSV SBVZ1NAKSV
| URI | m2://inv/SBVZ1NAKSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05611#KYQ3 (statement). In QDTX6NXFEB/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Alexei Skorobogatov SBVZZ94V4S
| URI | m2://inv/SBVZZ94V4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexei Skorobogatov, Alexei Skorobogatov (topic). Also Wikidata Q4422281
History
- 2026-11-02: add by m2/dev
SBW6EMBAN8 SBW6EMBAN8
| URI | m2://inv/SBW6EMBAN8 |
|---|---|
| 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.20805#XC84 (statement)
History
- 2026-11-02: add by m2/v0.6.18
``functoriality'' of functions in type theory SBWCE1BXXJ
| URI | m2://inv/SBWCE1BXXJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/functoriality-of-functions-in-type-theory, ``functoriality'' of functions in type theory (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
SBWD93FPEQ SBWD93FPEQ
| URI | m2://inv/SBWD93FPEQ |
|---|---|
| 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 2501.17009#HE9Z (statement). In PESAKD6SSW/e1, theorem 5.24
History
- 2026-10-27: add by m2/v0.3.6
Jeremy Avigad SBWDS27ATT
| URI | m2://inv/SBWDS27ATT |
|---|---|
| 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 Q15631390, Jeremy Avigad (unknown). Also nLab Jeremy Avigad
- wikipedia: Wikipedia Jeremy Avigad, Jeremy Avigad (topic). Also Wikidata Q15631390
History
- 2026-10-26: add by m2/dev
Constant-rate regime SBWVMQSNZ7
| URI | m2://inv/SBWVMQSNZ7 |
|---|---|
| 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.07370#HHM3, Constant-rate regime (statement). In Q94QXG67CK/e1, theorem VII.3
History
- 2026-10-29: add by m2/v0.4.10
Jump diffusion SBX7P6DNQF
| URI | m2://inv/SBX7P6DNQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jump diffusion, Jump diffusion (definition). Also Wikidata Q6311158
History
- 2026-11-02: add by m2/dev
Lévy SBXAKHYPAY
| URI | m2://inv/SBXAKHYPAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#R1DA, Lévy (definition)
History
- 2026-11-02: add by m2/dev
reducible representation SBXB49QBTW
| URI | m2://inv/SBXB49QBTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111797330, reducible representation (unknown). Also nLab reducible representation
History
- 2026-10-26: add by m2/dev
Method of lines SBXGH0FPZ1
| URI | m2://inv/SBXGH0FPZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#15Q3, Method of lines (definition)
History
- 2026-11-02: add by m2/dev
Men of Mathematics SBXK2K5E4X
| URI | m2://inv/SBXK2K5E4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4992320, Men of Mathematics (unknown). Also ProofWiki Book:Eric_Temple_Bell/Men_of_Mathematics
- wikipedia: Wikipedia Men of Mathematics, Men of Mathematics (definition). Also Wikidata Q4992320
History
- 2026-10-26: add by m2/dev
Bowmar Brain SBXN5QMS8Z
| URI | m2://inv/SBXN5QMS8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculator#9II0, Bowmar Brain (unknown)
History
- 2026-11-02: add by m2/dev
arithmetic sequence SBXRNR9KEB
| URI | m2://inv/SBXRNR9KEB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.2/arithmetic-sequence, arithmetic sequence (concept). In Y91XFCEVHQ, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
SBXVHGZ858 SBXVHGZ858
| URI | m2://inv/SBXVHGZ858 |
|---|---|
| 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 2507.05417#YS8I (statement). In RGHZ863Q26/e1, fact 2.1
History
- 2026-10-27: add by m2/v0.3.5
Concretization SBY1ASYJFA
| URI | m2://inv/SBY1ASYJFA |
|---|---|
| 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.14906#7MNZ, Concretization (statement). In 1F8ENX770M/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Split-octonion SBY1W2HT0C
| URI | m2://inv/SBY1W2HT0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split-octonion, Split-octonion (definition). Also Wikidata Q3348988
History
- 2026-11-02: add by m2/dev
Import tariffs SBY73SBJV0
| URI | m2://inv/SBY73SBJV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#7AYB, Import tariffs (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy–Schwarz inequality SBY9AMYNSF
| URI | m2://inv/SBY9AMYNSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive operator#YGD3, Cauchy–Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
SBYQH0YWDR SBYQH0YWDR
| URI | m2://inv/SBYQH0YWDR |
|---|---|
| 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 2411.01837#3R2H (statement). In 2XBYZ1QP22/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
SBYQQE5XAP SBYQQE5XAP
| URI | m2://inv/SBYQQE5XAP |
|---|---|
| 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.12857#Q9RT (statement). In XJWQ6Y83F8/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
$\mathbb {RP}^2$ SBYWHJHPKM
| URI | m2://inv/SBYWHJHPKM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#example-9, $\mathbb {RP}^2$ (example). In RZP28ERRZV, example, section 97.4
History
- 2026-11-01: add by m2/v0.6.13
Linear algebra theorems SBZ3EH7ZCE
| URI | m2://inv/SBZ3EH7ZCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin matrix#SPKV, Linear algebra theorems (statement)
History
- 2026-11-02: add by m2/dev
Mode effect SBZCFB0T84
| URI | m2://inv/SBZCFB0T84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mode effect, Mode effect (definition). Also Wikidata Q17149836
History
- 2026-11-02: add by m2/dev
cofinite subset SBZFHC4BKB
| URI | m2://inv/SBZFHC4BKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3491998, cofinite subset (definition). Also EoM Cofinite_subset, nLab cofinite subset, ProofWiki Definition:Cofinite_Subset
- wikipedia: Wikipedia Cofiniteness, Cofiniteness (definition). Also Wikidata Q3491998
History
- 2026-10-26: add by m2/dev
Ancillary section spectrum SBZGCM79AW
| URI | m2://inv/SBZGCM79AW |
|---|---|
| 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.09472#T28S, Ancillary section spectrum (statement). In 35925M9GJW/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
SBZM6J1ZRZ SBZM6J1ZRZ
| URI | m2://inv/SBZM6J1ZRZ |
|---|---|
| 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 2609.38118#4S96 (definition). In K4KKTYYKKH/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Encyclopedia of Statistical Sciences SBZQ2824KH
| URI | m2://inv/SBZQ2824KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BEP6, Encyclopedia of Statistical Sciences (definition)
History
- 2026-11-02: add by m2/dev