Inventory rows BG
The cards of the rows of the inventory whose ids start with BG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
side conditions for a PDE BG06QGW1D1
| URI | m2://inv/BG06QGW1D1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.6/side-conditions-for-a-pde, side conditions for a PDE (concept). In E9HS8K3A52, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Applications BG08PVTA0B
| URI | m2://inv/BG08PVTA0B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust principal component analysis#VNTP, Applications (example)
History
- 2026-11-02: add by m2/dev
BG09RVN3B1 BG09RVN3B1
| URI | m2://inv/BG09RVN3B1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-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.05259#CKCV (example). In X1J5HKPS3R/e1, example 1.3
History
- 2026-10-29: add by m2/v0.4.10
BG0BSFNW9M BG0BSFNW9M
| URI | m2://inv/BG0BSFNW9M |
|---|---|
| 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.16785#XSMW (statement). In SXQQZ2MYKV/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
BG0D48PV0N BG0D48PV0N
| URI | m2://inv/BG0D48PV0N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#GY0P (example). In X88HPQ0W8C/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
Mario Bettini BG0FB598JH
| URI | m2://inv/BG0FB598JH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#BG9B, Mario Bettini (unknown)
History
- 2026-11-02: add by m2/dev
Gaṇeśa Daivajna BG0G7DDBSQ
| URI | m2://inv/BG0G7DDBSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#YK13, Gaṇeśa Daivajna (unknown)
History
- 2026-11-02: add by m2/dev
BG0JP7DA64 BG0JP7DA64
| URI | m2://inv/BG0JP7DA64 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Radiosity BG0TMR8N4J
| URI | m2://inv/BG0TMR8N4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radiosity (radiometry), Radiosity (definition). Also Wikidata Q7281315
History
- 2026-11-02: add by m2/dev
BG0WKQD1KY BG0WKQD1KY
| URI | m2://inv/BG0WKQD1KY |
|---|---|
| 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 2610.17863#BGSK (statement). In Y8XQT02BBF/e1, theorem 7.6
History
- 2026-10-28: add by m2/v0.4.2
BG0XHJJBWZ BG0XHJJBWZ
| URI | m2://inv/BG0XHJJBWZ |
|---|---|
| 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.01501#S3TS (statement). In 8Q2PXZDGB5/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.12
BG0ZFZFC1J BG0ZFZFC1J
| URI | m2://inv/BG0ZFZFC1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#U1EK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Identity theorem for Riemann surfaces BG19032RSX
| URI | m2://inv/BG19032RSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5988409, Identity theorem for Riemann surfaces (statement). Also Wikidata Q5988409
- thousand_plus: thousand_plus Q5988409, Identity theorem for Riemann surfaces (statement). Also Wikidata Q5988409, Wikipedia Identity theorem for Riemann surfaces
- wikipedia: Wikipedia Identity theorem for Riemann surfaces, Identity theorem for Riemann surfaces (statement). Also Wikidata Q5988409
History
- 2026-10-26: add by m2/dev
BG1A9CWHRN BG1A9CWHRN
| URI | m2://inv/BG1A9CWHRN |
|---|---|
| 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.22296#TI0U (statement)
History
- 2026-11-02: add by m2/v0.6.17
Compound of twenty octahedra BG1VNMN68X
| URI | m2://inv/BG1VNMN68X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2DOZ, Compound of twenty octahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IWZT, Compound of twenty octahedra (definition)
History
- 2026-11-02: add by m2/dev
BG1X64QHQW BG1X64QHQW
| URI | m2://inv/BG1X64QHQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18377#J8CJ (statement). In KYJJMC50SJ/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Applications BG249DT1JR
| URI | m2://inv/BG249DT1JR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector area#GAN3, Applications (example)
History
- 2026-11-02: add by m2/dev
Mike Titterington BG24J9BXDQ
| URI | m2://inv/BG24J9BXDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mike Titterington, Mike Titterington (topic). Also Wikidata Q102248926
History
- 2026-11-02: add by m2/dev
Multifactor dimensionality reduction BG25P3HMBM
| URI | m2://inv/BG25P3HMBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multifactor dimensionality reduction, Multifactor dimensionality reduction (definition). Also Wikidata Q6934678
History
- 2026-11-02: add by m2/dev
BG2CN20CKA BG2CN20CKA
| URI | m2://inv/BG2CN20CKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#GUJY (statement)
History
- 2026-11-01: add by m2/v0.6.15
A separation principle for physically realizable control laws BG2G9JYQN3
| URI | m2://inv/BG2G9JYQN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle in stochastic control#9NFW, A separation principle for physically realizable control laws (statement)
History
- 2026-11-02: add by m2/dev
Bhargava--Shankar--Tsimerman BG2R2K6HWH
| URI | m2://inv/BG2R2K6HWH |
|---|---|
| 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.33027#EVOP, Bhargava--Shankar--Tsimerman (statement). In E2AF84709B/e1, theorem 8
History
- 2026-10-31: add by m2/v0.5.6
Numerical simulation of fluid-structure interaction BG2VP6DD1Z
| URI | m2://inv/BG2VP6DD1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluid–structure interaction#XT8Y, Numerical simulation of fluid-structure interaction (unknown)
History
- 2026-11-02: add by m2/dev
BG2XF4PKME BG2XF4PKME
| URI | m2://inv/BG2XF4PKME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#AYVL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Anne Penfold Street BG32F3C1MF
| URI | m2://inv/BG32F3C1MF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anne Penfold Street, Anne Penfold Street (topic). Also Wikidata Q29650258
History
- 2026-11-02: add by m2/dev
BG38KBB49E BG38KBB49E
| URI | m2://inv/BG38KBB49E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#RWYF (definition). In 6KR7Z5ETRY/e1, definition 2.38
History
- 2026-10-27: add by m2/v0.3.5
BG3B6F2RVV BG3B6F2RVV
| URI | m2://inv/BG3B6F2RVV |
|---|---|
| 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.20225#OIU8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
BG3EY3AVNC BG3EY3AVNC
| URI | m2://inv/BG3EY3AVNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#LIUU (statement). In 332PQD90SW/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
Anatoly Vershik BG3HV2BXDX
| URI | m2://inv/BG3HV2BXDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#84GA, Anatoly Vershik (topic)
History
- 2026-11-02: add by m2/dev
Nyāya's Criticism of Buddhist Principles BG3Q3781B9
| URI | m2://inv/BG3Q3781B9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyaya#MUA8, Nyāya's Criticism of Buddhist Principles (statement)
History
- 2026-11-02: add by m2/dev
Theorem BG3YJAD4AN
| URI | m2://inv/BG3YJAD4AN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#H5I4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Crime statistics in the United Kingdom BG43BA8SPS
| URI | m2://inv/BG43BA8SPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crime statistics in the United Kingdom, Crime statistics in the United Kingdom (definition). Also Wikidata Q5185444
History
- 2026-11-02: add by m2/dev
BG43VJ4AMB BG43VJ4AMB
| URI | m2://inv/BG43VJ4AMB |
|---|---|
| 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 2111.01197#2LYZ (statement). In Z36XFKVTS0/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
BG4DY9VVVP BG4DY9VVVP
| URI | m2://inv/BG4DY9VVVP |
|---|---|
| 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 2510.23812#L4PV (statement). In D8XZBXJPR5/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Examples BG4FB45NZB
| URI | m2://inv/BG4FB45NZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gorenstein ring#UL3S, Examples (example)
History
- 2026-11-02: add by m2/dev
BG4FHTHNM5 BG4FHTHNM5
| URI | m2://inv/BG4FHTHNM5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-77 (proof). In VNMV985MXX, proof, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
BG4GVFX4KP BG4GVFX4KP
| URI | m2://inv/BG4GVFX4KP |
|---|---|
| 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.18673#7UE6 (statement). In 7ZFD9XRKA1/e1, corollary 4.12
History
- 2026-10-28: add by m2/v0.4.2
BG4NPYG5TQ BG4NPYG5TQ
| URI | m2://inv/BG4NPYG5TQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:hlevel-loops (statement). In N54F33XE07, thm, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
BG4VC7B3C7 BG4VC7B3C7
| URI | m2://inv/BG4VC7B3C7 |
|---|---|
| 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 2211.04758#UR2A (definition). In DRWDJG2G3S/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Full-batch Adam under the present learning-rate assumptions BG4WADC9FP
| URI | m2://inv/BG4WADC9FP |
|---|---|
| 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.11309#Q00T, Full-batch Adam under the present learning-rate assumptions (statement). In TTEAQA1XXR/e1, theorem B.7
History
- 2026-10-28: add by m2/v0.4.3
BG4XG6AC9W BG4XG6AC9W
| URI | m2://inv/BG4XG6AC9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#D38A (statement). In 751KSRS7WT/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
Pseudogroup of partial bijections BG53SFTD33
| URI | m2://inv/BG53SFTD33 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#Z5DF, Pseudogroup of partial bijections (example). In 2QF1YG9DD0/e1, example 2.4
History
- 2026-10-30: add by m2/v0.4.12
BG57RT8EX5 BG57RT8EX5
| URI | m2://inv/BG57RT8EX5 |
|---|---|
| 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.14742#PUPH (statement). In GZYZ9FQHVC/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
BG5A280G34 BG5A280G34
| URI | m2://inv/BG5A280G34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.13213#3X1G (statement). In V97F4YZ8B0/e1, theorem 8.3
History
- 2026-10-28: add by m2/v0.4.2
Peirce's law BG5N0GN979
| URI | m2://inv/BG5N0GN979 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#W0QE, Peirce's law (statement)
History
- 2026-11-02: add by m2/dev
BG5QP0BP6M BG5QP0BP6M
| URI | m2://inv/BG5QP0BP6M |
|---|---|
| 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.12543#8C05 (statement). In 5Y2KARN1YC/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
Polytomous Rasch model BG5XVQ33MK
| URI | m2://inv/BG5XVQ33MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytomous Rasch model, Polytomous Rasch model (definition). Also Wikidata Q7227107
History
- 2026-11-02: add by m2/dev
Cartan's theorem BG5ZXCBTHQ
| URI | m2://inv/BG5ZXCBTHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#WODO, Cartan's theorem (statement)
History
- 2026-11-02: add by m2/dev
BG62FMW72P BG62FMW72P
| URI | m2://inv/BG62FMW72P |
|---|---|
| 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.01433#3JYQ (statement). In 160PQ7F1AS/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
Projection to connected components BG6CDY5CMB
| URI | m2://inv/BG6CDY5CMB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#5D1G, Projection to connected components (example). In 6G1KBA0SXV/e1, example 4.28
History
- 2026-10-31: add by m2/v0.5.6
Frobenius endomorphism BG6DCVDV5F
| URI | m2://inv/BG6DCVDV5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#0QEL, Frobenius endomorphism (definition)
History
- 2026-11-02: add by m2/dev
Weak base change BG6HS7W85R
| URI | m2://inv/BG6HS7W85R |
|---|---|
| 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.26500#MY4S, Weak base change (statement)
History
- 2026-11-01: add by m2/v0.6.15
BG6M82347G BG6M82347G
| URI | m2://inv/BG6M82347G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#K069 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BG6P7PQ2F5 BG6P7PQ2F5
| URI | m2://inv/BG6P7PQ2F5 |
|---|---|
| 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.21298#VUSK (statement). In AXWM2MBYXV/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.4.2
BG719FB5ZG BG719FB5ZG
| URI | m2://inv/BG719FB5ZG |
|---|---|
| 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.40054#NX11 (statement). In CA4C9PFM1E/e1, theorem 4.1.2
History
- 2026-10-30: add by m2/v0.4.12
BG73DAN6FP BG73DAN6FP
| URI | m2://inv/BG73DAN6FP |
|---|---|
| Kind | statement |
| 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.23605#YL3O (statement)
History
- 2026-11-02: add by m2/v0.6.17
Single-tree parallel construction BG7ECHXW5M
| URI | m2://inv/BG7ECHXW5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.12544#5DHH, Single-tree parallel construction (statement). In XXV36V6CK8/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
BG7M6EAJ88 BG7M6EAJ88
| URI | m2://inv/BG7M6EAJ88 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32816#1XYT (definition). In 10YV2P9E8W/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
BG7Q93J990 BG7Q93J990
| URI | m2://inv/BG7Q93J990 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 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.38017#KFUA (statement). In SYFKJC9X5M/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
localization BG88SB0CXX
| URI | m2://inv/BG88SB0CXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#ZR19, localization (definition)
History
- 2026-11-02: add by m2/dev
BG89Z27FTE BG89Z27FTE
| URI | m2://inv/BG89Z27FTE |
|---|---|
| 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 2609.38975#EGCX (example). In D2247CRPPE/e1, example 7
History
- 2026-10-30: add by m2/v0.4.12
BG8CDEK9G5 BG8CDEK9G5
| URI | m2://inv/BG8CDEK9G5 |
|---|---|
| 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 2607.26169#EUY2 (statement). In Q46QV3B0NF/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.3.5
Sex differences in life expectancy BG8E6G96SN
| URI | m2://inv/BG8E6G96SN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Life expectancy#SVN0, Sex differences in life expectancy (unknown)
History
- 2026-11-02: add by m2/dev
Half-life BG8KKPAG78
| URI | m2://inv/BG8KKPAG78 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#ZLIT, Half-life (unknown)
History
- 2026-11-02: add by m2/dev
BG8KM7B3J9 BG8KM7B3J9
| URI | m2://inv/BG8KM7B3J9 |
|---|---|
| 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.38206#45OM (statement). In F71MS1F637/e1, corollary 3.21
History
- 2026-10-30: add by m2/v0.4.12
Incidence geometry BG8MHHNYMG
| URI | m2://inv/BG8MHHNYMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#BJG5, Incidence geometry (definition)
History
- 2026-11-02: add by m2/dev
BG8SGMDT8R BG8SGMDT8R
| URI | m2://inv/BG8SGMDT8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#0LU6 (statement). In AZMX0CY5NE/e1, corollary 11
History
- 2026-10-27: add by m2/v0.4.2
Pascal formula BG92WGP2CP
| URI | m2://inv/BG92WGP2CP |
|---|---|
| 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.36389#UO7B, Pascal formula (statement). In N1S169J2MV/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Eilenberg–Mazur swindle BG94ESQR9P
| URI | m2://inv/BG94ESQR9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Mazur swindle, Eilenberg–Mazur swindle (definition). Also Wikidata Q5349491
History
- 2026-11-02: add by m2/dev
BG979SGA51 BG979SGA51
| URI | m2://inv/BG979SGA51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#U79Y (statement). In 6NVP3YRWVA/e1, proposition 2.24
History
- 2026-10-29: add by m2/v0.4.10
FKG inequality BG9ANQK51E
| URI | m2://inv/BG9ANQK51E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#ACBF, FKG inequality (statement)
History
- 2026-11-02: add by m2/dev
Equivalence of Risks BG9B0BK67Q
| URI | m2://inv/BG9B0BK67Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16518#2EKI, Equivalence of Risks (statement). In SAQBDG4FK1/e1, lemma F.7
History
- 2026-10-28: add by m2/v0.4.2
BG9HY63038 BG9HY63038
| URI | m2://inv/BG9HY63038 |
|---|---|
| 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 1512.06981#42QH (definition). In X923ZEY423/e1, definition 1.5.2
History
- 2026-10-27: add by m2/v0.3.5
BG9Q3S9BHJ BG9Q3S9BHJ
| URI | m2://inv/BG9Q3S9BHJ |
|---|---|
| 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 2010.14428#K6GT (statement). In VTTVY2ZRAN/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Factorial BG9XH9PJTB
| URI | m2://inv/BG9XH9PJTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#6F70, Factorial (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#C79R, Factorial (definition)
History
- 2026-11-02: add by m2/dev
BGA0NXVPDQ BGA0NXVPDQ
| URI | m2://inv/BGA0NXVPDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#5V0F (statement). In X765ZXXVC3/e1, theorem 6.8
History
- 2026-10-29: add by m2/v0.4.12
James Tonascia BGA1T2GK2P
| URI | m2://inv/BGA1T2GK2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Tonascia, James Tonascia (topic). Also Wikidata Q61893996
History
- 2026-11-02: add by m2/dev
BGA2RKV67N BGA2RKV67N
| URI | m2://inv/BGA2RKV67N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#TNDP (statement). In P9D8W64P7X/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
Christian Zeller BGAB4ND8X1
| URI | m2://inv/BGAB4ND8X1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#HQGW, Christian Zeller (topic)
History
- 2026-11-02: add by m2/dev
BGAD635QM0 BGAD635QM0
| URI | m2://inv/BGAD635QM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#WHBU (definition)
History
- 2026-11-01: add by m2/v0.6.15
BGAG67XYK3 BGAG67XYK3
| URI | m2://inv/BGAG67XYK3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
round off error BGANDG59Q5
| URI | m2://inv/BGANDG59Q5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/5.1.2/round-off-error, round off error (concept). In 649HGZKE96, index, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
Poincaré residue map BGAYE03ZMY
| URI | m2://inv/BGAYE03ZMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#OA6D, Poincaré residue map (definition)
History
- 2026-11-02: add by m2/dev
BGBAH3YF32 BGBAH3YF32
| URI | m2://inv/BGBAH3YF32 |
|---|---|
| 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 2102.09374#ANRX (statement). In TGAHH1F8K5/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.6
Affine rounding BGBFFVAAD4
| URI | m2://inv/BGBFFVAAD4 |
|---|---|
| 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#0BNS, Affine rounding (statement). In 9YAE8FNQST/e1, corollary 2.3
History
- 2026-10-30: add by m2/v0.4.12
Fleiss's kappa BGBM61EN90
| URI | m2://inv/BGBM61EN90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fleiss's kappa, Fleiss's kappa (definition). Also Wikidata Q3750591
History
- 2026-11-02: add by m2/dev
chordal BGBPWDWG0Z
| URI | m2://inv/BGBPWDWG0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#R2WO, chordal (definition)
History
- 2026-11-02: add by m2/dev
Stable MLLT for $w$ BGBSP3KETH
| URI | m2://inv/BGBSP3KETH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#NCOY, Stable MLLT for $w$ (statement). In VNN52G3BRE/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Andrea Braides BGC0H3C1AF
| URI | m2://inv/BGC0H3C1AF |
|---|---|
| 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#DFMX, Andrea Braides (topic)
History
- 2026-11-02: add by m2/dev
Axioms BGC0Q4WNQJ
| URI | m2://inv/BGC0Q4WNQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S (set theory)#VLC1, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Khatri–Rao product BGC1FPF0JA
| URI | m2://inv/BGC1FPF0JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khatri–Rao product, Khatri–Rao product (definition). Also Wikidata Q124391195
History
- 2026-11-02: add by m2/dev
BGC1W8MP7K BGC1W8MP7K
| URI | m2://inv/BGC1W8MP7K |
|---|---|
| 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.31242#G038 (statement). In 3NPRR9546C/e1, lemma 2.8
History
- 2026-10-31: add by m2/v0.5.6
BGC81EMMK6 BGC81EMMK6
| URI | m2://inv/BGC81EMMK6 |
|---|---|
| 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.01968#SWTT (statement). In 9QE553Z0J5/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
BGCD74RQKM BGCD74RQKM
| URI | m2://inv/BGCD74RQKM |
|---|---|
| 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.24023#9IQD (statement)
History
- 2026-11-02: add by m2/v0.6.17
BGCE40DVGP BGCE40DVGP
| URI | m2://inv/BGCE40DVGP |
|---|---|
| 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.13888#8G51 (statement). In XJWYBPS14M/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
BGCEP46KNS BGCEP46KNS
| URI | m2://inv/BGCEP46KNS |
|---|---|
| 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.02061#JAS0 (statement). In F5STMSPR6X/e1, proposition A.9
History
- 2026-10-29: add by m2/v0.4.12
Conference Board of the Mathematical Sciences BGCF8H786G
| URI | m2://inv/BGCF8H786G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conference Board of the Mathematical Sciences, Conference Board of the Mathematical Sciences (definition). Also Wikidata Q5159868
History
- 2026-11-02: add by m2/dev
Cardinal and Ordinal Numbers BGCGMT5VXF
| URI | m2://inv/BGCGMT5VXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal and Ordinal Numbers, Cardinal and Ordinal Numbers (definition). Also Wikidata Q102079085
History
- 2026-11-02: add by m2/dev
Corners theorem BGCQH72ETT
| URI | m2://inv/BGCQH72ETT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1O15, Corners theorem (statement)
History
- 2026-11-02: add by m2/dev
logistic equation, with harvesting BGD0B38B8W
| URI | m2://inv/BGD0B38B8W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.6/logistic-equation-with-harvesting, logistic equation, with harvesting (concept). In E9HS8K3A52, index, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
associated Legendre polynomials BGD5E7B3Z0
| URI | m2://inv/BGD5E7B3Z0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Associated Legendre polynomials VPJCSVRY6S |
Mentions
- wikidata: Wikidata Q228376, associated Legendre polynomials (concept). Also MathWorld AssociatedLegendrePolynomial, ProofWiki Associated_Legendre_Function
- wikipedia: Wikipedia Associated Legendre polynomials, Associated Legendre polynomials (definition). Also Wikidata Q228376
History
- 2026-10-26: add by m2/dev
10080 (number) BGD6395JGE
| URI | m2://inv/BGD6395JGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 10,000#SKVV, 10080 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Strict degree-thirteen portfolio gap BGD6548CEM
| URI | m2://inv/BGD6548CEM |
|---|---|
| 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.04027#2WKB, Strict degree-thirteen portfolio gap (statement). In DQB4YR2DFH/e1, theorem 8.4
History
- 2026-10-29: add by m2/v0.4.12
Martin Gardner BGD6EED7TT
| URI | m2://inv/BGD6EED7TT |
|---|---|
| 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 Q677706, Martin Gardner (unknown). Also ProofWiki Mathematician:Martin_Gardner
- wikipedia: Wikipedia Martin Gardner, Martin Gardner (topic). Also Wikidata Q677706
History
- 2026-10-26: add by m2/dev
Ehrhart quasi-polynomial BGD6KB3HEN
| URI | m2://inv/BGD6KB3HEN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrhart polynomial#PRV0, Ehrhart quasi-polynomial (unknown)
History
- 2026-11-02: add by m2/dev
BGDCVGSJVH BGDCVGSJVH
| URI | m2://inv/BGDCVGSJVH |
|---|---|
| Kind | conjecture |
| 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.30098#W6VM (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
BGDJFBNC70 BGDJFBNC70
| URI | m2://inv/BGDJFBNC70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#YU0H (statement). In QX77AN49J0/e1, corollary 5.14
History
- 2026-10-27: add by m2/v0.4.2
Push-forward measure BGDNZRMSZK
| URI | m2://inv/BGDNZRMSZK |
|---|---|
| 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.35466#SWQU, Push-forward measure (definition). In MVR35ZJPCC/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Elliptic surface BGDQ20FZBJ
| URI | m2://inv/BGDQ20FZBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#0BPK, Elliptic surface (definition)
History
- 2026-11-02: add by m2/dev
Sharp calibration complexity BGDVXHK355
| URI | m2://inv/BGDVXHK355 |
|---|---|
| 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.03633#WM5T, Sharp calibration complexity (statement). In X3E4D61X4V/e1, corollary D.4
History
- 2026-10-29: add by m2/v0.4.12
Richard A. Tapia BGDWSFRS5E
| URI | m2://inv/BGDWSFRS5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard A. Tapia, Richard A. Tapia (topic). Also Wikidata Q2148949
History
- 2026-11-02: add by m2/dev
Bolza surface BGEBGB5ZSB
| URI | m2://inv/BGEBGB5ZSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bolza surface, Bolza surface (definition). Also Wikidata Q3505269
History
- 2026-11-02: add by m2/dev
BGEEPFW4HM BGEEPFW4HM
| URI | m2://inv/BGEEPFW4HM |
|---|---|
| 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.20944#E393 (statement). In DRRKZR6CQC/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
Rectangular projection of the matrix continued fraction BGEH1Y6HWQ
| URI | m2://inv/BGEH1Y6HWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#Z9Q9, Rectangular projection of the matrix continued fraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
BGEHCNEGCW BGEHCNEGCW
| URI | m2://inv/BGEHCNEGCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10813#GVM9 (statement). In G8F4P7GDMA/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.3
BGEXQ40ZM6 BGEXQ40ZM6
| URI | m2://inv/BGEXQ40ZM6 |
|---|---|
| Kind | statement |
| 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 2610.17909#NL1Q (statement). In YXZX6Z8S6A/e1, theorem 5.22
History
- 2026-10-28: add by m2/v0.4.2
São Miguel do Passa Quatro BGF0G71AXD
| URI | m2://inv/BGF0G71AXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RGY3, São Miguel do Passa Quatro (unknown)
History
- 2026-11-02: add by m2/dev
Outline of probability BGF4ZHVRC1
| URI | m2://inv/BGF4ZHVRC1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8KR4, Outline of probability (topic)
History
- 2026-11-02: add by m2/dev
Formulas based on Wilson's theorem BGF5DQQH14
| URI | m2://inv/BGF5DQQH14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula for primes#5X5M, Formulas based on Wilson's theorem (statement)
History
- 2026-11-02: add by m2/dev
Erasmus Reinhold BGFAR7S0QR
| URI | m2://inv/BGFAR7S0QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#M80L, Erasmus Reinhold (unknown)
History
- 2026-11-02: add by m2/dev
BGFBW98JYG BGFBW98JYG
| URI | m2://inv/BGFBW98JYG |
|---|---|
| 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#MVRW (statement). In 1WCXV5PVZA/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.0
Additive number theory BGFHHV9Q04
| URI | m2://inv/BGFHHV9Q04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#Q1OU, Additive number theory (definition)
History
- 2026-11-02: add by m2/dev
Atmospheric escape BGFHWRGE19
| URI | m2://inv/BGFHWRGE19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric escape, Atmospheric escape (definition). Also Wikidata Q2568436
History
- 2026-11-02: add by m2/dev
Danzer set BGFM0KD1EY
| URI | m2://inv/BGFM0KD1EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#G1TZ, Danzer set (definition)
History
- 2026-11-02: add by m2/dev
BGFMW6B1EP BGFMW6B1EP
| URI | m2://inv/BGFMW6B1EP |
|---|---|
| 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 2208.06310#7SER (definition). In 9YR0E0T9XA/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Patrick L. Brockett BGFNCVCMMZ
| URI | m2://inv/BGFNCVCMMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#9X9F, Patrick L. Brockett (unknown)
History
- 2026-11-02: add by m2/dev
category of abelian groups BGFV44KVP6
| URI | m2://inv/BGFV44KVP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Category of abelian groups 99ZVSM254K |
Mentions
- wikidata: Wikidata Q1956793, category of abelian groups (definition). Also ProofWiki Definition:Category_of_Abelian_Groups
- wikipedia: Wikipedia Category of abelian groups, Category of abelian groups (definition). Also Wikidata Q1956793
History
- 2026-10-26: add by m2/dev
WHIRLPOOL BGFXZ0E74N
| URI | m2://inv/BGFXZ0E74N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#NIXX, WHIRLPOOL (definition)
History
- 2026-11-02: add by m2/dev
Rational quadratic covariance function BGFZ83GCT8
| URI | m2://inv/BGFZ83GCT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IBFB, Rational quadratic covariance function (definition)
History
- 2026-11-02: add by m2/dev
List of things named after Carl Gustav Jacob Jacobi BGG9E2H4EF
| URI | m2://inv/BGG9E2H4EF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#GOX2, List of things named after Carl Gustav Jacob Jacobi (topic)
History
- 2026-11-02: add by m2/dev
The spectral limit for arbitrary joint references BGGBFN8AJW
| URI | m2://inv/BGGBFN8AJW |
|---|---|
| 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#AQYD, The spectral limit for arbitrary joint references (statement). In 9YAE8FNQST/e1, theorem 20.10
History
- 2026-10-30: add by m2/v0.4.12
icosidigonal number BGGDQ25W93
| URI | m2://inv/BGGDQ25W93 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18451093, icosidigonal number (object). Also OEIS A051874
History
- 2026-10-26: add by m2/dev
Ordinary reduction BGGE391CSV
| URI | m2://inv/BGGE391CSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#XC0E, Ordinary reduction (definition)
History
- 2026-11-02: add by m2/dev
Strings BGGF6C1XS0
| URI | m2://inv/BGGF6C1XS0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#JOHB, Strings (unknown)
History
- 2026-11-02: add by m2/dev
Hélène Esnault BGGG6BHA6S
| URI | m2://inv/BGGG6BHA6S |
|---|---|
| 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#GTD4, Hélène Esnault (topic)
History
- 2026-11-02: add by m2/dev
Schwinger parametrization BGGKMW63WS
| URI | m2://inv/BGGKMW63WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwinger parametrization, Schwinger parametrization (definition). Also Wikidata Q7433294
History
- 2026-11-02: add by m2/dev
BGGNCDD401 BGGNCDD401
| URI | m2://inv/BGGNCDD401 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-6-4-2.xml#act-6-4-2 (exercise). In 907G4C4EJ1, activity, section 6.4.3
History
- 2026-11-01: add by m2/v0.6.13
homotopy group BGGRGMEQGR
| URI | m2://inv/BGGRGMEQGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#BITT, homotopy group (definition)
History
- 2026-11-02: add by m2/dev
BGGVA9C611 BGGVA9C611
| URI | m2://inv/BGGVA9C611 |
|---|---|
| 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.14985#JJX6 (statement). In DGXJW3SCBR/e1, lemma 44
History
- 2026-10-28: add by m2/v0.4.2
BGGX93ZDFX BGGX93ZDFX
| URI | m2://inv/BGGX93ZDFX |
|---|---|
| Kind | example |
| 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 2312.14319#X0A8 (example). In V0S2EZ53GB/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
BGH2RQVYGQ BGH2RQVYGQ
| URI | m2://inv/BGH2RQVYGQ |
|---|---|
| Kind | example |
| 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.01802#8SKU (example). In XGPZ0G9E1Q/e1, example 6.10
History
- 2026-10-29: add by m2/v0.4.12
BGH3HYCGJ6 BGH3HYCGJ6
| URI | m2://inv/BGH3HYCGJ6 |
|---|---|
| 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.22344#8NZY (statement)
History
- 2026-11-02: add by m2/v0.6.17
BGH8K49QYY BGH8K49QYY
| URI | m2://inv/BGH8K49QYY |
|---|---|
| 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.29531#TXIA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Holstein–Primakoff transformation BGHEE98W7A
| URI | m2://inv/BGHEE98W7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holstein–Primakoff transformation, Holstein–Primakoff transformation (definition). Also Wikidata Q1625120
History
- 2026-11-02: add by m2/dev
Joint Central Limit Theorem BGHRKD7FP1
| URI | m2://inv/BGHRKD7FP1 |
|---|---|
| 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.13884#1OS3, Joint Central Limit Theorem (statement). In N2NQ3QJYTW/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
Littlewood–Richardson rule BGJ1VSW7AG
| URI | m2://inv/BGJ1VSW7AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#M20D, Littlewood–Richardson rule (definition)
History
- 2026-11-02: add by m2/dev
Parry–Daniels map BGJ9PW1BJH
| URI | m2://inv/BGJ9PW1BJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parry–Daniels map, Parry–Daniels map (definition). Also Wikidata Q7139902
History
- 2026-11-02: add by m2/dev
Parabolic geometry BGJMTECWAP
| URI | m2://inv/BGJMTECWAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#KSRC, Parabolic geometry (definition)
History
- 2026-11-02: add by m2/dev
Norwegian Statistical Association BGJN2CJE7F
| URI | m2://inv/BGJN2CJE7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norwegian Statistical Association, Norwegian Statistical Association (definition). Also Wikidata Q11992528
History
- 2026-11-02: add by m2/dev
BGJSWJPY8P BGJSWJPY8P
| URI | m2://inv/BGJSWJPY8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#LC1L (statement). In CBF6TQS4DW/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Vaught conjecture BGJY4RCT9K
| URI | m2://inv/BGJY4RCT9K |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6V06, Vaught conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
BGJYXNZ58K BGJYXNZ58K
| URI | m2://inv/BGJYXNZ58K |
|---|---|
| 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 1004.4564#41T3 (statement). In BZ54C9SKYS/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Johann Schröder BGK3Y31QHM
| URI | m2://inv/BGK3Y31QHM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Schröder (mathematician), Johann Schröder (topic). Also Wikidata Q1696161
History
- 2026-11-02: add by m2/dev
Myers-Steenrod theorem BGK40NSB3P
| URI | m2://inv/BGK40NSB3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#YJJ3, Myers-Steenrod theorem (statement)
History
- 2026-11-02: add by m2/dev
Nonlinear Schrödinger equation BGK496H2M9
| URI | m2://inv/BGK496H2M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#FIZF, Nonlinear Schrödinger equation (definition)
History
- 2026-11-02: add by m2/dev
Ω-consistent theory BGKGX2TACF
| URI | m2://inv/BGKGX2TACF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-consistent theory, Ω-consistent theory (definition). Also Wikidata Q293137
History
- 2026-11-02: add by m2/dev
BGKRW9VHN6 BGKRW9VHN6
| URI | m2://inv/BGKRW9VHN6 |
|---|---|
| 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#1UIK (statement). In XJWQ6Y83F8/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
Paul Frederick Zweifel BGM35QZM6E
| URI | m2://inv/BGM35QZM6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Frederick Zweifel, Paul Frederick Zweifel (topic). Also Wikidata Q102115460
History
- 2026-11-02: add by m2/dev
Definition BGM3AJ85KC
| URI | m2://inv/BGM3AJ85KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nu-transform#1CI2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement BGM90NMP2G
| URI | m2://inv/BGM90NMP2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holevo's theorem#RGJC, Statement (statement)
History
- 2026-11-02: add by m2/dev
transport of structure BGM9RAZ5XE
| URI | m2://inv/BGM9RAZ5XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#NITK, transport of structure (definition)
History
- 2026-11-02: add by m2/dev
Morphic number BGMG5ZYPCD
| URI | m2://inv/BGMG5ZYPCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and art#10RV, Morphic number (unknown)
History
- 2026-11-02: add by m2/dev
BGMHYKATG1 BGMHYKATG1
| URI | m2://inv/BGMHYKATG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#JPRA (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
SAMV algorithm BGN075N4RW
| URI | m2://inv/BGN075N4RW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SAMV (algorithm)#ZJ4K, SAMV algorithm (definition)
History
- 2026-11-02: add by m2/dev
BGN16ZBXYK BGN16ZBXYK
| URI | m2://inv/BGN16ZBXYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#IESI (statement). In S26QVW5613/e1, proposition 3.7.2
History
- 2026-10-30: add by m2/v0.4.12
Dependent and independent variables BGN1XV479Q
| URI | m2://inv/BGN1XV479Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AGLV, Dependent and independent variables (definition)
History
- 2026-11-02: add by m2/dev
Examples BGN9HY75AY
| URI | m2://inv/BGN9HY75AY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microlife#C42I, Examples (example)
History
- 2026-11-02: add by m2/dev
BGNANMWWVT BGNANMWWVT
| URI | m2://inv/BGNANMWWVT |
|---|---|
| Kind | statement |
| 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 2610.17909#UNRS (statement). In YXZX6Z8S6A/e1, corollary B.2
History
- 2026-10-28: add by m2/v0.4.2
BGNBJZ1VKW BGNBJZ1VKW
| URI | m2://inv/BGNBJZ1VKW |
|---|---|
| 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.20421#KPGW (statement). In Q4R7J8JE3F/e1, theorem 2.28
History
- 2026-10-27: add by m2/v0.4.2
BGNFF7RJA4 BGNFF7RJA4
| URI | m2://inv/BGNFF7RJA4 |
|---|---|
| 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 2610.04895#7CAO (statement). In A7M06ZVYA8/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
BGNHHNB66Y BGNHHNB66Y
| URI | m2://inv/BGNHHNB66Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05396#6I32 (statement). In WMVRX5GV9P/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
Nonstandard analysis BGNHYJFZM9
| URI | m2://inv/BGNHYJFZM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#XDTL, Nonstandard analysis (definition)
History
- 2026-11-02: add by m2/dev
Rao, C.R. BGNQVRJ8C4
| URI | m2://inv/BGNQVRJ8C4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#12U3, Rao, C.R. (topic)
History
- 2026-11-02: add by m2/dev
Mathematics Anxiety Rating Scale BGNWH6B7CN
| URI | m2://inv/BGNWH6B7CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics Anxiety Rating Scale, Mathematics Anxiety Rating Scale (definition). Also Wikidata Q141657599
History
- 2026-11-02: add by m2/dev
BGP5X805E4 BGP5X805E4
| URI | m2://inv/BGP5X805E4 |
|---|---|
| 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.18673#10RH (statement). In 7ZFD9XRKA1/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
BGPD15NN6D BGPD15NN6D
| URI | m2://inv/BGPD15NN6D |
|---|---|
| Kind | problem |
| 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.35858#Y5FS (problem). In R2K4HZN8RW/e1, problem 6.3
History
- 2026-10-30: add by m2/v0.4.12
Paradox of the plankton BGPE4MQ79V
| URI | m2://inv/BGPE4MQ79V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kill the Winner hypothesis#S6EB, Paradox of the plankton (statement)
History
- 2026-11-02: add by m2/dev
BGPP1ZFW5J BGPP1ZFW5J
| URI | m2://inv/BGPP1ZFW5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#6F2P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexei Poltoratski BGPPEE7V8M
| URI | m2://inv/BGPPEE7V8M |
|---|---|
| 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#EW8V, Alexei Poltoratski (unknown)
History
- 2026-11-02: add by m2/dev
Gowers norm BGPQFVHAEM
| URI | m2://inv/BGPQFVHAEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gowers norm, Gowers norm (definition). Also Wikidata Q5590057
History
- 2026-11-02: add by m2/dev
BGPR5H2ST8 BGPR5H2ST8
| URI | m2://inv/BGPR5H2ST8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#BNPU (statement). In X2AEJAQEP8/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
BGPYYQ12ZR BGPYYQ12ZR
| URI | m2://inv/BGPYYQ12ZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#thm:comp of inverses (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
BGQ32AE7S4 BGQ32AE7S4
| URI | m2://inv/BGQ32AE7S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.16055#MPT8 (statement). In 389BW42CTK/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
BGQXB449BD BGQXB449BD
| URI | m2://inv/BGQXB449BD |
|---|---|
| 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.11210#C396 (statement). In CRFDGFZHBF/e1, lemma 9.11
History
- 2026-10-28: add by m2/v0.4.3
BGR3QXKKBA BGR3QXKKBA
| URI | m2://inv/BGR3QXKKBA |
|---|---|
| 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.35213#HN0W (statement). In T5KCTZ3H08/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Higher-order Fej\'er identity BGR7QM847X
| URI | m2://inv/BGR7QM847X |
|---|---|
| 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.12853#ELUV, Higher-order Fej\'er identity (statement). In GAX7MSHJE0/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
BGRZG2ZSZG BGRZG2ZSZG
| URI | m2://inv/BGRZG2ZSZG |
|---|---|
| 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.33015#08N3 (statement). In W6Y6NPK648/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.3.5
go BGSA5RAYG8
| URI | m2://inv/BGSA5RAYG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11413, go (unknown). Also MathWorld Go
History
- 2026-10-26: add by m2/dev
Administrative divisions of Nauru BGSBTA316A
| URI | m2://inv/BGSBTA316A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nauru#QD0M, Administrative divisions of Nauru (unknown)
History
- 2026-11-02: add by m2/dev
Wallis sieve BGSD28S7FP
| URI | m2://inv/BGSD28S7FP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124216700, Wallis sieve (unknown). Also MathWorld WallisSieve
History
- 2026-10-26: add by m2/dev
Gyroid BGSEC3DMEM
| URI | m2://inv/BGSEC3DMEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YWM3, Gyroid (definition)
- wikipedia: Wikipedia List of surfaces#I2RH, Gyroid (definition)
History
- 2026-11-02: add by m2/dev
Properties BGSFDHDY0N
| URI | m2://inv/BGSFDHDY0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclohedron#D9U4, Properties (statement)
History
- 2026-11-02: add by m2/dev
BGSFE064EG BGSFE064EG
| URI | m2://inv/BGSFE064EG |
|---|---|
| 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.23873#BQ16 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Formulation BGSR4TN94H
| URI | m2://inv/BGSR4TN94H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#UN4G, Formulation (definition)
History
- 2026-11-02: add by m2/dev
BGSRHRZ8GC BGSRHRZ8GC
| URI | m2://inv/BGSRHRZ8GC |
|---|---|
| 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.15982#CSCT (statement). In KB50SHR229/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Lemma 10.2, , Proposition 1.23 BGSRYF48BX
| URI | m2://inv/BGSRYF48BX |
|---|---|
| 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.39675#0HMC, Lemma 10.2, , Proposition 1.23 (statement). In VM16G3PPH3/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Specialization (pre)order BGSXD3THPT
| URI | m2://inv/BGSXD3THPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#4RCN, Specialization (pre)order (definition)
- wikipedia: Wikipedia List of general topology topics#SPB5, Specialization (pre)order (definition)
- wikipedia: Wikipedia List of topologies#WUOJ, Specialization (pre)order (definition)
History
- 2026-11-02: add by m2/dev
marginal probability BGSYXTGRKM
| URI | m2://inv/BGSYXTGRKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#4K0Y, marginal probability (definition)
History
- 2026-11-02: add by m2/dev
BGSYYNV995 BGSYYNV995
| URI | m2://inv/BGSYYNV995 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.12054#FJZ5 (statement). In 1A01NFHBGA/e1, proposition 1.6
History
- 2026-10-28: add by m2/v0.4.3
Properties of the single layer potential BGT277WM6N
| URI | m2://inv/BGT277WM6N |
|---|---|
| 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 2211.13105#4HBB, Properties of the single layer potential (statement). In 5ACPY6CEDV/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Jets and their stability BGT3C9Z3C7
| URI | m2://inv/BGT3C9Z3C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#53CY, Jets and their stability (statement). In NKXTXH59P1/e1, lemma F.3
History
- 2026-10-29: add by m2/v0.4.10
Applications BGT5M25BPK
| URI | m2://inv/BGT5M25BPK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Softmax function#2FA9, Applications (example)
History
- 2026-11-02: add by m2/dev
BGT7YGSGAT BGT7YGSGAT
| URI | m2://inv/BGT7YGSGAT |
|---|---|
| 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 2402.05268#NBTL (statement). In MQZC12P7SA/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
omega constant BGT91H1HZQ
| URI | m2://inv/BGT91H1HZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2291098, omega constant (object). Also MathWorld OmegaConstant, OEIS A030178
- wikipedia: Wikipedia Omega constant, Omega constant (definition). Also Wikidata Q2291098
History
- 2026-10-26: add by m2/dev
BGT9MSMAMY BGT9MSMAMY
| URI | m2://inv/BGT9MSMAMY |
|---|---|
| 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 2210.16706#MGL5 (statement). In JSRVKPT87E/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Inequality BGTECGP70V
| URI | m2://inv/BGTECGP70V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan–Lusztig polynomial#M0BW, Inequality (statement)
History
- 2026-11-02: add by m2/dev
PM BGTJ3T8SZB
| URI | m2://inv/BGTJ3T8SZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VDFN, PM (definition)
History
- 2026-11-02: add by m2/dev
Theorem BGTJ9YMW3R
| URI | m2://inv/BGTJ9YMW3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#39BP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Electrostatic field BGTNK5AAAJ
| URI | m2://inv/BGTNK5AAAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric field#JY7Z, Electrostatic field (unknown)
History
- 2026-11-02: add by m2/dev
Examples BGTP2NYW0X
| URI | m2://inv/BGTP2NYW0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has the flag dubious (WP9.2)) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#7KXE, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Rigidity of dense-mixture optimality BGTRXBBT79
| URI | m2://inv/BGTRXBBT79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#6OYS, Rigidity of dense-mixture optimality (statement)
History
- 2026-11-01: add by m2/v0.6.15
prolate epicycloid BGTSPSBEMS
| URI | m2://inv/BGTSPSBEMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78154039, prolate epicycloid (unknown). Also MathWorld ProlateEpicycloid
History
- 2026-10-26: add by m2/dev
James Thomas Beale BGTXXMHQQG
| URI | m2://inv/BGTXXMHQQG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Thomas Beale, James Thomas Beale (topic). Also Wikidata Q102194761
History
- 2026-11-02: add by m2/dev
Adjunction space BGV00QD1M8
| URI | m2://inv/BGV00QD1M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjunction space, Adjunction space (definition). Also Wikidata Q4683190
History
- 2026-11-02: add by m2/dev
Topological space BGV0230GN1
| URI | m2://inv/BGV0230GN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#TGPE, Topological space (definition)
- wikipedia: Wikipedia List of general topology topics#MS15, Topological space (definition)
History
- 2026-11-02: add by m2/dev
Wolfram Language BGV5B0A5GE
| URI | m2://inv/BGV5B0A5GE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#I0U4, Wolfram Language (unknown)
History
- 2026-11-02: add by m2/dev
BGV6MZYV2S BGV6MZYV2S
| URI | m2://inv/BGV6MZYV2S |
|---|---|
| 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.20391#YLMR (statement). In CTAS41TRM2/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
Examples BGV7AM9WMX
| URI | m2://inv/BGV7AM9WMX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler substitution#GO79, Examples (example)
History
- 2026-11-02: add by m2/dev
Camp Three, Montana BGVA0E8D2A
| URI | m2://inv/BGVA0E8D2A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#948K, Camp Three, Montana (unknown)
History
- 2026-11-02: add by m2/dev
Linear-size refinement witness BGVENNH0VV
| URI | m2://inv/BGVENNH0VV |
|---|---|
| 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#5O61, Linear-size refinement witness (statement). In 9YAE8FNQST/e1, theorem 30.12
History
- 2026-10-30: add by m2/v0.4.12
BGVPZFPZ83 BGVPZFPZ83
| URI | m2://inv/BGVPZFPZ83 |
|---|---|
| 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.08599#N98B (statement). In DST9FWMHT6/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
Examples BGW869RGVC
| URI | m2://inv/BGW869RGVC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic subgroup#MT55, Examples (example)
History
- 2026-11-02: add by m2/dev
Cut-elimination BGWBH108QV
| URI | m2://inv/BGWBH108QV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#3MRL, Cut-elimination (statement)
History
- 2026-11-02: add by m2/dev
BGWE6N1WP7 BGWE6N1WP7
| URI | m2://inv/BGWE6N1WP7 |
|---|---|
| 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.24578#NG7R (statement)
History
- 2026-11-01: add by m2/v0.6.15
quasi-compact BGWQSR2GTP
| URI | m2://inv/BGWQSR2GTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#D9A6, quasi-compact (definition)
History
- 2026-11-02: add by m2/dev
BGWRW83FN8 BGWRW83FN8
| URI | m2://inv/BGWRW83FN8 |
|---|---|
| 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.10221#PWOD (statement). In 9Z5M655EPV/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
BGWT9GZ4VB BGWT9GZ4VB
| URI | m2://inv/BGWT9GZ4VB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#QEFV (statement)
History
- 2026-11-01: add by m2/v0.6.15
BGXGAW7TNC BGXGAW7TNC
| URI | m2://inv/BGXGAW7TNC |
|---|---|
| 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 2609.35180#08G3 (statement). In ZA34B1CR9M/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
BGXKRQBAE8 BGXKRQBAE8
| URI | m2://inv/BGXKRQBAE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#prop:subset-class (statement). In PKGMM3P5QY, prop, section 54.4
History
- 2026-11-01: add by m2/v0.6.13
BGXKS40WC1 BGXKS40WC1
| URI | m2://inv/BGXKS40WC1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-5-units.xml#Ex-1-5-1-central-difference (example). In 907G4C4EJ1, example, section 1.5.3
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem BGXY6P047D
| URI | m2://inv/BGXY6P047D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon–Hartley theorem#BZKV, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Area of a trapezoid BGY21F6EGF
| URI | m2://inv/BGY21F6EGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid#5UHO, Area of a trapezoid (unknown)
History
- 2026-11-02: add by m2/dev
Statement BGY4Z0VRAQ
| URI | m2://inv/BGY4Z0VRAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quintuple product identity#NBJ2, Statement (statement)
History
- 2026-11-02: add by m2/dev
Variations BGYD3GF9YP
| URI | m2://inv/BGYD3GF9YP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rytz's construction#JFXY, Variations (statement)
History
- 2026-11-02: add by m2/dev
BGYH2974ST BGYH2974ST
| URI | m2://inv/BGYH2974ST |
|---|---|
| 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 2410.10337#VKMD (statement). In RBBF0XNZ5E/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
BGYH89Y7TT BGYH89Y7TT
| URI | m2://inv/BGYH89Y7TT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 27.9
History
- 2026-11-01: add by m2/v0.6.13
Gregory G. Rose BGYJD27JFH
| URI | m2://inv/BGYJD27JFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregory G. Rose, Gregory G. Rose (topic). Also Wikidata Q5606925
History
- 2026-11-02: add by m2/dev
Shifted stutters BGYSVAHHK8
| URI | m2://inv/BGYSVAHHK8 |
|---|---|
| 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.01240#I0WW, Shifted stutters (statement). In XD5HCP8DHF/e1, lemma 25
History
- 2026-10-29: add by m2/v0.4.12
Definition BGYW2QDB3V
| URI | m2://inv/BGYW2QDB3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple point process#ZQD1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wasserstein-1 convergence of the density waterfall BGYZX5YY5S
| URI | m2://inv/BGYZX5YY5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01050#T8YT, Wasserstein-1 convergence of the density waterfall (statement). In 48NN33SAH7/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
Arnold BGZ5KN5C4W
| URI | m2://inv/BGZ5KN5C4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#R6C6, Arnold (definition)
History
- 2026-11-02: add by m2/dev
Expected error from rejected trials BGZ7C9JMNF
| URI | m2://inv/BGZ7C9JMNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#E2AO, Expected error from rejected trials (statement). In X1FPG0KYBM/e1, proposition S.3
History
- 2026-10-28: add by m2/v0.4.2
Variants BGZAP2T01B
| URI | m2://inv/BGZAP2T01B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedberg–Muchnik theorem#WSQV, Variants (statement)
History
- 2026-11-02: add by m2/dev
PER $\Nf$ --- Normal Forms BGZDCATS9C
| URI | m2://inv/BGZDCATS9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#62DE, PER $\Nf$ --- Normal Forms (definition). In CPYWHRTPKC/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.2
BGZGSBVCAP BGZGSBVCAP
| URI | m2://inv/BGZGSBVCAP |
|---|---|
| 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.02642#JCCZ (statement). In VMWV58VWKN/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
BGZHCTA50Z BGZHCTA50Z
| URI | m2://inv/BGZHCTA50Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.11778#A0QL (statement). In PPAJZ2JBCE/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Georg Limnaeus BGZPC543E1
| URI | m2://inv/BGZPC543E1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Limnaeus, Georg Limnaeus (topic). Also Wikidata Q20180473
History
- 2026-11-02: add by m2/dev
Giovanni Felder BGZRBRZVNG
| URI | m2://inv/BGZRBRZVNG |
|---|---|
| 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#P1N9, Giovanni Felder (topic)
History
- 2026-11-02: add by m2/dev