Inventory rows K8
The cards of the rows of the inventory whose ids start with K8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Betweenness obstruction K8096F159M
| URI | m2://inv/K8096F159M |
|---|---|
| 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.14681#45CM, Betweenness obstruction (statement). In 459W0NBS5Q/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
K80AG1CAD9 K80AG1CAD9
| URI | m2://inv/K80AG1CAD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RD-final-field (statement). In N54F33XE07, thm, section B.2.3
History
- 2026-11-01: add by m2/v0.6.13
cepstrum K80CAQ3ZES
| URI | m2://inv/K80CAQ3ZES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum#OQEW, cepstrum (definition)
History
- 2026-11-02: add by m2/dev
Cissoid of Diocles K80PEJ229N
| URI | m2://inv/K80PEJ229N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DK3E, Cissoid of Diocles (definition)
- wikipedia: Wikipedia List of curves#XEMO, Cissoid of Diocles (definition)
History
- 2026-11-02: add by m2/dev
K80V1E2NRW K80V1E2NRW
| URI | m2://inv/K80V1E2NRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10074#BPBQ (statement). In BYAANB1NG0/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
K812TZ3Z1J K812TZ3Z1J
| URI | m2://inv/K812TZ3Z1J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-25 (exercise). In E9HS8K3A52, exercise, section 2.2.8
History
- 2026-11-01: add by m2/v0.6.13
K8157VFRVM K8157VFRVM
| URI | m2://inv/K8157VFRVM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#7FFN (example). In SYZFEVFHC3/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.5
Definition K8168PYFFS
| URI | m2://inv/K8168PYFFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Queue number#VPFY, Definition (definition)
History
- 2026-11-02: add by m2/dev
antilogism K81V04HY9X
| URI | m2://inv/K81V04HY9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#A85Q, antilogism (definition)
History
- 2026-11-02: add by m2/dev
Vorticity K81X4E6KT8
| URI | m2://inv/K81X4E6KT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vorticity, Vorticity (definition). Also Wikidata Q1143513
History
- 2026-11-02: add by m2/dev
K823GM6S72 K823GM6S72
| URI | m2://inv/K823GM6S72 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#I47K (definition). In 6KR7Z5ETRY/e1, definition 2.16
History
- 2026-10-27: add by m2/v0.3.5
Definition K826BWW991
| URI | m2://inv/K826BWW991 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heritability#L7DF, Definition (definition)
History
- 2026-11-02: add by m2/dev
K827E3ME1E K827E3ME1E
| URI | m2://inv/K827E3ME1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#GKEL (statement). In AQWX60Z563/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
K82993E5FG K82993E5FG
| URI | m2://inv/K82993E5FG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02790#WVZL (statement). In NB7HZ8W2K2/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.12
K82AFRDW3H K82AFRDW3H
| URI | m2://inv/K82AFRDW3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36089#5JRM (statement). In AK4F10SNC0/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
K82J14DT1Z K82J14DT1Z
| URI | m2://inv/K82J14DT1Z |
|---|---|
| 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.01199#N3W6 (statement). In XZ4MRWR77Q/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
C*-algebra K82RB054VT
| URI | m2://inv/K82RB054VT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q263809, C*-algebra (concept). Also EoM C*-algebra, MathWorld C-Star-Algebra, nLab C-star-algebra, ProofWiki Definition:C*-Algebra
- wikipedia: Wikipedia C*-algebra, C*-algebra (definition). Also Wikidata Q263809
History
- 2026-10-26: add by m2/dev
Properties K82SP7B0RS
| URI | m2://inv/K82SP7B0RS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet filter#WOZG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sir George Stokes, 1st Baronet K82VAJAA54
| URI | m2://inv/K82VAJAA54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q155907, Sir George Stokes, 1st Baronet (unknown). Also ProofWiki Mathematician:George_Gabriel_Stokes
- wikipedia: Wikipedia Sir George Stokes, 1st Baronet, Sir George Stokes, 1st Baronet (topic). Also Wikidata Q155907
History
- 2026-10-26: add by m2/dev
K833Z2Y6QN K833Z2Y6QN
| URI | m2://inv/K833Z2Y6QN |
|---|---|
| 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.03255#RY97 (statement). In DCC0Y18670/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.12
K835HM4GR6 K835HM4GR6
| URI | m2://inv/K835HM4GR6 |
|---|---|
| Kind | example |
| 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.26776#270D (example)
History
- 2026-11-01: add by m2/v0.6.15
Henkin model K836G2YGFQ
| URI | m2://inv/K836G2YGFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order logic#45FD, Henkin model (unknown)
History
- 2026-11-02: add by m2/dev
Irreducibility Theorem K83883BASX
| URI | m2://inv/K83883BASX |
|---|---|
| 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#3PP2, Irreducibility Theorem (statement). In 5RE15848Z0/e1, theorem 0.7
History
- 2026-10-27: add by m2/v0.3.5
Sliding mode observer K839MSTW9X
| URI | m2://inv/K839MSTW9X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding mode control#R27Q, Sliding mode observer (unknown)
History
- 2026-11-02: add by m2/dev
K83AYRDRB4 K83AYRDRB4
| URI | m2://inv/K83AYRDRB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#LXGJ (statement). In F8RC6AENB0/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
K83N2WHBBJ K83N2WHBBJ
| URI | m2://inv/K83N2WHBBJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#proof-4 (proof). In Y91XFCEVHQ, proof, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
K83NDS5ZZV K83NDS5ZZV
| URI | m2://inv/K83NDS5ZZV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/consis-with-q.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 30.7
History
- 2026-11-01: add by m2/v0.6.13
K83S4MCR5W K83S4MCR5W
| URI | m2://inv/K83S4MCR5W |
|---|---|
| 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 2511.05069#I3HP (statement). In SFQBJBTW8K/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Lauren Williams K83XHXAEN1
| URI | m2://inv/K83XHXAEN1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X5FG, Lauren Williams (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IHUE, Lauren Williams (topic)
History
- 2026-11-02: add by m2/dev
Ernesto Pascal K845QYDH9T
| URI | m2://inv/K845QYDH9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#H2XW, Ernesto Pascal (topic)
- wikipedia: Wikipedia List of Italian mathematicians#ZEGO, Ernesto Pascal (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UQ5L, Ernesto Pascal (topic)
History
- 2026-11-02: add by m2/dev
Examples K84AN4HEW6
| URI | m2://inv/K84AN4HEW6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous relation#AYOG, Examples (example)
History
- 2026-11-02: add by m2/dev
Theodore von Kármán K84HT2PCZ9
| URI | m2://inv/K84HT2PCZ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7433, Theodore von Kármán (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I3PU, Theodore von Kármán (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OTF8, Theodore von Kármán (unknown)
History
- 2026-11-02: add by m2/dev
Field operator K85178329P
| URI | m2://inv/K85178329P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical quantization#K0Z8, Field operator (unknown)
History
- 2026-11-02: add by m2/dev
Banach lattice K85BG23NB8
| URI | m2://inv/K85BG23NB8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Banach lattice HDJ1GKG0NA |
Mentions
- wikidata: Wikidata Q30676598, Banach lattice (concept). Also nLab Banach lattice
- wikipedia: Wikipedia Banach lattice, Banach lattice (definition). Also Wikidata Q30676598
History
- 2026-10-26: add by m2/dev
Basic Properties K85BS5B10D
| URI | m2://inv/K85BS5B10D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersolvable group#L5X8, Basic Properties (statement)
History
- 2026-11-02: add by m2/dev
$L^1$-convergence K85EYVMVQE
| URI | m2://inv/K85EYVMVQE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.2.5/l-1-convergence, $L^1$-convergence (concept). In E59CDZA4DP, index, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
third Chang graph K85MN1724F
| URI | m2://inv/K85MN1724F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3540194, third Chang graph (unknown). Also House of Graphs 6628
History
- 2026-10-26: add by m2/dev
Richard Mansfield Dudley K85RDM4SV9
| URI | m2://inv/K85RDM4SV9 |
|---|---|
| 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#NEF8, Richard Mansfield Dudley (topic)
History
- 2026-11-02: add by m2/dev
K85RWD32SE K85RWD32SE
| URI | m2://inv/K85RWD32SE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
K85Y3RHXZC K85Y3RHXZC
| URI | m2://inv/K85Y3RHXZC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#8TRA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Special cases of the formula K85ZQP9JC7
| URI | m2://inv/K85ZQP9JC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of a 2 by 2 matrix#N9TI, Special cases of the formula (statement)
History
- 2026-11-02: add by m2/dev
K8613QRHF7 K8613QRHF7
| URI | m2://inv/K8613QRHF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#QFAD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tietze extension theorem K863CAQJB9
| URI | m2://inv/K863CAQJB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6MNM, Tietze extension theorem (statement)
History
- 2026-11-02: add by m2/dev
Validity for the regularised value functions K8640JKV61
| URI | m2://inv/K8640JKV61 |
|---|---|
| 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.12713#VZ7C, Validity for the regularised value functions (statement). In F14A5HX20Q/e1, lemma B.5.2
History
- 2026-10-28: add by m2/v0.4.2
separated K86E70FRXR
| URI | m2://inv/K86E70FRXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#0OX6, separated (definition)
History
- 2026-11-02: add by m2/dev
K86FHVQ17T K86FHVQ17T
| URI | m2://inv/K86FHVQ17T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.10058#564A (definition). In YQKKA47GS9/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
K86HC1XPJ5 K86HC1XPJ5
| URI | m2://inv/K86HC1XPJ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#80CP (definition). In TWGMVT1N1G/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Channel model K86JSQE96R
| URI | m2://inv/K86JSQE96R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communication channel#P3MY, Channel model (unknown)
History
- 2026-11-02: add by m2/dev
Weighted estimate with finite-type exponent K86KSV7VHR
| URI | m2://inv/K86KSV7VHR |
|---|---|
| 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.20643#Q2I9, Weighted estimate with finite-type exponent (statement)
History
- 2026-11-02: add by m2/v0.6.18
K86KYVZQ8M K86KYVZQ8M
| URI | m2://inv/K86KYVZQ8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#WGJD (statement). In 7CK21JGM5A/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.4.2
K86S98E9BQ K86S98E9BQ
| URI | m2://inv/K86S98E9BQ |
|---|---|
| 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.27181#NGAM (statement)
History
- 2026-11-01: add by m2/v0.6.15
using complex numbers in plane geometry K86SSVS7AG
| URI | m2://inv/K86SSVS7AG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > using complex numbers in plane geometry, using complex numbers in plane geometry (unknown)
History
- 2026-10-26: add by m2/dev
Examples K86VKPRY9C
| URI | m2://inv/K86VKPRY9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil cohomology theory#IKB9, Examples (example)
History
- 2026-11-02: add by m2/dev
K870AZ7VH4 K870AZ7VH4
| URI | m2://inv/K870AZ7VH4 |
|---|---|
| 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.32916#B9GA (statement). In G1RP4JY5PE/e1, theorem 1.4.2
History
- 2026-10-31: add by m2/v0.5.6
K870YHS4ZZ K870YHS4ZZ
| URI | m2://inv/K870YHS4ZZ |
|---|---|
| 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.16180#4E47 (statement). In FCFD59D3T6/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
K8742BQGM8 K8742BQGM8
| URI | m2://inv/K8742BQGM8 |
|---|---|
| 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.04603#X8R9 (statement). In HEAG8V2JM1/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Applications K87PE6TDFB
| URI | m2://inv/K87PE6TDFB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weibull distribution#L76I, Applications (example)
History
- 2026-11-02: add by m2/dev
vector normalization K8862A7NSQ
| URI | m2://inv/K8862A7NSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2326894, vector normalization (unknown). Also MathWorld NormalizedVector
History
- 2026-10-26: add by m2/dev
K88BX2EJQW K88BX2EJQW
| URI | m2://inv/K88BX2EJQW |
|---|---|
| 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 2106.01660#XJX9 (statement). In DY520CF58X/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Properties and applications K88DZMHXY4
| URI | m2://inv/K88DZMHXY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber (mathematics)#A656, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
K88V2E8ECY K88V2E8ECY
| URI | m2://inv/K88V2E8ECY |
|---|---|
| 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.21915#KOX4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jesuit Institute K88YB9D92X
| URI | m2://inv/K88YB9D92X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#W6HW, Jesuit Institute (unknown)
History
- 2026-11-02: add by m2/dev
Definition K8959C3PBA
| URI | m2://inv/K8959C3PBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuant (mathematics)#OHSF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gautam Das K89BMNJ9FA
| URI | m2://inv/K89BMNJ9FA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WZRU, Gautam Das (unknown)
History
- 2026-11-02: add by m2/dev
K89F9WFB5F K89F9WFB5F
| URI | m2://inv/K89F9WFB5F |
|---|---|
| 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.06438#LHM8 (statement). In Z633BH3HER/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
monadic K89YMWKEAK
| URI | m2://inv/K89YMWKEAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#0GXH, monadic (definition)
History
- 2026-11-02: add by m2/dev
K8A1ZVYJ0K K8A1ZVYJ0K
| URI | m2://inv/K8A1ZVYJ0K |
|---|---|
| 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.24544#S40S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sixes, Oregon K8A32Z3KPH
| URI | m2://inv/K8A32Z3KPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AYD8, Sixes, Oregon (unknown)
History
- 2026-11-02: add by m2/dev
Spectrum estimation K8A4ABXBGK
| URI | m2://inv/K8A4ABXBGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#5OJU, Spectrum estimation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local polynomial coercivity implies quantitative crossing K8A4TVJD3H
| URI | m2://inv/K8A4TVJD3H |
|---|---|
| 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.33472#YU4K, Local polynomial coercivity implies quantitative crossing (statement). In WBQQBZ4FCJ/e1, proposition 8.3
History
- 2026-10-30: add by m2/v0.4.12
K8AKJ1EAD4 K8AKJ1EAD4
| URI | m2://inv/K8AKJ1EAD4 |
|---|---|
| Kind | statement |
| 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.08426#Y8SA (statement). In YG2DPMNZ1N/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.10
Melnykov, Volodymyr Mykolayovych K8ANTT738R
| URI | m2://inv/K8ANTT738R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#69DB, Melnykov, Volodymyr Mykolayovych (unknown)
History
- 2026-11-02: add by m2/dev
Classical thermodynamics K8APQ1MZXM
| URI | m2://inv/K8APQ1MZXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamics#HUSM, Classical thermodynamics (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the graph structure theorem K8ASAZ5NM9
| URI | m2://inv/K8ASAZ5NM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph structure theorem#P7OV, Statement of the graph structure theorem (statement)
History
- 2026-11-02: add by m2/dev
Anna Marciniak-Czochra K8ATPWZ75A
| URI | m2://inv/K8ATPWZ75A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Marciniak-Czochra, Anna Marciniak-Czochra (topic). Also Wikidata Q21254083
History
- 2026-11-02: add by m2/dev
Tannaka–Krein duality K8AV56PBS7
| URI | m2://inv/K8AV56PBS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tannaka–Krein duality, Tannaka–Krein duality (definition). Also Wikidata Q7683608
History
- 2026-11-02: add by m2/dev
Properties K8AX8SP6SH
| URI | m2://inv/K8AX8SP6SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence-permutable algebra#JRRJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sampling costs and monotone radii K8AZDQTX7D
| URI | m2://inv/K8AZDQTX7D |
|---|---|
| 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.15202#C751, Sampling costs and monotone radii (statement). In X1FPG0KYBM/e1, lemma I.1
History
- 2026-10-28: add by m2/v0.4.2
Example K8B2JYT16M
| URI | m2://inv/K8B2JYT16M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intention-to-treat analysis#BFP7, Example (example)
History
- 2026-11-02: add by m2/dev
2009 Belarus census K8B3EN2XNV
| URI | m2://inv/K8B3EN2XNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2009 Belarus census, 2009 Belarus census (definition). Also Wikidata Q4350749
History
- 2026-11-02: add by m2/dev
K8B5DS6ZHN K8B5DS6ZHN
| URI | m2://inv/K8B5DS6ZHN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.40291#FD6P (example). In AXCFKX2WKX/e1, example
History
- 2026-10-30: add by m2/v0.4.12
K8B9DNA50A K8B9DNA50A
| URI | m2://inv/K8B9DNA50A |
|---|---|
| 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.35669#GN4H (statement). In 8380G43M8E/e1, proposition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Properties K8BG1R5JA1
| URI | m2://inv/K8BG1R5JA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic function#ZNQY, Properties (statement)
History
- 2026-11-02: add by m2/dev
K8BKQKQ5XQ K8BKQKQ5XQ
| URI | m2://inv/K8BKQKQ5XQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#YV96 (statement). In M0SQY5EZN5/e1, theorem 5.1.4
History
- 2026-10-27: add by m2/v0.3.5
K8BT32JE6T K8BT32JE6T
| URI | m2://inv/K8BT32JE6T |
|---|---|
| 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 2301.04933#D0JF (statement). In Q70CTMCJTP/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.3.5
Proposition 2 K8BTC68YVY
| URI | m2://inv/K8BTC68YVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley–Dickson construction#0DIP, Proposition 2 (statement)
History
- 2026-11-02: add by m2/dev
Definition of wedge product using the cross product K8BTR58AJC
| URI | m2://inv/K8BTR58AJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#definition-5, Definition of wedge product using the cross product (definition). In RZP28ERRZV, definition, section 52.7.6
History
- 2026-11-01: add by m2/v0.6.13
domain, of a function K8BW5WV7ZW
| URI | m2://inv/K8BW5WV7ZW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/domain-of-a-function, domain, of a function (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
K8C141HB3V K8C141HB3V
| URI | m2://inv/K8C141HB3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#3LQR (statement). In 32ZZ1DETCX/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
K8C6TK5K62 K8C6TK5K62
| URI | m2://inv/K8C6TK5K62 |
|---|---|
| Kind | example |
| 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.19437#BSA4 (example). In 9PXXGQ978Z/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.2
K8CBKC2GRP K8CBKC2GRP
| URI | m2://inv/K8CBKC2GRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#QZVX (statement). In CBF6TQS4DW/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
K8CEWWMTBX K8CEWWMTBX
| URI | m2://inv/K8CEWWMTBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39845#NO6X (statement). In RK8DFVGQP1/e1, theorem 19
History
- 2026-10-30: add by m2/v0.4.12
Mind K8CJR72THE
| URI | m2://inv/K8CJR72THE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1936338, Mind (unknown). Also ProofWiki Book:Journal/Mind
History
- 2026-10-26: add by m2/dev
K8CNC5PM8P K8CNC5PM8P
| URI | m2://inv/K8CNC5PM8P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/integers.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 78.4
History
- 2026-11-01: add by m2/v0.6.13
K8CTZPEA20 K8CTZPEA20
| URI | m2://inv/K8CTZPEA20 |
|---|---|
| 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.11271#8ZQ2 (statement). In HF7J38T8Y6/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.3
K8D4TSXEJQ K8D4TSXEJQ
| URI | m2://inv/K8D4TSXEJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.06300#ZDX7 (statement). In 751KSRS7WT/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
K8D7SPRTE0 K8D7SPRTE0
| URI | m2://inv/K8D7SPRTE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11021#M6Z9 (statement). In R0SSJZYVTJ/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.3
K8DAGXRMCJ K8DAGXRMCJ
| URI | m2://inv/K8DAGXRMCJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#7D7G (definition). In F3BKXXPR3K/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.4.2
Bohr–van Leeuwen theorem K8DF9X6607
| URI | m2://inv/K8DF9X6607 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QQ6C, Bohr–van Leeuwen theorem (statement)
History
- 2026-11-02: add by m2/dev
Abu al-Jud K8DH7T3JY9
| URI | m2://inv/K8DH7T3JY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#GML3, Abu al-Jud (topic)
History
- 2026-11-02: add by m2/dev
K8DJ5KJTJ4 K8DJ5KJTJ4
| URI | m2://inv/K8DJ5KJTJ4 |
|---|---|
| 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 2202.02160#9TT9 (statement). In Y3WQP6A5F6/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.6
K8DN53NDV6 K8DN53NDV6
| URI | m2://inv/K8DN53NDV6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
George Gamow Memorial Lectures K8DPS97Z6C
| URI | m2://inv/K8DPS97Z6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Gamow Memorial Lectures, George Gamow Memorial Lectures (definition). Also Wikidata Q115819564
History
- 2026-11-02: add by m2/dev
Sharpness of the Explicit Bounds K8DQSK7TAY
| URI | m2://inv/K8DQSK7TAY |
|---|---|
| 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.13222#R1UN, Sharpness of the Explicit Bounds (statement). In Z6WA2R0J50/e1, corollary 2.37
History
- 2026-10-28: add by m2/v0.4.2
K8DV5TSE2K K8DV5TSE2K
| URI | m2://inv/K8DV5TSE2K |
|---|---|
| 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.10927#Y2M1 (statement). In DHEJP3YATV/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.3
Sobolev conjugate K8E13P9YSN
| URI | m2://inv/K8E13P9YSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev conjugate, Sobolev conjugate (definition). Also Wikidata Q7550124
History
- 2026-11-02: add by m2/dev
Theorem K8E1HC07QF
| URI | m2://inv/K8E1HC07QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequence space#WQH3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
K8E2DAYAEC K8E2DAYAEC
| URI | m2://inv/K8E2DAYAEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#DVFF (statement). In CTVPA2FQT1/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.0
Applications K8EG94YZ67
| URI | m2://inv/K8EG94YZ67 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vandermonde matrix#82WN, Applications (example)
History
- 2026-11-02: add by m2/dev
Classification of finitely generated abelian groups K8EH3X1K7Y
| URI | m2://inv/K8EH3X1K7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitely generated abelian group#WI9J, Classification of finitely generated abelian groups (unknown)
History
- 2026-11-02: add by m2/dev
Generalized helicoid K8ER3EN06J
| URI | m2://inv/K8ER3EN06J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#ANCQ, Generalized helicoid (unknown)
History
- 2026-11-02: add by m2/dev
Applications K8EW1383G0
| URI | m2://inv/K8EW1383G0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Premixed flame#8FU7, Applications (example)
History
- 2026-11-02: add by m2/dev
Adjunction and existing suprema K8EYJR2T6G
| URI | m2://inv/K8EYJR2T6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14859#OCG6, Adjunction and existing suprema (statement). In 8TPP7WC7K3/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
ZF-P K8F19XWFV4
| URI | m2://inv/K8F19XWFV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#4ICY, ZF-P (definition)
History
- 2026-11-02: add by m2/dev
K8F36B51VQ K8F36B51VQ
| URI | m2://inv/K8F36B51VQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31979#SZDH (statement). In M74V9NBAXB/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
K8F9CW6KPA K8F9CW6KPA
| URI | m2://inv/K8F9CW6KPA |
|---|---|
| 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 2508.02432#LXGF (statement). In B366ACYB37/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
K8FB0RYZFP K8FB0RYZFP
| URI | m2://inv/K8FB0RYZFP |
|---|---|
| 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.21535#8658 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cauchy-Schwarz inequality K8FB7CC854
| URI | m2://inv/K8FB7CC854 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AM–GM inequality#IWFH, Cauchy-Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
K8FJEPWYYV K8FJEPWYYV
| URI | m2://inv/K8FJEPWYYV |
|---|---|
| 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.10796#IQLC (statement). In 9YDW0QJZ6K/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.3
K8FW9SGR1H K8FW9SGR1H
| URI | m2://inv/K8FW9SGR1H |
|---|---|
| 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 2506.00952#XU7G (statement). In GX0TV70D4N/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
K8FWXT79WJ K8FWXT79WJ
| URI | m2://inv/K8FWXT79WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#NUUD (statement). In 9DQKY7KGE8/e1, proposition 6.44
History
- 2026-10-31: add by m2/v0.5.6
K8G77TD3Y7 K8G77TD3Y7
| URI | m2://inv/K8G77TD3Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#AZ8U (statement). In 43TBS9P2PX/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Definition K8GFTBCRVT
| URI | m2://inv/K8GFTBCRVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally constant function#8GGO, Definition (definition)
History
- 2026-11-02: add by m2/dev
MIT Sloan Sports Analytics Conference K8GFZRJ8QE
| URI | m2://inv/K8GFZRJ8QE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MIT Sloan Sports Analytics Conference, MIT Sloan Sports Analytics Conference (definition). Also Wikidata Q6716325
History
- 2026-11-02: add by m2/dev
Accelerated rate under bounded distortion K8GZ4J7S64
| URI | m2://inv/K8GZ4J7S64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#0F8X, Accelerated rate under bounded distortion (statement). In 1SQH3PTYMD/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
K8GZ84A3H3 K8GZ84A3H3
| URI | m2://inv/K8GZ84A3H3 |
|---|---|
| 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 2606.18859#V3ZL (statement). In EVRAASXEDY/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.0
Antony Wassermann K8GZ9RX7F7
| URI | m2://inv/K8GZ9RX7F7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56248375, Antony Wassermann (unknown). Also nLab Antony Wassermann
- wikipedia: Wikipedia Antony Wassermann, Antony Wassermann (topic). Also Wikidata Q56248375
History
- 2026-10-26: add by m2/dev
Fractional graph isomorphism K8H7BJXHWT
| URI | m2://inv/K8H7BJXHWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional graph isomorphism, Fractional graph isomorphism (definition). Also Wikidata Q19597255
History
- 2026-11-02: add by m2/dev
Larger and higher-precision problems favour it further K8H9M8V3NF
| URI | m2://inv/K8H9M8V3NF |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#ZRGD, Larger and higher-precision problems favour it further (unknown)
History
- 2026-11-01: add by m2/v0.6.15
type, identity K8HB9RJ90B
| URI | m2://inv/K8HB9RJ90B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12/type-identity, type, identity (concept). In N54F33XE07, index, section A.12
History
- 2026-11-01: add by m2/v0.6.13
Compact factorization rigidity K8HG0GK1VF
| URI | m2://inv/K8HG0GK1VF |
|---|---|
| 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.20197#KA1C, Compact factorization rigidity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cipher device K8HJAQW6N7
| URI | m2://inv/K8HJAQW6N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#2SFR, Cipher device (definition)
History
- 2026-11-02: add by m2/dev
K8HQJWT65H K8HQJWT65H
| URI | m2://inv/K8HQJWT65H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#Y20A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Map coloring (mathematics) K8HTF0CDCS
| URI | m2://inv/K8HTF0CDCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring#QF1Q, Map coloring (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
The Higher Infinite K8HTSCD62H
| URI | m2://inv/K8HTSCD62H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Higher Infinite, The Higher Infinite (definition). Also Wikidata Q85807463
History
- 2026-11-02: add by m2/dev
Sklar's theorem K8HYFPYSTH
| URI | m2://inv/K8HYFPYSTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114159029, Sklar's theorem (statement). Also MathWorld SklarsTheorem
History
- 2026-10-26: add by m2/dev
Fixed-Reference Entropy-Regularized Barycenter K8HYG9MM7V
| URI | m2://inv/K8HYG9MM7V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20316#SLLE, Fixed-Reference Entropy-Regularized Barycenter (definition)
History
- 2026-11-02: add by m2/v0.6.18
K8J22T00J7 K8J22T00J7
| URI | m2://inv/K8J22T00J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#O6EK (statement). In PYB2RFYVVE/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
Homomorphic signatures for network coding K8J3CM2659
| URI | m2://inv/K8J3CM2659 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homomorphic signatures for network coding, Homomorphic signatures for network coding (definition). Also Wikidata Q5891455
History
- 2026-11-02: add by m2/dev
K8J4AHCYCN K8J4AHCYCN
| URI | m2://inv/K8J4AHCYCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#definition-2 (definition). In RZP28ERRZV, definition, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
K8J5QGS7VQ K8J5QGS7VQ
| URI | m2://inv/K8J5QGS7VQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
LZ outer codes over the inner logical alphabet K8JA17C30Y
| URI | m2://inv/K8JA17C30Y |
|---|---|
| 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.40252#LB6H, LZ outer codes over the inner logical alphabet (statement). In 7MVPNFPRKB/e1, theorem 13.2
History
- 2026-10-30: add by m2/v0.4.12
K8JHH7QCWX K8JHH7QCWX
| URI | m2://inv/K8JHH7QCWX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#LZYS (example)
History
- 2026-11-02: add by m2/v0.6.17
function, surjective K8JK68HG3C
| URI | m2://inv/K8JK68HG3C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.2/function-surjective, function, surjective (concept). In N54F33XE07, index, section C.2
History
- 2026-11-01: add by m2/v0.6.13
Lisa Fauci K8JV50P7JE
| URI | m2://inv/K8JV50P7JE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisa Fauci, Lisa Fauci (topic). Also Wikidata Q20979251
History
- 2026-11-02: add by m2/dev
A quantitative sign test K8JWV1KBF8
| URI | m2://inv/K8JWV1KBF8 |
|---|---|
| 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.25084#U8E5, A quantitative sign test (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander Dranishnikov K8K0CWTH56
| URI | m2://inv/K8K0CWTH56 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Dranishnikov, Alexander Dranishnikov (topic). Also Wikidata Q30144058
History
- 2026-11-02: add by m2/dev
Definition of a Kan fibration K8K81KKRJ9
| URI | m2://inv/K8K81KKRJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kan fibration#EBR9, Definition of a Kan fibration (definition)
History
- 2026-11-02: add by m2/dev
universal parabolic constant K8K9H4SKGK
| URI | m2://inv/K8K9H4SKGK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7894145, universal parabolic constant (object). Also MathWorld UniversalParabolicConstant, OEIS A103710
- wikipedia: Wikipedia Universal parabolic constant, Universal parabolic constant (object). Also Wikidata Q7894145
History
- 2026-10-26: add by m2/dev
Sheaf of $\mathbb{A}^1$-connected components K8KAC5QE14
| URI | m2://inv/K8KAC5QE14 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28203#TVGI, Sheaf of $\mathbb{A}^1$-connected components (definition)
History
- 2026-11-01: add by m2/v0.6.15
Joan Daemen K8KEG0R307
| URI | m2://inv/K8KEG0R307 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#FFI6, Joan Daemen (unknown)
History
- 2026-11-02: add by m2/dev
Witold Roter K8KF5T5W2D
| URI | m2://inv/K8KF5T5W2D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witold Roter, Witold Roter (topic). Also Wikidata Q21290637
History
- 2026-11-02: add by m2/dev
K8KN5FZWJW K8KN5FZWJW
| URI | m2://inv/K8KN5FZWJW |
|---|---|
| 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 2303.00676#G2U4 (statement). In 5351H04TJY/e1, proposition 4.18
History
- 2026-10-27: add by m2/v0.4.0
Hyperbolic manifold K8KNF94VRT
| URI | m2://inv/K8KNF94VRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic manifold, Hyperbolic manifold (definition). Also Wikidata Q2619102
History
- 2026-11-02: add by m2/dev
ultraweak topology K8KT8H2JA5
| URI | m2://inv/K8KT8H2JA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ultraweak topology CA38T5ZH14 |
Mentions
- wikidata: Wikidata Q7880722, ultraweak topology (unknown). Also nLab ultraweak topology
- wikipedia: Wikipedia Ultraweak topology, Ultraweak topology (definition). Also Wikidata Q7880722
History
- 2026-10-26: add by m2/dev
K8KY04YAC9 K8KY04YAC9
| URI | m2://inv/K8KY04YAC9 |
|---|---|
| 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.18270#65RM (statement). In CPDMYJ0NJV/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
uniqueness, principle, propositional, for functions on a truncation K8M0RGKXRJ
| URI | m2://inv/K8M0RGKXRJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.3/uniqueness-principle-propositional-for-functions-on-a-truncation, uniqueness, principle, propositional, for functions on a truncation (concept). In N54F33XE07, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Mean-ratio tail K8M1PZHV4N
| URI | m2://inv/K8M1PZHV4N |
|---|---|
| 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.24931#KOCO, Mean-ratio tail (statement)
History
- 2026-11-01: add by m2/v0.6.15
A sharp interface lies outside the strong-form class but gives a bounded weak row K8M4P7C9N4
| URI | m2://inv/K8M4P7C9N4 |
|---|---|
| Kind | example |
| 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.04357#2CL1, A sharp interface lies outside the strong-form class but gives a bounded weak row (example). In 6FY8BVP1F3/e1, example B.5
History
- 2026-10-29: add by m2/v0.4.12
K8MAMGGE94 K8MAMGGE94
| URI | m2://inv/K8MAMGGE94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#G0TG (statement). In 9EMCPF1F2T/e1, theorem 36
History
- 2026-10-29: add by m2/v0.4.10
International Association for Cryptologic Research K8MASK4GBA
| URI | m2://inv/K8MASK4GBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association for Cryptologic Research, International Association for Cryptologic Research (definition). Also Wikidata Q462005
History
- 2026-11-02: add by m2/dev
K8MC5FZM3A K8MC5FZM3A
| URI | m2://inv/K8MC5FZM3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21529#SGFA (statement)
History
- 2026-11-02: add by m2/v0.6.18
K8MDF1M3VS K8MDF1M3VS
| URI | m2://inv/K8MDF1M3VS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Trivial orientation K8MNERVQSY
| URI | m2://inv/K8MNERVQSY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20915#782N, Trivial orientation (example). In 5M1SXP75D9/e1, example 7.1
History
- 2026-10-27: add by m2/v0.4.2
K8MNQZG3W8 K8MNQZG3W8
| URI | m2://inv/K8MNQZG3W8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#WNRU (statement). In QG9ATXTKJ6/e1, proposition 2.32
History
- 2026-10-27: add by m2/v0.3.5
Operator K-theory K8MNY6RS22
| URI | m2://inv/K8MNY6RS22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#JYQA, Operator K-theory (definition)
History
- 2026-11-02: add by m2/dev
Mosely snowflake K8MRHH3R1W
| URI | m2://inv/K8MRHH3R1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mosely snowflake, Mosely snowflake (definition). Also Wikidata Q21714879
History
- 2026-11-02: add by m2/dev
Explicit formula for the local operator projection K8MV3YV3M6
| URI | m2://inv/K8MV3YV3M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#IJ97, Explicit formula for the local operator projection (statement). In 1QSV7EQE3T/e1, lemma S1
History
- 2026-10-28: add by m2/v0.4.2
complete graph K2 K8MVE9V156
| URI | m2://inv/K8MVE9V156 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126735112, complete graph K2 (unknown). Also House of Graphs 19655
History
- 2026-10-26: add by m2/dev
Probability stability of kernel regression K8MW13M9WW
| URI | m2://inv/K8MW13M9WW |
|---|---|
| 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.20772#F71X, Probability stability of kernel regression (statement)
History
- 2026-11-02: add by m2/v0.6.18
limit point K8MY2ZQJ8P
| URI | m2://inv/K8MY2ZQJ8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Limit point 0E3X7TXS67 |
Mentions
- wikidata: Wikidata Q858223, limit point (unknown). Also EoM Accumulation_point, MathWorld AccumulationPoint, MathWorld LimitPoint, nLab limit point
- wikipedia: Wikipedia Accumulation point, Accumulation point (definition). Also Wikidata Q858223
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
K8N6PR0GGA K8N6PR0GGA
| URI | m2://inv/K8N6PR0GGA |
|---|---|
| Kind | problem |
| 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.23607#SN1G (problem)
History
- 2026-11-02: add by m2/v0.6.17
Mathematical Society of the Republic of Moldova K8N6SSJV2G
| URI | m2://inv/K8N6SSJV2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Society of the Republic of Moldova, Mathematical Society of the Republic of Moldova (definition). Also Wikidata Q6786844
History
- 2026-11-02: add by m2/dev
K8NCGYNZ0H K8NCGYNZ0H
| URI | m2://inv/K8NCGYNZ0H |
|---|---|
| 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.06326#1OQR (statement). In DPR6B6X0JX/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.10
K8NG056E6B K8NG056E6B
| URI | m2://inv/K8NG056E6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12819#VPHY (statement). In JW8S0XEMWG/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
K8NJXPJPJ3 K8NJXPJPJ3
| URI | m2://inv/K8NJXPJPJ3 |
|---|---|
| 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.06200#K9L6 (statement). In B5XCHJKX7Q/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
K8P0BWHP89 K8P0BWHP89
| URI | m2://inv/K8P0BWHP89 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#LQ89 (definition). In 6B2PCEGCYZ/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
tautochrone curve K8P6FBCBHF
| URI | m2://inv/K8P6FBCBHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3284444, tautochrone curve (unknown). Also MathWorld TautochroneProblem
- wikipedia: Wikipedia Tautochrone curve, Tautochrone curve (definition). Also Wikidata Q3284444
History
- 2026-10-26: add by m2/dev
K8P7PW4QMC K8P7PW4QMC
| URI | m2://inv/K8P7PW4QMC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#DM6J (definition). In F0D8VSM4Z4/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Universal enveloping algebra K8PGJ0S45E
| URI | m2://inv/K8PGJ0S45E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#7QLX, Universal enveloping algebra (definition)
- wikipedia: Wikipedia List of Lie groups topics#H9CF, Universal enveloping algebra (definition)
- wikipedia: Wikipedia List of algebras#3WG0, Universal enveloping algebra (definition)
History
- 2026-11-02: add by m2/dev
Rank--Nullity K8PMMXRE19
| URI | m2://inv/K8PMMXRE19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#theorem-4, Rank--Nullity (statement). In E9HS8K3A52, theorem, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
List of uniform tilings on the sphere, plane, and hyperbolic plane K8PMPDS9EY
| URI | m2://inv/K8PMPDS9EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane, List of uniform tilings on the sphere, plane, and hyperbolic plane (topic). Also Wikidata Q65053597
History
- 2026-11-02: add by m2/dev
Dedekind discriminant theorem K8PP9X36R2
| URI | m2://inv/K8PP9X36R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#E1BG, Dedekind discriminant theorem (statement)
History
- 2026-11-02: add by m2/dev
function, continuous, in classical homotopy theory K8PXNJQF8W
| URI | m2://inv/K8PXNJQF8W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u1/function-continuous-in-classical-homotopy-theory, function, continuous, in classical homotopy theory (concept). In N54F33XE07, index, section u1.u1
History
- 2026-11-01: add by m2/v0.6.13
K8PY7WRMGP K8PY7WRMGP
| URI | m2://inv/K8PY7WRMGP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28808#5ZBZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Reciprocal distribution K8PZ4TGZWA
| URI | m2://inv/K8PZ4TGZWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocal distribution, Reciprocal distribution (definition). Also Wikidata Q17128132
History
- 2026-11-02: add by m2/dev
K8Q2917Q24 K8Q2917Q24
| URI | m2://inv/K8Q2917Q24 |
|---|---|
| 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.00775#UW9G (statement). In WVHA7H05QC/e1, proposition 3.14
History
- 2026-10-29: add by m2/v0.4.12
Wrapped distribution K8Q5BEWDTY
| URI | m2://inv/K8Q5BEWDTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BUHH, Wrapped distribution (definition)
History
- 2026-11-02: add by m2/dev
K8Q5VRDKKT K8Q5VRDKKT
| URI | m2://inv/K8Q5VRDKKT |
|---|---|
| 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 2306.01410#M5M8 (statement). In BE0P5W2W3T/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.0
K8QD3VSDQ5 K8QD3VSDQ5
| URI | m2://inv/K8QD3VSDQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38532#KEIB (statement). In X7YYWCZFTV/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
John Tate K8QJ8KB0KG
| URI | m2://inv/K8QJ8KB0KG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q351822, John Tate (unknown). Also nLab John Tate
- wikipedia: Wikipedia John Tate (mathematician), John Tate (topic). Also Wikidata Q351822
History
- 2026-10-26: add by m2/dev
K8QJV9E860 K8QJV9E860
| URI | m2://inv/K8QJV9E860 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#V2O3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
K8QQWJA7BF K8QQWJA7BF
| URI | m2://inv/K8QQWJA7BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#BSI1 (statement). In X765ZXXVC3/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Notation K8QRB0V26F
| URI | m2://inv/K8QRB0V26F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wu's method of characteristic set#Q8O2, Notation (definition)
History
- 2026-11-02: add by m2/dev
Basic properties K8QW30ZWJ0
| URI | m2://inv/K8QW30ZWJ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Look-and-say sequence#MOLH, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
K8QX8BG6BD K8QX8BG6BD
| URI | m2://inv/K8QX8BG6BD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.27872#N4BW (definition)
History
- 2026-11-01: add by m2/v0.6.15
propositional formula K8R2704APH
| URI | m2://inv/K8R2704APH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1372900, propositional formula (unknown). Also EoM Propositional_formula, MathWorld SententialFormula
- wikipedia: Wikipedia Propositional formula, Propositional formula (statement). Also Wikidata Q1372900
History
- 2026-10-26: add by m2/dev
Uniform 1k2 polytope K8RB9CW0MN
| URI | m2://inv/K8RB9CW0MN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#70H3, Uniform 1k2 polytope (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#LF68, Uniform 1k2 polytope (object)
History
- 2026-11-02: add by m2/dev
Schmidt K8RG9HE8PW
| URI | m2://inv/K8RG9HE8PW |
|---|---|
| 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.17589#12UA, Schmidt (statement). In GSTK4569X1/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Dieudonné's theorem K8RGEP4RAA
| URI | m2://inv/K8RGEP4RAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point-finite collection#YQ1E, Dieudonné's theorem (statement)
History
- 2026-11-02: add by m2/dev
Basque Center for Applied Mathematics K8RHM4SDF4
| URI | m2://inv/K8RHM4SDF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basque Center for Applied Mathematics, Basque Center for Applied Mathematics (definition). Also Wikidata Q4867846
History
- 2026-11-02: add by m2/dev
K8RJH1XPXY K8RJH1XPXY
| URI | m2://inv/K8RJH1XPXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#N1FZ (statement). In KS30K5JXGB/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Peter K. Henrici K8RQBB6ZGW
| URI | m2://inv/K8RQBB6ZGW |
|---|---|
| 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#KEE7, Peter K. Henrici (topic)
History
- 2026-11-02: add by m2/dev
K8RSPRDVN2 K8RSPRDVN2
| URI | m2://inv/K8RSPRDVN2 |
|---|---|
| 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 1512.06981#B3LX (statement). In X923ZEY423/e1, lemma 2.0.14
History
- 2026-10-27: add by m2/v0.3.5
K8SDKKTR8T K8SDKKTR8T
| URI | m2://inv/K8SDKKTR8T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#0T36 (definition). In G02N9D40B9/e1, definition 3.2.2
History
- 2026-10-29: add by m2/v0.4.10
K8SG5PF8J3 K8SG5PF8J3
| URI | m2://inv/K8SG5PF8J3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10576#2VH7 (statement). In N3ZA5MDZBW/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Colog K8SMPNWV68
| URI | m2://inv/K8SMPNWV68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithm#RXZL, Colog (unknown)
History
- 2026-11-02: add by m2/dev
Brauer chain K8SQ6BJ7E8
| URI | m2://inv/K8SQ6BJ7E8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition chain#1K3R, Brauer chain (unknown)
History
- 2026-11-02: add by m2/dev
Multiple correspondence analysis K8STMS14C4
| URI | m2://inv/K8STMS14C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple correspondence analysis, Multiple correspondence analysis (definition). Also Wikidata Q2845212
History
- 2026-11-02: add by m2/dev
Noncentral t-distribution K8SW3BAYV8
| URI | m2://inv/K8SW3BAYV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GAJP, Noncentral t-distribution (definition)
History
- 2026-11-02: add by m2/dev
K8SWRVY7XQ K8SWRVY7XQ
| URI | m2://inv/K8SWRVY7XQ |
|---|---|
| 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.30957#9JCZ (statement). In P5YB6R0RK3/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
K8T930G4NX K8T930G4NX
| URI | m2://inv/K8T930G4NX |
|---|---|
| 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 2405.10580#4HC5 (statement). In FXEJE0PWEP/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
K8TA524VF5 K8TA524VF5
| URI | m2://inv/K8TA524VF5 |
|---|---|
| Kind | definition |
| 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.39430#IMWP (definition). In 6FH24CYAMW/e1, definition 6.7
History
- 2026-10-30: add by m2/v0.4.12
K8TBKV7KN3 K8TBKV7KN3
| URI | m2://inv/K8TBKV7KN3 |
|---|---|
| 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.04895#JEME (statement). In A7M06ZVYA8/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Hector Leak K8TDJW97FQ
| URI | m2://inv/K8TDJW97FQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hector Leak, Hector Leak (topic). Also Wikidata Q15968233
History
- 2026-11-02: add by m2/dev
K8TPE5WK0S K8TPE5WK0S
| URI | m2://inv/K8TPE5WK0S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#M5OL (definition). In 7MV7RGDVXF/e1, definition 2.5.1
History
- 2026-10-29: add by m2/v0.4.10
K8TQWBNXJM K8TQWBNXJM
| URI | m2://inv/K8TQWBNXJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#L7P2 (statement). In YVK8EFSYNJ/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.2
K8TX028BCA K8TX028BCA
| URI | m2://inv/K8TX028BCA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-33 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
K8V27ZHQQ2 K8V27ZHQQ2
| URI | m2://inv/K8V27ZHQQ2 |
|---|---|
| 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.30823#9MXW (statement). In 1YHQ9YNQ68/e1, proposition 3.7
History
- 2026-10-31: add by m2/v0.5.6
Coefficients K8V5V6C8B2
| URI | m2://inv/K8V5V6C8B2 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
K8VC0CPYZR K8VC0CPYZR
| URI | m2://inv/K8VC0CPYZR |
|---|---|
| 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 alg-geom/9506022#ORHU (statement). In AQGEM4XAKD/e1, theorem 0.5
History
- 2026-10-27: add by m2/v0.3.5
K8VC7H1615 K8VC7H1615
| URI | m2://inv/K8VC7H1615 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.18436#YV3V (statement). In 6W19Z58188/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.6
Hyperbolic secant K8VEWJY39F
| URI | m2://inv/K8VEWJY39F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#RFOK, Hyperbolic secant (definition)
History
- 2026-11-02: add by m2/dev
Applications K8VFENMHHX
| URI | m2://inv/K8VFENMHHX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's theorem#966G, Applications (example)
History
- 2026-11-02: add by m2/dev
K8VY8X9HFE K8VY8X9HFE
| URI | m2://inv/K8VY8X9HFE |
|---|---|
| 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.31861#MTY2 (statement). In G36R6T327W/e1, corollary 8
History
- 2026-10-31: add by m2/v0.5.6
Special cases K8VZD1DWNZ
| URI | m2://inv/K8VZD1DWNZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood–Richardson rule#LVAL, Special cases (statement)
History
- 2026-11-02: add by m2/dev
K8W11XQ2QR K8W11XQ2QR
| URI | m2://inv/K8W11XQ2QR |
|---|---|
| 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.37846#MKPY (statement). In DCA0M1EE4A/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
K8W2WJKBT4 K8W2WJKBT4
| URI | m2://inv/K8W2WJKBT4 |
|---|---|
| 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.36877#YU7G (statement). In FYS6VV5M99/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
K8W5G53JT0 K8W5G53JT0
| URI | m2://inv/K8W5G53JT0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
K8W6J7ZMFN K8W6J7ZMFN
| URI | m2://inv/K8W6J7ZMFN |
|---|---|
| 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.35404#0UTV (statement). In DH84PYVRCF/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Fibonacci pseudoprime K8WCJPC15E
| URI | m2://inv/K8WCJPC15E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123133316, Fibonacci pseudoprime (unknown). Also MathWorld FibonacciPseudoprime
History
- 2026-10-26: add by m2/dev
K8WD2Z8FK2 K8WD2Z8FK2
| URI | m2://inv/K8WD2Z8FK2 |
|---|---|
| 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 2607.26169#CQNW (statement). In Q46QV3B0NF/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Salvatore Pincherle K8WD36ZMCM
| URI | m2://inv/K8WD36ZMCM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salvatore Pincherle, Salvatore Pincherle (topic). Also Wikidata Q574624
History
- 2026-11-02: add by m2/dev
Acoustic metamaterial K8WF1SA36B
| URI | m2://inv/K8WF1SA36B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acoustic metamaterial, Acoustic metamaterial (definition). Also Wikidata Q3002819
History
- 2026-11-02: add by m2/dev
Example K8WGVJ36JE
| URI | m2://inv/K8WGVJ36JE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear subspace#M82J, Example (example)
History
- 2026-11-02: add by m2/dev
Systematic error K8WQD59A7R
| URI | m2://inv/K8WQD59A7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A4T6, Systematic error (definition)
History
- 2026-11-02: add by m2/dev
K8WR5A6P8T K8WR5A6P8T
| URI | m2://inv/K8WR5A6P8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39347#PLUB (statement). In KBBA2FKDBH/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Exactly two times for nonintegral SRGs K8WTSVDXEX
| URI | m2://inv/K8WTSVDXEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#3QYO, Exactly two times for nonintegral SRGs (statement). In CJRBKR4JKT/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Classification K8WX1KGXXD
| URI | m2://inv/K8WX1KGXXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification, Classification (definition). Also Wikidata Q13582682
History
- 2026-11-02: add by m2/dev
Definition of conditional disclosure of secrets K8WZ0TT69J
| URI | m2://inv/K8WZ0TT69J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional disclosure of secrets#JEEA, Definition of conditional disclosure of secrets (definition)
History
- 2026-11-02: add by m2/dev
K8X49J7J1C K8X49J7J1C
| URI | m2://inv/K8X49J7J1C |
|---|---|
| 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.26948#CVLA (statement)
History
- 2026-11-01: add by m2/v0.6.15
K8X6FSPRA0 K8X6FSPRA0
| URI | m2://inv/K8X6FSPRA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#M7J5 (statement). In ETV3D93XYD/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Generalizations K8X7A6CM6X
| URI | m2://inv/K8X7A6CM6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte embedding#NM12, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
argon-40 K8X7W3PM90
| URI | m2://inv/K8X7W3PM90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1929004, argon-40 (definition). Also ProofWiki Definition:Argon/40
History
- 2026-10-26: add by m2/dev
K8XEJ1GJ63 K8XEJ1GJ63
| URI | m2://inv/K8XEJ1GJ63 |
|---|---|
| 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.31173#25U4 (statement). In ZZSJGJXPXY/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
K8XGZQ8MAR K8XGZQ8MAR
| URI | m2://inv/K8XGZQ8MAR |
|---|---|
| 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.18287#070X (definition). In ZXZN6RMN38/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Proth prime K8XHBXAJTQ
| URI | m2://inv/K8XHBXAJTQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77717996, Proth prime (unknown). Also MathWorld ProthPrime, OEIS A080075
- wikipedia: Wikipedia Proth prime, Proth prime (object). Also Wikidata Q77717996
History
- 2026-10-26: add by m2/dev
Lemma K8XXRE3E8P
| URI | m2://inv/K8XXRE3E8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre plane#YQ7Y, Lemma (statement)
History
- 2026-11-02: add by m2/dev
K8XZWXDKS1 K8XZWXDKS1
| URI | m2://inv/K8XZWXDKS1 |
|---|---|
| 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#ORKK (statement). In XV70TXYS5A/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.2
Symmetric inverse semigroup K8Y0XJWFKR
| URI | m2://inv/K8Y0XJWFKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric inverse semigroup, Symmetric inverse semigroup (definition). Also Wikidata Q7661309
History
- 2026-11-02: add by m2/dev
Cyclometer K8Y4F5AP9H
| URI | m2://inv/K8Y4F5AP9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclometer, Cyclometer (definition). Also Wikidata Q245480
History
- 2026-11-02: add by m2/dev
K8YSW45Y78 K8YSW45Y78
| URI | m2://inv/K8YSW45Y78 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#VKVQ (definition). In CGA36VE1C5/e1, definition 2.2.3
History
- 2026-10-27: add by m2/v0.3.6
Coulomb certificate K8YVRX1QGH
| URI | m2://inv/K8YVRX1QGH |
|---|---|
| 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 2609.22077#HR8E, Coulomb certificate (statement)
History
- 2026-11-02: add by m2/v0.6.17
K8Z2VY1QJX K8Z2VY1QJX
| URI | m2://inv/K8Z2VY1QJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39103#FJIW (statement). In VGB0N93ES8/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
K8Z6DKMT8C K8Z6DKMT8C
| URI | m2://inv/K8Z6DKMT8C |
|---|---|
| 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.21017#KFU7 (statement). In 8KKYZ4NKT2/e1, theorem 24
History
- 2026-10-27: add by m2/v0.4.2
K8ZB11NKF8 K8ZB11NKF8
| URI | m2://inv/K8ZB11NKF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#B7A2 (statement). In 1R7H0ZAHWA/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Extension (algebra) K8ZE1K00HC
| URI | m2://inv/K8ZE1K00HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#KGLW, Extension (algebra) (definition)
History
- 2026-11-02: add by m2/dev
Properties K8ZG0C94GZ
| URI | m2://inv/K8ZG0C94GZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear operator#F1WO, Properties (statement)
History
- 2026-11-02: add by m2/dev
K8ZPM2Y4K9 K8ZPM2Y4K9
| URI | m2://inv/K8ZPM2Y4K9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#CRFN (definition). In 9DQKY7KGE8/e1, definition 7.10
History
- 2026-10-31: add by m2/v0.5.6