Inventory rows MR
The cards of the rows of the inventory whose ids start with MR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Weighted $L_1$ approximation of a jump MR07D55TXT
| URI | m2://inv/MR07D55TXT |
|---|---|
| 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.21363#KYQE, Weighted $L_1$ approximation of a jump (statement). In YPH7NS5AAQ/e1, lemma E.3
History
- 2026-10-27: add by m2/v0.4.2
MR092377XZ MR092377XZ
| URI | m2://inv/MR092377XZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#01DD (statement). In M9VHCG48HB/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.3.5
Topology glossary MR0DR042CZ
| URI | m2://inv/MR0DR042CZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#QR1U, Topology glossary (topic)
History
- 2026-11-02: add by m2/dev
Conjugate diameters MR0KAPRMV6
| URI | m2://inv/MR0KAPRMV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#XT76, Conjugate diameters (definition)
History
- 2026-11-02: add by m2/dev
MR0M67KGTC MR0M67KGTC
| URI | m2://inv/MR0M67KGTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#ROZT (statement). In 68AE571S4P/e1, proposition 4.13
History
- 2026-10-29: add by m2/v0.4.10
MR0S0628TZ MR0S0628TZ
| URI | m2://inv/MR0S0628TZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#lem:homotopy-props (statement). In N54F33XE07, lem, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Properties MR13EZAKPB
| URI | m2://inv/MR13EZAKPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost contact manifold#ZIGG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Richard Schoen MR16DM0DFY
| URI | m2://inv/MR16DM0DFY |
|---|---|
| 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 Q455610, Richard Schoen (unknown). Also nLab Richard Schoen
History
- 2026-10-26: add by m2/dev
MR18F6M91X MR18F6M91X
| URI | m2://inv/MR18F6M91X |
|---|---|
| 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.21963#ME6N (statement). In HR9R8RPKN8/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Bose–Mesner algebra MR19BMDFQJ
| URI | m2://inv/MR19BMDFQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BI3K, Bose–Mesner algebra (definition)
History
- 2026-11-02: add by m2/dev
M. Vali Siadat MR1B4ZNQ5Z
| URI | m2://inv/MR1B4ZNQ5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. Vali Siadat, M. Vali Siadat (topic). Also Wikidata Q72219964
History
- 2026-11-02: add by m2/dev
MR1DQ8BFCW MR1DQ8BFCW
| URI | m2://inv/MR1DQ8BFCW |
|---|---|
| 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.16883#60CF (statement). In TYS9N30M63/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
MR1NRAJKWW MR1NRAJKWW
| URI | m2://inv/MR1NRAJKWW |
|---|---|
| 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#TFBG (statement). In JW8HH6EPG2/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Supercompact space MR2022W5HM
| URI | m2://inv/MR2022W5HM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supercompact space, Supercompact space (definition). Also Wikidata Q7643155
History
- 2026-11-02: add by m2/dev
Time separation function MR22TBA0XA
| URI | m2://inv/MR22TBA0XA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#V56Y, Time separation function (definition). In KM3Q791JY0/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
MR23SZB6QV MR23SZB6QV
| URI | m2://inv/MR23SZB6QV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#9RUH (statement). In ZJQB9W60T6/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
MR2621WNBC MR2621WNBC
| URI | m2://inv/MR2621WNBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
number MR2HNNERT1
| URI | m2://inv/MR2HNNERT1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11563, number (concept). Also MathWorld Number, ProofWiki Definition:Number
- wikipedia: Wikipedia Number, Number (definition). Also Wikidata Q11563
History
- 2026-10-26: add by m2/dev
Henri Wald MR2J78WGEE
| URI | m2://inv/MR2J78WGEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henri Wald, Henri Wald (topic). Also Wikidata Q16015657
History
- 2026-11-02: add by m2/dev
MR2N9QBE4H MR2N9QBE4H
| URI | m2://inv/MR2N9QBE4H |
|---|---|
| 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.30579#7PUL (statement). In FDYZFDHZH9/e1, corollary 4.13
History
- 2026-10-31: add by m2/v0.5.6
Grouped snapshot transport MR2RAHJXE0
| URI | m2://inv/MR2RAHJXE0 |
|---|---|
| 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.37164#C830, Grouped snapshot transport (statement). In B2PG75FSQJ/e1, lemma 6.9
History
- 2026-10-30: add by m2/v0.4.12
Allee principles of aggregation MR2ZX3JJ4Z
| URI | m2://inv/MR2ZX3JJ4Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allee effect#LEJ5, Allee principles of aggregation (statement)
History
- 2026-11-02: add by m2/dev
MR34FNHE1F MR34FNHE1F
| URI | m2://inv/MR34FNHE1F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-4.xml#activity-3 (exercise). In 649HGZKE96, activity, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Lyapunov's inequality MR36JEGFDP
| URI | m2://inv/MR36JEGFDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#P3OG, Lyapunov's inequality (statement)
History
- 2026-11-02: add by m2/dev
MR39RE0NJQ MR39RE0NJQ
| URI | m2://inv/MR39RE0NJQ |
|---|---|
| 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 2512.08487#F2K8 (statement). In 77TVQVYN0Z/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.6
MR3EBTRHEX MR3EBTRHEX
| URI | m2://inv/MR3EBTRHEX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 50.1
History
- 2026-11-01: add by m2/v0.6.13
Horocycle MR3VF0RQC0
| URI | m2://inv/MR3VF0RQC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#J2S9, Horocycle (definition)
History
- 2026-11-02: add by m2/dev
Explicit protocol under a uniform finite rate cap MR3Y53NM2B
| URI | m2://inv/MR3Y53NM2B |
|---|---|
| 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.00291#D3EP, Explicit protocol under a uniform finite rate cap (statement). In JXCHERE2AF/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Examples MR3Z29A13J
| URI | m2://inv/MR3Z29A13J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local ring#A2IH, Examples (example)
History
- 2026-11-02: add by m2/dev
Magnetic charges MR412TVVWD
| URI | m2://inv/MR412TVVWD |
|---|---|
| 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#LEGX, Magnetic charges (definition). In G3D1YR20BJ/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Ulrich Stuhler MR469JADWK
| URI | m2://inv/MR469JADWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#QBOI, Ulrich Stuhler (topic)
History
- 2026-11-02: add by m2/dev
MR4J6JSYKF MR4J6JSYKF
| URI | m2://inv/MR4J6JSYKF |
|---|---|
| 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.16727#0632 (statement). In Z5QS3MD8HN/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
FOIL method MR4JD6336G
| URI | m2://inv/MR4JD6336G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FOIL method, FOIL method (definition). Also Wikidata Q5426847
History
- 2026-11-02: add by m2/dev
MR4Q1XZ6JQ MR4Q1XZ6JQ
| URI | m2://inv/MR4Q1XZ6JQ |
|---|---|
| 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.30961#7YOY (statement). In FFG2DDWEVB/e1, corollary 1.8
History
- 2026-10-31: add by m2/v0.5.6
MR50JQ10PA MR50JQ10PA
| URI | m2://inv/MR50JQ10PA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#ula-preview-7-1 (exercise). In 649HGZKE96, exploration, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
Game-Theoretic Monotonicity MR537DBEVW
| URI | m2://inv/MR537DBEVW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#BBX8, Game-Theoretic Monotonicity (definition)
History
- 2026-11-02: add by m2/v0.6.18
Skolem paradox MR55KQJMQA
| URI | m2://inv/MR55KQJMQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FZ4A, Skolem paradox (definition)
History
- 2026-11-02: add by m2/dev
Jonathan Marchini MR55YQWHR1
| URI | m2://inv/MR55YQWHR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Marchini, Jonathan Marchini (topic). Also Wikidata Q32653370
History
- 2026-11-02: add by m2/dev
RSA-250 MR5BQGEDSF
| URI | m2://inv/MR5BQGEDSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#OHOQ, RSA-250 (unknown)
History
- 2026-11-02: add by m2/dev
Erich Kähler MR5FBVPEB4
| URI | m2://inv/MR5FBVPEB4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#S2FA, Erich Kähler (topic)
History
- 2026-11-02: add by m2/dev
Theorem MR5QDTF9Y6
| URI | m2://inv/MR5QDTF9Y6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mercer's theorem#PX9I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples MR5QJPR57Z
| URI | m2://inv/MR5QJPR57Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associated prime#PY2J, Examples (example)
History
- 2026-11-02: add by m2/dev
Metrizable topological vector space MR5TZKA22F
| URI | m2://inv/MR5TZKA22F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space, Metrizable topological vector space (definition). Also Wikidata Q96392748
History
- 2026-11-02: add by m2/dev
Definition (Nash-equilibrium flow) MR5VEPVEH0
| URI | m2://inv/MR5VEPVEH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price of anarchy#01V0, Definition (Nash-equilibrium flow) (definition)
History
- 2026-11-02: add by m2/dev
Cofinite topology MR64TTEB1Q
| URI | m2://inv/MR64TTEB1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#E1BO, Cofinite topology (definition)
- wikipedia: Wikipedia List of topologies#9SRY, Cofinite topology (definition)
History
- 2026-11-02: add by m2/dev
MR662W22WE MR662W22WE
| URI | m2://inv/MR662W22WE |
|---|---|
| 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 2610.19533#FTOH (statement). In RG4Z9C6ANS/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Alexandre Kirillov MR68X7AE7S
| URI | m2://inv/MR68X7AE7S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9QNP, Alexandre Kirillov (topic)
History
- 2026-11-02: add by m2/dev
Trembling hand perfect equilibrium MR69SS6BTJ
| URI | m2://inv/MR69SS6BTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trembling hand perfect equilibrium, Trembling hand perfect equilibrium (definition). Also Wikidata Q1039525
History
- 2026-11-02: add by m2/dev
ordered semigroup MR6C8T21HN
| URI | m2://inv/MR6C8T21HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ordered semigroup HA79YFZAQR |
Mentions
- wikidata: Wikidata Q7100714, ordered semigroup (unknown). Also EoM Ordered_semi-group
- wikipedia: Wikipedia Ordered semigroup, Ordered semigroup (definition). Also Wikidata Q7100714
History
- 2026-10-26: add by m2/dev
omega-limit sets MR6D6RD2Y9
| URI | m2://inv/MR6D6RD2Y9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Dynamics > General theory > omega-limit sets, omega-limit sets (unknown). Also Mathlib omegaLimit
History
- 2026-10-26: add by m2/dev
Applications MR6DNYJPW9
| URI | m2://inv/MR6DNYJPW9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresnel integral#AP0K, Applications (example)
History
- 2026-11-02: add by m2/dev
\textsf{Critical self-similar FCLT MR6GKEXAXE
| URI | m2://inv/MR6GKEXAXE |
|---|---|
| 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.09404#9HF4, \textsf{Critical self-similar FCLT (statement). In D7CZZ48FRN/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.10
MR6K663GDY MR6K663GDY
| URI | m2://inv/MR6K663GDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#5E9P (statement). In RBQ5FNCVNZ/e1, lemma 10.13
History
- 2026-10-30: add by m2/v0.4.12
Definition MR6KJBYFJZ
| URI | m2://inv/MR6KJBYFJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint entropy#5M4O, Definition (definition)
History
- 2026-11-02: add by m2/dev
MR6PB5JZ3R MR6PB5JZ3R
| URI | m2://inv/MR6PB5JZ3R |
|---|---|
| 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.05784#55FW (statement). In 6NVP3YRWVA/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
Forsa institute MR6VCPK07N
| URI | m2://inv/MR6VCPK07N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#HATT, Forsa institute (unknown)
History
- 2026-11-02: add by m2/dev
MR6YSRRKDC MR6YSRRKDC
| URI | m2://inv/MR6YSRRKDC |
|---|---|
| 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.29148#IVW6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MR71BPTKW3 MR71BPTKW3
| URI | m2://inv/MR71BPTKW3 |
|---|---|
| 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.34852#JV73 (statement). In TZXEMCBK5V/e1, proposition 8.1
History
- 2026-10-30: add by m2/v0.4.12
MR74MD01NB MR74MD01NB
| URI | m2://inv/MR74MD01NB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#PSH5 (statement). In V97F4YZ8B0/e1, lemma 8.6
History
- 2026-10-28: add by m2/v0.4.2
MR7C8GG4GZ MR7C8GG4GZ
| URI | m2://inv/MR7C8GG4GZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 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 math/0512416#IZKY (statement). In WJD9YPGGYH/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.3.5
MR7DJ3DE1J MR7DJ3DE1J
| URI | m2://inv/MR7DJ3DE1J |
|---|---|
| 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 2610.07770#FPRD (statement). In 6GHT4P7E8X/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Canada/USA Mathcamp MR7DZ0VZCQ
| URI | m2://inv/MR7DZ0VZCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canada/USA Mathcamp, Canada/USA Mathcamp (definition). Also Wikidata Q5029272
History
- 2026-11-02: add by m2/dev
Leonard Roth MR7MCWEKT5
| URI | m2://inv/MR7MCWEKT5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JAWM, Leonard Roth (topic)
History
- 2026-11-02: add by m2/dev
Sobolev mapping MR7R5WJQ6B
| URI | m2://inv/MR7R5WJQ6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev mapping, Sobolev mapping (definition). Also Wikidata Q111950232
History
- 2026-11-02: add by m2/dev
MR7V6KYQKW MR7V6KYQKW
| URI | m2://inv/MR7V6KYQKW |
|---|---|
| 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 2610.12817#QF4L (definition). In FPSGZ5S6YF/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Vyacheslav Lebedev MR8158M570
| URI | m2://inv/MR8158M570 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vyacheslav Lebedev (mathematician), Vyacheslav Lebedev (topic). Also Wikidata Q554661
History
- 2026-11-02: add by m2/dev
Juan José Nieto Roig MR824ATTAR
| URI | m2://inv/MR824ATTAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan José Nieto Roig, Juan José Nieto Roig (topic). Also Wikidata Q23931323
History
- 2026-11-02: add by m2/dev
Klaus Fischer MR8DNMY04Y
| URI | m2://inv/MR8DNMY04Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klaus Fischer (mathematician), Klaus Fischer (topic). Also Wikidata Q6419878
History
- 2026-11-02: add by m2/dev
Definition MR8DQ32F2S
| URI | m2://inv/MR8DQ32F2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle in stochastic control#1XAB, Definition (definition)
History
- 2026-11-02: add by m2/dev
MR8NJ47CYT MR8NJ47CYT
| URI | m2://inv/MR8NJ47CYT |
|---|---|
| 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.32088#CRER (statement). In 7781ARDE06/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
FP MR8TF413WN
| URI | m2://inv/MR8TF413WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FP (complexity), FP (definition). Also Wikidata Q970152
History
- 2026-11-02: add by m2/dev
MR90HBB2VG MR90HBB2VG
| URI | m2://inv/MR90HBB2VG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:compactdbar (statement). In VNMV985MXX, thm, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
MR90SJ3JXN MR90SJ3JXN
| URI | m2://inv/MR90SJ3JXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.02111#846Q (statement). In NC5ZRF6F8N/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Applications MR91C7MWSN
| URI | m2://inv/MR91C7MWSN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beer–Lambert law#QU05, Applications (example)
History
- 2026-11-02: add by m2/dev
478 (number) MR95S692A7
| URI | m2://inv/MR95S692A7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#YOOA, 478 (number) (unknown)
History
- 2026-11-02: add by m2/dev
MR97KJFKFY MR97KJFKFY
| URI | m2://inv/MR97KJFKFY |
|---|---|
| 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.03728#RGXD (statement). In NXR84SNM8F/e1, proposition 13.4
History
- 2026-10-29: add by m2/v0.4.12
Upward planar drawing MR989MK6ZK
| URI | m2://inv/MR989MK6ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upward planar drawing, Upward planar drawing (definition). Also Wikidata Q17090789
History
- 2026-11-02: add by m2/dev
Vivienne Malone-Mayes MR98MJQHRS
| URI | m2://inv/MR98MJQHRS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vivienne Malone-Mayes, Vivienne Malone-Mayes (topic). Also Wikidata Q12268903
History
- 2026-11-02: add by m2/dev
Thin Airfoil Theory MR9CGT9MKS
| URI | m2://inv/MR9CGT9MKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Airfoil#DZNQ, Thin Airfoil Theory (unknown)
History
- 2026-11-02: add by m2/dev
Block bootstrap MR9E7A6ZPF
| URI | m2://inv/MR9E7A6ZPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bootstrapping (statistics)#BFIL, Block bootstrap (unknown)
History
- 2026-11-02: add by m2/dev
Metabiaugmented hexagonal prism MR9FHX1RAG
| URI | m2://inv/MR9FHX1RAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#HWLD, Metabiaugmented hexagonal prism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0DZY, Metabiaugmented hexagonal prism (definition)
History
- 2026-11-02: add by m2/dev
Population without double counting MR9TMXV664
| URI | m2://inv/MR9TMXV664 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population without double counting, Population without double counting (definition). Also Wikidata Q653524
History
- 2026-11-02: add by m2/dev
Definition MR9TXG0Y50
| URI | m2://inv/MR9TXG0Y50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic partial differential equation#SAYZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
regular MRADHVQZM9
| URI | m2://inv/MRADHVQZM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#0RHT, regular (definition)
History
- 2026-11-02: add by m2/dev
Key bundle MRAGTA4H3X
| URI | m2://inv/MRAGTA4H3X |
|---|---|
| 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.38668#K848, Key bundle (definition). In VB1EZ9K6YW/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
MRAH0BY3XM MRAH0BY3XM
| URI | m2://inv/MRAH0BY3XM |
|---|---|
| Kind | example |
| 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#VFWA (example). In ZG0GNHTCWB/e1, example 6.16
History
- 2026-10-31: add by m2/v0.5.6
MRAHEP6AAY MRAHEP6AAY
| URI | m2://inv/MRAHEP6AAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#6OQG (statement). In NQFYT2M6YZ/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
MRAHTAM6N1 MRAHTAM6N1
| URI | m2://inv/MRAHTAM6N1 |
|---|---|
| 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 2601.10958#M783 (statement). In 4W55AH5T6R/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
by example MRAN7NFP7H
| URI | m2://inv/MRAN7NFP7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#97VG, by example (definition)
History
- 2026-11-02: add by m2/dev
Central limit theorem MRB03Y3FXN
| URI | m2://inv/MRB03Y3FXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#8FCS, Central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
MRB3X7T28X MRB3X7T28X
| URI | m2://inv/MRB3X7T28X |
|---|---|
| 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 2607.28337#R06W (statement). In 7ZJFWBTBKM/e1, theorem 4.2.4
History
- 2026-10-27: add by m2/v0.3.6
Modular exponentiation MRB50ACCKF
| URI | m2://inv/MRB50ACCKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#ABQS, Modular exponentiation (definition)
- wikipedia: Wikipedia List of exponential topics#38DN, Modular exponentiation (definition)
History
- 2026-11-02: add by m2/dev
even permutation MRB68Z475V
| URI | m2://inv/MRB68Z475V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.2.3/even-permutation, even permutation (concept). In E59CDZA4DP, index, section 11.2.3
History
- 2026-11-01: add by m2/v0.6.13
MRB75YSCKM MRB75YSCKM
| URI | m2://inv/MRB75YSCKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05423#I3P1 (statement). In 3ABGS3F1JG/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
MRBB609HWP MRBB609HWP
| URI | m2://inv/MRBB609HWP |
|---|---|
| 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.21358#RVOG (statement). In XV70TXYS5A/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
MRBG3A4BVZ MRBG3A4BVZ
| URI | m2://inv/MRBG3A4BVZ |
|---|---|
| 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.33469#ZCBD (statement). In TC5QA4AB4Z/e1, proposition 4.9
History
- 2026-10-30: add by m2/v0.4.12
A fair coordinate is an average of two tilted ones MRBJ3TCHVQ
| URI | m2://inv/MRBJ3TCHVQ |
|---|---|
| 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.22301#4Q2U, A fair coordinate is an average of two tilted ones (statement)
History
- 2026-11-02: add by m2/v0.6.17
Frank Forelli MRBPRX8K2Y
| URI | m2://inv/MRBPRX8K2Y |
|---|---|
| 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#NRCL, Frank Forelli (topic)
History
- 2026-11-02: add by m2/dev
Agnes de Mille MRBQ3PH0KC
| URI | m2://inv/MRBQ3PH0KC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#SY17, Agnes de Mille (unknown)
History
- 2026-11-02: add by m2/dev
A smooth maximum and centered Gumbel noise MRBQP86MPG
| URI | m2://inv/MRBQP86MPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#NTO5, A smooth maximum and centered Gumbel noise (statement). In 9YAE8FNQST/e1, lemma 23.27
History
- 2026-10-30: add by m2/v0.4.12
Counting hollowing spaces away from the binary endpoint MRBVBA0Q95
| URI | m2://inv/MRBVBA0Q95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#12HC, Counting hollowing spaces away from the binary endpoint (statement). In N6GD8392QB/e1, proposition 10.2
History
- 2026-10-28: add by m2/v0.4.2
MRBVCB1AAB MRBVCB1AAB
| URI | m2://inv/MRBVCB1AAB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore graph#G6YP (problem)
History
- 2026-11-02: add by m2/dev
MRBZD5DV0P MRBZD5DV0P
| URI | m2://inv/MRBZD5DV0P |
|---|---|
| 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.05064#1QTH (statement). In 11SW7NAN7M/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
MRC5N4D55A MRC5N4D55A
| URI | m2://inv/MRC5N4D55A |
|---|---|
| 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 2209.01576#C9MF (statement). In EF0X4TKTR4/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Product sigma-algebra MRC6EQP2B9
| URI | m2://inv/MRC6EQP2B9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-algebra#LHM1, Product sigma-algebra (unknown)
History
- 2026-11-02: add by m2/dev
MRCDN8YNT0 MRCDN8YNT0
| URI | m2://inv/MRCDN8YNT0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#A9OZ (definition). In G70Q2FB591/e1, definition 2.15
History
- 2026-10-28: add by m2/v0.4.2
MRCDNNSAB7 MRCDNNSAB7
| URI | m2://inv/MRCDNNSAB7 |
|---|---|
| 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.22557#IZMR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications MRCFC62WMH
| URI | m2://inv/MRCFC62WMH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring theory#AO6G, Applications (example)
History
- 2026-11-02: add by m2/dev
MRCKQDDCP5 MRCKQDDCP5
| URI | m2://inv/MRCKQDDCP5 |
|---|---|
| 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.15982#8FW9 (statement). In KB50SHR229/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Uhlmann's theorem MRCMH9Q4N9
| URI | m2://inv/MRCMH9Q4N9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fidelity of quantum states#W0WL, Uhlmann's theorem (statement)
History
- 2026-11-02: add by m2/dev
MRCN3J8HJM MRCN3J8HJM
| URI | m2://inv/MRCN3J8HJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#VX8C (statement). In T4S7XVAJJC/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.12
Behrend's theorem MRCN6G55PT
| URI | m2://inv/MRCN6G55PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FVG2, Behrend's theorem (statement)
History
- 2026-11-02: add by m2/dev
Mixed Ricci criterion MRCPNYE5F9
| URI | m2://inv/MRCPNYE5F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#LQH6, Mixed Ricci criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
MRCSB90BZ5 MRCSB90BZ5
| URI | m2://inv/MRCSB90BZ5 |
|---|---|
| Kind | definition |
| 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.13528#EA3F (definition). In TSBJEBS7SP/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
MRCXXM6G7H MRCXXM6G7H
| URI | m2://inv/MRCXXM6G7H |
|---|---|
| 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.39531#QBPM (statement). In SN9RSTHQ07/e1, theorem C.2
History
- 2026-10-30: add by m2/v0.4.12
Snub disphenoid MRD1R2ZPZX
| URI | m2://inv/MRD1R2ZPZX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#LYUV, Snub disphenoid (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QD17, Snub disphenoid (object)
History
- 2026-11-02: add by m2/dev
Definitions MRDEAZPZKH
| URI | m2://inv/MRDEAZPZKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes parameters#1IRQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
393 (number) MRDH7HM6WD
| URI | m2://inv/MRDH7HM6WD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#I02D, 393 (number) (unknown)
History
- 2026-11-02: add by m2/dev
1 millimeter MRDZE41RH9
| URI | m2://inv/MRDZE41RH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#PWYV, 1 millimeter (unknown)
History
- 2026-11-02: add by m2/dev
General cubic formula MRE11ZC0K2
| URI | m2://inv/MRE11ZC0K2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic equation#C5JT, General cubic formula (statement)
History
- 2026-11-02: add by m2/dev
Clifford Hugh Dowker MRE4ZHPFAZ
| URI | m2://inv/MRE4ZHPFAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#946Q, Clifford Hugh Dowker (unknown)
History
- 2026-11-02: add by m2/dev
MRE6G8HYJE MRE6G8HYJE
| URI | m2://inv/MRE6G8HYJE |
|---|---|
| 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.18152#VZ7J (statement). In AAVGAGCWTE/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Terminology MRE8RFHKNT
| URI | m2://inv/MRE8RFHKNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic differential equation#51NW, Terminology (definition)
History
- 2026-11-02: add by m2/dev
MREGRBZJZ7 MREGRBZJZ7
| URI | m2://inv/MREGRBZJZ7 |
|---|---|
| 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#DZPZ (statement). In BW5GVH97JE/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
MREMHRQPBS MREMHRQPBS
| URI | m2://inv/MREMHRQPBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2002.11125#3ED7 (statement). In ME61RVCACP/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
MRENDF5099 MRENDF5099
| URI | m2://inv/MRENDF5099 |
|---|---|
| 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.09341#9K71 (statement). In DSXBMRYE0V/e1, corollary D.3
History
- 2026-10-29: add by m2/v0.4.10
Identical sales and optimal policies, different values MRENKPS85C
| URI | m2://inv/MRENKPS85C |
|---|---|
| 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.37380#CLXS, Identical sales and optimal policies, different values (statement). In 14Y4SA4SX0/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
MRF2TT6VPW MRF2TT6VPW
| URI | m2://inv/MRF2TT6VPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#4Q5B (statement). In 3REM2EXQK7/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
MRF3QB4WF2 MRF3QB4WF2
| URI | m2://inv/MRF3QB4WF2 |
|---|---|
| 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.02295#R5BA (statement). In PEBD9ZMA1W/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
MRF40MHNJC MRF40MHNJC
| URI | m2://inv/MRF40MHNJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00786#VVCV (statement). In XKEE0DK6N3/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.12
Gradient-based diagnostic matrices MRF96FZTNS
| URI | m2://inv/MRF96FZTNS |
|---|---|
| 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 2609.32282#FVW5, Gradient-based diagnostic matrices (statement). In MF7XEPN4GV/e1, proposition 4
History
- 2026-10-31: add by m2/v0.5.6
MRFADNK3F0 MRFADNK3F0
| URI | m2://inv/MRFADNK3F0 |
|---|---|
| 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.07741#0RRM (statement). In K4YV2SF9MG/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
MRFCTWCGS9 MRFCTWCGS9
| URI | m2://inv/MRFCTWCGS9 |
|---|---|
| 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.12489#AX5F (statement). In FDWFVD08SE/e1, proposition 2.21
History
- 2026-10-28: add by m2/v0.4.2
witch of Agnesi MRFFQ9SNZK
| URI | m2://inv/MRFFQ9SNZK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q517269, witch of Agnesi (concept). Also MathWorld WitchofAgnesi
- wikipedia: Wikipedia Witch of Agnesi, Witch of Agnesi (definition). Also Wikidata Q517269
History
- 2026-10-26: add by m2/dev
MRFJJ7KEP1 MRFJJ7KEP1
| URI | m2://inv/MRFJJ7KEP1 |
|---|---|
| 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.30363#HA2Q (statement). In QHBBP180QJ/e1, proposition 8
History
- 2026-10-31: add by m2/v0.5.6
MRFPHG2Z93 MRFPHG2Z93
| URI | m2://inv/MRFPHG2Z93 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#proof-4 (proof). In RZP28ERRZV, proof, section 90.5
History
- 2026-11-01: add by m2/v0.6.13
MRGTAWGESJ MRGTAWGESJ
| URI | m2://inv/MRGTAWGESJ |
|---|---|
| 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.05706#UKHZ (statement). In 8EHE8CX1KJ/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Claim MRGV3YJDVP
| URI | m2://inv/MRGV3YJDVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controllability#OQTN, Claim (statement)
History
- 2026-11-02: add by m2/dev
Nicole Tomczak-Jaegermann MRGW225W3G
| URI | m2://inv/MRGW225W3G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicole Tomczak-Jaegermann, Nicole Tomczak-Jaegermann (topic). Also Wikidata Q3341135
History
- 2026-11-02: add by m2/dev
Conway knot MRH02QSYRZ
| URI | m2://inv/MRH02QSYRZ |
|---|---|
| Kind | example |
| 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.16514#W50B, Conway knot (example). In 7RSA1AZ4XK/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.2
Quiver (mathematics) MRH2S3HP35
| URI | m2://inv/MRH2S3HP35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#K87T, Quiver (mathematics) (definition)
- wikipedia: Wikipedia List of abstract algebra topics#BDUQ, Quiver (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
augmented sphenocorona MRH4S2ZQ45
| URI | m2://inv/MRH4S2ZQ45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1434432, augmented sphenocorona (object). Also MathWorld AugmentedSphenocorona
- wikipedia: Wikipedia Augmented sphenocorona, Augmented sphenocorona (definition). Also Wikidata Q1434432
History
- 2026-10-26: add by m2/dev
Theorem (Rieger bound) MRHJZKM78R
| URI | m2://inv/MRHJZKM78R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#3M1W, Theorem (Rieger bound) (statement)
History
- 2026-11-02: add by m2/dev
Applications MRHT7WJ8BN
| URI | m2://inv/MRHT7WJ8BN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann algebra#69QD, Applications (example)
History
- 2026-11-02: add by m2/dev
Anharmonicity MRJAR6KPPF
| URI | m2://inv/MRJAR6KPPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anharmonicity, Anharmonicity (definition). Also Wikidata Q545228
History
- 2026-11-02: add by m2/dev
Jeremy Kahn MRJE92BPJ7
| URI | m2://inv/MRJE92BPJ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeremy Kahn, Jeremy Kahn (topic). Also Wikidata Q1687599
History
- 2026-11-02: add by m2/dev
MRK5KM81NW MRK5KM81NW
| URI | m2://inv/MRK5KM81NW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#LHAU (definition). In FAJ10EJMYE/e1, definition 5
History
- 2026-10-30: add by m2/v0.4.12
MRKG6AKD7G MRKG6AKD7G
| URI | m2://inv/MRKG6AKD7G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.06927#R9LK (definition). In YM4CSJJDJZ/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Sergey Yablonsky MRKMBWTAGJ
| URI | m2://inv/MRKMBWTAGJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergey Yablonsky, Sergey Yablonsky (topic). Also Wikidata Q3710055
History
- 2026-11-02: add by m2/dev
MRKQKEXPC3 MRKQKEXPC3
| URI | m2://inv/MRKQKEXPC3 |
|---|---|
| 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.32478#OJCK (statement). In 5QBSYDC2XH/e1, lemma D.1
History
- 2026-10-31: add by m2/v0.5.6
Twenty Hill MRM0GVP318
| URI | m2://inv/MRM0GVP318 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TSN5, Twenty Hill (unknown)
History
- 2026-11-02: add by m2/dev
Terminology MRM1CYAAKT
| URI | m2://inv/MRM1CYAAKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subshift of finite type#52XS, Terminology (definition)
History
- 2026-11-02: add by m2/dev
MRM1K9SNNJ MRM1K9SNNJ
| URI | m2://inv/MRM1K9SNNJ |
|---|---|
| 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 2609.22514#TI0L (statement)
History
- 2026-11-02: add by m2/v0.6.17
MRM4T9FJTF MRM4T9FJTF
| URI | m2://inv/MRM4T9FJTF |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#DV7H (statement). In CY1FE8W1ZW/e1, lemma 0.239
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet problem MRM91MZB0D
| URI | m2://inv/MRM91MZB0D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#YRF0, Dirichlet problem (problem)
History
- 2026-11-02: add by m2/dev
MRM91WV294 MRM91WV294
| URI | m2://inv/MRM91WV294 |
|---|---|
| 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.20588#CQ9D (statement)
History
- 2026-11-02: add by m2/v0.6.18
PG(3,2) MRM9Q3APTW
| URI | m2://inv/MRM9Q3APTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PG(3,2), PG(3,2) (definition). Also Wikidata Q63490825
History
- 2026-11-02: add by m2/dev
Henry Scheffé MRMENC9VNS
| URI | m2://inv/MRMENC9VNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#05GM, Henry Scheffé (topic)
History
- 2026-11-02: add by m2/dev
Circular analysis MRMGV8M5FV
| URI | m2://inv/MRMGV8M5FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#74AS, Circular analysis (definition)
History
- 2026-11-02: add by m2/dev
MRMKAJB3AG MRMKAJB3AG
| URI | m2://inv/MRMKAJB3AG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
non-sofic MRMMNM8RJP
| URI | m2://inv/MRMMNM8RJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#FHIC, non-sofic (definition)
History
- 2026-11-02: add by m2/dev
Generalizations MRMS45WVZX
| URI | m2://inv/MRMS45WVZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#CMIX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Schwartz–Bruhat function MRMV4X5P1M
| URI | m2://inv/MRMV4X5P1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz–Bruhat function, Schwartz–Bruhat function (definition). Also Wikidata Q7433180
History
- 2026-11-02: add by m2/dev
indiscernibility of identicals MRMYPSZCVG
| URI | m2://inv/MRMYPSZCVG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12/indiscernibility-of-identicals, indiscernibility of identicals (concept). In N54F33XE07, index, section A.12
History
- 2026-11-01: add by m2/v0.6.13
MRN11ZTM09 MRN11ZTM09
| URI | m2://inv/MRN11ZTM09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.03746#EN2Z (statement). In 4E1D0NS89S/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
MRN25CRHB4 MRN25CRHB4
| URI | m2://inv/MRN25CRHB4 |
|---|---|
| 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.38206#VU4U (statement). In F71MS1F637/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
Eliot Teltscher MRN6HQTS7R
| URI | m2://inv/MRN6HQTS7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#CWG1, Eliot Teltscher (unknown)
History
- 2026-11-02: add by m2/dev
General definition MRN8YC4BRZ
| URI | m2://inv/MRN8YC4BRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference in differences#0AX9, General definition (definition)
History
- 2026-11-02: add by m2/dev
complete elliptic integral of the third kind MRNHNP5HXC
| URI | m2://inv/MRNHNP5HXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109753363, complete elliptic integral of the third kind (unknown). Also MathWorld CompleteEllipticIntegraloftheThirdKind
History
- 2026-10-26: add by m2/dev
MRNJVC3S2W MRNJVC3S2W
| URI | m2://inv/MRNJVC3S2W |
|---|---|
| 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 2506.18195#XRZC (statement). In 6B8FNCHF1Z/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
Formal definition MRNQF5R5QN
| URI | m2://inv/MRNQF5R5QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game theory#WMW0, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Properties MRP53CFNFA
| URI | m2://inv/MRP53CFNFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime signature#EA25, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples MRPAA1SH8Z
| URI | m2://inv/MRPAA1SH8Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal calculation#835N, Examples (example)
History
- 2026-11-02: add by m2/dev
Shallow representation upper bound MRPG8028PS
| URI | m2://inv/MRPG8028PS |
|---|---|
| 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.10875#AUML, Shallow representation upper bound (statement). In N91F15MHW1/e1, lemma 29
History
- 2026-10-28: add by m2/v0.4.3
much less than MRPSF630Q0
| URI | m2://inv/MRPSF630Q0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110064509, much less than (unknown). Also MathWorld MuchLess
History
- 2026-10-26: add by m2/dev
MRPTCWRJY4 MRPTCWRJY4
| URI | m2://inv/MRPTCWRJY4 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#2XEK (unknown). In QNBFHFZ3H0/e1, unknown 24
History
- 2026-10-28: add by m2/v0.4.2
MRQ0P8CGGJ MRQ0P8CGGJ
| URI | m2://inv/MRQ0P8CGGJ |
|---|---|
| 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 2312.05005#PDHP (statement). In SMJMAQ2S3J/e1, proposition 12
History
- 2026-10-27: add by m2/v0.4.0
Stereotype accuracy MRQ2C6P9NF
| URI | m2://inv/MRQ2C6P9NF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stereotype#SIMB, Stereotype accuracy (unknown)
History
- 2026-11-02: add by m2/dev
MRQ3SMH0X8 MRQ3SMH0X8
| URI | m2://inv/MRQ3SMH0X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#5B7S (statement). In ZZQT0GFMT2/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
MRQEPCB9AP MRQEPCB9AP
| URI | m2://inv/MRQEPCB9AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#definition-11 (definition). In RZP28ERRZV, definition, section 89.6
History
- 2026-11-01: add by m2/v0.6.13
MRQGPZR6RC MRQGPZR6RC
| URI | m2://inv/MRQGPZR6RC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 68.6
History
- 2026-11-01: add by m2/v0.6.13
MRQXM0P6XW MRQXM0P6XW
| URI | m2://inv/MRQXM0P6XW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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.04179#YXC7 (example). In D64RQ09KBP/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.12
MRQZGNQDQG MRQZGNQDQG
| URI | m2://inv/MRQZGNQDQG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
MRR2NVCXHE MRR2NVCXHE
| URI | m2://inv/MRR2NVCXHE |
|---|---|
| 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 2512.07340#SCHI (statement). In WXE3PVAZBT/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Signed completion to the entropy threshold MRR7VRF1HP
| URI | m2://inv/MRR7VRF1HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#JCHN, Signed completion to the entropy threshold (statement). In ZZER8ZBSCR/e1, lemma 5.22
History
- 2026-10-29: add by m2/v0.4.12
Pessimism bias MRR9QYA6V7
| URI | m2://inv/MRR9QYA6V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#BMCC, Pessimism bias (definition)
History
- 2026-11-02: add by m2/dev
Reeh–Schlieder theorem MRRANY6QR7
| URI | m2://inv/MRRANY6QR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8D6C, Reeh–Schlieder theorem (statement)
History
- 2026-11-02: add by m2/dev
Subgradient fallback under (A.I MRRH3DQ776
| URI | m2://inv/MRRH3DQ776 |
|---|---|
| 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.36090#4P62, Subgradient fallback under (A.I (statement). In N025M6VQRY/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.0
MRRMG44KJN MRRMG44KJN
| URI | m2://inv/MRRMG44KJN |
|---|---|
| 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.03358#AU95 (statement). In KCXEY7HJ8V/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
MRRT9H8CA1 MRRT9H8CA1
| URI | m2://inv/MRRT9H8CA1 |
|---|---|
| Kind | example |
| 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#RW86 (example)
History
- 2026-11-01: add by m2/v0.6.15
MRRTJ7MQPV MRRTJ7MQPV
| URI | m2://inv/MRRTJ7MQPV |
|---|---|
| Kind | statement |
| 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.13888#2AC9 (statement). In 2G5K2GZTX7/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.0
MRS2PQN5A2 MRS2PQN5A2
| URI | m2://inv/MRS2PQN5A2 |
|---|---|
| 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.04355#7O2V (statement). In 99AHANMS2H/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
MRS6958C2F MRS6958C2F
| URI | m2://inv/MRS6958C2F |
|---|---|
| Kind | problem |
| 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.25063#OOJ1 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Bessel function MRSHFX081P
| URI | m2://inv/MRSHFX081P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#V3QK, Bessel function (definition)
History
- 2026-11-02: add by m2/dev
apex MRSJGQNTQE
| URI | m2://inv/MRSJGQNTQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2858200, apex (unknown). Also MathWorld Apex
- wikipedia: Wikipedia Apex (geometry), Apex (definition). Also Wikidata Q2858200
History
- 2026-10-26: add by m2/dev
MRSW5QG8F8 MRSW5QG8F8
| URI | m2://inv/MRSW5QG8F8 |
|---|---|
| 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.14217#LAG4 (statement). In K0DHYQC5B7/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
MRSX6QD9WG MRSX6QD9WG
| URI | m2://inv/MRSX6QD9WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24374#7F6K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantization commutes with reduction MRSXN7C6V8
| URI | m2://inv/MRSXN7C6V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantization commutes with reduction, Quantization commutes with reduction (definition). Also Wikidata Q25098801
History
- 2026-11-02: add by m2/dev
Definitions MRT5WTRF74
| URI | m2://inv/MRT5WTRF74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurtosis#RDG0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
MRT6B5HTRV MRT6B5HTRV
| URI | m2://inv/MRT6B5HTRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#S0YI (statement). In 5RE15848Z0/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
MRTAAKN38V MRTAAKN38V
| URI | m2://inv/MRTAAKN38V |
|---|---|
| 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#AZMO (statement). In E7W2HDNEKJ/e1, theorem 6.26
History
- 2026-10-30: add by m2/v0.4.12
MRTHZA5KR2 MRTHZA5KR2
| URI | m2://inv/MRTHZA5KR2 |
|---|---|
| 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.33231#WN2D (statement). In WPDRT63QNW/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Cryptographic Module Validation Program MRTJKR0DAR
| URI | m2://inv/MRTJKR0DAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic Module Validation Program, Cryptographic Module Validation Program (definition). Also Wikidata Q5190933
History
- 2026-11-02: add by m2/dev
Homotopy of hypergraph morphisms MRTJQG62XG
| URI | m2://inv/MRTJQG62XG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.08196#ONOB, Homotopy of hypergraph morphisms (example). In 8QVWZ23N42/e1, example 4.8
History
- 2026-10-29: add by m2/v0.4.10
Incompatibility with the axiom of choice MRTQ0P31S3
| URI | m2://inv/MRTQ0P31S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of determinacy#4Q9B, Incompatibility with the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Mapping out of a colimit MRTTFZPA0W
| URI | m2://inv/MRTTFZPA0W |
|---|---|
| Kind | statement |
| 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#JA4P, Mapping out of a colimit (statement). In G3D1YR20BJ/e1, lemma 3.17
History
- 2026-10-29: add by m2/v0.4.12
Giuseppe Maria Figatelli MRV0DBW3YA
| URI | m2://inv/MRV0DBW3YA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Maria Figatelli, Giuseppe Maria Figatelli (topic). Also Wikidata Q5565448
History
- 2026-11-02: add by m2/dev
Reshetikhin–Turaev invariant MRV5W5HK47
| URI | m2://inv/MRV5W5HK47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reshetikhin–Turaev invariant, Reshetikhin–Turaev invariant (definition). Also Wikidata Q85796659
History
- 2026-11-02: add by m2/dev
MRV9702RZP MRV9702RZP
| URI | m2://inv/MRV9702RZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.35600#IS4D (statement). In ET8GYMMDQM/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
MRV9T3SE22 MRV9T3SE22
| URI | m2://inv/MRV9T3SE22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#P8LD (statement). In 7CADATJMAA/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
MRVA39BRF3 MRVA39BRF3
| URI | m2://inv/MRVA39BRF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-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.07728#SXU2 (statement). In B1VVAKFCKZ/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
MRVEW5BJ1J MRVEW5BJ1J
| URI | m2://inv/MRVEW5BJ1J |
|---|---|
| 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.33019#GZU2 (definition). In R4V2A3Z5GP/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
average rate of change MRVK9Z1WVF
| URI | m2://inv/MRVK9Z1WVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137924238, average rate of change (unknown). Also MathWorld AverageRateofChange
History
- 2026-10-26: add by m2/dev
Ostrowski's theorem MRVXG5CJT6
| URI | m2://inv/MRVXG5CJT6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic analysis#4E3W, Ostrowski's theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples MRVXP9CPH4
| URI | m2://inv/MRVXP9CPH4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple group#PM56, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
MRVY9HBN2R MRVY9HBN2R
| URI | m2://inv/MRVY9HBN2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#4ZUN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Konstantina Trivisa MRW13ZAJT5
| URI | m2://inv/MRW13ZAJT5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Konstantina Trivisa, Konstantina Trivisa (topic). Also Wikidata Q79176770
History
- 2026-11-02: add by m2/dev
presheaf MRW39ERHD7
| URI | m2://inv/MRW39ERHD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Presheaf AND2WHZC8P |
Mentions
- wikidata: Wikidata Q7241077, presheaf (definition). Also EoM Pre-sheaf, MathWorld Presheaf, nLab presheaf, ProofWiki Definition:Presheaf_on_Topological_Space
- wikipedia: Wikipedia Presheaf (category theory), Presheaf (definition). Also Wikidata Q7241077
History
- 2026-10-26: add by m2/dev
MRW6PRHBK6 MRW6PRHBK6
| URI | m2://inv/MRW6PRHBK6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
MRWCBH7TH8 MRWCBH7TH8
| URI | m2://inv/MRWCBH7TH8 |
|---|---|
| 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.09506#FVHI (statement). In AQC7E6RAT4/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.10
Quaternionic discrete series representation MRWHKBWY8W
| URI | m2://inv/MRWHKBWY8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic discrete series representation, Quaternionic discrete series representation (definition). Also Wikidata Q7269566
History
- 2026-11-02: add by m2/dev
Modes of convergence MRWKSSQV3Q
| URI | m2://inv/MRWKSSQV3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#SOTL, Modes of convergence (definition)
History
- 2026-11-02: add by m2/dev
Clustering consistency for multichannel HMMs MRWMA6TQAR
| URI | m2://inv/MRWMA6TQAR |
|---|---|
| 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.21985#Q6GO, Clustering consistency for multichannel HMMs (statement)
History
- 2026-11-02: add by m2/v0.6.17
Least squares MRXB7Q90VB
| URI | m2://inv/MRXB7Q90VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6OT1, Least squares (definition)
History
- 2026-11-02: add by m2/dev
Soundness MRXDWMTQNK
| URI | m2://inv/MRXDWMTQNK |
|---|---|
| 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 2207.11097#CPLD, Soundness (statement). In 13H5BTAXHF/e1, theorem 17
History
- 2026-10-27: add by m2/v0.3.5
Theorem 4.5, Corollary 5.1 MRXGDHEJD1
| URI | m2://inv/MRXGDHEJD1 |
|---|---|
| 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.11189#IFHZ, Theorem 4.5, Corollary 5.1 (statement). In Q27FWV48RX/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
Convergence space MRXGXGGZZA
| URI | m2://inv/MRXGXGGZZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence space, Convergence space (definition). Also Wikidata Q105095528
History
- 2026-11-02: add by m2/dev
Formal definitions MRXKQJGN7C
| URI | m2://inv/MRXKQJGN7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ground expression#56UD, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Point-free vs. Point-set Topology MRXKTKF95R
| URI | m2://inv/MRXKTKF95R |
|---|---|
| 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 2104.00162#YADT, Point-free vs. Point-set Topology (definition). In HVGT9D84WV/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
hydrogen atom MRXWREHQRY
| URI | m2://inv/MRXWREHQRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6643508, hydrogen atom (unknown). Also nLab hydrogen atom
- wikipedia: Wikipedia Hydrogen atom, Hydrogen atom (definition). Also Wikidata Q6643508
History
- 2026-10-26: add by m2/dev
Gradient bound from the function value MRY0QWZXD1
| URI | m2://inv/MRY0QWZXD1 |
|---|---|
| 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.13773#1R31, Gradient bound from the function value (statement). In E75XQY0QFM/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
Properties MRY3GCVVTB
| URI | m2://inv/MRY3GCVVTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski tangent space#C23W, Properties (statement)
History
- 2026-11-02: add by m2/dev
pyramidal number MRY77B6E08
| URI | m2://inv/MRY77B6E08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q732374, pyramidal number (unknown). Also MathWorld PyramidalNumber
- wikipedia: Wikipedia Pyramidal number, Pyramidal number (definition). Also Wikidata Q732374
History
- 2026-10-26: add by m2/dev
McCoy's Theorem MRYCA0TT1H
| URI | m2://inv/MRYCA0TT1H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97621521, McCoy's Theorem (statement). Also MathWorld McCoysTheorem
History
- 2026-10-26: add by m2/dev
Oren Patashnik MRYE8F445Z
| URI | m2://inv/MRYE8F445Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#679X, Oren Patashnik (topic)
History
- 2026-11-02: add by m2/dev
MRYESQQ8GJ MRYESQQ8GJ
| URI | m2://inv/MRYESQQ8GJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-28 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
prime triplet MRYG7JTRH2
| URI | m2://inv/MRYG7JTRH2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1516865, prime triplet (unknown). Also MathWorld PrimeTriplet
- wikipedia: Wikipedia Prime triplet, Prime triplet (conjecture). Also Wikidata Q1516865
History
- 2026-10-26: add by m2/dev
MRYJVEBDSN MRYJVEBDSN
| URI | m2://inv/MRYJVEBDSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#TWED (statement)
History
- 2026-11-01: add by m2/v0.6.15
Monosodium glutamate MRYW98E9K0
| URI | m2://inv/MRYW98E9K0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#9ETR, Monosodium glutamate (unknown)
History
- 2026-11-02: add by m2/dev
MRZ09BS2K7 MRZ09BS2K7
| URI | m2://inv/MRZ09BS2K7 |
|---|---|
| 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.13556#ZRD7 (statement). In 5ZB8N3YY72/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
Translation of critical sums MRZ23S5TV4
| URI | m2://inv/MRZ23S5TV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#ZWY5, Translation of critical sums (statement). In 7NS75J7HAM/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
MRZ4ZNCH0Z MRZ4ZNCH0Z
| URI | m2://inv/MRZ4ZNCH0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39793#U764 (statement). In 380M45ANWF/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
MRZ6SWVTR9 MRZ6SWVTR9
| URI | m2://inv/MRZ6SWVTR9 |
|---|---|
| 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.16225#68E0 (statement). In H3DJV9YQW1/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
MRZ866DDHW MRZ866DDHW
| URI | m2://inv/MRZ866DDHW |
|---|---|
| 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.28306#IFP2 (example)
History
- 2026-11-01: add by m2/v0.6.15
Frankl--Huang--R\"odl MRZB707HRQ
| URI | m2://inv/MRZB707HRQ |
|---|---|
| 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 2609.29903#K2OJ, Frankl--Huang--R\"odl (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
MRZCMEXA3J MRZCMEXA3J
| URI | m2://inv/MRZCMEXA3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#RUN0 (statement). In X47RYAZF8P/e1, lemma 6.14
History
- 2026-10-28: add by m2/v0.4.2
Denjoy–Carleman–Ahlfors theorem MRZK8EMAJQ
| URI | m2://inv/MRZK8EMAJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy–Carleman–Ahlfors theorem, Denjoy–Carleman–Ahlfors theorem (statement). Also Wikidata Q17097849
History
- 2026-11-02: add by m2/dev
modular form MRZRWHH20S
| URI | m2://inv/MRZRWHH20S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Modular form GWKN5VG78A |
Mentions
- wikidata: Wikidata Q870797, modular form (unknown). Also LMFDB knowl mf.about, MathWorld ModularForm, nLab modular form
- wikipedia: Wikipedia Modular form, Modular form (definition). Also Wikidata Q870797
History
- 2026-10-26: add by m2/dev