Inventory rows RE
The cards of the rows of the inventory whose ids start with RE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
RE075Y52SK RE075Y52SK
| URI | m2://inv/RE075Y52SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#8D5L (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
pathological RE09E49NHE
| URI | m2://inv/RE09E49NHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#GL0W, pathological (definition)
History
- 2026-11-02: add by m2/dev
CRF polytope RE0R3TCHQH
| URI | m2://inv/RE0R3TCHQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blind polytope#GPOR, CRF polytope (unknown)
History
- 2026-11-02: add by m2/dev
Alternate segment theorem RE0SBM1YKQ
| URI | m2://inv/RE0SBM1YKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumcircle#0NJ8, Alternate segment theorem (unknown)
History
- 2026-11-02: add by m2/dev
/in RE0SWQ4H9D
| URI | m2://inv/RE0SWQ4H9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Element of a set#SULD, /in (unknown)
History
- 2026-11-02: add by m2/dev
On Conoids and Spheroids RE0TTZ6QAW
| URI | m2://inv/RE0TTZ6QAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia On Conoids and Spheroids, On Conoids and Spheroids (definition). Also Wikidata Q3976738
History
- 2026-11-02: add by m2/dev
Abstract mathematical problems RE0V0F6ZYF
| URI | m2://inv/RE0V0F6ZYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical problem#Z28X, Abstract mathematical problems (unknown)
History
- 2026-11-02: add by m2/dev
Average velocity RE0W5E3023
| URI | m2://inv/RE0W5E3023 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Velocity#4V8A, Average velocity (unknown)
History
- 2026-11-02: add by m2/dev
Lee Segel RE1185VCKZ
| URI | m2://inv/RE1185VCKZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J8UX, Lee Segel (unknown)
History
- 2026-11-02: add by m2/dev
RE158P809J RE158P809J
| URI | m2://inv/RE158P809J |
|---|---|
| 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.01273#U377 (statement). In RAT41DDR51/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
Green's conjecture RE15ZTXQFH
| URI | m2://inv/RE15ZTXQFH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#SEMZ, Green's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
RE19J9C2HB RE19J9C2HB
| URI | m2://inv/RE19J9C2HB |
|---|---|
| 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.04434#C5TP (statement). In EY0QS456EC/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
Lenglart's inequality RE1BPYNZ2V
| URI | m2://inv/RE1BPYNZ2V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#N45I, Lenglart's inequality (statement)
History
- 2026-11-02: add by m2/dev
Rank–nullity theorem RE1F3ZAPW8
| URI | m2://inv/RE1F3ZAPW8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IRNY, Rank–nullity theorem (statement)
History
- 2026-11-02: add by m2/dev
VSS RE1GPFH931
| URI | m2://inv/RE1GPFH931 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#2SC4, VSS (definition). In 5E9G06XJKC/e1, definition D.29
History
- 2026-10-28: add by m2/v0.4.2
RE1KT2SDZP RE1KT2SDZP
| URI | m2://inv/RE1KT2SDZP |
|---|---|
| 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 2308.05066#GIG0 (statement). In 1QSCT53ZED/e1, lemma 10.2
History
- 2026-10-27: add by m2/v0.4.0
Example RE1NJQY0CS
| URI | m2://inv/RE1NJQY0CS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Main effect#3A1N, Example (example)
History
- 2026-11-02: add by m2/dev
Constant-weight code RE224R24DS
| URI | m2://inv/RE224R24DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#53Z0, Constant-weight code (definition)
History
- 2026-11-02: add by m2/dev
Valentyn Mankin RE24F16KS8
| URI | m2://inv/RE24F16KS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#KBY0, Valentyn Mankin (unknown)
History
- 2026-11-02: add by m2/dev
RE2G7HA8BW RE2G7HA8BW
| URI | m2://inv/RE2G7HA8BW |
|---|---|
| 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.28594#NKBC (statement)
History
- 2026-11-01: add by m2/v0.6.15
RE2JTA4WNX RE2JTA4WNX
| URI | m2://inv/RE2JTA4WNX |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#0ZS2 (unknown). In SXTX59QBVT/e1, unknown 4.15
History
- 2026-10-27: add by m2/v0.3.5
RE2M474WGN RE2M474WGN
| URI | m2://inv/RE2M474WGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#3TP1 (statement). In 5RE15848Z0/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
RE2RSFYJ68 RE2RSFYJ68
| URI | m2://inv/RE2RSFYJ68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#6EV2 (statement). In BDN507RN7J/e1, proposition 3.5.19
History
- 2026-10-30: add by m2/v0.4.12
RE2WYD6BHX RE2WYD6BHX
| URI | m2://inv/RE2WYD6BHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#QBCA (statement). In X9WFC1D9ZS/e1, corollary 56
History
- 2026-10-27: add by m2/v0.4.2
RE324EX78H RE324EX78H
| URI | m2://inv/RE324EX78H |
|---|---|
| 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 2412.20001#P8LK (statement). In Y6YJSB93C3/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
RE36AKX4Q0 RE36AKX4Q0
| URI | m2://inv/RE36AKX4Q0 |
|---|---|
| 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.19260#5Q8W (statement). In PWXT7J9JX3/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
Heiner Zieschang RE3AV37G0S
| URI | m2://inv/RE3AV37G0S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heiner Zieschang, Heiner Zieschang (topic). Also Wikidata Q27427
History
- 2026-11-02: add by m2/dev
RE3BFSFK7T RE3BFSFK7T
| URI | m2://inv/RE3BFSFK7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#definition-9 (definition). In RZP28ERRZV, definition, section 89.5
History
- 2026-11-01: add by m2/v0.6.13
RE3BS67NVX RE3BS67NVX
| URI | m2://inv/RE3BS67NVX |
|---|---|
| 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.02395#BGYU (statement). In APA7TRPA87/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
RE3E3784DJ RE3E3784DJ
| URI | m2://inv/RE3E3784DJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#RP4P (definition). In XV70TXYS5A/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
cup product RE3F8PP7SZ
| URI | m2://inv/RE3F8PP7SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#4S3U, cup product (definition)
History
- 2026-11-02: add by m2/dev
Gopal Prasad RE3FXHDMP5
| URI | m2://inv/RE3FXHDMP5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E2I2, Gopal Prasad (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WDEO, Gopal Prasad (topic)
History
- 2026-11-02: add by m2/dev
RE3GAT57ZD RE3GAT57ZD
| URI | m2://inv/RE3GAT57ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#MZ4P (statement). In 7PACGDW3N7/e1, lemma 12.1
History
- 2026-10-27: add by m2/v0.4.0
Bramble–Hilbert lemma RE3N0B0TBB
| URI | m2://inv/RE3N0B0TBB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bramble–Hilbert lemma, Bramble–Hilbert lemma (statement). Also Wikidata Q1816909
History
- 2026-11-02: add by m2/dev
Perpendicular bisector construction of a quadrilateral RE3NRSC0AG
| URI | m2://inv/RE3NRSC0AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perpendicular bisector construction of a quadrilateral, Perpendicular bisector construction of a quadrilateral (definition). Also Wikidata Q25303646
History
- 2026-11-02: add by m2/dev
Sergey Mergelyan RE3T1H5RFE
| URI | m2://inv/RE3T1H5RFE |
|---|---|
| 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 Q2471305, Sergey Mergelyan (unknown). Also ProofWiki Mathematician:Sergey_Nikitovich_Mergelyan
History
- 2026-10-26: add by m2/dev
Bernstein's theorem RE3VY85K5M
| URI | m2://inv/RE3VY85K5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of functional analysis topics#4WEG, Bernstein's theorem (statement)
History
- 2026-11-02: add by m2/dev
Almgren's regularity theorem RE3XGFR4V2
| URI | m2://inv/RE3XGFR4V2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#7AYP, Almgren's regularity theorem (statement)
History
- 2026-11-02: add by m2/dev
Global Sobolev inequality on $\R^{n+m}$ RE3XMVNKJQ
| URI | m2://inv/RE3XMVNKJQ |
|---|---|
| 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.09001#OK35, Global Sobolev inequality on $\R^{n+m}$ (statement). In HJC1JJZRSH/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Integral monoid ring RE418CG2V2
| URI | m2://inv/RE418CG2V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#4N65, Integral monoid ring (definition)
History
- 2026-11-02: add by m2/dev
Conservation Reporting and Evaluation System RE4BEE6XZW
| URI | m2://inv/RE4BEE6XZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservation Reporting and Evaluation System, Conservation Reporting and Evaluation System (definition). Also Wikidata Q5162930
History
- 2026-11-02: add by m2/dev
Implementations RE4DEMNA23
| URI | m2://inv/RE4DEMNA23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Encryption Standard#GON8, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Hilbert's eleventh problem RE4KTQAE1P
| URI | m2://inv/RE4KTQAE1P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's eleventh problem, Hilbert's eleventh problem (problem). Also Wikidata Q5761146
History
- 2026-11-02: add by m2/dev
RE4M6JNRAG RE4M6JNRAG
| URI | m2://inv/RE4M6JNRAG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 46-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.05391#F4YV (example). In 9B5TNEBJHV/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.10
Misiurewicz point RE505VNXCJ
| URI | m2://inv/RE505VNXCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misiurewicz point, Misiurewicz point (definition). Also Wikidata Q5335720
History
- 2026-11-02: add by m2/dev
Elinor Ostrom RE52X8A7YT
| URI | m2://inv/RE52X8A7YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#W59R, Elinor Ostrom (unknown)
History
- 2026-11-02: add by m2/dev
RE53HB8CBM RE53HB8CBM
| URI | m2://inv/RE53HB8CBM |
|---|---|
| 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.04608#SP1K (statement). In ZYYMXYK7WJ/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
Michael Creutz RE58M57Z3E
| URI | m2://inv/RE58M57Z3E |
|---|---|
| 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 Q1927199, Michael Creutz (unknown). Also nLab Michael Creutz
History
- 2026-10-26: add by m2/dev
Decomposition of a module RE5MV94KNX
| URI | m2://inv/RE5MV94KNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition of a module, Decomposition of a module (definition). Also Wikidata Q85756139
History
- 2026-11-02: add by m2/dev
Leona May Peirce RE5NA3XTT1
| URI | m2://inv/RE5NA3XTT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leona May Peirce, Leona May Peirce (topic). Also Wikidata Q46847152
History
- 2026-11-02: add by m2/dev
Coalition RE5R13K0HG
| URI | m2://inv/RE5R13K0HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#Z3IT, Coalition (definition)
History
- 2026-11-02: add by m2/dev
Backward stochastic differential equation RE5VA3KMWH
| URI | m2://inv/RE5VA3KMWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backward stochastic differential equation, Backward stochastic differential equation (definition). Also Wikidata Q117031977
History
- 2026-11-02: add by m2/dev
RE5YMR10A2 RE5YMR10A2
| URI | m2://inv/RE5YMR10A2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31768#BG9F (statement). In WC7ZECEE3P/e1, proposition 3.6
History
- 2026-10-31: add by m2/v0.5.6
Stone–Weierstrass theorem RE600PTKZR
| URI | m2://inv/RE600PTKZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DREH, Stone–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
RE66VQDB7E RE66VQDB7E
| URI | m2://inv/RE66VQDB7E |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Leonhard Euler RE6780JS7J
| URI | m2://inv/RE6780JS7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#K5EK, Leonhard Euler (topic)
History
- 2026-11-02: add by m2/dev
RE68BR020X RE68BR020X
| URI | m2://inv/RE68BR020X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25477#XDHV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples RE69EAEZ6Z
| URI | m2://inv/RE69EAEZ6Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie groupoid#GUY5, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties RE6BMN6WPQ
| URI | m2://inv/RE6BMN6WPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski–Bouligand dimension#3NQX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definitions RE6C1Z5RF8
| URI | m2://inv/RE6C1Z5RF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RV coefficient#IF2R, Definitions (definition)
History
- 2026-11-02: add by m2/dev
RE6CK0P6JA RE6CK0P6JA
| URI | m2://inv/RE6CK0P6JA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14068#7SHK (statement). In JF19FEH3SW/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
RE6Q9PR5D6 RE6Q9PR5D6
| URI | m2://inv/RE6Q9PR5D6 |
|---|---|
| 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#K7V1 (statement). In ADEX39KM1T/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Examples RE6SN98WHS
| URI | m2://inv/RE6SN98WHS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer partition#XZDC, Examples (example)
History
- 2026-11-02: add by m2/dev
Fundamental plane RE6ZCQA7DJ
| URI | m2://inv/RE6ZCQA7DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental plane (spherical coordinates), Fundamental plane (definition). Also Wikidata Q2986043
History
- 2026-11-02: add by m2/dev
\textbf{Mixed system operator RE70WP86K7
| URI | m2://inv/RE70WP86K7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#OI50, \textbf{Mixed system operator (statement). In 7R33E8515R/e1, lemma 2.22
History
- 2026-10-28: add by m2/v0.4.2
first Royle graph RE760NNWCS
| URI | m2://inv/RE760NNWCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3401711, first Royle graph (unknown). Also House of Graphs 1294
History
- 2026-10-26: add by m2/dev
Posterization RE77WVM5FC
| URI | m2://inv/RE77WVM5FC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#00XL, Posterization (unknown)
History
- 2026-11-02: add by m2/dev
Partial stagnation RE7AF865CT
| URI | m2://inv/RE7AF865CT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10819#4GBQ, Partial stagnation (definition). In M96CSJBYGW/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
RE7AF9VP85 RE7AF9VP85
| URI | m2://inv/RE7AF9VP85 |
|---|---|
| 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 math/9602216#MULS (definition). In SD43497T8C/e1, definition 1.21
History
- 2026-10-27: add by m2/v0.3.5
Definition RE7AH7EMTT
| URI | m2://inv/RE7AH7EMTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real hyperelliptic curve#PL4C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Goldie's theorem RE7BKGSEJB
| URI | m2://inv/RE7BKGSEJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HDKV, Goldie's theorem (statement)
History
- 2026-11-02: add by m2/dev
generalized function RE7R7EH18B
| URI | m2://inv/RE7R7EH18B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q846537, generalized function (unknown). Also MathWorld GeneralizedFunction
- wikidata: Wikidata Q865811, distribution (unknown). Also MathWorld GeneralizedFunction
- wikipedia: Wikipedia Generalized function, Generalized function (definition). Also Wikidata Q846537
- wikipedia: Wikipedia Distribution (mathematical analysis), Distribution (definition). Also Wikidata Q865811
History
- 2026-10-26: add by m2/dev
RE7RFJWGKV RE7RFJWGKV
| URI | m2://inv/RE7RFJWGKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2609.24320#KCLW (statement)
History
- 2026-11-01: add by m2/v0.6.15
RE80SG394Q RE80SG394Q
| URI | m2://inv/RE80SG394Q |
|---|---|
| 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.26477#2DGY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jeffrey Goldstone RE82T70DEA
| URI | m2://inv/RE82T70DEA |
|---|---|
| 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 Q346895, Jeffrey Goldstone (unknown). Also nLab Jeffrey Goldstone
History
- 2026-10-26: add by m2/dev
foot RE862JJDX8
| URI | m2://inv/RE862JJDX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3710, foot (definition). Also ProofWiki Definition:FPS/Length/Foot
History
- 2026-10-26: add by m2/dev
Parametric equation RE885E2MPC
| URI | m2://inv/RE885E2MPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#LRYY, Parametric equation (definition)
History
- 2026-11-02: add by m2/dev
An $r_p(m)=1$ equality row RE890QTBBV
| URI | m2://inv/RE890QTBBV |
|---|---|
| Kind | example |
| 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.01328#D5GW, An $r_p(m)=1$ equality row (example). In GNY2MTPWW6/e1, example 8.2
History
- 2026-10-29: add by m2/v0.4.12
Grafting RE8CVA5J5Y
| URI | m2://inv/RE8CVA5J5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#9EXF, Grafting (statement)
History
- 2026-11-01: add by m2/v0.6.15
infinite sum RE8KY5D04T
| URI | m2://inv/RE8KY5D04T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Topological algebra > infinite sum, infinite sum (unknown). Also Mathlib HasSum
History
- 2026-10-26: add by m2/dev
Likelihood-ratio process RE8MTP8FJE
| URI | m2://inv/RE8MTP8FJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10080#BGWW, Likelihood-ratio process (statement). In N6EBNRZCYX/e1, lemma A.11
History
- 2026-10-29: add by m2/v0.4.10
Paradox assumes the rock has already been created RE8SFH8BP1
| URI | m2://inv/RE8SFH8BP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnipotence paradox#1J9T, Paradox assumes the rock has already been created (statement)
History
- 2026-11-02: add by m2/dev
Equilibrium pairs and limits of Gibbs ensembles RE8SX6T6S9
| URI | m2://inv/RE8SX6T6S9 |
|---|---|
| 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.25915#NUDY, Equilibrium pairs and limits of Gibbs ensembles (statement)
History
- 2026-11-01: add by m2/v0.6.15
RE8XZAVSS8 RE8XZAVSS8
| URI | m2://inv/RE8XZAVSS8 |
|---|---|
| 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#ESK4 (statement)
- arxiv: arXiv 2610.12012#TJJ9 (statement). In 1RXGXBQAHS/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
RE91FWEXS8 RE91FWEXS8
| URI | m2://inv/RE91FWEXS8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Potts zero-freeness RE9ABJV6X5
| URI | m2://inv/RE9ABJV6X5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#QHDL, Potts zero-freeness (statement). In 5XPM4E03W6/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Definition RE9B6QZPGB
| URI | m2://inv/RE9B6QZPGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct image functor#VLN3, Definition (definition)
History
- 2026-11-02: add by m2/dev
RE9BBVES0Y RE9BBVES0Y
| URI | m2://inv/RE9BBVES0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22964#SETK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bias (statistics) RE9J0CSQ5X
| URI | m2://inv/RE9J0CSQ5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J3CD, Bias (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Componentwise operation RE9QYVJGZC
| URI | m2://inv/RE9QYVJGZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise#D0L2, Componentwise operation (unknown)
History
- 2026-11-02: add by m2/dev
REA1VP5AFD REA1VP5AFD
| URI | m2://inv/REA1VP5AFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#S06L (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples REA8QGSK5P
| URI | m2://inv/REA8QGSK5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cunningham chain#8ZAR, Examples (example)
History
- 2026-11-02: add by m2/dev
Complete monoid REAA5E2WCK
| URI | m2://inv/REAA5E2WCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid#1QLA, Complete monoid (unknown)
History
- 2026-11-02: add by m2/dev
REAH878NPK REAH878NPK
| URI | m2://inv/REAH878NPK |
|---|---|
| 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.20316#AWU0 (statement). In YRJS76169Z/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Manifold decomposition REAMYCQE0K
| URI | m2://inv/REAMYCQE0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#QPF4, Manifold decomposition (definition)
History
- 2026-11-02: add by m2/dev
ΔP REAQF73YWM
| URI | m2://inv/REAQF73YWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ΔP, ΔP (definition). Also Wikidata Q8083978
History
- 2026-11-02: add by m2/dev
Corollary 1 REAS65427B
| URI | m2://inv/REAS65427B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#2MGR, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
Formulation REAVJ3X5TN
| URI | m2://inv/REAVJ3X5TN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interchange of limiting operations#VY0B, Formulation (definition)
History
- 2026-11-02: add by m2/dev
dimensional analysis REAX3KCBXS
| URI | m2://inv/REAX3KCBXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q217113, dimensional analysis (definition). Also EoM Dimensional_analysis, ProofWiki Definition:Dimensional_Analysis
- wikipedia: Wikipedia Dimensional analysis, Dimensional analysis (definition). Also Wikidata Q217113
History
- 2026-10-26: add by m2/dev
REB4A8D0SY REB4A8D0SY
| URI | m2://inv/REB4A8D0SY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#U6IC (definition). In CY1FE8W1ZW/e1, definition 0.151
History
- 2026-10-27: add by m2/v0.4.0
Birkhoff's theorem REB5H8PR3G
| URI | m2://inv/REB5H8PR3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper and lower sets#S7XS, Birkhoff's theorem (statement)
History
- 2026-11-02: add by m2/dev
REBAHKAAWM REBAHKAAWM
| URI | m2://inv/REBAHKAAWM |
|---|---|
| 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 1002.0879#XYJ6 (definition). In M0SQY5EZN5/e1, definition 1.1.4
History
- 2026-10-27: add by m2/v0.3.5
REBNXEWQMM REBNXEWQMM
| URI | m2://inv/REBNXEWQMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.25539#FVTK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ron Aharoni REBSCJKX20
| URI | m2://inv/REBSCJKX20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ron Aharoni, Ron Aharoni (topic). Also Wikidata Q7363457
History
- 2026-11-02: add by m2/dev
REBTRXKFAS REBTRXKFAS
| URI | m2://inv/REBTRXKFAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-13 (statement). In VNMV985MXX, prop, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Properties REBWNJ72E6
| URI | m2://inv/REBWNJ72E6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental number#S663, Properties (statement)
History
- 2026-11-02: add by m2/dev
REC0YAEE7A REC0YAEE7A
| URI | m2://inv/REC0YAEE7A |
|---|---|
| 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 2603.26376#LVU8 (statement). In PJAT9YDX7Y/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.4.0
Splitter (geometry) REC3T0ZZJE
| URI | m2://inv/REC3T0ZZJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#2CZ6, Splitter (geometry) (definition)
History
- 2026-11-02: add by m2/dev
The induced $\sigma$-algebra REC5KDKJ0Q
| URI | m2://inv/REC5KDKJ0Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.26270#YRJN, The induced $\sigma$-algebra (definition)
History
- 2026-11-01: add by m2/v0.6.15
Tangential angle REC6CF3N01
| URI | m2://inv/REC6CF3N01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#D171, Tangential angle (definition)
History
- 2026-11-02: add by m2/dev
REC81D0KMP REC81D0KMP
| URI | m2://inv/REC81D0KMP |
|---|---|
| Kind | statement |
| 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#54TB (statement). In ATSYBWEMMP/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
REC86JREF6 REC86JREF6
| URI | m2://inv/REC86JREF6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#QK5Q (definition). In PG0B4PH9YH/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.2
RECDBPCB29 RECDBPCB29
| URI | m2://inv/RECDBPCB29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#DPHZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
RECDZATBYP RECDZATBYP
| URI | m2://inv/RECDZATBYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.32233#J7SZ (statement). In V42PPD7SWH/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Gregory Moore RECJAGMY1A
| URI | m2://inv/RECJAGMY1A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#XI8C, Gregory Moore (unknown)
History
- 2026-11-02: add by m2/dev
RECKW5A9X0 RECKW5A9X0
| URI | m2://inv/RECKW5A9X0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#7Y7L (statement). In 79H1DEK4M9/e1, theorem 5.8
History
- 2026-10-29: add by m2/v0.4.10
Kodaira embedding theorem RECNXCETWY
| URI | m2://inv/RECNXCETWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kodaira embedding theorem#F01J, Kodaira embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
RECRPEPCV6 RECRPEPCV6
| URI | m2://inv/RECRPEPCV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#IVFP (statement). In EZ6PAF0MXH/e1, corollary 6.3
History
- 2026-10-27: add by m2/v0.3.5
RECSH52SQW RECSH52SQW
| URI | m2://inv/RECSH52SQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#JJ4L (statement). In WSG1ZW956E/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
geometric quantization RECTE03WGG
| URI | m2://inv/RECTE03WGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 53D50 |
| Sources | 2 |
| Outcome | open |
| Node | Geometric quantization FG33N4ZHDG |
Mentions
- wikidata: Wikidata Q630426, geometric quantization (topic). Also nLab geometric quantization
- wikipedia: Wikipedia Geometric quantization, Geometric quantization (definition). Also Wikidata Q630426
History
- 2026-10-26: add by m2/dev
Extremal partial trace RECY0H6JD2
| URI | m2://inv/RECY0H6JD2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#I5JB, Extremal partial trace (statement)
History
- 2026-11-02: add by m2/dev
RED67DVS0P RED67DVS0P
| URI | m2://inv/RED67DVS0P |
|---|---|
| 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#M56J (statement)
History
- 2026-11-01: add by m2/v0.6.15
RED6WXECJY RED6WXECJY
| URI | m2://inv/RED6WXECJY |
|---|---|
| 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 2203.00606#2H4W (statement). In 3WBQFVX65D/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
REDAA4S3AV REDAA4S3AV
| URI | m2://inv/REDAA4S3AV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 8.14
History
- 2026-11-01: add by m2/v0.6.13
433 symmetry REDBBA055D
| URI | m2://inv/REDBBA055D |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#IAGU, 433 symmetry (object)
History
- 2026-11-02: add by m2/dev
REDFXR01NS REDFXR01NS
| URI | m2://inv/REDFXR01NS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20422#89WZ (definition). In HCH89W5Y2C/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.2
Scarborough criterion REDQR8NVVT
| URI | m2://inv/REDQR8NVVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scarborough criterion, Scarborough criterion (statement). Also Wikidata Q25303685
History
- 2026-11-02: add by m2/dev
Laurent polynomial REE1KMZ0SQ
| URI | m2://inv/REE1KMZ0SQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#DA4L, Laurent polynomial (definition)
History
- 2026-11-02: add by m2/dev
REE1VV9TZ7 REE1VV9TZ7
| URI | m2://inv/REE1VV9TZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#SK73 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Technometrics REE50C039Z
| URI | m2://inv/REE50C039Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#R0LO, Technometrics (definition)
History
- 2026-11-02: add by m2/dev
REEK3CR4K4 REEK3CR4K4
| URI | m2://inv/REEK3CR4K4 |
|---|---|
| Kind | example |
| 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.17240#DEKM (example). In 59BZ4V9RQW/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
Limit dissipation inequality REEKB91V86
| URI | m2://inv/REEKB91V86 |
|---|---|
| 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.03242#MLD8, Limit dissipation inequality (statement). In MJE6HRC6PX/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.12
Almost commutative ring REENGH5HJY
| URI | m2://inv/REENGH5HJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost commutative ring, Almost commutative ring (definition). Also Wikidata Q4733997
History
- 2026-11-02: add by m2/dev
Terminology REERVC0QCV
| URI | m2://inv/REERVC0QCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic expression#2JE2, Terminology (definition)
History
- 2026-11-02: add by m2/dev
REF0STZ6DQ REF0STZ6DQ
| URI | m2://inv/REF0STZ6DQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#KK7L (statement). In M98F6VRPZ2/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Display resolution REF2TRVKSQ
| URI | m2://inv/REF2TRVKSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#DT1N, Display resolution (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 1 REF7RZBX1Q
| URI | m2://inv/REF7RZBX1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard code#QGRE, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Hanna Neumann REF85D8J6P
| URI | m2://inv/REF85D8J6P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2YDS, Hanna Neumann (topic)
History
- 2026-11-02: add by m2/dev
Examples REF8W94N8C
| URI | m2://inv/REF8W94N8C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simpson's rule#Q43L, Examples (example)
History
- 2026-11-02: add by m2/dev
REFFM93RJZ REFFM93RJZ
| URI | m2://inv/REFFM93RJZ |
|---|---|
| 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.25390#VPJR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Erdős–Graham conjecture REFJ8YESP1
| URI | m2://inv/REFJ8YESP1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#Y7GR, Erdős–Graham conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Hodge structure REFPT7KH1Q
| URI | m2://inv/REFPT7KH1Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hodge structure ZSM083M97C |
Mentions
- wikidata: Wikidata Q4444341, Hodge structure (concept). Also nLab Hodge structure
- wikipedia: Wikipedia Hodge structure, Hodge structure (definition). Also Wikidata Q4444341
History
- 2026-10-26: add by m2/dev
Ideal magnetohydrodynamics REFPZ3W78V
| URI | m2://inv/REFPZ3W78V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetohydrodynamics#NLHG, Ideal magnetohydrodynamics (unknown)
History
- 2026-11-02: add by m2/dev
Sparse grid REG5TN52CD
| URI | m2://inv/REG5TN52CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#FCYJ, Sparse grid (definition)
History
- 2026-11-02: add by m2/dev
First-order achievability for a fixed channel REG7YSD2PT
| URI | m2://inv/REG7YSD2PT |
|---|---|
| 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.29688#EBWQ, First-order achievability for a fixed channel (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jacobson density theorem REGAWX9FZ0
| URI | m2://inv/REGAWX9FZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17098298, Jacobson density theorem (statement). Also Mathlib jacobson_density, Wikidata Q17098298
- thousand_plus: thousand_plus Q17098298, Jacobson density theorem (statement). Also Mathlib jacobson_density, Wikidata Q17098298, Wikipedia Jacobson density theorem
- wikipedia: Wikipedia Jacobson density theorem, Jacobson density theorem (statement). Also Wikidata Q17098298
History
- 2026-10-26: add by m2/dev
REGBJY9V3Z REGBJY9V3Z
| URI | m2://inv/REGBJY9V3Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
REGCEDPS7Q REGCEDPS7Q
| URI | m2://inv/REGCEDPS7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#W0K1 (statement). In 6KR7Z5ETRY/e1, lemma 2.48
History
- 2026-10-27: add by m2/v0.3.5
Local completeness REGMH9E1Z4
| URI | m2://inv/REGMH9E1Z4 |
|---|---|
| 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 2609.26996#L8GN, Local completeness (statement). In FP7Z8PJ4AW/e1, lemma D.1
History
- 2026-10-27: add by m2/v0.3.5
Rational series REGZMSG6WZ
| URI | m2://inv/REGZMSG6WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational series, Rational series (definition). Also Wikidata Q24906027
History
- 2026-11-02: add by m2/dev
REH0PJ623B REH0PJ623B
| URI | m2://inv/REH0PJ623B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16989#54OL (statement). In 4769XNDWYS/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Weakly additive REH7Y1CHXN
| URI | m2://inv/REH7Y1CHXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly additive, Weakly additive (definition). Also Wikidata Q7977976
History
- 2026-11-02: add by m2/dev
Implementation REHD0GTEE2
| URI | m2://inv/REHD0GTEE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic differentiation#IP8P, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Poincaré lemma REHS9FZ7QF
| URI | m2://inv/REHS9FZ7QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#CXML, Poincaré lemma (statement)
History
- 2026-11-02: add by m2/dev
REHSYK0HH1 REHSYK0HH1
| URI | m2://inv/REHSYK0HH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#ZR78 (statement). In 9ZSNSJRJ5N/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Corollary 2. The law of cosines REHTWCAWK8
| URI | m2://inv/REHTWCAWK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemy's theorem#AZ2X, Corollary 2. The law of cosines (statement)
History
- 2026-11-02: add by m2/dev
Motivic homology REHWMDEZQ2
| URI | m2://inv/REHWMDEZQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motivic cohomology#WE5T, Motivic homology (unknown)
History
- 2026-11-02: add by m2/dev
Implementation REJ5PPGMX4
| URI | m2://inv/REJ5PPGMX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SYN cookies#I31D, Implementation (definition)
History
- 2026-11-02: add by m2/dev
REJ8VW8YBX REJ8VW8YBX
| URI | m2://inv/REJ8VW8YBX |
|---|---|
| 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.21298#9CGM (statement). In AXWM2MBYXV/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Theorem REJBEPW0BG
| URI | m2://inv/REJBEPW0BG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular point of a curve#IZ0O, Theorem (statement)
History
- 2026-11-02: add by m2/dev
REJKG51NBP REJKG51NBP
| URI | m2://inv/REJKG51NBP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#6167 (definition). In XJ59TDP4HA/e1, definition 2.12
History
- 2026-10-28: add by m2/v0.4.2
REJN8FTXKF REJN8FTXKF
| URI | m2://inv/REJN8FTXKF |
|---|---|
| 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.28297#Q8D1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
REJNJ26P1W REJNJ26P1W
| URI | m2://inv/REJNJ26P1W |
|---|---|
| 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.32834#5T5M (statement). In N4M6B8EMCW/e1, theorem 3.8
History
- 2026-10-31: add by m2/v0.5.6
Boolean incidence-history Hamiltonian REJPM8199R
| URI | m2://inv/REJPM8199R |
|---|---|
| Kind | definition |
| 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.14081#3ZKR, Boolean incidence-history Hamiltonian (definition). In DCCKKQ7Y21/e1, definition V.1
History
- 2026-10-28: add by m2/v0.4.2
REJPX4KXNR REJPX4KXNR
| URI | m2://inv/REJPX4KXNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/ch_probmeth.ptx#lem_r33 (statement). In QKM9DD2H56, lemma, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
REJRWAXX25 REJRWAXX25
| URI | m2://inv/REJRWAXX25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#definition-3 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
REJZBD0CJ9 REJZBD0CJ9
| URI | m2://inv/REJZBD0CJ9 |
|---|---|
| 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 2207.07461#M2VA (statement). In GAG532VMPF/e1, lemma 3.2.4
History
- 2026-10-27: add by m2/v0.3.5
Logic in China REK0BTRYKM
| URI | m2://inv/REK0BTRYKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic in China, Logic in China (definition). Also Wikidata Q6667459
History
- 2026-11-02: add by m2/dev
neat REK47X1VM5
| URI | m2://inv/REK47X1VM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#Y3MK, neat (definition)
History
- 2026-11-02: add by m2/dev
Definitions REK748MR6P
| URI | m2://inv/REK748MR6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid minor#CT9Z, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Cynthia Clark REKAFH4VE2
| URI | m2://inv/REKAFH4VE2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cynthia Clark, Cynthia Clark (topic). Also Wikidata Q60076111
History
- 2026-11-02: add by m2/dev
REKFP09T90 REKFP09T90
| URI | m2://inv/REKFP09T90 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
Fourt–Woodlock equation REM03GJEP2
| URI | m2://inv/REM03GJEP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourt–Woodlock equation, Fourt–Woodlock equation (definition). Also Wikidata Q5475888
History
- 2026-11-02: add by m2/dev
REM36JSM1E REM36JSM1E
| URI | m2://inv/REM36JSM1E |
|---|---|
| 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 2509.05577#4PUN (statement). In EFWBREMZAP/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Gödel's slingshot argument REM39CCSJ1
| URI | m2://inv/REM39CCSJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NHT5, Gödel's slingshot argument (definition)
History
- 2026-11-02: add by m2/dev
Uniform one-saddle asymptotic REM6GXKNQ9
| URI | m2://inv/REM6GXKNQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.09602#NXX5, Uniform one-saddle asymptotic (statement). In 4AQ48WSBDQ/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Definition REM8GP42EK
| URI | m2://inv/REM8GP42EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore plane#OYP7, Definition (definition)
History
- 2026-11-02: add by m2/dev
REMKF16T3T REMKF16T3T
| URI | m2://inv/REMKF16T3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2608.19483#LP7E (statement). In M2PEDAF7AX/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
jump discontinuity REMR0TSTNE
| URI | m2://inv/REMR0TSTNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#BG0C, jump discontinuity (definition)
History
- 2026-11-02: add by m2/dev
Column-fan gluing REMZ55ARC6
| URI | m2://inv/REMZ55ARC6 |
|---|---|
| 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.05442#GNSE, Column-fan gluing (statement). In WEPE51JCHZ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
formal language REN072THGZ
| URI | m2://inv/REN072THGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192161, formal language (unknown). Also MathWorld FormalLanguage
- wikipedia: Wikipedia Formal language, Formal language (definition). Also Wikidata Q192161
History
- 2026-10-26: add by m2/dev
REN3MKYGZB REN3MKYGZB
| URI | m2://inv/REN3MKYGZB |
|---|---|
| Kind | statement |
| 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#GN2E (statement)
History
- 2026-11-01: add by m2/v0.6.15
REN770ZSH6 REN770ZSH6
| URI | m2://inv/REN770ZSH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#2F29 (statement)
History
- 2026-11-01: add by m2/v0.6.15
REN9ZG90EG REN9ZG90EG
| URI | m2://inv/REN9ZG90EG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#example-3 (example). In RZP28ERRZV, example, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
RENDEFRWZJ RENDEFRWZJ
| URI | m2://inv/RENDEFRWZJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#K0M5 (example). In XHSKEPT3VD/e1, example 2.7
History
- 2026-10-28: add by m2/v0.4.2
RENHQ1B9XV RENHQ1B9XV
| URI | m2://inv/RENHQ1B9XV |
|---|---|
| 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 0904.2839#AQ9I (statement). In 2P34N0GWS1/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
RENMFMAPTH RENMFMAPTH
| URI | m2://inv/RENMFMAPTH |
|---|---|
| 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.13931#JJU7 (statement). In EXA79VR78Q/e1, lemma A.7
History
- 2026-10-28: add by m2/v0.4.2
Milnor number RENRVYMG48
| URI | m2://inv/RENRVYMG48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor number, Milnor number (definition). Also Wikidata Q6860251
History
- 2026-11-02: add by m2/dev
Brauer–Wall group RENYM4DBDC
| URI | m2://inv/RENYM4DBDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer–Wall group, Brauer–Wall group (definition). Also Wikidata Q4958231
History
- 2026-11-02: add by m2/dev
Brown, Jennifer REP8CMGJ8X
| URI | m2://inv/REP8CMGJ8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C3OW, Brown, Jennifer (topic)
History
- 2026-11-02: add by m2/dev
Mosteller, Frederick REPF53HDEC
| URI | m2://inv/REPF53HDEC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DIC3, Mosteller, Frederick (topic)
History
- 2026-11-02: add by m2/dev
Chapoton's flag expansion REPFYXDFPN
| URI | m2://inv/REPFYXDFPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#9MCM, Chapoton's flag expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
REPNN87ECR REPNN87ECR
| URI | m2://inv/REPNN87ECR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#1I9H (definition). In 8MDK189ZMB/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Metric lacunarity law REPNVQMEA6
| URI | m2://inv/REPNVQMEA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#850L, Metric lacunarity law (statement). In 7HXP270BD0/e1, theorem 3.21
History
- 2026-10-30: add by m2/v0.4.12
Census REPQXE8012
| URI | m2://inv/REPQXE8012 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census, Census (definition). Also Wikidata Q39825
History
- 2026-11-02: add by m2/dev
REPRQ4MD3D REPRQ4MD3D
| URI | m2://inv/REPRQ4MD3D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/finiteaxiomatizability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 73.7
History
- 2026-11-01: add by m2/v0.6.13
Cavalieri's quadrature formula REPSR0SAFF
| URI | m2://inv/REPSR0SAFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#M3Y4, Cavalieri's quadrature formula (statement)
History
- 2026-11-02: add by m2/dev
Rota's conjecture REQ3CED0FH
| URI | m2://inv/REQ3CED0FH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rota's conjecture, Rota's conjecture (statement). Also Wikidata Q7370201
History
- 2026-11-02: add by m2/dev
REQCNR7KVB REQCNR7KVB
| URI | m2://inv/REQCNR7KVB |
|---|---|
| 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.13103#R073 (statement). In GG2ZZV6KEQ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Example REQP3FFWFF
| URI | m2://inv/REQP3FFWFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension function#PE4O, Example (example)
History
- 2026-11-02: add by m2/dev
Euler characteristics of strata REQRHYNN0S
| URI | m2://inv/REQRHYNN0S |
|---|---|
| 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#A8W6, Euler characteristics of strata (statement). In ADEX39KM1T/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
matrix ring REQRM2HAPN
| URI | m2://inv/REQRM2HAPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Matrix ring 0FHVPRAE60 |
Mentions
- wikidata: Wikidata Q2915729, matrix ring (unknown). Also EoM Matrix_ring, nLab matrix algebra
- wikipedia: Wikipedia Matrix ring, Matrix ring (definition). Also Wikidata Q2915729
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Finite-sample Hellinger-modulus upper bound REQRR4XQYP
| URI | m2://inv/REQRR4XQYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21363#MP4W, Finite-sample Hellinger-modulus upper bound (statement). In YPH7NS5AAQ/e1, theorem B.2
History
- 2026-10-27: add by m2/v0.4.2
Gaussian process approximations REQS0DFR0P
| URI | m2://inv/REQS0DFR0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian process approximations, Gaussian process approximations (definition). Also Wikidata Q104845015
History
- 2026-11-02: add by m2/dev
Averaging long-range interactions REQY9N8A4B
| URI | m2://inv/REQY9N8A4B |
|---|---|
| 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.10935#LXWC, Averaging long-range interactions (statement). In 7X27KRAHCE/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.3
Graciela Boente RER1J524MM
| URI | m2://inv/RER1J524MM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graciela Boente, Graciela Boente (topic). Also Wikidata Q56043373
History
- 2026-11-02: add by m2/dev
Green's first identity RER2KVKFJH
| URI | m2://inv/RER2KVKFJH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by parts#01Y8, Green's first identity (statement)
History
- 2026-11-02: add by m2/dev
Compound of twelve pentagrammic prisms RER8EYPPBN
| URI | m2://inv/RER8EYPPBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TC3T, Compound of twelve pentagrammic prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YG88, Compound of twelve pentagrammic prisms (definition)
History
- 2026-11-02: add by m2/dev
RERBET7S7T RERBET7S7T
| URI | m2://inv/RERBET7S7T |
|---|---|
| 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#SGNZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
REREKX41YR REREKX41YR
| URI | m2://inv/REREKX41YR |
|---|---|
| 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.05708#UMEH (statement). In 3BJPFGJNSS/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Software for plotting slope fields REREQVK2K8
| URI | m2://inv/REREQVK2K8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slope field#FEHZ, Software for plotting slope fields (unknown)
History
- 2026-11-02: add by m2/dev
RERJHTRW84 RERJHTRW84
| URI | m2://inv/RERJHTRW84 |
|---|---|
| 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 2304.03611#7GJW (statement). In 75E8ZB1CBV/e1, corollary 4.1.2
History
- 2026-10-27: add by m2/v0.4.0
Statement RERVZX6R4D
| URI | m2://inv/RERVZX6R4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael's theorem on paracompact spaces#RF9M, Statement (statement)
History
- 2026-11-02: add by m2/dev
Half-disk topology RES6HF42TQ
| URI | m2://inv/RES6HF42TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-disk topology, Half-disk topology (definition). Also Wikidata Q5641600
History
- 2026-11-02: add by m2/dev
RES9QNBWK8 RES9QNBWK8
| URI | m2://inv/RES9QNBWK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#VDBE (statement). In 8MDK189ZMB/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
RSA-240 RESB8HY5W7
| URI | m2://inv/RESB8HY5W7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#5OK0, RSA-240 (unknown)
History
- 2026-11-02: add by m2/dev
Interval carriers RESCZHJ46X
| URI | m2://inv/RESCZHJ46X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39824#RK80, Interval carriers (statement). In REPGS464V6/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Positive rational powers RESJ394YBH
| URI | m2://inv/RESJ394YBH |
|---|---|
| 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.10192#ZJBV, Positive rational powers (statement). In CEV9Q1KZY7/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.10
RESWD3SFAZ RESWD3SFAZ
| URI | m2://inv/RESWD3SFAZ |
|---|---|
| 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.32829#8EKJ (statement). In RYWAX33Z51/e1, lemma 4.18
History
- 2026-10-31: add by m2/v0.5.6
RESZAK6H9S RESZAK6H9S
| URI | m2://inv/RESZAK6H9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop-2 (statement). In E59CDZA4DP, prop, section 1.3.3
History
- 2026-11-01: add by m2/v0.6.13
\emph{Axial, generic and cuspidal eta quotients RET25E5JCY
| URI | m2://inv/RET25E5JCY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10576#N22R, \emph{Axial, generic and cuspidal eta quotients (definition). In N3ZA5MDZBW/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Examples RETA54H8TM
| URI | m2://inv/RETA54H8TM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded rationality#HR58, Examples (example)
History
- 2026-11-02: add by m2/dev
Extensional context RETE3JCWN7
| URI | m2://inv/RETE3JCWN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensional context, Extensional context (definition). Also Wikidata Q422730
History
- 2026-11-02: add by m2/dev
Two-ended normalized primitive RETGR1999X
| URI | m2://inv/RETGR1999X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#8S1G, Two-ended normalized primitive (statement)
History
- 2026-11-01: add by m2/v0.6.15
Peano postulates RETM8E6244
| URI | m2://inv/RETM8E6244 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.7/peano-postulates, Peano postulates (concept). In QKM9DD2H56, index, section B.7
History
- 2026-11-01: add by m2/v0.6.13
Furry's theorem RETQ66231T
| URI | m2://inv/RETQ66231T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HIY7, Furry's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition RETRKQ6WFG
| URI | m2://inv/RETRKQ6WFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Force-free magnetic field#UCXG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Beth Ann Griffin RETXH2YZ2A
| URI | m2://inv/RETXH2YZ2A |
|---|---|
| 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#FIO4, Beth Ann Griffin (unknown)
History
- 2026-11-02: add by m2/dev
REV09VM191 REV09VM191
| URI | m2://inv/REV09VM191 |
|---|---|
| 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 2302.07710#BWJ5 (statement). In WD3CVPPH6H/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
REV0B32ED5 REV0B32ED5
| URI | m2://inv/REV0B32ED5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25843#USQ9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Making Connections Survey REV6337G0X
| URI | m2://inv/REV6337G0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Making Connections Survey, Making Connections Survey (definition). Also Wikidata Q6739576
History
- 2026-11-02: add by m2/dev
REV8PASJQQ REV8PASJQQ
| URI | m2://inv/REV8PASJQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#4RB1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
REVCV4KEFG REVCV4KEFG
| URI | m2://inv/REVCV4KEFG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.12141#FLIW (example). In V980ZMH759/e1, example 2.12
History
- 2026-10-27: add by m2/v0.4.0
REVDDM0XN7 REVDDM0XN7
| URI | m2://inv/REVDDM0XN7 |
|---|---|
| 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.25973#J58G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Field experiment REVNKX3Q3E
| URI | m2://inv/REVNKX3Q3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#60SU, Field experiment (definition)
- wikipedia: Wikipedia List of statistics articles#LNE9, Field experiment (definition)
History
- 2026-11-02: add by m2/dev
Properties REVSD1TN9T
| URI | m2://inv/REVSD1TN9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone polygon#N2ZF, Properties (statement)
History
- 2026-11-02: add by m2/dev
REVWBNVNV0 REVWBNVNV0
| URI | m2://inv/REVWBNVNV0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#J5DB (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Even code REVWVR1QY9
| URI | m2://inv/REVWVR1QY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even code, Even code (definition). Also Wikidata Q5416566
History
- 2026-11-02: add by m2/dev
Integration using parametric derivatives REW06GHNP7
| URI | m2://inv/REW06GHNP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration using parametric derivatives, Integration using parametric derivatives (definition). Also Wikidata Q6043255
History
- 2026-11-02: add by m2/dev
REW1R554AF REW1R554AF
| URI | m2://inv/REW1R554AF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#AYW2 (statement). In E7W2HDNEKJ/e1, lemma 8.10
History
- 2026-10-30: add by m2/v0.4.12
2900 REW5MEZYVR
| URI | m2://inv/REW5MEZYVR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#BF68, 2900 (unknown)
History
- 2026-11-02: add by m2/dev
Carolina Benedetti REW9XKWMDA
| URI | m2://inv/REW9XKWMDA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carolina Benedetti, Carolina Benedetti (topic). Also Wikidata Q135400748
History
- 2026-11-02: add by m2/dev
REWN2DEE7A REWN2DEE7A
| URI | m2://inv/REWN2DEE7A |
|---|---|
| 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.18226#JM4L (statement). In B3EHT1FRM5/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
REWY9TRX80 REWY9TRX80
| URI | m2://inv/REWY9TRX80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 2610.14278#JPOI (statement). In RTE2C0PH4S/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Schmidt-Spitzer REX0DAS1K7
| URI | m2://inv/REX0DAS1K7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13715#SMN0, Schmidt-Spitzer (statement). In FAVGZDVJS9/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
REX2WT9V4W REX2WT9V4W
| URI | m2://inv/REX2WT9V4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#UMU3 (statement). In 17ACAG0N9C/e1, lemma 7.8
History
- 2026-10-28: add by m2/v0.4.2
REXH6PXG5Y REXH6PXG5Y
| URI | m2://inv/REXH6PXG5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.17004#PSJB (statement). In XNJGNMS6H0/e1, theorem 5.14
History
- 2026-10-28: add by m2/v0.4.2
Thābit ibn Qurra REXJ6WHSM7
| URI | m2://inv/REXJ6WHSM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q250568, Thābit ibn Qurra (unknown). Also ProofWiki Mathematician:Thabit_ibn_Qurra
- wikipedia: Wikipedia Thābit ibn Qurra, Thābit ibn Qurra (topic). Also Wikidata Q250568
History
- 2026-10-26: add by m2/dev
REXNHJXTYA REXNHJXTYA
| URI | m2://inv/REXNHJXTYA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example:geometricsum (example). In E59CDZA4DP, example, section 11.9.2
History
- 2026-11-01: add by m2/v0.6.13
REXSQJBEK1 REXSQJBEK1
| URI | m2://inv/REXSQJBEK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2511.06555#PD1H (statement). In 5GDDS20Q3D/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.0
REXZG20WPV REXZG20WPV
| URI | m2://inv/REXZG20WPV |
|---|---|
| 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 2205.09049#O1Y1 (statement). In 37S7MNMZ2F/e1, theorem 65
History
- 2026-10-27: add by m2/v0.3.5
REY1A7FSBV REY1A7FSBV
| URI | m2://inv/REY1A7FSBV |
|---|---|
| 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#P0Z5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
connective constant REYGWEJ5D9
| URI | m2://inv/REYGWEJ5D9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5161701, connective constant (concept). Also MathWorld Self-AvoidingWalkConnectiveConstant
- wikipedia: Wikipedia Connective constant, Connective constant (definition). Also Wikidata Q5161701
History
- 2026-10-26: add by m2/dev
Makespan REYPDXH9EF
| URI | m2://inv/REYPDXH9EF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Makespan, Makespan (definition). Also Wikidata Q245603
History
- 2026-11-02: add by m2/dev
REYPNCWN5Z REYPNCWN5Z
| URI | m2://inv/REYPNCWN5Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
William R. Johnson REYRR7Y0PA
| URI | m2://inv/REYRR7Y0PA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#IZXL, William R. Johnson (unknown)
History
- 2026-11-02: add by m2/dev
Cryptol REZ4GPV1K8
| URI | m2://inv/REZ4GPV1K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptol, Cryptol (definition). Also Wikidata Q5190950
History
- 2026-11-02: add by m2/dev
REZD9MV2Q7 REZD9MV2Q7
| URI | m2://inv/REZD9MV2Q7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#ZOL4 (statement). In 317GZJ38HS/e1, proposition 5.12
History
- 2026-10-29: add by m2/v0.4.12
Milne, Joshua REZKN69HV4
| URI | m2://inv/REZKN69HV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V6KR, Milne, Joshua (unknown)
History
- 2026-11-02: add by m2/dev