Inventory rows MX
The cards of the rows of the inventory whose ids start with MX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bernhard Neumann MX00TYZBNJ
| URI | m2://inv/MX00TYZBNJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WSKZ, Bernhard Neumann (topic)
History
- 2026-11-02: add by m2/dev
Harry Kesten MX03ZJQKZ5
| URI | m2://inv/MX03ZJQKZ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#923A, Harry Kesten (topic)
History
- 2026-11-02: add by m2/dev
Three dimensions MX05280RM8
| URI | m2://inv/MX05280RM8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 26-XX, 37-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 2203.01511#NDP9, Three dimensions (example). In QA7EPHDTV2/e1, example 1.11
History
- 2026-10-27: add by m2/v0.4.0
Mariusz Lemańczyk MX0DSMTZGH
| URI | m2://inv/MX0DSMTZGH |
|---|---|
| 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#ZGYR, Mariusz Lemańczyk (topic)
History
- 2026-11-02: add by m2/dev
Infinite-order triakis triangular tiling MX0GKVN2NG
| URI | m2://inv/MX0GKVN2NG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-3 apeirogonal tiling#TE17, Infinite-order triakis triangular tiling (unknown)
History
- 2026-11-02: add by m2/dev
Examples MX0H6MCQD0
| URI | m2://inv/MX0H6MCQD0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oval (projective plane)#DMI7, Examples (example)
History
- 2026-11-02: add by m2/dev
MX0JNYYAV1 MX0JNYYAV1
| URI | m2://inv/MX0JNYYAV1 |
|---|---|
| Kind | statement |
| 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 2310.15716#UTTY (statement). In 7WDA4MEWE2/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.6
Ronald Rousseau MX0MRTG1R8
| URI | m2://inv/MX0MRTG1R8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald Rousseau, Ronald Rousseau (topic). Also Wikidata Q22965129
History
- 2026-11-02: add by m2/dev
MX1428DBTE MX1428DBTE
| URI | m2://inv/MX1428DBTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#DYGN (statement). In 6WJ0R9YEBR/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Sinkhorn's theorem MX17A3YXY3
| URI | m2://inv/MX17A3YXY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SYKJ, Sinkhorn's theorem (statement)
History
- 2026-11-02: add by m2/dev
MX1C3JA0NN MX1C3JA0NN
| URI | m2://inv/MX1C3JA0NN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30679#UT5A (definition). In Z31GMHMG7B/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Hurwitz's theorem MX1C43HSH2
| URI | m2://inv/MX1C43HSH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1630588, Hurwitz's theorem (number theory) (statement). Also Wikidata Q1630588
- thousand_plus: thousand_plus Q1630588, Hurwitz's theorem (statement). Also Wikidata Q1630588, Wikipedia Hurwitz's theorem (number theory)
- wikipedia: Wikipedia Hurwitz's theorem (number theory), Hurwitz's theorem (statement). Also Wikidata Q1630588
History
- 2026-10-26: add by m2/dev
Gamma process MX1J2HR0JV
| URI | m2://inv/MX1J2HR0JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma process, Gamma process (definition). Also Wikidata Q5520315
History
- 2026-11-02: add by m2/dev
Theorems MX1QTEK839
| URI | m2://inv/MX1QTEK839 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic theorems in algebraic K-theory#71LN, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Lisa McShane MX20MABQ5C
| URI | m2://inv/MX20MABQ5C |
|---|---|
| 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#PLCP, Lisa McShane (topic)
History
- 2026-11-02: add by m2/dev
MX22FVDRAN MX22FVDRAN
| URI | m2://inv/MX22FVDRAN |
|---|---|
| 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.22263#AVVL (statement)
History
- 2026-11-02: add by m2/v0.6.17
MX23VA5C7E MX23VA5C7E
| URI | m2://inv/MX23VA5C7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27270#IIPK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Work hardening MX29RBQXXA
| URI | m2://inv/MX29RBQXXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Work hardening, Work hardening (definition). Also Wikidata Q1501203
History
- 2026-11-02: add by m2/dev
Eric Yarber MX2ASP6R3S
| URI | m2://inv/MX2ASP6R3S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#7BS8, Eric Yarber (unknown)
History
- 2026-11-02: add by m2/dev
MX2B4F0TQB MX2B4F0TQB
| URI | m2://inv/MX2B4F0TQB |
|---|---|
| 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.30760#4TUG (statement). In MMVNRRE7N0/e1, lemma 7.3
History
- 2026-10-31: add by m2/v0.5.6
MX2C5RRJPR MX2C5RRJPR
| URI | m2://inv/MX2C5RRJPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#Y6NK (definition). In 99CQPHSSYF/e1, definition Notation
History
- 2026-10-27: add by m2/v0.3.5
Rudolf Inzinger MX2DVAG2G4
| URI | m2://inv/MX2DVAG2G4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Inzinger, Rudolf Inzinger (topic). Also Wikidata Q87409
History
- 2026-11-02: add by m2/dev
Near-uniform margins MX2E0AKJWC
| URI | m2://inv/MX2E0AKJWC |
|---|---|
| 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.19356#3DYS, Near-uniform margins (statement). In 2B5QA28NCX/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
MX2EY267DW MX2EY267DW
| URI | m2://inv/MX2EY267DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#DN0M (statement). In AGJE43FTF8/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.2
MX2KNNG59B MX2KNNG59B
| URI | m2://inv/MX2KNNG59B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#5XWJ (statement). In 9H45HQE7AZ/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Natalie Golda MX2S907YF1
| URI | m2://inv/MX2S907YF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#9JZD, Natalie Golda (unknown)
History
- 2026-11-02: add by m2/dev
Example MX2YGWPNS6
| URI | m2://inv/MX2YGWPNS6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible element#859C, Example (example)
History
- 2026-11-02: add by m2/dev
Gottlob Frege MX336V56GS
| URI | m2://inv/MX336V56GS |
|---|---|
| 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 Q60028, Gottlob Frege (unknown). Also nLab Gottlob Frege
- wikipedia: Wikipedia Gottlob Frege, Gottlob Frege (topic). Also Wikidata Q60028
History
- 2026-10-26: add by m2/dev
Benchmarks for automated theorem provers MX361HX4KN
| URI | m2://inv/MX361HX4KN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated theorem proving#EJ7S, Benchmarks for automated theorem provers (unknown)
History
- 2026-11-02: add by m2/dev
Miriam Becker MX393CXH0D
| URI | m2://inv/MX393CXH0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miriam Becker, Miriam Becker (topic). Also Wikidata Q94953464
History
- 2026-11-02: add by m2/dev
MX3BXD414G MX3BXD414G
| URI | m2://inv/MX3BXD414G |
|---|---|
| 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.15405#PBFT (statement). In 9QCYCXVF5W/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
MX3DB1R1W5 MX3DB1R1W5
| URI | m2://inv/MX3DB1R1W5 |
|---|---|
| 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.36411#91KP (statement). In 9QG5CND2RQ/e1, lemma 9.1
History
- 2026-10-30: add by m2/v0.4.12
MX3JNPEFS3 MX3JNPEFS3
| URI | m2://inv/MX3JNPEFS3 |
|---|---|
| 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.18287#41CE (statement). In ZXZN6RMN38/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.2
induction principle, for product MX3M3XKBFD
| URI | m2://inv/MX3M3XKBFD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.5/induction-principle-for-product, induction principle, for product (concept). In N54F33XE07, index, section A.5
History
- 2026-11-01: add by m2/v0.6.13
Robert Seiringer MX3PACYMFF
| URI | m2://inv/MX3PACYMFF |
|---|---|
| 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#V41H, Robert Seiringer (unknown)
History
- 2026-11-02: add by m2/dev
$C^k$ decompositions MX454N7M62
| URI | m2://inv/MX454N7M62 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#D6LT, $C^k$ decompositions (definition). In ZJ6VQCRDVR/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
Reciprocity law MX476ZSHE0
| URI | m2://inv/MX476ZSHE0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity law, Reciprocity law (statement). Also Wikidata Q7302492
History
- 2026-11-02: add by m2/dev
explosion MX47FRXAEM
| URI | m2://inv/MX47FRXAEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#50UG, explosion (definition)
History
- 2026-11-02: add by m2/dev
MX4AY2AZWX MX4AY2AZWX
| URI | m2://inv/MX4AY2AZWX |
|---|---|
| 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.21781#6GVF (statement). In FEQ72D1AX6/e1, lemma 5.19
History
- 2026-10-27: add by m2/v0.4.2
Examples MX4GJK96SZ
| URI | m2://inv/MX4GJK96SZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive element#VHTE, Examples (example)
History
- 2026-11-02: add by m2/dev
MX4JTJS022 MX4JTJS022
| URI | m2://inv/MX4JTJS022 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#6LQD (example). In VN084GGZGK/e1, example 3.26
History
- 2026-10-28: add by m2/v0.4.3
Computations MX4REJD4EJ
| URI | m2://inv/MX4REJD4EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential and normal components#12KF, Computations (definition)
History
- 2026-11-02: add by m2/dev
MX4YFE5MM1 MX4YFE5MM1
| URI | m2://inv/MX4YFE5MM1 |
|---|---|
| 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.08610#QKRY (statement). In CB2JWNS1E9/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
partial transvectant MX52PQRC7Z
| URI | m2://inv/MX52PQRC7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#1YSM, partial transvectant (definition)
History
- 2026-11-02: add by m2/dev
Deviance information criterion MX5434YSJ7
| URI | m2://inv/MX5434YSJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviance information criterion, Deviance information criterion (statement). Also Wikidata Q972431
History
- 2026-11-02: add by m2/dev
Definition MX583GYQGX
| URI | m2://inv/MX583GYQGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega and agemo subgroup#1SDO, Definition (definition)
History
- 2026-11-02: add by m2/dev
MX5EFCD1ZY MX5EFCD1ZY
| URI | m2://inv/MX5EFCD1ZY |
|---|---|
| Kind | definition |
| 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.10546#TGJE (definition). In K5R5RRPMQ5/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Definition MX5QEB9MK5
| URI | m2://inv/MX5QEB9MK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumcevian triangle#3KP7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem MX5XAGFG8H
| URI | m2://inv/MX5XAGFG8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive current#C2CY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Max Wyman MX63ZJE0W5
| URI | m2://inv/MX63ZJE0W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U2KI, Max Wyman (unknown)
History
- 2026-11-02: add by m2/dev
Masatake Mori MX645099TG
| URI | m2://inv/MX645099TG |
|---|---|
| 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#AEXZ, Masatake Mori (unknown)
History
- 2026-11-02: add by m2/dev
MX671AKN9D MX671AKN9D
| URI | m2://inv/MX671AKN9D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34382#NL0L (example). In MEF2VCAYXS/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
MX68TMKPZ1 MX68TMKPZ1
| URI | m2://inv/MX68TMKPZ1 |
|---|---|
| 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.39269#Y64I (statement). In HS4X20TX33/e1, lemma 0.44
History
- 2026-10-30: add by m2/v0.4.12
MX699BNZE2 MX699BNZE2
| URI | m2://inv/MX699BNZE2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
MX6M82R3R3 MX6M82R3R3
| URI | m2://inv/MX6M82R3R3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 100.5
History
- 2026-11-01: add by m2/v0.6.13
Tiverton, Cheshire MX6NMYEHAH
| URI | m2://inv/MX6NMYEHAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#S433, Tiverton, Cheshire (unknown)
History
- 2026-11-02: add by m2/dev
Case $k>1$ MX6RBT9KAD
| URI | m2://inv/MX6RBT9KAD |
|---|---|
| Kind | example |
| 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.24451#C38R, Case $k>1$ (example)
History
- 2026-11-01: add by m2/v0.6.15
Journal of the Royal Statistical Society, Series D MX6WBFKQGE
| URI | m2://inv/MX6WBFKQGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of the Royal Statistical Society#OM8I, Journal of the Royal Statistical Society, Series D (unknown)
History
- 2026-11-02: add by m2/dev
MX72WRWCHH MX72WRWCHH
| URI | m2://inv/MX72WRWCHH |
|---|---|
| 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.07598#ZKJU (statement). In V57RPDNR8H/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Nielsen's spiral MX75DJEJFF
| URI | m2://inv/MX75DJEJFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric integral#W80S, Nielsen's spiral (unknown)
History
- 2026-11-02: add by m2/dev
MX7A6SWNTT MX7A6SWNTT
| URI | m2://inv/MX7A6SWNTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.16834#LQQW (statement). In Q0DTV6PJJW/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
dilation MX7BM4B3RA
| URI | m2://inv/MX7BM4B3RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#9FRZ, dilation (definition)
History
- 2026-11-02: add by m2/dev
Examples MX7FZP34GX
| URI | m2://inv/MX7FZP34GX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent word#8N3W, Examples (example)
History
- 2026-11-02: add by m2/dev
Collatz–Wielandt formula MX7M94EYRQ
| URI | m2://inv/MX7M94EYRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron–Frobenius theorem#TQ5E, Collatz–Wielandt formula (statement)
History
- 2026-11-02: add by m2/dev
MX7R1C88BR MX7R1C88BR
| URI | m2://inv/MX7R1C88BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.28774#AXUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
MX7YV3975H MX7YV3975H
| URI | m2://inv/MX7YV3975H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 44.7.3
History
- 2026-11-01: add by m2/v0.6.13
Non-clausal resolution MX7YVCPXJW
| URI | m2://inv/MX7YVCPXJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution (logic)#XW36, Non-clausal resolution (unknown)
History
- 2026-11-02: add by m2/dev
MX82Z7W2DD MX82Z7W2DD
| URI | m2://inv/MX82Z7W2DD |
|---|---|
| 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.10243#UGQC (statement). In 6N7EAD1PYD/e1, corollary 1.9
History
- 2026-10-29: add by m2/v0.4.10
MX89FPTENZ MX89FPTENZ
| URI | m2://inv/MX89FPTENZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/basic-pr-lambda.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 36.4
History
- 2026-11-01: add by m2/v0.6.13
Super-prime MX8HP1SMWB
| URI | m2://inv/MX8HP1SMWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Super-prime, Super-prime (definition). Also Wikidata Q7641959
History
- 2026-11-02: add by m2/dev
Cayley MX8MTN9VTA
| URI | m2://inv/MX8MTN9VTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#KTG3, Cayley (definition)
History
- 2026-11-02: add by m2/dev
categorical variable MX8TH7QFPV
| URI | m2://inv/MX8TH7QFPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2285707, categorical variable (unknown). Also MathWorld CategoricalVariable
- wikipedia: Wikipedia Categorical variable, Categorical variable (definition). Also Wikidata Q2285707
History
- 2026-10-26: add by m2/dev
Mariusz Wodzicki MX8VCHA9J4
| URI | m2://inv/MX8VCHA9J4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ILXP, Mariusz Wodzicki (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8WC2, Mariusz Wodzicki (topic)
History
- 2026-11-02: add by m2/dev
Wilhelm Fuhrmann MX8VMF3WXT
| URI | m2://inv/MX8VMF3WXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Fuhrmann, Wilhelm Fuhrmann (topic). Also Wikidata Q12955833
History
- 2026-11-02: add by m2/dev
Opposite group MX935AVTC8
| URI | m2://inv/MX935AVTC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opposite group, Opposite group (definition). Also Wikidata Q3117899
History
- 2026-11-02: add by m2/dev
Method MX93MCNTVM
| URI | m2://inv/MX93MCNTVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleman linearization#ZO4W, Method (definition)
History
- 2026-11-02: add by m2/dev
Projective representation MX99Y00Q51
| URI | m2://inv/MX99Y00Q51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#LK3R, Projective representation (definition)
- wikipedia: Wikipedia List of representation theory topics#0R00, Projective representation (definition)
- wikipedia: Wikipedia List of abstract algebra topics#TM48, Projective representation (definition)
History
- 2026-11-02: add by m2/dev
Formal definition MX9DT0G37M
| URI | m2://inv/MX9DT0G37M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coalgebra#5EMK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Examples MX9HXPGEA3
| URI | m2://inv/MX9HXPGEA3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Kac–Moody algebra#CH55, Examples (example)
History
- 2026-11-02: add by m2/dev
MX9TEXA1W7 MX9TEXA1W7
| URI | m2://inv/MX9TEXA1W7 |
|---|---|
| Kind | statement |
| 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 2310.15716#BJ4Y (statement). In 7WDA4MEWE2/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.6
Shrinking rotation and exchange tasks MX9VKRD175
| URI | m2://inv/MX9VKRD175 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#M38P, Shrinking rotation and exchange tasks (statement). In 5E9G06XJKC/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
MX9Z38DKGD MX9Z38DKGD
| URI | m2://inv/MX9Z38DKGD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#FF9I (definition). In 317GZJ38HS/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
MXA04TJ2FZ MXA04TJ2FZ
| URI | m2://inv/MXA04TJ2FZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#AHTQ (statement). In 6WJ0R9YEBR/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
MXAC7E8HMM MXAC7E8HMM
| URI | m2://inv/MXAC7E8HMM |
|---|---|
| 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.20119#5IEY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Deletion MXADKAFZ6Z
| URI | m2://inv/MXADKAFZ6Z |
|---|---|
| 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 2609.23922#QJKZ, Deletion (statement)
History
- 2026-11-02: add by m2/v0.6.17
MXAHQHEDK5 MXAHQHEDK5
| URI | m2://inv/MXAHQHEDK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#FL2Z (statement). In FEE70SSD96/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
MXAK0P73BP MXAK0P73BP
| URI | m2://inv/MXAK0P73BP |
|---|---|
| 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.01392#6FVY (statement). In WZFKY0RSM7/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Subtyping type-escape MXAPF555GX
| URI | m2://inv/MXAPF555GX |
|---|---|
| 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.21131#TJSL, Subtyping type-escape (statement). In CPYWHRTPKC/e1, lemma 7.30
History
- 2026-10-27: add by m2/v0.4.2
Nest algebra MXAQRXN7JA
| URI | m2://inv/MXAQRXN7JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 47L35 |
| Sources | 2 |
| Outcome | open |
| Node | Nest algebra ZMY9H2XENE |
Mentions
- wikidata: Wikidata Q6997759, Nest algebra (topic). Also MathWorld NestandNestAlgebra
- wikipedia: Wikipedia Nest algebra, Nest algebra (definition). Also Wikidata Q6997759
History
- 2026-10-26: add by m2/dev
Examples MXASYMQ4G8
| URI | m2://inv/MXASYMQ4G8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C*-algebra#AS4I, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties MXB1ZSV357
| URI | m2://inv/MXB1ZSV357 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert symbol#W1D5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples MXB3XNZ7AQ
| URI | m2://inv/MXB3XNZ7AQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether's theorem#NKM4, Examples (example)
History
- 2026-11-02: add by m2/dev
MXB855WBRR MXB855WBRR
| URI | m2://inv/MXB855WBRR |
|---|---|
| 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.26307#VZS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples MXBPPCCMSP
| URI | m2://inv/MXBPPCCMSP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski–Riemann space#5XJY, Examples (example)
History
- 2026-11-02: add by m2/dev
MXBWCZ4E8B MXBWCZ4E8B
| URI | m2://inv/MXBWCZ4E8B |
|---|---|
| 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.33578#BI9N (statement). In 3XTDDKY6YE/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
MXC902PY0C MXC902PY0C
| URI | m2://inv/MXC902PY0C |
|---|---|
| Kind | statement |
| 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 2610.11800#13FC (statement). In 8TSZ2E32K3/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.3
Projection MXCJPBR4JY
| URI | m2://inv/MXCJPBR4JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (relational algebra), Projection (definition). Also Wikidata Q3134666
History
- 2026-11-02: add by m2/dev
MXCPNBDHEF MXCPNBDHEF
| URI | m2://inv/MXCPNBDHEF |
|---|---|
| Kind | example |
| 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 2211.16099#GZ16 (example). In 91RRFW0K5D/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Faraday constant MXCWJ76XXP
| URI | m2://inv/MXCWJ76XXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#DK90, Faraday constant (unknown)
History
- 2026-11-02: add by m2/dev
Edward Frenkel MXD24N06B5
| URI | m2://inv/MXD24N06B5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VHH0, Edward Frenkel (unknown)
History
- 2026-11-02: add by m2/dev
Pankaj K. Agarwal MXD3MYSCR6
| URI | m2://inv/MXD3MYSCR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pankaj K. Agarwal, Pankaj K. Agarwal (topic). Also Wikidata Q7131287
History
- 2026-11-02: add by m2/dev
James H. Wilkinson MXD9PHSKCV
| URI | m2://inv/MXD9PHSKCV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James H. Wilkinson, James H. Wilkinson (topic). Also Wikidata Q62877
History
- 2026-11-02: add by m2/dev
intensional logic MXDAYB0NKJ
| URI | m2://inv/MXDAYB0NKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6044335, intensional logic (definition). Also ProofWiki Definition:Intensional_Logic
- wikipedia: Wikipedia Intensional logic, Intensional logic (definition). Also Wikidata Q6044335
History
- 2026-10-26: add by m2/dev
Apophantic MXDFQEEFXE
| URI | m2://inv/MXDFQEEFXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apophantic, Apophantic (definition). Also Wikidata Q4780492
History
- 2026-11-02: add by m2/dev
Newton backward divided difference formula MXDJ501898
| URI | m2://inv/MXDJ501898 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton polynomial#5PLR, Newton backward divided difference formula (statement)
History
- 2026-11-02: add by m2/dev
MXDN9KW3YD MXDN9KW3YD
| URI | m2://inv/MXDN9KW3YD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12120#5NAL (statement). In G9D4R1AXP8/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
$C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 1 MXDQVD1G4B
| URI | m2://inv/MXDQVD1G4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11911#U2EO, $C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 1 (statement). In 5BYE5NYB89/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.3
Definition MXDSACHV8S
| URI | m2://inv/MXDSACHV8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjugate matrix#D5V0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Heegaard Floer homology MXDV2C5M87
| URI | m2://inv/MXDV2C5M87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floer homology#0KE9, Heegaard Floer homology (unknown)
History
- 2026-11-02: add by m2/dev
Abstract Residual Network MXDX7G9NRD
| URI | m2://inv/MXDX7G9NRD |
|---|---|
| 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 2610.14344#2V5B, Abstract Residual Network (definition). In ZVCD8RG1JJ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Phase space method MXE44PY5KK
| URI | m2://inv/MXE44PY5KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase space method, Phase space method (definition). Also Wikidata Q7180967
History
- 2026-11-02: add by m2/dev
Definition MXE5TP1AY5
| URI | m2://inv/MXE5TP1AY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini continuity#7RCS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Construction of a totally nonsingular $A$-balancing matrix MXE7EC7C2H
| URI | m2://inv/MXE7EC7C2H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11043#35R2, Construction of a totally nonsingular $A$-balancing matrix (definition). In R3NJYPZH52/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.3
MXEA0TR5E8 MXEA0TR5E8
| URI | m2://inv/MXEA0TR5E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#KY2T (statement). In V8MYP6MBAZ/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Scan exactness MXEFDE7FDG
| URI | m2://inv/MXEFDE7FDG |
|---|---|
| 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.34831#8VXY, Scan exactness (statement). In YF36GM7X5Y/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
MXER5N2VJ3 MXER5N2VJ3
| URI | m2://inv/MXER5N2VJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 14-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.20361#V00B (statement)
History
- 2026-11-02: add by m2/v0.6.18
MXERX03R53 MXERX03R53
| URI | m2://inv/MXERX03R53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#DMDO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Serre's theorem on affineness MXF59P3CC5
| URI | m2://inv/MXF59P3CC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine variety#EG8P, Serre's theorem on affineness (statement)
History
- 2026-11-02: add by m2/dev
MXF5ZJS9SQ MXF5ZJS9SQ
| URI | m2://inv/MXF5ZJS9SQ |
|---|---|
| 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.13691#HA1U (statement). In 3YTKTYTHT6/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
MXFCBDSATV MXFCBDSATV
| URI | m2://inv/MXFCBDSATV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#F9HK (statement). In 55QFMZQ5HM/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.6
borderline case MXFCVM16NJ
| URI | m2://inv/MXFCVM16NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KWJY, borderline case (definition)
History
- 2026-11-02: add by m2/dev
canonicity MXFKKR9H15
| URI | m2://inv/MXFKKR9H15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124416742, canonicity (unknown). Also MathWorld Canonical
History
- 2026-10-26: add by m2/dev
Theorem MXFQART0NS
| URI | m2://inv/MXFQART0NS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid#SOGZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Consumer non-interference MXG2RWBVNE
| URI | m2://inv/MXG2RWBVNE |
|---|---|
| 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.15824#MGD9, Consumer non-interference (statement). In GDZXR87FJV/e1, statement 6
History
- 2026-10-28: add by m2/v0.4.2
MXG3H3FJV9 MXG3H3FJV9
| URI | m2://inv/MXG3H3FJV9 |
|---|---|
| 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.20860#1RPI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hankel transform MXG8AQB642
| URI | m2://inv/MXG8AQB642 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#KW9Y, Hankel transform (definition)
History
- 2026-11-02: add by m2/dev
Herman Chernoff MXG8VR8FTE
| URI | m2://inv/MXG8VR8FTE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#D9QA, Herman Chernoff (topic)
History
- 2026-11-02: add by m2/dev
Breather MXG9J7GMVR
| URI | m2://inv/MXG9J7GMVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Breather, Breather (definition). Also Wikidata Q5254599
History
- 2026-11-02: add by m2/dev
Finite field MXGDRKZWST
| URI | m2://inv/MXGDRKZWST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#SCP9, Finite field (definition)
- wikipedia: Wikipedia List of abstract algebra topics#JM94, Finite field (definition)
History
- 2026-11-02: add by m2/dev
field MXGF1SSE62
| URI | m2://inv/MXGF1SSE62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#C0KF, field (definition)
History
- 2026-11-02: add by m2/dev
MXGGYSX3NA MXGGYSX3NA
| URI | m2://inv/MXGGYSX3NA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-34 (proof). In N54F33XE07, proof, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
MXGHR3Z5AW MXGHR3Z5AW
| URI | m2://inv/MXGHR3Z5AW |
|---|---|
| Kind | example |
| 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.07445#PX7H (example). In F1BM3Q8125/e1, example 3.9
History
- 2026-10-29: add by m2/v0.4.10
MXGQWKF7KA MXGQWKF7KA
| URI | m2://inv/MXGQWKF7KA |
|---|---|
| Kind | definition |
| 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.17135#OHF2 (definition). In XX1J2REXY2/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Peter Hislop MXGXFVXG88
| URI | m2://inv/MXGXFVXG88 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Hislop, Peter Hislop (topic). Also Wikidata Q28037072
History
- 2026-11-02: add by m2/dev
MXGXPABDW9 MXGXPABDW9
| URI | m2://inv/MXGXPABDW9 |
|---|---|
| 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.16886#YNV8 (statement). In Y8QQAH7VCF/e1, lemma C.6
History
- 2026-10-28: add by m2/v0.4.2
Approximation MXH2RYHWPT
| URI | m2://inv/MXH2RYHWPT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-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 2609.20683#L6G0, Approximation (definition)
History
- 2026-11-02: add by m2/v0.6.18
Block bound MXH3P9D3NP
| URI | m2://inv/MXH3P9D3NP |
|---|---|
| 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.21461#X1VM, Block bound (statement). In DWQANBV7B7/e1, lemma B.5
History
- 2026-10-27: add by m2/v0.4.2
Taylor remainder using both derivative bounds MXH9QZCR2C
| URI | m2://inv/MXH9QZCR2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.18739#FZGC, Taylor remainder using both derivative bounds (statement). In VGJXQRC44C/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
MXH9R481Z9 MXH9R481Z9
| URI | m2://inv/MXH9R481Z9 |
|---|---|
| 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.20207#1TS0 (statement). In 1MPH7GCFJ2/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
MXHATGQETP MXHATGQETP
| URI | m2://inv/MXHATGQETP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/lebesgue-int.tex#definition-1 (definition). In RZP28ERRZV, definition, section 65.1
History
- 2026-11-01: add by m2/v0.6.13
MXHB76VNGB MXHB76VNGB
| URI | m2://inv/MXHB76VNGB |
|---|---|
| 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.16225#N0CB (definition). In H3DJV9YQW1/e1, definition 4.12
History
- 2026-10-28: add by m2/v0.4.2
MXHEK5XVRP MXHEK5XVRP
| URI | m2://inv/MXHEK5XVRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#CHWW (statement). In ZNBQD5WH1M/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
MXHGZBP717 MXHGZBP717
| URI | m2://inv/MXHGZBP717 |
|---|---|
| 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 2110.14727#9PD5 (definition). In EZTB8NZGVT/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Otto Preminger MXHK1EJRDX
| URI | m2://inv/MXHK1EJRDX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#MNE6, Otto Preminger (unknown)
History
- 2026-11-02: add by m2/dev
MXHK3AG6BQ MXHK3AG6BQ
| URI | m2://inv/MXHK3AG6BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#Y4IG (statement). In TZ5BMDXRQZ/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
stoicism MXHP1MVR4M
| URI | m2://inv/MXHP1MVR4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48235, stoicism (definition). Also ProofWiki Definition:Stoic_School
- wikipedia: Wikipedia Stoicism, Stoicism (definition). Also Wikidata Q48235
History
- 2026-10-26: add by m2/dev
MXJ52V5VN1 MXJ52V5VN1
| URI | m2://inv/MXJ52V5VN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.26572#MV3O (statement)
History
- 2026-11-01: add by m2/v0.6.15
MXJ9KV5ZQJ MXJ9KV5ZQJ
| URI | m2://inv/MXJ9KV5ZQJ |
|---|---|
| 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 2609.21121#P24O (statement)
History
- 2026-11-02: add by m2/v0.6.18
MXJB0NRT0A MXJB0NRT0A
| URI | m2://inv/MXJB0NRT0A |
|---|---|
| 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 2208.04502#9AXZ (statement). In BT6E9BXXF3/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Statistical regularity MXJC84KRZQ
| URI | m2://inv/MXJC84KRZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical regularity, Statistical regularity (definition). Also Wikidata Q7604412
History
- 2026-11-02: add by m2/dev
MXJDAA09F3 MXJDAA09F3
| URI | m2://inv/MXJDAA09F3 |
|---|---|
| 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.38844#9BIO (statement). In PX8D91DQCX/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
MXJECRQR0G MXJECRQR0G
| URI | m2://inv/MXJECRQR0G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-4 (example). In VNMV985MXX, example, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Dissipation-only rapid mixing is not additive MXJFPMCWWR
| URI | m2://inv/MXJFPMCWWR |
|---|---|
| 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.36016#F3AO, Dissipation-only rapid mixing is not additive (statement). In NAM9ZMPHZ9/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
LDP for seed-induced tomography MXJN0MWJNP
| URI | m2://inv/MXJN0MWJNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-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.40271#21NT, LDP for seed-induced tomography (statement). In 9MXMRKFKDW/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Expansion and retrieval periods MXJSC2RHPK
| URI | m2://inv/MXJSC2RHPK |
|---|---|
| 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 math/0003117#LBCY, Expansion and retrieval periods (definition). In WD2NCBV9F0/e1, definition 12.7
History
- 2026-10-27: add by m2/v0.3.5
Monotone cubic interpolation MXJV7KC59A
| URI | m2://inv/MXJV7KC59A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#BXXF, Monotone cubic interpolation (definition)
History
- 2026-11-02: add by m2/dev
MXJXG9J4RM MXJXG9J4RM
| URI | m2://inv/MXJXG9J4RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28880#3CQA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example MXK0P8KAQY
| URI | m2://inv/MXK0P8KAQY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's circuit laws#G8L4, Example (example)
History
- 2026-11-02: add by m2/dev
order, linear MXKNTZ12CE
| URI | m2://inv/MXKNTZ12CE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/order-linear, order, linear (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions MXM6BQJEJ6
| URI | m2://inv/MXM6BQJEJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overring#L3F2, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Local operator return controls infinite-temperature thermalisation MXM90245T4
| URI | m2://inv/MXM90245T4 |
|---|---|
| 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.16351#MZL8, Local operator return controls infinite-temperature thermalisation (statement). In 1QSV7EQE3T/e1, theorem S6
History
- 2026-10-28: add by m2/v0.4.2
Definition MXM9J3SHS9
| URI | m2://inv/MXM9J3SHS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid ring#HXU1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition MXMEKCRQTK
| URI | m2://inv/MXMEKCRQTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric tensor#556B, Definition (definition)
History
- 2026-11-02: add by m2/dev
MXMFR95T9J MXMFR95T9J
| URI | m2://inv/MXMFR95T9J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
MXMGYY8D9Q MXMGYY8D9Q
| URI | m2://inv/MXMGYY8D9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#EPMA (statement). In F7TDYCHCSE/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
MXMJWY79YM MXMJWY79YM
| URI | m2://inv/MXMJWY79YM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-1-elem-rules.xml#example-1 (example). In 907G4C4EJ1, example, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
MXMMBTC9ZD MXMMBTC9ZD
| URI | m2://inv/MXMMBTC9ZD |
|---|---|
| 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.20702#THY7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mean square weighted deviation MXMQM38Q5X
| URI | m2://inv/MXMQM38Q5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9DUR, Mean square weighted deviation (definition)
History
- 2026-11-02: add by m2/dev
Truncated normal distribution MXMSC04X6F
| URI | m2://inv/MXMSC04X6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated normal distribution, Truncated normal distribution (definition). Also Wikidata Q6123589
History
- 2026-11-02: add by m2/dev
divisor sum function MXN249DV7S
| URI | m2://inv/MXN249DV7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4047453, divisor sum function (definition). Also OEIS A000203, ProofWiki Definition:Divisor_Sum_Function
History
- 2026-10-26: add by m2/dev
Vitalism MXN5T8MMYK
| URI | m2://inv/MXN5T8MMYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#PGZZ, Vitalism (unknown)
History
- 2026-11-02: add by m2/dev
MXN7Y86YMG MXN7Y86YMG
| URI | m2://inv/MXN7Y86YMG |
|---|---|
| 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.22667#MO8H (statement)
History
- 2026-11-02: add by m2/v0.6.17
MXNCXCT8AB MXNCXCT8AB
| URI | m2://inv/MXNCXCT8AB |
|---|---|
| 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 2304.03611#EB6L (definition). In 75E8ZB1CBV/e1, definition 3.3.2
History
- 2026-10-27: add by m2/v0.4.0
MXNPSXN4W1 MXNPSXN4W1
| URI | m2://inv/MXNPSXN4W1 |
|---|---|
| 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 2508.19709#G5VE (statement). In 57PQWSSZMY/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
MXNRDMQG8T MXNRDMQG8T
| URI | m2://inv/MXNRDMQG8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#A04F (statement). In Z7E16PFFCP/e1, lemma 3.26
History
- 2026-10-30: add by m2/v0.4.12
Definition MXNTHQRKCZ
| URI | m2://inv/MXNTHQRKCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus (algebraic number theory)#XROD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Injectivity radius MXP0FW64PP
| URI | m2://inv/MXP0FW64PP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Riemannian and metric geometry#Z5XY, Injectivity radius (unknown)
History
- 2026-11-02: add by m2/dev
MXP25PXNYY MXP25PXNYY
| URI | m2://inv/MXP25PXNYY |
|---|---|
| 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.27414#D54I (statement)
History
- 2026-11-01: add by m2/v0.6.15
MXP3FS0NW5 MXP3FS0NW5
| URI | m2://inv/MXP3FS0NW5 |
|---|---|
| Kind | example |
| 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 2610.13063#KUSM (example). In R5AFFWBMAF/e1, example A.3
History
- 2026-10-28: add by m2/v0.4.2
MXP4NE6HR2 MXP4NE6HR2
| URI | m2://inv/MXP4NE6HR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#CGLI (statement). In RZWJ0AT8W5/e1, theorem 4.4
History
- 2026-10-31: add by m2/v0.5.6
Pure subgroup MXP5N46K4J
| URI | m2://inv/MXP5N46K4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure subgroup, Pure subgroup (definition). Also Wikidata Q7261158
History
- 2026-11-02: add by m2/dev
Stratification MXPCW215AB
| URI | m2://inv/MXPCW215AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stratification (mathematics), Stratification (definition). Also Wikidata Q1460196
History
- 2026-11-02: add by m2/dev
index group MXPQ117S1A
| URI | m2://inv/MXPQ117S1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#9KQK, index group (definition)
History
- 2026-11-02: add by m2/dev
chi-squared distribution MXQ18SGKZE
| URI | m2://inv/MXQ18SGKZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#EUE9, chi-squared distribution (definition)
History
- 2026-11-02: add by m2/dev
MXQ53AKTBZ MXQ53AKTBZ
| URI | m2://inv/MXQ53AKTBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#224K (statement). In 79H1DEK4M9/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
MXQ5VKC0MV MXQ5VKC0MV
| URI | m2://inv/MXQ5VKC0MV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#2ENM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dold–Kan correspondence MXQFQ2YT3E
| URI | m2://inv/MXQFQ2YT3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dold–Kan correspondence PY4EWJ8BQA |
Mentions
- wikidata: Wikidata Q16962174, Dold–Kan correspondence (unknown). Also nLab Dold-Kan correspondence
- wikipedia: Wikipedia Dold–Kan correspondence, Dold–Kan correspondence (definition). Also Wikidata Q16962174
History
- 2026-10-26: add by m2/dev
MXQJQ12PP2 MXQJQ12PP2
| URI | m2://inv/MXQJQ12PP2 |
|---|---|
| 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.39793#YQAJ (definition). In 380M45ANWF/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Trois-Ponts MXQK35Z8BG
| URI | m2://inv/MXQK35Z8BG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GQ8S, Trois-Ponts (unknown)
History
- 2026-11-02: add by m2/dev
Empty set MXQK3T72WF
| URI | m2://inv/MXQK3T72WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#PEIT, Empty set (definition)
- wikipedia: Wikipedia List of types of sets#UBAS, Empty set (definition)
History
- 2026-11-02: add by m2/dev
MXQKFJQYQC MXQKFJQYQC
| URI | m2://inv/MXQKFJQYQC |
|---|---|
| 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.07828#Y27S (example). In TWGMVT1N1G/e1, example 6.4
History
- 2026-10-29: add by m2/v0.4.10
MXQQ6AAD5K MXQQ6AAD5K
| URI | m2://inv/MXQQ6AAD5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#6OHO (statement). In A798V7TX99/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Derivation from more basic principles MXQS3C9GAA
| URI | m2://inv/MXQS3C9GAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Born rule#45WB, Derivation from more basic principles (statement)
History
- 2026-11-02: add by m2/dev
MXQXS39G3G MXQXS39G3G
| URI | m2://inv/MXQXS39G3G |
|---|---|
| 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 2509.21444#30EO (statement). In CTVPA2FQT1/e1, proposition 3.3.1
History
- 2026-10-27: add by m2/v0.4.0
cartesian morphism MXR1N8M4FA
| URI | m2://inv/MXR1N8M4FA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#Z6QT, cartesian morphism (definition)
History
- 2026-11-02: add by m2/dev
Uses MXR2W8DZBQ
| URI | m2://inv/MXR2W8DZBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SecureLog#PZU4, Uses (example)
History
- 2026-11-02: add by m2/dev
Le Potier's vanishing theorem MXR71JYABH
| URI | m2://inv/MXR71JYABH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Le Potier's vanishing theorem, Le Potier's vanishing theorem (statement). Also Wikidata Q116980617
History
- 2026-11-02: add by m2/dev
MXR9FW5YAA MXR9FW5YAA
| URI | m2://inv/MXR9FW5YAA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.20385#NBQ6 (example). In 54HS9AHWPE/e1, example 1.3
History
- 2026-10-27: add by m2/v0.4.2
Control chart MXRBS7YEV2
| URI | m2://inv/MXRBS7YEV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WV3K, Control chart (definition)
- wikipedia: Wikipedia List of graphical methods#MTHB, Control chart (definition)
- wikipedia: Wikipedia List of graphical methods#N8WM, Control chart (definition)
History
- 2026-11-02: add by m2/dev
Scholarly method MXRP8Y3TG4
| URI | m2://inv/MXRP8Y3TG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scholarly method, Scholarly method (topic). Also Wikidata Q17079481
History
- 2026-11-02: add by m2/dev
Properties MXRQF6TCWM
| URI | m2://inv/MXRQF6TCWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated dodecahedron#KN1P, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ludomir Newelski MXRRMVVFNW
| URI | m2://inv/MXRRMVVFNW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludomir Newelski, Ludomir Newelski (topic). Also Wikidata Q11763562
History
- 2026-11-02: add by m2/dev
MXRSJ3643J MXRSJ3643J
| URI | m2://inv/MXRSJ3643J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01498#1EVD (statement). In 75GDSC8460/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Mahler polynomial MXRW4TV78X
| URI | m2://inv/MXRW4TV78X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6734200, Mahler polynomial (concept). Also MathWorld MahlerPolynomial
- wikipedia: Wikipedia Mahler polynomial, Mahler polynomial (definition). Also Wikidata Q6734200
History
- 2026-10-26: add by m2/dev
Surface formula for a piecewise-affine Gaussian field MXRXRP50FX
| URI | m2://inv/MXRXRP50FX |
|---|---|
| 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.32695#HA94, Surface formula for a piecewise-affine Gaussian field (statement). In VQSF2E35BX/e1, lemma C.5
History
- 2026-10-31: add by m2/v0.5.6
Kang Dong-suk MXS3HKA4Q7
| URI | m2://inv/MXS3HKA4Q7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#3L3F, Kang Dong-suk (unknown)
History
- 2026-11-02: add by m2/dev
MXSBZ9RC0Q MXSBZ9RC0Q
| URI | m2://inv/MXSBZ9RC0Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#3EHV (definition). In V2NTW27MSJ/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Interpolation MXSF49ZVJ8
| URI | m2://inv/MXSF49ZVJ8 |
|---|---|
| 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 2610.00501#0W9O, Interpolation (statement). In FTPW1SZ8D3/e1, lemma C.4
History
- 2026-10-30: add by m2/v0.4.12
MXSJQ0BVYR MXSJQ0BVYR
| URI | m2://inv/MXSJQ0BVYR |
|---|---|
| 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.25880#T43Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
descent algebra MXSVH8JPAJ
| URI | m2://inv/MXSVH8JPAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16944786, descent algebra (unknown). Also nLab descent algebra
- wikipedia: Wikipedia Descent algebra, Descent algebra (definition). Also Wikidata Q16944786
History
- 2026-10-26: add by m2/dev
Brewster window MXSX547ZXM
| URI | m2://inv/MXSX547ZXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brewster's angle#NDME, Brewster window (unknown)
History
- 2026-11-02: add by m2/dev
MXT0SZ39Y7 MXT0SZ39Y7
| URI | m2://inv/MXT0SZ39Y7 |
|---|---|
| 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.19852#YRE3 (statement). In SPW2D8X2PG/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
MXV18NJQNP MXV18NJQNP
| URI | m2://inv/MXV18NJQNP |
|---|---|
| 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.04172#POEX (statement). In 9Q1D1NMTTS/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
Varahamihira MXV3PH3BTW
| URI | m2://inv/MXV3PH3BTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#PIXW, Varahamihira (unknown)
History
- 2026-11-02: add by m2/dev
Rapid mixing does not imply MLSI MXVHHX99HM
| URI | m2://inv/MXVHHX99HM |
|---|---|
| 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.36016#HXW2, Rapid mixing does not imply MLSI (statement). In NAM9ZMPHZ9/e1, lemma 3.12
History
- 2026-10-30: add by m2/v0.4.12
pentagon, Mac Lane MXVHQRKRRV
| URI | m2://inv/MXVHQRKRRV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.2/pentagon-mac-lane, pentagon, Mac Lane (concept). In N54F33XE07, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
MXVTRZF6ES MXVTRZF6ES
| URI | m2://inv/MXVTRZF6ES |
|---|---|
| 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 1012.0963#UZ69 (statement). In TSA766V8F8/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
MXW28B7KTE MXW28B7KTE
| URI | m2://inv/MXW28B7KTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#SE6S (statement). In CY1FE8W1ZW/e1, lemma 0.12
History
- 2026-10-27: add by m2/v0.3.5
MXW680PWX7 MXW680PWX7
| URI | m2://inv/MXW680PWX7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#mv:exercise:linepiece (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
MXW75DA261 MXW75DA261
| URI | m2://inv/MXW75DA261 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-17 (proof). In E59CDZA4DP, proof, section 8.4.2
History
- 2026-11-01: add by m2/v0.6.13
Statement of the lemma MXWA8F4FMR
| URI | m2://inv/MXWA8F4FMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan's lemma (potential theory)#O0UO, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
MXWE46YZNY MXWE46YZNY
| URI | m2://inv/MXWE46YZNY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#dproblem-2 (exercise). In RZP28ERRZV, dproblem, section 33.5
History
- 2026-11-01: add by m2/v0.6.13
Samuil Shatunovsky MXWJKGE90K
| URI | m2://inv/MXWJKGE90K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#16B4, Samuil Shatunovsky (unknown)
History
- 2026-11-02: add by m2/dev
Sophistical Refutations MXWSXMVW14
| URI | m2://inv/MXWSXMVW14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophistical Refutations, Sophistical Refutations (definition). Also Wikidata Q766539
History
- 2026-11-02: add by m2/dev
Rung 2 MXX0F1SJGT
| URI | m2://inv/MXX0F1SJGT |
|---|---|
| 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.27766#NQ3H, Rung 2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Selected-direction ordering MXX69H3V5B
| URI | m2://inv/MXX69H3V5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#XJVX, Selected-direction ordering (statement). In TTEAQA1XXR/e1, proposition F.5
History
- 2026-10-28: add by m2/v0.4.3
MXX7VN8S7N MXX7VN8S7N
| URI | m2://inv/MXX7VN8S7N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-57 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Generalization MXXHH2D5BM
| URI | m2://inv/MXXHH2D5BM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krasner's lemma#RH6F, Generalization (statement)
History
- 2026-11-02: add by m2/dev
yotta MXY3P75WF2
| URI | m2://inv/MXY3P75WF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108474, yotta (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/yotta-
History
- 2026-10-26: add by m2/dev
MXY5JAYWWQ MXY5JAYWWQ
| URI | m2://inv/MXY5JAYWWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15648#JHVF (statement). In 5TM775V8HQ/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Hadamard Equivalence MXY942VAQT
| URI | m2://inv/MXY942VAQT |
|---|---|
| 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 2609.34856#50VG, Hadamard Equivalence (definition). In MRR92GQNZE/e1, definition 3.10
History
- 2026-10-30: add by m2/v0.4.12
Werner Müller MXYB0D4J43
| URI | m2://inv/MXYB0D4J43 |
|---|---|
| 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#04NV, Werner Müller (topic)
- wikipedia: Wikipedia List of German mathematicians#RPFT, Werner Müller (topic)
History
- 2026-11-02: add by m2/dev
MXYCBRMBM6 MXYCBRMBM6
| URI | m2://inv/MXYCBRMBM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24623#XRAB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Singular point of a curve MXYQH186SS
| URI | m2://inv/MXYQH186SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#V7ID, Singular point of a curve (definition)
History
- 2026-11-02: add by m2/dev
MXYTD26RZ4 MXYTD26RZ4
| URI | m2://inv/MXYTD26RZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#KTHS (statement)
History
- 2026-11-01: add by m2/v0.6.15
MXZ33NCKYN MXZ33NCKYN
| URI | m2://inv/MXZ33NCKYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#PCUK (statement). In SBZNH932ZV/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Applications MXZ3P68JNR
| URI | m2://inv/MXZ3P68JNR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erlang distribution#1W1X, Applications (example)
History
- 2026-11-02: add by m2/dev
eigenfunction MXZ6ET8KGV
| URI | m2://inv/MXZ6ET8KGV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.1.1/eigenfunction, eigenfunction (concept). In E9HS8K3A52, index, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
MXZB5143MH MXZB5143MH
| URI | m2://inv/MXZB5143MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#ZXS6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition MXZJ0X3H69
| URI | m2://inv/MXZJ0X3H69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atkinson index#YFY5, Definition (definition)
History
- 2026-11-02: add by m2/dev
MXZWCKRXZ7 MXZWCKRXZ7
| URI | m2://inv/MXZWCKRXZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15648#65Z7 (statement). In 5TM775V8HQ/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
MXZX4C2D1Q MXZX4C2D1Q
| URI | m2://inv/MXZX4C2D1Q |
|---|---|
| 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.05646#FLH4 (statement). In K7Z6TZDFYK/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Statement MXZZ7HPF4S
| URI | m2://inv/MXZZ7HPF4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dugundji extension theorem#7TLR, Statement (statement)
History
- 2026-11-02: add by m2/dev