Inventory rows MA
The cards of the rows of the inventory whose ids start with MA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
MA037V7KY3 MA037V7KY3
| URI | m2://inv/MA037V7KY3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/counterfactuals/minimal-change-semantics/transitivity.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Burstcoin MA053XWN1N
| URI | m2://inv/MA053XWN1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of space#C0F5, Burstcoin (unknown)
History
- 2026-11-02: add by m2/dev
MA05VS9WAP MA05VS9WAP
| URI | m2://inv/MA05VS9WAP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#1SN9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic semantics MA07SRCE2H
| URI | m2://inv/MA07SRCE2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic semantics (mathematical logic), Algebraic semantics (definition). Also Wikidata Q4724013
History
- 2026-11-02: add by m2/dev
Moritz Abraham Stern MA081EH8QV
| URI | m2://inv/MA081EH8QV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#0DEN, Moritz Abraham Stern (unknown)
History
- 2026-11-02: add by m2/dev
Regularity of the Null Hamiltonian MA085ZKMVA
| URI | m2://inv/MA085ZKMVA |
|---|---|
| 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.16705#KLBU, Regularity of the Null Hamiltonian (statement). In B48YQVGAF5/e1, lemma 6.13
History
- 2026-10-28: add by m2/v0.4.2
George A. Milliken MA09F06N3Z
| URI | m2://inv/MA09F06N3Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HCGF, George A. Milliken (unknown)
History
- 2026-11-02: add by m2/dev
Binary MA0ACQ0AQV
| URI | m2://inv/MA0ACQ0AQV |
|---|---|
| Kind | example |
| 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.23106#USAT, Binary (example)
History
- 2026-11-02: add by m2/v0.6.17
Application MA0DFWXQ84
| URI | m2://inv/MA0DFWXQ84 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Craps principle#YDPZ, Application (example)
History
- 2026-11-02: add by m2/dev
image MA0HAEF32N
| URI | m2://inv/MA0HAEF32N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#NI8G, image (definition)
History
- 2026-11-02: add by m2/dev
Julius Caesar MA0HS35K25
| URI | m2://inv/MA0HS35K25 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#6XXG, Julius Caesar (unknown)
History
- 2026-11-02: add by m2/dev
MA0HY7MV84 MA0HY7MV84
| URI | m2://inv/MA0HY7MV84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#926Q (statement). In 34JGRZ2M5F/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
MA0MDWAXZK MA0MDWAXZK
| URI | m2://inv/MA0MDWAXZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#6UI5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples MA0Q04DKF7
| URI | m2://inv/MA0Q04DKF7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Macaulay ring#0OYG, Examples (example)
History
- 2026-11-02: add by m2/dev
MA0RR01S09 MA0RR01S09
| URI | m2://inv/MA0RR01S09 |
|---|---|
| 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.04675#N6LN (example). In RDXNFF2CZP/e1, example 8
History
- 2026-10-29: add by m2/v0.4.12
MA117ZZ969 MA117ZZ969
| URI | m2://inv/MA117ZZ969 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-48 (exercise). In VNMV985MXX, exercise, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Harmonic quadruple MA14KFTP5W
| URI | m2://inv/MA14KFTP5W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective harmonic conjugate#AN2R, Harmonic quadruple (unknown)
History
- 2026-11-02: add by m2/dev
MA1M431FGT MA1M431FGT
| URI | m2://inv/MA1M431FGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
Kernel of Unary Clock Dissipator MA1MPX7JN2
| URI | m2://inv/MA1MPX7JN2 |
|---|---|
| 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.26769#KTCK, Kernel of Unary Clock Dissipator (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties MA1W7R9CTP
| URI | m2://inv/MA1W7R9CTP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genocchi number#5HF1, Properties (statement)
History
- 2026-11-02: add by m2/dev
MA22Q4TY4S MA22Q4TY4S
| URI | m2://inv/MA22Q4TY4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03407#EAF7 (statement). In MPGC7SNYAG/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
MA2AZ6T3KV MA2AZ6T3KV
| URI | m2://inv/MA2AZ6T3KV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#KX46 (statement). In PHXJ87HKYB/e1, lemma 2.13
History
- 2026-10-31: add by m2/v0.5.6
Example MA2BX8MP6G
| URI | m2://inv/MA2BX8MP6G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Job-shop scheduling#5XYJ, Example (example)
History
- 2026-11-02: add by m2/dev
MA36ZD5BC8 MA36ZD5BC8
| URI | m2://inv/MA36ZD5BC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#0717 (statement). In BJGS6ZCQ12/e1, lemma 8.3
History
- 2026-10-27: add by m2/v0.3.6
MA3C8Z21XC MA3C8Z21XC
| URI | m2://inv/MA3C8Z21XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#R4IS (statement). In 5KR3MHYVV6/e1, lemma 4.0
History
- 2026-10-28: add by m2/v0.4.2
Lawrence–Krammer representation MA3DHCSH7S
| URI | m2://inv/MA3DHCSH7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence–Krammer representation, Lawrence–Krammer representation (definition). Also Wikidata Q6504830
History
- 2026-11-02: add by m2/dev
Example MA3DSXRNNS
| URI | m2://inv/MA3DSXRNNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre's formula#XG3W, Example (example)
History
- 2026-11-02: add by m2/dev
Examples MA3H0AKTJ6
| URI | m2://inv/MA3H0AKTJ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Stonean space#P0BE, Examples (example)
History
- 2026-11-02: add by m2/dev
Bochner and null-direction identities for $K$ MA3H3Q71BM
| URI | m2://inv/MA3H3Q71BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.22659#565Q, Bochner and null-direction identities for $K$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
MA3KTPWVYR MA3KTPWVYR
| URI | m2://inv/MA3KTPWVYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#DUSE (statement). In 42XHT97E64/e1, corollary 8.2
History
- 2026-10-29: add by m2/v0.4.12
Anton Kapustin MA3MQDJEJZ
| URI | m2://inv/MA3MQDJEJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4775834, Anton Kapustin (unknown). Also nLab Anton Kapustin
History
- 2026-10-26: add by m2/dev
MA3VYRNY2A MA3VYRNY2A
| URI | m2://inv/MA3VYRNY2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11869#9ZKM (statement). In B5GGGWNJA6/e1, lemma 21
History
- 2026-10-28: add by m2/v0.4.3
Generalizations MA3XE0PE67
| URI | m2://inv/MA3XE0PE67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tonelli–Shanks algorithm#7H8S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Generic-case complexity MA3Z3392ZC
| URI | m2://inv/MA3Z3392ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity, Generic-case complexity (definition). Also Wikidata Q5532647
History
- 2026-11-02: add by m2/dev
MA43GZQNC6 MA43GZQNC6
| URI | m2://inv/MA43GZQNC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2609.25080#9YWJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nakaoka MA441WVZEH
| URI | m2://inv/MA441WVZEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#7OXH, Nakaoka (statement). In 8SVVEVGMNE/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.3.5
Kaye A. de Ruiz MA47SC9714
| URI | m2://inv/MA47SC9714 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaye A. de Ruiz, Kaye A. de Ruiz (topic). Also Wikidata Q61819031
History
- 2026-11-02: add by m2/dev
MA4DWDB20T MA4DWDB20T
| URI | m2://inv/MA4DWDB20T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.19669#24CF (statement). In 1QPAA94Q76/e1, proposition 28
History
- 2026-10-28: add by m2/v0.4.2
MA4G5ZZ9KX MA4G5ZZ9KX
| URI | m2://inv/MA4G5ZZ9KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#OIS8 (statement). In TNREX5GDK2/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
MA4H1GR6PY MA4H1GR6PY
| URI | m2://inv/MA4H1GR6PY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#PXP5 (definition). In F5STMSPR6X/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
formal, type theory MA4MKDM0S1
| URI | m2://inv/MA4MKDM0S1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4/formal-type-theory, formal, type theory (concept). In N54F33XE07, index, section 4
History
- 2026-11-01: add by m2/v0.6.13
Cantellated 120-cell MA4R04KJDP
| URI | m2://inv/MA4R04KJDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellated 120-cell, Cantellated 120-cell (definition). Also Wikidata Q5033577
History
- 2026-11-02: add by m2/dev
MA4VJNMZEC MA4VJNMZEC
| URI | m2://inv/MA4VJNMZEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#DJHX (statement). In X3RFXWN6FW/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.6
trees, labeled MA50V43QYE
| URI | m2://inv/MA50V43QYE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.6/trees-labeled, trees, labeled (concept). In QKM9DD2H56, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
MA5471P76G MA5471P76G
| URI | m2://inv/MA5471P76G |
|---|---|
| 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.01354#GLT9 (statement). In BWD76W20W8/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.12
MA54Z02579 MA54Z02579
| URI | m2://inv/MA54Z02579 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#2TSE (definition)
History
- 2026-11-02: add by m2/v0.6.18
Example 2 MA55VBX2W6
| URI | m2://inv/MA55VBX2W6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall's marriage theorem#S53R, Example 2 (example)
History
- 2026-11-02: add by m2/dev
Uniform multiplicity for a fixed winding label MA5HXV5TYV
| URI | m2://inv/MA5HXV5TYV |
|---|---|
| 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.14065#7DCS, Uniform multiplicity for a fixed winding label (statement). In PV7V3X78JH/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Christoph Schwab MA5P3W8AN6
| URI | m2://inv/MA5P3W8AN6 |
|---|---|
| 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#HWMW, Christoph Schwab (topic)
History
- 2026-11-02: add by m2/dev
Definition and properties MA5PBMR8EE
| URI | m2://inv/MA5PBMR8EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner inellipse#YDG6, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
MA5QBMDXPY MA5QBMDXPY
| URI | m2://inv/MA5QBMDXPY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#ula-preview-3-2 (exercise). In 649HGZKE96, exploration, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Uniform conjugate-slice bound MA676P7109
| URI | m2://inv/MA676P7109 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.08980#8SJW, Uniform conjugate-slice bound (statement). In X407M6WFNR/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Examples MA6B7GEVSE
| URI | m2://inv/MA6B7GEVSE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional completeness#WL4T, Examples (example)
History
- 2026-11-02: add by m2/dev
Gaston Tarry MA6E45MDHD
| URI | m2://inv/MA6E45MDHD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaston Tarry, Gaston Tarry (topic). Also Wikidata Q719807
History
- 2026-11-02: add by m2/dev
MA6HH9N386 MA6HH9N386
| URI | m2://inv/MA6HH9N386 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#RY4S (statement). In XX1J2REXY2/e1, corollary 4.14
History
- 2026-10-28: add by m2/v0.4.2
Half-angle and angle-addition formulas MA6SERW4PA
| URI | m2://inv/MA6SERW4PA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric table#J5OA, Half-angle and angle-addition formulas (statement)
History
- 2026-11-02: add by m2/dev
Efim Zelmanov MA72AHD969
| URI | m2://inv/MA72AHD969 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#Z0EY, Efim Zelmanov (topic)
History
- 2026-11-02: add by m2/dev
Formal definition MA76CDEP9G
| URI | m2://inv/MA76CDEP9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pitchfork bifurcation#5B4G, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
J curve MA7BDRC5SJ
| URI | m2://inv/MA7BDRC5SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J curve, J curve (definition). Also Wikidata Q373486
History
- 2026-11-02: add by m2/dev
MA7M04FDMK MA7M04FDMK
| URI | m2://inv/MA7M04FDMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#MAJG (statement). In YKD51BX3XB/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
MA7YBQ795K MA7YBQ795K
| URI | m2://inv/MA7YBQ795K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#DFMH (statement). In GWQP1XPM8E/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
MA7YV53SEA MA7YV53SEA
| URI | m2://inv/MA7YV53SEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11823#K1N6 (statement). In YNQHA63Z2B/e1, theorem 9.2
History
- 2026-10-28: add by m2/v0.4.3
Two-function Ritz reduction MA80G51H4W
| URI | m2://inv/MA80G51H4W |
|---|---|
| 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.38953#YBW5, Two-function Ritz reduction (statement). In 3CRBMY85R5/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
MA87TBKEY4 MA87TBKEY4
| URI | m2://inv/MA87TBKEY4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.01345#AZSH (example). In PT5PBPCS3P/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.5
Ostomachion MA8B0S6E5N
| URI | m2://inv/MA8B0S6E5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1679561, Ostomachion (unknown). Also MathWorld Stomachion
- wikipedia: Wikipedia Ostomachion, Ostomachion (definition). Also Wikidata Q1679561
History
- 2026-10-26: add by m2/dev
MA8B8Y9VS4 MA8B8Y9VS4
| URI | m2://inv/MA8B8Y9VS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24424#IYKS (statement). In RQHGZ4AA5T/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.6
(Weeting #4) MA8CFH78TQ
| URI | m2://inv/MA8CFH78TQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#2K1F, (Weeting #4) (unknown)
History
- 2026-11-02: add by m2/dev
Formulation MA8EGCWAZ0
| URI | m2://inv/MA8EGCWAZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vogt–Russell theorem#0FAW, Formulation (definition)
History
- 2026-11-02: add by m2/dev
MA8FJW8N32 MA8FJW8N32
| URI | m2://inv/MA8FJW8N32 |
|---|---|
| Kind | statement |
| 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#HDGG (statement). In VN084GGZGK/e1, corollary 3.29
History
- 2026-10-28: add by m2/v0.4.3
Inductive set MA8JT52EV8
| URI | m2://inv/MA8JT52EV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#VXCT, Inductive set (definition)
History
- 2026-11-02: add by m2/dev
MA8N1K69F0 MA8N1K69F0
| URI | m2://inv/MA8N1K69F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#YQOD (statement). In WNFW6GY38C/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
Einstein problem MA8NGHT5W3
| URI | m2://inv/MA8NGHT5W3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#J47W, Einstein problem (problem)
History
- 2026-11-02: add by m2/dev
MA8NX4GZBK MA8NX4GZBK
| URI | m2://inv/MA8NX4GZBK |
|---|---|
| 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.10576#2HUS (statement). In N3ZA5MDZBW/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Vitali covering lemma MA8QFPTF70
| URI | m2://inv/MA8QFPTF70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#QTEZ, Vitali covering lemma (statement)
History
- 2026-11-02: add by m2/dev
Falsy MA8QXP4J4K
| URI | m2://inv/MA8QXP4J4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth value#1FSQ, Falsy (unknown)
History
- 2026-11-02: add by m2/dev
MA8STBBNYW MA8STBBNYW
| URI | m2://inv/MA8STBBNYW |
|---|---|
| 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.23343#XJ97 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Journal of Agricultural, Biological, and Environmental Statistics MA8XH33ZS2
| URI | m2://inv/MA8XH33ZS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#U8RH, Journal of Agricultural, Biological, and Environmental Statistics (definition)
History
- 2026-11-02: add by m2/dev
MA91ZJNG46 MA91ZJNG46
| URI | m2://inv/MA91ZJNG46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13913#V4TW (statement). In BW5GVH97JE/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
Marginal estimate MA99PDVDFP
| URI | m2://inv/MA99PDVDFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.10257#0AUI, Marginal estimate (statement). In BQD9MJHKV8/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.10
MA9D8VHT7R MA9D8VHT7R
| URI | m2://inv/MA9D8VHT7R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#RX5M (example). In PF5JJ9DS8Q/e1, example 7.4.1
History
- 2026-10-28: add by m2/v0.4.2
Multipliers and centralizers MA9JTQGD71
| URI | m2://inv/MA9JTQGD71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multipliers and centralizers (Banach spaces), Multipliers and centralizers (definition). Also Wikidata Q6935020
History
- 2026-11-02: add by m2/dev
MA9K90DQWC MA9K90DQWC
| URI | m2://inv/MA9K90DQWC |
|---|---|
| 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 2310.09889#KQV4 (statement). In BMNZKPSC48/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
G. F. D. Duff MA9NX3P61K
| URI | m2://inv/MA9NX3P61K |
|---|---|
| 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#67XS, G. F. D. Duff (topic)
History
- 2026-11-02: add by m2/dev
subjective idealism MA9PAD81GJ
| URI | m2://inv/MA9PAD81GJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q247218, subjective idealism (unknown). Also nLab subjective idealism
History
- 2026-10-26: add by m2/dev
Finite-time bound for $\Omega$-regularized synchronous $Q$-learning MA9RKXFF0J
| URI | m2://inv/MA9RKXFF0J |
|---|---|
| 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.14988#EY5I, Finite-time bound for $\Omega$-regularized synchronous $Q$-learning (statement). In B29M4E6KGC/e1, theorem H.1
History
- 2026-10-28: add by m2/v0.4.2
MA9TJHC2SY MA9TJHC2SY
| URI | m2://inv/MA9TJHC2SY |
|---|---|
| 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 2201.10697#IQTA (statement). In WN2Z20ZV49/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.6
MAA5E91YJA MAA5E91YJA
| URI | m2://inv/MAA5E91YJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#TULW (statement). In J99PFFJXPE/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.6
Subclass MAA724W2BS
| URI | m2://inv/MAA724W2BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subclass (set theory), Subclass (definition). Also Wikidata Q3965271
History
- 2026-11-02: add by m2/dev
MAAC27215K MAAC27215K
| URI | m2://inv/MAAC27215K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#FQ9W (statement). In JW8HH6EPG2/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
MAAFSFENEV MAAFSFENEV
| URI | m2://inv/MAAFSFENEV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overfull graph#Y0AZ (problem)
History
- 2026-11-02: add by m2/dev
MAAFSWNTHK MAAFSWNTHK
| URI | m2://inv/MAAFSWNTHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#AF4I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Use MAAJTDBX82
| URI | m2://inv/MAAJTDBX82 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ansatz#75VY, Use (example)
History
- 2026-11-02: add by m2/dev
derivative, constant function MAAMMBY6WN
| URI | m2://inv/MAAMMBY6WN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.1.3/derivative-constant-function, derivative, constant function (concept). In 907G4C4EJ1, index, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
MAANP02YMC MAANP02YMC
| URI | m2://inv/MAANP02YMC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#LELT (definition)
History
- 2026-11-02: add by m2/v0.6.18
MAAT8CEY8S MAAT8CEY8S
| URI | m2://inv/MAAT8CEY8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#99UO (statement). In D0XH7W96T3/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
Derivation of the formula MAATZKV41G
| URI | m2://inv/MAATZKV41G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramer's theorem (algebraic curves)#T0ZW, Derivation of the formula (statement)
History
- 2026-11-02: add by m2/dev
final functor MAB5890G17
| URI | m2://inv/MAB5890G17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Final functor M5910N7YF0 |
Mentions
- wikidata: Wikidata Q18207102, final functor (unknown). Also nLab final functor
- wikipedia: Wikipedia Final functor, Final functor (definition). Also Wikidata Q18207102
History
- 2026-10-26: add by m2/dev
Hartman–Grobman theorem MABB0816E0
| URI | m2://inv/MABB0816E0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Hartman–Grobman theorem 0S8WX8A4V9 |
Mentions
- mathlib_1000: mathlib_1000 Q211981, Hartman–Grobman theorem (statement). Also Wikidata Q211981
- thousand_plus: thousand_plus Q211981, Hartman–Grobman theorem (statement). Also Wikidata Q211981, Wikipedia Hartman–Grobman theorem
- wikipedia: Wikipedia Hartman–Grobman theorem, Hartman–Grobman theorem (statement). Also Wikidata Q211981
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MABH6B0ZK9 MABH6B0ZK9
| URI | m2://inv/MABH6B0ZK9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23872#7IA6 (definition)
History
- 2026-11-02: add by m2/v0.6.17
MABHC403EB MABHC403EB
| URI | m2://inv/MABHC403EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25151#N06D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cofinal MABKH26YES
| URI | m2://inv/MABKH26YES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cofinal (mathematics), Cofinal (definition). Also Wikidata Q5141045
History
- 2026-11-02: add by m2/dev
semantics MABYTCCN9S
| URI | m2://inv/MABYTCCN9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#9OY3, semantics (definition)
History
- 2026-11-02: add by m2/dev
Hanna Neumann conjecture MACDADJF83
| URI | m2://inv/MACDADJF83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanna Neumann conjecture, Hanna Neumann conjecture (statement). Also Wikidata Q2993315
History
- 2026-11-02: add by m2/dev
Michael Guy MACG8119TM
| URI | m2://inv/MACG8119TM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H3DK, Michael Guy (topic)
History
- 2026-11-02: add by m2/dev
real sign function MACGEY4P0D
| URI | m2://inv/MACGEY4P0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105356166, real sign function (unknown). Also MathWorld Sign, nLab sign function
- wikidata: Wikidata Q1193832, sign (unknown). Also MathWorld Sign
- wikipedia: Wikipedia Sign (mathematics), Sign (definition). Also Wikidata Q1193832
History
- 2026-10-26: add by m2/dev
Preorder MACQDQ3WTP
| URI | m2://inv/MACQDQ3WTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#ZNRE, Preorder (definition)
History
- 2026-11-02: add by m2/dev
MACQRWEYQ8 MACQRWEYQ8
| URI | m2://inv/MACQRWEYQ8 |
|---|---|
| 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 2411.05198#4OC2 (statement). In NJWY6HPFHG/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
MACSJKYFEW MACSJKYFEW
| URI | m2://inv/MACSJKYFEW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-18 (example). In RZP28ERRZV, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
MACVC5M8QX MACVC5M8QX
| URI | m2://inv/MACVC5M8QX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#problem-4 (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
Frederick Purser MACYHN07FT
| URI | m2://inv/MACYHN07FT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick Purser, Frederick Purser (topic). Also Wikidata Q18911833
History
- 2026-11-02: add by m2/dev
MACYMNNM2P MACYMNNM2P
| URI | m2://inv/MACYMNNM2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#JS5O (statement). In J7ZX3WWRQP/e1, theorem 2.15
History
- 2026-10-28: add by m2/v0.4.2
MAD1M6F8RC MAD1M6F8RC
| URI | m2://inv/MAD1M6F8RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#YK2O (statement). In SD43497T8C/e1, fact 1.11
History
- 2026-10-27: add by m2/v0.3.5
random number MADAADAGAG
| URI | m2://inv/MADAADAGAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1823781, random number (unknown). Also MathWorld RandomNumber
- wikipedia: Wikipedia Random number, Random number (definition). Also Wikidata Q1823781
History
- 2026-10-26: add by m2/dev
MADESHMHWE MADESHMHWE
| URI | m2://inv/MADESHMHWE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
August Föppl MADKCKJF4S
| URI | m2://inv/MADKCKJF4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia August Föppl, August Föppl (topic). Also Wikidata Q87512
History
- 2026-11-02: add by m2/dev
Dirichlet hyperbola method MAE2T05ASK
| URI | m2://inv/MAE2T05ASK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet hyperbola method, Dirichlet hyperbola method (definition). Also Wikidata Q55647755
History
- 2026-11-02: add by m2/dev
Coding MAECYFAJFN
| URI | m2://inv/MAECYFAJFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coding (social sciences), Coding (definition). Also Wikidata Q5140297
History
- 2026-11-02: add by m2/dev
Serafim Batzoglou MAEDGVHSTQ
| URI | m2://inv/MAEDGVHSTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QVNM, Serafim Batzoglou (unknown)
History
- 2026-11-02: add by m2/dev
Reidemeister move MAEF539Z8M
| URI | m2://inv/MAEF539Z8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#ITQS, Reidemeister move (definition)
History
- 2026-11-02: add by m2/dev
prime numbers MAEGZY0S8V
| URI | m2://inv/MAEGZY0S8V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.5.4/prime-numbers, prime numbers (concept). In Y91XFCEVHQ, index, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
MAEQ96N8YJ MAEQ96N8YJ
| URI | m2://inv/MAEQ96N8YJ |
|---|---|
| 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.15460#7PFL (statement). In T2Z3D2VQ9B/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
Monotonicity of affinity MAERVM6TAM
| URI | m2://inv/MAERVM6TAM |
|---|---|
| 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.10080#2T7J, Monotonicity of affinity (statement). In N6EBNRZCYX/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
Remark MAERWYDXRT
| URI | m2://inv/MAERWYDXRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob–Dynkin lemma#B9XL, Remark (unknown)
History
- 2026-11-02: add by m2/dev
MAESQ5PB9T MAESQ5PB9T
| URI | m2://inv/MAESQ5PB9T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15037#SFRZ (definition). In 9XCA9T80GJ/e1, definition 4.3.1
History
- 2026-10-28: add by m2/v0.4.2
MAF05BNYWR MAF05BNYWR
| URI | m2://inv/MAF05BNYWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.11100#DM8K (statement). In K6TFPPVEF9/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
MAF0DS6N2Q MAF0DS6N2Q
| URI | m2://inv/MAF0DS6N2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.32138#I380 (statement). In ZG0GNHTCWB/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
Bruce Reznick MAF2KJ3QA3
| URI | m2://inv/MAF2KJ3QA3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruce Reznick, Bruce Reznick (topic). Also Wikidata Q65115183
History
- 2026-11-02: add by m2/dev
NSA building MAF5GFJC9Q
| URI | m2://inv/MAF5GFJC9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Security Agency#XLEI, NSA building (unknown)
History
- 2026-11-02: add by m2/dev
MAFDCEAX43 MAFDCEAX43
| URI | m2://inv/MAFDCEAX43 |
|---|---|
| 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.27673#LNMH (statement)
History
- 2026-11-01: add by m2/v0.6.15
MAFF9PYVGZ MAFF9PYVGZ
| URI | m2://inv/MAFF9PYVGZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#QEMA (example). In 9DQKY7KGE8/e1, example 6.11
History
- 2026-10-27: add by m2/v0.3.5
quadricovariant MAFP75WFC6
| URI | m2://inv/MAFP75WFC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#5HF0, quadricovariant (definition)
History
- 2026-11-02: add by m2/dev
MAFV48G7NH MAFV48G7NH
| URI | m2://inv/MAFV48G7NH |
|---|---|
| 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.13392#X5IF (statement). In 2FVND41HVS/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Cap and monotonicity; \appproof{pf:capmono MAG216ZHFM
| URI | m2://inv/MAG216ZHFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#XX01, Cap and monotonicity; \appproof{pf:capmono (statement). In Y7NC12TBNP/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
boundary operator MAG5EZ6TVF
| URI | m2://inv/MAG5EZ6TVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78322378, boundary operator (unknown). Also MathWorld BoundaryOperator
History
- 2026-10-26: add by m2/dev
flecnode MAG879EB5W
| URI | m2://inv/MAG879EB5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#7U49, flecnode (definition)
History
- 2026-11-02: add by m2/dev
MAG9EKASYA MAG9EKASYA
| URI | m2://inv/MAG9EKASYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#6SFK (statement). In GPK6W5XQM3/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
MAGC1P01TJ MAGC1P01TJ
| URI | m2://inv/MAGC1P01TJ |
|---|---|
| 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.33552#J3GZ (statement). In SRAS2DJJQH/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
*{Sec. 2.2 MAGW64GDYN
| URI | m2://inv/MAGW64GDYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#KPX5, *{Sec. 2.2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
MAGWPWKWNS MAGWPWKWNS
| URI | m2://inv/MAGWPWKWNS |
|---|---|
| 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.23128#2Y88 (statement)
History
- 2026-11-02: add by m2/v0.6.17
spherical curve MAGYG7H2E5
| URI | m2://inv/MAGYG7H2E5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19936893, spherical curve (unknown). Also MathWorld SphericalCurve
History
- 2026-10-26: add by m2/dev
null result MAGYY2SHH8
| URI | m2://inv/MAGYY2SHH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3457924, null result (unknown). Also nLab null result
- wikipedia: Wikipedia Null result, Null result (definition). Also Wikidata Q3457924
History
- 2026-10-26: add by m2/dev
Comparison and uniform relaxation of IPMs MAGZA0P7F7
| URI | m2://inv/MAGZA0P7F7 |
|---|---|
| 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.13916#EE5U, Comparison and uniform relaxation of IPMs (statement). In JS2JSD0507/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Population pyramid MAH3Q0PPWW
| URI | m2://inv/MAH3Q0PPWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#966F, Population pyramid (definition)
History
- 2026-11-02: add by m2/dev
Singer , Lint and Wilson MAH4DDD89B
| URI | m2://inv/MAH4DDD89B |
|---|---|
| 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.21645#J08M, Singer , Lint and Wilson (statement)
History
- 2026-11-02: add by m2/v0.6.18
Goldbach–Euler theorem MAH4JR1PTW
| URI | m2://inv/MAH4JR1PTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#QKZZ, Goldbach–Euler theorem (statement)
History
- 2026-11-02: add by m2/dev
Uniform domination of polynomial factors by the scales MAH539FX3N
| URI | m2://inv/MAH539FX3N |
|---|---|
| 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.06544#1VSZ, Uniform domination of polynomial factors by the scales (statement). In VCRB27RMN6/e1, lemma 13.1
History
- 2026-10-29: add by m2/v0.4.10
Cophenetic correlation MAH64P71V0
| URI | m2://inv/MAH64P71V0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E9VA, Cophenetic correlation (definition)
History
- 2026-11-02: add by m2/dev
MAH7D8R0SX MAH7D8R0SX
| URI | m2://inv/MAH7D8R0SX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#YVLK (definition)
History
- 2026-11-02: add by m2/v0.6.18
Normal space MAHDSMRKSZ
| URI | m2://inv/MAHDSMRKSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#LA8C, Normal space (definition)
History
- 2026-11-02: add by m2/dev
Royal Dutch Mathematical Society MAHE7007WE
| URI | m2://inv/MAHE7007WE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#T0AZ, Royal Dutch Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Action MAHJ4P0KEB
| URI | m2://inv/MAHJ4P0KEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action (physics), Action (definition). Also Wikidata Q846785
History
- 2026-11-02: add by m2/dev
MAHJJ0ASNV MAHJJ0ASNV
| URI | m2://inv/MAHJJ0ASNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#CJ3K (statement). In WSG1ZW956E/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
MAHKXSHMEG MAHKXSHMEG
| URI | m2://inv/MAHKXSHMEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#0V8Y (statement). In DC01XRB5YE/e1, theorem 14
History
- 2026-10-28: add by m2/v0.4.3
$S$-Spectrum MAHNRH5H3J
| URI | m2://inv/MAHNRH5H3J |
|---|---|
| Kind | definition |
| 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.26382#XI8Q, $S$-Spectrum (definition)
History
- 2026-11-01: add by m2/v0.6.15
Fubini MAJ3QVGAVS
| URI | m2://inv/MAJ3QVGAVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-51, Fubini (statement). In VNMV985MXX, thm, section E.1
History
- 2026-11-01: add by m2/v0.6.13
Least-noise moment MAJ562R2HZ
| URI | m2://inv/MAJ562R2HZ |
|---|---|
| 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.35986#GZSJ, Least-noise moment (statement). In PBX6AMPVT2/e1, proposition C.4
History
- 2026-10-30: add by m2/v0.4.12
Pathological MAJ68JE4TB
| URI | m2://inv/MAJ68JE4TB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathological (mathematics), Pathological (definition). Also Wikidata Q1456138
History
- 2026-11-02: add by m2/dev
$RO(G)$-graded homotopy groups MAJ9C845FM
| URI | m2://inv/MAJ9C845FM |
|---|---|
| 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.21675#TQJ1, $RO(G)$-graded homotopy groups (definition). In TB1294GY5X/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.4.2
Semantic --- \textsc{$\lambda$-I MAJCECK1N1
| URI | m2://inv/MAJCECK1N1 |
|---|---|
| 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#KWKI, Semantic --- \textsc{$\lambda$-I (statement). In CPYWHRTPKC/e1, lemma 7.42
History
- 2026-10-27: add by m2/v0.4.2
MAJCWH8R9R MAJCWH8R9R
| URI | m2://inv/MAJCWH8R9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.17516#3S8X (statement). In Z16NBNM4AK/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
\probname{(Un)DirectedHamiltonicity MAJGMWHJC6
| URI | m2://inv/MAJGMWHJC6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#Y23M, \probname{(Un)DirectedHamiltonicity (problem). In 702AF3E4AF/e1, problem 3.15
History
- 2026-10-30: add by m2/v0.4.12
Ordinal number MAJJK3V3TX
| URI | m2://inv/MAJJK3V3TX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#72V8, Ordinal number (definition)
History
- 2026-11-02: add by m2/dev
Formal definition MAJNDR9VFP
| URI | m2://inv/MAJNDR9VFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational indistinguishability#16YD, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
majorization MAJRAMPE0D
| URI | m2://inv/MAJRAMPE0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Majorization 5K7VT2VKZT |
Mentions
- wikidata: Wikidata Q1994695, majorization (unknown). Also MathWorld Majorization
- wikipedia: Wikipedia Majorization, Majorization (definition). Also Wikidata Q1994695
History
- 2026-10-26: add by m2/dev
Wiener–Khinchin theorem MAJREVMDAF
| URI | m2://inv/MAJREVMDAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wiener–Khinchin theorem 3ZXN26PW4G |
Mentions
- wikidata: Wikidata Q2301141, Wiener–Khinchin theorem (statement). Also MathWorld Wiener-KhinchinTheorem
- wikipedia: Wikipedia Wiener–Khinchin theorem, Wiener–Khinchin theorem (statement). Also Wikidata Q2301141
History
- 2026-10-26: add by m2/dev
MAJVEP8QGK MAJVEP8QGK
| URI | m2://inv/MAJVEP8QGK |
|---|---|
| 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.12319#RAKO (statement). In FH8GB1C17K/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
Trekroner Fort MAK1SAFVFH
| URI | m2://inv/MAK1SAFVFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#X8SE, Trekroner Fort (unknown)
History
- 2026-11-02: add by m2/dev
MAK31J69EY MAK31J69EY
| URI | m2://inv/MAK31J69EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#C794 (statement). In J4P6HXMJCH/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
MAK4M2NRQ5 MAK4M2NRQ5
| URI | m2://inv/MAK4M2NRQ5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-11 (exercise). In 649HGZKE96, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Properties MAK7M7S90K
| URI | m2://inv/MAK7M7S90K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagoras number#5H23, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition MAK8N41QET
| URI | m2://inv/MAK8N41QET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper half-plane#33VV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Variants MAKAAK6GJM
| URI | m2://inv/MAKAAK6GJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectation–maximization algorithm#FEHM, Variants (statement)
History
- 2026-11-02: add by m2/dev
MAKAJP6WFV MAKAJP6WFV
| URI | m2://inv/MAKAJP6WFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#425C (statement). In YXRKS451PK/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Explanation by comparison lemma MAKBKX1JWA
| URI | m2://inv/MAKBKX1JWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding mode control#PAYK, Explanation by comparison lemma (statement)
History
- 2026-11-02: add by m2/dev
Fixed-reference validity MAKF55QN04
| URI | m2://inv/MAKF55QN04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#YD37, Fixed-reference validity (statement). In TP61DYMBMK/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
MAKHVE82W5 MAKHVE82W5
| URI | m2://inv/MAKHVE82W5 |
|---|---|
| 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.12810#XDVN (statement). In DR35633CPN/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Cramér's decomposition theorem MAKQQ4WCS4
| URI | m2://inv/MAKQQ4WCS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4C6P, Cramér's decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
MAKQV498NF MAKQV498NF
| URI | m2://inv/MAKQV498NF |
|---|---|
| Kind | example |
| 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.23279#GR77 (example)
History
- 2026-11-02: add by m2/v0.6.17
Torsor MAKSHZYJ1T
| URI | m2://inv/MAKSHZYJ1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsor (algebraic geometry), Torsor (definition). Also Wikidata Q17104225
History
- 2026-11-02: add by m2/dev
topological T-duality MAKWJNQZ6P
| URI | m2://inv/MAKWJNQZ6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q63385842, topological T-duality (unknown). Also nLab topological T-duality
History
- 2026-10-26: add by m2/dev
MAM6NTKEJZ MAM6NTKEJZ
| URI | m2://inv/MAM6NTKEJZ |
|---|---|
| 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.12640#DJ7B (statement). In QP9FE1D6PG/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Generalizations MAMCFGVD06
| URI | m2://inv/MAMCFGVD06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Weyl duality#9JAJ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Quasiperfect number MAMJGZPP63
| URI | m2://inv/MAMJGZPP63 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#1OP0, Quasiperfect number (conjecture)
History
- 2026-11-02: add by m2/dev
Progress toward a coloring MAMM287RX3
| URI | m2://inv/MAMM287RX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01071#IALO, Progress toward a coloring (definition). In X1YF62ZFB6/e1, definition 10
History
- 2026-10-29: add by m2/v0.4.12
MAMMV6GKPJ MAMMV6GKPJ
| URI | m2://inv/MAMMV6GKPJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#H5KX (definition). In APD8GE0E4F/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
De Morgan dual MAMTMQXF3T
| URI | m2://inv/MAMTMQXF3T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Morgan's laws#M2IK, De Morgan dual (unknown)
History
- 2026-11-02: add by m2/dev
MAMY3FQ67E MAMY3FQ67E
| URI | m2://inv/MAMY3FQ67E |
|---|---|
| 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 2605.23846#4MAJ (statement). In H72CXFWVPV/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Mutation rate MAN91KD69J
| URI | m2://inv/MAN91KD69J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutation rate, Mutation rate (definition). Also Wikidata Q2067051
History
- 2026-11-02: add by m2/dev
A.N. Parshin MANCARPM6X
| URI | m2://inv/MANCARPM6X |
|---|---|
| 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#I74T, A.N. Parshin (topic)
History
- 2026-11-02: add by m2/dev
MANE48G33T MANE48G33T
| URI | m2://inv/MANE48G33T |
|---|---|
| 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.24325#ASK1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
\bf Rademacher Based Upper-bound for $(d+1)$-Navier-Stokes MANGQEK6H5
| URI | m2://inv/MANGQEK6H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.23072#CI3M, \bf Rademacher Based Upper-bound for $(d+1)$-Navier-Stokes (statement). In FW08HEAPKW/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
MANM66XJ55 MANM66XJ55
| URI | m2://inv/MANM66XJ55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26001#7H3Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
symmetric graph MANPFZNQRW
| URI | m2://inv/MANPFZNQRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1205074, symmetric graph (unknown). Also MathWorld Arc-TransitiveGraph
- wikipedia: Wikipedia Symmetric graph, Symmetric graph (definition). Also Wikidata Q1205074
History
- 2026-10-26: add by m2/dev
Recovery of the dense component MANQ6JDNPH
| URI | m2://inv/MANQ6JDNPH |
|---|---|
| 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.08766#TQS9, Recovery of the dense component (statement). In QA4JM9SHPA/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
MANQS3GRHS MANQS3GRHS
| URI | m2://inv/MANQS3GRHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#ERP8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
MANV95JT49 MANV95JT49
| URI | m2://inv/MANV95JT49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#HPEJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
MANZK0DCFR MANZK0DCFR
| URI | m2://inv/MANZK0DCFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem:s1-decode-encode (statement). In N54F33XE07, lem, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
MANZKCHDF2 MANZKCHDF2
| URI | m2://inv/MANZKCHDF2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12131#1N72 (problem). In NYT07WF46A/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Contingency tables with log-concave entry weights MAP1R2W8YE
| URI | m2://inv/MAP1R2W8YE |
|---|---|
| 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.06724#F6VP, Contingency tables with log-concave entry weights (statement). In W5XG3PGVF1/e1, corollary C.21
History
- 2026-10-29: add by m2/v0.4.10
Quadratic ancestor inequality MAP5G5PYYD
| URI | m2://inv/MAP5G5PYYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22180#EL38, Quadratic ancestor inequality (statement). In VXQXVZ7SE7/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Implementation MAPJNJF9YD
| URI | m2://inv/MAPJNJF9YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Item response theory#U1TA, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Stuart Haber MAPJRW7190
| URI | m2://inv/MAPJRW7190 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stuart Haber, Stuart Haber (topic). Also Wikidata Q100144338
History
- 2026-11-02: add by m2/dev
MAPS7S8PNF MAPS7S8PNF
| URI | m2://inv/MAPS7S8PNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#V3GI (statement). In NBMA6DBKJG/e1, corollary 6.18
History
- 2026-10-28: add by m2/v0.4.2
List of exponential topics MAPV6K9PZZ
| URI | m2://inv/MAPV6K9PZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics, List of exponential topics (topic). Also Wikidata Q6619128
History
- 2026-11-02: add by m2/dev
MAPW9M43FN MAPW9M43FN
| URI | m2://inv/MAPW9M43FN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:sip-functor-cat (example). In N54F33XE07, eg, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
Candido's identity MAQBJZYSA5
| URI | m2://inv/MAQBJZYSA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Candido's identity, Candido's identity (statement). Also Wikidata Q105515789
History
- 2026-11-02: add by m2/dev
Positive-parameter continuation at one fixed mass MAQCZQD9A5
| URI | m2://inv/MAQCZQD9A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#QQCT, Positive-parameter continuation at one fixed mass (statement). In KFEASG3ZHS/e1, theorem 5.11
History
- 2026-10-28: add by m2/v0.4.2
\probname{ExactTupleCover MAQJ74VFFP
| URI | m2://inv/MAQJ74VFFP |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#2FXU, \probname{ExactTupleCover (problem). In 702AF3E4AF/e1, problem 3.5
History
- 2026-10-30: add by m2/v0.4.12
MAQXEXWJZY MAQXEXWJZY
| URI | m2://inv/MAQXEXWJZY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Unknown-drift adaptation over joint memories MAR44KBQ0G
| URI | m2://inv/MAR44KBQ0G |
|---|---|
| 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.15543#X67I, Unknown-drift adaptation over joint memories (statement). In TQSHQZFCS5/e1, theorem H.2
History
- 2026-10-28: add by m2/v0.4.2
Context-sensitive language MARTXRXEJ1
| URI | m2://inv/MARTXRXEJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#BQN0, Context-sensitive language (definition)
History
- 2026-11-02: add by m2/dev
Quadratic universality MAS6SWEN2G
| URI | m2://inv/MAS6SWEN2G |
|---|---|
| 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.03579#QBIE, Quadratic universality (statement). In PZQ3D6A9J0/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Minimization principle MAS8N5EXED
| URI | m2://inv/MAS8N5EXED |
|---|---|
| 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#JBM9, Minimization principle (statement). In FEQ72D1AX6/e1, theorem 3.15
History
- 2026-10-27: add by m2/v0.4.2
transcendental extension MAS970098A
| URI | m2://inv/MAS970098A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Transcendental extension 12JQCGTQ8W |
Mentions
- wikidata: Wikidata Q3733413, transcendental extension (unknown). Also EoM Transcendental_extension, MathWorld TranscendentalExtension
- wikipedia: Wikipedia Transcendental extension, Transcendental extension (definition). Also Wikidata Q3733413
History
- 2026-10-26: add by m2/dev
Terminology MASAS7M9TF
| URI | m2://inv/MASAS7M9TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble (mathematical physics)#CR2B, Terminology (definition)
History
- 2026-11-02: add by m2/dev
MASE5PG17W MASE5PG17W
| URI | m2://inv/MASE5PG17W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#7UCT (definition)
History
- 2026-11-02: add by m2/v0.6.18
MASJRVFJFE MASJRVFJFE
| URI | m2://inv/MASJRVFJFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#8VGW (statement). In YYV9SHAPCZ/e1, corollary 2.10
History
- 2026-10-30: add by m2/v0.4.12
One target with a bounded moment MASNTTHENT
| URI | m2://inv/MASNTTHENT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09640#HGBF, One target with a bounded moment (statement). In E9T3B4RVW4/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
MASW68QPPR MASW68QPPR
| URI | m2://inv/MASW68QPPR |
|---|---|
| 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 1103.1038#V4VM (statement). In T9VMNNPS0H/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.6
rhombidodecadodecahedron MAT4HVF6GH
| URI | m2://inv/MAT4HVF6GH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29067, rhombidodecadodecahedron (unknown). Also MathWorld Rhombidodecadodecahedron
- wikipedia: Wikipedia Rhombidodecadodecahedron, Rhombidodecadodecahedron (object). Also Wikidata Q29067
History
- 2026-10-26: add by m2/dev
The theorem MATKBP3P2S
| URI | m2://inv/MATKBP3P2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nernst heat theorem#QQC5, The theorem (statement)
History
- 2026-11-02: add by m2/dev
MATMW0WG4T MATMW0WG4T
| URI | m2://inv/MATMW0WG4T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Mathematical finance MATVW4QJ2V
| URI | m2://inv/MATVW4QJ2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#8KSG, Mathematical finance (definition)
History
- 2026-11-02: add by m2/dev
MATY2YTPGC MATY2YTPGC
| URI | m2://inv/MATY2YTPGC |
|---|---|
| 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.31336#LKZB (statement). In 70RV7J456D/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
MATYA4Q9M1 MATYA4Q9M1
| URI | m2://inv/MATYA4Q9M1 |
|---|---|
| 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.23128#M7I4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples MATYRPP74Q
| URI | m2://inv/MATYRPP74Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot group#I0KM, Examples (example)
History
- 2026-11-02: add by m2/dev
MAVAE51KDW MAVAE51KDW
| URI | m2://inv/MAVAE51KDW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
MAVAZ32BB5 MAVAZ32BB5
| URI | m2://inv/MAVAZ32BB5 |
|---|---|
| Kind | conjecture |
| 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.19249#4TK1 (conjecture). In 2X586J6KQ1/e1, conjecture 4.5
History
- 2026-10-28: add by m2/v0.4.2
Extension MAVBMD5J89
| URI | m2://inv/MAVBMD5J89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spiral of Theodorus#CLI5, Extension (statement)
History
- 2026-11-02: add by m2/dev
Steenrod operation MAVE0N337W
| URI | m2://inv/MAVE0N337W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#P15Z, Steenrod operation (definition)
History
- 2026-11-02: add by m2/dev
Fluctuation dissipation theorem MAVEE75PMW
| URI | m2://inv/MAVEE75PMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9ZTJ, Fluctuation dissipation theorem (statement)
History
- 2026-11-02: add by m2/dev
MAVNGPTZR5 MAVNGPTZR5
| URI | m2://inv/MAVNGPTZR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#D38F (statement). In YBBKTP4E70/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Properties MAW0FQ7DQN
| URI | m2://inv/MAW0FQ7DQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz space#60X2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Elongated bicupola MAW3Z9N5EX
| URI | m2://inv/MAW3Z9N5EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated bicupola, Elongated bicupola (definition). Also Wikidata Q15308596
History
- 2026-11-02: add by m2/dev
Stone–Tukey theorem MAW4PAB55M
| URI | m2://inv/MAW4PAB55M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LZ3V, Stone–Tukey theorem (statement)
History
- 2026-11-02: add by m2/dev
MAWDHSN25M MAWDHSN25M
| URI | m2://inv/MAWDHSN25M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31304#C41N (statement). In 3YK9MDW1D2/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
MAWFJR7BGE MAWFJR7BGE
| URI | m2://inv/MAWFJR7BGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13908#Y99B (statement). In 9C684206F0/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
MAWKHJG3EC MAWKHJG3EC
| URI | m2://inv/MAWKHJG3EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#KQE8 (statement). In 43TBS9P2PX/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Mathematics in Ancient Egypt: A Contextual History MAWM1KD635
| URI | m2://inv/MAWM1KD635 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics in Ancient Egypt: A Contextual History, Mathematics in Ancient Egypt: A Contextual History (definition). Also Wikidata Q86762239
History
- 2026-11-02: add by m2/dev
Popular mathematics MAWWVW7K4W
| URI | m2://inv/MAWWVW7K4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Popular mathematics, Popular mathematics (definition). Also Wikidata Q7229753
History
- 2026-11-02: add by m2/dev
Definition MAX0QBBM0E
| URI | m2://inv/MAX0QBBM0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casson invariant#55ZH, Definition (definition)
History
- 2026-11-02: add by m2/dev
MAX20648B4 MAX20648B4
| URI | m2://inv/MAX20648B4 |
|---|---|
| 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.31274#RKOF (statement). In RK0ZMDJ23T/e1, lemma 2.4.1
History
- 2026-10-31: add by m2/v0.5.6
Gibbs–Helmholtz equation MAX2H2PYAC
| URI | m2://inv/MAX2H2PYAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs–Helmholtz equation, Gibbs–Helmholtz equation (definition). Also Wikidata Q900590
History
- 2026-11-02: add by m2/dev
MAX7WFZ57H MAX7WFZ57H
| URI | m2://inv/MAX7WFZ57H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#O3K0 (statement). In F5STMSPR6X/e1, proposition A.12
History
- 2026-10-29: add by m2/v0.4.12
MAXANP9283 MAXANP9283
| URI | m2://inv/MAXANP9283 |
|---|---|
| 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.13846#38F3 (statement). In DN3HGHGRYJ/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
MAXG2DMCE0 MAXG2DMCE0
| URI | m2://inv/MAXG2DMCE0 |
|---|---|
| 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.07790#TZZ7 (statement). In A5YJDDM0NX/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
MAXP27RMN1 MAXP27RMN1
| URI | m2://inv/MAXP27RMN1 |
|---|---|
| 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 0902.4887#UW0V (statement). In MYQ05J9R20/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.3.5
Definition MAXX87PPNG
| URI | m2://inv/MAXX87PPNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waldhausen category#ZK0A, Definition (definition)
History
- 2026-11-02: add by m2/dev
Adapted process MAY5E7EJV3
| URI | m2://inv/MAY5E7EJV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O3WV, Adapted process (definition)
- wikipedia: Wikipedia List of probability topics#BMZ6, Adapted process (definition)
History
- 2026-11-02: add by m2/dev
Horocycle-based coordinate system MAYAAW7NR2
| URI | m2://inv/MAYAAW7NR2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate systems for the hyperbolic plane#ANSO, Horocycle-based coordinate system (unknown)
History
- 2026-11-02: add by m2/dev
MAYC15HRY5 MAYC15HRY5
| URI | m2://inv/MAYC15HRY5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.05628#7F40 (example). In 9JPKTEWW4W/e1, example I
History
- 2026-10-27: add by m2/v0.3.5
MAYG8CVKZV MAYG8CVKZV
| URI | m2://inv/MAYG8CVKZV |
|---|---|
| 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#S61G (statement). In 5E9G06XJKC/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
Annulus and Torus theorems MAYHP14H4G
| URI | m2://inv/MAYHP14H4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#RE8D, Annulus and Torus theorems (statement)
History
- 2026-11-02: add by m2/dev
Spline-admissible operator MAYMYT8CZA
| URI | m2://inv/MAYMYT8CZA |
|---|---|
| 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.14920#RT46, Spline-admissible operator (definition). In 1F8ENX770M/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
MAYQ1Y27HB MAYQ1Y27HB
| URI | m2://inv/MAYQ1Y27HB |
|---|---|
| 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.23605#7X8V (example)
History
- 2026-11-02: add by m2/v0.6.17
MAZ1X1Q3HW MAZ1X1Q3HW
| URI | m2://inv/MAZ1X1Q3HW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-11 (proof). In N54F33XE07, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
discontinuous function MAZ5YSCRD9
| URI | m2://inv/MAZ5YSCRD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91305654, discontinuous function (unknown). Also EoM Discontinuous_function, MathWorld Discontinuous
History
- 2026-10-26: add by m2/dev
Applications MAZA5JB41C
| URI | m2://inv/MAZA5JB41C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubrication theory#79EW, Applications (example)
History
- 2026-11-02: add by m2/dev
MAZBTYK7G1 MAZBTYK7G1
| URI | m2://inv/MAZBTYK7G1 |
|---|---|
| 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 2607.00146#CFFS (statement). In 6KR7Z5ETRY/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.3.5
MAZCREYFZR MAZCREYFZR
| URI | m2://inv/MAZCREYFZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04398#E3IZ (statement). In DFZWC9HY0T/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.12
Reciprocity MAZH8YZ94Z
| URI | m2://inv/MAZH8YZ94Z |
|---|---|
| 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.02352#LEXN, Reciprocity (statement). In EAMF68FANV/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
MAZS2RWHAV MAZS2RWHAV
| URI | m2://inv/MAZS2RWHAV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 15
History
- 2026-11-01: add by m2/v0.6.13
MAZTYEFWDN MAZTYEFWDN
| URI | m2://inv/MAZTYEFWDN |
|---|---|
| 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.08226#2YUW (statement). In V6EPE8XHAD/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10