Inventory rows CC
The cards of the rows of the inventory whose ids start with CC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Formal definition CC06N00NZQ
| URI | m2://inv/CC06N00NZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual time#SJ7D, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
R CC0CNSY9CE
| URI | m2://inv/CC0CNSY9CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R (complexity), R (definition). Also Wikidata Q1063293
History
- 2026-11-02: add by m2/dev
CC0QW4M50T CC0QW4M50T
| URI | m2://inv/CC0QW4M50T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12479#NSWI (statement). In WE001PR75Z/e1, corollary 23
History
- 2026-10-28: add by m2/v0.4.2
Art gallery theorem CC0T4PFH1K
| URI | m2://inv/CC0T4PFH1K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WXQF, Art gallery theorem (problem)
History
- 2026-11-02: add by m2/dev
CC0TEWA6DP CC0TEWA6DP
| URI | m2://inv/CC0TEWA6DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.00676#4RKH (statement). In 5351H04TJY/e1, proposition 4.16
History
- 2026-10-27: add by m2/v0.4.0
$f$-divergences CC15Q72RF5
| URI | m2://inv/CC15Q72RF5 |
|---|---|
| Kind | definition |
| 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.31607#9PAV, $f$-divergences (definition). In H9X9WZ17TT/e1, definition 9
History
- 2026-10-31: add by m2/v0.5.6
CC1Q8102RZ CC1Q8102RZ
| URI | m2://inv/CC1Q8102RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#VYQD (statement). In BDN507RN7J/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Risk inclination formula CC1WC1H4ZZ
| URI | m2://inv/CC1WC1H4ZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk inclination formula, Risk inclination formula (statement). Also Wikidata Q7336239
History
- 2026-11-02: add by m2/dev
Flip distance CC21AGR2NN
| URI | m2://inv/CC21AGR2NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flip distance, Flip distance (definition). Also Wikidata Q123509733
History
- 2026-11-02: add by m2/dev
□T CC2488VJS0
| URI | m2://inv/CC2488VJS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#LS4Y, □T (definition)
History
- 2026-11-02: add by m2/dev
Cotangent sheaf CC25K98TV2
| URI | m2://inv/CC25K98TV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent sheaf, Cotangent sheaf (definition). Also Wikidata Q19596510
History
- 2026-11-02: add by m2/dev
Examples CC26J63MWM
| URI | m2://inv/CC26J63MWM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic group#H0U8, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Radha Kessar CC2A31PHVJ
| URI | m2://inv/CC2A31PHVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radha Kessar, Radha Kessar (topic). Also Wikidata Q32292870
History
- 2026-11-02: add by m2/dev
CC2EWPGF35 CC2EWPGF35
| URI | m2://inv/CC2EWPGF35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#SZBR (statement). In BDN507RN7J/e1, proposition 5.2.4
History
- 2026-10-30: add by m2/v0.4.12
Clohessy–Wiltshire equations CC2FSK8ZZN
| URI | m2://inv/CC2FSK8ZZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clohessy–Wiltshire equations, Clohessy–Wiltshire equations (definition). Also Wikidata Q16910572
History
- 2026-11-02: add by m2/dev
CC2JW79T5G CC2JW79T5G
| URI | m2://inv/CC2JW79T5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#646H (statement). In 2S89BG5WPH/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
CC2Z5K4JG1 CC2Z5K4JG1
| URI | m2://inv/CC2Z5K4JG1 |
|---|---|
| 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.15525#N7B6 (statement). In EFDRME13PT/e1, theorem 10.2
History
- 2026-10-28: add by m2/v0.4.2
CC3074VGT8 CC3074VGT8
| URI | m2://inv/CC3074VGT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#C16K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Toshiyuki Kobayashi CC32HNZF8Y
| URI | m2://inv/CC32HNZF8Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#DQEP, Toshiyuki Kobayashi (topic)
History
- 2026-11-02: add by m2/dev
Virial radii CC36AS0MHC
| URI | m2://inv/CC36AS0MHC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virial theorem#NZ2C, Virial radii (unknown)
History
- 2026-11-02: add by m2/dev
Product copula and the critical logarithm CC39M56V88
| URI | m2://inv/CC39M56V88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#D1GV, Product copula and the critical logarithm (statement)
History
- 2026-11-01: add by m2/v0.6.15
CC3C02M2V6 CC3C02M2V6
| URI | m2://inv/CC3C02M2V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22708#N2YX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Uniformly convex localization CC3DD78682
| URI | m2://inv/CC3DD78682 |
|---|---|
| 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.20687#KR02, Uniformly convex localization (statement)
History
- 2026-11-02: add by m2/v0.6.18
CC3EKYC811 CC3EKYC811
| URI | m2://inv/CC3EKYC811 |
|---|---|
| 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.01924#8FJN (statement). In CB89152EQW/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Raised cosine distribution CC3FGNF6GC
| URI | m2://inv/CC3FGNF6GC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6VZI, Raised cosine distribution (definition)
History
- 2026-11-02: add by m2/dev
Landen's transformation CC3H9586MF
| URI | m2://inv/CC3H9586MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Landen's transformation A0V7ZAEQBW |
Mentions
- wikidata: Wikidata Q11347570, Landen's transformation (unknown). Also MathWorld LandensTransformation
- wikipedia: Wikipedia Landen's transformation, Landen's transformation (definition). Also Wikidata Q11347570
History
- 2026-10-26: add by m2/dev
Thomas J. McKay CC3KQTH1ET
| URI | m2://inv/CC3KQTH1ET |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas J. McKay, Thomas J. McKay (topic). Also Wikidata Q7791108
History
- 2026-11-02: add by m2/dev
Claudio Baiocchi CC3PC76837
| URI | m2://inv/CC3PC76837 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claudio Baiocchi, Claudio Baiocchi (topic). Also Wikidata Q19958893
History
- 2026-11-02: add by m2/dev
Subcritical comparison principle CC3QJZGASX
| URI | m2://inv/CC3QJZGASX |
|---|---|
| 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.12165#J35N, Subcritical comparison principle (statement). In 3JSE8A9CFH/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Examples CC3WDGFCMX
| URI | m2://inv/CC3WDGFCMX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance-transitive graph#NFQQ, Examples (example)
History
- 2026-11-02: add by m2/dev
CC3XJ19V4Y CC3XJ19V4Y
| URI | m2://inv/CC3XJ19V4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#6X40 (statement). In 3TJ2FWXQ0D/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.12
Picard–Lindelöf theorem CC47E09WCB
| URI | m2://inv/CC47E09WCB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#W0F1, Picard–Lindelöf theorem (statement)
History
- 2026-11-02: add by m2/dev
William K. Allard CC484N3D4M
| URI | m2://inv/CC484N3D4M |
|---|---|
| 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#LM5T, William K. Allard (unknown)
History
- 2026-11-02: add by m2/dev
Jonathan Gold CC4J4WYB0P
| URI | m2://inv/CC4J4WYB0P |
|---|---|
| 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#TX8D, Jonathan Gold (unknown)
History
- 2026-11-02: add by m2/dev
Pentagonal number theorem CC4MX5Q536
| URI | m2://inv/CC4MX5Q536 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#59YD, Pentagonal number theorem (statement)
History
- 2026-11-02: add by m2/dev
Rabatment of the rectangle CC4QCK6VYE
| URI | m2://inv/CC4QCK6VYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabatment of the rectangle, Rabatment of the rectangle (definition). Also Wikidata Q7278506
History
- 2026-11-02: add by m2/dev
CC4Z6FSFT3 CC4Z6FSFT3
| URI | m2://inv/CC4Z6FSFT3 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29699#WEMU (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
CC4ZBFJ5MX CC4ZBFJ5MX
| URI | m2://inv/CC4ZBFJ5MX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#Y6RT (example). In 3KTZ6Z615H/e1, example 8.5
History
- 2026-10-30: add by m2/v0.4.12
Lemke's algorithm CC52FF88K4
| URI | m2://inv/CC52FF88K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemke's algorithm, Lemke's algorithm (definition). Also Wikidata Q6521168
History
- 2026-11-02: add by m2/dev
Liouville number CC5CKGA93C
| URI | m2://inv/CC5CKGA93C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#KEHV, Liouville number (definition)
History
- 2026-11-02: add by m2/dev
Berlekamp–Rabin algorithm CC5E0TKSNZ
| URI | m2://inv/CC5E0TKSNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlekamp–Rabin algorithm, Berlekamp–Rabin algorithm (definition). Also Wikidata Q4291818
History
- 2026-11-02: add by m2/dev
Bruno von Freytag-Löringhoff CC5GX8BK94
| URI | m2://inv/CC5GX8BK94 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruno von Freytag-Löringhoff, Bruno von Freytag-Löringhoff (topic). Also Wikidata Q993993
History
- 2026-11-02: add by m2/dev
Hereditary ring CC5PF66Q0N
| URI | m2://inv/CC5PF66Q0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#3AT0, Hereditary ring (definition)
History
- 2026-11-02: add by m2/dev
Z-factor CC61KDX4C4
| URI | m2://inv/CC61KDX4C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-factor, Z-factor (definition). Also Wikidata Q135763
History
- 2026-11-02: add by m2/dev
Notation CC64ADH6G1
| URI | m2://inv/CC64ADH6G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal quantification#5ACQ, Notation (definition)
History
- 2026-11-02: add by m2/dev
Examples CC64MWZJB0
| URI | m2://inv/CC64MWZJB0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit reciprocity law#JTVM, Examples (example)
History
- 2026-11-02: add by m2/dev
CC6BHM8P08 CC6BHM8P08
| URI | m2://inv/CC6BHM8P08 |
|---|---|
| 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#J6N4 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Desargues' theorem and Desarguesian planes CC6DVDE32W
| URI | m2://inv/CC6DVDE32W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective plane#ZVU7, Desargues' theorem and Desarguesian planes (statement)
History
- 2026-11-02: add by m2/dev
CC6HX5C4SG CC6HX5C4SG
| URI | m2://inv/CC6HX5C4SG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-189 (exercise). In VNMV985MXX, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Biangular coordinates CC6T78K1HN
| URI | m2://inv/CC6T78K1HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biangular coordinates, Biangular coordinates (definition). Also Wikidata Q1014373
History
- 2026-11-02: add by m2/dev
CC6W202A02 CC6W202A02
| URI | m2://inv/CC6W202A02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11082#UZV4 (statement). In GFPFFN0BXV/e1, lemma 23
History
- 2026-10-28: add by m2/v0.4.3
Window facts CC6XQW4HHC
| URI | m2://inv/CC6XQW4HHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#D4YG, Window facts (statement). In NKXTXH59P1/e1, lemma E.22
History
- 2026-10-29: add by m2/v0.4.10
Donald Samuel Ornstein CC6YWHYBMQ
| URI | m2://inv/CC6YWHYBMQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Samuel Ornstein, Donald Samuel Ornstein (topic). Also Wikidata Q441210
History
- 2026-11-02: add by m2/dev
Frankel conjecture CC73HB47XK
| URI | m2://inv/CC73HB47XK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frankel conjecture, Frankel conjecture (statement). Also Wikidata Q104862566
History
- 2026-11-02: add by m2/dev
CC78NNRTYY CC78NNRTYY
| URI | m2://inv/CC78NNRTYY |
|---|---|
| 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 2111.01197#5O7A (statement). In Z36XFKVTS0/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.3.5
CC7942F9MB CC7942F9MB
| URI | m2://inv/CC7942F9MB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08357#29VS (definition). In R9GRCAWHG0/e1, definition 5.6
History
- 2026-10-29: add by m2/v0.4.10
Global Gan–Gross–Prasad conjecture CC814ZGVVH
| URI | m2://inv/CC814ZGVVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gan–Gross–Prasad conjecture#9B9S, Global Gan–Gross–Prasad conjecture (statement)
History
- 2026-11-02: add by m2/dev
CC829VXA5E CC829VXA5E
| URI | m2://inv/CC829VXA5E |
|---|---|
| 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.25896#UHPU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Élie Cartan CC8BHS8481
| URI | m2://inv/CC8BHS8481 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9LZ5, Élie Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7OSP, Élie Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JVZC, Élie Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PTAX, Élie Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RQK5, Élie Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VGTW, Élie Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WUXX, Élie Cartan (topic)
History
- 2026-11-02: add by m2/dev
CC8C4QGBVY CC8C4QGBVY
| URI | m2://inv/CC8C4QGBVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#J2AX (statement). In VN084GGZGK/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.3
CC8DBF85Z6 CC8DBF85Z6
| URI | m2://inv/CC8DBF85Z6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#K4CJ (example). In CY1FE8W1ZW/e1, example 0.139
History
- 2026-10-27: add by m2/v0.4.0
circuit CC8W07B4CQ
| URI | m2://inv/CC8W07B4CQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17176291, circuit (unknown). Also MathWorld Circuit
History
- 2026-10-26: add by m2/dev
CC8WHKGXNH CC8WHKGXNH
| URI | m2://inv/CC8WHKGXNH |
|---|---|
| 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.06381#Y080 (statement). In X9JKBDHACW/e1, corollary 8.5
History
- 2026-10-29: add by m2/v0.4.10
Timeline of mathematics CC8YQ3EF49
| URI | m2://inv/CC8YQ3EF49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of mathematics, Timeline of mathematics (topic). Also Wikidata Q737279
History
- 2026-11-02: add by m2/dev
Statistical sample CC95T5PWX7
| URI | m2://inv/CC95T5PWX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5735, Statistical sample (definition)
History
- 2026-11-02: add by m2/dev
Results CC9VKSAT4S
| URI | m2://inv/CC9VKSAT4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical beauty#9UIY, Results (statement)
History
- 2026-11-02: add by m2/dev
CCA0C1JMHK CCA0C1JMHK
| URI | m2://inv/CCA0C1JMHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#ZXR6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coefficient of variation CCAETNDHVE
| URI | m2://inv/CCAETNDHVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q5L3, Coefficient of variation (definition)
History
- 2026-11-02: add by m2/dev
Theorem D (modules) CCAK2MYGAW
| URI | m2://inv/CCAK2MYGAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#C6V7, Theorem D (modules) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
CCASEQC13X CCASEQC13X
| URI | m2://inv/CCASEQC13X |
|---|---|
| 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.20119#RLJ4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dimension of an algebraic variety CCATS5VVE8
| URI | m2://inv/CCATS5VVE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension of an algebraic variety, Dimension of an algebraic variety (definition). Also Wikidata Q5277261
History
- 2026-11-02: add by m2/dev
CCB90J9089 CCB90J9089
| URI | m2://inv/CCB90J9089 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35307#A0C7 (conjecture). In FT5TKY10T8/e1, conjecture 1.3
History
- 2026-10-30: add by m2/v0.4.12
Uses CCB9H9DD18
| URI | m2://inv/CCB9H9DD18 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn sequence#20G0, Uses (example)
History
- 2026-11-02: add by m2/dev
CCBA3PJMEB CCBA3PJMEB
| URI | m2://inv/CCBA3PJMEB |
|---|---|
| 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#SOIA (statement). In BSWNH3NW1M/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
CCBC5JE1AD CCBC5JE1AD
| URI | m2://inv/CCBC5JE1AD |
|---|---|
| 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.03272#IV6C (statement). In H9ZC46G7BX/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
optimality conditions CCBEGGV2YH
| URI | m2://inv/CCBEGGV2YH |
|---|---|
| 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.14364#YSQ6, optimality conditions (statement). In GTA6B7SW2V/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
CCBQK2K2QE CCBQK2K2QE
| URI | m2://inv/CCBQK2K2QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#F2GV (statement)
History
- 2026-11-02: add by m2/v0.6.17
CCBV9TM3EQ CCBV9TM3EQ
| URI | m2://inv/CCBV9TM3EQ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#Q3IC (unknown). In QNBFHFZ3H0/e1, unknown 115
History
- 2026-10-28: add by m2/v0.4.2
Variants CCCET1EHP6
| URI | m2://inv/CCCET1EHP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation distance#IWDK, Variants (statement)
History
- 2026-11-02: add by m2/dev
Special cases CCCGHQ5PB4
| URI | m2://inv/CCCGHQ5PB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite half#X5Y4, Special cases (statement)
History
- 2026-11-02: add by m2/dev
CCCMBN1KQ1 CCCMBN1KQ1
| URI | m2://inv/CCCMBN1KQ1 |
|---|---|
| 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.13864#7207 (statement). In ZGZGGGCWD3/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Regular polygon CCCMVXQQ5C
| URI | m2://inv/CCCMVXQQ5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#B4I2, Regular polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#6CMZ, Regular polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#CF1F, Regular polygon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0YKC, Regular polygon (definition)
History
- 2026-11-02: add by m2/dev
Initial topology CCD6M92ZNW
| URI | m2://inv/CCD6M92ZNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#JOH6, Initial topology (definition)
History
- 2026-11-02: add by m2/dev
Examples and theorems CCDCAYR42B
| URI | m2://inv/CCDCAYR42B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale fundamental group#929R, Examples and theorems (example)
History
- 2026-11-02: add by m2/dev
CCDF8N5B3K CCDF8N5B3K
| URI | m2://inv/CCDF8N5B3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#XMD7 (statement). In 7QXAZXGNPQ/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
CCDKZ1EW2K CCDKZ1EW2K
| URI | m2://inv/CCDKZ1EW2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#RMXC (statement). In TSXBJB0EXK/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
CCDMNKCJ4Y CCDMNKCJ4Y
| URI | m2://inv/CCDMNKCJ4Y |
|---|---|
| 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 2011.06637#8OL9 (statement). In KFCJ5CFP3G/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Counterexamples CCDNRHCYGM
| URI | m2://inv/CCDNRHCYGM |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dunford–Pettis property#2XR3, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
G. Lauricella CCDPXXW26D
| URI | m2://inv/CCDPXXW26D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#HBWL, G. Lauricella (topic)
History
- 2026-11-02: add by m2/dev
Coxeter-Petrie polyhedron CCDQ05YJXW
| URI | m2://inv/CCDQ05YJXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew apeirohedron#INHN, Coxeter-Petrie polyhedron (unknown)
History
- 2026-11-02: add by m2/dev
Legendre's formula CCE1Q3QVQM
| URI | m2://inv/CCE1Q3QVQM |
|---|---|
| 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.25742#VSVT, Legendre's formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Induction-induction CCE1TPMY0D
| URI | m2://inv/CCE1TPMY0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induction-induction, Induction-induction (definition). Also Wikidata Q60790335
History
- 2026-11-02: add by m2/dev
Truncated tetrapentagonal tiling CCE2KA2JFS
| URI | m2://inv/CCE2KA2JFS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrapentagonal tiling, Truncated tetrapentagonal tiling (object). Also Wikidata Q7847920
History
- 2026-11-02: add by m2/dev
CCE35X2PQD CCE35X2PQD
| URI | m2://inv/CCE35X2PQD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 30.6
History
- 2026-11-01: add by m2/v0.6.13
Formal definitions CCEMSJPECM
| URI | m2://inv/CCEMSJPECM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncontracting grammar#2NQR, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples CCEMY4JN3B
| URI | m2://inv/CCEMY4JN3B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transitive set#FDR5, Examples (example)
History
- 2026-11-02: add by m2/dev
Three fixed chorded cycles CCEN8PQ42E
| URI | m2://inv/CCEN8PQ42E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#UMY1, Three fixed chorded cycles (statement). In 7PACGDW3N7/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.4.0
Theorems CCF36F3AFJ
| URI | m2://inv/CCF36F3AFJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix variate beta distribution#O53M, Theorems (statement)
History
- 2026-11-02: add by m2/dev
CCF5N3046V CCF5N3046V
| URI | m2://inv/CCF5N3046V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#FQ9X (definition). In APD8GE0E4F/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Weak topology on a Hilbert space CCF8DYD27M
| URI | m2://inv/CCF8DYD27M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33841#MMKB, Weak topology on a Hilbert space (example). In 3CVQHT206K/e1, example 2.3
History
- 2026-10-30: add by m2/v0.4.12
Niels Ferguson CCFDNG4HX2
| URI | m2://inv/CCFDNG4HX2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#NOE3, Niels Ferguson (topic)
History
- 2026-11-02: add by m2/dev
CCFHXZ61SK CCFHXZ61SK
| URI | m2://inv/CCFHXZ61SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11823#J231 (statement). In YNQHA63Z2B/e1, lemma 9.4
History
- 2026-10-28: add by m2/v0.4.3
CCFJCHRRMH CCFJCHRRMH
| URI | m2://inv/CCFJCHRRMH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-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.10262#TILD (example). In MVSGDTN2PB/e1, example 4.18
History
- 2026-10-29: add by m2/v0.4.10
CCFMB5FCPR CCFMB5FCPR
| URI | m2://inv/CCFMB5FCPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#BL0T (statement). In 5MJ4NJ5ZCV/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.3
SSS* CCFXC5Q9SS
| URI | m2://inv/CCFXC5Q9SS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#MT2C, SSS* (unknown)
History
- 2026-11-02: add by m2/dev
From the incompleteness theorems CCG0RJDCN7
| URI | m2://inv/CCG0RJDCN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-standard model of arithmetic#S196, From the incompleteness theorems (statement)
History
- 2026-11-02: add by m2/dev
CCG5XX2DN2 CCG5XX2DN2
| URI | m2://inv/CCG5XX2DN2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proof-6 (proof). In RZP28ERRZV, proof, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
CCGE67J3KB CCGE67J3KB
| URI | m2://inv/CCGE67J3KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.06030#FB0V (statement). In 2Q0CNQ8DQB/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Winfried Scharlau CCGR9VZE33
| URI | m2://inv/CCGR9VZE33 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winfried Scharlau, Winfried Scharlau (topic). Also Wikidata Q2584285
History
- 2026-11-02: add by m2/dev
CCGVGV7GMX CCGVGV7GMX
| URI | m2://inv/CCGVGV7GMX |
|---|---|
| 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.23424#URNK (statement)
History
- 2026-11-02: add by m2/v0.6.17
CCGXKCEA5V CCGXKCEA5V
| URI | m2://inv/CCGXKCEA5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#8G28 (statement). In NWWKD8YX57/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
Definition CCGZ8GNH5P
| URI | m2://inv/CCGZ8GNH5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable Yang–Mills–Higgs pair#C4OM, Definition (definition)
History
- 2026-11-02: add by m2/dev
CCH131G9YA CCH131G9YA
| URI | m2://inv/CCH131G9YA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19283#V3JB (definition). In 28BAGZRCKG/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
John Benedetto CCH1TAA6D5
| URI | m2://inv/CCH1TAA6D5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TV9A, John Benedetto (topic)
History
- 2026-11-02: add by m2/dev
CCH603CAK7 CCH603CAK7
| URI | m2://inv/CCH603CAK7 |
|---|---|
| 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.14803#YRMP (statement). In VAEVDTBD3B/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
CCH8ZJ5R6J CCH8ZJ5R6J
| URI | m2://inv/CCH8ZJ5R6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16631#1A5S (statement). In T735PRQNJB/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Chris Heyde CCHBCV6R87
| URI | m2://inv/CCHBCV6R87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#141C, Chris Heyde (unknown)
History
- 2026-11-02: add by m2/dev
CCHT6113K6 CCHT6113K6
| URI | m2://inv/CCHT6113K6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#proof-2 (proof). In RZP28ERRZV, proof, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
CCJ00H94VS CCJ00H94VS
| URI | m2://inv/CCJ00H94VS |
|---|---|
| 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.15472#CNX8 (statement). In 5Z3FH46YSY/e1, lemma 3.20
History
- 2026-10-28: add by m2/v0.4.2
CCJ7ATPFRN CCJ7ATPFRN
| URI | m2://inv/CCJ7ATPFRN |
|---|---|
| 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 2210.12291#OJ21 (definition). In PHPNFMYPPE/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
compound of ten octahedra CCJ874F0GY
| URI | m2://inv/CCJ874F0GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156890, compound of ten octahedra (unknown). Also MathWorld Octahedron10-Compound
- wikipedia: Wikipedia Compound of ten octahedra, Compound of ten octahedra (definition). Also Wikidata Q5156890
History
- 2026-10-26: add by m2/dev
CCJ906P8R2 CCJ906P8R2
| URI | m2://inv/CCJ906P8R2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#A8GT (definition). In ZXQA7QH0H0/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Great ellipse CCJFB5MB1Q
| URI | m2://inv/CCJFB5MB1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great ellipse, Great ellipse (definition). Also Wikidata Q5600352
History
- 2026-11-02: add by m2/dev
The costly information hypothesis CCJJV84J60
| URI | m2://inv/CCJJV84J60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive bias#SNGD, The costly information hypothesis (statement)
History
- 2026-11-02: add by m2/dev
CCJK4NMFTT CCJK4NMFTT
| URI | m2://inv/CCJK4NMFTT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#WKP7 (definition). In G1RP4JY5PE/e1, definition 2.1.1
History
- 2026-10-31: add by m2/v0.5.6
CCJMP53PYR CCJMP53PYR
| URI | m2://inv/CCJMP53PYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#PHU1 (statement). In 4PGTZ19B26/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
perverse sheaf CCJN6WME7N
| URI | m2://inv/CCJN6WME7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Perverse sheaf 5WHXRZDZFK |
Mentions
- wikidata: Wikidata Q17086746, perverse sheaf (unknown). Also nLab perverse sheaf
- wikipedia: Wikipedia Perverse sheaf, Perverse sheaf (definition). Also Wikidata Q17086746
History
- 2026-10-26: add by m2/dev
Virasoro group CCK00Z8Q63
| URI | m2://inv/CCK00Z8Q63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro group, Virasoro group (definition). Also Wikidata Q96414034
History
- 2026-11-02: add by m2/dev
Canonizant CCK1KJ7152
| URI | m2://inv/CCK1KJ7152 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#EQNB, Canonizant (definition)
History
- 2026-11-02: add by m2/dev
Lower bound on clause rank CCK2Q053ZR
| URI | m2://inv/CCK2Q053ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#CSOW, Lower bound on clause rank (statement). In ZZER8ZBSCR/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.12
Goldner–Harary graph CCKC05M3PB
| URI | m2://inv/CCKC05M3PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115488, Goldner–Harary graph (unknown). Also House of Graphs 1110, MathWorld Goldner-HararyGraph
- wikipedia: Wikipedia Goldner–Harary graph, Goldner–Harary graph (definition). Also Wikidata Q3115488
History
- 2026-10-26: add by m2/dev
CCKEVK8B3W CCKEVK8B3W
| URI | m2://inv/CCKEVK8B3W |
|---|---|
| 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.13378#A60F (statement). In QAH7SV1JT6/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
Finite product--Whitney conifold strictification CCKFN666KW
| URI | m2://inv/CCKFN666KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#4FCO, Finite product--Whitney conifold strictification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Relation to Coulomb's law CCKGF8A6VE
| URI | m2://inv/CCKGF8A6VE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law#H5MK, Relation to Coulomb's law (statement)
History
- 2026-11-02: add by m2/dev
CCKGN9XFF9 CCKGN9XFF9
| URI | m2://inv/CCKGN9XFF9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#M0I7 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Factorial moments of isolated clusters CCKNE6YXNS
| URI | m2://inv/CCKNE6YXNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39699#LCCT, Factorial moments of isolated clusters (statement). In 6M4TMC8G6X/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Billie Tsien CCKTXSHFMC
| URI | m2://inv/CCKTXSHFMC |
|---|---|
| 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#6BAJ, Billie Tsien (unknown)
History
- 2026-11-02: add by m2/dev
Blom's scheme CCKV1S4XZV
| URI | m2://inv/CCKV1S4XZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blom's scheme, Blom's scheme (definition). Also Wikidata Q884941
History
- 2026-11-02: add by m2/dev
Definitions CCKWJS3DG7
| URI | m2://inv/CCKWJS3DG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's twenty-first problem#N2MZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Multiple-Valued Logic CCKWR67EWD
| URI | m2://inv/CCKWR67EWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#B4LU, Multiple-Valued Logic (unknown)
History
- 2026-11-02: add by m2/dev
The first and second laws of thermodynamics CCKZCZT45W
| URI | m2://inv/CCKZCZT45W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental thermodynamic relation#AYDU, The first and second laws of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Ward's twistor construction CCKZETXAFX
| URI | m2://inv/CCKZETXAFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#IPLK, Ward's twistor construction (unknown)
History
- 2026-11-02: add by m2/dev
1XRTT CCM1N56QD5
| URI | m2://inv/CCM1N56QD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CDMA2000#O2FP, 1XRTT (unknown)
History
- 2026-11-02: add by m2/dev
Notation CCM7N7HRB9
| URI | m2://inv/CCM7N7HRB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda calculus definition#ZE47, Notation (definition)
History
- 2026-11-02: add by m2/dev
Provably secure cryptographic hash function CCM8JZZEW1
| URI | m2://inv/CCM8JZZEW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Security of cryptographic hash functions#1O1X, Provably secure cryptographic hash function (unknown)
History
- 2026-11-02: add by m2/dev
Axiom of Choice CCM8NSAGF5
| URI | m2://inv/CCM8NSAGF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#9UMW, Axiom of Choice (statement)
History
- 2026-11-02: add by m2/dev
CCM9E1AA2B CCM9E1AA2B
| URI | m2://inv/CCM9E1AA2B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
Double operator integral CCMA6RCF7G
| URI | m2://inv/CCMA6RCF7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double operator integral, Double operator integral (definition). Also Wikidata Q116272168
History
- 2026-11-02: add by m2/dev
Jim Harrick CCME47QEB3
| URI | m2://inv/CCME47QEB3 |
|---|---|
| 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#8MI5, Jim Harrick (unknown)
History
- 2026-11-02: add by m2/dev
CCMFN33Q89 CCMFN33Q89
| URI | m2://inv/CCMFN33Q89 |
|---|---|
| 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.16399#UD82 (statement). In 2N87D4KTSY/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Hopf–Rinow theorem CCMK0Y6HE9
| URI | m2://inv/CCMK0Y6HE9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 4 |
| Outcome | open |
| Node | Hopf–Rinow theorem QCCD2JNFBT |
Mentions
- mathlib_1000: mathlib_1000 Q2094241, Hopf–Rinow theorem (statement). Also Wikidata Q2094241
- thousand_plus: thousand_plus Q2094241, Hopf–Rinow theorem (statement). Also Wikidata Q2094241, Wikipedia Hopf–Rinow theorem
- wikidata: Wikidata Q2094241, Hopf–Rinow theorem (statement). Also EoM Hopf-Rinow_theorem, MathWorld Hopf-RinowTheorem
- wikipedia: Wikipedia Hopf–Rinow theorem, Hopf–Rinow theorem (statement). Also Wikidata Q2094241
History
- 2026-10-26: add by m2/dev
Sergey Norin CCMMZ9RE3J
| URI | m2://inv/CCMMZ9RE3J |
|---|---|
| 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#Z4I4, Sergey Norin (unknown)
History
- 2026-11-02: add by m2/dev
Takeuchi number CCMSHCJD89
| URI | m2://inv/CCMSHCJD89 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122599693, Takeuchi number (object). Also MathWorld TakeuchiNumber, OEIS A000651
History
- 2026-10-26: add by m2/dev
Zeroth law CCN1R2YW3Y
| URI | m2://inv/CCN1R2YW3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laws of thermodynamics#8W8W, Zeroth law (statement)
History
- 2026-11-02: add by m2/dev
completion of a topological ring CCN80NZJD9
| URI | m2://inv/CCN80NZJD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Topological algebra > completion of a topological ring, completion of a topological ring (unknown). Also Mathlib UniformSpace.Completion.ring
History
- 2026-10-26: add by m2/dev
CCNAECGCYN CCNAECGCYN
| URI | m2://inv/CCNAECGCYN |
|---|---|
| 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.34168#FWRF (statement). In 30YQV8N04M/e1, lemma 12.3
History
- 2026-10-30: add by m2/v0.4.12
CCNB3VD7BE CCNB3VD7BE
| URI | m2://inv/CCNB3VD7BE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#0QR4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
point groups in three dimensions CCP09VSE5Q
| URI | m2://inv/CCP09VSE5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7208207, point groups in three dimensions (unknown). Also MathWorld SphericalGroup
- wikipedia: Wikipedia Point groups in three dimensions, Point groups in three dimensions (definition). Also Wikidata Q7208207
History
- 2026-10-26: add by m2/dev
CCP1GKCEVX CCP1GKCEVX
| URI | m2://inv/CCP1GKCEVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03851#GPUG (statement). In HNV63B8Y1A/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
Local invariant cycle theorem CCP4G69FPP
| URI | m2://inv/CCP4G69FPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition theorem of Beilinson, Bernstein and Deligne#P6SR, Local invariant cycle theorem (statement)
History
- 2026-11-02: add by m2/dev
Spectrum of two weighted projectors CCPKEJTR6N
| URI | m2://inv/CCPKEJTR6N |
|---|---|
| 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.33021#HHHU, Spectrum of two weighted projectors (statement). In GG96DW33Q9/e1, lemma C.1
History
- 2026-10-31: add by m2/v0.5.6
CCPMERCP4H CCPMERCP4H
| URI | m2://inv/CCPMERCP4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#WM17 (statement). In 37B1MPV8GX/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
CCPNF2QYST CCPNF2QYST
| URI | m2://inv/CCPNF2QYST |
|---|---|
| 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.03837#DX0I (statement). In TX88QS0A8M/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
L-ensemble DPP and fixed-size DPP CCPRCAAE67
| URI | m2://inv/CCPRCAAE67 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20556#KFDI, L-ensemble DPP and fixed-size DPP (definition)
History
- 2026-11-02: add by m2/v0.6.18
CCPS1P7M1T CCPS1P7M1T
| URI | m2://inv/CCPS1P7M1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#O58U (statement). In PHXJ87HKYB/e1, lemma 2.9
History
- 2026-10-31: add by m2/v0.5.6
Walter Gautschi CCQ6P5K6EC
| URI | m2://inv/CCQ6P5K6EC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Gautschi, Walter Gautschi (topic). Also Wikidata Q122705
History
- 2026-11-02: add by m2/dev
All-character Walsh formula CCQCMHBR6D
| URI | m2://inv/CCQCMHBR6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#JZHG, All-character Walsh formula (statement). In 88GEN3Z5VG/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
collecting charitable donations from their customers CCQH1SWMMB
| URI | m2://inv/CCQH1SWMMB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#INB5, collecting charitable donations from their customers (unknown)
History
- 2026-11-02: add by m2/dev
CCQN932ZF2 CCQN932ZF2
| URI | m2://inv/CCQN932ZF2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#example-projection-matrix (example). In 649HGZKE96, example, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Transported support and accumulated defect CCQPAHS5C2
| URI | m2://inv/CCQPAHS5C2 |
|---|---|
| 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.09356#7NN7, Transported support and accumulated defect (statement). In 3VVGPXWH6R/e1, lemma C.14
History
- 2026-10-29: add by m2/v0.4.10
CCQRAAKD9H CCQRAAKD9H
| URI | m2://inv/CCQRAAKD9H |
|---|---|
| Kind | conjecture |
| 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.27800#IVAA (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
attractor CCQX0DBEF1
| URI | m2://inv/CCQX0DBEF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Attractor 7FWX24X5MW |
Mentions
- wikidata: Wikidata Q507187, attractor (unknown). Also MathWorld Attractor
- wikipedia: Wikipedia Attractor, Attractor (definition). Also Wikidata Q507187
History
- 2026-10-26: add by m2/dev
CCQXB8FDNW CCQXB8FDNW
| URI | m2://inv/CCQXB8FDNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#52BG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hilary Putnam CCRGVJHH1W
| URI | m2://inv/CCRGVJHH1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#L69S, Hilary Putnam (topic)
History
- 2026-11-02: add by m2/dev
CCRPV5M2J9 CCRPV5M2J9
| URI | m2://inv/CCRPV5M2J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#IJRI (statement). In ESDKTYDHC8/e1, corollary 9
History
- 2026-10-29: add by m2/v0.4.12
CCRZNYQKJW CCRZNYQKJW
| URI | m2://inv/CCRZNYQKJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#NML3 (statement). In G1RP4JY5PE/e1, proposition 3.4.1
History
- 2026-10-31: add by m2/v0.5.6
candiru CCS2AJ8TPA
| URI | m2://inv/CCS2AJ8TPA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#3X72, candiru (unknown)
History
- 2026-11-02: add by m2/dev
Settlement step CCS3YEYF9X
| URI | m2://inv/CCS3YEYF9X |
|---|---|
| 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.30315#2JK0, Settlement step (statement). In FXTCVHYW5S/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
Multiple Precision Integers and Rationals CCS8ECE7CY
| URI | m2://inv/CCS8ECE7CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#0TU0, Multiple Precision Integers and Rationals (definition)
History
- 2026-11-02: add by m2/dev
decomposition into cycles with disjoint support CCSBNHKD54
| URI | m2://inv/CCSBNHKD54 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Permutation group > decomposition into cycles with disjoint support, decomposition into cycles with disjoint support (unknown). Also Mathlib Equiv.Perm.truncCycleFactors
History
- 2026-10-26: add by m2/dev
monoid CCSKWPA6VP
| URI | m2://inv/CCSKWPA6VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Monoid 0N6R902FG1 |
Mentions
- wikidata: Wikidata Q208237, monoid (definition). Also EoM Monoid, MathWorld Monoid, nLab monoid, ProofWiki Definition:Monoid
- wikipedia: Wikipedia Monoid, Monoid (definition). Also Wikidata Q208237
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Zero mode CCSV7V0FNB
| URI | m2://inv/CCSV7V0FNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero mode, Zero mode (definition). Also Wikidata Q8069598
History
- 2026-11-02: add by m2/dev
Hermann Schubert CCSVNRN5KM
| URI | m2://inv/CCSVNRN5KM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ZLL1, Hermann Schubert (topic)
History
- 2026-11-02: add by m2/dev
CCT73TJADQ CCT73TJADQ
| URI | m2://inv/CCT73TJADQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#38X6 (statement). In 2BET1RE1F6/e1, proposition 3.14
History
- 2026-10-31: add by m2/v0.5.6
Quantum mutual information CCT8QGEGS1
| URI | m2://inv/CCT8QGEGS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum mutual information, Quantum mutual information (definition). Also Wikidata Q3798613
History
- 2026-11-02: add by m2/dev
Riemannian connection on a surface CCTDY4SZEB
| URI | m2://inv/CCTDY4SZEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#QFFS, Riemannian connection on a surface (definition)
History
- 2026-11-02: add by m2/dev
CCTM9M5ZCC CCTM9M5ZCC
| URI | m2://inv/CCTM9M5ZCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#T21P (statement). In ZRPYF750AV/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Relation to axiom of choice and other theorems CCTQY1F1TY
| URI | m2://inv/CCTQY1F1TY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#HRM7, Relation to axiom of choice and other theorems (statement)
History
- 2026-11-02: add by m2/dev
Lüroth invariant CCTSYT11CW
| URI | m2://inv/CCTSYT11CW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#1HMI, Lüroth invariant (definition)
History
- 2026-11-02: add by m2/dev
Hexagonal Edge Traversal CCTZJ5TRJC
| URI | m2://inv/CCTZJ5TRJC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#IUID, Hexagonal Edge Traversal (definition). In 5E9G06XJKC/e1, definition C.9
History
- 2026-10-28: add by m2/v0.4.2
primary pseudoperfect number CCV28GH23R
| URI | m2://inv/CCV28GH23R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7243159, primary pseudoperfect number (concept). Also MathWorld PrimaryPseudoperfectNumber
- wikipedia: Wikipedia Primary pseudoperfect number, Primary pseudoperfect number (definition). Also Wikidata Q7243159
History
- 2026-10-26: add by m2/dev
preimage CCV2DNT15M
| URI | m2://inv/CCV2DNT15M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5637899, preimage (unknown). Also MathWorld Pre-Image, nLab preimage
History
- 2026-10-26: add by m2/dev
Linearity CCV8RY46C8
| URI | m2://inv/CCV8RY46C8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearity, Linearity (definition). Also Wikidata Q1753188
History
- 2026-11-02: add by m2/dev
CCVH9AYJ5Z CCVH9AYJ5Z
| URI | m2://inv/CCVH9AYJ5Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:lem-impl-dn-commutes (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
CCVSRHQZB6 CCVSRHQZB6
| URI | m2://inv/CCVSRHQZB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#ULQD (statement). In V8MYP6MBAZ/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
CCVT3J4D1W CCVT3J4D1W
| URI | m2://inv/CCVT3J4D1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35669#3VB8 (statement). In 8380G43M8E/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Extensions CCVT66EVTD
| URI | m2://inv/CCVT66EVTD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chapman–Enskog theory#O3LF, Extensions (statement)
History
- 2026-11-02: add by m2/dev
CCVTJNRDJE CCVTJNRDJE
| URI | m2://inv/CCVTJNRDJE |
|---|---|
| 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#L2M8 (statement). In CB35ZBBBPT/e1, proposition 3.17
History
- 2026-10-31: add by m2/v0.5.6
CCW5NRNBMW CCW5NRNBMW
| URI | m2://inv/CCW5NRNBMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#ZBR9 (statement). In FNG4B47MRV/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Site bounds CCWNABWHZ6
| URI | m2://inv/CCWNABWHZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#XCTJ, Site bounds (statement). In P0HKF5DY7M/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Joram Lindenstrauss CCWRPCN1SK
| URI | m2://inv/CCWRPCN1SK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joram Lindenstrauss, Joram Lindenstrauss (topic). Also Wikidata Q432874
History
- 2026-11-02: add by m2/dev
Second proof CCWWF5P0S4
| URI | m2://inv/CCWWF5P0S4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-32, Second proof (proof). In N54F33XE07, proof, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Examples CCWY0VSVD2
| URI | m2://inv/CCWY0VSVD2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodhart's law#PCAO, Examples (example)
History
- 2026-11-02: add by m2/dev
CCX611FYB6 CCX611FYB6
| URI | m2://inv/CCX611FYB6 |
|---|---|
| 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.32883#03JZ (statement). In 6MVBVC1VNK/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
problem book CCX94AGYF9
| URI | m2://inv/CCX94AGYF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 00A07 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7246954, problem book (topic)
History
- 2026-10-26: add by m2/dev
CCXQQQS081 CCXQQQS081
| URI | m2://inv/CCXQQQS081 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11836#UX7C (definition). In 1X68TCGB9E/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Billey's Formula CCXT11H4T8
| URI | m2://inv/CCXT11H4T8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#KX2U, Billey's Formula (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties CCXTCAE63X
| URI | m2://inv/CCXTCAE63X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinc function#4TUF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Amitsur complex CCXWB3Q4T4
| URI | m2://inv/CCXWB3Q4T4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60764404, Amitsur complex (concept). Also nLab Amitsur complex
- wikipedia: Wikipedia Amitsur complex, Amitsur complex (definition). Also Wikidata Q60764404
History
- 2026-10-26: add by m2/dev
CCY475S3HF CCY475S3HF
| URI | m2://inv/CCY475S3HF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#9GIB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alain Lascoux CCY4DR0ENG
| URI | m2://inv/CCY4DR0ENG |
|---|---|
| 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#PNZE, Alain Lascoux (topic)
History
- 2026-11-02: add by m2/dev
$\ell_{0-1}$ loss CCY4GS064K
| URI | m2://inv/CCY4GS064K |
|---|---|
| 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.11388#7TB1, $\ell_{0-1}$ loss (statement). In PC1SZ68BPZ/e1, theorem D.2
History
- 2026-10-28: add by m2/v0.4.3
CCY8N9DMJG CCY8N9DMJG
| URI | m2://inv/CCY8N9DMJG |
|---|---|
| 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 2610.21945#DJXL (statement). In 371P9QASSJ/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
\bf Stopping Time}, as per Definition 8 CCYA094GDT
| URI | m2://inv/CCYA094GDT |
|---|---|
| Kind | definition |
| 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 2312.14445#7950, \bf Stopping Time}, as per Definition 8 (definition). In V56MKF0KW2/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
ZF CCYC14H6E8
| URI | m2://inv/CCYC14H6E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#0U0Z, ZF (definition)
History
- 2026-11-02: add by m2/dev
Carl Wilhelm Borchardt CCYJERAT8V
| URI | m2://inv/CCYJERAT8V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Wilhelm Borchardt, Carl Wilhelm Borchardt (topic). Also Wikidata Q65205
History
- 2026-11-02: add by m2/dev
Fixed-cap flux identity CCYN1JAFP6
| URI | m2://inv/CCYN1JAFP6 |
|---|---|
| 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.12387#SS2D, Fixed-cap flux identity (statement). In 3Z0PRE77SY/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
CCYV2NXYP5 CCYV2NXYP5
| URI | m2://inv/CCYV2NXYP5 |
|---|---|
| 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#M69V (statement). In PQHTR84RAJ/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.4.0
deductive reasoning CCZ08Z51MT
| URI | m2://inv/CCZ08Z51MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q484284, deductive reasoning (unknown). Also MathWorld Deduction
- wikipedia: Wikipedia Deductive reasoning, Deductive reasoning (definition). Also Wikidata Q484284
History
- 2026-10-26: add by m2/dev
CCZ5HTFB82 CCZ5HTFB82
| URI | m2://inv/CCZ5HTFB82 |
|---|---|
| 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.28251#V0QE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andrew Munro CCZ7E02ZME
| URI | m2://inv/CCZ7E02ZME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Munro (mathematician), Andrew Munro (topic). Also Wikidata Q15990191
History
- 2026-11-02: add by m2/dev
José Felipe Voloch CCZAA4D7D0
| URI | m2://inv/CCZAA4D7D0 |
|---|---|
| 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 Q20716228, José Felipe Voloch (unknown). Also nLab Felipe Voloch
History
- 2026-10-26: add by m2/dev
List of uniform polyhedra by Schwarz triangle CCZJ1ZC8ZB
| URI | m2://inv/CCZJ1ZC8ZB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#ZV9Q, List of uniform polyhedra by Schwarz triangle (topic)
History
- 2026-11-02: add by m2/dev
CCZQEFD58C CCZQEFD58C
| URI | m2://inv/CCZQEFD58C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#definition-2 (definition). In RZP28ERRZV, definition, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
Location-scale family CCZQMF37TC
| URI | m2://inv/CCZQMF37TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QDV7, Location-scale family (definition)
History
- 2026-11-02: add by m2/dev
Real-rootedness at $q=1$ CCZSCJ5AF8
| URI | m2://inv/CCZSCJ5AF8 |
|---|---|
| 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.24541#JL37, Real-rootedness at $q=1$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples CCZSQNP942
| URI | m2://inv/CCZSQNP942 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cochran's theorem#3SCC, Examples (example)
History
- 2026-11-02: add by m2/dev