Inventory rows R5
The cards of the rows of the inventory whose ids start with R5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
R501WF17V1 R501WF17V1
| URI | m2://inv/R501WF17V1 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Monotonicity and submodularity R5034K8H51
| URI | m2://inv/R5034K8H51 |
|---|---|
| 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.19207#YT5I, Monotonicity and submodularity (statement). In BH3R0BA3PC/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Density of the difference R5096MZ6RB
| URI | m2://inv/R5096MZ6RB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#LPPJ, Density of the difference (statement). In 1QSV7EQE3T/e1, lemma S44
History
- 2026-10-28: add by m2/v0.4.2
Robust pass@$k$ upper bound R50B7JFVWD
| URI | m2://inv/R50B7JFVWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.33291#QVI0, Robust pass@$k$ upper bound (statement). In HQN1Y9RP53/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Almost stacked configurations on even cycles R50N6Q0PJQ
| URI | m2://inv/R50N6Q0PJQ |
|---|---|
| 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.09650#XI8C, Almost stacked configurations on even cycles (statement). In 628KM8869P/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
Generation theorems R50PF9GAG1
| URI | m2://inv/R50PF9GAG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C0-semigroup#NGPE, Generation theorems (statement)
History
- 2026-11-02: add by m2/dev
R50Q16YJS9 R50Q16YJS9
| URI | m2://inv/R50Q16YJS9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 61.9
History
- 2026-11-01: add by m2/v0.6.13
Spacetime background R50SAFDXFS
| URI | m2://inv/R50SAFDXFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum gravity#UJ1Y, Spacetime background (unknown)
History
- 2026-11-02: add by m2/dev
SIGAINT R50SH79KHZ
| URI | m2://inv/R50SH79KHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIGAINT, SIGAINT (definition). Also Wikidata Q25036153
History
- 2026-11-02: add by m2/dev
R50TSW1T13 R50TSW1T13
| URI | m2://inv/R50TSW1T13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18544#EER2 (statement). In HT5MC1SPD9/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.2
challenging R50YVBAYB2
| URI | m2://inv/R50YVBAYB2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-15, challenging (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Examples R51223HVBB
| URI | m2://inv/R51223HVBB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schröder–Bernstein theorem#SSDM, Examples (example)
History
- 2026-11-02: add by m2/dev
R514S0Y6QZ R514S0Y6QZ
| URI | m2://inv/R514S0Y6QZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#ex-3 (example). In PKGMM3P5QY, ex, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
Katrin Leschke R516ESDK4R
| URI | m2://inv/R516ESDK4R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katrin Leschke, Katrin Leschke (topic). Also Wikidata Q102163746
History
- 2026-11-02: add by m2/dev
Digit R51G8X9M3Z
| URI | m2://inv/R51G8X9M3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digit (unit), Digit (definition). Also Wikidata Q1399533
History
- 2026-11-02: add by m2/dev
Bounded second-layer rank R51M04XMNP
| URI | m2://inv/R51M04XMNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#3K1D, Bounded second-layer rank (statement). In N6GD8392QB/e1, lemma 12.2
History
- 2026-10-28: add by m2/v0.4.2
R51Q8RDQ88 R51Q8RDQ88
| URI | m2://inv/R51Q8RDQ88 |
|---|---|
| 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.36818#QR59 (statement). In SK6AP2B9JH/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
It\^o formula R51WMWE5AJ
| URI | m2://inv/R51WMWE5AJ |
|---|---|
| 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.24789#WOXH, It\^o formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
R51ZQN0FJH R51ZQN0FJH
| URI | m2://inv/R51ZQN0FJH |
|---|---|
| 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.29227#HGPR (statement)
History
- 2026-11-01: add by m2/v0.6.15
R5228JP8M4 R5228JP8M4
| URI | m2://inv/R5228JP8M4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#UHRZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
History of inductive probability R523HCRWCF
| URI | m2://inv/R523HCRWCF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive probability#VYU0, History of inductive probability (unknown)
History
- 2026-11-02: add by m2/dev
Dold R528JM6AZG
| URI | m2://inv/R528JM6AZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19729#E25S, Dold (statement). In 40YZ43TS8K/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Buckingham pi theorem R52AG382KZ
| URI | m2://inv/R52AG382KZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q999783, Buckingham π theorem (statement). Also Wikidata Q999783
- thousand_plus: thousand_plus Q999783, Buckingham π theorem (statement). Also Wikidata Q999783, Wikipedia Buckingham π theorem
- wikipedia: Wikipedia Buckingham pi theorem, Buckingham pi theorem (statement). Also Wikidata Q999783
History
- 2026-10-26: add by m2/dev
R52JABC4A5 R52JABC4A5
| URI | m2://inv/R52JABC4A5 |
|---|---|
| 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.29304#UBHB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Departure function R52R1AXE97
| URI | m2://inv/R52R1AXE97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Departure function, Departure function (definition). Also Wikidata Q5260591
History
- 2026-11-02: add by m2/dev
R53AVJS7T2 R53AVJS7T2
| URI | m2://inv/R53AVJS7T2 |
|---|---|
| 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 2610.19707#5XYZ (statement). In R6SEBXARYC/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
R53D2YQR70 R53D2YQR70
| URI | m2://inv/R53D2YQR70 |
|---|---|
| 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.17798#1VBM (statement). In 66H5YPQCYV/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Statement of Kreiss matrix theorem R53H1KY07K
| URI | m2://inv/R53H1KY07K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kreiss matrix theorem#4RHB, Statement of Kreiss matrix theorem (statement)
History
- 2026-11-02: add by m2/dev
R53M3AHY1X R53M3AHY1X
| URI | m2://inv/R53M3AHY1X |
|---|---|
| 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 2603.21971#RWBY (statement). In R6KSZ9H8CY/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
R53P8QETFK R53P8QETFK
| URI | m2://inv/R53P8QETFK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#example-2 (example). In RZP28ERRZV, example, section 28.2
History
- 2026-11-01: add by m2/v0.6.13
R53SQSDNA0 R53SQSDNA0
| URI | m2://inv/R53SQSDNA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2609.28677#3PLM (statement)
History
- 2026-11-01: add by m2/v0.6.15
R53VG7HEDP R53VG7HEDP
| URI | m2://inv/R53VG7HEDP |
|---|---|
| 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 2011.07352#OA9I (definition). In 3VPC1GGZ3E/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
R53X3NJP73 R53X3NJP73
| URI | m2://inv/R53X3NJP73 |
|---|---|
| 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.25301#8KSP (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZFK equation R542G01C57
| URI | m2://inv/R542G01C57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ZFK equation, ZFK equation (definition). Also Wikidata Q112610250
History
- 2026-11-02: add by m2/dev
R54GYGGTTN R54GYGGTTN
| URI | m2://inv/R54GYGGTTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/foundation.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 74.2
History
- 2026-11-01: add by m2/v0.6.13
R54HMQWNSG R54HMQWNSG
| URI | m2://inv/R54HMQWNSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#3SYH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Invariance of the sign R54WPZXFDP
| URI | m2://inv/R54WPZXFDP |
|---|---|
| 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.02933#NJ2B, Invariance of the sign (statement). In QSYZKPFRAN/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Skorokhod R556CYRXT1
| URI | m2://inv/R556CYRXT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1709.04968#ZW1M, Skorokhod (statement). In BEX59Q3DE4/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Stress relaxation R5581Y0VSA
| URI | m2://inv/R5581Y0VSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress relaxation, Stress relaxation (definition). Also Wikidata Q2576844
History
- 2026-11-02: add by m2/dev
Rydberg constant R55CCBYYQ7
| URI | m2://inv/R55CCBYYQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#JMRW, Rydberg constant (unknown)
History
- 2026-11-02: add by m2/dev
R55F6SW2ZJ R55F6SW2ZJ
| URI | m2://inv/R55F6SW2ZJ |
|---|---|
| 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.03628#U719 (statement). In P8KT6JV9N1/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
R55FF7TSV7 R55FF7TSV7
| URI | m2://inv/R55FF7TSV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#VS9F (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dirac operator R55G0NQZK6
| URI | m2://inv/R55G0NQZK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 35J25 |
| Sources | 2 |
| Outcome | open |
| Node | Dirac operator 3DXGJTEQZH |
Mentions
- wikidata: Wikidata Q907439, Dirac operator (topic). Also MathWorld DiracOperator, nLab Dirac operator
- wikipedia: Wikipedia Dirac operator, Dirac operator (definition). Also Wikidata Q907439
History
- 2026-10-26: add by m2/dev
R55PQ0XRVH R55PQ0XRVH
| URI | m2://inv/R55PQ0XRVH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-45 (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
R55T2ZPMMS R55T2ZPMMS
| URI | m2://inv/R55T2ZPMMS |
|---|---|
| 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.02870#SM75 (statement). In JJQQJ4KX94/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
R55VRR3KVC R55VRR3KVC
| URI | m2://inv/R55VRR3KVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.09840#TTC9 (statement). In Y7TWHSF2HC/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Boundary reconstruction kernel R560K5KMNC
| URI | m2://inv/R560K5KMNC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#0QAP, Boundary reconstruction kernel (definition). In AVDZGC7976/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Finite-sample stability of SOE thresholding R564BS6Y5Q
| URI | m2://inv/R564BS6Y5Q |
|---|---|
| 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.31470#6AJD, Finite-sample stability of SOE thresholding (statement). In 4RS2WKVB7F/e1, theorem 3.4
History
- 2026-10-31: add by m2/v0.5.6
Best-arm Identification R566DBGG4T
| URI | m2://inv/R566DBGG4T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-armed bandit#HHM1, Best-arm Identification (unknown)
History
- 2026-11-02: add by m2/dev
von Neumann R566FJCZCS
| URI | m2://inv/R566FJCZCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#UIFF, von Neumann (definition)
History
- 2026-11-02: add by m2/dev
R56EFF73VV R56EFF73VV
| URI | m2://inv/R56EFF73VV |
|---|---|
| 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.00021#25FZ (statement). In EX42AVA7CV/e1, proposition 7.4
History
- 2026-10-30: add by m2/v0.4.12
N. U. Arakelyan R56F2WZTGN
| URI | m2://inv/R56F2WZTGN |
|---|---|
| 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#7T64, N. U. Arakelyan (topic)
History
- 2026-11-02: add by m2/dev
R56F5SKM9Z R56F5SKM9Z
| URI | m2://inv/R56F5SKM9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#T46M (statement). In AQX7DGD360/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
R56HWAF1J6 R56HWAF1J6
| URI | m2://inv/R56HWAF1J6 |
|---|---|
| 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.05459#KPFD (definition). In VYW16D089Y/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
R56TS2CAHA R56TS2CAHA
| URI | m2://inv/R56TS2CAHA |
|---|---|
| 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#3E10 (statement). In 67GE5M1GGD/e1, theorem 3.10
History
- 2026-10-30: add by m2/v0.4.12
decreasing R56VZSFZFG
| URI | m2://inv/R56VZSFZFG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.6.1/decreasing, decreasing (concept). In 907G4C4EJ1, index, section 1.6.1
History
- 2026-11-01: add by m2/v0.6.13
R56ZXD1HF6 R56ZXD1HF6
| URI | m2://inv/R56ZXD1HF6 |
|---|---|
| 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.38772#VNAT (statement). In 1C3R5NAQAP/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Alexander horned sphere R575R11K0G
| URI | m2://inv/R575R11K0G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Alexander horned sphere QQEASX79RW |
Mentions
- wikidata: Wikidata Q1361755, Alexander horned sphere (concept). Also MathWorld AlexandersHornedSphere
- wikipedia: Wikipedia Alexander horned sphere, Alexander horned sphere (definition). Also Wikidata Q1361755
History
- 2026-10-26: add by m2/dev
R57AHSFG9P R57AHSFG9P
| URI | m2://inv/R57AHSFG9P |
|---|---|
| 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.23332#0W9W (statement)
History
- 2026-11-02: add by m2/v0.6.17
R57DGXPVYC R57DGXPVYC
| URI | m2://inv/R57DGXPVYC |
|---|---|
| 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.11481#AJDX (statement). In 8XHK5ZCX7H/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
R57EZ02C0Z R57EZ02C0Z
| URI | m2://inv/R57EZ02C0Z |
|---|---|
| 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 2301.02848#EATQ (statement). In G6WQDW52TJ/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
Applications R57G37E2NP
| URI | m2://inv/R57G37E2NP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary regression#062E, Applications (example)
History
- 2026-11-02: add by m2/dev
Circle map R57JN6PRTZ
| URI | m2://inv/R57JN6PRTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold tongue#KFV2, Circle map (unknown)
History
- 2026-11-02: add by m2/dev
Jane-Ling Wang R57MXWCYJP
| URI | m2://inv/R57MXWCYJP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jane-Ling Wang, Jane-Ling Wang (topic). Also Wikidata Q42160270
History
- 2026-11-02: add by m2/dev
R57NSTA7QG R57NSTA7QG
| URI | m2://inv/R57NSTA7QG |
|---|---|
| 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.15831#XQDI (statement). In CVESAPNMCQ/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
R57SGYVXRZ R57SGYVXRZ
| URI | m2://inv/R57SGYVXRZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 61.9
History
- 2026-11-01: add by m2/v0.6.13
R57XV7BQDT R57XV7BQDT
| URI | m2://inv/R57XV7BQDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#UNFC (statement). In GPK6W5XQM3/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Examples R57Z2QD77K
| URI | m2://inv/R57Z2QD77K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal prime ideal#58ZJ, Examples (example)
History
- 2026-11-02: add by m2/dev
31 great circles of the spherical icosahedron R5843HPB31
| URI | m2://inv/R5843HPB31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 31 great circles of the spherical icosahedron, 31 great circles of the spherical icosahedron (definition). Also Wikidata Q30694515
History
- 2026-11-02: add by m2/dev
R5857T1PA1 R5857T1PA1
| URI | m2://inv/R5857T1PA1 |
|---|---|
| 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 2609.24131#GWQH (statement)
History
- 2026-11-02: add by m2/v0.6.17
R586N6TS85 R586N6TS85
| URI | m2://inv/R586N6TS85 |
|---|---|
| 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.15169#6D9T (statement). In V7SN19J84T/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Elementary recursive function R58F0CHQTG
| URI | m2://inv/R58F0CHQTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary recursive function, Elementary recursive function (definition). Also Wikidata Q5323278
History
- 2026-11-02: add by m2/dev
R58GBM2X1X R58GBM2X1X
| URI | m2://inv/R58GBM2X1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06529#NZ14 (statement). In JFQY4CYHKP/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Michael Sipser R58RNNYDXX
| URI | m2://inv/R58RNNYDXX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Sipser, Michael Sipser (topic). Also Wikidata Q93104
History
- 2026-11-02: add by m2/dev
Walsh triple-count formula R58VMZZ3A1
| URI | m2://inv/R58VMZZ3A1 |
|---|---|
| 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#S36F, Walsh triple-count formula (statement). In 88GEN3Z5VG/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Linearity R5932AQYYX
| URI | m2://inv/R5932AQYYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop:integrallinear, Linearity (statement). In E59CDZA4DP, prop, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
Robert Goodell Brown R593DSNJG4
| URI | m2://inv/R593DSNJG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Goodell Brown, Robert Goodell Brown (topic). Also Wikidata Q20273433
History
- 2026-11-02: add by m2/dev
R596ND0CTS R596ND0CTS
| URI | m2://inv/R596ND0CTS |
|---|---|
| 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#JI8J (statement). In AY2MA29921/e1, lemma 08
History
- 2026-10-27: add by m2/v0.3.5
Umberto Bottazzini R59HPPCWSX
| URI | m2://inv/R59HPPCWSX |
|---|---|
| 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 Q2478100, Umberto Bottazzini (unknown). Also nLab Umberto Bottazzini
History
- 2026-10-26: add by m2/dev
R59HQA9FVP R59HQA9FVP
| URI | m2://inv/R59HQA9FVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38532#OH1N (statement). In X7YYWCZFTV/e1, theorem 2.9
History
- 2026-10-30: add by m2/v0.4.12
R59KM5E42K R59KM5E42K
| URI | m2://inv/R59KM5E42K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#ex-3 (example). In PKGMM3P5QY, ex, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
R59P1QFR91 R59P1QFR91
| URI | m2://inv/R59P1QFR91 |
|---|---|
| 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.11047#S9K8 (statement). In MNQAZ70XTH/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.3
Examples R59VC0KHXJ
| URI | m2://inv/R59VC0KHXJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Szemerédi theorem#BN0H, Examples (example)
History
- 2026-11-02: add by m2/dev
R59WFW95XG R59WFW95XG
| URI | m2://inv/R59WFW95XG |
|---|---|
| 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 1004.4564#Q62A (definition). In BZ54C9SKYS/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Patterns in nature R5A4984GW7
| URI | m2://inv/R5A4984GW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patterns in nature, Patterns in nature (definition). Also Wikidata Q3455898
History
- 2026-11-02: add by m2/dev
First proof R5A6BDF58T
| URI | m2://inv/R5A6BDF58T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-3, First proof (proof). In N54F33XE07, proof, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Adapted upper Hausdorff convergence fails R5AAJHA0QK
| URI | m2://inv/R5AAJHA0QK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#K7YU, Adapted upper Hausdorff convergence fails (example). In 9YAE8FNQST/e1, example 11.19
History
- 2026-10-30: add by m2/v0.4.12
R5ABHJBYBC R5ABHJBYBC
| URI | m2://inv/R5ABHJBYBC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-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 2610.09900#42RZ (problem). In ATSYBWEMMP/e1, problem 6.9
History
- 2026-10-29: add by m2/v0.4.10
Preservation of \(\kappa\)-convexity by MCF R5ABHMEW5J
| URI | m2://inv/R5ABHMEW5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22659#3DSI, Preservation of \(\kappa\)-convexity by MCF (statement)
History
- 2026-11-02: add by m2/v0.6.17
R5ANPF6GFB R5ANPF6GFB
| URI | m2://inv/R5ANPF6GFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.08186#K06U (statement). In X6VGVPQH8V/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
R5ATJCCEAH R5ATJCCEAH
| URI | m2://inv/R5ATJCCEAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#64MY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cost of finitely many punctures R5AWEN4QCJ
| URI | m2://inv/R5AWEN4QCJ |
|---|---|
| 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.30103#OELB, Cost of finitely many punctures (statement)
History
- 2026-11-01: add by m2/v0.6.15
R5AYKYDFJ5 R5AYKYDFJ5
| URI | m2://inv/R5AYKYDFJ5 |
|---|---|
| Kind | definition |
| 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 2208.04502#0O70 (definition). In BT6E9BXXF3/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
R5B2N2Z25T R5B2N2Z25T
| URI | m2://inv/R5B2N2Z25T |
|---|---|
| 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.02751#1JHA (statement). In MWGXPXF3BW/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.12
Algebraic properties R5B76MGRTZ
| URI | m2://inv/R5B76MGRTZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nauru graph#JNZC, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Kolmogorov quotient R5B82K52BK
| URI | m2://inv/R5B82K52BK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov space#XSIN, Kolmogorov quotient (unknown)
History
- 2026-11-02: add by m2/dev
Brauer's theorem on induced characters R5BA4RGWYG
| URI | m2://inv/R5BA4RGWYG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4958218, Brauer's theorem on induced characters (statement). Also Wikidata Q4958218
- thousand_plus: thousand_plus Q4958218, Brauer's theorem on induced characters (statement). Also Wikidata Q4958218, Wikipedia Brauer's theorem on induced characters
- wikipedia: Wikipedia Brauer's theorem on induced characters, Brauer's theorem on induced characters (statement). Also Wikidata Q4958218
History
- 2026-10-26: add by m2/dev
Lemma B. R5BEGRBZJK
| URI | m2://inv/R5BEGRBZJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindemann–Weierstrass theorem#MZ0L, Lemma B. (statement)
History
- 2026-11-02: add by m2/dev
R5BFS8T52C R5BFS8T52C
| URI | m2://inv/R5BFS8T52C |
|---|---|
| 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 math/0003117#49H2 (statement). In WD2NCBV9F0/e1, lemma 21.9
History
- 2026-10-27: add by m2/v0.3.5
John Couch Adams R5BG5EJHS3
| URI | m2://inv/R5BG5EJHS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Couch Adams, John Couch Adams (topic). Also Wikidata Q20015
History
- 2026-11-02: add by m2/dev
R5BV0S8X3D R5BV0S8X3D
| URI | m2://inv/R5BV0S8X3D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-2.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Johannes van der Corput R5BWERWV72
| URI | m2://inv/R5BWERWV72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes van der Corput, Johannes van der Corput (topic). Also Wikidata Q449106
History
- 2026-11-02: add by m2/dev
R5BXS9V88C R5BXS9V88C
| URI | m2://inv/R5BXS9V88C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 40.2
History
- 2026-11-01: add by m2/v0.6.13
Body wave (seismology) R5C0D3KDRG
| URI | m2://inv/R5C0D3KDRG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismic wave#7TUW, Body wave (seismology) (unknown)
History
- 2026-11-02: add by m2/dev
R5C3Z9B8J4 R5C3Z9B8J4
| URI | m2://inv/R5C3Z9B8J4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25063#92XE (problem)
History
- 2026-11-01: add by m2/v0.6.15
Properties R5C48E20N1
| URI | m2://inv/R5C48E20N1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diamond operation#4HDA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications R5C9R2Y3Q7
| URI | m2://inv/R5C9R2Y3Q7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BIO-LGCA#F3YN, Applications (example)
History
- 2026-11-02: add by m2/dev
Proposition 11.5, p. 135 R5CAFH234A
| URI | m2://inv/R5CAFH234A |
|---|---|
| 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.14548#GG7Q, Proposition 11.5, p. 135 (statement). In TTNKABAYVB/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
R5CAST1W8D R5CAST1W8D
| URI | m2://inv/R5CAST1W8D |
|---|---|
| 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 2409.03730#DDP9 (statement). In ADEX39KM1T/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.0
R5CGGM1G1S R5CGGM1G1S
| URI | m2://inv/R5CGGM1G1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#CU6A (statement). In 3D0GJXDY11/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
Een R5CMGSYRHC
| URI | m2://inv/R5CMGSYRHC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#06QX, Een (unknown)
History
- 2026-11-02: add by m2/dev
R5CPVSCQY0 R5CPVSCQY0
| URI | m2://inv/R5CPVSCQY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/inference-patterns.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 44.9.6
History
- 2026-11-01: add by m2/v0.6.13
Examples R5CTA25FFB
| URI | m2://inv/R5CTA25FFB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive polynomial#55ND, Examples (example)
History
- 2026-11-02: add by m2/dev
index of a subgroup R5CVYVXY06
| URI | m2://inv/R5CVYVXY06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Index of a subgroup 0DTXBQPA2S |
Mentions
- wikidata: Wikidata Q1464168, index of a subgroup (definition). Also MathWorld SubgroupIndex, nLab index of a subgroup, ProofWiki Definition:Index_of_Subgroup
- wikipedia: Wikipedia Index of a subgroup, Index of a subgroup (topic). Also Wikidata Q1464168
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
R5D4SM2X04 R5D4SM2X04
| URI | m2://inv/R5D4SM2X04 |
|---|---|
| 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#3663 (statement). In KJY735KSMF/e1, corollary 10.9
History
- 2026-10-28: add by m2/v0.4.2
R5DAX8797Y R5DAX8797Y
| URI | m2://inv/R5DAX8797Y |
|---|---|
| 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.20097#HYZ5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
R5DFS36WF5 R5DFS36WF5
| URI | m2://inv/R5DFS36WF5 |
|---|---|
| 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 1003.2117#GA8H (statement). In H4D4RFNH2V/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Graph energy R5DHW4255F
| URI | m2://inv/R5DHW4255F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph energy, Graph energy (definition). Also Wikidata Q5597087
History
- 2026-11-02: add by m2/dev
Examples R5DSJCRN7J
| URI | m2://inv/R5DSJCRN7J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema#NFR3, Examples (example)
History
- 2026-11-02: add by m2/dev
R5DX25ZCQG R5DX25ZCQG
| URI | m2://inv/R5DX25ZCQG |
|---|---|
| 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#IB8Q (statement). In PHXJ87HKYB/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
R5DX4PT1HW R5DX4PT1HW
| URI | m2://inv/R5DX4PT1HW |
|---|---|
| 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.06810#7PN0 (statement). In 1NY2SA03XF/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
R5DXMZFKGS R5DXMZFKGS
| URI | m2://inv/R5DXMZFKGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#48U2 (statement). In 43TBS9P2PX/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Coherent states in mathematical physics R5E0J7PK2Y
| URI | m2://inv/R5E0J7PK2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent states in mathematical physics, Coherent states in mathematical physics (definition). Also Wikidata Q5141365
History
- 2026-11-02: add by m2/dev
Procedures R5E7V55XG3
| URI | m2://inv/R5E7V55XG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fair division#AOZ2, Procedures (definition)
History
- 2026-11-02: add by m2/dev
R5E83XV7F7 R5E83XV7F7
| URI | m2://inv/R5E83XV7F7 |
|---|---|
| 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.26922#34C9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
iint R5E8Z9QR3H
| URI | m2://inv/R5E8Z9QR3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#9EZI, iint (definition)
History
- 2026-11-02: add by m2/dev
Set-theoretic limit R5EJB15P13
| URI | m2://inv/R5EJB15P13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-theoretic limit, Set-theoretic limit (definition). Also Wikidata Q1131116
History
- 2026-11-02: add by m2/dev
Simple-root normalizations R5ENF29P73
| URI | m2://inv/R5ENF29P73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#FKOZ, Simple-root normalizations (statement). In 1KRZ5ACTKE/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Group algebra R5EQ38NTY7
| URI | m2://inv/R5EQ38NTY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#WHXC, Group algebra (definition)
History
- 2026-11-02: add by m2/dev
R5F5EVAMTK R5F5EVAMTK
| URI | m2://inv/R5F5EVAMTK |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36186#D1E5 (problem). In 30PQN6JP7W/e1, problem 3
History
- 2026-10-27: add by m2/v0.3.5
Hausdorff dimension R5FKH9Z5K2
| URI | m2://inv/R5FKH9Z5K2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Hausdorff dimension, Hausdorff dimension (unknown). Also Mathlib dimH
History
- 2026-10-26: add by m2/dev
Bert Gerards R5FMBJESRA
| URI | m2://inv/R5FMBJESRA |
|---|---|
| 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#9HJ7, Bert Gerards (unknown)
History
- 2026-11-02: add by m2/dev
R5FT27FHKH R5FT27FHKH
| URI | m2://inv/R5FT27FHKH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#XYGA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Exploded pie chart R5FZMN2T49
| URI | m2://inv/R5FZMN2T49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pie chart#0W4I, Exploded pie chart (unknown)
History
- 2026-11-02: add by m2/dev
arcus secant R5G3QGBHE4
| URI | m2://inv/R5G3QGBHE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2284464, arcus secant (definition). Also MathWorld InverseSecant, ProofWiki Definition:Inverse_Secant
History
- 2026-10-26: add by m2/dev
Bear F. Braumoeller R5G6MEWNZZ
| URI | m2://inv/R5G6MEWNZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bear F. Braumoeller, Bear F. Braumoeller (topic). Also Wikidata Q102693128
History
- 2026-11-02: add by m2/dev
R5G7W8SEPK R5G7W8SEPK
| URI | m2://inv/R5G7W8SEPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05142#ISFK (statement). In 8A0HVCGRR8/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Definition R5G98MW8RA
| URI | m2://inv/R5G98MW8RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector autoregression#WH8Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
R5GA7N0WBA R5GA7N0WBA
| URI | m2://inv/R5GA7N0WBA |
|---|---|
| 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 2610.00409#WWCD (statement). In YQT2APQPWD/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
covariancy R5GG1P5178
| URI | m2://inv/R5GG1P5178 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#KIY2, covariancy (definition)
History
- 2026-11-02: add by m2/dev
R5GMDX8KEZ R5GMDX8KEZ
| URI | m2://inv/R5GMDX8KEZ |
|---|---|
| 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.30113#40DJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convergence of perturbations R5GPGA6ABW
| URI | m2://inv/R5GPGA6ABW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#O2X0, Convergence of perturbations (statement). In KM3Q791JY0/e1, corollary 3.28
History
- 2026-10-27: add by m2/v0.4.2
R5H1FXQR5T R5H1FXQR5T
| URI | m2://inv/R5H1FXQR5T |
|---|---|
| Kind | problem |
| 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.22272#FK3L (problem). In 4VZV5V0YD6/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
R5H26X93RP R5H26X93RP
| URI | m2://inv/R5H26X93RP |
|---|---|
| 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.17476#JQJY (statement). In 6HXD74FA4S/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
R5H5BQ5DPH R5H5BQ5DPH
| URI | m2://inv/R5H5BQ5DPH |
|---|---|
| Kind | statement |
| 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#4YU9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bijective function R5HFZQWAZ0
| URI | m2://inv/R5HFZQWAZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#EQD6, Bijective function (definition)
History
- 2026-11-02: add by m2/dev
R5HKSSH3KV R5HKSSH3KV
| URI | m2://inv/R5HKSSH3KV |
|---|---|
| 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.38138#C10C (statement). In G97FA99ZEF/e1, proposition 1.7
History
- 2026-10-30: add by m2/v0.4.12
Examples R5HS002Y1A
| URI | m2://inv/R5HS002Y1A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density (polytope)#E127, Examples (example)
History
- 2026-11-02: add by m2/dev
R5HVSNBGPH R5HVSNBGPH
| URI | m2://inv/R5HVSNBGPH |
|---|---|
| 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.32936#SEOH (statement). In QDBYK125AB/e1, corollary 1
History
- 2026-10-31: add by m2/v0.5.6
R5HXWPXXAF R5HXWPXXAF
| URI | m2://inv/R5HXWPXXAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 31.2
History
- 2026-11-01: add by m2/v0.6.13
R5J5WBWGTY R5J5WBWGTY
| URI | m2://inv/R5J5WBWGTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1502.03309#RDGH (statement). In HSW1350PNY/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Petri net R5JG5TB8S0
| URI | m2://inv/R5JG5TB8S0 |
|---|---|
| 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 2609.20478#W6OO, Petri net (definition)
History
- 2026-11-02: add by m2/v0.6.18
Rank-one zero-error rounding is weakly NP-complete R5JGZ5X1ES
| URI | m2://inv/R5JGZ5X1ES |
|---|---|
| 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.31641#9SNW, Rank-one zero-error rounding is weakly NP-complete (statement). In XC2HE3KXPM/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
R5JHP2ZG0P R5JHP2ZG0P
| URI | m2://inv/R5JHP2ZG0P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-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 2005.03073#DB56 (definition). In P2ETMXKVDS/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Berry–Robbins problem R5JJV8HF9G
| URI | m2://inv/R5JJV8HF9G |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berry–Robbins problem, Berry–Robbins problem (problem). Also Wikidata Q4894897
History
- 2026-11-02: add by m2/dev
R5JNF45M9Y R5JNF45M9Y
| URI | m2://inv/R5JNF45M9Y |
|---|---|
| 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 2506.09840#SDCQ (definition). In Y7TWHSF2HC/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
R5JNJC3NWB R5JNJC3NWB
| URI | m2://inv/R5JNJC3NWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00134#F746 (statement). In S654779J5P/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
R5JPSXQM4M R5JPSXQM4M
| URI | m2://inv/R5JPSXQM4M |
|---|---|
| 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 2112.05010#SVZ7 (definition). In 4SZNPS3Z00/e1, definition
History
- 2026-10-27: add by m2/v0.3.6
Quantitative research R5JQ9BN3VC
| URI | m2://inv/R5JQ9BN3VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative research, Quantitative research (definition). Also Wikidata Q730675
History
- 2026-11-02: add by m2/dev
graph, cover R5JQB4CQ7Q
| URI | m2://inv/R5JQB4CQ7Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.2/graph-cover, graph, cover (concept). In QKM9DD2H56, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Examples R5JSKEVH8Z
| URI | m2://inv/R5JSKEVH8Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted Lie algebra#AZGX, Examples (example)
History
- 2026-11-02: add by m2/dev
Character (mathematics) R5JW89XWJM
| URI | m2://inv/R5JW89XWJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#6TFM, Character (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
R5JZN7G2BV R5JZN7G2BV
| URI | m2://inv/R5JZN7G2BV |
|---|---|
| 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.17675#TULY (statement). In 7NMQ6QBYKZ/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Applications R5KA6VFHRJ
| URI | m2://inv/R5KA6VFHRJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes's law#F6EI, Applications (example)
History
- 2026-11-02: add by m2/dev
R5KMS5E0PE R5KMS5E0PE
| URI | m2://inv/R5KMS5E0PE |
|---|---|
| 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.18017#RLM0 (statement). In EBSQEQYECS/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
R5KTV66G3A R5KTV66G3A
| URI | m2://inv/R5KTV66G3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#thm:tarski (statement). In PKGMM3P5QY, thm, section 28.6
History
- 2026-11-01: add by m2/v0.6.13
R5KWVTPGB3 R5KWVTPGB3
| URI | m2://inv/R5KWVTPGB3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierpont prime#UBYM (problem)
History
- 2026-11-02: add by m2/dev
R5M2DQAAGF R5M2DQAAGF
| URI | m2://inv/R5M2DQAAGF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
SSS R5M4VGAGYN
| URI | m2://inv/R5M4VGAGYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SSS (cipher), SSS (definition). Also Wikidata Q7393069
History
- 2026-11-02: add by m2/dev
R5M510Y4YW R5M510Y4YW
| URI | m2://inv/R5M510Y4YW |
|---|---|
| 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.19463#PXM0 (statement). In Q4HWFFK0R9/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
3-sphere R5M6EF6HQ4
| URI | m2://inv/R5M6EF6HQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#S491, 3-sphere (definition)
History
- 2026-11-02: add by m2/dev
2^61-1 R5MKWAA6P4
| URI | m2://inv/R5MKWAA6P4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mersenne prime#WKTG, 2^61-1 (unknown)
History
- 2026-11-02: add by m2/dev
R5MYJYBA8G R5MYJYBA8G
| URI | m2://inv/R5MYJYBA8G |
|---|---|
| Kind | definition |
| 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.24577#MD35 (definition)
History
- 2026-11-01: add by m2/v0.6.15
R5MYTGZMSR R5MYTGZMSR
| URI | m2://inv/R5MYTGZMSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33573#YKZJ (statement). In ZT1Q1XDQ1W/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Flat cohomology R5N1JV2577
| URI | m2://inv/R5N1JV2577 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#IK8Q, Flat cohomology (definition)
History
- 2026-11-02: add by m2/dev
Pseudomanifold R5NB0SDEEQ
| URI | m2://inv/R5NB0SDEEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudomanifold, Pseudomanifold (definition). Also Wikidata Q4382849
History
- 2026-11-02: add by m2/dev
R5NM0FWC2K R5NM0FWC2K
| URI | m2://inv/R5NM0FWC2K |
|---|---|
| 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 2311.00918#WR4G (statement). In 2SMJ5V7FZ7/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
subanalytic R5NY172NB9
| URI | m2://inv/R5NY172NB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#56KO, subanalytic (definition)
History
- 2026-11-02: add by m2/dev
The SE dual is quasi-self-concordant R5P6S9C77E
| URI | m2://inv/R5P6S9C77E |
|---|---|
| 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.32558#L8GN, The SE dual is quasi-self-concordant (statement). In SGQS629QNK/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Freidlin–Wentzell theorem R5P8S5YBS2
| URI | m2://inv/R5P8S5YBS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5501344, Freidlin–Wentzell theorem (statement). Also Wikidata Q5501344
- thousand_plus: thousand_plus Q5501344, Freidlin–Wentzell theorem (statement). Also Wikidata Q5501344, Wikipedia Freidlin–Wentzell theorem
- wikipedia: Wikipedia Freidlin–Wentzell theorem, Freidlin–Wentzell theorem (statement). Also Wikidata Q5501344
History
- 2026-10-26: add by m2/dev
Philipp von Jolly R5P933702S
| URI | m2://inv/R5P933702S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3HC2, Philipp von Jolly (unknown)
History
- 2026-11-02: add by m2/dev
R5PEAK7JPV R5PEAK7JPV
| URI | m2://inv/R5PEAK7JPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14811#V90V (statement). In QA5CM6HNM1/e1, proposition 9.3
History
- 2026-10-28: add by m2/v0.4.2
R5PEN8XA2K R5PEN8XA2K
| URI | m2://inv/R5PEN8XA2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#A6QI (statement). In ZJQB9W60T6/e1, corollary 4.17
History
- 2026-10-28: add by m2/v0.4.2
Cardano's formula R5PV1VA4EH
| URI | m2://inv/R5PV1VA4EH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic equation#EO9B, Cardano's formula (unknown)
History
- 2026-11-02: add by m2/dev
spline R5PYY83P1W
| URI | m2://inv/R5PYY83P1W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spline 84TJ8KQ926 |
Mentions
- wikidata: Wikidata Q735256, spline (concept). Also MathWorld Spline
- wikipedia: Wikipedia Spline (mathematics), Spline (definition). Also Wikidata Q735256
History
- 2026-10-26: add by m2/dev
R5Q0RKYBWP R5Q0RKYBWP
| URI | m2://inv/R5Q0RKYBWP |
|---|---|
| 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 2507.05417#WSDP (statement). In RGHZ863Q26/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
R5Q0SSCGH4 R5Q0SSCGH4
| URI | m2://inv/R5Q0SSCGH4 |
|---|---|
| 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#HW9Q (statement). In EFDRME13PT/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
Extension R5Q2V9DVVD
| URI | m2://inv/R5Q2V9DVVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension (simplicial set), Extension (definition). Also Wikidata Q134017227
History
- 2026-11-02: add by m2/dev
Michael Dine R5Q6J46RDE
| URI | m2://inv/R5Q6J46RDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#JTGP, Michael Dine (unknown)
History
- 2026-11-02: add by m2/dev
Giovanni Camillo Glorioso R5QCNE01ES
| URI | m2://inv/R5QCNE01ES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Camillo Glorioso, Giovanni Camillo Glorioso (topic). Also Wikidata Q3107116
History
- 2026-11-02: add by m2/dev
R5QVG19G3P R5QVG19G3P
| URI | m2://inv/R5QVG19G3P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#example-1 (example). In RZP28ERRZV, example, section 39.1
History
- 2026-11-01: add by m2/v0.6.13
List of things named after Joseph Fourier R5RARZVYBM
| URI | m2://inv/R5RARZVYBM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#WEUS, List of things named after Joseph Fourier (topic)
History
- 2026-11-02: add by m2/dev
Oblique shock R5RKHAKSV2
| URI | m2://inv/R5RKHAKSV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oblique shock, Oblique shock (definition). Also Wikidata Q7075180
History
- 2026-11-02: add by m2/dev
R5RYKZ2V0P R5RYKZ2V0P
| URI | m2://inv/R5RYKZ2V0P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#example-4 (example). In Y91XFCEVHQ, example, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
uniqueness, principle, propositional, for univalence R5RZ94YNYN
| URI | m2://inv/R5RZ94YNYN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.10/uniqueness-principle-propositional-for-univalence, uniqueness, principle, propositional, for univalence (concept). In N54F33XE07, index, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
Examples R5S5NTABBR
| URI | m2://inv/R5S5NTABBR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonality (mathematics)#GAHF, Examples (example)
History
- 2026-11-02: add by m2/dev
Normal domain R5S95DAV9P
| URI | m2://inv/R5S95DAV9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrally closed domain#HUCI, Normal domain (unknown)
History
- 2026-11-02: add by m2/dev
R5SCTXXKWJ R5SCTXXKWJ
| URI | m2://inv/R5SCTXXKWJ |
|---|---|
| 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.33679#0EYC (statement). In 3N9E9T6AF5/e1, theorem 2.11
History
- 2026-10-30: add by m2/v0.4.12
Costate equation R5SF81TM1C
| URI | m2://inv/R5SF81TM1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Costate equation, Costate equation (definition). Also Wikidata Q5175070
History
- 2026-11-02: add by m2/dev
Backus–Naur form R5SGVD13D4
| URI | m2://inv/R5SGVD13D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q211577, Backus–Naur form (definition). Also ProofWiki Definition:Backus-Naur_Form
History
- 2026-10-26: add by m2/dev
R5SRC6C6TE R5SRC6C6TE
| URI | m2://inv/R5SRC6C6TE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2210.17066#8SH3 (definition). In X2AEJAQEP8/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Camille Jordan R5T0Q5JD0F
| URI | m2://inv/R5T0Q5JD0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#2AFK, Camille Jordan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ADB2, Camille Jordan (topic)
History
- 2026-11-02: add by m2/dev
Fermat's theorem on the sum of two squares R5T62QNK0P
| URI | m2://inv/R5T62QNK0P |
|---|---|
| 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.27049#TW1U, Fermat's theorem on the sum of two squares (statement)
History
- 2026-11-01: add by m2/v0.6.15
Irrelevant conclusion R5T72S99MD
| URI | m2://inv/R5T72S99MD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrelevant conclusion, Irrelevant conclusion (definition). Also Wikidata Q737677
History
- 2026-11-02: add by m2/dev
R5T9M7RHPD R5T9M7RHPD
| URI | m2://inv/R5T9M7RHPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#0UU5 (statement). In F3BKXXPR3K/e1, corollary 3.34
History
- 2026-10-27: add by m2/v0.4.2
Straightedge and compass construction R5TB91KFSE
| URI | m2://inv/R5TB91KFSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straightedge and compass construction, Straightedge and compass construction (definition). Also Wikidata Q115368
History
- 2026-11-02: add by m2/dev
Examples R5TWH2CBGG
| URI | m2://inv/R5TWH2CBGG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association fallacy#TS3K, Examples (example)
History
- 2026-11-02: add by m2/dev
sequent calculus R5V9Y448GR
| URI | m2://inv/R5V9Y448GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#DJZG, sequent calculus (definition)
History
- 2026-11-02: add by m2/dev
Stability in BDS R5VAXDXPYK
| URI | m2://inv/R5VAXDXPYK |
|---|---|
| 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.22338#HMJD, Stability in BDS (statement)
History
- 2026-11-02: add by m2/v0.6.17
integer polynomial R5VCMKXD2Z
| URI | m2://inv/R5VCMKXD2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130417258, integer polynomial (unknown). Also MathWorld IntegerPolynomial
History
- 2026-10-26: add by m2/dev
Properties R5VN8897K6
| URI | m2://inv/R5VN8897K6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CM-field#9NNV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Symmetric group R5VQJ404EK
| URI | m2://inv/R5VQJ404EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#I4ZF, Symmetric group (definition)
- wikipedia: Wikipedia List of group theory topics#R8HP, Symmetric group (definition)
- wikipedia: Wikipedia List of permutation topics#YR4J, Symmetric group (definition)
History
- 2026-11-02: add by m2/dev
R5W7KNFWVX R5W7KNFWVX
| URI | m2://inv/R5W7KNFWVX |
|---|---|
| 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.08912#M22V (statement). In DK5QY64NGH/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
Applications R5W7YZY4XJ
| URI | m2://inv/R5W7YZY4XJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor rank decomposition#92XU, Applications (example)
History
- 2026-11-02: add by m2/dev
Ishii--Nimura R5WBB6GPAZ
| URI | m2://inv/R5WBB6GPAZ |
|---|---|
| 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.16962#ATJL, Ishii--Nimura (statement). In KJC9FRS3C2/e1, theorem 10.4
History
- 2026-10-28: add by m2/v0.4.2
Properties R5WE7JZT18
| URI | m2://inv/R5WE7JZT18 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci word fractal#WU85, Properties (statement)
History
- 2026-11-02: add by m2/dev
standard map R5WVFT3FDF
| URI | m2://inv/R5WVFT3FDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Standard map 8TEV7CSX2H |
Mentions
- wikidata: Wikidata Q2257676, standard map (unknown). Also MathWorld StandardMap
- wikipedia: Wikipedia Standard map, Standard map (definition). Also Wikidata Q2257676
History
- 2026-10-26: add by m2/dev
R5WXR801T5 R5WXR801T5
| URI | m2://inv/R5WXR801T5 |
|---|---|
| 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.32383#9OUK (statement). In 94GZYA55Q5/e1, lemma 9
History
- 2026-10-31: add by m2/v0.5.6
R5WY14AGAN R5WY14AGAN
| URI | m2://inv/R5WY14AGAN |
|---|---|
| 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#BDRL (statement). In 160PQ7F1AS/e1, lemma 4.27
History
- 2026-10-29: add by m2/v0.4.12
Mittag-Leffler distribution R5X2CQ2T2W
| URI | m2://inv/R5X2CQ2T2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#TUHR, Mittag-Leffler distribution (definition)
History
- 2026-11-02: add by m2/dev
Patricia Hiddleston R5X5PQSG4V
| URI | m2://inv/R5X5PQSG4V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patricia Hiddleston, Patricia Hiddleston (topic). Also Wikidata Q69543263
History
- 2026-11-02: add by m2/dev
heptanacci number R5XBZS9B2B
| URI | m2://inv/R5XBZS9B2B |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18450843, heptanacci number (object). Also OEIS A122189
History
- 2026-10-26: add by m2/dev
Mikkel Thorup R5XDD475DQ
| URI | m2://inv/R5XDD475DQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TAAA, Mikkel Thorup (unknown)
History
- 2026-11-02: add by m2/dev
R5XE8HDFHM R5XE8HDFHM
| URI | m2://inv/R5XE8HDFHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#lemma:mvtmv (statement). In E59CDZA4DP, lemma, section 11.4.1
History
- 2026-11-01: add by m2/v0.6.13
Green's function for the three-variable Laplace equation R5XG82HSGG
| URI | m2://inv/R5XG82HSGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's function for the three-variable Laplace equation, Green's function for the three-variable Laplace equation (definition). Also Wikidata Q5602166
History
- 2026-11-02: add by m2/dev
R5XYEPR2QX R5XYEPR2QX
| URI | m2://inv/R5XYEPR2QX |
|---|---|
| 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#K93J (statement)
History
- 2026-11-01: add by m2/v0.6.15
R5Y3WGZF91 R5Y3WGZF91
| URI | m2://inv/R5Y3WGZF91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#QLT8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
R5YD2FWQZY R5YD2FWQZY
| URI | m2://inv/R5YD2FWQZY |
|---|---|
| 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.33068#63GE (statement). In V9Z9Z0V5Y0/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Roger Koenker R5YJQW5YQS
| URI | m2://inv/R5YJQW5YQS |
|---|---|
| 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#9T10, Roger Koenker (unknown)
History
- 2026-11-02: add by m2/dev
R5YMNE3PZ5 R5YMNE3PZ5
| URI | m2://inv/R5YMNE3PZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#QKTA (statement). In 9WP2QGKMG8/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Conference graph R5YQ8ZS9GA
| URI | m2://inv/R5YQ8ZS9GA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#O44S, Conference graph (definition)
History
- 2026-11-02: add by m2/dev
R5YSRQZCD7 R5YSRQZCD7
| URI | m2://inv/R5YSRQZCD7 |
|---|---|
| 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.23238#DC1O (statement)
History
- 2026-11-02: add by m2/v0.6.17
R5Z3K4D2TC R5Z3K4D2TC
| URI | m2://inv/R5Z3K4D2TC |
|---|---|
| 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 2609.25468#X9RX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Completion properties R5Z4ZYDGBA
| URI | m2://inv/R5Z4ZYDGBA |
|---|---|
| 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.00525#53S2, Completion properties (definition). In JN34PDDXH8/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
R5Z79SVDNA R5Z79SVDNA
| URI | m2://inv/R5Z79SVDNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26592#BGP5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
R5ZGEPHH77 R5ZGEPHH77
| URI | m2://inv/R5ZGEPHH77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#B2MF (statement). In 2RC8WXQ9ET/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
History of linear algebra R5ZPMEK087
| URI | m2://inv/R5ZPMEK087 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear algebra#CESG, History of linear algebra (unknown)
History
- 2026-11-02: add by m2/dev
R5ZVEENMF9 R5ZVEENMF9
| URI | m2://inv/R5ZVEENMF9 |
|---|---|
| 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.26041#1SK1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
James Mercer R5ZYDXWDQ1
| URI | m2://inv/R5ZYDXWDQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Mercer (mathematician), James Mercer (topic). Also Wikidata Q3710021
History
- 2026-11-02: add by m2/dev