Inventory rows MB
The cards of the rows of the inventory whose ids start with MB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
MB02MXFG2J MB02MXFG2J
| URI | m2://inv/MB02MXFG2J |
|---|---|
| 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.29918#68OT (statement)
History
- 2026-11-01: add by m2/v0.6.15
John T. Riedl MB0A0V50V6
| URI | m2://inv/MB0A0V50V6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1AS4, John T. Riedl (unknown)
History
- 2026-11-02: add by m2/dev
MB0F4B831N MB0F4B831N
| URI | m2://inv/MB0F4B831N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
Sharon Arroyo MB0PQPN16S
| URI | m2://inv/MB0PQPN16S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharon Arroyo, Sharon Arroyo (topic). Also Wikidata Q102402213
History
- 2026-11-02: add by m2/dev
MB0RHB11WA MB0RHB11WA
| URI | m2://inv/MB0RHB11WA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#VCVU (statement). In WRE0P7V6Z3/e1, lemma 12.2
History
- 2026-10-30: add by m2/v0.4.12
Baouendi--Tr\`eves approximation theorem MB0TFWG665
| URI | m2://inv/MB0TFWG665 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.3/baouendi-tr-eves-approximation-theorem, Baouendi--Tr\`eves approximation theorem (concept). In VNMV985MXX, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
MB0Y5KD946 MB0Y5KD946
| URI | m2://inv/MB0Y5KD946 |
|---|---|
| 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.03336#0YO4 (statement). In 4ZD20W8BVF/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.12
Measure-preserving dynamical system MB10JHFTS9
| URI | m2://inv/MB10JHFTS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure-preserving dynamical system, Measure-preserving dynamical system (definition). Also Wikidata Q1003225
History
- 2026-11-02: add by m2/dev
MB146RAYZH MB146RAYZH
| URI | m2://inv/MB146RAYZH |
|---|---|
| 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.39700#P5YF (statement). In E7W2HDNEKJ/e1, proposition 10.10
History
- 2026-10-30: add by m2/v0.4.12
Example MB15ZYWWJE
| URI | m2://inv/MB15ZYWWJE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detrended correspondence analysis#R7YJ, Example (example)
History
- 2026-11-02: add by m2/dev
MB16RPACJR MB16RPACJR
| URI | m2://inv/MB16RPACJR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#ex:unnatural-endomorphisms (exercise). In N54F33XE07, ex, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Superadditivity MB1AG1KGAK
| URI | m2://inv/MB1AG1KGAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#FVJE, Superadditivity (statement). In KM3Q791JY0/e1, proposition 3.27
History
- 2026-10-27: add by m2/v0.4.2
Properties MB1HE4CBMD
| URI | m2://inv/MB1HE4CBMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersilver ratio#ZGOR, Properties (statement)
History
- 2026-11-02: add by m2/dev
MB1RHJP6XF MB1RHJP6XF
| URI | m2://inv/MB1RHJP6XF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.18564#LJ2H (statement). In MC8ZBZ14PM/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
Entropy decay and rapid mixing MB24C09MRN
| URI | m2://inv/MB24C09MRN |
|---|---|
| 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.03683#W0U9, Entropy decay and rapid mixing (statement). In 14AMXF6X2V/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
Definition MB269X78PG
| URI | m2://inv/MB269X78PG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corner transfer matrix#IRKR, Definition (definition)
History
- 2026-11-02: add by m2/dev
MB2F4WV0JS MB2F4WV0JS
| URI | m2://inv/MB2F4WV0JS |
|---|---|
| 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 2605.30285#GG8A (statement). In YMY0NNSM27/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.6
Valérie Berthé MB2J0PHD48
| URI | m2://inv/MB2J0PHD48 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valérie Berthé, Valérie Berthé (topic). Also Wikidata Q48337895
History
- 2026-11-02: add by m2/dev
Example MB2MQYFQDR
| URI | m2://inv/MB2MQYFQDR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple factor analysis#AAIZ, Example (example)
History
- 2026-11-02: add by m2/dev
Special cases MB2R2GEQCH
| URI | m2://inv/MB2R2GEQCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential quadrilateral#8K12, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Double extension set theory MB2TAJP0V4
| URI | m2://inv/MB2TAJP0V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#6WJU, Double extension set theory (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem MB2VN6YSDC
| URI | m2://inv/MB2VN6YSDC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darmois–Skitovich theorem#ZVDD, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Georg Wilhelm Friedrich Hegel MB2VX9RKG4
| URI | m2://inv/MB2VX9RKG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#ZF61, Georg Wilhelm Friedrich Hegel (topic)
History
- 2026-11-02: add by m2/dev
MB2WYMJ03G MB2WYMJ03G
| URI | m2://inv/MB2WYMJ03G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#AJ49 (definition). In M0SQY5EZN5/e1, definition 4.6.1
History
- 2026-10-27: add by m2/v0.3.5
Area formulas MB2ZZN99MH
| URI | m2://inv/MB2ZZN99MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area#UC12, Area formulas (statement)
History
- 2026-11-02: add by m2/dev
MB31NZTGYS MB31NZTGYS
| URI | m2://inv/MB31NZTGYS |
|---|---|
| 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 2308.05715#X4WL (statement). In FC0SB9JFWH/e1, theorem 10.3
History
- 2026-10-27: add by m2/v0.3.5
Composing and multiplying transitions MB32ENGSNE
| URI | m2://inv/MB32ENGSNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14160#84S7, Composing and multiplying transitions (statement). In Y4TP36M0C7/e1, lemma 25
History
- 2026-10-28: add by m2/v0.4.2
MB32F1XJB2 MB32F1XJB2
| URI | m2://inv/MB32F1XJB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#QW6A (statement). In G4S9C5M1A4/e1, proposition C.9
History
- 2026-10-29: add by m2/v0.4.12
MB34GKQ4C3 MB34GKQ4C3
| URI | m2://inv/MB34GKQ4C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33814#YN1B (statement). In WG5RT5PRNB/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
MB3DV8WD2G MB3DV8WD2G
| URI | m2://inv/MB3DV8WD2G |
|---|---|
| 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.40274#T4B3 (statement). In 7ZDNJC9MST/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Further examples MB3GAZ4EFF
| URI | m2://inv/MB3GAZ4EFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive inverse#8FW6, Further examples (example)
History
- 2026-11-02: add by m2/dev
Properties MB3QZJB81Y
| URI | m2://inv/MB3QZJB81Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative system#CBBZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Margaret P. Martin MB3R3J5M3J
| URI | m2://inv/MB3R3J5M3J |
|---|---|
| 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#Y4HB, Margaret P. Martin (topic)
History
- 2026-11-02: add by m2/dev
MB3TPH076V MB3TPH076V
| URI | m2://inv/MB3TPH076V |
|---|---|
| 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.05312#1XEA (statement). In 1CMMK399WQ/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Frame of reference MB3WW50RMB
| URI | m2://inv/MB3WW50RMB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#I9AZ, Frame of reference (unknown)
History
- 2026-11-02: add by m2/dev
MB42H36GGZ MB42H36GGZ
| URI | m2://inv/MB42H36GGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04252#7EYR (statement). In ZF0Z61VQ96/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Control of terms appearing in Good Event 6 MB45DSGX9W
| URI | m2://inv/MB45DSGX9W |
|---|---|
| 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.04600#NVZ6, Control of terms appearing in Good Event 6 (statement). In 4V64K0DYSV/e1, lemma I.8
History
- 2026-10-29: add by m2/v0.4.12
Leyland prime MB4BT70HYF
| URI | m2://inv/MB4BT70HYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leyland number#LNIU, Leyland prime (unknown)
History
- 2026-11-02: add by m2/dev
Rational cosines MB4CPDRS92
| URI | m2://inv/MB4CPDRS92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#LIKM, Rational cosines (statement). In CJRBKR4JKT/e1, lemma 7.10
History
- 2026-10-29: add by m2/v0.4.10
MB4KZ73SVN MB4KZ73SVN
| URI | m2://inv/MB4KZ73SVN |
|---|---|
| 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 2304.02722#DUYB (statement). In AH7D55D3WV/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.3.5
Properties MB4MYEY8SD
| URI | m2://inv/MB4MYEY8SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ba space#2UNU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tensor algebra MB4S3T11Z9
| URI | m2://inv/MB4S3T11Z9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#X3BF, Tensor algebra (definition)
History
- 2026-11-02: add by m2/dev
Harriet Pollatsek MB4ZNPDN2H
| URI | m2://inv/MB4ZNPDN2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WHDE, Harriet Pollatsek (topic)
History
- 2026-11-02: add by m2/dev
MB51EK9P0A MB51EK9P0A
| URI | m2://inv/MB51EK9P0A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-17 (proof). In N54F33XE07, proof, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
MB59ETM3WY MB59ETM3WY
| URI | m2://inv/MB59ETM3WY |
|---|---|
| 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.05506#RHSL (statement). In FT53PMB1TE/e1, lemma 3.3.3
History
- 2026-10-29: add by m2/v0.4.10
Eclipse-timing method MB5BY4NVVS
| URI | m2://inv/MB5BY4NVVS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methods of detecting exoplanets#GT6D, Eclipse-timing method (unknown)
History
- 2026-11-02: add by m2/dev
box region MB5G27JEVX
| URI | m2://inv/MB5G27JEVX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#2E9L, box region (definition). In JY50YXMH5N/e1, definition 31
History
- 2026-10-29: add by m2/v0.4.12
Harold Ramkissoon MB5JR6KCAJ
| URI | m2://inv/MB5JR6KCAJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Ramkissoon, Harold Ramkissoon (topic). Also Wikidata Q115797892
History
- 2026-11-02: add by m2/dev
Alexander Gamburd MB5MSZET5W
| URI | m2://inv/MB5MSZET5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Gamburd, Alexander Gamburd (topic). Also Wikidata Q78100803
History
- 2026-11-02: add by m2/dev
orientation of a vector bundle MB5RG1F1RR
| URI | m2://inv/MB5RG1F1RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19598250, orientation of a vector bundle (unknown). Also MathWorld BundleOrientation
- wikipedia: Wikipedia Orientation of a vector bundle, Orientation of a vector bundle (definition). Also Wikidata Q19598250
History
- 2026-10-26: add by m2/dev
Gap theorem MB5WKTDTVT
| URI | m2://inv/MB5WKTDTVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gap theorem, Gap theorem (statement). Also Wikidata Q1314081
History
- 2026-11-02: add by m2/dev
MB5YPSYGQ2 MB5YPSYGQ2
| URI | m2://inv/MB5YPSYGQ2 |
|---|---|
| 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.14841#F59W (statement). In 6V5HP8W1ZG/e1, lemma 17
History
- 2026-10-28: add by m2/v0.4.2
Applications MB611QYJNC
| URI | m2://inv/MB611QYJNC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform convergence#1TE6, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties MB61XQ2X7Y
| URI | m2://inv/MB61XQ2X7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greatest common divisor#8HW4, Properties (statement)
History
- 2026-11-02: add by m2/dev
MB651ZJQT9 MB651ZJQT9
| URI | m2://inv/MB651ZJQT9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#X817 (definition). In KBH265QSBT/e1, definition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Example MB6AXGJGMD
| URI | m2://inv/MB6AXGJGMD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius method#64DM, Example (example)
History
- 2026-11-02: add by m2/dev
MB6B2J96MY MB6B2J96MY
| URI | m2://inv/MB6B2J96MY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#EVNS (statement). In TSXBJB0EXK/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Strict 2-natural transformation MB6GMB114H
| URI | m2://inv/MB6GMB114H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#SLJT, Strict 2-natural transformation (definition). In HX63A1PH1W/e1, definition 8.4
History
- 2026-10-28: add by m2/v0.4.3
MB6J2EGQVD MB6J2EGQVD
| URI | m2://inv/MB6J2EGQVD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#08MQ (example). In MRR92GQNZE/e1, example 4.10
History
- 2026-10-30: add by m2/v0.4.12
MB6MAT5P6J MB6MAT5P6J
| URI | m2://inv/MB6MAT5P6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36456#EITL (statement). In E3MBNAPCQG/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Examples MB6QVBF07V
| URI | m2://inv/MB6QVBF07V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain of holomorphy#TM5J, Examples (example)
History
- 2026-11-02: add by m2/dev
MB6Y9SM434 MB6Y9SM434
| URI | m2://inv/MB6Y9SM434 |
|---|---|
| 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 2306.07511#W8SZ (statement). In 652CJVBF7C/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.6
MB7DNT4A2P MB7DNT4A2P
| URI | m2://inv/MB7DNT4A2P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#V2AG (definition). In 7JPHSV4NXW/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Examples MB7KYTMX38
| URI | m2://inv/MB7KYTMX38 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kretschmann scalar#EV5E, Examples (example)
History
- 2026-11-02: add by m2/dev
Factorial experiment MB7TK89Q36
| URI | m2://inv/MB7TK89Q36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial experiment, Factorial experiment (definition). Also Wikidata Q4116558
History
- 2026-11-02: add by m2/dev
Inverse Symbolic Calculator MB7VW9A29S
| URI | m2://inv/MB7VW9A29S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse Symbolic Calculator, Inverse Symbolic Calculator (definition). Also Wikidata Q17058629
History
- 2026-11-02: add by m2/dev
Wagstaff prime MB7X79NJ8X
| URI | m2://inv/MB7X79NJ8X |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6Z9E, Wagstaff prime (conjecture)
History
- 2026-11-02: add by m2/dev
MB7XCPCZD2 MB7XCPCZD2
| URI | m2://inv/MB7XCPCZD2 |
|---|---|
| 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 2104.05191#Z3Y8 (statement). In CCNH3FK8YZ/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.3.5
Statement MB7YAAJNAM
| URI | m2://inv/MB7YAAJNAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's theorem about ovals#5EZM, Statement (statement)
History
- 2026-11-02: add by m2/dev
The perturbing field MB816HYD92
| URI | m2://inv/MB816HYD92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#4BJO, The perturbing field (statement). In NKXTXH59P1/e1, lemma G.7
History
- 2026-10-29: add by m2/v0.4.10
MB82EKH032 MB82EKH032
| URI | m2://inv/MB82EKH032 |
|---|---|
| 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.04135#BVDV (statement). In 587PWJ6W5D/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
Finite-time continuity up to the interface MB89D35BBB
| URI | m2://inv/MB89D35BBB |
|---|---|
| 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.21328#NZ9G, Finite-time continuity up to the interface (statement). In BJXVV4ZF7B/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
MB8E91N5CK MB8E91N5CK
| URI | m2://inv/MB8E91N5CK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-4-3-3.xml#act-4-3-3 (exercise). In 907G4C4EJ1, activity, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Krein--Milman MB8HW4V772
| URI | m2://inv/MB8HW4V772 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-57, Krein--Milman (statement). In VNMV985MXX, thm, section E.2
History
- 2026-11-01: add by m2/v0.6.13
Hans Bethe MB8HW66AKF
| URI | m2://inv/MB8HW66AKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WZIO, Hans Bethe (unknown)
History
- 2026-11-02: add by m2/dev
Lévy's theorem MB8Q6GEPGP
| URI | m2://inv/MB8Q6GEPGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > Lévy's theorem, Lévy's theorem (unknown)
History
- 2026-10-26: add by m2/dev
MB8R7BV3KA MB8R7BV3KA
| URI | m2://inv/MB8R7BV3KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00375#UOZH (statement). In YV6ZXRDHX4/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Morris Lapidus MB8WY6C4KT
| URI | m2://inv/MB8WY6C4KT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#GGKK, Morris Lapidus (unknown)
History
- 2026-11-02: add by m2/dev
recursively enumerable set MB961CQ657
| URI | m2://inv/MB961CQ657 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Computably enumerable set TN9G24VABN |
Mentions
- wikidata: Wikidata Q676835, recursively enumerable set (unknown). Also MathWorld RecursivelyEnumerableSet
- wikipedia: Wikipedia Computably enumerable set, Computably enumerable set (definition). Also Wikidata Q676835
History
- 2026-10-26: add by m2/dev
Examples MB98PHPKJF
| URI | m2://inv/MB98PHPKJF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermanifold#6W0W, Examples (example)
History
- 2026-11-02: add by m2/dev
MB9916Z5DB MB9916Z5DB
| URI | m2://inv/MB9916Z5DB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop-10 (statement). In E59CDZA4DP, prop, section 1.8.2
History
- 2026-11-01: add by m2/v0.6.13
Split conformal transducer MB9AY8ET77
| URI | m2://inv/MB9AY8ET77 |
|---|---|
| Kind | definition |
| 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.23350#W96O, Split conformal transducer (definition)
History
- 2026-11-02: add by m2/v0.6.17
Examples MB9X7A2BB0
| URI | m2://inv/MB9X7A2BB0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solution set#2IXH, Examples (example)
History
- 2026-11-02: add by m2/dev
Information-preserving transformation MBA378MHAH
| URI | m2://inv/MBA378MHAH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#R1TT, Information-preserving transformation (definition)
History
- 2026-11-02: add by m2/v0.6.18
Frederick J. Almgren, Jr. MBA5QCND2W
| URI | m2://inv/MBA5QCND2W |
|---|---|
| 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#6GMB, Frederick J. Almgren, Jr. (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V0LD, Frederick J. Almgren, Jr. (topic)
History
- 2026-11-02: add by m2/dev
MBAAFZ1526 MBAAFZ1526
| URI | m2://inv/MBAAFZ1526 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#9UW4 (problem). In EHW82CK883/e1, problem 7.2
History
- 2026-10-29: add by m2/v0.4.12
Renu C. Laskar MBAGHNZG1Z
| URI | m2://inv/MBAGHNZG1Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renu C. Laskar, Renu C. Laskar (topic). Also Wikidata Q7313569
History
- 2026-11-02: add by m2/dev
MBAPBFD6QE MBAPBFD6QE
| URI | m2://inv/MBAPBFD6QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.06872#JAOZ (statement). In J4H3A11MMX/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
Relation to the Hirzebruch–Riemann–Roch theorem MBB4488T4G
| URI | m2://inv/MBB4488T4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem for surfaces#SZ2R, Relation to the Hirzebruch–Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement MBB57SSJ21
| URI | m2://inv/MBB57SSJ21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freidlin–Wentzell theorem#XEJD, Statement (statement)
History
- 2026-11-02: add by m2/dev
Hilbert–Arnold problem MBB7VEZTM8
| URI | m2://inv/MBB7VEZTM8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Arnold problem, Hilbert–Arnold problem (conjecture). Also Wikidata Q4379520
History
- 2026-11-02: add by m2/dev
Generalizations MBBBB7XPB7
| URI | m2://inv/MBBBB7XPB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation pattern#EEOK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Complexity of mathematical models MBBGB7X36Z
| URI | m2://inv/MBBGB7X36Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical model#UY3H, Complexity of mathematical models (unknown)
History
- 2026-11-02: add by m2/dev
MBBH71NY8X MBBH71NY8X
| URI | m2://inv/MBBH71NY8X |
|---|---|
| Kind | definition |
| 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#KLC3 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations MBBH833DHW
| URI | m2://inv/MBBH833DHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic extension#TSLT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
$\eps$-optimality MBC43FTKAZ
| URI | m2://inv/MBC43FTKAZ |
|---|---|
| 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.06755#6PBR, $\eps$-optimality (definition). In DKEX05SEXS/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Examples MBC4XVDPAP
| URI | m2://inv/MBC4XVDPAP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (variational analysis)#TULI, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition MBC718PD09
| URI | m2://inv/MBC718PD09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse–Kelley set theory#UPBM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples MBCEMTKXMP
| URI | m2://inv/MBCEMTKXMP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobordism#EF6K, Examples (example)
History
- 2026-11-02: add by m2/dev
Reciprocal complement MBCFF45NZ5
| URI | m2://inv/MBCFF45NZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#NSZZ, Reciprocal complement (statement)
History
- 2026-11-02: add by m2/v0.6.17
MBCRA8FZF5 MBCRA8FZF5
| URI | m2://inv/MBCRA8FZF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#defn-6 (definition). In E59CDZA4DP, defn, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
Affine hyperplane MBCS4PJPY5
| URI | m2://inv/MBCS4PJPY5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane#I3OD, Affine hyperplane (unknown)
History
- 2026-11-02: add by m2/dev
MBCWWP22X8 MBCWWP22X8
| URI | m2://inv/MBCWWP22X8 |
|---|---|
| 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 2603.21971#RLXB (statement). In R6KSZ9H8CY/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
Eduard Feireisl MBD4DFVZ9X
| URI | m2://inv/MBD4DFVZ9X |
|---|---|
| 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#YJZ9, Eduard Feireisl (topic)
History
- 2026-11-02: add by m2/dev
contradiction MBD6GB0JM5
| URI | m2://inv/MBD6GB0JM5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.2.3/contradiction, contradiction (concept). In Y91XFCEVHQ, index, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
MBDDHPBT3P MBDDHPBT3P
| URI | m2://inv/MBDDHPBT3P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-23 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
fifty-move rule MBDEQW62DH
| URI | m2://inv/MBDEQW62DH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q240380, fifty-move rule (definition). Also ProofWiki Definition:Chess/Draw/Fifty_Move_Rule
History
- 2026-10-26: add by m2/dev
MBDEXJ7009 MBDEXJ7009
| URI | m2://inv/MBDEXJ7009 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18377#2R7B (statement). In KYJJMC50SJ/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Bifurcation diagram MBDWMQPBRD
| URI | m2://inv/MBDWMQPBRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bifurcation diagram, Bifurcation diagram (definition). Also Wikidata Q2595915
History
- 2026-11-02: add by m2/dev
Disconnected and connected spaces MBE0R6T6PH
| URI | m2://inv/MBE0R6T6PH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#example-2, Disconnected and connected spaces (example). In RZP28ERRZV, example, section 101.5
History
- 2026-11-01: add by m2/v0.6.13
MBE2Y2J7G2 MBE2Y2J7G2
| URI | m2://inv/MBE2Y2J7G2 |
|---|---|
| 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.20600#DKNR (statement). In H5JZ2T9KVT/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
MBE4W7SR2X MBE4W7SR2X
| URI | m2://inv/MBE4W7SR2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#QSEY (statement). In CGA36VE1C5/e1, fact 3.9.3
History
- 2026-10-27: add by m2/v0.3.6
Examples MBEQ7DVNEP
| URI | m2://inv/MBEQ7DVNEP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely convex set#7ZDU, Examples (example)
History
- 2026-11-02: add by m2/dev
Erica Jen MBERRX64EY
| URI | m2://inv/MBERRX64EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erica Jen, Erica Jen (topic). Also Wikidata Q103850498
History
- 2026-11-02: add by m2/dev
MBEZN38YNA MBEZN38YNA
| URI | m2://inv/MBEZN38YNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:isset-is1type (statement). In N54F33XE07, lem, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Proposition MBF0N4WVEF
| URI | m2://inv/MBF0N4WVEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#WPX7, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Exact source-rate-free unconditional sampling MBF7CG052P
| URI | m2://inv/MBF7CG052P |
|---|---|
| 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.31607#KHH1, Exact source-rate-free unconditional sampling (statement). In H9X9WZ17TT/e1, theorem 5
History
- 2026-10-31: add by m2/v0.5.6
Mark Kisin MBFCE8QA7Q
| URI | m2://inv/MBFCE8QA7Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Kisin, Mark Kisin (topic). Also Wikidata Q6768401
History
- 2026-11-02: add by m2/dev
MBFDE73DH8 MBFDE73DH8
| URI | m2://inv/MBFDE73DH8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-18 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
first-order MBFM47HVFF
| URI | m2://inv/MBFM47HVFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#HGP9, first-order (definition)
History
- 2026-11-02: add by m2/dev
Bangdiwala's B MBFMBZB3VN
| URI | m2://inv/MBFMBZB3VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#W2TG, Bangdiwala's B (definition)
- wikipedia: Wikipedia List of statistics articles#ZXYT, Bangdiwala's B (definition)
History
- 2026-11-02: add by m2/dev
Theorem MBFQ6YK8F0
| URI | m2://inv/MBFQ6YK8F0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-bialgebra#QDZG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
3-orthoscheme MBFVGMTGS6
| URI | m2://inv/MBFVGMTGS6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedron#FMQE, 3-orthoscheme (unknown)
History
- 2026-11-02: add by m2/dev
MBG3R25NA2 MBG3R25NA2
| URI | m2://inv/MBG3R25NA2 |
|---|---|
| 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.28200#4JUI (statement)
History
- 2026-11-01: add by m2/v0.6.15
MBG7NH0HA3 MBG7NH0HA3
| URI | m2://inv/MBG7NH0HA3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-30 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
MBGC0VD4QQ MBGC0VD4QQ
| URI | m2://inv/MBGC0VD4QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#FDRA (statement). In QV16PHDXKJ/e1, proposition A.3
History
- 2026-10-31: add by m2/v0.5.6
MBGC2EC2R2 MBGC2EC2R2
| URI | m2://inv/MBGC2EC2R2 |
|---|---|
| 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.02681#0MAV (statement). In 7BBJMB97N7/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
analog clock MBGR1C9QW3
| URI | m2://inv/MBGR1C9QW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93175845, analog clock (definition). Also ProofWiki Definition:Clock/Analogue
History
- 2026-10-26: add by m2/dev
Complex conjugate MBGSERHYRC
| URI | m2://inv/MBGSERHYRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#WJ3F, Complex conjugate (definition)
History
- 2026-11-02: add by m2/dev
MBGY711E1C MBGY711E1C
| URI | m2://inv/MBGY711E1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.14811#XF1H (statement). In QA5CM6HNM1/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
MBH5YPERGW MBH5YPERGW
| URI | m2://inv/MBH5YPERGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#S25I (statement)
History
- 2026-11-01: add by m2/v0.6.15
MBHAVPATF6 MBHAVPATF6
| URI | m2://inv/MBHAVPATF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#V5GT (statement). In Y7TVAQE9PF/e1, proposition 3.11
History
- 2026-10-27: add by m2/v0.3.5
Gaussian aggregation under face-transfer conditions MBHHFQ2J1B
| URI | m2://inv/MBHHFQ2J1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#YCF3, Gaussian aggregation under face-transfer conditions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proofs from THE BOOK MBHJEJQYNH
| URI | m2://inv/MBHJEJQYNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs from THE BOOK, Proofs from THE BOOK (definition). Also Wikidata Q1167387
History
- 2026-11-02: add by m2/dev
Known facts MBHSB2GPPM
| URI | m2://inv/MBHSB2GPPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#05PP, Known facts (statement). In P3RTT99C41/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Moment (mathematics) MBHV89P3RM
| URI | m2://inv/MBHV89P3RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F390, Moment (mathematics) (definition)
- wikipedia: Wikipedia List of probability topics#5G0X, Moment (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Binary entropy function MBHXK9JF32
| URI | m2://inv/MBHXK9JF32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary entropy function, Binary entropy function (definition). Also Wikidata Q4913893
History
- 2026-11-02: add by m2/dev
Scherk surface MBJ06HHWCK
| URI | m2://inv/MBJ06HHWCK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3505307, Scherk surface (concept). Also MathWorld ScherksMinimalSurfaces
- wikipedia: Wikipedia Scherk surface, Scherk surface (definition). Also Wikidata Q3505307
History
- 2026-10-26: add by m2/dev
irreducible MBJ4RHB0J6
| URI | m2://inv/MBJ4RHB0J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#5ZBC, irreducible (definition)
History
- 2026-11-02: add by m2/dev
Systems theory in anthropology MBJ7QSGHPS
| URI | m2://inv/MBJ7QSGHPS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#6OGI, Systems theory in anthropology (unknown)
History
- 2026-11-02: add by m2/dev
MBJ9ZZ9WEP MBJ9ZZ9WEP
| URI | m2://inv/MBJ9ZZ9WEP |
|---|---|
| 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.36412#G7FE (statement). In 6HKGGCMBCK/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
Proof that is irrational MBJCC6NXHJ
| URI | m2://inv/MBJCC6NXHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#SWF5, Proof that is irrational (definition)
History
- 2026-11-02: add by m2/dev
MBJFA2W413 MBJFA2W413
| URI | m2://inv/MBJFA2W413 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10247#38EA (statement). In XWTMY44RF1/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
Semiset MBJHX5FGWF
| URI | m2://inv/MBJHX5FGWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiset, Semiset (definition). Also Wikidata Q3511196
History
- 2026-11-02: add by m2/dev
Fair coin MBJJVP3GM9
| URI | m2://inv/MBJJVP3GM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#66HY, Fair coin (definition)
History
- 2026-11-02: add by m2/dev
MBJXTE9TQC MBJXTE9TQC
| URI | m2://inv/MBJXTE9TQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#defn-6 (definition). In E59CDZA4DP, defn, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
MBK55VSTCP MBK55VSTCP
| URI | m2://inv/MBK55VSTCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#lem:val-in-termmodel-factored (statement). In PKGMM3P5QY, lem, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
Quantum digital signature MBKNP82H7R
| URI | m2://inv/MBKNP82H7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum digital signature, Quantum digital signature (definition). Also Wikidata Q7269035
History
- 2026-11-02: add by m2/dev
Maurice René Fréchet MBKRTSW48J
| URI | m2://inv/MBKRTSW48J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22662, Maurice René Fréchet (unknown). Also EoM Fréchet,_Maurice, ProofWiki Mathematician:Maurice_René_Fréchet
- wikipedia: Wikipedia René Maurice Fréchet, René Maurice Fréchet (topic). Also Wikidata Q22662
History
- 2026-10-26: add by m2/dev
Prais–Winsten estimation MBKS4RAR5P
| URI | m2://inv/MBKS4RAR5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TGF1, Prais–Winsten estimation (definition)
History
- 2026-11-02: add by m2/dev
MBKY81B31V MBKY81B31V
| URI | m2://inv/MBKY81B31V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21762#14M0 (statement). In CYDJ6JGD4A/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
MBM63ZE6NB MBM63ZE6NB
| URI | m2://inv/MBM63ZE6NB |
|---|---|
| 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.10660#70JB (statement). In 1T12A2H411/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
Properties MBM7Y0639Y
| URI | m2://inv/MBM7Y0639Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel projection#41DW, Properties (statement)
History
- 2026-11-02: add by m2/dev
symmetrization MBMAC2MQGY
| URI | m2://inv/MBMAC2MQGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3507967, symmetrization (unknown). Also EoM Symmetrization
- wikipedia: Wikipedia Symmetrization, Symmetrization (definition). Also Wikidata Q3507967
History
- 2026-10-26: add by m2/dev
Reflexive module MBMM4HZ8WP
| URI | m2://inv/MBMM4HZ8WP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#7D44, Reflexive module (definition)
History
- 2026-11-02: add by m2/dev
Algorithm MBMSBBXDNP
| URI | m2://inv/MBMSBBXDNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Column generation#CAKX, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Grafting number MBMSBSMJ9E
| URI | m2://inv/MBMSBSMJ9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matt Parker#5U9D, Grafting number (unknown)
History
- 2026-11-02: add by m2/dev
David A. Smith MBMVK1XY31
| URI | m2://inv/MBMVK1XY31 |
|---|---|
| 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#8256, David A. Smith (unknown)
History
- 2026-11-02: add by m2/dev
Puppe sequence MBN4B7SAF5
| URI | m2://inv/MBN4B7SAF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#DOH6, Puppe sequence (definition)
History
- 2026-11-02: add by m2/dev
MBNCAVWPKG MBNCAVWPKG
| URI | m2://inv/MBNCAVWPKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#Q7OZ (statement). In 73A9KWZJRD/e1, corollary 6.1
History
- 2026-10-28: add by m2/v0.4.2
MBNF4PYA7Z MBNF4PYA7Z
| URI | m2://inv/MBNF4PYA7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#7R8T (statement). In ESDKTYDHC8/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.12
MBNHQFMHEW MBNHQFMHEW
| URI | m2://inv/MBNHQFMHEW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-13 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
James H. Ware MBNZSZ9GBR
| URI | m2://inv/MBNZSZ9GBR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#PSMK, James H. Ware (unknown)
History
- 2026-11-02: add by m2/dev
MBP79QGW66 MBP79QGW66
| URI | m2://inv/MBP79QGW66 |
|---|---|
| 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.14450#M1EF (statement). In ZHTGQT07PE/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
*{Equ. 1.12},*{\S8}, *{Thm. 2.4 MBPBS7A3D9
| URI | m2://inv/MBPBS7A3D9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#MQJ5, *{Equ. 1.12},*{\S8}, *{Thm. 2.4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
converges in uniform norm MBPC93ES6X
| URI | m2://inv/MBPC93ES6X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.1.3/converges-in-uniform-norm, converges in uniform norm (concept). In E59CDZA4DP, index, section 9.1.3
History
- 2026-11-01: add by m2/v0.6.13
Definition MBPJ0XQDQ5
| URI | m2://inv/MBPJ0XQDQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphic word#SSMN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Necessary internal conflicts MBPJQKKQQY
| URI | m2://inv/MBPJQKKQQY |
|---|---|
| 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.04948#OD6Q, Necessary internal conflicts (statement). In TKHA291X5N/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.12
Rotational energy MBPV7BD1K9
| URI | m2://inv/MBPV7BD1K9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#AEAJ, Rotational energy (unknown)
History
- 2026-11-02: add by m2/dev
Continuation MBPXQBCE02
| URI | m2://inv/MBPXQBCE02 |
|---|---|
| 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#RN14, Continuation (statement)
History
- 2026-11-01: add by m2/v0.6.15
George Mackey MBPYV2SP2V
| URI | m2://inv/MBPYV2SP2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ORXZ, George Mackey (unknown)
History
- 2026-11-02: add by m2/dev
MBQ6WVHCZN MBQ6WVHCZN
| URI | m2://inv/MBQ6WVHCZN |
|---|---|
| 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.11700#K0TX (statement). In RW9AZQ1YZ2/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.3
MBQB8EE369 MBQB8EE369
| URI | m2://inv/MBQB8EE369 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01247#WX73 (example). In 6EVNCRZ118/e1, example 33
History
- 2026-10-29: add by m2/v0.4.12
MBQB8WSE7Q MBQB8WSE7Q
| URI | m2://inv/MBQB8WSE7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.17751#HTKZ (statement). In J39X0NB31S/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.5
MBQDXP0TZ6 MBQDXP0TZ6
| URI | m2://inv/MBQDXP0TZ6 |
|---|---|
| Kind | conjecture |
| 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#9IT0 (conjecture). In 6B2PCEGCYZ/e1, conjecture 1.4
History
- 2026-10-31: add by m2/v0.5.6
MBQFP8HJQN MBQFP8HJQN
| URI | m2://inv/MBQFP8HJQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#1UFH (statement). In VMWV58VWKN/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
MBQK9CV0Q6 MBQK9CV0Q6
| URI | m2://inv/MBQK9CV0Q6 |
|---|---|
| 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.05829#GRWI (statement). In ZH9NNSEKMD/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
MBQMX1G135 MBQMX1G135
| URI | m2://inv/MBQMX1G135 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09483#VD43 (example). In N1MQ8F9JN6/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
MBQQ0TM81S MBQQ0TM81S
| URI | m2://inv/MBQQ0TM81S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#QZL0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
MBR4XHV1CV MBR4XHV1CV
| URI | m2://inv/MBR4XHV1CV |
|---|---|
| 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.04673#1ZHO (statement). In KKC0CT44FJ/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
MBR9Y9XVQ7 MBR9Y9XVQ7
| URI | m2://inv/MBR9Y9XVQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.09379#8DX6 (statement). In DJXA86KDY8/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.3.5
Properties MBRDY3PADX
| URI | m2://inv/MBRDY3PADX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing set#C51Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
David van Dantzig MBREV4HXTX
| URI | m2://inv/MBREV4HXTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David van Dantzig, David van Dantzig (topic). Also Wikidata Q452576
History
- 2026-11-02: add by m2/dev
MBRKQJ741K MBRKQJ741K
| URI | m2://inv/MBRKQJ741K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#0BA7 (definition). In JXTG8KP95P/e1, definition 4.13
History
- 2026-10-30: add by m2/v0.4.12
Gardner equation MBRRYVRE44
| URI | m2://inv/MBRRYVRE44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#44UM, Gardner equation (unknown)
- wikipedia: Wikipedia List of named differential equations#RY8P, Gardner equation (unknown)
History
- 2026-11-02: add by m2/dev
Characteristic equation MBRS8XS1AD
| URI | m2://inv/MBRS8XS1AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic equation (calculus), Characteristic equation (definition). Also Wikidata Q1062971
History
- 2026-11-02: add by m2/dev
Eduard Looijenga MBS33EB8MV
| URI | m2://inv/MBS33EB8MV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FA89, Eduard Looijenga (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1JJA, Eduard Looijenga (topic)
History
- 2026-11-02: add by m2/dev
Conditional invariance MBSAFYC8YP
| URI | m2://inv/MBSAFYC8YP |
|---|---|
| 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.16248#PV3M, Conditional invariance (statement). In TP61DYMBMK/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Mondrian MBSHE2VDZ7
| URI | m2://inv/MBSHE2VDZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mondrian (software), Mondrian (definition). Also Wikidata Q6898824
History
- 2026-11-02: add by m2/dev
Formal statements MBT3NMY9EK
| URI | m2://inv/MBT3NMY9EK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of calculus#OIQR, Formal statements (statement)
History
- 2026-11-02: add by m2/dev
Formal axioms MBTG1FNHNF
| URI | m2://inv/MBTG1FNHNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal set theory#KHP8, Formal axioms (statement)
History
- 2026-11-02: add by m2/dev
Patrice Ossona de Mendez MBTGQZBNJ9
| URI | m2://inv/MBTGQZBNJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DRRK, Patrice Ossona de Mendez (topic)
History
- 2026-11-02: add by m2/dev
MBTJH2Y1G1 MBTJH2Y1G1
| URI | m2://inv/MBTJH2Y1G1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.01497#YOIE (statement). In QAKFAHRC8Z/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
MBTK5T20T7 MBTK5T20T7
| URI | m2://inv/MBTK5T20T7 |
|---|---|
| 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.28597#970T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example MBTKRXFGYB
| URI | m2://inv/MBTKRXFGYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal (geometry)#G4SR, Example (example)
History
- 2026-11-02: add by m2/dev
Ingleton's inequality MBTKVXW368
| URI | m2://inv/MBTKVXW368 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingleton's inequality, Ingleton's inequality (statement). Also Wikidata Q17086178
History
- 2026-11-02: add by m2/dev
MBTNGKTEZC MBTNGKTEZC
| URI | m2://inv/MBTNGKTEZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#JIXG (statement). In B9EX6K51RD/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
king MBTPM67ZPR
| URI | m2://inv/MBTPM67ZPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138, king (definition). Also ProofWiki Definition:Chess/Piece/King
History
- 2026-10-26: add by m2/dev
A selection of theorems (classical logic) MBTR6S3J7M
| URI | m2://inv/MBTR6S3J7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Material conditional#8OEO, A selection of theorems (classical logic) (statement)
History
- 2026-11-02: add by m2/dev
Eulerian velocity and flow MBTTVNK8D8
| URI | m2://inv/MBTTVNK8D8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06788#PDW7, Eulerian velocity and flow (definition). In B2VE3JQZD3/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
MBV2S77GD1 MBV2S77GD1
| URI | m2://inv/MBV2S77GD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35762#07XK (statement). In C9QEPN1E56/e1, theorem F.7
History
- 2026-10-30: add by m2/v0.4.12
Fundamental attribution error MBV4BWXQ9V
| URI | m2://inv/MBV4BWXQ9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#QYIQ, Fundamental attribution error (unknown)
History
- 2026-11-02: add by m2/dev
MBV9J17AEJ MBV9J17AEJ
| URI | m2://inv/MBV9J17AEJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-16 (proof). In N54F33XE07, proof, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
MBVQPKQJ4N MBVQPKQJ4N
| URI | m2://inv/MBVQPKQJ4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:inductive-cover (definition). In N54F33XE07, defn, section B.5
History
- 2026-11-01: add by m2/v0.6.13
MBW83N04AR MBW83N04AR
| URI | m2://inv/MBW83N04AR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
MBW9H3G7QD MBW9H3G7QD
| URI | m2://inv/MBW9H3G7QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#MAEV (statement). In F2XATDBRK4/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.2
MBWC2CXZC5 MBWC2CXZC5
| URI | m2://inv/MBWC2CXZC5 |
|---|---|
| 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.11031#5FQ1 (statement). In 9DMJXFRQN9/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.3
Nina Amenta MBWPCBZFXH
| URI | m2://inv/MBWPCBZFXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QJLK, Nina Amenta (unknown)
History
- 2026-11-02: add by m2/dev
MBWPKTSM2H MBWPKTSM2H
| URI | m2://inv/MBWPKTSM2H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#ex:mayer_short_exact (example). In RZP28ERRZV, example, section 54.1
History
- 2026-11-01: add by m2/v0.6.13
Two colliding acoustic waves MBWR9QRC0N
| URI | m2://inv/MBWR9QRC0N |
|---|---|
| Kind | example |
| 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 2604.11825#G0RQ, Two colliding acoustic waves (example). In 6H76S52BG7/e1, example A.5
History
- 2026-10-27: add by m2/v0.4.0
Mean value estimate MBWRFYZ1V8
| URI | m2://inv/MBWRFYZ1V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#H2DK, Mean value estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ehud Friedgut MBWW8D83TJ
| URI | m2://inv/MBWW8D83TJ |
|---|---|
| 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#YQW3, Ehud Friedgut (unknown)
History
- 2026-11-02: add by m2/dev
Bei(x) MBWWBVE18S
| URI | m2://inv/MBWWBVE18S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin functions#OFYL, Bei(x) (unknown)
History
- 2026-11-02: add by m2/dev
MBX2GE2P06 MBX2GE2P06
| URI | m2://inv/MBX2GE2P06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#J1YB (statement). In B9EX6K51RD/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
MBX73DGDJ4 MBX73DGDJ4
| URI | m2://inv/MBX73DGDJ4 |
|---|---|
| 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.23341#BYJ5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
MBXJNNA7JZ MBXJNNA7JZ
| URI | m2://inv/MBXJNNA7JZ |
|---|---|
| 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 2609.40054#R7ER (definition). In CA4C9PFM1E/e1, definition 3.1.4
History
- 2026-10-30: add by m2/v0.4.12
Special set of cusp classes MBXNGB8F65
| URI | m2://inv/MBXNGB8F65 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10576#HT14, Special set of cusp classes (definition). In N3ZA5MDZBW/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
MBXSYQ70P9 MBXSYQ70P9
| URI | m2://inv/MBXSYQ70P9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#I318 (statement). In Y43AAKZ7E6/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
Magic cube classes MBY033K9NB
| URI | m2://inv/MBY033K9NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic cube classes, Magic cube classes (definition). Also Wikidata Q17080147
History
- 2026-11-02: add by m2/dev
MBY0NTTCZA MBY0NTTCZA
| URI | m2://inv/MBY0NTTCZA |
|---|---|
| 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.06806#IXDT (statement). In ZZQT0GFMT2/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Definition MBY65YSN4H
| URI | m2://inv/MBY65YSN4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root system#3SBZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sharp threshold and critical window MBYHSE01ZX
| URI | m2://inv/MBYHSE01ZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#2RHX, Sharp threshold and critical window (statement). In T8F19ZGHF3/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
MBYMBEHQSA MBYMBEHQSA
| URI | m2://inv/MBYMBEHQSA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-216 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
MBYZJ3CF5Q MBYZJ3CF5Q
| URI | m2://inv/MBYZJ3CF5Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-24 (exercise). In E9HS8K3A52, exercise, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
MBZ3NC60MY MBZ3NC60MY
| URI | m2://inv/MBZ3NC60MY |
|---|---|
| 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 2609.24917#EJBP (statement)
History
- 2026-11-01: add by m2/v0.6.15
The smallest confluent mixed form MBZ4E1JCT6
| URI | m2://inv/MBZ4E1JCT6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-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.26110#SYZW, The smallest confluent mixed form (example)
History
- 2026-11-01: add by m2/v0.6.15
Balding–Nichols model MBZ8X5GR52
| URI | m2://inv/MBZ8X5GR52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q6MC, Balding–Nichols model (definition)
History
- 2026-11-02: add by m2/dev
gradable strategy MBZEN6C3XR
| URI | m2://inv/MBZEN6C3XR |
|---|---|
| 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 2312.01517#IP60, gradable strategy (definition). In 1H6HQSMYJW/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
Fanno flow MBZQN5TJTA
| URI | m2://inv/MBZQN5TJTA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fanno flow, Fanno flow (object). Also Wikidata Q3746868
History
- 2026-11-02: add by m2/dev
MBZRT0ZCJG MBZRT0ZCJG
| URI | m2://inv/MBZRT0ZCJG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#proof-1 (proof). In P1C114YBXG, proof, section F
History
- 2026-11-01: add by m2/v0.6.13
immanant MBZSCYQYDQ
| URI | m2://inv/MBZSCYQYDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#YDVQ, immanant (definition)
History
- 2026-11-02: add by m2/dev