Inventory rows 14
The cards of the rows of the inventory whose ids start with 14. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
14069H76V6 14069H76V6
| URI | m2://inv/14069H76V6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#M7EU (definition). In X9WFC1D9ZS/e1, definition 20
History
- 2026-10-27: add by m2/v0.4.2
Richard V. Southwell 140AKA1GRW
| URI | m2://inv/140AKA1GRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard V. Southwell, Richard V. Southwell (topic). Also Wikidata Q551129
History
- 2026-11-02: add by m2/dev
140BSZV6KS 140BSZV6KS
| URI | m2://inv/140BSZV6KS |
|---|---|
| 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.31910#TLWA (statement). In E4EK1XXPY4/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
140DE0F4JA 140DE0F4JA
| URI | m2://inv/140DE0F4JA |
|---|---|
| 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 2206.14762#QI5Z (statement). In ZC1B70NT4D/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Barbara Terhal 140NYDBJS0
| URI | m2://inv/140NYDBJS0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YFSM, Barbara Terhal (unknown)
History
- 2026-11-02: add by m2/dev
Infinitely many transients 140TKNJSZ7
| URI | m2://inv/140TKNJSZ7 |
|---|---|
| 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#UG2Y, Infinitely many transients (statement). In 4AQ48WSBDQ/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
140TPFJ9DW 140TPFJ9DW
| URI | m2://inv/140TPFJ9DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.01473#6UXI (statement). In ABS9M47F4K/e1, corollary
History
- 2026-10-27: add by m2/v0.3.6
Open mapping theorem 140ZC6FRRP
| URI | m2://inv/140ZC6FRRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 5 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q944297, Open mapping theorem (functional analysis) (statement). Also Mathlib ContinuousLinearMap.isOpenMap, Wikidata Q944297
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > Banach open mapping theorem, Banach open mapping theorem (unknown). Also Mathlib ContinuousLinearMap.isOpenMap
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Banach open mapping theorem, Banach open mapping theorem (unknown). Also Mathlib ContinuousLinearMap.isOpenMap
- thousand_plus: thousand_plus Q944297, Open mapping theorem (functional analysis) (statement). Also Mathlib ContinuousLinearMap.isOpenMap, Wikidata Q944297, Wikipedia Open mapping theorem (functional analysis)
- wikipedia: Wikipedia Open mapping theorem (functional analysis), Open mapping theorem (statement). Also Wikidata Q944297
History
- 2026-10-26: add by m2/dev
One Gaussian event for every unitarily invariant norm 141PMRDMDS
| URI | m2://inv/141PMRDMDS |
|---|---|
| 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#OG4H, One Gaussian event for every unitarily invariant norm (statement). In 9YAE8FNQST/e1, theorem 1.8
History
- 2026-10-30: add by m2/v0.4.12
Example 141S2SN7RZ
| URI | m2://inv/141S2SN7RZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Run-length encoding#3085, Example (example)
History
- 2026-11-02: add by m2/dev
Lissajous curve 141W1HY6SK
| URI | m2://inv/141W1HY6SK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q594135, Lissajous curve (concept). Also MathWorld LissajousCurve
- wikipedia: Wikipedia Lissajous curve, Lissajous curve (definition). Also Wikidata Q594135
History
- 2026-10-26: add by m2/dev
Betweenness problem 141W7E799Q
| URI | m2://inv/141W7E799Q |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betweenness problem, Betweenness problem (problem). Also Wikidata Q21071499
History
- 2026-11-02: add by m2/dev
Benson's algorithm 142127KV9P
| URI | m2://inv/142127KV9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benson's algorithm (Go), Benson's algorithm (definition). Also Wikidata Q4890228
History
- 2026-11-02: add by m2/dev
Applications 1421DW3E43
| URI | m2://inv/1421DW3E43 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split (graph theory)#CK20, Applications (example)
History
- 2026-11-02: add by m2/dev
Cantor Medal 1422RXSJ1Z
| URI | m2://inv/1422RXSJ1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor Medal, Cantor Medal (definition). Also Wikidata Q653445
History
- 2026-11-02: add by m2/dev
1423W252XH 1423W252XH
| URI | m2://inv/1423W252XH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#QL56 (definition). In JQFPH09JG8/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 1429S8RX8M
| URI | m2://inv/1429S8RX8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonnegative matrix#X87B, Properties (statement)
History
- 2026-11-02: add by m2/dev
142E7P1JHD 142E7P1JHD
| URI | m2://inv/142E7P1JHD |
|---|---|
| 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.10477#F3FV (statement). In 1NZSZ241WE/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
142M9GPXDW 142M9GPXDW
| URI | m2://inv/142M9GPXDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#CBZ7 (definition)
History
- 2026-11-02: add by m2/dev
Geolocation analytics 142NQV7BD4
| URI | m2://inv/142NQV7BD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Web analytics#FOUD, Geolocation analytics (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Ergodic Theorem for MCMC) 142P9X0164
| URI | m2://inv/142P9X0164 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#6K27, Theorem (Ergodic Theorem for MCMC) (statement)
History
- 2026-11-02: add by m2/dev
Zero measures with compact support 142RJ7M09Q
| URI | m2://inv/142RJ7M09Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19930#HVCI, Zero measures with compact support (statement). In 7J7F22NVHM/e1, proposition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Formulation 14323JGM13
| URI | m2://inv/14323JGM13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knower paradox#W9V1, Formulation (definition)
History
- 2026-11-02: add by m2/dev
White noise analysis 1438ZS56NS
| URI | m2://inv/1438ZS56NS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia White noise analysis, White noise analysis (definition). Also Wikidata Q55648768
History
- 2026-11-02: add by m2/dev
1439Y6R3Q5 1439Y6R3Q5
| URI | m2://inv/1439Y6R3Q5 |
|---|---|
| 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.15648#XDT4 (statement). In 5TM775V8HQ/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Multiclass LDA 143BJTECNQ
| URI | m2://inv/143BJTECNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VLJH, Multiclass LDA (definition)
History
- 2026-11-02: add by m2/dev
Morris H. Hansen 143E4VFHQ5
| URI | m2://inv/143E4VFHQ5 |
|---|---|
| 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#OOXF, Morris H. Hansen (topic)
History
- 2026-11-02: add by m2/dev
Properties 143EFM1J6M
| URI | m2://inv/143EFM1J6M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#QL1Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
Maxwell construction 143W16G138
| URI | m2://inv/143W16G138 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell construction, Maxwell construction (definition). Also Wikidata Q15918317
History
- 2026-11-02: add by m2/dev
14400GX0XC 14400GX0XC
| URI | m2://inv/14400GX0XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30565#VP1S (statement). In TP0R6GK9AX/e1, theorem 6
History
- 2026-10-31: add by m2/v0.5.6
Bounded-Lipschitz distance 1444NZ6HK0
| URI | m2://inv/1444NZ6HK0 |
|---|---|
| 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.05064#HIQW, Bounded-Lipschitz distance (definition). In 11SW7NAN7M/e1, definition 3.10
History
- 2026-10-29: add by m2/v0.4.12
Data model 14453C0PDB
| URI | m2://inv/14453C0PDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data model, Data model (definition). Also Wikidata Q1172480
History
- 2026-11-02: add by m2/dev
Jean-Paul Pier 144D26NR88
| URI | m2://inv/144D26NR88 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Paul Pier, Jean-Paul Pier (topic). Also Wikidata Q1557718
History
- 2026-11-02: add by m2/dev
faithful 144EE3ES3A
| URI | m2://inv/144EE3ES3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#M16F, faithful (definition)
History
- 2026-11-02: add by m2/dev
144J1893QJ 144J1893QJ
| URI | m2://inv/144J1893QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#definition-8 (definition). In RZP28ERRZV, definition, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
144P5XECST 144P5XECST
| URI | m2://inv/144P5XECST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25000#9AZG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gauss circle problem 144PND5F27
| URI | m2://inv/144PND5F27 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#H7BP, Gauss circle problem (conjecture)
History
- 2026-11-02: add by m2/dev
Jean-Louis Koszul 144XXNGYMX
| URI | m2://inv/144XXNGYMX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#TQOU, Jean-Louis Koszul (topic)
History
- 2026-11-02: add by m2/dev
1450BN9942 1450BN9942
| URI | m2://inv/1450BN9942 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34675#S3H5 (statement). In C93BAXKJVD/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
Zariski topology 1454SEQ9AZ
| URI | m2://inv/1454SEQ9AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#J4T7, Zariski topology (definition)
History
- 2026-11-02: add by m2/dev
1455XPE2PF 1455XPE2PF
| URI | m2://inv/1455XPE2PF |
|---|---|
| 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.20568#6I5O (statement). In BCD0ATARNZ/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.4.2
Properties 145AM7ECDM
| URI | m2://inv/145AM7ECDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's gamma function#CE1Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
Maximum-minimums identity 145Z49YSG9
| URI | m2://inv/145Z49YSG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum-minimums identity, Maximum-minimums identity (statement). Also Wikidata Q3595339
History
- 2026-11-02: add by m2/dev
145ZTDS91H 145ZTDS91H
| URI | m2://inv/145ZTDS91H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35320#AU6A (statement). In QJ6AEW93RB/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Global log-sum lower bound 146AB430KX
| URI | m2://inv/146AB430KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#QTGT, Global log-sum lower bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
146E45HE3W 146E45HE3W
| URI | m2://inv/146E45HE3W |
|---|---|
| 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.18219#J7DW (statement). In X1AGBB90EH/e1, lemma 7.8
History
- 2026-10-28: add by m2/v0.4.2
Scott's pi 146HB7WMGJ
| URI | m2://inv/146HB7WMGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott's pi, Scott's pi (definition). Also Wikidata Q17131579
History
- 2026-11-02: add by m2/dev
146J2GPAYM 146J2GPAYM
| URI | m2://inv/146J2GPAYM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-11 (example). In E9HS8K3A52, example, section 10.6.2
History
- 2026-11-01: add by m2/v0.6.13
146KARZ056 146KARZ056
| URI | m2://inv/146KARZ056 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#9CUT (statement). In WRMNCC8VBC/e1, lemma 32
History
- 2026-10-27: add by m2/v0.3.6
146VJYCF6X 146VJYCF6X
| URI | m2://inv/146VJYCF6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#lem:hlevel-if-inhab-hlevel (statement). In N54F33XE07, lem, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Parallel projection 146XFXCVBD
| URI | m2://inv/146XFXCVBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel projection, Parallel projection (definition). Also Wikidata Q2112445
History
- 2026-11-02: add by m2/dev
Pierre de Fermat 146XTNYA2W
| URI | m2://inv/146XTNYA2W |
|---|---|
| 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 Q75655, Pierre de Fermat (unknown). Also EoM Fermat,_Pierre_de, nLab Pierre de Fermat, ProofWiki Mathematician:Pierre_de_Fermat
- wikipedia: Wikipedia Pierre de Fermat, Pierre de Fermat (topic). Also Wikidata Q75655
History
- 2026-10-26: add by m2/dev
Failure of quasi-homogeneity 14703ET35P
| URI | m2://inv/14703ET35P |
|---|---|
| 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.21093#15Q8, Failure of quasi-homogeneity (statement). In TBFPBPQV3G/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.2
Definition 1470BFM26G
| URI | m2://inv/1470BFM26G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multicover bifiltration#I4Y4, Definition (definition)
History
- 2026-11-02: add by m2/dev
$H_0$-faithfulness (component agreement 14798GDSEM
| URI | m2://inv/14798GDSEM |
|---|---|
| Kind | definition |
| 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.01937#0HPN, $H_0$-faithfulness (component agreement (definition). In BAEDMM7YM5/e1, definition 26
History
- 2026-10-29: add by m2/v0.4.12
147A9PEFBS 147A9PEFBS
| URI | m2://inv/147A9PEFBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#DNQE (statement). In 5KR3MHYVV6/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
147BVJQ77M 147BVJQ77M
| URI | m2://inv/147BVJQ77M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.08211#IRQN (statement). In 1QRK9HXJWT/e1, lemma 1.1
History
- 2026-10-29: add by m2/v0.4.10
Convexity 147E52RCWW
| URI | m2://inv/147E52RCWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 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.09912#FAEF, Convexity (statement). In 65TJENWK7X/e1, theorem 23
History
- 2026-10-29: add by m2/v0.4.10
147J8484BW 147J8484BW
| URI | m2://inv/147J8484BW |
|---|---|
| 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.27114#FC8A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Domenico Griminelli 147JK2A33M
| URI | m2://inv/147JK2A33M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domenico Griminelli, Domenico Griminelli (topic). Also Wikidata Q18945204
History
- 2026-11-02: add by m2/dev
Lawrence M. Krauss 147JP9SVWX
| URI | m2://inv/147JP9SVWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZVV7, Lawrence M. Krauss (unknown)
History
- 2026-11-02: add by m2/dev
147V3GPPMF 147V3GPPMF
| URI | m2://inv/147V3GPPMF |
|---|---|
| Kind | example |
| 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 2610.12777#RZUY (example). In 1YFK2FB3JY/e1, example 1.1
History
- 2026-10-28: add by m2/v0.4.2
John Mackintosh Howie 147VJ9PW3M
| URI | m2://inv/147VJ9PW3M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8OSN, John Mackintosh Howie (topic)
History
- 2026-11-02: add by m2/dev
147YW5Q7S7 147YW5Q7S7
| URI | m2://inv/147YW5Q7S7 |
|---|---|
| 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.12486#386N (statement). In CWQ2YHT24E/e1, corollary 8.2
History
- 2026-10-28: add by m2/v0.4.2
Definition 1484ME71TB
| URI | m2://inv/1484ME71TB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermodular function#ODNQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
tetrahedron 148AQ2YQNG
| URI | m2://inv/148AQ2YQNG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3.2/tetrahedron, tetrahedron (concept). In Y91XFCEVHQ, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Mendel's laws of inheritance 148XKHYSX4
| URI | m2://inv/148XKHYSX4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mendelian inheritance#7NCL, Mendel's laws of inheritance (statement)
History
- 2026-11-02: add by m2/dev
148XMH5F7C 148XMH5F7C
| URI | m2://inv/148XMH5F7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0411039#APXE (statement). In ZTBDXSKFFW/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Properties 1495EH1Y5C
| URI | m2://inv/1495EH1Y5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon model#OHY6, Properties (statement)
History
- 2026-11-02: add by m2/dev
149622YC1H 149622YC1H
| URI | m2://inv/149622YC1H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#AMID (definition). In X9WFC1D9ZS/e1, definition 40
History
- 2026-10-27: add by m2/v0.4.2
1497QBT1DQ 1497QBT1DQ
| URI | m2://inv/1497QBT1DQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 27.2.2
History
- 2026-11-01: add by m2/v0.6.13
Rupert Lodge 149BG8K74Y
| URI | m2://inv/149BG8K74Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rupert Lodge, Rupert Lodge (topic). Also Wikidata Q7380319
History
- 2026-11-02: add by m2/dev
149ESCHATS 149ESCHATS
| URI | m2://inv/149ESCHATS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 1705.01594#D3GS (statement). In BR3N3GSY2C/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Ellsberg paradox 149SZYG8M0
| URI | m2://inv/149SZYG8M0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0VYH, Ellsberg paradox (statement)
History
- 2026-11-02: add by m2/dev
149Y3736YM 149Y3736YM
| URI | m2://inv/149Y3736YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16069#P296 (statement). In MBJA03ES8N/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
John D. Barrow 14A0YV7DDS
| URI | m2://inv/14A0YV7DDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MYLT, John D. Barrow (unknown)
History
- 2026-11-02: add by m2/dev
Feynman slash notation 14ACQFNHQH
| URI | m2://inv/14ACQFNHQH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2305761, Feynman slash notation (concept). Also nLab Feynman slash notation
History
- 2026-10-26: add by m2/dev
14AG2W65WC 14AG2W65WC
| URI | m2://inv/14AG2W65WC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.13680#6L9H (definition). In QNBFHFZ3H0/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Philip Jourdain 14AJE28X9Q
| URI | m2://inv/14AJE28X9Q |
|---|---|
| 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#LH8H, Philip Jourdain (topic)
History
- 2026-11-02: add by m2/dev
Examples 14AKBF1HZW
| URI | m2://inv/14AKBF1HZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map segmentation#7W7X, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 14AKBVNPW8
| URI | m2://inv/14AKBVNPW8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#MJXD, Examples (example)
History
- 2026-11-02: add by m2/dev
dominant connective 14AKDKSPZY
| URI | m2://inv/14AKDKSPZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#G1XF, dominant connective (definition)
History
- 2026-11-02: add by m2/dev
Halloran, Betz 14AXMT61JM
| URI | m2://inv/14AXMT61JM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#24PG, Halloran, Betz (unknown)
History
- 2026-11-02: add by m2/dev
Sufficient criterion for time negligibility 14AY80DQ07
| URI | m2://inv/14AY80DQ07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#3AYT, Sufficient criterion for time negligibility (statement). In KM3Q791JY0/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.4.2
14B1VRFQTA 14B1VRFQTA
| URI | m2://inv/14B1VRFQTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#UO5A (statement). In ETRT1R1CQ8/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Formal justification for the axioms 14B7ATT73D
| URI | m2://inv/14B7ATT73D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal set theory#CF73, Formal justification for the axioms (statement)
History
- 2026-11-02: add by m2/dev
Particle accelerator 14BAEMBJ9G
| URI | m2://inv/14BAEMBJ9G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#1Q9T, Particle accelerator (unknown)
History
- 2026-11-02: add by m2/dev
14BFTZY8JQ 14BFTZY8JQ
| URI | m2://inv/14BFTZY8JQ |
|---|---|
| Kind | problem |
| 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.21016#EAOY (problem)
History
- 2026-11-02: add by m2/v0.6.18
Alessandro Tomasiello 14BGDN6NNS
| URI | m2://inv/14BGDN6NNS |
|---|---|
| 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 Q59673253, Alessandro Tomasiello (unknown). Also nLab Alessandro Tomasiello
History
- 2026-10-26: add by m2/dev
Generalizations 14BY54AF3F
| URI | m2://inv/14BY54AF3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic sequence#PNUQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Self-avoiding random walk 14BYWCM40M
| URI | m2://inv/14BYWCM40M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#S17N, Self-avoiding random walk (definition)
History
- 2026-11-02: add by m2/dev
14C6FH1FV5 14C6FH1FV5
| URI | m2://inv/14C6FH1FV5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#0HRV (example). In 44DQ7W1NW9/e1, example 4.3
History
- 2026-10-29: add by m2/v0.4.12
reparametrization 14CCA9PAD8
| URI | m2://inv/14CCA9PAD8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/6.2.1/reparametrization, reparametrization (concept). In E59CDZA4DP, index, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Properties 14CN5Q5D85
| URI | m2://inv/14CN5Q5D85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley–Reisner ring#R2MA, Properties (statement)
History
- 2026-11-02: add by m2/dev
14CR9Y9Z7V 14CR9Y9Z7V
| URI | m2://inv/14CR9Y9Z7V |
|---|---|
| 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.11772#V94S (statement). In 2GW9HYGZ8S/e1, corollary 2.1
History
- 2026-10-28: add by m2/v0.4.3
Herwig--Lascar 14CSDNR3VF
| URI | m2://inv/14CSDNR3VF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 05-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.04870#J0ZB, Herwig--Lascar (problem). In X765ZXXVC3/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.12
14D9JX18RT 14D9JX18RT
| URI | m2://inv/14D9JX18RT |
|---|---|
| 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.03126#8GZ2 (statement). In ZJ6VQCRDVR/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.12
Group size measures 14DAF2WPBH
| URI | m2://inv/14DAF2WPBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group size measures, Group size measures (definition). Also Wikidata Q281601
History
- 2026-11-02: add by m2/dev
14DB4FN182 14DB4FN182
| URI | m2://inv/14DB4FN182 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 18-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 2610.17769#KV2Z (example). In 8GHQYNQW9Q/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
14DDPD6160 14DDPD6160
| URI | m2://inv/14DDPD6160 |
|---|---|
| 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 2307.16868#JTTF (statement). In H1BA0DYXA1/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
proper class 14DG00MGJJ
| URI | m2://inv/14DG00MGJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11916410, proper class (definition). Also MathWorld ProperClass, ProofWiki Definition:Class_(Class_Theory)/Proper_Class
History
- 2026-10-26: add by m2/dev
Exact endpoint equation 14DJ4C0KWE
| URI | m2://inv/14DJ4C0KWE |
|---|---|
| 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.14065#GC8J, Exact endpoint equation (statement). In PV7V3X78JH/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
14DKBT9P1K 14DKBT9P1K
| URI | m2://inv/14DKBT9P1K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-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 2609.35229#FUI1 (definition). In XBAXW1YBAK/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Urs Stammbach 14E7A0B2GA
| URI | m2://inv/14E7A0B2GA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urs Stammbach, Urs Stammbach (topic). Also Wikidata Q1541587
History
- 2026-11-02: add by m2/dev
14E8AMESS6 14E8AMESS6
| URI | m2://inv/14E8AMESS6 |
|---|---|
| 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.21680#347F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Archimedes' pulley 14EAWM0VBP
| URI | m2://inv/14EAWM0VBP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#SXLX, Archimedes' pulley (unknown)
History
- 2026-11-02: add by m2/dev
Workflow 14EW11W2DA
| URI | m2://inv/14EW11W2DA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#UO0E, Workflow (unknown)
History
- 2026-11-02: add by m2/dev
Monique Frize 14EZ8JVKQ4
| URI | m2://inv/14EZ8JVKQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8FVF, Monique Frize (unknown)
History
- 2026-11-02: add by m2/dev
14FD4NPAX0 14FD4NPAX0
| URI | m2://inv/14FD4NPAX0 |
|---|---|
| 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 math/9801068#J4B4 (statement). In PMMWXCJVAZ/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Purity of the middle-extension cohomology on a curve 14FFKWZVZH
| URI | m2://inv/14FFKWZVZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.04099#YV02, Purity of the middle-extension cohomology on a curve (statement). In QPJ6FWG5HD/e1, lemma 1.12
History
- 2026-10-29: add by m2/v0.4.12
A. A. Krishnaswami Ayyangar 14FH6A0JX8
| URI | m2://inv/14FH6A0JX8 |
|---|---|
| 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 Q4647478, A. A. Krishnaswami Ayyangar (unknown). Also ProofWiki Mathematician:A.A._Krishnaswami_Ayyangar
- wikipedia: Wikipedia A. A. Krishnaswami Ayyangar, A. A. Krishnaswami Ayyangar (topic). Also Wikidata Q4647478
History
- 2026-10-26: add by m2/dev
14FMKC92E5 14FMKC92E5
| URI | m2://inv/14FMKC92E5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#O67J (statement). In NSYR6W27FP/e1, proposition 4.12
History
- 2026-10-27: add by m2/v0.3.5
Marina Iliopoulou 14FXVBP147
| URI | m2://inv/14FXVBP147 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marina Iliopoulou, Marina Iliopoulou (topic). Also Wikidata Q102926080
History
- 2026-11-02: add by m2/dev
14G9Y5Y66Z 14G9Y5Y66Z
| URI | m2://inv/14G9Y5Y66Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#QRSB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Magnetic torque 14GFAZ6RP6
| URI | m2://inv/14GFAZ6RP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic moment#0XWO, Magnetic torque (unknown)
History
- 2026-11-02: add by m2/dev
intersection form 14GHB3Z709
| URI | m2://inv/14GHB3Z709 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Intersection form WK8GKRKAVD |
Mentions
- wikidata: Wikidata Q6056717, intersection form (unknown). Also nLab intersection pairing
- wikipedia: Wikipedia Intersection form of a 4-manifold, Intersection form of a 4-manifold (definition). Also Wikidata Q6056717
History
- 2026-10-26: add by m2/dev
14GJ0DQZAR 14GJ0DQZAR
| URI | m2://inv/14GJ0DQZAR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/cardsasords.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
Convexity with Spherical Hellinger/Fisher-Rao Metric 14GJ3XJBQ5
| URI | m2://inv/14GJ3XJBQ5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.20998#MN58, Convexity with Spherical Hellinger/Fisher-Rao Metric (example)
History
- 2026-11-02: add by m2/v0.6.18
14GS1E1G6J 14GS1E1G6J
| URI | m2://inv/14GS1E1G6J |
|---|---|
| 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.08480#QAP0 (statement). In R4EEE89C3S/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Metagyrate diminished rhombicosidodecahedron 14HB7SY7E5
| URI | m2://inv/14HB7SY7E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2FDA, Metagyrate diminished rhombicosidodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SIDB, Metagyrate diminished rhombicosidodecahedron (definition)
History
- 2026-11-02: add by m2/dev
14HJ4NMZ9E 14HJ4NMZ9E
| URI | m2://inv/14HJ4NMZ9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#DXWO (statement). In 8XAKGH8S2D/e1, corollary 3.16
History
- 2026-10-29: add by m2/v0.4.10
14HQ4NV3RR 14HQ4NV3RR
| URI | m2://inv/14HQ4NV3RR |
|---|---|
| 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.03555#OAWP (statement). In 9JZJTRRVR1/e1, lemma 9.8
History
- 2026-10-29: add by m2/v0.4.12
14HVVG78HW 14HVVG78HW
| URI | m2://inv/14HVVG78HW |
|---|---|
| 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#FNDH (statement)
History
- 2026-11-02: add by m2/v0.6.17
14JBY174B4 14JBY174B4
| URI | m2://inv/14JBY174B4 |
|---|---|
| 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.20568#P082 (statement)
History
- 2026-11-02: add by m2/v0.6.18
14K2QCFD7X 14K2QCFD7X
| URI | m2://inv/14K2QCFD7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#REY3 (statement). In 4PGTZ19B26/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
14K8H2E7KW 14K8H2E7KW
| URI | m2://inv/14K8H2E7KW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2411.00562#SDQL (definition). In 99CQPHSSYF/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
14KEMCNCQA 14KEMCNCQA
| URI | m2://inv/14KEMCNCQA |
|---|---|
| Kind | example |
| 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.35027#9KJ8 (example). In MEA7NHMQKB/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
Nominal category 14KFEFJARS
| URI | m2://inv/14KFEFJARS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nominal category, Nominal category (definition). Also Wikidata Q7048569
History
- 2026-11-02: add by m2/dev
14KH05HS2X 14KH05HS2X
| URI | m2://inv/14KH05HS2X |
|---|---|
| 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.07644#53XN (statement). In TFAN2DR6FD/e1, proposition 7
History
- 2026-10-27: add by m2/v0.3.5
Definition and examples 14KP6EGGAY
| URI | m2://inv/14KP6EGGAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Course-of-values recursion#S2WR, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
14M1PPRP06 14M1PPRP06
| URI | m2://inv/14M1PPRP06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.12576#4WBI (statement). In BVAWVRS3R9/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
G-module 14M2C3SEQ4
| URI | m2://inv/14M2C3SEQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#WZ1R, G-module (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Szemerédi theorem 14M5ENQVKA
| URI | m2://inv/14M5ENQVKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#AVXX, Erdős–Szemerédi theorem (statement)
History
- 2026-11-02: add by m2/dev
Total break 14M9ZJ2KMQ
| URI | m2://inv/14M9ZJ2KMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital signature forgery#FM82, Total break (unknown)
History
- 2026-11-02: add by m2/dev
14MH5SYZ01 14MH5SYZ01
| URI | m2://inv/14MH5SYZ01 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#ps:expex (example). In E9HS8K3A52, example, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
Jacques Herbrand 14NBYKHT79
| URI | m2://inv/14NBYKHT79 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#TI26, Jacques Herbrand (topic)
History
- 2026-11-02: add by m2/dev
Warren Goldfarb 14NGD3ZWXC
| URI | m2://inv/14NGD3ZWXC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6RYH, Warren Goldfarb (topic)
History
- 2026-11-02: add by m2/dev
Metrodorus 14NPVYZB7C
| URI | m2://inv/14NPVYZB7C |
|---|---|
| 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 Q6824823, Metrodorus (unknown). Also ProofWiki Mathematician:Metrodorus
- wikipedia: Wikipedia Metrodorus (grammarian), Metrodorus (topic). Also Wikidata Q6824823
History
- 2026-10-26: add by m2/dev
14NQ9Y10NV 14NQ9Y10NV
| URI | m2://inv/14NQ9Y10NV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#lem:comp (statement). In PKGMM3P5QY, lem, section 36.3
History
- 2026-11-01: add by m2/v0.6.13
Sridhar Tayur 14NVMWSQSJ
| URI | m2://inv/14NVMWSQSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EUCC, Sridhar Tayur (unknown)
History
- 2026-11-02: add by m2/dev
14NWY50GHY 14NWY50GHY
| URI | m2://inv/14NWY50GHY |
|---|---|
| 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 2609.36313#T2FB (statement). In Z5SP3NW41S/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
\textbf{Sum and scale operators $T_\tau$ 14NX4V7NJ7
| URI | m2://inv/14NX4V7NJ7 |
|---|---|
| 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#CT1V, \textbf{Sum and scale operators $T_\tau$ (statement). In 7R33E8515R/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
circle of latitude 14NZ3N4D3T
| URI | m2://inv/14NZ3N4D3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q146591, circle of latitude (definition). Also ProofWiki Definition:Parallel_of_Latitude
History
- 2026-10-26: add by m2/dev
14P1CN4W6F 14P1CN4W6F
| URI | m2://inv/14P1CN4W6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#1WZC (statement). In J4P6HXMJCH/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Criticism of cryptocurrency 14PBCYGGQC
| URI | m2://inv/14PBCYGGQC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#J40Q, Criticism of cryptocurrency (unknown)
History
- 2026-11-02: add by m2/dev
Discriminative probabilistic latent variable model 14PCJX79BJ
| URI | m2://inv/14PCJX79BJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional random field#Q5JT, Discriminative probabilistic latent variable model (unknown)
History
- 2026-11-02: add by m2/dev
Pythagorean hodograph curve 14PDJJXXYM
| URI | m2://inv/14PDJJXXYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean hodograph curve, Pythagorean hodograph curve (definition). Also Wikidata Q137176829
History
- 2026-11-02: add by m2/dev
14PK4BY3DD 14PK4BY3DD
| URI | m2://inv/14PK4BY3DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#ZQAG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Periodic competitor 14PNQW1C2V
| URI | m2://inv/14PNQW1C2V |
|---|---|
| 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#G3WC, Periodic competitor (statement). In 7X27KRAHCE/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Zariski's finiteness theorem 14PS76JB56
| URI | m2://inv/14PS76JB56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski's finiteness theorem, Zariski's finiteness theorem (statement). Also Wikidata Q55638209
History
- 2026-11-02: add by m2/dev
Special cases 14Q0K1AR6B
| URI | m2://inv/14Q0K1AR6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryser's conjecture#OS2B, Special cases (statement)
History
- 2026-11-02: add by m2/dev
bag 14Q3H7GHWK
| URI | m2://inv/14Q3H7GHWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#B1DO, bag (definition)
History
- 2026-11-02: add by m2/dev
Carleman's equation 14Q6AZ13FF
| URI | m2://inv/14Q6AZ13FF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleman's equation, Carleman's equation (definition). Also Wikidata Q25303873
History
- 2026-11-02: add by m2/dev
Goodstein's theorem 14Q8NEZSKB
| URI | m2://inv/14Q8NEZSKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | Goodstein's theorem XQMNJF241J |
Mentions
- mathlib_1000: mathlib_1000 Q1149185, Goodstein's theorem (statement). Also Wikidata Q1149185
- mathlib_1000: mathlib_1000 Q1149185X, Kirby–Paris theorem (statement). Also Wikidata Q1149185
- thousand_plus: thousand_plus Q1149185, Goodstein's theorem (statement). Also Wikidata Q1149185, Wikipedia Goodstein's theorem
- thousand_plus: thousand_plus Q1149185X, Kirby–Paris theorem (statement). Also Wikidata Q1149185, Wikipedia Kirby–Paris theorem
- wikidata: Wikidata Q1149185, Goodstein's theorem (statement). Also MathWorld GoodsteinsTheorem
- wikipedia: Wikipedia Goodstein's theorem, Goodstein's theorem (statement). Also Wikidata Q1149185
History
- 2026-10-26: add by m2/dev
14QB8T8E3J 14QB8T8E3J
| URI | m2://inv/14QB8T8E3J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Bendixson–Dulac theorem 14QBDP4YRS
| URI | m2://inv/14QBDP4YRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#F9H6, Bendixson–Dulac theorem (statement)
History
- 2026-11-02: add by m2/dev
14QBVKA8C2 14QBVKA8C2
| URI | m2://inv/14QBVKA8C2 |
|---|---|
| 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.12817#8K33 (statement). In FPSGZ5S6YF/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
G. V. Chudnovsky 14QG48R16D
| URI | m2://inv/14QG48R16D |
|---|---|
| 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#WR7U, G. V. Chudnovsky (topic)
History
- 2026-11-02: add by m2/dev
Embedding (field theory) 14QKDSCH7E
| URI | m2://inv/14QKDSCH7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Embedding#99CW, Embedding (field theory) (unknown)
History
- 2026-11-02: add by m2/dev
Construction 14QN51FGV6
| URI | m2://inv/14QN51FGV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia II25,1#PG85, Construction (definition)
History
- 2026-11-02: add by m2/dev
14QTAWYH2F 14QTAWYH2F
| URI | m2://inv/14QTAWYH2F |
|---|---|
| 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.25656#9ID0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
14RDYVJW2Z 14RDYVJW2Z
| URI | m2://inv/14RDYVJW2Z |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#U3GQ (problem)
History
- 2026-11-02: add by m2/v0.6.17
How the ridge advances the small direction 14RSGACBSF
| URI | m2://inv/14RSGACBSF |
|---|---|
| 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.14695#GA6N, How the ridge advances the small direction (statement). In T15EJSPCNG/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Law of continuity 14RT09KPTM
| URI | m2://inv/14RT09KPTM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#SVO1, Law of continuity (statement)
- wikipedia: Wikipedia List of mathematics history topics#67IY, Law of Continuity (statement)
History
- 2026-11-02: add by m2/dev
14RVM92PMS 14RVM92PMS
| URI | m2://inv/14RVM92PMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#L32C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles Royal Johnson 14SERGNEY2
| URI | m2://inv/14SERGNEY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2HB7, Charles Royal Johnson (topic)
History
- 2026-11-02: add by m2/dev
Discrete logarithm cryptography 14SF0SJVW6
| URI | m2://inv/14SF0SJVW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete logarithm#9JYH, Discrete logarithm cryptography (unknown)
History
- 2026-11-02: add by m2/dev
Marie D. Eldridge 14SH3M8XWP
| URI | m2://inv/14SH3M8XWP |
|---|---|
| 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#4W5W, Marie D. Eldridge (topic)
History
- 2026-11-02: add by m2/dev
Genesis (blockchain) 14T3C7NGJ3
| URI | m2://inv/14T3C7NGJ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#VAQY, Genesis (blockchain) (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 14T4G8H1ER
| URI | m2://inv/14T4G8H1ER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheng's eigenvalue comparison theorem#7VVK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Equivariant points give homotopy fixed points 14TA9HY3KH
| URI | m2://inv/14TA9HY3KH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 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 2610.03865#3U4W, Equivariant points give homotopy fixed points (statement). In G3D1YR20BJ/e1, lemma 3.28
History
- 2026-10-29: add by m2/v0.4.12
14TRCH4T10 14TRCH4T10
| URI | m2://inv/14TRCH4T10 |
|---|---|
| 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 alg-geom/9506022#ICSA (statement). In AQGEM4XAKD/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Entropy of dyadic masses 14TZABY6E8
| URI | m2://inv/14TZABY6E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20520#6SEV, Entropy of dyadic masses (statement)
History
- 2026-11-02: add by m2/v0.6.18
14TZM5HM6N 14TZM5HM6N
| URI | m2://inv/14TZM5HM6N |
|---|---|
| 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.10469#WZ41 (statement). In Q39BEKW6D9/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
14V2GER2TA 14V2GER2TA
| URI | m2://inv/14V2GER2TA |
|---|---|
| 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 2204.09167#0N68 (statement). In S1MENYEAG5/e1, theorem 9.7
History
- 2026-10-27: add by m2/v0.3.5
14V2T4SDXD 14V2T4SDXD
| URI | m2://inv/14V2T4SDXD |
|---|---|
| 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.18219#QQK1 (statement). In X1AGBB90EH/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
14V7EANNXV 14V7EANNXV
| URI | m2://inv/14V7EANNXV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
14VG937FX6 14VG937FX6
| URI | m2://inv/14VG937FX6 |
|---|---|
| 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 2510.12502#8TBA (statement). In 3A4K47Y9F2/e1, lemma 2.26
History
- 2026-10-27: add by m2/v0.4.0
14VHQY9YS2 14VHQY9YS2
| URI | m2://inv/14VHQY9YS2 |
|---|---|
| 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.02295#XX21 (statement). In PEBD9ZMA1W/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.12
John Nesselroade 14WCP2Z0K0
| URI | m2://inv/14WCP2Z0K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Nesselroade, John Nesselroade (topic). Also Wikidata Q58975160
History
- 2026-11-02: add by m2/dev
14WFJP8SAT 14WFJP8SAT
| URI | m2://inv/14WFJP8SAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-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.07679#AP1A (statement). In K8JMTRS42G/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
Idempotent analysis 14WGYTCF75
| URI | m2://inv/14WGYTCF75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#O4Y4, Idempotent analysis (definition)
History
- 2026-11-02: add by m2/dev
one-sided limit 14WJT217Q0
| URI | m2://inv/14WJT217Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#FWUX, one-sided limit (definition)
History
- 2026-11-02: add by m2/dev
14WR8C6A79 14WR8C6A79
| URI | m2://inv/14WR8C6A79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#RGBD (statement)
History
- 2026-11-02: add by m2/v0.6.17
14X0ZFXR1W 14X0ZFXR1W
| URI | m2://inv/14X0ZFXR1W |
|---|---|
| Kind | definition |
| 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#ZUWI (definition). In 1QSCT53ZED/e1, definition 8.1
History
- 2026-10-27: add by m2/v0.4.0
Appeal to consequences 14XAC3DWNS
| URI | m2://inv/14XAC3DWNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to consequences, Appeal to consequences (definition). Also Wikidata Q777000
History
- 2026-11-02: add by m2/dev
Cohen–Macaulay ring 14XGHQC4HP
| URI | m2://inv/14XGHQC4HP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#W5IK, Cohen–Macaulay ring (unknown)
History
- 2026-11-02: add by m2/dev
Lisa Jeffrey 14XGTD9Y2S
| URI | m2://inv/14XGTD9Y2S |
|---|---|
| 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 Q6486338, Lisa Jeffrey (unknown). Also nLab Lisa Jeffrey
History
- 2026-10-26: add by m2/dev
Special cases 14XH6V35D2
| URI | m2://inv/14XH6V35D2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Stokes theorem#UUEV, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Babenko–Beckner inequality 14XHN9K69V
| URI | m2://inv/14XHN9K69V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropic uncertainty#YZDN, Babenko–Beckner inequality (statement)
History
- 2026-11-02: add by m2/dev
CW approximation 14XTABG65N
| URI | m2://inv/14XTABG65N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular approximation theorem#FCNF, CW approximation (unknown)
History
- 2026-11-02: add by m2/dev
Mutilated chessboard problem 14XTHVFYSR
| URI | m2://inv/14XTHVFYSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2916568, Gomory's theorem (statement). Also Wikidata Q2916568
- thousand_plus: thousand_plus Q2916568, Gomory's theorem (statement). Also Wikidata Q2916568, Wikipedia Gomory's theorem
- wikipedia: Wikipedia Mutilated chessboard problem, Mutilated chessboard problem (problem). Also Wikidata Q2916568
History
- 2026-10-26: add by m2/dev
Step 2: the "main lemma" 14XX6X23HF
| URI | m2://inv/14XX6X23HF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blow-up lemma#Y82I, Step 2: the "main lemma" (statement)
History
- 2026-11-02: add by m2/dev
Jonathan Luk 14Y1AEV1E6
| URI | m2://inv/14Y1AEV1E6 |
|---|---|
| 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#LPEF, Jonathan Luk (unknown)
History
- 2026-11-02: add by m2/dev
Ethnic groups in Bangladesh 14YHZBANZT
| URI | m2://inv/14YHZBANZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Bangladesh#A0EA, Ethnic groups in Bangladesh (unknown)
History
- 2026-11-02: add by m2/dev
Color bleeding (computer graphics) 14YMWPNBCC
| URI | m2://inv/14YMWPNBCC |
|---|---|
| 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#ZQII, Color bleeding (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
14YQ8N1XJX 14YQ8N1XJX
| URI | m2://inv/14YQ8N1XJX |
|---|---|
| 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.03437#IRDT (definition). In EDTV1EDV7M/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Dmitri Egorov 14YTQ097NG
| URI | m2://inv/14YTQ097NG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#021F, Dmitri Egorov (unknown)
History
- 2026-11-02: add by m2/dev
14YVWFYS20 14YVWFYS20
| URI | m2://inv/14YVWFYS20 |
|---|---|
| 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 2510.12502#9GOQ (statement). In 3A4K47Y9F2/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.0
Minimal complete decompositions 14YW9ERZDQ
| URI | m2://inv/14YW9ERZDQ |
|---|---|
| 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.20922#RD3K, Minimal complete decompositions (statement). In BYG6MRRYA1/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.4.2
Degree-power conjecture 14YXY6MNE3
| URI | m2://inv/14YXY6MNE3 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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.14373#GDDR, Degree-power conjecture (conjecture). In 77TK7M3B9Y/e1, conjecture 3
History
- 2026-10-28: add by m2/v0.4.2
argument of a function 14Z7GSAQZG
| URI | m2://inv/14Z7GSAQZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1027788, argument of a function (unknown). Also MathWorld Argument
- wikipedia: Wikipedia Argument of a function, Argument of a function (definition). Also Wikidata Q1027788
History
- 2026-10-26: add by m2/dev
prolate cycloid 14Z9PP0JGW
| URI | m2://inv/14Z9PP0JGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78153395, prolate cycloid (unknown). Also MathWorld ProlateCycloid
History
- 2026-10-26: add by m2/dev
Applications 14ZCES4V95
| URI | m2://inv/14ZCES4V95 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of finite choice#SVEX, Applications (example)
History
- 2026-11-02: add by m2/dev
Finite dicritical set in $\PP^2$ 14ZCVJZXWH
| URI | m2://inv/14ZCVJZXWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#YJBU, Finite dicritical set in $\PP^2$ (statement). In Z0SAF18JPP/e1, corollary 14.2
History
- 2026-10-28: add by m2/v0.4.2
14ZGRNG7ZY 14ZGRNG7ZY
| URI | m2://inv/14ZGRNG7ZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#1DO8 (statement). In 8A0VZV8PBN/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
14ZJRB8KWH 14ZJRB8KWH
| URI | m2://inv/14ZJRB8KWH |
|---|---|
| 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.00241#1WMS (statement). In VBRQTN2RXN/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
14ZP20KTJV 14ZP20KTJV
| URI | m2://inv/14ZP20KTJV |
|---|---|
| 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.34923#UUTZ (statement). In 7WKVFJEZQT/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
14ZR0S6MRS 14ZR0S6MRS
| URI | m2://inv/14ZR0S6MRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27023#4QUQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform expansion under a finite second moment 14ZRPMJ8GM
| URI | m2://inv/14ZRPMJ8GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25084#S4F5, Uniform expansion under a finite second moment (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 14ZT2N17X4
| URI | m2://inv/14ZT2N17X4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian product#5CAP, Examples (example)
History
- 2026-11-02: add by m2/dev