Inventory rows RK
The cards of the rows of the inventory whose ids start with RK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Examples RK01MJ7AEC
| URI | m2://inv/RK01MJ7AEC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-hitting-time model#RUGF, Examples (example)
History
- 2026-11-02: add by m2/dev
Manin–Mumford conjecture RK07XVFQ7W
| URI | m2://inv/RK07XVFQ7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#ZI87, Manin–Mumford conjecture (definition)
History
- 2026-11-02: add by m2/dev
RK09YN8Y91 RK09YN8Y91
| URI | m2://inv/RK09YN8Y91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15723#VI0F (statement). In A3KXZ2GBHN/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Envelop theorem: exact design gradient from the inner dual RK0A82VA8F
| URI | m2://inv/RK0A82VA8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36090#J34V, Envelop theorem: exact design gradient from the inner dual (statement). In N025M6VQRY/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.0
RK0B3QACGK RK0B3QACGK
| URI | m2://inv/RK0B3QACGK |
|---|---|
| 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 math/0411039#XOPG (statement). In ZTBDXSKFFW/e1, lemma 9.7
History
- 2026-10-27: add by m2/v0.3.5
Time–frequency representation RK0B58FYD9
| URI | m2://inv/RK0B58FYD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ARDE, Time–frequency representation (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#RL69, Time–frequency representation (definition)
History
- 2026-11-02: add by m2/dev
Bruhat order RK0BA6SKN6
| URI | m2://inv/RK0BA6SKN6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bruhat order A17Q3X6285 |
Mentions
- wikidata: Wikidata Q4978697, Bruhat order (concept). Also MathWorld BruhatOrder
- wikipedia: Wikipedia Bruhat order, Bruhat order (definition). Also Wikidata Q4978697
History
- 2026-10-26: add by m2/dev
Sokhotski–Plemelj theorem RK0C4V1BX5
| URI | m2://inv/RK0C4V1BX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1543149, Sokhotski–Plemelj theorem (statement). Also Wikidata Q1543149
- thousand_plus: thousand_plus Q1543149, Sokhotski–Plemelj theorem (statement). Also Wikidata Q1543149, Wikipedia Sokhotski–Plemelj theorem
- wikipedia: Wikipedia Sokhotski–Plemelj theorem, Sokhotski–Plemelj theorem (statement). Also Wikidata Q1543149
History
- 2026-10-26: add by m2/dev
Weinberg–Witten theorem RK0E9P3F2D
| URI | m2://inv/RK0E9P3F2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7980241, Weinberg–Witten theorem (statement). Also Wikidata Q7980241
- thousand_plus: thousand_plus Q7980241, Weinberg–Witten theorem (statement). Also Wikidata Q7980241, Wikipedia Weinberg–Witten theorem
- wikipedia: Wikipedia Weinberg–Witten theorem, Weinberg–Witten theorem (statement). Also Wikidata Q7980241
History
- 2026-10-26: add by m2/dev
Edward Copson RK0R0JE2BY
| URI | m2://inv/RK0R0JE2BY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Copson, Edward Copson (topic). Also Wikidata Q1293868
History
- 2026-11-02: add by m2/dev
irreducible RK0W03V80Y
| URI | m2://inv/RK0W03V80Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#PXI7, irreducible (definition)
History
- 2026-11-02: add by m2/dev
RK0WKKRBAP RK0WKKRBAP
| URI | m2://inv/RK0WKKRBAP |
|---|---|
| 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.17518#34XZ (statement). In YA4JEWTVS4/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
RK0XPHSS0N RK0XPHSS0N
| URI | m2://inv/RK0XPHSS0N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#VF0V (definition). In 80S2NP05HJ/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.0
RK104Y3SQ6 RK104Y3SQ6
| URI | m2://inv/RK104Y3SQ6 |
|---|---|
| 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.21692#SZSY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Equivalent interpolation conditions RK10WHXHTF
| URI | m2://inv/RK10WHXHTF |
|---|---|
| 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.15125#V666, Equivalent interpolation conditions (statement). In V5GT8NJKCM/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Formal definitions RK127F7AD9
| URI | m2://inv/RK127F7AD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative system#OA1E, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Use RK1739RERM
| URI | m2://inv/RK1739RERM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counterargument#ZV6M, Use (example)
History
- 2026-11-02: add by m2/dev
Direct-sum decomposition of the measurement space RK184A1Q4Z
| URI | m2://inv/RK184A1Q4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14920#2ZIK, Direct-sum decomposition of the measurement space (statement). In 1F8ENX770M/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
RK18PTVX2K RK18PTVX2K
| URI | m2://inv/RK18PTVX2K |
|---|---|
| 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.08193#A48K (statement). In 8XAKGH8S2D/e1, proposition 4.11
History
- 2026-10-29: add by m2/v0.4.10
RK1C90BGDW RK1C90BGDW
| URI | m2://inv/RK1C90BGDW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#M607 (unknown). In 4YJH4FPWDA/e1, unknown 3.23
History
- 2026-10-30: add by m2/v0.4.12
Weighted Poincar\'e inequality RK1FBB2HMC
| URI | m2://inv/RK1FBB2HMC |
|---|---|
| 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.05312#PV3V, Weighted Poincar\'e inequality (statement). In 1CMMK399WQ/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Examples RK1HMBHN7F
| URI | m2://inv/RK1HMBHN7F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associahedron#EWAU, Examples (example)
History
- 2026-11-02: add by m2/dev
RK1TW5GZ2Y RK1TW5GZ2Y
| URI | m2://inv/RK1TW5GZ2Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-10 (example). In E9HS8K3A52, example, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
Representation by potentials RK26D2QNWS
| URI | m2://inv/RK26D2QNWS |
|---|---|
| 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.18350#4ZQ0, Representation by potentials (statement). In A20E8FZS21/e1, theorem 10.2
History
- 2026-10-28: add by m2/v0.4.2
Counterexamples RK298NMEN8
| URI | m2://inv/RK298NMEN8 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of random variables#MORB, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
RK29G15N1C RK29G15N1C
| URI | m2://inv/RK29G15N1C |
|---|---|
| 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#F0F3 (statement). In 7CK21JGM5A/e1, corollary 4.10
History
- 2026-10-27: add by m2/v0.4.2
RK2GK4N03C RK2GK4N03C
| URI | m2://inv/RK2GK4N03C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#HOYK (statement). In XEQD21EBTT/e1, lemma 8.6
History
- 2026-10-28: add by m2/v0.4.2
Syu Kato RK2XEPM62P
| URI | m2://inv/RK2XEPM62P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GBKU, Syu Kato (unknown)
History
- 2026-11-02: add by m2/dev
RK341GR154 RK341GR154
| URI | m2://inv/RK341GR154 |
|---|---|
| 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.10188#65F1 (statement). In S608Z3ZBP6/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Fortissimo space RK34F1Q8T7
| URI | m2://inv/RK34F1Q8T7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fort space#KL0L, Fortissimo space (unknown)
History
- 2026-11-02: add by m2/dev
Adaptive regret RK36MYJFT0
| URI | m2://inv/RK36MYJFT0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20416#ELGG, Adaptive regret (definition). In P603M3M91A/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.2
Liu Hui RK38E4HH6E
| URI | m2://inv/RK38E4HH6E |
|---|---|
| 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 Q316304, Liu Hui (unknown). Also ProofWiki Mathematician:Liu_Hui
- wikipedia: Wikipedia Liu Hui, Liu Hui (topic). Also Wikidata Q316304
History
- 2026-10-26: add by m2/dev
History of trigonometry RK3E8714H8
| URI | m2://inv/RK3E8714H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#PHF7, History of trigonometry (definition)
History
- 2026-11-02: add by m2/dev
Statement RK3N4E7AQ4
| URI | m2://inv/RK3N4E7AQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twistor correspondence#1CDU, Statement (statement)
History
- 2026-11-02: add by m2/dev
Olivia Caramello RK3P44756N
| URI | m2://inv/RK3P44756N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olivia Caramello, Olivia Caramello (topic). Also Wikidata Q102361389
History
- 2026-11-02: add by m2/dev
Mori domain RK3S9K1DJ4
| URI | m2://inv/RK3S9K1DJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#3MKB, Mori domain (definition)
History
- 2026-11-02: add by m2/dev
RK3WYAMR1G RK3WYAMR1G
| URI | m2://inv/RK3WYAMR1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#0R6Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
RK3X1AEHGZ RK3X1AEHGZ
| URI | m2://inv/RK3X1AEHGZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-281 (exercise). In VNMV985MXX, exercise, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Phase boundary RK3X2NP2XP
| URI | m2://inv/RK3X2NP2XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase boundary, Phase boundary (definition). Also Wikidata Q7180938
History
- 2026-11-02: add by m2/dev
RK45BKT437 RK45BKT437
| URI | m2://inv/RK45BKT437 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#DHYF (statement). In F71MS1F637/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
Sparse-support Poincar\'e inequality RK47Z9WS83
| URI | m2://inv/RK47Z9WS83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09030#7RRV, Sparse-support Poincar\'e inequality (statement). In BYN44C0X0C/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
RK4DXZZV2F RK4DXZZV2F
| URI | m2://inv/RK4DXZZV2F |
|---|---|
| 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 2609.24902#TXED (definition)
History
- 2026-11-01: add by m2/v0.6.15
Complement RK4E8HKG38
| URI | m2://inv/RK4E8HKG38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement (complexity), Complement (definition). Also Wikidata Q4249733
History
- 2026-11-02: add by m2/dev
Frobenius–Schur indicator RK4FZYZ9NN
| URI | m2://inv/RK4FZYZ9NN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#UK43, Frobenius–Schur indicator (unknown)
History
- 2026-11-02: add by m2/dev
Reduction semantics RK4GHZ9P4J
| URI | m2://inv/RK4GHZ9P4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operational semantics#X95Y, Reduction semantics (unknown)
History
- 2026-11-02: add by m2/dev
Milnor conjecture RK4PMT09XQ
| URI | m2://inv/RK4PMT09XQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor conjecture (K-theory), Milnor conjecture (statement). Also Wikidata Q2993329
History
- 2026-11-02: add by m2/dev
RK4QXW554F RK4QXW554F
| URI | m2://inv/RK4QXW554F |
|---|---|
| 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.16235#QINM (statement). In RNGNWGMX85/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
RK4VVTG76M RK4VVTG76M
| URI | m2://inv/RK4VVTG76M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#WYH3 (statement). In AY2MA29921/e1, corollary 014
History
- 2026-10-27: add by m2/v0.3.5
Abraham Fraenkel RK4X7RV965
| URI | m2://inv/RK4X7RV965 |
|---|---|
| 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#061J, Abraham Fraenkel (topic)
History
- 2026-11-02: add by m2/dev
Examples RK4X8526WZ
| URI | m2://inv/RK4X8526WZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering group#F75C, Examples (example)
History
- 2026-11-02: add by m2/dev
Johann Faulhaber RK4Z5DFM36
| URI | m2://inv/RK4Z5DFM36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#BILR, Johann Faulhaber (topic)
History
- 2026-11-02: add by m2/dev
Newton's sine-square law of air resistance RK5GF9F4V2
| URI | m2://inv/RK5GF9F4V2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#6FUY, Newton's sine-square law of air resistance (unknown)
History
- 2026-11-02: add by m2/dev
Degree and energy RK5J9T5YK5
| URI | m2://inv/RK5J9T5YK5 |
|---|---|
| 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.02714#NJGA, Degree and energy (statement). In R9AXCJWK8F/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.12
RK5MQPN7DD RK5MQPN7DD
| URI | m2://inv/RK5MQPN7DD |
|---|---|
| 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 2311.04609#4EJJ (statement). In 66W1NPE62D/e1, theorem 0.6
History
- 2026-10-27: add by m2/v0.3.5
isolated vertex RK5N7H36TX
| URI | m2://inv/RK5N7H36TX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30912486, isolated vertex (definition). Also MathWorld IsolatedPoint, ProofWiki Definition:Isolated_Vertex
History
- 2026-10-26: add by m2/dev
\textbf{Approximate minimum-distance consistency RK5W757FZ7
| URI | m2://inv/RK5W757FZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17032#QHP4, \textbf{Approximate minimum-distance consistency (statement). In MXPK9A2HK2/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
RK5XW6DSH0 RK5XW6DSH0
| URI | m2://inv/RK5XW6DSH0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25435#UCNM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition RK62X5KREK
| URI | m2://inv/RK62X5KREK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Zernike polynomials#QJ07, Definition (definition)
History
- 2026-11-02: add by m2/dev
Unknotting problem RK64M9ABV4
| URI | m2://inv/RK64M9ABV4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#K6YD, Unknotting problem (conjecture)
History
- 2026-11-02: add by m2/dev
outer automorphism group RK68MA30BS
| URI | m2://inv/RK68MA30BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Outer automorphism group 09HEXDQ0CQ |
Mentions
- wikidata: Wikidata Q77980689, outer automorphism group (definition). Also LMFDB knowl group.outer_aut, MathWorld OuterAutomorphismGroup, ProofWiki Definition:Group_of_Outer_Automorphisms
- wikipedia: Wikipedia Outer automorphism group, Outer automorphism group (definition). Also Wikidata Q77980689
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
RK694KYM1S RK694KYM1S
| URI | m2://inv/RK694KYM1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33476#1F50 (statement). In DAQW640R25/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Laplace's equation RK69XS1F10
| URI | m2://inv/RK69XS1F10 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Laplace's equation S8RG6N1PRT |
Mentions
- wikidata: Wikidata Q339444, Laplace's equation (concept). Also EoM Laplace_equation, MathWorld LaplacesEquation, ProofWiki Definition:Laplace's_Equation
- wikipedia: Wikipedia Laplace's equation, Laplace's equation (definition). Also Wikidata Q339444
History
- 2026-10-26: add by m2/dev
Exact square completion RK6BQS67DG
| URI | m2://inv/RK6BQS67DG |
|---|---|
| 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.35548#T1P7, Exact square completion (statement). In 12AXZ0DFD9/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
RK6FEAEY7K RK6FEAEY7K
| URI | m2://inv/RK6FEAEY7K |
|---|---|
| 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.03477#QRJV (statement). In GXN3D4G4HE/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.12
RK6RJN86DE RK6RJN86DE
| URI | m2://inv/RK6RJN86DE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#LGG0 (definition). In 6HJQXZS0A6/e1, definition 6.12
History
- 2026-10-29: add by m2/v0.4.12
RK6RQPSF0H RK6RQPSF0H
| URI | m2://inv/RK6RQPSF0H |
|---|---|
| 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.12803#2B0A (statement). In 98GNJ4MS7Q/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
principle of isolated zeros RK725KEMF1
| URI | m2://inv/RK725KEMF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > principle of isolated zeros, principle of isolated zeros (unknown). Also Mathlib AnalyticAt.eventually_eq_zero_or_eventually_ne_zero
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > principle of isolated zeros, principle of isolated zeros (unknown). Also Mathlib AnalyticAt.eventually_eq_zero_or_eventually_ne_zero
History
- 2026-10-26: add by m2/dev
RK78YJC5XZ RK78YJC5XZ
| URI | m2://inv/RK78YJC5XZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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 2111.09700#VPYB (statement). In XCSQ27P0XW/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.4.0
Andrei Sakharov RK7987J7X7
| URI | m2://inv/RK7987J7X7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q997, Andrei Sakharov (unknown). Also nLab Andrei Sakharov
History
- 2026-10-26: add by m2/dev
Richard Feynman RK7AB11PP8
| URI | m2://inv/RK7AB11PP8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4RB4, Richard Feynman (topic)
History
- 2026-11-02: add by m2/dev
RK7AW2Y2AP RK7AW2Y2AP
| URI | m2://inv/RK7AW2Y2AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#58XY (statement). In 160PQ7F1AS/e1, lemma 4.15
History
- 2026-10-29: add by m2/v0.4.12
RK7HCCCF0J RK7HCCCF0J
| URI | m2://inv/RK7HCCCF0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#E9BX (statement). In KJY735KSMF/e1, proposition 10.4
History
- 2026-10-28: add by m2/v0.4.2
RK7JAJYWHT RK7JAJYWHT
| URI | m2://inv/RK7JAJYWHT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/verification.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
RK7QAWT529 RK7QAWT529
| URI | m2://inv/RK7QAWT529 |
|---|---|
| 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.33421#052K (statement). In YMVA1SJ640/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Scientific Opinion RK7SBTN4Q7
| URI | m2://inv/RK7SBTN4Q7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion#C4NI, Scientific Opinion (unknown)
History
- 2026-11-02: add by m2/dev
Continuous binomial distribution RK7W6Q68S8
| URI | m2://inv/RK7W6Q68S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous binomial distribution, Continuous binomial distribution (definition). Also Wikidata Q140128446
History
- 2026-11-02: add by m2/dev
RK7Z1YZV2H RK7Z1YZV2H
| URI | m2://inv/RK7Z1YZV2H |
|---|---|
| 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#LQKM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stabilization of first passage RK82S86NP1
| URI | m2://inv/RK82S86NP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#3W1Y, Stabilization of first passage (statement). In 8XVS0QJ2AH/e1, lemma 54
History
- 2026-10-31: add by m2/v0.5.6
Cusp RK83FWKGYV
| URI | m2://inv/RK83FWKGYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#KC9X, Cusp (definition)
History
- 2026-11-02: add by m2/dev
Exact mixed-area defect RK84F6NZYX
| URI | m2://inv/RK84F6NZYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.11814#8KIG, Exact mixed-area defect (statement). In MXG9FV78NP/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
RK87MJP7T1 RK87MJP7T1
| URI | m2://inv/RK87MJP7T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.18483#29BK (statement). In FF4HDVF1DC/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Lilly Sanathanan RK8B3V8GHX
| URI | m2://inv/RK8B3V8GHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lilly Sanathanan, Lilly Sanathanan (topic). Also Wikidata Q102190090
History
- 2026-11-02: add by m2/dev
Artin's theorem on induced characters RK8GZ9MP0N
| URI | m2://inv/RK8GZ9MP0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#JN0Q, Artin's theorem on induced characters (statement)
History
- 2026-11-02: add by m2/dev
Biclustering RK8HR1WK7F
| URI | m2://inv/RK8HR1WK7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K6X4, Biclustering (definition)
History
- 2026-11-02: add by m2/dev
RK8HY0YD1J RK8HY0YD1J
| URI | m2://inv/RK8HY0YD1J |
|---|---|
| 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.24845#6DDK (statement)
History
- 2026-11-01: add by m2/v0.6.15
RK8QK6H72T RK8QK6H72T
| URI | m2://inv/RK8QK6H72T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40189#R20S (statement). In K2MDWD9V46/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
RK8R1JJF52 RK8R1JJF52
| URI | m2://inv/RK8R1JJF52 |
|---|---|
| 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.29501#OGF9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y-intercept RK8RDZSZNY
| URI | m2://inv/RK8RDZSZNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Y-intercept, Y-intercept (definition). Also Wikidata Q287239
History
- 2026-11-02: add by m2/dev
Émile Borel RK93N8H2GE
| URI | m2://inv/RK93N8H2GE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#7772, Émile Borel (topic)
- wikipedia: Wikipedia List of real analysis topics#7TFY, Émile Borel (topic)
History
- 2026-11-02: add by m2/dev
Independent subgaussian sum bound RK94TAJCMD
| URI | m2://inv/RK94TAJCMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#7BG7, Independent subgaussian sum bound (statement)
History
- 2026-11-02: add by m2/dev
monad RK95VYTS5R
| URI | m2://inv/RK95VYTS5R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/monad, monad (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Properties RK9AQJ7ASM
| URI | m2://inv/RK9AQJ7ASM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete uniform distribution#QSZ0, Properties (statement)
History
- 2026-11-02: add by m2/dev
RK9KMG3NX8 RK9KMG3NX8
| URI | m2://inv/RK9KMG3NX8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17626#YFWA (example). In 54ATJS74DT/e1, example
History
- 2026-10-28: add by m2/v0.4.2
Examples of splitting fields RKA1W9PMCC
| URI | m2://inv/RKA1W9PMCC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#example-7, Examples of splitting fields (example). In RZP28ERRZV, example, section 14.5
History
- 2026-11-01: add by m2/v0.6.13
RKA3SWJVFR RKA3SWJVFR
| URI | m2://inv/RKA3SWJVFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#X35E (statement). In E7W2HDNEKJ/e1, theorem 6.25
History
- 2026-10-30: add by m2/v0.4.12
RKA5GWZ99C RKA5GWZ99C
| URI | m2://inv/RKA5GWZ99C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18335#EY4H (statement). In XKN1C8Y9SD/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Applications RKAB1M0P9Z
| URI | m2://inv/RKAB1M0P9Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving horizon estimation#3V5G, Applications (example)
History
- 2026-11-02: add by m2/dev
RKANDFFHJP RKANDFFHJP
| URI | m2://inv/RKANDFFHJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-17 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Properties RKAVC6N0TF
| URI | m2://inv/RKAVC6N0TF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (module)#KY4Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition RKAWP4WBWY
| URI | m2://inv/RKAWP4WBWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert summation#626W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Beta-binomial distribution RKAXW3NWMZ
| URI | m2://inv/RKAXW3NWMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OENS, Beta-binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
RKAY0YA41J RKAY0YA41J
| URI | m2://inv/RKAY0YA41J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02158#YFCP (statement). In PCV12VAD47/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Probability integral transform RKB0296CKT
| URI | m2://inv/RKB0296CKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FVGG, Probability integral transform (definition)
History
- 2026-11-02: add by m2/dev
Minimal vertex cover RKB0W4XDQJ
| URI | m2://inv/RKB0W4XDQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal independent set#47QV, Minimal vertex cover (unknown)
History
- 2026-11-02: add by m2/dev
Bass–Quillen conjecture RKB5N7TEZD
| URI | m2://inv/RKB5N7TEZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass–Quillen conjecture, Bass–Quillen conjecture (statement). Also Wikidata Q28455751
History
- 2026-11-02: add by m2/dev
RKB61P20RK RKB61P20RK
| URI | m2://inv/RKB61P20RK |
|---|---|
| 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.10474#FMKK (statement). In MB29RAAQMG/e1, lemma 6.11
History
- 2026-10-29: add by m2/v0.4.10
RKBG6ZW0N7 RKBG6ZW0N7
| URI | m2://inv/RKBG6ZW0N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#OXA1 (statement). In SD28S3K7BT/e1, corollary 53
History
- 2026-10-29: add by m2/v0.4.12
RKBGRNZYYP RKBGRNZYYP
| URI | m2://inv/RKBGRNZYYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#I65S (statement). In 317GZJ38HS/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.12
RKBM2EJQ12 RKBM2EJQ12
| URI | m2://inv/RKBM2EJQ12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.20798#B1QU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Apéry's constant RKBRXB4E1G
| URI | m2://inv/RKBRXB4E1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#BN3N, Apéry's constant (definition)
History
- 2026-11-02: add by m2/dev
RKC322HZB3 RKC322HZB3
| URI | m2://inv/RKC322HZB3 |
|---|---|
| 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.13241#E0VH (statement). In DWQWQ5KTEE/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
Sine and cosine RKC9635JWQ
| URI | m2://inv/RKC9635JWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sine and cosine, Sine and cosine (definition). Also Wikidata Q13647261
History
- 2026-11-02: add by m2/dev
Discrete random variable RKC9K25C6G
| URI | m2://inv/RKC9K25C6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#XDBA, Discrete random variable (definition)
History
- 2026-11-02: add by m2/dev
Trophic coherence RKCAKMRE1Y
| URI | m2://inv/RKCAKMRE1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trophic coherence, Trophic coherence (definition). Also Wikidata Q48773799
History
- 2026-11-02: add by m2/dev
RKCH6BDAB2 RKCH6BDAB2
| URI | m2://inv/RKCH6BDAB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32816#X2OW (statement). In 10YV2P9E8W/e1, fact 2.3
History
- 2026-10-31: add by m2/v0.5.6
Tha Song Yang RKCMG0GFRE
| URI | m2://inv/RKCMG0GFRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#USG6, Tha Song Yang (unknown)
History
- 2026-11-02: add by m2/dev
RKCQ711QDB RKCQ711QDB
| URI | m2://inv/RKCQ711QDB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40189#STZG (definition). In K2MDWD9V46/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Frobenius manifold RKCTBA3XRP
| URI | m2://inv/RKCTBA3XRP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5505101, Frobenius manifold (concept). Also nLab Frobenius manifold
- wikipedia: Wikipedia Frobenius manifold, Frobenius manifold (definition). Also Wikidata Q5505101
History
- 2026-10-26: add by m2/dev
RKCVH8XXXB RKCVH8XXXB
| URI | m2://inv/RKCVH8XXXB |
|---|---|
| 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 2308.05715#50FJ (definition). In FC0SB9JFWH/e1, definition 6.7
History
- 2026-10-27: add by m2/v0.3.5
RKCXXD0P8S RKCXXD0P8S
| URI | m2://inv/RKCXXD0P8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33531#TQ8V (statement). In HNMJEAR2ER/e1, theorem 3.8
History
- 2026-10-30: add by m2/v0.4.12
RKCYP4K19V RKCYP4K19V
| URI | m2://inv/RKCYP4K19V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#4BTP (statement). In HX63A1PH1W/e1, lemma 6.30
History
- 2026-10-28: add by m2/v0.4.3
RKD35KSSA2 RKD35KSSA2
| URI | m2://inv/RKD35KSSA2 |
|---|---|
| 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.20421#9M75 (statement). In Q4R7J8JE3F/e1, lemma 2.26
History
- 2026-10-27: add by m2/v0.4.2
A local bound on the mixture gain RKD4F3J1ME
| URI | m2://inv/RKD4F3J1ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07721#J1EN, A local bound on the mixture gain (statement). In QMJDN66F5N/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.10
The Birch and Swinnerton-Dyer conjecture RKD5YCQF1M
| URI | m2://inv/RKD5YCQF1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve#XSP0, The Birch and Swinnerton-Dyer conjecture (statement)
History
- 2026-11-02: add by m2/dev
RKD8AB3Y2K RKD8AB3Y2K
| URI | m2://inv/RKD8AB3Y2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#PDB1 (statement). In BSWNH3NW1M/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.0
theorem, Diaconescu's RKDABRCWQ7
| URI | m2://inv/RKDABRCWQ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.5/theorem-diaconescu-s, theorem, Diaconescu's (concept). In N54F33XE07, index, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
Paul McCracken RKDBZ5V8MB
| URI | m2://inv/RKDBZ5V8MB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KAIU, Paul McCracken (unknown)
History
- 2026-11-02: add by m2/dev
RKDGBET3T1 RKDGBET3T1
| URI | m2://inv/RKDGBET3T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#F8D0 (statement). In TC5QA4AB4Z/e1, proposition 4.11
History
- 2026-10-30: add by m2/v0.4.12
RKDGX2AEP6 RKDGX2AEP6
| URI | m2://inv/RKDGX2AEP6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#J188 (example). In 1FJKW4WGEN/e1, example 2.11
History
- 2026-10-29: add by m2/v0.4.10
Example RKDHV1F578
| URI | m2://inv/RKDHV1F578 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci search technique#Y8LI, Example (example)
History
- 2026-11-02: add by m2/dev
Maxwell's theorem RKDJTZJDTN
| URI | m2://inv/RKDJTZJDTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6796056, Maxwell's theorem (statement). Also Wikidata Q6796056
- thousand_plus: thousand_plus Q6796056, Maxwell's theorem (statement). Also Wikidata Q6796056, Wikipedia Maxwell's theorem
- wikipedia: Wikipedia Maxwell's theorem, Maxwell's theorem (statement). Also Wikidata Q6796056
History
- 2026-10-26: add by m2/dev
Weyl algebra RKDV73GDZ9
| URI | m2://inv/RKDV73GDZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#WD2Z, Weyl algebra (definition)
- wikipedia: Wikipedia List of things named after Hermann Weyl#BRYV, Weyl algebra (definition)
History
- 2026-11-02: add by m2/dev
Polylogarithmic $K$ under sub-Gaussian noise RKDX79FF8H
| URI | m2://inv/RKDX79FF8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13773#A6JZ, Polylogarithmic $K$ under sub-Gaussian noise (statement). In E75XQY0QFM/e1, corollary D.4
History
- 2026-10-28: add by m2/v0.4.2
Imaginary part RKDX7YSAYZ
| URI | m2://inv/RKDX7YSAYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#KCPJ, Imaginary part (definition)
History
- 2026-11-02: add by m2/dev
RKE1H37WEK RKE1H37WEK
| URI | m2://inv/RKE1H37WEK |
|---|---|
| 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.07164#RBTE (definition). In Q1XJ5VWE1N/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Degree diameter problem RKE542BVRF
| URI | m2://inv/RKE542BVRF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#7SSM, Degree diameter problem (problem)
History
- 2026-11-02: add by m2/dev
Fundamental lemma of interpolation theory RKE9TR9Q6N
| URI | m2://inv/RKE9TR9Q6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental lemma of interpolation theory, Fundamental lemma of interpolation theory (statement). Also Wikidata Q132775387
History
- 2026-11-02: add by m2/dev
Hopf smash product RKEC12DTC4
| URI | m2://inv/RKEC12DTC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group Hopf algebra#2WDV, Hopf smash product (unknown)
History
- 2026-11-02: add by m2/dev
A nilpotent core with strong links RKECZYDTE7
| URI | m2://inv/RKECZYDTE7 |
|---|---|
| Kind | example |
| 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.05498#PM69, A nilpotent core with strong links (example). In TJT32RQ9GC/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.10
Reverse divisible number RKED57142R
| URI | m2://inv/RKED57142R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse divisible number, Reverse divisible number (definition). Also Wikidata Q28456658
History
- 2026-11-02: add by m2/dev
Isaac Samuel Reggio RKEK7T1KZH
| URI | m2://inv/RKEK7T1KZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#B9XF, Isaac Samuel Reggio (unknown)
History
- 2026-11-02: add by m2/dev
The recurrence of a frieze row RKEKFS5XWP
| URI | m2://inv/RKEKFS5XWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#5W61, The recurrence of a frieze row (statement). In 11JNM66Z09/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
The root system is rigid RKEKHD65SS
| URI | m2://inv/RKEKHD65SS |
|---|---|
| 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.25120#P4W6, The root system is rigid (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example RKEWVF1WGZ
| URI | m2://inv/RKEWVF1WGZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-time pad#1S30, Example (example)
History
- 2026-11-02: add by m2/dev
RKEXVVZ9RR RKEXVVZ9RR
| URI | m2://inv/RKEXVVZ9RR |
|---|---|
| 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.19988#NVL2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Holmström's theorem RKEYPH8CVH
| URI | m2://inv/RKEYPH8CVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trilemma#83KQ, Holmström's theorem (statement)
History
- 2026-11-02: add by m2/dev
Ordered geometry RKEZG8YZPF
| URI | m2://inv/RKEZG8YZPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#X675, Ordered geometry (definition)
History
- 2026-11-02: add by m2/dev
mathematics, formalized RKFBD1R3Z5
| URI | m2://inv/RKFBD1R3Z5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Simultaneous preliminary accuracy RKFCZS8SKA
| URI | m2://inv/RKFCZS8SKA |
|---|---|
| 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.36594#GWZF, Simultaneous preliminary accuracy (statement). In 8JDQ9FWFRK/e1, lemma B.2
History
- 2026-10-30: add by m2/v0.4.12
RKFHJK8SGB RKFHJK8SGB
| URI | m2://inv/RKFHJK8SGB |
|---|---|
| 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 2512.22986#1F4S (definition). In GFP8TEKFBC/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
ccc RKFMHEAHHH
| URI | m2://inv/RKFMHEAHHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#OQLL, ccc (definition)
History
- 2026-11-02: add by m2/dev
Jim Pitman RKFQHD0954
| URI | m2://inv/RKFQHD0954 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#OABW, Jim Pitman (topic)
History
- 2026-11-02: add by m2/dev
RKFY7GCX53 RKFY7GCX53
| URI | m2://inv/RKFY7GCX53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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 2401.07983#70VG (statement). In 4WJ9HYVSZY/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.6
Split RKFZ6FDAKS
| URI | m2://inv/RKFZ6FDAKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split (graph theory), Split (definition). Also Wikidata Q25352092
History
- 2026-11-02: add by m2/dev
Pochhammer symbol RKG81TF82D
| URI | m2://inv/RKG81TF82D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#SLZE, Pochhammer symbol (definition)
History
- 2026-11-02: add by m2/dev
great pentakis dodecahedron RKGAWH92GJ
| URI | m2://inv/RKGAWH92GJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600374, great pentakis dodecahedron (unknown). Also MathWorld GreatPentakisDodecahedron
- wikipedia: Wikipedia Great pentakis dodecahedron, Great pentakis dodecahedron (object). Also Wikidata Q5600374
History
- 2026-10-26: add by m2/dev
Properties RKGEP5CAYW
| URI | m2://inv/RKGEP5CAYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic character#MRYT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Product form RKGJR3ZEMZ
| URI | m2://inv/RKGJR3ZEMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#R99T, Product form (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stolarsky mean RKGNP44G1V
| URI | m2://inv/RKGNP44G1V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q954404, Stolarsky mean (concept). Also MathWorld StolarskyMean
- wikipedia: Wikipedia Stolarsky mean, Stolarsky mean (definition). Also Wikidata Q954404
History
- 2026-10-26: add by m2/dev
RKGRNC3M2E RKGRNC3M2E
| URI | m2://inv/RKGRNC3M2E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
RKH0BZK5S5 RKH0BZK5S5
| URI | m2://inv/RKH0BZK5S5 |
|---|---|
| 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.30203#BMBR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Disjoint union topology RKH2CN47T6
| URI | m2://inv/RKH2CN47T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#9N4D, Disjoint union topology (definition)
History
- 2026-11-02: add by m2/dev
RKH3V5K942 RKH3V5K942
| URI | m2://inv/RKH3V5K942 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#22TK (statement). In 67GE5M1GGD/e1, theorem #1
History
- 2026-10-30: add by m2/v0.4.12
Kazhdan–Margulis theorem RKH6R87432
| URI | m2://inv/RKH6R87432 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan–Margulis theorem, Kazhdan–Margulis theorem (statement). Also Wikidata Q28401823
History
- 2026-11-02: add by m2/dev
necessary and sufficient RKH7TT57BW
| URI | m2://inv/RKH7TT57BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#X3A7, necessary and sufficient (definition)
History
- 2026-11-02: add by m2/dev
Definition RKHBNHP98C
| URI | m2://inv/RKHBNHP98C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic group#S0LW, Definition (definition)
History
- 2026-11-02: add by m2/dev
RKHKGCMC7P RKHKGCMC7P
| URI | m2://inv/RKHKGCMC7P |
|---|---|
| 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.08288#U2HD (statement). In CHVWYJM7RM/e1, lemma B.7
History
- 2026-10-29: add by m2/v0.4.10
RKHMES5PTV RKHMES5PTV
| URI | m2://inv/RKHMES5PTV |
|---|---|
| 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 1805.04646#3J7T (definition). In WDDY7P9T66/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Modified rook's graph RKHSZ6KH2Z
| URI | m2://inv/RKHSZ6KH2Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#L890, Modified rook's graph (definition). In N7XJ16700B/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
RKJ3V37MT3 RKJ3V37MT3
| URI | m2://inv/RKJ3V37MT3 |
|---|---|
| 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 2511.12649#SQFV (statement). In RT27S2YZKJ/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.0
Definition and properties RKJDRF651Q
| URI | m2://inv/RKJDRF651Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bent function#4N7R, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Gödel's completeness theorem RKJEDX0MY1
| URI | m2://inv/RKJEDX0MY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0KUO, Gödel's completeness theorem (statement)
History
- 2026-11-02: add by m2/dev
A packed straight-line construction for $p_n$ RKJERFG0G7
| URI | m2://inv/RKJERFG0G7 |
|---|---|
| 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.13365#6W8P, A packed straight-line construction for $p_n$ (statement). In YMBTSX10FF/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Volker Puppe RKJHRB3QXJ
| URI | m2://inv/RKJHRB3QXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q95225248, Volker Puppe (unknown). Also nLab Volker Puppe
History
- 2026-10-26: add by m2/dev
RKJS1QJZ6N RKJS1QJZ6N
| URI | m2://inv/RKJS1QJZ6N |
|---|---|
| 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.20134#2OES (statement)
History
- 2026-11-02: add by m2/v0.6.18
conserved current RKJSDKX846
| URI | m2://inv/RKJSDKX846 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5163158, conserved current (unknown). Also nLab conserved current
- wikipedia: Wikipedia Conserved current, Conserved current (definition). Also Wikidata Q5163158
History
- 2026-10-26: add by m2/dev
RKJZ5J9PFP RKJZ5J9PFP
| URI | m2://inv/RKJZ5J9PFP |
|---|---|
| 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.29916#U0KF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complete spatial randomness RKK042Z3J4
| URI | m2://inv/RKK042Z3J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#14XD, Complete spatial randomness (definition)
History
- 2026-11-02: add by m2/dev
Paul Ginsparg RKK303PVTJ
| URI | m2://inv/RKK303PVTJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1931745, Paul Ginsparg (unknown). Also nLab Paul Ginsparg
History
- 2026-10-26: add by m2/dev
RKK66WXQR4 RKK66WXQR4
| URI | m2://inv/RKK66WXQR4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:loop-nontrivial (statement). In N54F33XE07, lem, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Maxime Bôcher RKKBXXQJSY
| URI | m2://inv/RKKBXXQJSY |
|---|---|
| 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#F0N8, Maxime Bôcher (topic)
History
- 2026-11-02: add by m2/dev
Regularization RKKE6ZX62Q
| URI | m2://inv/RKKE6ZX62Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularization (mathematics), Regularization (definition). Also Wikidata Q2061913
History
- 2026-11-02: add by m2/dev
Block-product energy bounds RKKJ4VFH9Z
| URI | m2://inv/RKKJ4VFH9Z |
|---|---|
| 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.02166#1Q6V, Block-product energy bounds (statement). In R6RF3P6D5A/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.12
RKKJBH4WND RKKJBH4WND
| URI | m2://inv/RKKJBH4WND |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#96B1 (definition). In 80S2NP05HJ/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.4.0
Georges Skandalis RKKNFGV1R9
| URI | m2://inv/RKKNFGV1R9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DFW8, Georges Skandalis (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm RKKSS6ATP8
| URI | m2://inv/RKKSS6ATP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer's GCD algorithm#P1Q0, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples RKKT5PCD2J
| URI | m2://inv/RKKT5PCD2J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic dynamics#CAPY, Examples (example)
History
- 2026-11-02: add by m2/dev
MESH RKKWT5AKKH
| URI | m2://inv/RKKWT5AKKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MESH (cipher), MESH (definition). Also Wikidata Q3272892
History
- 2026-11-02: add by m2/dev
dimension RKKXR8XHS0
| URI | m2://inv/RKKXR8XHS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#FVBQ, dimension (definition)
History
- 2026-11-02: add by m2/dev
Serge Belongie RKKY2QAT0E
| URI | m2://inv/RKKY2QAT0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6BCD, Serge Belongie (unknown)
History
- 2026-11-02: add by m2/dev
Change of measure, one step RKKZ5GAB2S
| URI | m2://inv/RKKZ5GAB2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#KGVU, Change of measure, one step (statement)
History
- 2026-11-01: add by m2/v0.6.15
RKM1SRMQEB RKM1SRMQEB
| URI | m2://inv/RKM1SRMQEB |
|---|---|
| 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.15262#ZFWS (statement). In C44HVXWYRF/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
RKMA7EPJEJ RKMA7EPJEJ
| URI | m2://inv/RKMA7EPJEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07190#4IM2 (statement). In ZWS6Q4467X/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
Albert, Atkinson, Bouvel, Ru{\v{s}}kuc and Vatter RKMB4WDC5M
| URI | m2://inv/RKMB4WDC5M |
|---|---|
| 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.22218#JM6T, Albert, Atkinson, Bouvel, Ru{\v{s}}kuc and Vatter (statement). In 338GKREFVP/e1, proposition 8
History
- 2026-10-27: add by m2/v0.4.0
RKMJSJMEG4 RKMJSJMEG4
| URI | m2://inv/RKMJSJMEG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#7B3R (statement). In AY2MA29921/e1, lemma 03
History
- 2026-10-27: add by m2/v0.3.5
Wassily Hoeffding RKMKDK93JS
| URI | m2://inv/RKMKDK93JS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#DL2A, Wassily Hoeffding (topic)
History
- 2026-11-02: add by m2/dev
Applications RKMQ3N11T9
| URI | m2://inv/RKMQ3N11T9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing coloring#2BKW, Applications (example)
History
- 2026-11-02: add by m2/dev
Propositiones ad acuendos juvenes RKMYRXJA4G
| URI | m2://inv/RKMYRXJA4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1741561, Propositiones ad acuendos juvenes (unknown). Also ProofWiki Book:Alcuin_of_York/Propositiones_ad_Acuendos_Juvenes
- wikipedia: Wikipedia Propositiones ad Acuendos Juvenes, Propositiones ad Acuendos Juvenes (definition). Also Wikidata Q1741561
History
- 2026-10-26: add by m2/dev
Hash-based cryptography RKN6FPKZXP
| URI | m2://inv/RKN6FPKZXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash-based cryptography, Hash-based cryptography (definition). Also Wikidata Q30681584
History
- 2026-11-02: add by m2/dev
RKN7H8KXNG RKN7H8KXNG
| URI | m2://inv/RKN7H8KXNG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#KDYS (example). In M0SQY5EZN5/e1, example 2.3.3
History
- 2026-10-27: add by m2/v0.3.5
Completed finite certificate RKN99GKXZ3
| URI | m2://inv/RKN99GKXZ3 |
|---|---|
| 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#QQLL, Completed finite certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
An Error Analysis of the NSFD schemes RKNB7CHSFJ
| URI | m2://inv/RKNB7CHSFJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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 2609.29567#FVIJ, An Error Analysis of the NSFD schemes (example)
History
- 2026-11-01: add by m2/v0.6.15
Definition RKNKQNVVJ3
| URI | m2://inv/RKNKQNVVJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evasive Boolean function#I8GB, Definition (definition)
History
- 2026-11-02: add by m2/dev
RKNWPKR4PK RKNWPKR4PK
| URI | m2://inv/RKNWPKR4PK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17626#RVPZ (definition). In 54ATJS74DT/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
RKNYPJNTQ0 RKNYPJNTQ0
| URI | m2://inv/RKNYPJNTQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39246#W6K8 (statement). In FVK0J9CFEF/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
RKP54XJX6Q RKP54XJX6Q
| URI | m2://inv/RKP54XJX6Q |
|---|---|
| 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.36412#2O29 (statement). In 6HKGGCMBCK/e1, theorem 9.4
History
- 2026-10-30: add by m2/v0.4.12
Generalized estimating equation RKP76HZMQ9
| URI | m2://inv/RKP76HZMQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WRUY, Generalized estimating equation (definition)
History
- 2026-11-02: add by m2/dev
Christos Papakyriakopoulos RKP81TXDH0
| URI | m2://inv/RKP81TXDH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#14GE, Christos Papakyriakopoulos (topic)
History
- 2026-11-02: add by m2/dev
RKPBM0S9NM RKPBM0S9NM
| URI | m2://inv/RKPBM0S9NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#JKFP (statement). In 9TR5E527P5/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
RKPCGXZK3D RKPCGXZK3D
| URI | m2://inv/RKPCGXZK3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example-3 (example). In E9HS8K3A52, example, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
$p^{1+2}_+\times C_p$ RKPDPF0GDW
| URI | m2://inv/RKPDPF0GDW |
|---|---|
| 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.06909#0TCJ, $p^{1+2}_+\times C_p$ (example). In F1EF8XE30A/e1, example 5.6
History
- 2026-10-29: add by m2/v0.4.10
Cambridge property RKPDVRJEGZ
| URI | m2://inv/RKPDVRJEGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Property (philosophy)#4Q6X, Cambridge property (unknown)
History
- 2026-11-02: add by m2/dev
Discrete energy-dissipation inequality RKPEDX0JMF
| URI | m2://inv/RKPEDX0JMF |
|---|---|
| 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.11034#VNOK, Discrete energy-dissipation inequality (statement). In 2KACPY9MMF/e1, corollary 4.15
History
- 2026-10-28: add by m2/v0.4.3
CryptMT RKPEY51X9E
| URI | m2://inv/RKPEY51X9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CryptMT, CryptMT (definition). Also Wikidata Q5190608
History
- 2026-11-02: add by m2/dev
Construction RKPPBEHXES
| URI | m2://inv/RKPPBEHXES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spieker circle#YP0R, Construction (definition)
History
- 2026-11-02: add by m2/dev
RKPQNZT45B RKPQNZT45B
| URI | m2://inv/RKPQNZT45B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop-3 (statement). In E59CDZA4DP, prop, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
Danica McKellar RKPRFPREKX
| URI | m2://inv/RKPRFPREKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q242949, Danica McKellar (unknown). Also ProofWiki Mathematician:Danica_Mae_McKellar
History
- 2026-10-26: add by m2/dev
RKPVFM7BWG RKPVFM7BWG
| URI | m2://inv/RKPVFM7BWG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:all-types-sets (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
sphenomegacorona RKPVGY1F5T
| URI | m2://inv/RKPVGY1F5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1865903, sphenomegacorona (object). Also MathWorld Sphenomegacorona
- wikipedia: Wikipedia Sphenomegacorona, Sphenomegacorona (definition). Also Wikidata Q1865903
History
- 2026-10-26: add by m2/dev
Properties RKQ0JREV2N
| URI | m2://inv/RKQ0JREV2N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Champernowne constant#TIHZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
RKQ2CE1A7B RKQ2CE1A7B
| URI | m2://inv/RKQ2CE1A7B |
|---|---|
| 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 2601.18223#8PGP (statement). In ZRXE7EJA93/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
RKQBD5Z4C8 RKQBD5Z4C8
| URI | m2://inv/RKQBD5Z4C8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#6Q9O (statement). In D0F1GK5AHW/e1, proposition B.7
History
- 2026-10-29: add by m2/v0.4.10
RKQKTD6Q3F RKQKTD6Q3F
| URI | m2://inv/RKQKTD6Q3F |
|---|---|
| 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 2207.11097#H9QR (definition). In 13H5BTAXHF/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
RKQS6EVFJF RKQS6EVFJF
| URI | m2://inv/RKQS6EVFJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#cor-1 (statement). In N54F33XE07, cor, section 7.1.6
History
- 2026-11-01: add by m2/v0.6.13
great complex icosidodecahedron RKR1WBN1ZV
| URI | m2://inv/RKR1WBN1ZV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600336, great complex icosidodecahedron (object). Also MathWorld GreatComplexIcosidodecahedron
- wikipedia: Wikipedia Great complex icosidodecahedron, Great complex icosidodecahedron (object). Also Wikidata Q5600336
History
- 2026-10-26: add by m2/dev
Gustave Choquet RKRE9F73K4
| URI | m2://inv/RKRE9F73K4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2YMJ, Gustave Choquet (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DQEV, Gustave Choquet (topic)
History
- 2026-11-02: add by m2/dev
Cartogram RKRN1QHQ6Q
| URI | m2://inv/RKRN1QHQ6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartogram, Cartogram (definition). Also Wikidata Q1152543
History
- 2026-11-02: add by m2/dev
RKS0MEVVC8 RKS0MEVVC8
| URI | m2://inv/RKS0MEVVC8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#RIX3 (definition). In 7WDA4MEWE2/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.6
Ordinary Gushel--Mukai threefold RKS6W0D9G6
| URI | m2://inv/RKS6W0D9G6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#78D1, Ordinary Gushel--Mukai threefold (example). In YXD3950ZXR/e1, example 5.3
History
- 2026-10-29: add by m2/v0.4.10
Examples RKS9KBAC9W
| URI | m2://inv/RKS9KBAC9W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypertranscendental function#5CM0, Examples (example)
History
- 2026-11-02: add by m2/dev
Gavin C. Wraith RKSDE3BXH7
| URI | m2://inv/RKSDE3BXH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9S66, Gavin C. Wraith (unknown)
History
- 2026-11-02: add by m2/dev
Multiresolution analysis RKSG2H2TNV
| URI | m2://inv/RKSG2H2TNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiresolution analysis, Multiresolution analysis (definition). Also Wikidata Q1952516
History
- 2026-11-02: add by m2/dev
Left invariant measure RKSTCXCZQM
| URI | m2://inv/RKSTCXCZQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar measure#WCFZ, Left invariant measure (unknown)
History
- 2026-11-02: add by m2/dev
Maurer–Cartan form RKSV3P4WDM
| URI | m2://inv/RKSV3P4WDM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Maurer–Cartan form P1JVA39H5E |
Mentions
- wikidata: Wikidata Q552787, Maurer–Cartan form (concept). Also nLab Maurer-Cartan form
- wikipedia: Wikipedia Maurer–Cartan form, Maurer–Cartan form (definition). Also Wikidata Q552787
History
- 2026-10-26: add by m2/dev
RKSWDYDZ9A RKSWDYDZ9A
| URI | m2://inv/RKSWDYDZ9A |
|---|---|
| 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 2102.12931#UHUQ (statement). In PQHTR84RAJ/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
Niels Keiding RKSX3YTNF0
| URI | m2://inv/RKSX3YTNF0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niels Keiding, Niels Keiding (topic). Also Wikidata Q62560029
History
- 2026-11-02: add by m2/dev
Sharp directed signals on the Max and Spectral faces RKT31ZGM0E
| URI | m2://inv/RKT31ZGM0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#TPSE, Sharp directed signals on the Max and Spectral faces (statement). In TTEAQA1XXR/e1, proposition C.25
History
- 2026-10-28: add by m2/v0.4.3
RKT65GMP24 RKT65GMP24
| URI | m2://inv/RKT65GMP24 |
|---|---|
| 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.23685#MOFK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Integer RKT66N324G
| URI | m2://inv/RKT66N324G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Laplace transforms#DIUJ, Integer (definition)
History
- 2026-11-02: add by m2/dev
Birch and Swinnerton-Dyer conjecture RKT93V9EE1
| URI | m2://inv/RKT93V9EE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heegner point#NH51, Birch and Swinnerton-Dyer conjecture (statement)
History
- 2026-11-02: add by m2/dev
treatments RKTXAFK2PH
| URI | m2://inv/RKTXAFK2PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#NFRP, treatments (definition)
History
- 2026-11-02: add by m2/dev
RKV7V4JEZH RKV7V4JEZH
| URI | m2://inv/RKV7V4JEZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.30067#TBW1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RKV911GMSH RKV911GMSH
| URI | m2://inv/RKV911GMSH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#E0UN (example). In 1KSE33PVS6/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Segal, category RKVEDZNQMK
| URI | m2://inv/RKVEDZNQMK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/segal-category, Segal, category (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
RKVQB2TMK6 RKVQB2TMK6
| URI | m2://inv/RKVQB2TMK6 |
|---|---|
| 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.38865#HLYS (statement). In TFZNHCE6EV/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
RKVSR6BV12 RKVSR6BV12
| URI | m2://inv/RKVSR6BV12 |
|---|---|
| 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.23526#EM57 (definition)
History
- 2026-11-02: add by m2/v0.6.17
RKW1BMJGCB RKW1BMJGCB
| URI | m2://inv/RKW1BMJGCB |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#XSWZ (unknown). In 4YJH4FPWDA/e1, unknown 1.5
History
- 2026-10-30: add by m2/v0.4.12
RKWBXG6EYP RKWBXG6EYP
| URI | m2://inv/RKWBXG6EYP |
|---|---|
| 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 2303.14022#0YRV (statement). In NSYR6W27FP/e1, theorem 6.7
History
- 2026-10-27: add by m2/v0.3.5
provability logic RKWBZPZK1F
| URI | m2://inv/RKWBZPZK1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03F45 |
| Sources | 2 |
| Outcome | open |
| Node | Provability logic WJK0YA4GP2 |
Mentions
- wikidata: Wikidata Q260168, provability logic (topic)
- wikipedia: Wikipedia Provability logic, Provability logic (definition). Also Wikidata Q260168
History
- 2026-10-26: add by m2/dev
Bartolomeo Sovero RKWCKP3DJ2
| URI | m2://inv/RKWCKP3DJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bartolomeo Sovero, Bartolomeo Sovero (topic). Also Wikidata Q18945080
History
- 2026-11-02: add by m2/dev
Soundness RKWJM3BQFT
| URI | m2://inv/RKWJM3BQFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#thm:tableau-soundness, Soundness (statement). In PKGMM3P5QY, thm, section 22.15
History
- 2026-11-01: add by m2/v0.6.13
Perfect special HVZK RKWMM8ATXN
| URI | m2://inv/RKWMM8ATXN |
|---|---|
| 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.26258#8PBX, Perfect special HVZK (statement)
History
- 2026-11-01: add by m2/v0.6.15
RKWNAP0AT5 RKWNAP0AT5
| URI | m2://inv/RKWNAP0AT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#6QR5 (statement). In CB35ZBBBPT/e1, lemma 4.9
History
- 2026-10-31: add by m2/v0.5.6
RKX1R03H7A RKX1R03H7A
| URI | m2://inv/RKX1R03H7A |
|---|---|
| Kind | definition |
| 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.22317#2VWL (definition). In 2W5Z97BBW4/e1, definition 2.17
History
- 2026-10-27: add by m2/v0.4.0
George Scovell RKX2KM4Z3Q
| URI | m2://inv/RKX2KM4Z3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Scovell, George Scovell (topic). Also Wikidata Q5544382
History
- 2026-11-02: add by m2/dev
Lie algebra representation RKX8YS8NNK
| URI | m2://inv/RKX8YS8NNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#P854, Lie algebra representation (definition)
History
- 2026-11-02: add by m2/dev
RKXAWDJ85T RKXAWDJ85T
| URI | m2://inv/RKXAWDJ85T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19528#LSHQ (statement). In EM5955MDHN/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
RKXD1X1B8R RKXD1X1B8R
| URI | m2://inv/RKXD1X1B8R |
|---|---|
| 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 2103.11107#YN6B (statement). In CC0NDYRS8N/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Martin Hairer RKXFBWHFDM
| URI | m2://inv/RKXFBWHFDM |
|---|---|
| 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#7UWC, Martin Hairer (topic)
History
- 2026-11-02: add by m2/dev
Howard Berman RKXFZKY23V
| URI | m2://inv/RKXFZKY23V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#QW08, Howard Berman (unknown)
History
- 2026-11-02: add by m2/dev
RKXGP1NATS RKXGP1NATS
| URI | m2://inv/RKXGP1NATS |
|---|---|
| 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.10205#DBYF (statement). In PQGS7NDMDQ/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
W-curve RKXH5AVT0B
| URI | m2://inv/RKXH5AVT0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#J1PK, W-curve (definition)
History
- 2026-11-02: add by m2/dev
Kellogg's theorem RKXJTZNNW2
| URI | m2://inv/RKXJTZNNW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kellogg's theorem, Kellogg's theorem (statement). Also Wikidata Q6385835
History
- 2026-11-02: add by m2/dev
symplectomorphism RKXKASD9D4
| URI | m2://inv/RKXKASD9D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#7273, symplectomorphism (definition)
History
- 2026-11-02: add by m2/dev
Theorem RKXQRZ9W44
| URI | m2://inv/RKXQRZ9W44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#3L9I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Burr–Erdős conjecture RKXRY303PS
| URI | m2://inv/RKXRY303PS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#FV5Z, Burr–Erdős conjecture (statement)
History
- 2026-11-02: add by m2/dev
RKXVSED1SQ RKXVSED1SQ
| URI | m2://inv/RKXVSED1SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#3JSO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Euler-sequence all-metric exclusion RKXXC3RV9B
| URI | m2://inv/RKXXC3RV9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#T0PY, Euler-sequence all-metric exclusion (statement). In KFEASG3ZHS/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
RKY51HWS93 RKY51HWS93
| URI | m2://inv/RKY51HWS93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#mv:lindefonbasis (statement). In E59CDZA4DP, prop, section 11.1.3
History
- 2026-11-01: add by m2/v0.6.13
tree RKY8AN6AZS
| URI | m2://inv/RKY8AN6AZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Trees > tree, tree (unknown). Also Mathlib BinaryTree
History
- 2026-10-26: add by m2/dev
RKYH1AYVFC RKYH1AYVFC
| URI | m2://inv/RKYH1AYVFC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 81.5
History
- 2026-11-01: add by m2/v0.6.13
Generalizations RKYJA4VPBJ
| URI | m2://inv/RKYJA4VPBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler line#171U, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Isomorphism problem of Coxeter groups RKYPD3XXR3
| URI | m2://inv/RKYPD3XXR3 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#88N2, Isomorphism problem of Coxeter groups (conjecture)
History
- 2026-11-02: add by m2/dev
RKYVPYCSAM RKYVPYCSAM
| URI | m2://inv/RKYVPYCSAM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-1.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Definition RKYZG8W8XV
| URI | m2://inv/RKYZG8W8XV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse–Smale system#UBVN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tamagawa numbers RKYZRNXSMX
| URI | m2://inv/RKYZRNXSMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#WG4Y, Tamagawa numbers (definition)
History
- 2026-11-02: add by m2/dev
Involving the binomial theorem RKZ14JDRM7
| URI | m2://inv/RKZ14JDRM7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summation#9V7W, Involving the binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
RKZ2XV3PSP RKZ2XV3PSP
| URI | m2://inv/RKZ2XV3PSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#H1DT (statement). In GB0V23Q6C5/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
truncated tetrahedral graph RKZ6YS2AVW
| URI | m2://inv/RKZ6YS2AVW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115622, truncated tetrahedral graph (unknown). Also House of Graphs 1395, MathWorld TruncatedTetrahedralGraph
History
- 2026-10-26: add by m2/dev
Douglas Hofstadter RKZDXRCQWN
| URI | m2://inv/RKZDXRCQWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas Hofstadter, Douglas Hofstadter (topic). Also Wikidata Q319308
History
- 2026-11-02: add by m2/dev
RKZF59CSH7 RKZF59CSH7
| URI | m2://inv/RKZF59CSH7 |
|---|---|
| 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.20190#KDE7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Proclus RKZMGZZFC3
| URI | m2://inv/RKZMGZZFC3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#1CW0, Proclus (unknown)
History
- 2026-11-02: add by m2/dev
Mean--covariance independence and Wishart reduction RKZQX0205X
| URI | m2://inv/RKZQX0205X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-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.23927#QAHD, Mean--covariance independence and Wishart reduction (statement)
History
- 2026-11-02: add by m2/v0.6.17
Demazure conjecture RKZR87NNQZ
| URI | m2://inv/RKZR87NNQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demazure conjecture, Demazure conjecture (statement). Also Wikidata Q5255107
History
- 2026-11-02: add by m2/dev
Definition RKZV3Q4SBE
| URI | m2://inv/RKZV3Q4SBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ziegler spectrum#AGRZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
RKZXNGEH7A RKZXNGEH7A
| URI | m2://inv/RKZXNGEH7A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13