Inventory rows BA
The cards of the rows of the inventory whose ids start with BA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Regions of England BA04NVFRTB
| URI | m2://inv/BA04NVFRTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regions of England, Regions of England (definition). Also Wikidata Q48091
History
- 2026-11-02: add by m2/dev
Richardson's theorem BA04Y9J4P0
| URI | m2://inv/BA04Y9J4P0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9FR0, Richardson's theorem (statement)
History
- 2026-11-02: add by m2/dev
BA073RD0TC BA073RD0TC
| URI | m2://inv/BA073RD0TC |
|---|---|
| Kind | conjecture |
| 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 1709.00677#PT6U (conjecture). In G83TVA8HYR/e1, conjecture 1.2
History
- 2026-10-27: add by m2/v0.3.5
Fractal canopy BA0802ATK1
| URI | m2://inv/BA0802ATK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal canopy, Fractal canopy (definition). Also Wikidata Q5477481
History
- 2026-11-02: add by m2/dev
Example BA09MHWWXD
| URI | m2://inv/BA09MHWWXD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Makespan#Z8CF, Example (example)
History
- 2026-11-02: add by m2/dev
BA0CBBSCQ5 BA0CBBSCQ5
| URI | m2://inv/BA0CBBSCQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#3U8J (statement). In 9JZJTRRVR1/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Magnetic reconnection BA0JD2HD10
| URI | m2://inv/BA0JD2HD10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic reconnection, Magnetic reconnection (definition). Also Wikidata Q287506
History
- 2026-11-02: add by m2/dev
BA0T6AB7GJ BA0T6AB7GJ
| URI | m2://inv/BA0T6AB7GJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-15 (example). In RZP28ERRZV, example, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
BA0X2AJ4RV BA0X2AJ4RV
| URI | m2://inv/BA0X2AJ4RV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#H4H1 (statement). In FQ5435B36D/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Self-supervised learning BA17V9W61P
| URI | m2://inv/BA17V9W61P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-supervised learning, Self-supervised learning (definition). Also Wikidata Q77562367
History
- 2026-11-02: add by m2/dev
Jacobi polynomials BA18FYK4N4
| URI | m2://inv/BA18FYK4N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#4DPO, Jacobi polynomials (definition)
History
- 2026-11-02: add by m2/dev
BA1MC0PJYP BA1MC0PJYP
| URI | m2://inv/BA1MC0PJYP |
|---|---|
| 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.27393#5VA7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions BA1QKGJZEG
| URI | m2://inv/BA1QKGJZEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural-neighbor interpolation#1Y9A, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Transverse barred derivative BA1Z57HM6B
| URI | m2://inv/BA1Z57HM6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#7YZ8, Transverse barred derivative (statement)
History
- 2026-11-01: add by m2/v0.6.15
BA20QCKN13 BA20QCKN13
| URI | m2://inv/BA20QCKN13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20568#QSTX (statement)
History
- 2026-11-02: add by m2/v0.6.18
BA25Q56V9A BA25Q56V9A
| URI | m2://inv/BA25Q56V9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20994#SXUX (statement). In E90KYMVZMR/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.4.2
ethereal cardinal BA2FS14544
| URI | m2://inv/BA2FS14544 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#13M6, ethereal cardinal (definition)
History
- 2026-11-02: add by m2/dev
Applications BA2K3DCW02
| URI | m2://inv/BA2K3DCW02 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blichfeldt's theorem#MRI9, Applications (example)
History
- 2026-11-02: add by m2/dev
BA2NF7PN00 BA2NF7PN00
| URI | m2://inv/BA2NF7PN00 |
|---|---|
| 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 2608.24190#DFMY (definition). In DW7FVA587C/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
BA2Q704GJT BA2Q704GJT
| URI | m2://inv/BA2Q704GJT |
|---|---|
| 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 2609.21900#WZP5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lonely runner conjecture BA2QSDYNMA
| URI | m2://inv/BA2QSDYNMA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#Y7LW, Lonely runner conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
BA2SQ0Y8YJ BA2SQ0Y8YJ
| URI | m2://inv/BA2SQ0Y8YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19945#1DC8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
BA2T0XEPS0 BA2T0XEPS0
| URI | m2://inv/BA2T0XEPS0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00752#IGUG (definition). In GGW2N4JHXM/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Ethical problems using children in clinical trials BA2XRMPP0Q
| URI | m2://inv/BA2XRMPP0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CWKJ, Ethical problems using children in clinical trials (definition)
History
- 2026-11-02: add by m2/dev
BA2Z017NNE BA2Z017NNE
| URI | m2://inv/BA2Z017NNE |
|---|---|
| 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 2609.30274#B0FJ (definition). In 6ASPPVJP5M/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
1973 (number) BA2Z9C72XM
| URI | m2://inv/BA2Z9C72XM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#UABK, 1973 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Bernard Julia BA329767M3
| URI | m2://inv/BA329767M3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q822505, Bernard Julia (unknown). Also nLab Bernard Julia
History
- 2026-10-26: add by m2/dev
Definitions BA35FF9DCH
| URI | m2://inv/BA35FF9DCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annihilator (ring theory)#GSG3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Definitions BA3HJRAAP1
| URI | m2://inv/BA3HJRAAP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical maturity#LVVM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Space allocation problem BA3SJZYE3C
| URI | m2://inv/BA3SJZYE3C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#UBBX, Space allocation problem (unknown)
History
- 2026-11-02: add by m2/dev
BA3WX4HQQP BA3WX4HQQP
| URI | m2://inv/BA3WX4HQQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16294#YC3K (statement). In N7HRE31BBH/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Pedro Salomão BA3XFHR6NC
| URI | m2://inv/BA3XFHR6NC |
|---|---|
| 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#VGT3, Pedro Salomão (unknown)
History
- 2026-11-02: add by m2/dev
z-test BA3XSATT65
| URI | m2://inv/BA3XSATT65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#SMZU, z-test (definition)
History
- 2026-11-02: add by m2/dev
BA43PX834G BA43PX834G
| URI | m2://inv/BA43PX834G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#08OB (definition). In PEXJPV3NP8/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Fixed-total-degree periodic groups BA43TAPHDY
| URI | m2://inv/BA43TAPHDY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#PDB1, Fixed-total-degree periodic groups (definition). In CSRZ9CWK69/e1, definition 8.3
History
- 2026-10-29: add by m2/v0.4.12
Example BA44H0KQ4B
| URI | m2://inv/BA44H0KQ4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte embedding#EJLC, Example (example)
History
- 2026-11-02: add by m2/dev
BA4FHBVK2D BA4FHBVK2D
| URI | m2://inv/BA4FHBVK2D |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32065#3AXT (conjecture). In 6Z9JQP3204/e1, conjecture 2.1
History
- 2026-10-31: add by m2/v0.5.6
mathematics, classical BA4FSKNVD3
| URI | m2://inv/BA4FSKNVD3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Properties BA4T9WB7CV
| URI | m2://inv/BA4T9WB7CV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting subgroup#YPLV, Properties (statement)
History
- 2026-11-02: add by m2/dev
One-bit probit conditional likelihood BA4W1ZHTNK
| URI | m2://inv/BA4W1ZHTNK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11834#5E7H, One-bit probit conditional likelihood (definition). In SMC03CWP4R/e1, definition 6
History
- 2026-10-28: add by m2/v0.4.3
Subgaussian deviation bound BA4Y2ANFEP
| URI | m2://inv/BA4Y2ANFEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#E85W, Subgaussian deviation bound (statement)
History
- 2026-11-02: add by m2/dev
Stable symTO BA4ZF3SPEK
| URI | m2://inv/BA4ZF3SPEK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08787#10J3, Stable symTO (definition). In CCQ5XXWYDZ/e1, definition V.1
History
- 2026-10-29: add by m2/v0.4.10
Properties BA50YPAR87
| URI | m2://inv/BA50YPAR87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary Golay code#AZES, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lesley Sibner BA522WQBR9
| URI | m2://inv/BA522WQBR9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lesley Sibner, Lesley Sibner (topic). Also Wikidata Q1285477
History
- 2026-11-02: add by m2/dev
Andrei Okounkov BA530HSJ1V
| URI | m2://inv/BA530HSJ1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8CC0, Andrei Okounkov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E91J, Andrei Okounkov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S31P, Andrei Okounkov (topic)
History
- 2026-11-02: add by m2/dev
BA538K3B0Z BA538K3B0Z
| URI | m2://inv/BA538K3B0Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-77 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
Multigrid method BA55H5QPVD
| URI | m2://inv/BA55H5QPVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#H5Z0, Multigrid method (definition)
History
- 2026-11-02: add by m2/dev
Georg Bohlmann BA5ABJFNXP
| URI | m2://inv/BA5ABJFNXP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Bohlmann, Georg Bohlmann (topic). Also Wikidata Q126240
History
- 2026-11-02: add by m2/dev
BA5BZJQ63Z BA5BZJQ63Z
| URI | m2://inv/BA5BZJQ63Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#VVL8 (statement). In JW8HH6EPG2/e1, lemma 4.23
History
- 2026-10-29: add by m2/v0.4.10
Maximum cut BA5DYD0XSF
| URI | m2://inv/BA5DYD0XSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum cut, Maximum cut (definition). Also Wikidata Q942557
History
- 2026-11-02: add by m2/dev
Linear automorphism BA5MR778JF
| URI | m2://inv/BA5MR778JF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear map#S3WU, Linear automorphism (unknown)
History
- 2026-11-02: add by m2/dev
conversion BA5SHKJPN1
| URI | m2://inv/BA5SHKJPN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Y8B6, conversion (definition)
History
- 2026-11-02: add by m2/dev
\coqident{isaprop_rel_universe_structure BA5WWT02BF
| URI | m2://inv/BA5WWT02BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#Z4N4, \coqident{isaprop_rel_universe_structure (statement). In MG51GG0QZN/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
BA5YJQ0NG6 BA5YJQ0NG6
| URI | m2://inv/BA5YJQ0NG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#IQ7E (statement)
History
- 2026-11-01: add by m2/v0.6.15
spherical area coordinates BA60077XJX
| URI | m2://inv/BA60077XJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#COGW, spherical area coordinates (definition)
History
- 2026-11-02: add by m2/dev
Special cases BA61889CT8
| URI | m2://inv/BA61889CT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan surface#IM2O, Special cases (statement)
History
- 2026-11-02: add by m2/dev
LZ78 is universal and entropic BA62AM6YQH
| URI | m2://inv/BA62AM6YQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LZ77 and LZ78#SN8E, LZ78 is universal and entropic (statement)
History
- 2026-11-02: add by m2/dev
biggest little hexagon BA653H13BX
| URI | m2://inv/BA653H13BX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26002011, biggest little hexagon (unknown). Also MathWorld GrahamsBiggestLittleHexagon
History
- 2026-10-26: add by m2/dev
Generalized p-value BA690EW5KR
| URI | m2://inv/BA690EW5KR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3KXQ, Generalized p-value (definition)
History
- 2026-11-02: add by m2/dev
BA6DDHGMZ8 BA6DDHGMZ8
| URI | m2://inv/BA6DDHGMZ8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-6 (proof). In RZP28ERRZV, proof, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
Journal of Mathematical Psychology BA6DSF7JAH
| URI | m2://inv/BA6DSF7JAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Mathematical Psychology, Journal of Mathematical Psychology (definition). Also Wikidata Q6295503
History
- 2026-11-02: add by m2/dev
BA6MG3B5W8 BA6MG3B5W8
| URI | m2://inv/BA6MG3B5W8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#EGUX (statement)
History
- 2026-11-01: add by m2/v0.6.15
BA6NW601Y2 BA6NW601Y2
| URI | m2://inv/BA6NW601Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2211.04407#OL46 (statement). In XCZS191H6Q/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
Prime-power inheritance criterion BA6WP3F79H
| URI | m2://inv/BA6WP3F79H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#972X, Prime-power inheritance criterion (statement). In Y1DR0DPWD0/e1, lemma 7.13
History
- 2026-10-29: add by m2/v0.4.12
BA71VE970K BA71VE970K
| URI | m2://inv/BA71VE970K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.28220#242V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carl Friedrich Geiser BA77E65TSJ
| URI | m2://inv/BA77E65TSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Friedrich Geiser, Carl Friedrich Geiser (topic). Also Wikidata Q1037983
History
- 2026-11-02: add by m2/dev
BA79QMKAJG BA79QMKAJG
| URI | m2://inv/BA79QMKAJG |
|---|---|
| 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 0809.4587#XMWX (statement). In KQ8JPHDKKE/e1, proposition 9.2.5
History
- 2026-10-27: add by m2/v0.3.5
BA7HN90714 BA7HN90714
| URI | m2://inv/BA7HN90714 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#4DUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hušková, Marie BA7NX9YWQH
| URI | m2://inv/BA7NX9YWQH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7286, Hušková, Marie (topic)
History
- 2026-11-02: add by m2/dev
Brachistochrone BA81GPH4FK
| URI | m2://inv/BA81GPH4FK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#PECU, Brachistochrone (definition)
- wikipedia: Wikipedia List of curves#3750, Brachistochrone (definition)
History
- 2026-11-02: add by m2/dev
$e^x \ge 1+x$ BA84GEKB0B
| URI | m2://inv/BA84GEKB0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proposition-2, $e^x \ge 1+x$ (statement). In RZP28ERRZV, proposition, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Bell's theorem BA87PMRHZ7
| URI | m2://inv/BA87PMRHZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#9EC1, Bell's theorem (statement)
History
- 2026-11-02: add by m2/dev
BA8AB0ZSA4 BA8AB0ZSA4
| URI | m2://inv/BA8AB0ZSA4 |
|---|---|
| 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 math/9802134#2EDY (statement). In 235B1J1ETB/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Hamiltonian torsion $\Rightarrow$ uniruledness BA8AJKD32D
| URI | m2://inv/BA8AJKD32D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2607.25960#IH3J, Hamiltonian torsion $\Rightarrow$ uniruledness (statement). In 13GSWBXPCM/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
BA8B0QTRG0 BA8B0QTRG0
| URI | m2://inv/BA8B0QTRG0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#activity-2 (exercise). In 649HGZKE96, activity, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
BA8QNVYVB5 BA8QNVYVB5
| URI | m2://inv/BA8QNVYVB5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-98 (exercise). In E9HS8K3A52, exercise, section 5.8.5
History
- 2026-11-01: add by m2/v0.6.13
BA8Y3J38YF BA8Y3J38YF
| URI | m2://inv/BA8Y3J38YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#56KZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
BA91VQF897 BA91VQF897
| URI | m2://inv/BA91VQF897 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#SR91 (statement). In FNG4B47MRV/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Cousin BA94H4DMA1
| URI | m2://inv/BA94H4DMA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#9CX4, Cousin (definition)
History
- 2026-11-02: add by m2/dev
Parrondo's paradox BA971PM6X5
| URI | m2://inv/BA971PM6X5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#0WPO, Parrondo's paradox (statement)
History
- 2026-11-02: add by m2/dev
Bred vector BA98QV4SX0
| URI | m2://inv/BA98QV4SX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bred vector, Bred vector (definition). Also Wikidata Q4960091
History
- 2026-11-02: add by m2/dev
Factor synchronization and critical descent BA9WM3N6YR
| URI | m2://inv/BA9WM3N6YR |
|---|---|
| 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.10950#OD7T, Factor synchronization and critical descent (statement). In P392PEVRAY/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.3
Pythagoreanism BAA2GQWWMM
| URI | m2://inv/BAA2GQWWMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q191359, Pythagoreanism (definition). Also ProofWiki Definition:Pythagoreans
- wikipedia: Wikipedia Pythagoreanism, Pythagoreanism (definition). Also Wikidata Q191359
History
- 2026-10-26: add by m2/dev
Resolutions to the paradox BAA8XYRBEK
| URI | m2://inv/BAA8XYRBEK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norton's dome#EHBI, Resolutions to the paradox (statement)
History
- 2026-11-02: add by m2/dev
Initial sequents for $\eq$ BAADCH96ZZ
| URI | m2://inv/BAADCH96ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/identity.tex#defn-1, Initial sequents for $\eq$ (definition). In PKGMM3P5QY, defn, section 17.4
History
- 2026-11-01: add by m2/v0.6.13
Choi--Effros/Kirchberg BAAHGM9H9H
| URI | m2://inv/BAAHGM9H9H |
|---|---|
| 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 2510.02019#NTH6, Choi--Effros/Kirchberg (statement). In PD607VXPY3/e1, theorem 22
History
- 2026-10-27: add by m2/v0.3.5
Definition 3 BAAMHNBR2E
| URI | m2://inv/BAAMHNBR2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#N2XQ, Definition 3 (definition)
History
- 2026-11-02: add by m2/dev
BAATAAW5CY BAATAAW5CY
| URI | m2://inv/BAATAAW5CY |
|---|---|
| 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.26366#QL64 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BAAWPBA5SC BAAWPBA5SC
| URI | m2://inv/BAAWPBA5SC |
|---|---|
| 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.18033#SS8G (statement). In 59VRB6Y27N/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
BAB0ZF40XS BAB0ZF40XS
| URI | m2://inv/BAB0ZF40XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#GX1D (statement). In A4VP56CT7B/e1, corollary 1.7
History
- 2026-10-28: add by m2/v0.4.2
BABCWRMW5Y BABCWRMW5Y
| URI | m2://inv/BABCWRMW5Y |
|---|---|
| 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.37439#HOYR (statement). In 8K7D3FKJDT/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
univalence axiom BABME0W5D2
| URI | m2://inv/BABME0W5D2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
BAC0TKM34C BAC0TKM34C
| URI | m2://inv/BAC0TKM34C |
|---|---|
| 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.05486#I0LZ (statement). In 5Z46AK2XTC/e1, lemma C.15
History
- 2026-10-29: add by m2/v0.4.10
Rectification (geometry) BAC0Y9EV8V
| URI | m2://inv/BAC0Y9EV8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#LG96, Rectification (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Acuaviva--Nasseri BAC1TNBDHQ
| URI | m2://inv/BAC1TNBDHQ |
|---|---|
| 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 2609.26984#30DC, Acuaviva--Nasseri (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tree-like subgraph comparison BAC9BQXRHW
| URI | m2://inv/BAC9BQXRHW |
|---|---|
| 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.21454#QLY5, Tree-like subgraph comparison (statement). In ZP2RJFZ3V2/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Generalized Minkowski inequality BACBV1YC9A
| URI | m2://inv/BACBV1YC9A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lp space#3ZDY, Generalized Minkowski inequality (statement)
History
- 2026-11-02: add by m2/dev
Circle packing in a square BACEHJE611
| URI | m2://inv/BACEHJE611 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle packing in a square, Circle packing in a square (definition). Also Wikidata Q5121499
History
- 2026-11-02: add by m2/dev
BACHYH5AHJ BACHYH5AHJ
| URI | m2://inv/BACHYH5AHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.0174#K3O4 (statement). In 4P97F3GPJC/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
Creative telescoping with character BACKQVA7N5
| URI | m2://inv/BACKQVA7N5 |
|---|---|
| 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.17240#EIDG, Creative telescoping with character (statement). In 59BZ4V9RQW/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
Table of integrals BACZ017G0A
| URI | m2://inv/BACZ017G0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#HFAD, Table of integrals (topic)
- wikipedia: Wikipedia List of calculus topics#29YO, Table of integrals (topic)
History
- 2026-11-02: add by m2/dev
Lagrange notation for differentiation BAD2076WWW
| URI | m2://inv/BAD2076WWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Notation for differentiation#QPQG, Lagrange notation for differentiation (unknown)
History
- 2026-11-02: add by m2/dev
Schubert's theorem BADRKHNBX5
| URI | m2://inv/BADRKHNBX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime knot#OQW1, Schubert's theorem (statement)
History
- 2026-11-02: add by m2/dev
The q-binomial theorem BADSTFNEDP
| URI | m2://inv/BADSTFNEDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic hypergeometric series#QSKO, The q-binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Animistic fallacy BADT0RZFJ1
| URI | m2://inv/BADT0RZFJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Animistic fallacy, Animistic fallacy (definition). Also Wikidata Q4765194
History
- 2026-11-02: add by m2/dev
Galerkin method BADVFXQQCJ
| URI | m2://inv/BADVFXQQCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#TEUY, Galerkin method (definition)
History
- 2026-11-02: add by m2/dev
Huijia (Rachel) Lin BADZ1QQFVS
| URI | m2://inv/BADZ1QQFVS |
|---|---|
| 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#AII9, Huijia (Rachel) Lin (unknown)
History
- 2026-11-02: add by m2/dev
Helioseismology BAE16023FJ
| URI | m2://inv/BAE16023FJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helioseismology, Helioseismology (topic). Also Wikidata Q1068381
History
- 2026-11-02: add by m2/dev
BAE2ZYTRC0 BAE2ZYTRC0
| URI | m2://inv/BAE2ZYTRC0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16814#PYJF (definition). In MN03Z3PRFT/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
mathematical induction BAE80V5P9F
| URI | m2://inv/BAE80V5P9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Mathematical induction 0ASJVEFA9J |
Mentions
- wikidata: Wikidata Q178377, mathematical induction (definition). Also MathWorld Induction, MathWorld MathematicalInduction, ProofWiki Definition:Mathematical_Induction
- wikipedia: Wikipedia Mathematical induction, Mathematical induction (definition). Also Wikidata Q178377
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
BAEJPNVJNW BAEJPNVJNW
| URI | m2://inv/BAEJPNVJNW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20206#HK3D (problem)
History
- 2026-11-02: add by m2/v0.6.18
BAESC08BZS BAESC08BZS
| URI | m2://inv/BAESC08BZS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/quantifiers.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 61.11
History
- 2026-11-01: add by m2/v0.6.13
Sridhara BAF61RH62N
| URI | m2://inv/BAF61RH62N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sridhara, Sridhara (topic). Also Wikidata Q2315324
History
- 2026-11-02: add by m2/dev
Example BAFEKXXW4H
| URI | m2://inv/BAFEKXXW4H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob decomposition theorem#XW8E, Example (example)
History
- 2026-11-02: add by m2/dev
Definition BAFQEQS8JR
| URI | m2://inv/BAFQEQS8JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic regression#X35Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
BAFSTTRTEK BAFSTTRTEK
| URI | m2://inv/BAFSTTRTEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11082#LU8U (statement). In GFPFFN0BXV/e1, lemma 26
History
- 2026-10-28: add by m2/v0.4.3
Density for a viscous-eikonal activation variable BAG1AK4MRA
| URI | m2://inv/BAG1AK4MRA |
|---|---|
| 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.02106#RFCR, Density for a viscous-eikonal activation variable (statement). In NGKK8ZB29J/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.12
Non-malleability under translations and low-degree correlation BAG3FKS9EK
| URI | m2://inv/BAG3FKS9EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#U0LW, Non-malleability under translations and low-degree correlation (statement). In ZZER8ZBSCR/e1, theorem 5.12
History
- 2026-10-29: add by m2/v0.4.12
BAG8PDKM2Y BAG8PDKM2Y
| URI | m2://inv/BAG8PDKM2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32883#MWIW (statement). In 6MVBVC1VNK/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
BAGDXW3P7H BAGDXW3P7H
| URI | m2://inv/BAGDXW3P7H |
|---|---|
| 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.05184#EE8O (statement). In JK425E1F77/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
BAGG9QCCJX BAGG9QCCJX
| URI | m2://inv/BAGG9QCCJX |
|---|---|
| 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 2405.05684#G9MD (statement). In 1PR73ECTZB/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
Example BAGHJ0J4V9
| URI | m2://inv/BAGHJ0J4V9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation lemma#D6Q6, Example (example)
History
- 2026-11-02: add by m2/dev
differentiable BAGJWWWQ32
| URI | m2://inv/BAGJWWWQ32 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.7.4/differentiable, differentiable (concept). In 907G4C4EJ1, index, section 1.7.4
History
- 2026-11-01: add by m2/v0.6.13
Patricia Grambsch BAGQ1E3S7B
| URI | m2://inv/BAGQ1E3S7B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#I49I, Patricia Grambsch (topic)
History
- 2026-11-02: add by m2/dev
Matrix Green and Maass--Selberg identities BAGRTH19ZQ
| URI | m2://inv/BAGRTH19ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25925#15D8, Matrix Green and Maass--Selberg identities (statement)
History
- 2026-11-01: add by m2/v0.6.15
BAGVTTQ0EA BAGVTTQ0EA
| URI | m2://inv/BAGVTTQ0EA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#JVE0 (example). In YCRZC9SDCE/e1, example 8.4
History
- 2026-10-28: add by m2/v0.4.2
Lebesgue's density theorem BAGWA8CZAW
| URI | m2://inv/BAGWA8CZAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#QGW8, Lebesgue's density theorem (statement)
History
- 2026-11-02: add by m2/dev
BAH2T51CHG BAH2T51CHG
| URI | m2://inv/BAH2T51CHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#9A53 (statement). In Y23VR7N90M/e1, proposition 12
History
- 2026-10-27: add by m2/v0.3.5
BAH54JZPWG BAH54JZPWG
| URI | m2://inv/BAH54JZPWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20568#3FXU (statement). In BCD0ATARNZ/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
BAH6E9DWB6 BAH6E9DWB6
| URI | m2://inv/BAH6E9DWB6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 17.8
History
- 2026-11-01: add by m2/v0.6.13
Primes and divisibility chains BAH7EGRFQV
| URI | m2://inv/BAH7EGRFQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#OBY5, Primes and divisibility chains (statement). In DHQWFJW02X/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Ville's inequality BAHFCSF71P
| URI | m2://inv/BAHFCSF71P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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 2609.27765#DBWZ, Ville's inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement BAHFT3TZE6
| URI | m2://inv/BAHFT3TZE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz representation theorem#ZY8H, Statement (statement)
History
- 2026-11-02: add by m2/dev
BAHWB17AQ3 BAHWB17AQ3
| URI | m2://inv/BAHWB17AQ3 |
|---|---|
| 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.28336#4S09 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dara Ó Briain: School of Hard Sums BAJ9MAZDR2
| URI | m2://inv/BAJ9MAZDR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dara Ó Briain: School of Hard Sums, Dara Ó Briain: School of Hard Sums (definition). Also Wikidata Q5222003
History
- 2026-11-02: add by m2/dev
Mycielski's theorem BAJ9ZTNMD0
| URI | m2://inv/BAJ9ZTNMD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DGTQ, Mycielski's theorem (definition)
History
- 2026-11-02: add by m2/dev
Projection identity BAJHW03CW6
| URI | m2://inv/BAJHW03CW6 |
|---|---|
| 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.02714#R5IS, Projection identity (statement). In R9AXCJWK8F/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
BAJJ10WKRA BAJJ10WKRA
| URI | m2://inv/BAJJ10WKRA |
|---|---|
| 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.14154#YU8E (statement). In 8X6PXX2TRA/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Superrigidity theorem BAJPFR6PXJ
| URI | m2://inv/BAJPFR6PXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#N5PT, Superrigidity theorem (definition)
History
- 2026-11-02: add by m2/dev
BAJSSR6RZM BAJSSR6RZM
| URI | m2://inv/BAJSSR6RZM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Upside potential ratio BAJWX7SNP8
| URI | m2://inv/BAJWX7SNP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upside potential ratio, Upside potential ratio (definition). Also Wikidata Q7899278
History
- 2026-11-02: add by m2/dev
Generalizations BAK133725N
| URI | m2://inv/BAK133725N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's little theorem#XUUI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Move-Up Process BAK2F1Z40N
| URI | m2://inv/BAK2F1Z40N |
|---|---|
| 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.12732#FPJ9, Move-Up Process (statement). In 5E91Y3VY9E/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
BAK75G9E1P BAK75G9E1P
| URI | m2://inv/BAK75G9E1P |
|---|---|
| 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 2302.06336#5R65 (statement). In CCRSWBXWXW/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Majority minority BAKBRT88CK
| URI | m2://inv/BAKBRT88CK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Majority minority, Majority minority (definition). Also Wikidata Q105102828
History
- 2026-11-02: add by m2/dev
BAKNN9F9NY BAKNN9F9NY
| URI | m2://inv/BAKNN9F9NY |
|---|---|
| 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 2203.15223#VDMZ (statement). In HSY17Q75DM/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Model output statistics BAKSB21FGP
| URI | m2://inv/BAKSB21FGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model output statistics, Model output statistics (definition). Also Wikidata Q1453537
History
- 2026-11-02: add by m2/dev
Rauch comparison theorem BAKTME7DHA
| URI | m2://inv/BAKTME7DHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7296106, Rauch comparison theorem (statement). Also Wikidata Q7296106
- thousand_plus: thousand_plus Q7296106, Rauch comparison theorem (statement). Also Wikidata Q7296106, Wikipedia Rauch comparison theorem
- wikipedia: Wikipedia Rauch comparison theorem, Rauch comparison theorem (statement). Also Wikidata Q7296106
History
- 2026-10-26: add by m2/dev
Exact compression of discardable workspace BAKVDG90PN
| URI | m2://inv/BAKVDG90PN |
|---|---|
| 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.02166#ABH6, Exact compression of discardable workspace (statement). In R6RF3P6D5A/e1, lemma B.6
History
- 2026-10-29: add by m2/v0.4.12
BAKXMZM0SR BAKXMZM0SR
| URI | m2://inv/BAKXMZM0SR |
|---|---|
| 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.36334#39OQ (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
sink vertex BAM15Z0G9B
| URI | m2://inv/BAM15Z0G9B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93723795, sink vertex (unknown). Also MathWorld DigraphSink
History
- 2026-10-26: add by m2/dev
martingale BAM18KMQJE
| URI | m2://inv/BAM18KMQJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Stochastic Processes > martingale, martingale (unknown). Also Mathlib MeasureTheory.Martingale
History
- 2026-10-26: add by m2/dev
Daniel Lenz BAM8BYHFDF
| URI | m2://inv/BAM8BYHFDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59676621, Daniel Lenz (unknown). Also nLab Daniel Lenz
History
- 2026-10-26: add by m2/dev
Spectral region and sparse realization BAMCW5RJQV
| URI | m2://inv/BAMCW5RJQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.31768#8BKR, Spectral region and sparse realization (statement). In WC7ZECEE3P/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
A continuous near-invariant distribution in the cube BAMDB92F4G
| URI | m2://inv/BAMDB92F4G |
|---|---|
| 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.20979#5OFX, A continuous near-invariant distribution in the cube (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ceiling effect (statistics) BAMJWHSGND
| URI | m2://inv/BAMJWHSGND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EJ26, Ceiling effect (statistics) (definition)
History
- 2026-11-02: add by m2/dev
BAMKTGDEQ8 BAMKTGDEQ8
| URI | m2://inv/BAMKTGDEQ8 |
|---|---|
| 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 0903.1504#268M (example). In D5YZ438QTY/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
Geometric integrator BAMPT5X6RN
| URI | m2://inv/BAMPT5X6RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#QKFC, Geometric integrator (definition)
History
- 2026-11-02: add by m2/dev
Theorem BANBJEFF34
| URI | m2://inv/BANBJEFF34 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łojasiewicz inequality#BF5N, Theorem (statement)
History
- 2026-11-02: add by m2/dev
BANEFJT85G BANEFJT85G
| URI | m2://inv/BANEFJT85G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#NU6Q (statement). In GXHKRV5BPY/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Jordan curve theorem BANEXXYPMK
| URI | m2://inv/BANEXXYPMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#SR60, Jordan curve theorem (statement)
History
- 2026-11-02: add by m2/dev
Jeff Paris BANG101WMW
| URI | m2://inv/BANG101WMW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#98NA, Jeff Paris (topic)
History
- 2026-11-02: add by m2/dev
Lajos Pósa BANGAWXPG3
| URI | m2://inv/BANGAWXPG3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FHC4, Lajos Pósa (topic)
History
- 2026-11-02: add by m2/dev
Carol Schumacher BANVNWMK79
| URI | m2://inv/BANVNWMK79 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol Schumacher, Carol Schumacher (topic). Also Wikidata Q102182877
History
- 2026-11-02: add by m2/dev
BANX6522SE BANX6522SE
| URI | m2://inv/BANX6522SE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#DU2V (definition). In FNG4B47MRV/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Eduard Helly BANXHW8F0T
| URI | m2://inv/BANXHW8F0T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VAZF, Eduard Helly (topic)
History
- 2026-11-02: add by m2/dev
L'Hôpital's rule BAP05KZ4YP
| URI | m2://inv/BAP05KZ4YP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.2.2/l-hôpital-s-rule, L'Hôpital's rule (concept). In 907G4C4EJ1, index, section 3.2.2
History
- 2026-11-01: add by m2/v0.6.13
Michael Weiss BAPAK89H95
| URI | m2://inv/BAPAK89H95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#6G0H, Michael Weiss (topic)
History
- 2026-11-02: add by m2/dev
Most probable number BAPBGWAGNW
| URI | m2://inv/BAPBGWAGNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Most probable number, Most probable number (definition). Also Wikidata Q3866144
History
- 2026-11-02: add by m2/dev
Applications BAPG7XQ9D6
| URI | m2://inv/BAPG7XQ9D6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic calculus#36C7, Applications (example)
History
- 2026-11-02: add by m2/dev
Victor Andreevich Toponogov BAPK64V81F
| URI | m2://inv/BAPK64V81F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Andreevich Toponogov, Victor Andreevich Toponogov (topic). Also Wikidata Q4460816
History
- 2026-11-02: add by m2/dev
Example BAPT305EKM
| URI | m2://inv/BAPT305EKM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schneider–Lang theorem#IRIY, Example (example)
History
- 2026-11-02: add by m2/dev
BAPWKXY6WQ BAPWKXY6WQ
| URI | m2://inv/BAPWKXY6WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23262#MGCJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples BAPYB6CD84
| URI | m2://inv/BAPYB6CD84 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compatible system of ℓ-adic representations#4RRY, Examples (example)
History
- 2026-11-02: add by m2/dev
BAQ7YEBAW6 BAQ7YEBAW6
| URI | m2://inv/BAQ7YEBAW6 |
|---|---|
| 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.31907#48I1 (statement). In 6B2PCEGCYZ/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
BAQB3NFTTY BAQB3NFTTY
| URI | m2://inv/BAQB3NFTTY |
|---|---|
| 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#8M1J (definition). In 6KR7Z5ETRY/e1, definition 2.33
History
- 2026-10-27: add by m2/v0.3.5
BAQR22S1V8 BAQR22S1V8
| URI | m2://inv/BAQR22S1V8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-26 (exercise). In E9HS8K3A52, exercise, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Krener's theorem BAQRG6QYJ0
| URI | m2://inv/BAQRG6QYJ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OHBS, Krener's theorem (statement)
History
- 2026-11-02: add by m2/dev
Variants BAQRQ9D0J2
| URI | m2://inv/BAQRQ9D0J2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic block model#RPAZ, Variants (statement)
History
- 2026-11-02: add by m2/dev
BAQTX7BMTP BAQTX7BMTP
| URI | m2://inv/BAQTX7BMTP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
Dual hemipolyhedra BAQV1ZJFKT
| URI | m2://inv/BAQV1ZJFKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemipolyhedron#MAWZ, Dual hemipolyhedra (unknown)
History
- 2026-11-02: add by m2/dev
BAR5249Z1F BAR5249Z1F
| URI | m2://inv/BAR5249Z1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17412#YVRG (statement). In DPBHYJBGKD/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.6
BAR75FXHMT BAR75FXHMT
| URI | m2://inv/BAR75FXHMT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.38556#S1JJ (definition). In GC2H0HS7ZM/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Unsolved problems BARBZV6WD8
| URI | m2://inv/BARBZV6WD8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian integer#YHYK, Unsolved problems (statement)
History
- 2026-11-02: add by m2/dev
Elementary properties BARCGEQER6
| URI | m2://inv/BARCGEQER6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius transformation#S5HD, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
Near-optimal AIC implies constant halving BARPAW8F8T
| URI | m2://inv/BARPAW8F8T |
|---|---|
| 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.27241#5OGB, Near-optimal AIC implies constant halving (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formula BARYR14J05
| URI | m2://inv/BARYR14J05 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inelastic collision#4N95, Formula (statement)
History
- 2026-11-02: add by m2/dev
M. H. A. Newman BAS09S85EH
| URI | m2://inv/BAS09S85EH |
|---|---|
| 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#DVWJ, M. H. A. Newman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FQNV, M. H. A. Newman (topic)
History
- 2026-11-02: add by m2/dev
Applications BAS66N77FK
| URI | m2://inv/BAS66N77FK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spearman's rank correlation coefficient#VHB1, Applications (example)
History
- 2026-11-02: add by m2/dev
BAS9P4FRW4 BAS9P4FRW4
| URI | m2://inv/BAS9P4FRW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#U6TU (statement). In 5MJ4NJ5ZCV/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.3
$c$-interior $\varepsilon$-PML BASF6R7W0G
| URI | m2://inv/BASF6R7W0G |
|---|---|
| Kind | definition |
| 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 2609.28297#2NU7, $c$-interior $\varepsilon$-PML (definition)
History
- 2026-11-01: add by m2/v0.6.15
Conditional access BASJDPN02W
| URI | m2://inv/BASJDPN02W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional access, Conditional access (definition). Also Wikidata Q228323
History
- 2026-11-02: add by m2/dev
Linearly normal BASK7NV7HP
| URI | m2://inv/BASK7NV7HP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous coordinate ring#VGHB, Linearly normal (unknown)
History
- 2026-11-02: add by m2/dev
Generalization BASMA1WTYM
| URI | m2://inv/BASMA1WTYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Director circle#YCSL, Generalization (statement)
History
- 2026-11-02: add by m2/dev
BASPWKK400 BASPWKK400
| URI | m2://inv/BASPWKK400 |
|---|---|
| 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.25985#UW3J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Five Fingers, New Brunswick BASR56X1VJ
| URI | m2://inv/BASR56X1VJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#72AU, Five Fingers, New Brunswick (unknown)
History
- 2026-11-02: add by m2/dev
BASWGYXF16 BASWGYXF16
| URI | m2://inv/BASWGYXF16 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28518#4U0J (definition)
History
- 2026-11-01: add by m2/v0.6.15
Statement BASWPK75AA
| URI | m2://inv/BASWPK75AA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Rutman theorem#467U, Statement (statement)
History
- 2026-11-02: add by m2/dev
BASZ17W7VE BASZ17W7VE
| URI | m2://inv/BASZ17W7VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.12496#S8OU (statement). In 1DH15ZJFRZ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Sandi Klavžar BATDDH1MPG
| URI | m2://inv/BATDDH1MPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R84O, Sandi Klavžar (topic)
History
- 2026-11-02: add by m2/dev
Boris Korenblum BATFEPEJGV
| URI | m2://inv/BATFEPEJGV |
|---|---|
| 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#1DHD, Boris Korenblum (topic)
History
- 2026-11-02: add by m2/dev
Exponential scale BATJ8RMZJ4
| URI | m2://inv/BATJ8RMZJ4 |
|---|---|
| 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.12641#124Y, Exponential scale (statement). In X5BYGZZHPF/e1, corollary H.11
History
- 2026-10-28: add by m2/v0.4.2
refinement of a partition BATJXK1Z34
| URI | m2://inv/BATJXK1Z34 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.1.1/refinement-of-a-partition, refinement of a partition (concept). In E59CDZA4DP, index, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
solving the Laplace equations BATKV3NWNC
| URI | m2://inv/BATKV3NWNC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > solving the Laplace equations, solving the Laplace equations (unknown)
History
- 2026-10-26: add by m2/dev
Fermat's Last Theorem BATM8K0539
| URI | m2://inv/BATM8K0539 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 5 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Fermat's Last Theorem 0Y5X3SDBCZ |
Mentions
- mathlib_100: mathlib_100 33, Fermat’s Last Theorem (statement). Also Mathlib FermatLastTheorem
- mathlib_1000: mathlib_1000 Q132469, Fermat's Last Theorem (statement). Also Mathlib FermatLastTheorem, Wikidata Q132469
- thousand_plus: thousand_plus Q132469, Fermat's Last Theorem (statement). Also Mathlib FermatLastTheorem, Wikidata Q132469, Wikipedia Fermat's Last Theorem
- wikidata: Wikidata Q132469, Fermat's Last Theorem (statement). Also EoM Fermat's_last_theorem, MathWorld FermatsLastTheorem
- wikipedia: Wikipedia Fermat's Last Theorem, Fermat's Last Theorem (statement). Also Wikidata Q132469
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Secondary calculus and cohomological physics BATQH9P2V2
| URI | m2://inv/BATQH9P2V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secondary calculus and cohomological physics, Secondary calculus and cohomological physics (definition). Also Wikidata Q4127987
History
- 2026-11-02: add by m2/dev
BATRP9QCHZ BATRP9QCHZ
| URI | m2://inv/BATRP9QCHZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.28742#LWLE (definition)
History
- 2026-11-01: add by m2/v0.6.15
BATSDP7W3J BATSDP7W3J
| URI | m2://inv/BATSDP7W3J |
|---|---|
| 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 2204.10840#EJIQ (statement). In EMS1MAJZ4X/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.6
Truncation BATWJFS8Y3
| URI | m2://inv/BATWJFS8Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncation (statistics), Truncation (definition). Also Wikidata Q7847935
History
- 2026-11-02: add by m2/dev
Commitment capacity for DMCs BAV5S7ZG3N
| URI | m2://inv/BAV5S7ZG3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12413#BHOC, Commitment capacity for DMCs (statement). In 6EJ8J60SP8/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
BAVDABDK1E BAVDABDK1E
| URI | m2://inv/BAVDABDK1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21507#10WJ (definition)
History
- 2026-11-02: add by m2/v0.6.18
BAVF80YKV3 BAVF80YKV3
| URI | m2://inv/BAVF80YKV3 |
|---|---|
| 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#JS3F (statement). In QX77AN49J0/e1, corollary 7.9
History
- 2026-10-27: add by m2/v0.4.2
Examples BAVJGQP7GA
| URI | m2://inv/BAVJGQP7GA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss congruence#CR2R, Examples (example)
History
- 2026-11-02: add by m2/dev
Bounds on the canonical graph BAVPF8YZ0H
| URI | m2://inv/BAVPF8YZ0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#065B, Bounds on the canonical graph (statement). In YCRZC9SDCE/e1, lemma 13.4
History
- 2026-10-28: add by m2/v0.4.2
The distributive law BAW4921Z62
| URI | m2://inv/BAW4921Z62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FOIL method#GCZU, The distributive law (statement)
History
- 2026-11-02: add by m2/dev
Napoleon points BAW8M6A1ZW
| URI | m2://inv/BAW8M6A1ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#3AIP, Napoleon points (definition)
- wikipedia: Wikipedia List of mathematical properties of points#UT2I, Napoleon points (definition)
History
- 2026-11-02: add by m2/dev
Algorithm BAW9174JMJ
| URI | m2://inv/BAW9174JMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime-factor FFT algorithm#F1ZW, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
triangle, inequality for $\RC$ BAWBPWK424
| URI | m2://inv/BAWBPWK424 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/triangle-inequality-for-rc, triangle, inequality for $\RC$ (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
The functions $f_\xi$ BAWHGYZERS
| URI | m2://inv/BAWHGYZERS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#U908, The functions $f_\xi$ (definition). In BQDZN6GRGF/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.2
concomitant BAWKNHEAN7
| URI | m2://inv/BAWKNHEAN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#VTD9, concomitant (definition)
History
- 2026-11-02: add by m2/dev
BAWQP6BSHB BAWQP6BSHB
| URI | m2://inv/BAWQP6BSHB |
|---|---|
| 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.21545#XJ74 (statement). In 1Q3H75330M/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.2
BAWR70B49N BAWR70B49N
| URI | m2://inv/BAWR70B49N |
|---|---|
| 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 0904.2839#FRAU (statement). In 2P34N0GWS1/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Quantum list decoding BAWW4M9T5S
| URI | m2://inv/BAWW4M9T5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#DQD5, Quantum list decoding (definition). In 7MVPNFPRKB/e1, definition 1.3
History
- 2026-10-30: add by m2/v0.4.12
Nalini Ravishanker BAWWVA2Q2B
| URI | m2://inv/BAWWVA2Q2B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2NES, Nalini Ravishanker (topic)
History
- 2026-11-02: add by m2/dev
Lewis Goldberg BAWZ07GBJG
| URI | m2://inv/BAWZ07GBJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lewis Goldberg, Lewis Goldberg (topic). Also Wikidata Q1822099
History
- 2026-11-02: add by m2/dev
BAWZYRVFJ8 BAWZYRVFJ8
| URI | m2://inv/BAWZYRVFJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#RN6B (statement). In XCSQ27P0XW/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.0
BAX4PK8KW5 BAX4PK8KW5
| URI | m2://inv/BAX4PK8KW5 |
|---|---|
| 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.13484#J44S (statement). In MP7GA6MQED/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Geometry of Complex Numbers BAX4V7VX39
| URI | m2://inv/BAX4V7VX39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometry of Complex Numbers, Geometry of Complex Numbers (definition). Also Wikidata Q85763062
History
- 2026-11-02: add by m2/dev
BAX72NTSYT BAX72NTSYT
| URI | m2://inv/BAX72NTSYT |
|---|---|
| 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.22326#Q0YY (statement). In EAABRG99V8/e1, theorem 6.11
History
- 2026-10-27: add by m2/v0.4.0
deep point BAXAAEFPVE
| URI | m2://inv/BAXAAEFPVE |
|---|---|
| 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.14050#YBRG, deep point (statement). In RENT22YXW3/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Statement BAXFP3BAPS
| URI | m2://inv/BAXFP3BAPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demazure module#VKO9, Statement (statement)
History
- 2026-11-02: add by m2/dev
Properties BAXJJHN4ZF
| URI | m2://inv/BAXJJHN4ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit capacity#EWBW, Properties (statement)
History
- 2026-11-02: add by m2/dev
BAXQ8RDET9 BAXQ8RDET9
| URI | m2://inv/BAXQ8RDET9 |
|---|---|
| Kind | problem |
| 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 2112.05010#DM5T (problem). In 4SZNPS3Z00/e1, problem 1.2
History
- 2026-10-27: add by m2/v0.3.6
Menahem Max Schiffer BAXS3ZNWBA
| URI | m2://inv/BAXS3ZNWBA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#B8S8, Menahem Max Schiffer (topic)
History
- 2026-11-02: add by m2/dev
Dynamic Bayesian network BAXV0SZKY2
| URI | m2://inv/BAXV0SZKY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P32U, Dynamic Bayesian network (definition)
History
- 2026-11-02: add by m2/dev
Suslin line BAXY7BTQ3W
| URI | m2://inv/BAXY7BTQ3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#33MP, Suslin line (definition)
History
- 2026-11-02: add by m2/dev
Locally linear graph BAYB1ENGN2
| URI | m2://inv/BAYB1ENGN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally linear graph, Locally linear graph (definition). Also Wikidata Q61743757
History
- 2026-11-02: add by m2/dev
BAYMW8P798 BAYMW8P798
| URI | m2://inv/BAYMW8P798 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#QYZ4 (statement). In QM1T8JDK4A/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Endpoint upper bounds BAYRKA0BSW
| URI | m2://inv/BAYRKA0BSW |
|---|---|
| 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.24930#9XHG, Endpoint upper bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform Volterra propagation BAZ3JTP30F
| URI | m2://inv/BAZ3JTP30F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14323#SAW6, Uniform Volterra propagation (statement). In VAWEP32BEX/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
Stephen Whisson BAZ4AQ0TDY
| URI | m2://inv/BAZ4AQ0TDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Whisson, Stephen Whisson (topic). Also Wikidata Q7610836
History
- 2026-11-02: add by m2/dev
BAZ4NQY22R BAZ4NQY22R
| URI | m2://inv/BAZ4NQY22R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.05577#DZUP (statement). In EFWBREMZAP/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.3.5
BAZ5ZGGYEJ BAZ5ZGGYEJ
| URI | m2://inv/BAZ5ZGGYEJ |
|---|---|
| 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.32903#GVQS (statement). In S8NB83KQX3/e1, theorem 8
History
- 2026-10-31: add by m2/v0.5.6
A decomposition and its properties BAZ82K2VRJ
| URI | m2://inv/BAZ82K2VRJ |
|---|---|
| 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.22513#Z77F, A decomposition and its properties (statement)
History
- 2026-11-02: add by m2/v0.6.17
BAZFBVV15Z BAZFBVV15Z
| URI | m2://inv/BAZFBVV15Z |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#AOOJ (unknown). In QNBFHFZ3H0/e1, unknown 63
History
- 2026-10-28: add by m2/v0.4.2
BAZKBCX5ZD BAZKBCX5ZD
| URI | m2://inv/BAZKBCX5ZD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-17 (exercise). In E9HS8K3A52, exercise, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Topological sorting BAZNHXDJD6
| URI | m2://inv/BAZNHXDJD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#JNK9, Topological sorting (definition)
History
- 2026-11-02: add by m2/dev