Inventory rows MK
The cards of the rows of the inventory whose ids start with MK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
2SLS MK0CEJ4DES
| URI | m2://inv/MK0CEJ4DES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y46E, 2SLS (definition)
History
- 2026-11-02: add by m2/dev
number theory MK0HFT3KE6
| URI | m2://inv/MK0HFT3KE6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12479, number theory (topic). Also MathWorld NumberTheory, ProofWiki Definition:Number_Theory
- wikipedia: Wikipedia Number theory, Number theory (topic). Also Wikidata Q12479
History
- 2026-10-26: add by m2/dev
MK0KYC6HN0 MK0KYC6HN0
| URI | m2://inv/MK0KYC6HN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#7KI5 (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Multi-trophic interaction MK0N87F7XR
| URI | m2://inv/MK0N87F7XR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Food web#08XU, Multi-trophic interaction (unknown)
History
- 2026-11-02: add by m2/dev
MK0RGMQYEE MK0RGMQYEE
| URI | m2://inv/MK0RGMQYEE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#A4WN (definition). In ZHTGQT07PE/e1, definition 4.21
History
- 2026-10-28: add by m2/v0.4.2
MK123ZQ55X MK123ZQ55X
| URI | m2://inv/MK123ZQ55X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.00191#WEI2 (definition). In ZMH2KJDAWJ/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Definitions MK143P7JE6
| URI | m2://inv/MK143P7JE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous uniform distribution#IJWR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Quadratic sieve MK17E0GH9V
| URI | m2://inv/MK17E0GH9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1151850, Quadratic sieve (unknown). Also MathWorld QuadraticSieve
- wikipedia: Wikipedia Quadratic sieve, Quadratic sieve (definition). Also Wikidata Q1151850
History
- 2026-10-26: add by m2/dev
Example MK1NS384JY
| URI | m2://inv/MK1NS384JY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard regularization#MSRN, Example (example)
History
- 2026-11-02: add by m2/dev
MK1RN4CSFC MK1RN4CSFC
| URI | m2://inv/MK1RN4CSFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#BBNH (statement). In RPC7VG3KHQ/e1, proposition 5.9
History
- 2026-10-30: add by m2/v0.4.12
Weight MK1XGZ6C0D
| URI | m2://inv/MK1XGZ6C0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#4DUZ, Weight (definition)
History
- 2026-11-02: add by m2/dev
fire MK1YEY3XK0
| URI | m2://inv/MK1YEY3XK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2723512, fire (definition). Also ProofWiki Definition:Philosophical_Element/Fire
History
- 2026-10-26: add by m2/dev
Anaxagoras MK1YQYT1KT
| URI | m2://inv/MK1YQYT1KT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#RYP0, Anaxagoras (unknown)
History
- 2026-11-02: add by m2/dev
MK22EA7034 MK22EA7034
| URI | m2://inv/MK22EA7034 |
|---|---|
| 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.11965#NEAW (statement). In 48QX0QD0XR/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.3
MK2BQM7EJH MK2BQM7EJH
| URI | m2://inv/MK2BQM7EJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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.37520#8FRM (statement). In BDN507RN7J/e1, corollary 3.8.3
History
- 2026-10-30: add by m2/v0.4.12
Miasma theory of disease MK2BXM5PTH
| URI | m2://inv/MK2BXM5PTH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#Y8OE, Miasma theory of disease (unknown)
History
- 2026-11-02: add by m2/dev
The interval equality principle MK2J7VH22W
| URI | m2://inv/MK2J7VH22W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial proportion confidence interval#0YYR, The interval equality principle (statement)
History
- 2026-11-02: add by m2/dev
Gabon Mathematical Society MK2JY07BFT
| URI | m2://inv/MK2JY07BFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabon Mathematical Society, Gabon Mathematical Society (definition). Also Wikidata Q19597264
History
- 2026-11-02: add by m2/dev
Properties MK2R5N91A2
| URI | m2://inv/MK2R5N91A2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superior highly composite number#B4IP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Congruence formula MK2TRE29ZV
| URI | m2://inv/MK2TRE29ZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital root#2JES, Congruence formula (statement)
History
- 2026-11-02: add by m2/dev
Definition MK2WDRY564
| URI | m2://inv/MK2WDRY564 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-correlation#HPT4, Definition (definition)
History
- 2026-11-02: add by m2/dev
MK2WRGPM10 MK2WRGPM10
| URI | m2://inv/MK2WRGPM10 |
|---|---|
| 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 2306.00212#O4UC (statement). In C9GG9C1X65/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
Cofree functor MK34JBMF0J
| URI | m2://inv/MK34JBMF0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free object#SMGO, Cofree functor (unknown)
History
- 2026-11-02: add by m2/dev
NewDES MK3F0A9Y1K
| URI | m2://inv/MK3F0A9Y1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NewDES, NewDES (definition). Also Wikidata Q2735449
History
- 2026-11-02: add by m2/dev
Local Gan–Gross–Prasad conjecture MK3FC0AAXY
| URI | m2://inv/MK3FC0AAXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gan–Gross–Prasad conjecture#7D8M, Local Gan–Gross–Prasad conjecture (statement)
History
- 2026-11-02: add by m2/dev
Abhayadeva Suri MK3H8939QP
| URI | m2://inv/MK3H8939QP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#RVKG, Abhayadeva Suri (unknown)
History
- 2026-11-02: add by m2/dev
Parallel transport MK40SF6CNQ
| URI | m2://inv/MK40SF6CNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#7NW0, Parallel transport (definition)
- wikipedia: Wikipedia List of curves topics#V9YI, Parallel transport (definition)
History
- 2026-11-02: add by m2/dev
MK41WWPZ98 MK41WWPZ98
| URI | m2://inv/MK41WWPZ98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#3P9Z (statement). In K8JMTRS42G/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
MK45DBZXVZ MK45DBZXVZ
| URI | m2://inv/MK45DBZXVZ |
|---|---|
| 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.02790#IW8G (statement). In NB7HZ8W2K2/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
MK45TRCPA8 MK45TRCPA8
| URI | m2://inv/MK45TRCPA8 |
|---|---|
| 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.07673#ICET (statement). In 37B1MPV8GX/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
The Laws of Thought MK463RSHFP
| URI | m2://inv/MK463RSHFP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Laws of Thought, The Laws of Thought (statement). Also Wikidata Q7746455
History
- 2026-11-02: add by m2/dev
Countably compact space MK4DE5VTQE
| URI | m2://inv/MK4DE5VTQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably compact space, Countably compact space (definition). Also Wikidata Q859275
History
- 2026-11-02: add by m2/dev
Hilda Geiringer MK4NH7P2N3
| URI | m2://inv/MK4NH7P2N3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#9P7Y, Hilda Geiringer (topic)
History
- 2026-11-02: add by m2/dev
Archimedean tiling MK4S7P2SVB
| URI | m2://inv/MK4S7P2SVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#PYUV, Archimedean tiling (definition)
History
- 2026-11-02: add by m2/dev
Arcsine distribution MK52CJ3YXF
| URI | m2://inv/MK52CJ3YXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arcsine distribution, Arcsine distribution (definition). Also Wikidata Q3258262
History
- 2026-11-02: add by m2/dev
MK57MYA9ZG MK57MYA9ZG
| URI | m2://inv/MK57MYA9ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.33704#MNI6 (statement). In STRVMT83HE/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
MK5B3RCV6J MK5B3RCV6J
| URI | m2://inv/MK5B3RCV6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25495#NMBH (statement)
History
- 2026-11-01: add by m2/v0.6.15
MK5CS8HCJZ MK5CS8HCJZ
| URI | m2://inv/MK5CS8HCJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#LAD3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
$\kappa$-domain MK5F6ENHS2
| URI | m2://inv/MK5F6ENHS2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#PYWC, $\kappa$-domain (definition). In YXZX6Z8S6A/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
MK5R3C5EEW MK5R3C5EEW
| URI | m2://inv/MK5R3C5EEW |
|---|---|
| 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 2610.21675#LTJR (statement). In TB1294GY5X/e1, theorem B.17
History
- 2026-10-27: add by m2/v0.4.2
law, de Morgan's MK5TB50BHQ
| URI | m2://inv/MK5TB50BHQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/law-de-morgan-s, law, de Morgan's (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Equivalents of the Axiom of Choice MK5XZB8QK5
| URI | m2://inv/MK5XZB8QK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalents of the Axiom of Choice, Equivalents of the Axiom of Choice (statement). Also Wikidata Q96377348
History
- 2026-11-02: add by m2/dev
MK635CSF9B MK635CSF9B
| URI | m2://inv/MK635CSF9B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-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.37271#54BV (example). In 9WP2QGKMG8/e1, example 1.4
History
- 2026-10-30: add by m2/v0.4.12
MK6H5A867F MK6H5A867F
| URI | m2://inv/MK6H5A867F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
MK6HNJE36Z MK6HNJE36Z
| URI | m2://inv/MK6HNJE36Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prop:freeocc-primrec (statement). In PKGMM3P5QY, prop, section 27.1
History
- 2026-11-01: add by m2/v0.6.13
Manfred Morari MK6J0T1GZV
| URI | m2://inv/MK6J0T1GZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#05CM, Manfred Morari (unknown)
History
- 2026-11-02: add by m2/dev
Carl David Tolmé Runge MK6JVF7JBA
| URI | m2://inv/MK6JVF7JBA |
|---|---|
| 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#NAOO, Carl David Tolmé Runge (topic)
- wikipedia: Wikipedia List of German mathematicians#2NDZ, Carl David Tolmé Runge (topic)
History
- 2026-11-02: add by m2/dev
Newton forward formula MK6RR7THG1
| URI | m2://inv/MK6RR7THG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation#TUXR, Newton forward formula (statement)
History
- 2026-11-02: add by m2/dev
MK6TQQH3GH MK6TQQH3GH
| URI | m2://inv/MK6TQQH3GH |
|---|---|
| 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.11468#92YZ (statement). In FR4FDRHZJT/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.3
André Martin MK709RHYH8
| URI | m2://inv/MK709RHYH8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YJEZ, André Martin (unknown)
History
- 2026-11-02: add by m2/dev
Homotopy hypothesis MK73D28EMG
| URI | m2://inv/MK73D28EMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#LJHM, Homotopy hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Three Points, Texas MK73M55Z9A
| URI | m2://inv/MK73M55Z9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WLVG, Three Points, Texas (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{Scalar products of $\mathcal C_\alpha, \mathcal S_\alpha$ MK7ARQ4GFE
| URI | m2://inv/MK7ARQ4GFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.14266#BXT2, \textbf{Scalar products of $\mathcal C_\alpha, \mathcal S_\alpha$ (statement). In 7R33E8515R/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
MK7CZCCSTS MK7CZCCSTS
| URI | m2://inv/MK7CZCCSTS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#Y5E0 (definition). In 1A01NFHBGA/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
MK7VVNWBGA MK7VVNWBGA
| URI | m2://inv/MK7VVNWBGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#V8R5 (statement). In E7W2HDNEKJ/e1, theorem 6.7
History
- 2026-10-30: add by m2/v0.4.12
Thomas Curtright MK845DJ0A0
| URI | m2://inv/MK845DJ0A0 |
|---|---|
| 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 Q7788761, Thomas Curtright (unknown). Also nLab Thomas Curtright
History
- 2026-10-26: add by m2/dev
teraelectronvolt MK8BVT0PMS
| URI | m2://inv/MK8BVT0PMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984193, teraelectronvolt (unknown). Also nLab TeV
History
- 2026-10-26: add by m2/dev
Supermartingales MK8EK6DHYH
| URI | m2://inv/MK8EK6DHYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martingale (probability theory)#TSLW, Supermartingales (unknown)
History
- 2026-11-02: add by m2/dev
Alternative definitions MK8F6KPM8N
| URI | m2://inv/MK8F6KPM8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#FAB1, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition MK8J3NFTSW
| URI | m2://inv/MK8J3NFTSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyharmonic spline#KCO7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cloning projector states MK8MKXM5GD
| URI | m2://inv/MK8MKXM5GD |
|---|---|
| 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#E6AS, Cloning projector states (statement). In PBX6AMPVT2/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
MK92SC2X48 MK92SC2X48
| URI | m2://inv/MK92SC2X48 |
|---|---|
| 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.20237#V8OL (statement)
History
- 2026-11-02: add by m2/v0.6.18
MK9BPZAEDZ MK9BPZAEDZ
| URI | m2://inv/MK9BPZAEDZ |
|---|---|
| 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.00386#GF6T (statement). In 7EDY2549HF/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Extension MK9P9YGJ4H
| URI | m2://inv/MK9P9YGJ4H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time hierarchy theorem#OZUX, Extension (statement)
History
- 2026-11-02: add by m2/dev
MK9Q6ANRF4 MK9Q6ANRF4
| URI | m2://inv/MK9Q6ANRF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#0G5H (statement). In V42PPD7SWH/e1, lemma 4.7
History
- 2026-10-31: add by m2/v0.5.6
MK9R1SVGT3 MK9R1SVGT3
| URI | m2://inv/MK9R1SVGT3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-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.18503#RWFE (example). In RW315W172S/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
MKA19J8Q5T MKA19J8Q5T
| URI | m2://inv/MKA19J8Q5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0803.0074#2N49 (statement). In NWJEN5GWFV/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
MKA30K1AN3 MKA30K1AN3
| URI | m2://inv/MKA30K1AN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#EQXR (statement). In RPC7VG3KHQ/e1, proposition 6.7
History
- 2026-10-30: add by m2/v0.4.12
Properties MKA90HWW1Z
| URI | m2://inv/MKA90HWW1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polish space#33RK, Properties (statement)
History
- 2026-11-02: add by m2/dev
MKABZJFMVB MKABZJFMVB
| URI | m2://inv/MKABZJFMVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FiniteSets.tex#thm:subsetsFiniteSets (statement). In P1C114YBXG, theorem, section B
History
- 2026-11-01: add by m2/v0.6.13
MKAH0PEKPD MKAH0PEKPD
| URI | m2://inv/MKAH0PEKPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#54CP (statement). In AGJE43FTF8/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Cauchy completion MKAJDE8WJ5
| URI | m2://inv/MKAJDE8WJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#6ERS, Cauchy completion (definition)
History
- 2026-11-02: add by m2/dev
Autoregressive integrated moving average MKAM1XXZ8K
| URI | m2://inv/MKAM1XXZ8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive integrated moving average, Autoregressive integrated moving average (definition). Also Wikidata Q2566298
History
- 2026-11-02: add by m2/dev
Gamma function identity MKAMMKXFHK
| URI | m2://inv/MKAMMKXFHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by parts#H65Z, Gamma function identity (statement)
History
- 2026-11-02: add by m2/dev
Patricia Jacobs MKAMTYY127
| URI | m2://inv/MKAMTYY127 |
|---|---|
| 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#ZTIO, Patricia Jacobs (unknown)
History
- 2026-11-02: add by m2/dev
MKAP28S3ND MKAP28S3ND
| URI | m2://inv/MKAP28S3ND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/minimization.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 37.3
History
- 2026-11-01: add by m2/v0.6.13
MKATGCJVBK MKATGCJVBK
| URI | m2://inv/MKATGCJVBK |
|---|---|
| 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.10233#0HX2 (statement). In QR9WE79ERQ/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Exact deflation raises the spectral floor MKB2M3Z39C
| URI | m2://inv/MKB2M3Z39C |
|---|---|
| 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 2609.21102#D2QZ, Exact deflation raises the spectral floor (statement)
History
- 2026-11-02: add by m2/v0.6.18
MKB5AQYBQ7 MKB5AQYBQ7
| URI | m2://inv/MKB5AQYBQ7 |
|---|---|
| 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.08211#K37Z (statement). In 1QRK9HXJWT/e1, proposition 1.5
History
- 2026-10-29: add by m2/v0.4.10
label=prop:frechet,restate=propFrechet MKBA2SXDX4
| URI | m2://inv/MKBA2SXDX4 |
|---|---|
| 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.07927#21T8, label=prop:frechet,restate=propFrechet (statement). In GKM19DHQTM/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
Picard theorem MKBNE8Q2BE
| URI | m2://inv/MKBNE8Q2BE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#F0R2, Picard theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications MKBS3XREP6
| URI | m2://inv/MKBS3XREP6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crofton formula#WD4V, Applications (example)
History
- 2026-11-02: add by m2/dev
Picard–Fuchs equation MKBS7AHFWJ
| URI | m2://inv/MKBS7AHFWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#KHFE, Picard–Fuchs equation (definition)
History
- 2026-11-02: add by m2/dev
Chevalley–Shephard–Todd theorem MKC03S6D5A
| URI | m2://inv/MKC03S6D5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5094305, Chevalley–Shephard–Todd theorem (statement). Also Wikidata Q5094305
- thousand_plus: thousand_plus Q5094305, Chevalley–Shephard–Todd theorem (statement). Also Wikidata Q5094305, Wikipedia Chevalley–Shephard–Todd theorem
- wikipedia: Wikipedia Chevalley–Shephard–Todd theorem, Chevalley–Shephard–Todd theorem (statement). Also Wikidata Q5094305
History
- 2026-10-26: add by m2/dev
MKCAQT1574 MKCAQT1574
| URI | m2://inv/MKCAQT1574 |
|---|---|
| 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 2510.12502#MV5W (statement). In 3A4K47Y9F2/e1, theorem 4.28
History
- 2026-10-27: add by m2/v0.4.0
BCMP network MKCBZQMPBP
| URI | m2://inv/MKCBZQMPBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UWUN, BCMP network (definition)
History
- 2026-11-02: add by m2/dev
MKD36T1AES MKD36T1AES
| URI | m2://inv/MKD36T1AES |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#proof-4 (proof). In RZP28ERRZV, proof, section 31.4
History
- 2026-11-01: add by m2/v0.6.13
Coset enumeration MKD465MXFH
| URI | m2://inv/MKD465MXFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#CH7G, Coset enumeration (unknown)
History
- 2026-11-02: add by m2/dev
Bôcher's theorem MKD4K4N6EE
| URI | m2://inv/MKD4K4N6EE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxime Bôcher#SNYX, Bôcher's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition MKD5KP18ZZ
| URI | m2://inv/MKD5KP18ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amitsur complex#289Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fibonacci snowflake MKD803MCVK
| URI | m2://inv/MKD803MCVK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci word fractal#X57M, Fibonacci snowflake (unknown)
History
- 2026-11-02: add by m2/dev
MKDBCS8CAY MKDBCS8CAY
| URI | m2://inv/MKDBCS8CAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21399#QOQK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Henda Swart MKDDP4JZNX
| URI | m2://inv/MKDDP4JZNX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2K0O, Henda Swart (topic)
History
- 2026-11-02: add by m2/dev
Applications MKDG3YH2BV
| URI | m2://inv/MKDG3YH2BV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein manifold#X8ZJ, Applications (example)
History
- 2026-11-02: add by m2/dev
MKDGYTYMN7 MKDGYTYMN7
| URI | m2://inv/MKDGYTYMN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#HYV7 (statement). In 7SRERSS1PF/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
MKDHCTXS67 MKDHCTXS67
| URI | m2://inv/MKDHCTXS67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#NY3A (statement)
History
- 2026-11-02: add by m2/v0.6.18
MKDMX7Y5Q3 MKDMX7Y5Q3
| URI | m2://inv/MKDMX7Y5Q3 |
|---|---|
| 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.32104#960U (statement). In YRJSYFXNM8/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
MKDR7247YP MKDR7247YP
| URI | m2://inv/MKDR7247YP |
|---|---|
| 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.02484#T940 (statement). In D1V0MQZTFQ/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.12
MKDW4PX6CQ MKDW4PX6CQ
| URI | m2://inv/MKDW4PX6CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-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.17139#TPGV (statement). In AQWX60Z563/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
William Browder MKE59BC74Z
| URI | m2://inv/MKE59BC74Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D2Z9, William Browder (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JSP3, William Browder (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MNPL, William Browder (topic)
History
- 2026-11-02: add by m2/dev
MKE5A9N70M MKE5A9N70M
| URI | m2://inv/MKE5A9N70M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
linear isomorphism MKEA6K8T3F
| URI | m2://inv/MKEA6K8T3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Linear isomorphism 0B8T10CE7N |
Mentions
- wikidata: Wikidata Q77873528, linear isomorphism (definition). Also nLab linear isomorphism, ProofWiki Definition:Isomorphism_(Abstract_Algebra)/R-Algebraic_Structure_Isomorphism/Vector_Space_Isomorphism
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MKEGP98M7G MKEGP98M7G
| URI | m2://inv/MKEGP98M7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20520#E6AK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Existence of Morse Lyapunov functions MKEVH1KNYG
| URI | m2://inv/MKEVH1KNYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05626#G5YY, Existence of Morse Lyapunov functions (statement). In PMZEF75W7S/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.10
MKEVXXHR8A MKEVXXHR8A
| URI | m2://inv/MKEVXXHR8A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#proof-2 (proof). In RZP28ERRZV, proof, section 52.3
History
- 2026-11-01: add by m2/v0.6.13
MKEZS44GNF MKEZS44GNF
| URI | m2://inv/MKEZS44GNF |
|---|---|
| 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.18281#OT7Z (statement). In QYD0EJM85G/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Example MKF55ZFNH2
| URI | m2://inv/MKF55ZFNH2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeta function regularization#JHG1, Example (example)
History
- 2026-11-02: add by m2/dev
MKF6GCZY6A MKF6GCZY6A
| URI | m2://inv/MKF6GCZY6A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21952#0UJ6 (definition). In 684EB1TQ4B/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.2
Construction MKFB7NTKRZ
| URI | m2://inv/MKFB7NTKRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daubechies wavelet#Y757, Construction (definition)
History
- 2026-11-02: add by m2/dev
Non-uniform marginals MKFBFKXRKG
| URI | m2://inv/MKFBFKXRKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14012#AH3L, Non-uniform marginals (statement). In B8M5XAJASD/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
MKFCA539XQ MKFCA539XQ
| URI | m2://inv/MKFCA539XQ |
|---|---|
| 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.09042#TA16 (statement). In 7CS3N5K9FJ/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
MKFCNAME0E MKFCNAME0E
| URI | m2://inv/MKFCNAME0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#5TXS (statement). In 332PQD90SW/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
MKFTW94YDA MKFTW94YDA
| URI | m2://inv/MKFTW94YDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.04099#CX9H (statement). In QPJ6FWG5HD/e1, lemma 2.18
History
- 2026-10-29: add by m2/v0.4.12
MKFX9G407H MKFX9G407H
| URI | m2://inv/MKFX9G407H |
|---|---|
| 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.27715#3EFZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
MKG1Q1276V MKG1Q1276V
| URI | m2://inv/MKG1Q1276V |
|---|---|
| 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.07445#KP0I (statement). In F1BM3Q8125/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
MKG7MZ71VE MKG7MZ71VE
| URI | m2://inv/MKG7MZ71VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#AZTN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maria-Pia Geppert MKG8DGTECP
| URI | m2://inv/MKG8DGTECP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria-Pia Geppert, Maria-Pia Geppert (topic). Also Wikidata Q1895581
History
- 2026-11-02: add by m2/dev
Paul Erdős MKGCBE9ZD8
| URI | m2://inv/MKGCBE9ZD8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#C2Q5, Paul Erdős (topic)
History
- 2026-11-02: add by m2/dev
MKGDY232K8 MKGDY232K8
| URI | m2://inv/MKGDY232K8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#WULC (statement). In V42PPD7SWH/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
A free middle group MKGE9Z7P4R
| URI | m2://inv/MKGE9Z7P4R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00021#E5B4, A free middle group (example). In EX42AVA7CV/e1, example 8.4
History
- 2026-10-30: add by m2/v0.4.12
MKGF6FRD7D MKGF6FRD7D
| URI | m2://inv/MKGF6FRD7D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-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 2511.06555#XP8Y (example). In 5GDDS20Q3D/e1, example 2.3
History
- 2026-10-27: add by m2/v0.4.0
MKGJHE9YRZ MKGJHE9YRZ
| URI | m2://inv/MKGJHE9YRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27495#BJF2 (statement). In 1TZVMC23J9/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
MKGN69S3D9 MKGN69S3D9
| URI | m2://inv/MKGN69S3D9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33531#4U2B (statement). In HNMJEAR2ER/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
Demetrios Christodoulou MKGSF4GM83
| URI | m2://inv/MKGSF4GM83 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#1D2Y, Demetrios Christodoulou (topic)
History
- 2026-11-02: add by m2/dev
Vaught conjecture MKGSQV5Q9D
| URI | m2://inv/MKGSQV5Q9D |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaught conjecture, Vaught conjecture (conjecture). Also Wikidata Q7917378
History
- 2026-11-02: add by m2/dev
MKH1PJV91Z MKH1PJV91Z
| URI | m2://inv/MKH1PJV91Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
Otis Dudley Duncan MKH8CGWQPM
| URI | m2://inv/MKH8CGWQPM |
|---|---|
| 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#I06A, Otis Dudley Duncan (unknown)
History
- 2026-11-02: add by m2/dev
MKHJBQJNNX MKHJBQJNNX
| URI | m2://inv/MKHJBQJNNX |
|---|---|
| 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.12479#WV7U (statement). In WE001PR75Z/e1, proposition 14
History
- 2026-10-28: add by m2/v0.4.2
MKHPCSDR8R MKHPCSDR8R
| URI | m2://inv/MKHPCSDR8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.23119#LMQR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Signal-decoupled boundedness, any dimension MKHQKCP521
| URI | m2://inv/MKHQKCP521 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27949#H5JB, Signal-decoupled boundedness, any dimension (statement)
History
- 2026-11-01: add by m2/v0.6.15
No-Actual-Infinities principle MKHT6EB2Q6
| URI | m2://inv/MKHT6EB2Q6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grim Reaper paradox#JIBS, No-Actual-Infinities principle (statement)
History
- 2026-11-02: add by m2/dev
Mathieu group M12 MKHW8HH7YX
| URI | m2://inv/MKHW8HH7YX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M12, Mathieu group M12 (object). Also Wikidata Q6787236
History
- 2026-11-02: add by m2/dev
Goal-Oriented Semantic Communication Principle MKJBRG25ZB
| URI | m2://inv/MKJBRG25ZB |
|---|---|
| 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 2604.19614#4JQ5, Goal-Oriented Semantic Communication Principle (statement). In F5NDAFW801/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
MKJHH8X7E5 MKJHH8X7E5
| URI | m2://inv/MKJHH8X7E5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-27 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
List of sovereign states and dependent territories in Europe by population MKJQ0JCJYF
| URI | m2://inv/MKJQ0JCJYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Europe#LBDR, List of sovereign states and dependent territories in Europe by population (unknown)
History
- 2026-11-02: add by m2/dev
Josephson constant MKJZ19ZV2Q
| URI | m2://inv/MKJZ19ZV2Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#CLK7, Josephson constant (unknown)
History
- 2026-11-02: add by m2/dev
MKK11REM58 MKK11REM58
| URI | m2://inv/MKK11REM58 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22263#9JW9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
MKK5489X5F MKK5489X5F
| URI | m2://inv/MKK5489X5F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-42 (proof). In N54F33XE07, proof, section B.6
History
- 2026-11-01: add by m2/v0.6.13
MKK89GSD4B MKK89GSD4B
| URI | m2://inv/MKK89GSD4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-9 (example). In E59CDZA4DP, example, section 10.2.3
History
- 2026-11-01: add by m2/v0.6.13
MKKCMY9583 MKKCMY9583
| URI | m2://inv/MKKCMY9583 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#ZPYR (statement). In G35G1NJKBX/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
MKKE02BNQK MKKE02BNQK
| URI | m2://inv/MKKE02BNQK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-10 (exercise). In E9HS8K3A52, exercise, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Postnikov magnetic co-symmetries MKKFM354WV
| URI | m2://inv/MKKFM354WV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 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 2610.03865#M7JA, Postnikov magnetic co-symmetries (definition). In G3D1YR20BJ/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.12
Definitions MKKJW5KWJ5
| URI | m2://inv/MKKJW5KWJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan's property (T)#V159, Definitions (definition)
History
- 2026-11-02: add by m2/dev
MKKK0Q90Y4 MKKK0Q90Y4
| URI | m2://inv/MKKK0Q90Y4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 83.12
History
- 2026-11-01: add by m2/v0.6.13
Multiplicity monotonicity MKKKKJ4JNC
| URI | m2://inv/MKKKKJ4JNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06742#4M6V, Multiplicity monotonicity (statement). In 24FJ7C8WPN/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Metabolic quadratic space MKKPBX247Y
| URI | m2://inv/MKKPBX247Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotropic quadratic form#RJSD, Metabolic quadratic space (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert projection theorem MKKVF931P7
| URI | m2://inv/MKKVF931P7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert projection theorem#8SX0, Hilbert projection theorem (statement)
History
- 2026-11-02: add by m2/dev
MKKZ7VH8H7 MKKZ7VH8H7
| URI | m2://inv/MKKZ7VH8H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.03612#4R1K (statement). In REDG6QVHM3/e1, theorem 8.12
History
- 2026-10-29: add by m2/v0.4.12
MKMRYT2FJM MKMRYT2FJM
| URI | m2://inv/MKMRYT2FJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#8G9F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formal definition MKMYZFVAZF
| URI | m2://inv/MKMYZFVAZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical game theory#YIF6, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
MKN2YHK7C3 MKN2YHK7C3
| URI | m2://inv/MKN2YHK7C3 |
|---|---|
| Kind | example |
| 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 2401.05118#LYWW (example). In BT0T0QS2TN/e1, example 5.1
History
- 2026-10-27: add by m2/v0.4.0
MKN5Y0E1S7 MKN5Y0E1S7
| URI | m2://inv/MKN5Y0E1S7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#62YI (definition). In 9RBATD2Z1F/e1, definition 3.17
History
- 2026-10-30: add by m2/v0.4.12
Jordan's lemma MKN7QQ3H1K
| URI | m2://inv/MKN7QQ3H1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#F0AG, Jordan's lemma (statement)
History
- 2026-11-02: add by m2/dev
MKN86W70GT MKN86W70GT
| URI | m2://inv/MKN86W70GT |
|---|---|
| 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.25289#V6G0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compatibility of the auxiliary ghost system MKN8RASGP6
| URI | m2://inv/MKN8RASGP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19192#7C3W, Compatibility of the auxiliary ghost system (statement). In E53KCQ5029/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
MKNA6B6MEW MKNA6B6MEW
| URI | m2://inv/MKNA6B6MEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33584#IRCH (statement). In 3HFBAWQCA1/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
MKNGFFRP77 MKNGFFRP77
| URI | m2://inv/MKNGFFRP77 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#VKSN (example). In TWGMVT1N1G/e1, example 2.11
History
- 2026-10-29: add by m2/v0.4.10
MKNWKB9MJ0 MKNWKB9MJ0
| URI | m2://inv/MKNWKB9MJ0 |
|---|---|
| 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 2609.20140#AWHR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Phase dispersion minimization MKP1B9X4C0
| URI | m2://inv/MKP1B9X4C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WPAV, Phase dispersion minimization (definition)
History
- 2026-11-02: add by m2/dev
MKPA94WFQ0 MKPA94WFQ0
| URI | m2://inv/MKPA94WFQ0 |
|---|---|
| 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 2110.08714#FXH2 (statement). In A3RAXBSWA5/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Optimization in electrical engineering MKPFHJCB9Y
| URI | m2://inv/MKPFHJCB9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical optimization#M8FF, Optimization in electrical engineering (unknown)
History
- 2026-11-02: add by m2/dev
Universal graph MKPFQFTWB3
| URI | m2://inv/MKPFQFTWB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal graph, Universal graph (definition). Also Wikidata Q7894131
History
- 2026-11-02: add by m2/dev
Examples MKPGR4XD18
| URI | m2://inv/MKPGR4XD18 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably generated space#LWVY, Examples (example)
History
- 2026-11-02: add by m2/dev
Alfred Clebsch MKPWA3RBJ3
| URI | m2://inv/MKPWA3RBJ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Clebsch, Alfred Clebsch (topic). Also Wikidata Q61737
History
- 2026-11-02: add by m2/dev
Universality of online discrepancy MKPYMZA6FS
| URI | m2://inv/MKPYMZA6FS |
|---|---|
| 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.00103#1XVD, Universality of online discrepancy (statement). In S7RDXJWP1A/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Low regularity Lorentzian metrics MKPZMFAN0Q
| URI | m2://inv/MKPZMFAN0Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#K5HY, Low regularity Lorentzian metrics (example). In 5BYE5NYB89/e1, example 2.4
History
- 2026-10-28: add by m2/v0.4.3
MKQ0PYEA4W MKQ0PYEA4W
| URI | m2://inv/MKQ0PYEA4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21399#1O95 (statement)
History
- 2026-11-02: add by m2/v0.6.18
commutativity MKQB5WQ093
| URI | m2://inv/MKQB5WQ093 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#W9ZS, commutativity (definition)
History
- 2026-11-02: add by m2/dev
Applications MKQP0J0AMT
| URI | m2://inv/MKQP0J0AMT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor K-theory#DICX, Applications (example)
History
- 2026-11-02: add by m2/dev
MKQZ01NZRT MKQZ01NZRT
| URI | m2://inv/MKQZ01NZRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#30HB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Olivetti Summa Prima 20 MKQZZE4QSQ
| URI | m2://inv/MKQZZE4QSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olivetti Summa Prima 20, Olivetti Summa Prima 20 (definition). Also Wikidata Q16583870
History
- 2026-11-02: add by m2/dev
Parameshvara's circumradius formula MKR30JGBP5
| URI | m2://inv/MKR30JGBP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic quadrilateral#XPRM, Parameshvara's circumradius formula (statement)
History
- 2026-11-02: add by m2/dev
MKR6V7RT20 MKR6V7RT20
| URI | m2://inv/MKR6V7RT20 |
|---|---|
| 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.33050#RBQW (statement). In VDSBMQ0G9W/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Axiomatic semantics MKR7D23Q75
| URI | m2://inv/MKR7D23Q75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic semantics, Axiomatic semantics (definition). Also Wikidata Q792533
History
- 2026-11-02: add by m2/dev
Generalizations MKRF86M60Z
| URI | m2://inv/MKRF86M60Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-derivative#4H9E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
MKRRKMW75P MKRRKMW75P
| URI | m2://inv/MKRRKMW75P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#0AU1 (statement). In 9Z5M655EPV/e1, lemma 5.13
History
- 2026-10-29: add by m2/v0.4.10
The shell measures MKRS19CPNP
| URI | m2://inv/MKRS19CPNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#8YP4, The shell measures (statement)
History
- 2026-11-02: add by m2/v0.6.18
Extensions MKRSGFWEWA
| URI | m2://inv/MKRSGFWEWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KenKen#46LN, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Connectivity theorems MKRWCQJEBZ
| URI | m2://inv/MKRWCQJEBZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metabolic control analysis#PJA2, Connectivity theorems (statement)
History
- 2026-11-02: add by m2/dev
Sparse cut MKS1YEE2XC
| URI | m2://inv/MKS1YEE2XC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cut (graph theory)#WG5K, Sparse cut (unknown)
History
- 2026-11-02: add by m2/dev
chain MKS5N3ZW9H
| URI | m2://inv/MKS5N3ZW9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q53710222, chain (unknown). Also MathWorld Chain
History
- 2026-10-26: add by m2/dev
Quantitative instantaneous non-degeneracy MKSC42QET9
| URI | m2://inv/MKSC42QET9 |
|---|---|
| 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.08434#WI3W, Quantitative instantaneous non-degeneracy (statement). In VN8087G2FC/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Finite penalty stabilization MKSD9JJEJ8
| URI | m2://inv/MKSD9JJEJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39736#PZMV, Finite penalty stabilization (statement). In BB1XJ47PVW/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Giulia Di Nunno MKSDM1DJWN
| URI | m2://inv/MKSDM1DJWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giulia Di Nunno, Giulia Di Nunno (topic). Also Wikidata Q57292982
History
- 2026-11-02: add by m2/dev
A period bound for joined boards MKSEDXBARV
| URI | m2://inv/MKSEDXBARV |
|---|---|
| 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.06925#E1I4, A period bound for joined boards (statement). In P0NV7337EK/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.10
Five color theorem MKSEZWAP3R
| URI | m2://inv/MKSEZWAP3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Five colour theorem 06C0JBE52D |
Mentions
- mathlib_1000: mathlib_1000 Q105222412, Five color theorem (statement). Also Wikidata Q105222412
- thousand_plus: thousand_plus Q105222412, Five color theorem (statement). Also Wikidata Q105222412, Wikipedia Five color theorem
- wikipedia: Wikipedia Five color theorem, Five color theorem (statement). Also Wikidata Q105222412
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MKSJDWGCD2 MKSJDWGCD2
| URI | m2://inv/MKSJDWGCD2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#7UZG (definition). In ZQ2YZ4P6P5/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
MKSK7W4NWY MKSK7W4NWY
| URI | m2://inv/MKSK7W4NWY |
|---|---|
| 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 1002.0879#HYGC (statement). In M0SQY5EZN5/e1, theorem 6.1.8
History
- 2026-10-27: add by m2/v0.3.5
Wf MKSVD2KTC1
| URI | m2://inv/MKSVD2KTC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#7Y28, Wf (definition)
History
- 2026-11-02: add by m2/dev
MKT0KNQ97D MKT0KNQ97D
| URI | m2://inv/MKT0KNQ97D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#3894 (statement). In 2XBYZ1QP22/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
MKT1C15PA1 MKT1C15PA1
| URI | m2://inv/MKT1C15PA1 |
|---|---|
| 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.36613#ZVYQ (statement). In GX0K0ZM700/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
MKT3Y8SWXX MKT3Y8SWXX
| URI | m2://inv/MKT3Y8SWXX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#DNU3 (example)
History
- 2026-11-01: add by m2/v0.6.15
MKT4QM6FFF MKT4QM6FFF
| URI | m2://inv/MKT4QM6FFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04027#H801 (statement). In DQB4YR2DFH/e1, lemma E.1
History
- 2026-10-29: add by m2/v0.4.12
Hybrid stochastic simulation MKT5B5DF06
| URI | m2://inv/MKT5B5DF06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hybrid stochastic simulation, Hybrid stochastic simulation (definition). Also Wikidata Q97186905
History
- 2026-11-02: add by m2/dev
trivial ring MKT96MXNZQ
| URI | m2://inv/MKT96MXNZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Zero ring 008TBCYDPX |
Mentions
- wikidata: Wikidata Q1652969, trivial ring (definition). Also MathWorld TrivialRing, nLab trivial ring, ProofWiki Definition:Null_Ring
- wikipedia: Wikipedia Zero ring, Zero ring (definition). Also Wikidata Q1652969
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MKTBPMJZAB MKTBPMJZAB
| URI | m2://inv/MKTBPMJZAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#SC27 (statement). In YXD3950ZXR/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Cross-component correction MKTGASE862
| URI | m2://inv/MKTGASE862 |
|---|---|
| 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 2609.34025#LIT5, Cross-component correction (statement). In VCG579E7MM/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Parallel edges with at most three particles MKTSD9B2T6
| URI | m2://inv/MKTSD9B2T6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#4E4Q, Parallel edges with at most three particles (statement). In Y1DR0DPWD0/e1, corollary 6.13
History
- 2026-10-29: add by m2/v0.4.12
Douady rabbit MKTSG96F0H
| URI | m2://inv/MKTSG96F0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6JN7, Douady rabbit (definition)
History
- 2026-11-02: add by m2/dev
Congeries MKV0XT78VB
| URI | m2://inv/MKV0XT78VB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synathroesmus#0RSI, Congeries (unknown)
History
- 2026-11-02: add by m2/dev
spectrum MKV93Y2YMN
| URI | m2://inv/MKV93Y2YMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#SXS3, spectrum (definition)
History
- 2026-11-02: add by m2/dev
Bhāskara I's sine approximation formula MKVEPD81R3
| URI | m2://inv/MKVEPD81R3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhāskara I's sine approximation formula, Bhāskara I's sine approximation formula (statement). Also Wikidata Q4901362
History
- 2026-11-02: add by m2/dev
MKVERXKZ8V MKVERXKZ8V
| URI | m2://inv/MKVERXKZ8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04628#55CM (statement). In MREZZ9NCY8/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.12
Definition MKVJMYRQK5
| URI | m2://inv/MKVJMYRQK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strömberg wavelet#UQDM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Harvard-MIT Mathematics Tournament MKVMBWQ7CS
| URI | m2://inv/MKVMBWQ7CS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#FF6I, Harvard-MIT Mathematics Tournament (unknown)
History
- 2026-11-02: add by m2/dev
Lehmer's conjecture MKVQWM23VB
| URI | m2://inv/MKVQWM23VB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lehmer's conjecture NDRRH2YD2C |
Mentions
- wikidata: Wikidata Q6518929, Lehmer's conjecture (conjecture). Also MathWorld LehmersMahlerMeasureProblem
- wikipedia: Wikipedia Lehmer's conjecture, Lehmer's conjecture (conjecture). Also Wikidata Q6518929
History
- 2026-10-26: add by m2/dev
Four-block Transformer construction MKVRS77805
| URI | m2://inv/MKVRS77805 |
|---|---|
| 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.05333#959D, Four-block Transformer construction (statement). In N37WKFTR7Q/e1, lemma E.1
History
- 2026-10-29: add by m2/v0.4.10
functor, loop space MKVSB9JFE5
| URI | m2://inv/MKVSB9JFE5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/functor-loop-space, functor, loop space (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
MKW1E7PE52 MKW1E7PE52
| URI | m2://inv/MKW1E7PE52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38212#7LPT (statement). In 5821K2RD8J/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
Examples MKW7X55Y1T
| URI | m2://inv/MKW7X55Y1T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian 2-group#K99D, Examples (example)
History
- 2026-11-02: add by m2/dev
Logical distinctness space MKW92YE72S
| URI | m2://inv/MKW92YE72S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#6L2M, Logical distinctness space (definition). In 7MVPNFPRKB/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
MKW9GKPHGF MKW9GKPHGF
| URI | m2://inv/MKW9GKPHGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36922#GO0D (statement). In BMHWE5QTTR/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Harry Rauch MKWRCWZT30
| URI | m2://inv/MKWRCWZT30 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Rauch, Harry Rauch (topic). Also Wikidata Q1586709
History
- 2026-11-02: add by m2/dev
Large deviations MKWWN5H2YX
| URI | m2://inv/MKWWN5H2YX |
|---|---|
| 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.21972#9YY7, Large deviations (statement)
History
- 2026-11-02: add by m2/v0.6.17
meteorology MKXM6VKWQW
| URI | m2://inv/MKXM6VKWQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25261, meteorology (unknown). Also EoM Meteorology,_mathematical_problems_in
- wikipedia: Wikipedia Meteorology, Meteorology (definition). Also Wikidata Q25261
History
- 2026-10-26: add by m2/dev
MKXT33BAMX MKXT33BAMX
| URI | m2://inv/MKXT33BAMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#78DQ (statement). In JQFPH09JG8/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
Dumb Hundred, Pennsylvania MKXTVC66FW
| URI | m2://inv/MKXTVC66FW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KIV0, Dumb Hundred, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
Icosahedral 120-cell MKXVV0STVK
| URI | m2://inv/MKXVV0STVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#I4PY, Icosahedral 120-cell (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NNQS, Icosahedral 120-cell (definition)
History
- 2026-11-02: add by m2/dev
Beta rectangular distribution MKXWHT7RXF
| URI | m2://inv/MKXWHT7RXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta rectangular distribution, Beta rectangular distribution (definition). Also Wikidata Q3258271
History
- 2026-11-02: add by m2/dev
MKXXGD5258 MKXXGD5258
| URI | m2://inv/MKXXGD5258 |
|---|---|
| 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.20801#946A (definition). In A1GWWGRXPA/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
List of incomplete proofs MKY5BDQFRG
| URI | m2://inv/MKY5BDQFRG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs, List of incomplete proofs (topic). Also Wikidata Q6623941
History
- 2026-11-02: add by m2/dev
MKY8SPQ5HZ MKY8SPQ5HZ
| URI | m2://inv/MKY8SPQ5HZ |
|---|---|
| Kind | conjecture |
| 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.31269#6OI0 (conjecture). In ZPT9XCCAPQ/e1, conjecture 4.1.2
History
- 2026-10-31: add by m2/v0.5.6
abstract elementary class MKYFE0AQ0H
| URI | m2://inv/MKYFE0AQ0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4669945, abstract elementary class (unknown). Also nLab abstract elementary class
- wikipedia: Wikipedia Abstract elementary class, Abstract elementary class (definition). Also Wikidata Q4669945
History
- 2026-10-26: add by m2/dev
integrand MKYKWQE7NP
| URI | m2://inv/MKYKWQE7NP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138036390, integrand (unknown). Also MathWorld Integrand
History
- 2026-10-26: add by m2/dev
MKYQBWJPPP MKYQBWJPPP
| URI | m2://inv/MKYQBWJPPP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#example-4 (example). In RZP28ERRZV, example, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
MKZ1JDY0A1 MKZ1JDY0A1
| URI | m2://inv/MKZ1JDY0A1 |
|---|---|
| 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 2501.15210#118J (statement). In S4S8V2DYSA/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
MKZ5HCF98T MKZ5HCF98T
| URI | m2://inv/MKZ5HCF98T |
|---|---|
| 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.32439#OUD1 (statement). In GD8D1YH7K4/e1, theorem 2.7
History
- 2026-10-31: add by m2/v0.5.6
*{Theorem 4.4}, *{Corollary 6.6(1)}, *{Theorem 5.8 MKZC3Y3AH2
| URI | m2://inv/MKZC3Y3AH2 |
|---|---|
| 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#IJX1, *{Theorem 4.4}, *{Corollary 6.6(1)}, *{Theorem 5.8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Common range of optimal moment blocks MKZPHQM1VM
| URI | m2://inv/MKZPHQM1VM |
|---|---|
| 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.17371#SG84, Common range of optimal moment blocks (statement). In FF92TNYHQR/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Emil Post MKZSZVV1FW
| URI | m2://inv/MKZSZVV1FW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#ZZKQ, Emil Post (topic)
History
- 2026-11-02: add by m2/dev
Icosiheptagon MKZVS38DEV
| URI | m2://inv/MKZVS38DEV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SDI1, Icosiheptagon (topic)
History
- 2026-11-02: add by m2/dev
MKZYZFMS0Q MKZYZFMS0Q
| URI | m2://inv/MKZYZFMS0Q |
|---|---|
| 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.23941#A6FU (statement)
History
- 2026-11-02: add by m2/v0.6.17
MKZZ6Y5DVE MKZZ6Y5DVE
| URI | m2://inv/MKZZ6Y5DVE |
|---|---|
| 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.32475#X1GX (statement). In 5N606WED8M/e1, corollary 8
History
- 2026-10-31: add by m2/v0.5.6