Inventory rows EY
The cards of the rows of the inventory whose ids start with EY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem EY04AEZG65
| URI | m2://inv/EY04AEZG65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double centralizer theorem#0823, Theorem (statement)
History
- 2026-11-02: add by m2/dev
potential EY07WKZTR9
| URI | m2://inv/EY07WKZTR9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.4/potential, potential (concept). In QKM9DD2H56, index, section 13.4
History
- 2026-11-01: add by m2/v0.6.13
Properties EY08XVSDTK
| URI | m2://inv/EY08XVSDTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primary extension#LIRS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Discretization error EY0B75B082
| URI | m2://inv/EY0B75B082 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#8OD4, Discretization error (definition). In A8C1M9BSWH/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
EY0D1N4D1B EY0D1N4D1B
| URI | m2://inv/EY0D1N4D1B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#EM41 (definition). In AB2WPR2FRR/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.10
Glossary of mathematical symbols EY0QV4N9SD
| URI | m2://inv/EY0QV4N9SD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols, Glossary of mathematical symbols (topic). Also Wikidata Q180159
History
- 2026-11-02: add by m2/dev
EY0XEYBE35 EY0XEYBE35
| URI | m2://inv/EY0XEYBE35 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
Neighbourhood EY192C4JKA
| URI | m2://inv/EY192C4JKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#2N1S, Neighbourhood (definition)
History
- 2026-11-02: add by m2/dev
Isaac Milner EY1A82G52Y
| URI | m2://inv/EY1A82G52Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isaac Milner, Isaac Milner (topic). Also Wikidata Q931384
History
- 2026-11-02: add by m2/dev
Definition EY1E72BSCZ
| URI | m2://inv/EY1E72BSCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting parallel#WOAN, Definition (definition)
History
- 2026-11-02: add by m2/dev
EY1PHD7W84 EY1PHD7W84
| URI | m2://inv/EY1PHD7W84 |
|---|---|
| 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.11900#2E0T (statement). In TV4E4ZEAM4/e1, corollary III.1
History
- 2026-10-28: add by m2/v0.4.3
EY1WK5VAYY EY1WK5VAYY
| URI | m2://inv/EY1WK5VAYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02751#80OM (statement). In MWGXPXF3BW/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Marked Kac--Rice formula EY1ZR1Y0MD
| URI | m2://inv/EY1ZR1Y0MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#A4VS, Marked Kac--Rice formula (statement). In NKXTXH59P1/e1, lemma E.12
History
- 2026-10-29: add by m2/v0.4.10
Diagonal optimal input covariance EY2E48ZBW1
| URI | m2://inv/EY2E48ZBW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19715#3J0B, Diagonal optimal input covariance (statement). In XXMP1Z495D/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Stanley sequence EY2EE3EACQ
| URI | m2://inv/EY2EE3EACQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65074588, Stanley sequence (object). Also OEIS A005487
- wikipedia: Wikipedia Stanley sequence, Stanley sequence (definition). Also Wikidata Q65074588
History
- 2026-10-26: add by m2/dev
EY2K13HMCV EY2K13HMCV
| URI | m2://inv/EY2K13HMCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.1331#AVHM (statement). In RB2B1N73P0/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Cut space EY2NYBN6HH
| URI | m2://inv/EY2NYBN6HH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cut (graph theory)#N9DA, Cut space (unknown)
History
- 2026-11-02: add by m2/dev
EY2P2PDCM3 EY2P2PDCM3
| URI | m2://inv/EY2P2PDCM3 |
|---|---|
| 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.39293#UM0R (statement). In S26QVW5613/e1, proposition 5.2.6
History
- 2026-10-30: add by m2/v0.4.12
Georges Valiron EY2PKZSQKN
| URI | m2://inv/EY2PKZSQKN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#747U, Georges Valiron (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CEDW, Georges Valiron (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HG30, Georges Valiron (unknown)
History
- 2026-11-02: add by m2/dev
A. M. Harun-ar-Rashid EY2PNSJXWD
| URI | m2://inv/EY2PNSJXWD |
|---|---|
| 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#FZK0, A. M. Harun-ar-Rashid (unknown)
History
- 2026-11-02: add by m2/dev
A conditional strengthening of Gaussian convex order EY2Q13PV7G
| URI | m2://inv/EY2Q13PV7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#JKYN, A conditional strengthening of Gaussian convex order (statement). In 9YAE8FNQST/e1, corollary 15.7
History
- 2026-10-30: add by m2/v0.4.12
EY2Q63FWVB EY2Q63FWVB
| URI | m2://inv/EY2Q63FWVB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#example-4 (example). In Y91XFCEVHQ, example, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
John Archibald Wheeler EY2WB13F98
| URI | m2://inv/EY2WB13F98 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#6362, John Archibald Wheeler (unknown)
History
- 2026-11-02: add by m2/dev
Jean Bourgain EY2YHBBR32
| URI | m2://inv/EY2YHBBR32 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#85CP, Jean Bourgain (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#467E, Jean Bourgain (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7EID, Jean Bourgain (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#C21T, Jean Bourgain (topic)
History
- 2026-11-02: add by m2/dev
Pairs S11 and S12 EY33KWMDBE
| URI | m2://inv/EY33KWMDBE |
|---|---|
| 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.08865#2TOV, Pairs S11 and S12 (statement). In SJ5JKGH94M/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
Approximate differentiability EY33P1436R
| URI | m2://inv/EY33P1436R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate limit#XJ00, Approximate differentiability (unknown)
History
- 2026-11-02: add by m2/dev
Information required for positive robustness EY3A0NY2RH
| URI | m2://inv/EY3A0NY2RH |
|---|---|
| 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.02187#0AWZ, Information required for positive robustness (statement). In BM9N20J1XA/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Beniamino Segre EY3DN3H4NK
| URI | m2://inv/EY3DN3H4NK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2UPC, Beniamino Segre (topic)
History
- 2026-11-02: add by m2/dev
EY3GCE8GYD EY3GCE8GYD
| URI | m2://inv/EY3GCE8GYD |
|---|---|
| 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.07451#UZW5 (statement). In P7KT88N75Q/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
EY3MD85FM8 EY3MD85FM8
| URI | m2://inv/EY3MD85FM8 |
|---|---|
| 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.03856#XA6Z (statement). In HTBRYNPHSJ/e1, corollary 7.1
History
- 2026-10-29: add by m2/v0.4.12
EY3VYGPY61 EY3VYGPY61
| URI | m2://inv/EY3VYGPY61 |
|---|---|
| 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.39992#VMF5 (statement). In WF64CGYVK1/e1, lemma S5
History
- 2026-10-30: add by m2/v0.4.12
List of things named after Niels Henrik Abel EY3XAKMKF2
| URI | m2://inv/EY3XAKMKF2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#K3ZK, List of things named after Niels Henrik Abel (topic)
History
- 2026-11-02: add by m2/dev
Ato Boldon EY3ZJ3ASJ7
| URI | m2://inv/EY3ZJ3ASJ7 |
|---|---|
| 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#DVPW, Ato Boldon (unknown)
History
- 2026-11-02: add by m2/dev
EY46GGWKT6 EY46GGWKT6
| URI | m2://inv/EY46GGWKT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37112#VC4Y (statement). In 5B10HAY4C3/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
EY4JRG360Z EY4JRG360Z
| URI | m2://inv/EY4JRG360Z |
|---|---|
| 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.23327#RYBN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pierre Ramond EY5818YH7E
| URI | m2://inv/EY5818YH7E |
|---|---|
| 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 Q40047, Pierre Ramond (unknown). Also nLab Pierre Ramond
History
- 2026-10-26: add by m2/dev
EY59M0YYWP EY59M0YYWP
| URI | m2://inv/EY59M0YYWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#6VO3 (statement). In V5PVKDKGGG/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Applied Mathematics Panel EY5DCY94X8
| URI | m2://inv/EY5DCY94X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applied Mathematics Panel, Applied Mathematics Panel (definition). Also Wikidata Q4781548
History
- 2026-11-02: add by m2/dev
Significance analysis of microarrays EY5GSMJGSX
| URI | m2://inv/EY5GSMJGSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZV63, Significance analysis of microarrays (definition)
History
- 2026-11-02: add by m2/dev
EY5NP9XWYX EY5NP9XWYX
| URI | m2://inv/EY5NP9XWYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12683#U8QB (statement). In N5ZFFWV3RX/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
EY5VQT2MD6 EY5VQT2MD6
| URI | m2://inv/EY5VQT2MD6 |
|---|---|
| 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 2609.23942#3Q1N (definition)
History
- 2026-11-02: add by m2/v0.6.17
Poincar\'e duality EY6EH19292
| URI | m2://inv/EY6EH19292 |
|---|---|
| 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 1303.4328#VRZO, Poincar\'e duality (statement). In HCTYW6VH87/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
*{Prop. 3.4.2}; *{Sec. 2.2 EY6GCRKMKR
| URI | m2://inv/EY6GCRKMKR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#1CUV, *{Prop. 3.4.2}; *{Sec. 2.2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Residue-free positivity threshold EY6H3011NN
| URI | m2://inv/EY6H3011NN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22305#DHYC, Residue-free positivity threshold (statement). In P6FTXTV09Q/e1, corollary 5.9
History
- 2026-10-27: add by m2/v0.4.0
absolute value EY6N5P3W7N
| URI | m2://inv/EY6N5P3W7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Absolute value 0FFXKTKKQC |
Mentions
- wikidata: Wikidata Q120812, absolute value (definition). Also MathWorld AbsoluteValue, nLab absolute value, ProofWiki Definition:Absolute_Value
- wikipedia: Wikipedia Absolute value, Absolute value (definition). Also Wikidata Q120812
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
EY6SVRBJQV EY6SVRBJQV
| URI | m2://inv/EY6SVRBJQV |
|---|---|
| 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 2601.00910#4JEJ (statement). In 8B1548XAJ4/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
EY7FRYBM1E EY7FRYBM1E
| URI | m2://inv/EY7FRYBM1E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 41.6
History
- 2026-11-01: add by m2/v0.6.13
EY7GWRVG64 EY7GWRVG64
| URI | m2://inv/EY7GWRVG64 |
|---|---|
| Kind | definition |
| 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.13833#PRF2 (definition). In VD4JP4HVBX/e1, definition 6.6
History
- 2026-10-28: add by m2/v0.4.2
EY7KGAK8ZC EY7KGAK8ZC
| URI | m2://inv/EY7KGAK8ZC |
|---|---|
| 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 2311.01874#2BG4 (statement). In A4TR95VGX2/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Abel–Ruffini theorem EY7MDNMP5C
| URI | m2://inv/EY7MDNMP5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#7060, Abel–Ruffini theorem (statement)
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#BW4Q, Abel–Ruffini theorem (statement)
History
- 2026-11-02: add by m2/dev
Bienaymé, Irénée-Jules EY7NB9AK9B
| URI | m2://inv/EY7NB9AK9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VWFN, Bienaymé, Irénée-Jules (topic)
History
- 2026-11-02: add by m2/dev
Probability coordinate chart EY7PESYN4K
| URI | m2://inv/EY7PESYN4K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00039#2C06, Probability coordinate chart (definition). In 2YQ3WX6VSW/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
existential introduction EY7QW1ZNTY
| URI | m2://inv/EY7QW1ZNTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#L656, existential introduction (definition)
History
- 2026-11-02: add by m2/dev
EY7WH26TAX EY7WH26TAX
| URI | m2://inv/EY7WH26TAX |
|---|---|
| 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#NWV6 (statement). In Y6YJSB93C3/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
EY8B39DQK4 EY8B39DQK4
| URI | m2://inv/EY8B39DQK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#4N9W (statement). In 3Y76AQQGF0/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
Mildred Sanderson EY8ER857ZZ
| URI | m2://inv/EY8ER857ZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#4SE7, Mildred Sanderson (topic)
History
- 2026-11-02: add by m2/dev
Concave quadrilateral EY8FHV392P
| URI | m2://inv/EY8FHV392P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrilateral#LRVY, Concave quadrilateral (unknown)
History
- 2026-11-02: add by m2/dev
prefix order EY8HSHVVDN
| URI | m2://inv/EY8HSHVVDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17105355, prefix order (unknown). Also nLab prefix order
- wikipedia: Wikipedia Prefix order, Prefix order (definition). Also Wikidata Q17105355
History
- 2026-10-26: add by m2/dev
Snefru EY8JTQTJAX
| URI | m2://inv/EY8JTQTJAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snefru, Snefru (definition). Also Wikidata Q1432392
History
- 2026-11-02: add by m2/dev
Micaiah John Muller Hill EY8RBJXFM3
| URI | m2://inv/EY8RBJXFM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TR2V, Micaiah John Muller Hill (topic)
History
- 2026-11-02: add by m2/dev
Identity resolution EY8VS6R0JC
| URI | m2://inv/EY8VS6R0JC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Record linkage#NC9I, Identity resolution (unknown)
History
- 2026-11-02: add by m2/dev
Raj Chandra Bose EY901J8RHN
| URI | m2://inv/EY901J8RHN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#8QBR, Raj Chandra Bose (topic)
History
- 2026-11-02: add by m2/dev
Khovanov homology EY90A6SQVS
| URI | m2://inv/EY90A6SQVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#DKGI, Khovanov homology (definition)
History
- 2026-11-02: add by m2/dev
EY9GG7DKAV EY9GG7DKAV
| URI | m2://inv/EY9GG7DKAV |
|---|---|
| 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#FHKO (statement). In GG2ZZV6KEQ/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Markov information source EY9KYB3QJQ
| URI | m2://inv/EY9KYB3QJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JEDQ, Markov information source (definition)
History
- 2026-11-02: add by m2/dev
European countries by health expense per person EY9S0H5R08
| URI | m2://inv/EY9S0H5R08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European countries by health expense per person, European countries by health expense per person (definition). Also Wikidata Q25036526
History
- 2026-11-02: add by m2/dev
EY9VVXWRA0 EY9VVXWRA0
| URI | m2://inv/EY9VVXWRA0 |
|---|---|
| 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.23803#EH5P (statement)
History
- 2026-11-02: add by m2/v0.6.17
EY9W49C6YC EY9W49C6YC
| URI | m2://inv/EY9W49C6YC |
|---|---|
| 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.29148#7ZC3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EY9XNS867F EY9XNS867F
| URI | m2://inv/EY9XNS867F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28417#06R9 (example)
History
- 2026-11-01: add by m2/v0.6.15
Jayme Luiz Szwarcfiter EY9ZHJ7EMV
| URI | m2://inv/EY9ZHJ7EMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K16L, Jayme Luiz Szwarcfiter (unknown)
History
- 2026-11-02: add by m2/dev
EYA05YN0F1 EYA05YN0F1
| URI | m2://inv/EYA05YN0F1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19036#YCKW (statement). In 76GJ814P0A/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
George, Prince of Wales EYAA92A7B3
| URI | m2://inv/EYAA92A7B3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society#L57N, George, Prince of Wales (unknown)
History
- 2026-11-02: add by m2/dev
EYAES4RF1B EYAES4RF1B
| URI | m2://inv/EYAES4RF1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#KJ8F (statement). In 13H5BTAXHF/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.5
Jonas Fjeldstad EYAGA6N3NF
| URI | m2://inv/EYAGA6N3NF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UVGQ, Jonas Fjeldstad (unknown)
History
- 2026-11-02: add by m2/dev
Christopher Deninger EYAHG7SS53
| URI | m2://inv/EYAHG7SS53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F39X, Christopher Deninger (topic)
- wikipedia: Wikipedia List of German mathematicians#21DN, Christopher Deninger (topic)
History
- 2026-11-02: add by m2/dev
EYAPYRDCTC EYAPYRDCTC
| URI | m2://inv/EYAPYRDCTC |
|---|---|
| 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.33019#AA5I (statement). In R4V2A3Z5GP/e1, corollary 2.3
History
- 2026-10-31: add by m2/v0.5.6
Loki's wager EYAZTGC8BR
| URI | m2://inv/EYAZTGC8BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loki's wager, Loki's wager (definition). Also Wikidata Q6668670
History
- 2026-11-02: add by m2/dev
Known-key distinguishing attack EYBB33V9ZX
| URI | m2://inv/EYBB33V9ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Known-key distinguishing attack, Known-key distinguishing attack (definition). Also Wikidata Q22678508
History
- 2026-11-02: add by m2/dev
Ramanathan Gnanadesikan EYBBBVD6DT
| URI | m2://inv/EYBBBVD6DT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#ZUFH, Ramanathan Gnanadesikan (topic)
History
- 2026-11-02: add by m2/dev
Calabi conjecture EYBME0R1TS
| URI | m2://inv/EYBME0R1TS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shing-Tung Yau#H51T, Calabi conjecture (statement)
History
- 2026-11-02: add by m2/dev
Felix Finster EYBNNMDHBV
| URI | m2://inv/EYBNNMDHBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#786S, Felix Finster (topic)
History
- 2026-11-02: add by m2/dev
Robert S. Doran EYBPEH0RMC
| URI | m2://inv/EYBPEH0RMC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert S. Doran, Robert S. Doran (topic). Also Wikidata Q16104652
History
- 2026-11-02: add by m2/dev
5-simplex honeycomb EYBQ2XMG0Z
| URI | m2://inv/EYBQ2XMG0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#7XUF, 5-simplex honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IXQD, 5-simplex honeycomb (definition)
History
- 2026-11-02: add by m2/dev
EYBTQ3TB9J EYBTQ3TB9J
| URI | m2://inv/EYBTQ3TB9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00078#ZB78 (statement). In KXYGWSGP9M/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
EYBX6M2XN7 EYBX6M2XN7
| URI | m2://inv/EYBX6M2XN7 |
|---|---|
| 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.29450#L93E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications EYCF8NJV8A
| URI | m2://inv/EYCF8NJV8A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presymplectic form#CF9G, Applications (example)
History
- 2026-11-02: add by m2/dev
EYCG18KC6N EYCG18KC6N
| URI | m2://inv/EYCG18KC6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#definition-2 (definition). In RZP28ERRZV, definition, section 24.1
History
- 2026-11-01: add by m2/v0.6.13
Nilpotent group EYCHZ2JM3X
| URI | m2://inv/EYCHZ2JM3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#71M3, Nilpotent group (definition)
- wikipedia: Wikipedia List of abstract algebra topics#XW6N, Nilpotent group (definition)
History
- 2026-11-02: add by m2/dev
EYCNRXPE80 EYCNRXPE80
| URI | m2://inv/EYCNRXPE80 |
|---|---|
| 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.04323#5NR3 (statement). In 3Z0D2NCJ0B/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
Eindhoven EYCPRCD9S5
| URI | m2://inv/EYCPRCD9S5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3PYY, Eindhoven (unknown)
History
- 2026-11-02: add by m2/dev
Active reflection and enlarged information EYCVZT5NX0
| URI | m2://inv/EYCVZT5NX0 |
|---|---|
| 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.18180#YPVE, Active reflection and enlarged information (statement). In NJGS7D1EPH/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.2
Amplitude damping EYD1TDQZ6F
| URI | m2://inv/EYD1TDQZ6F |
|---|---|
| Kind | example |
| 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.01932#GTE8, Amplitude damping (example). In XDKWW6NR0K/e1, example 3.10
History
- 2026-10-29: add by m2/v0.4.12
Galois constancy EYD4V214WG
| URI | m2://inv/EYD4V214WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#5Z1E, Galois constancy (statement). In Z7M2JSF6HA/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
Hoeting, Jennifer A. EYD86KB4AQ
| URI | m2://inv/EYD86KB4AQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#O7BZ, Hoeting, Jennifer A. (topic)
History
- 2026-11-02: add by m2/dev
Alf Victor Guldberg EYDPP49SFW
| URI | m2://inv/EYDPP49SFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alf Victor Guldberg, Alf Victor Guldberg (topic). Also Wikidata Q5776165
History
- 2026-11-02: add by m2/dev
EYDS8117HP EYDS8117HP
| URI | m2://inv/EYDS8117HP |
|---|---|
| Kind | definition |
| 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 2610.21872#OC9W (definition). In HEA1ME2ZE4/e1, definition 6
History
- 2026-10-27: add by m2/v0.4.2
hyperrectangle EYDSGCGV50
| URI | m2://inv/EYDSGCGV50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3801534, hyperrectangle (unknown). Also MathWorld Orthotope
- wikipedia: Wikipedia Hyperrectangle, Hyperrectangle (definition). Also Wikidata Q3801534
History
- 2026-10-26: add by m2/dev
Unbalanced oil and vinegar scheme EYDT3P6AE4
| URI | m2://inv/EYDT3P6AE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unbalanced oil and vinegar scheme, Unbalanced oil and vinegar scheme (definition). Also Wikidata Q7882354
History
- 2026-11-02: add by m2/dev
Dennis Babbage EYDXFMRF5K
| URI | m2://inv/EYDXFMRF5K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dennis Babbage, Dennis Babbage (topic). Also Wikidata Q1188959
History
- 2026-11-02: add by m2/dev
EYE21BG973 EYE21BG973
| URI | m2://inv/EYE21BG973 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33697#M4T1 (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Bell's spaceship paradox EYEG7RF3KC
| URI | m2://inv/EYEG7RF3KC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell's spaceship paradox, Bell's spaceship paradox (statement). Also Wikidata Q816054
History
- 2026-11-02: add by m2/dev
EYEJ5D7VDY EYEJ5D7VDY
| URI | m2://inv/EYEJ5D7VDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16640#ZM1C (statement). In DEVX71G2ZK/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Examples EYEK9AMN0X
| URI | m2://inv/EYEK9AMN0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary function#MG9B, Examples (example)
History
- 2026-11-02: add by m2/dev
algebraic combinatorics EYEWP8E3MH
| URI | m2://inv/EYEWP8E3MH |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 05Exx |
| Sources | 2 |
| Outcome | open |
| Node | Algebraic combinatorics VPAQZ0XW74 |
Mentions
- wikidata: Wikidata Q1005603, algebraic combinatorics (topic). Also MathWorld AlgebraicCombinatorics
- wikipedia: Wikipedia Algebraic combinatorics, Algebraic combinatorics (topic). Also Wikidata Q1005603
History
- 2026-10-26: add by m2/dev
Finite primitive spectra with neat generators EYEYCXKJ9C
| URI | m2://inv/EYEYCXKJ9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#LHQW, Finite primitive spectra with neat generators (statement)
History
- 2026-11-01: add by m2/v0.6.15
EYF0AY1S99 EYF0AY1S99
| URI | m2://inv/EYF0AY1S99 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#08QK (definition). In GHKR740SG3/e1, definition 16.1
History
- 2026-10-31: add by m2/v0.5.6
Relations between the principles EYFDHTYPDH
| URI | m2://inv/EYFDHTYPDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induction, bounding and least number principles#OH1Q, Relations between the principles (statement)
History
- 2026-11-02: add by m2/dev
EYFF5APXZW EYFF5APXZW
| URI | m2://inv/EYFF5APXZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#1UYC (statement). In DGE917KQSQ/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.4.2
EYFH69JFTS EYFH69JFTS
| URI | m2://inv/EYFH69JFTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#ZHCG (statement). In RY2X22P6XW/e1, theorem 33
History
- 2026-10-27: add by m2/v0.3.5
Sz.-Nagy's dilation theorem EYFTWDR467
| URI | m2://inv/EYFTWDR467 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7664013, Sz.-Nagy's dilation theorem (statement). Also Wikidata Q7664013
- thousand_plus: thousand_plus Q7664013, Sz.-Nagy's dilation theorem (statement). Also Wikidata Q7664013, Wikipedia Sz.-Nagy's dilation theorem
- wikipedia: Wikipedia Sz.-Nagy's dilation theorem, Sz.-Nagy's dilation theorem (statement). Also Wikidata Q7664013
History
- 2026-10-26: add by m2/dev
Diagonal calibration EYFY77GPV7
| URI | m2://inv/EYFY77GPV7 |
|---|---|
| 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.38041#DMKH, Diagonal calibration (statement). In 54NQGN1BWM/e1, proposition 9.1
History
- 2026-10-30: add by m2/v0.4.12
Implied volatility EYGP2527RA
| URI | m2://inv/EYGP2527RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implied volatility, Implied volatility (definition). Also Wikidata Q1660345
History
- 2026-11-02: add by m2/dev
The Relativity of Wrong EYH0FTN58B
| URI | m2://inv/EYH0FTN58B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Relativity of Wrong, The Relativity of Wrong (definition). Also Wikidata Q7760107
History
- 2026-11-02: add by m2/dev
EYH9N8GB7D EYH9N8GB7D
| URI | m2://inv/EYH9N8GB7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv dg-ga/9612010#RX4X (statement). In CM39SWC4A6/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
EYHECVDK2H EYHECVDK2H
| URI | m2://inv/EYHECVDK2H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_eulerham.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
EYHQ73A5TD EYHQ73A5TD
| URI | m2://inv/EYHQ73A5TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#7O0H (statement). In 2W5Z97BBW4/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.4.0
John Chambers EYHRB9J9V7
| URI | m2://inv/EYHRB9J9V7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Chambers (statistician), John Chambers (topic). Also Wikidata Q3181218
History
- 2026-11-02: add by m2/dev
The recursive density statement EYHT9N2SCD
| URI | m2://inv/EYHT9N2SCD |
|---|---|
| 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.40288#QPZ5, The recursive density statement (statement). In 2VZJRGSAEP/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Inversion number EYHZ4HP4ZV
| URI | m2://inv/EYHZ4HP4ZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversion (discrete mathematics)#AJ56, Inversion number (unknown)
History
- 2026-11-02: add by m2/dev
Exponential formula EYJ0Y3FT33
| URI | m2://inv/EYJ0Y3FT33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#SERW, Exponential formula (statement)
- wikipedia: Wikipedia List of partition topics#0Q1Y, Exponential formula (statement)
History
- 2026-11-02: add by m2/dev
Karel Petr EYJ96A8842
| URI | m2://inv/EYJ96A8842 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#AMFF, Karel Petr (topic)
History
- 2026-11-02: add by m2/dev
Definition EYJV2GBWBA
| URI | m2://inv/EYJV2GBWBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric lattice#HMZ6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Entropy of a squashed Gaussian policy EYK13KWTTX
| URI | m2://inv/EYK13KWTTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35466#2T5Z, Entropy of a squashed Gaussian policy (statement). In MVR35ZJPCC/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Goddard problem EYK26FYPQ0
| URI | m2://inv/EYK26FYPQ0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goddard problem, Goddard problem (problem). Also Wikidata Q5576265
History
- 2026-11-02: add by m2/dev
EYK7Q798FA EYK7Q798FA
| URI | m2://inv/EYK7Q798FA |
|---|---|
| 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.25823#4IJN (statement)
History
- 2026-11-01: add by m2/v0.6.15
propositional attitude EYKFRT08V6
| URI | m2://inv/EYKFRT08V6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BBVL, propositional attitude (definition)
History
- 2026-11-02: add by m2/dev
Kevin McGrew EYKNVVCAXV
| URI | m2://inv/EYKNVVCAXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kevin McGrew, Kevin McGrew (topic). Also Wikidata Q61477708
History
- 2026-11-02: add by m2/dev
Generalization EYKQ7MZD7C
| URI | m2://inv/EYKQ7MZD7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (number theory)#NLTF, Generalization (statement)
History
- 2026-11-02: add by m2/dev
EYKSP6NVYG EYKSP6NVYG
| URI | m2://inv/EYKSP6NVYG |
|---|---|
| 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.10243#QV4Q (statement). In 6N7EAD1PYD/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
EYKV9KXWSN EYKV9KXWSN
| URI | m2://inv/EYKV9KXWSN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 38.6
History
- 2026-11-01: add by m2/v0.6.13
Sven Dag Wicksell EYKZ4WH4A1
| URI | m2://inv/EYKZ4WH4A1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7Y46, Sven Dag Wicksell (unknown)
History
- 2026-11-02: add by m2/dev
Melvin J. Hinich EYM4GGCNGT
| URI | m2://inv/EYM4GGCNGT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#E4S1, Melvin J. Hinich (topic)
History
- 2026-11-02: add by m2/dev
Walter Radermacher EYM7698VDW
| URI | m2://inv/EYM7698VDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Radermacher, Walter Radermacher (topic). Also Wikidata Q2545876
History
- 2026-11-02: add by m2/dev
EYM9825Y3M EYM9825Y3M
| URI | m2://inv/EYM9825Y3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11021#MCHJ (statement). In R0SSJZYVTJ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
EYMFXP2ZS7 EYMFXP2ZS7
| URI | m2://inv/EYMFXP2ZS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26191#W5G9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
False confidence theorem EYN41Y79V9
| URI | m2://inv/EYN41Y79V9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False confidence theorem, False confidence theorem (statement). Also Wikidata Q137537029
History
- 2026-11-02: add by m2/dev
Expected residual of one-direction empirical erasure EYNFGPCT11
| URI | m2://inv/EYNFGPCT11 |
|---|---|
| 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.08069#PA8U, Expected residual of one-direction empirical erasure (statement). In TVW9BTWJ3D/e1, corollary 4
History
- 2026-10-29: add by m2/v0.4.10
Wolff algorithm EYNQ2ETJ43
| URI | m2://inv/EYNQ2ETJ43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolff algorithm, Wolff algorithm (definition). Also Wikidata Q2588971
History
- 2026-11-02: add by m2/dev
Yunna Morits EYNQBBT450
| URI | m2://inv/EYNQBBT450 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#SD5Q, Yunna Morits (unknown)
History
- 2026-11-02: add by m2/dev
Confidence band EYNV0SPQWA
| URI | m2://inv/EYNV0SPQWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B1TA, Confidence band (definition)
History
- 2026-11-02: add by m2/dev
EYP6YJW7KX EYP6YJW7KX
| URI | m2://inv/EYP6YJW7KX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#ATGY (definition)
History
- 2026-11-02: add by m2/v0.6.18
Donna Testerman EYP9PRDHX5
| URI | m2://inv/EYP9PRDHX5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donna Testerman, Donna Testerman (topic). Also Wikidata Q67222731
History
- 2026-11-02: add by m2/dev
EYPB13H1WC EYPB13H1WC
| URI | m2://inv/EYPB13H1WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#7EWY (statement). In 7ZFD9XRKA1/e1, proposition 2.16
History
- 2026-10-28: add by m2/v0.4.2
connected EYPC2ZNHGD
| URI | m2://inv/EYPC2ZNHGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#QYQA, connected (definition)
History
- 2026-11-02: add by m2/dev
EYPD142J0G EYPD142J0G
| URI | m2://inv/EYPD142J0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12776#RQWQ (statement). In Y1JXVWX454/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
EYPH6H86JG EYPH6H86JG
| URI | m2://inv/EYPH6H86JG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
EYPHRT3K04 EYPHRT3K04
| URI | m2://inv/EYPHRT3K04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#42D7 (statement). In AWF7ZHK4EM/e1, theorem 3.10
History
- 2026-10-30: add by m2/v0.4.12
sheaf of spectra EYPTSY4MVV
| URI | m2://inv/EYPTSY4MVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16924916, sheaf of spectra (unknown). Also nLab sheaf of spectra
- wikipedia: Wikipedia Sheaf of spectra, Sheaf of spectra (definition). Also Wikidata Q16924916
History
- 2026-10-26: add by m2/dev
EYPYG7WG34 EYPYG7WG34
| URI | m2://inv/EYPYG7WG34 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#8PSX (problem). In FQ5435B36D/e1, problem 3
History
- 2026-10-29: add by m2/v0.4.10
Mac Lane's axioms EYQ265DFX0
| URI | m2://inv/EYQ265DFX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of geometry#0CR1, Mac Lane's axioms (statement)
History
- 2026-11-02: add by m2/dev
EYQ62PSGTZ EYQ62PSGTZ
| URI | m2://inv/EYQ62PSGTZ |
|---|---|
| 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.28650#OVLL (statement)
History
- 2026-11-01: add by m2/v0.6.15
EYQ67KAC2C EYQ67KAC2C
| URI | m2://inv/EYQ67KAC2C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#3ESF (definition). In JQH3FHYPW3/e1, definition 2.14
History
- 2026-10-28: add by m2/v0.4.2
EYQBSVWJEQ EYQBSVWJEQ
| URI | m2://inv/EYQBSVWJEQ |
|---|---|
| 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.03144#7G1K (statement). In 9QW88325GS/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.12
EYQDD94YJW EYQDD94YJW
| URI | m2://inv/EYQDD94YJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11031#QT68 (statement). In 9DMJXFRQN9/e1, fact 2.3
History
- 2026-10-28: add by m2/v0.4.3
bounded sequence EYQFH3BFMM
| URI | m2://inv/EYQFH3BFMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#QRNV, bounded sequence (definition)
History
- 2026-11-02: add by m2/dev
Separated EYQGAZRHJD
| URI | m2://inv/EYQGAZRHJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#67ZM, Separated (definition)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of arithmetic EYQHG5YKSX
| URI | m2://inv/EYQHG5YKSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least common multiple#FRNU, Fundamental theorem of arithmetic (statement)
History
- 2026-11-02: add by m2/dev
EYQXF1PD01 EYQXF1PD01
| URI | m2://inv/EYQXF1PD01 |
|---|---|
| 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.09154#40YJ (statement). In JYVGX17N4F/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Theorem EYR18BAK0J
| URI | m2://inv/EYR18BAK0J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#FQID, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Parker Square EYR4H108AH
| URI | m2://inv/EYR4H108AH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic square of squares#YAF7, Parker Square (unknown)
History
- 2026-11-02: add by m2/dev
Cobham's theorem EYRFPGFWEK
| URI | m2://inv/EYRFPGFWEK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobham's theorem, Cobham's theorem (statement). Also Wikidata Q30751133
History
- 2026-11-02: add by m2/dev
EYRJWK39AM EYRJWK39AM
| URI | m2://inv/EYRJWK39AM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
Formal definition EYRPV4CNS4
| URI | m2://inv/EYRPV4CNS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplex category#TGXE, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
EYRX5T2NRA EYRX5T2NRA
| URI | m2://inv/EYRX5T2NRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22642#8U4K (statement)
History
- 2026-11-02: add by m2/v0.6.17
Truncated squared conditioning with a prescribed POVM EYRXD7Y8EP
| URI | m2://inv/EYRXD7Y8EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#BJHQ, Truncated squared conditioning with a prescribed POVM (statement). In R6RF3P6D5A/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
EYRY7YR8BW EYRY7YR8BW
| URI | m2://inv/EYRY7YR8BW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#3KWH (definition). In 9DQKY7KGE8/e1, definition 3.26
History
- 2026-10-27: add by m2/v0.3.5
POPLmark challenge EYSBVV2P5J
| URI | m2://inv/EYSBVV2P5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia POPLmark challenge, POPLmark challenge (definition). Also Wikidata Q7120017
History
- 2026-11-02: add by m2/dev
Large-discriminant escape EYSJ01479Z
| URI | m2://inv/EYSJ01479Z |
|---|---|
| Kind | problem |
| 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.33027#3GIQ, Large-discriminant escape (problem). In E2AF84709B/e1, problem 45
History
- 2026-10-31: add by m2/v0.5.6
Rank-one holonomy parameters EYSQ1WN8J6
| URI | m2://inv/EYSQ1WN8J6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#ASEA, Rank-one holonomy parameters (statement). In HF7YNMW39N/e1, proposition 16.1
History
- 2026-10-27: add by m2/v0.4.0
EYSRQ28GDG EYSRQ28GDG
| URI | m2://inv/EYSRQ28GDG |
|---|---|
| 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.21477#2WPY (statement)
History
- 2026-11-02: add by m2/v0.6.18
EYSSF9GMJS EYSSF9GMJS
| URI | m2://inv/EYSSF9GMJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#LWNO (statement). In ZQ4M778EA7/e1, corollary D
History
- 2026-10-29: add by m2/v0.4.10
stabilizer EYT7XSJDTF
| URI | m2://inv/EYT7XSJDTF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.3/stabilizer, stabilizer (concept). In QKM9DD2H56, index, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
Iterates on monomials EYTANZTXYE
| URI | m2://inv/EYTANZTXYE |
|---|---|
| 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.20593#HQ7A, Iterates on monomials (statement). In 7GMD8J4200/e1, theorem 7
History
- 2026-10-27: add by m2/v0.4.2
EYTC772RA0 EYTC772RA0
| URI | m2://inv/EYTC772RA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#TPBU (statement). In F8RC6AENB0/e1, lemma 2.19
History
- 2026-10-27: add by m2/v0.3.5
Absolute comparison through a contact EYTJVJBWZ5
| URI | m2://inv/EYTJVJBWZ5 |
|---|---|
| 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.05652#311D, Absolute comparison through a contact (statement). In 8BNPFYQDQX/e1, corollary 18.3
History
- 2026-10-29: add by m2/v0.4.10
Teodor Precupanu EYTK3JNXAA
| URI | m2://inv/EYTK3JNXAA |
|---|---|
| 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 Q102230644, Teodor Precupanu (unknown). Also ProofWiki Mathematician:Teodor_Precupanu
History
- 2026-10-26: add by m2/dev
Nonvanishing EYTKHMZCFY
| URI | m2://inv/EYTKHMZCFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11077#ILWG, Nonvanishing (statement). In 4333A6G5K5/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.3
corniform EYTYNFP7QP
| URI | m2://inv/EYTYNFP7QP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28840938, corniform (unknown). Also MathWorld Cornucopia
History
- 2026-10-26: add by m2/dev
Applications EYVC21B3KY
| URI | m2://inv/EYVC21B3KY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference in phylogeny#Z85M, Applications (example)
History
- 2026-11-02: add by m2/dev
Johnson–Holmquist damage model EYVHGNAKF3
| URI | m2://inv/EYVHGNAKF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson–Holmquist damage model, Johnson–Holmquist damage model (definition). Also Wikidata Q6268573
History
- 2026-11-02: add by m2/dev
Definition EYVHYRPS7N
| URI | m2://inv/EYVHYRPS7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's minimal resistance problem#EZ8W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Edith Elkind EYVSGA6XSF
| URI | m2://inv/EYVSGA6XSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JOX8, Edith Elkind (unknown)
History
- 2026-11-02: add by m2/dev
Certifiably Bounded Distributions EYVSMYJ4BG
| URI | m2://inv/EYVSMYJ4BG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30105#J7IX, Certifiably Bounded Distributions (definition)
History
- 2026-11-01: add by m2/v0.6.15
Veeravalli S. Varadarajan EYW1BTJZ5E
| URI | m2://inv/EYW1BTJZ5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#DDJM, Veeravalli S. Varadarajan (topic)
History
- 2026-11-02: add by m2/dev
EYW1C0RD2J EYW1C0RD2J
| URI | m2://inv/EYW1C0RD2J |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07897#KHFQ (conjecture). In 1MWYGMR6TJ/e1, conjecture 1.2
History
- 2026-10-29: add by m2/v0.4.10
Malliavin derivative EYW2WHMTD4
| URI | m2://inv/EYW2WHMTD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malliavin derivative, Malliavin derivative (definition). Also Wikidata Q17086276
History
- 2026-11-02: add by m2/dev
2-large EYW3Y7HNAT
| URI | m2://inv/EYW3Y7HNAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#8EV7, 2-large (definition)
History
- 2026-11-02: add by m2/dev
Abadie and Guignard constraint qualification EYW4CQAZ31
| URI | m2://inv/EYW4CQAZ31 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20368#JZLU, Abadie and Guignard constraint qualification (definition)
History
- 2026-11-02: add by m2/v0.6.18
Alka-Seltzer EYW65ZFPAP
| URI | m2://inv/EYW65ZFPAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#MOAP, Alka-Seltzer (unknown)
History
- 2026-11-02: add by m2/dev
Kolmogorov–Arnold–Moser theorem EYW76HJF4D
| URI | m2://inv/EYW76HJF4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SDRH, Kolmogorov–Arnold–Moser theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem EYW7DHEFTV
| URI | m2://inv/EYW7DHEFTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countable set#OCRL, Theorem (statement)
History
- 2026-11-02: add by m2/dev
EYWBGNN65H EYWBGNN65H
| URI | m2://inv/EYWBGNN65H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2211.04407#Q3YI (statement). In XCZS191H6Q/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.6
Negative diagnostic test EYWCFEB9GN
| URI | m2://inv/EYWCFEB9GN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medical test#QLJB, Negative diagnostic test (unknown)
History
- 2026-11-02: add by m2/dev
EYWFAA92EG EYWFAA92EG
| URI | m2://inv/EYWFAA92EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20663#NORC (statement). In AZMX0CY5NE/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
saturated EYWG23W6ME
| URI | m2://inv/EYWG23W6ME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#B9SG, saturated (definition)
History
- 2026-11-02: add by m2/dev
EYWKSJ8Z14 EYWKSJ8Z14
| URI | m2://inv/EYWKSJ8Z14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#LPT1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Derivative algebra EYWQXYHRKV
| URI | m2://inv/EYWQXYHRKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative algebra (abstract algebra), Derivative algebra (definition). Also Wikidata Q5262620
History
- 2026-11-02: add by m2/dev
Formula EYWS9PX1TV
| URI | m2://inv/EYWS9PX1TV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygonal number#7W02, Formula (statement)
History
- 2026-11-02: add by m2/dev
Dynamic inconsistency EYX1DNY688
| URI | m2://inv/EYX1DNY688 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic inconsistency, Dynamic inconsistency (definition). Also Wikidata Q60165
History
- 2026-11-02: add by m2/dev
A free algebra graded by $S_3$ EYX8TG8MGS
| URI | m2://inv/EYX8TG8MGS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#XQMD, A free algebra graded by $S_3$ (example). In GM3S19KFDH/e1, example 2.6
History
- 2026-10-30: add by m2/v0.4.12
Iritani EYXDG0H0MH
| URI | m2://inv/EYXDG0H0MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#RHZM, Iritani (statement). In 8PTDFHV8SQ/e1, theorem 9.5
History
- 2026-10-28: add by m2/v0.4.3
EYXJ5N5MNH EYXJ5N5MNH
| URI | m2://inv/EYXJ5N5MNH |
|---|---|
| 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.21092#6KOP (statement). In AGJE43FTF8/e1, lemma 7.10
History
- 2026-10-27: add by m2/v0.4.2
EYXM22E1GK EYXM22E1GK
| URI | m2://inv/EYXM22E1GK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#9CVO (definition). In 6VVK3YTABP/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3
EYXRC1KSPD EYXRC1KSPD
| URI | m2://inv/EYXRC1KSPD |
|---|---|
| Kind | conjecture |
| 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.23975#EC0B (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
Nina Gantert EYXS9NV0ER
| URI | m2://inv/EYXS9NV0ER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#CLRQ, Nina Gantert (unknown)
History
- 2026-11-02: add by m2/dev
EYY1N0WNFH EYY1N0WNFH
| URI | m2://inv/EYY1N0WNFH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#FAVE (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definitions EYY29GSC22
| URI | m2://inv/EYY29GSC22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opial property#682O, Definitions (definition)
History
- 2026-11-02: add by m2/dev
EYY52NJWDG EYY52NJWDG
| URI | m2://inv/EYY52NJWDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.02061#RXFL (statement). In F5STMSPR6X/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.12
Itala D'Ottaviano EYYA6BV9PV
| URI | m2://inv/EYYA6BV9PV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itala D'Ottaviano, Itala D'Ottaviano (topic). Also Wikidata Q16940307
History
- 2026-11-02: add by m2/dev
EYYAMP0ZMR EYYAMP0ZMR
| URI | m2://inv/EYYAMP0ZMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29501#75UT (statement)
History
- 2026-11-01: add by m2/v0.6.15
EYYE476M0C EYYE476M0C
| URI | m2://inv/EYYE476M0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#IE1H (statement). In FNG4B47MRV/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
EYYEQKSH3F EYYEQKSH3F
| URI | m2://inv/EYYEQKSH3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1709.01658#1LDX (statement). In 90A5Q9HRQK/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
EYYFBAZ3V1 EYYFBAZ3V1
| URI | m2://inv/EYYFBAZ3V1 |
|---|---|
| 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.26019#WTEA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Semantic Deduction Theorem EYYJ9PJQMA
| URI | m2://inv/EYYJ9PJQMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#thm:sem-deduction, Semantic Deduction Theorem (statement). In PKGMM3P5QY, thm, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
EYYSEZ8AJP EYYSEZ8AJP
| URI | m2://inv/EYYSEZ8AJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38532#ITT6 (statement). In X7YYWCZFTV/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Theorem EYYWE1WVYZ
| URI | m2://inv/EYYWE1WVYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushdown automaton#EVRW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples EYYWYDAAKY
| URI | m2://inv/EYYWYDAAKY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass ring#QJDW, Examples (example)
History
- 2026-11-02: add by m2/dev
Marek Kuczma EYZ1M61THR
| URI | m2://inv/EYZ1M61THR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marek Kuczma, Marek Kuczma (topic). Also Wikidata Q6758864
History
- 2026-11-02: add by m2/dev
Example 4 EYZ41CTYZ3
| URI | m2://inv/EYZ41CTYZ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebras canonically defined#CDLQ, Example 4 (example)
History
- 2026-11-02: add by m2/dev
EYZ5ABW76Q EYZ5ABW76Q
| URI | m2://inv/EYZ5ABW76Q |
|---|---|
| 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#RF8U (statement)
History
- 2026-11-02: add by m2/v0.6.18
closed operator EYZE22FZ3G
| URI | m2://inv/EYZE22FZ3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Closed operator VM7B38PA87 |
Mentions
- wikidata: Wikidata Q320370, closed operator (unknown). Also MathWorld ClosedOperator
- wikipedia: Wikipedia Closed linear operator, Closed linear operator (definition). Also Wikidata Q320370
History
- 2026-10-26: add by m2/dev
Rouché's theorem EYZH2BT4AT
| URI | m2://inv/EYZH2BT4AT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RL0V, Rouché's theorem (statement)
History
- 2026-11-02: add by m2/dev
EYZNQD2WFR EYZNQD2WFR
| URI | m2://inv/EYZNQD2WFR |
|---|---|
| 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#I7JG (statement)
History
- 2026-11-01: add by m2/v0.6.15
EYZQMVG87N EYZQMVG87N
| URI | m2://inv/EYZQMVG87N |
|---|---|
| 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.28009#Z0EW (statement)
History
- 2026-11-01: add by m2/v0.6.15
great retrosnub icosidodecahedron EYZXZQM18T
| URI | m2://inv/EYZXZQM18T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q150404, great retrosnub icosidodecahedron (unknown). Also MathWorld GreatRetrosnubIcosidodecahedron
- wikipedia: Wikipedia Great retrosnub icosidodecahedron, Great retrosnub icosidodecahedron (object). Also Wikidata Q150404
History
- 2026-10-26: add by m2/dev
Limitation of Weber's law in the auditory system EYZZYCCF3J
| URI | m2://inv/EYZZYCCF3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weber–Fechner law#R5XQ, Limitation of Weber's law in the auditory system (statement)
History
- 2026-11-02: add by m2/dev