Inventory rows 58
The cards of the rows of the inventory whose ids start with 58. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Parabolic homology 5802DMKR0Z
| URI | m2://inv/5802DMKR0Z |
|---|---|
| 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.35325#EPN1, Parabolic homology (statement). In GHT5WXFA4E/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
Yuan-Shih Chow 5808M2K4FJ
| URI | m2://inv/5808M2K4FJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#GR1L, Yuan-Shih Chow (topic)
History
- 2026-11-02: add by m2/dev
5809HZME36 5809HZME36
| URI | m2://inv/5809HZME36 |
|---|---|
| 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.01015#1TND (statement). In PSH07NKZ62/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Problem of Apollonius 5809WR682W
| URI | m2://inv/5809WR682W |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Problem of Apollonius F9410EB0N1 |
Mentions
- wikidata: Wikidata Q619449, Problem of Apollonius (problem). Also MathWorld ApolloniusProblem
- wikipedia: Wikipedia Problem of Apollonius, Problem of Apollonius (problem). Also Wikidata Q619449
History
- 2026-10-26: add by m2/dev
580FCHFWRB 580FCHFWRB
| URI | m2://inv/580FCHFWRB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:nat-wf (example). In N54F33XE07, eg, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem 7.2 of *{Chapter IV 580HJ4QWVJ
| URI | m2://inv/580HJ4QWVJ |
|---|---|
| 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.37739#1Q1J, Theorem 7.2 of *{Chapter IV (statement). In F5XF5VXTXY/e1, theorem 2.12
History
- 2026-10-30: add by m2/v0.4.12
580NF6NZ6Z 580NF6NZ6Z
| URI | m2://inv/580NF6NZ6Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-197 (exercise). In VNMV985MXX, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Consequences of Britton's Lemma 580RF0Q9D6
| URI | m2://inv/580RF0Q9D6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HNN extension#5K4X, Consequences of Britton's Lemma (statement)
History
- 2026-11-02: add by m2/dev
581C1YEJFM 581C1YEJFM
| URI | m2://inv/581C1YEJFM |
|---|---|
| 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.20798#XE6Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
Telegony 581DZ6GV5M
| URI | m2://inv/581DZ6GV5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#9R51, Telegony (unknown)
History
- 2026-11-02: add by m2/dev
Differential Riccati compatibility 581H7201EE
| URI | m2://inv/581H7201EE |
|---|---|
| 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.20197#56JV, Differential Riccati compatibility (statement)
History
- 2026-11-02: add by m2/v0.6.18
uniform norm 581JBERAYY
| URI | m2://inv/581JBERAYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Sup norm on bounded continuous functions 0PARCKE8WP |
Mentions
- wikidata: Wikidata Q1202673, uniform norm (unknown). Also MathWorld SupremumNorm
- wikipedia: Wikipedia Uniform norm, Uniform norm (definition). Also Wikidata Q1202673
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Truncated order-6 octagonal tiling 581TKPD9VV
| URI | m2://inv/581TKPD9VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-6 octagonal tiling, Truncated order-6 octagonal tiling (definition). Also Wikidata Q17078623
History
- 2026-11-02: add by m2/dev
Markov-modulated Poisson process 5822KT9GCD
| URI | m2://inv/5822KT9GCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markovian arrival process#Q1NU, Markov-modulated Poisson process (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert's 12th problem 582A8HD2X8
| URI | m2://inv/582A8HD2X8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#RBJV, Hilbert's 12th problem (conjecture)
History
- 2026-11-02: add by m2/dev
Strong separation 582C4QAEC5
| URI | m2://inv/582C4QAEC5 |
|---|---|
| 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.07214#Q0K6, Strong separation (statement). In 669PBFJX0Z/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
PQP 582J2F61R7
| URI | m2://inv/582J2F61R7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PP (complexity)#AWH5, PQP (unknown)
History
- 2026-11-02: add by m2/dev
582JZWB0MY 582JZWB0MY
| URI | m2://inv/582JZWB0MY |
|---|---|
| Kind | definition |
| 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 2605.30679#XVTI (definition). In Z31GMHMG7B/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
582P2AKER0 582P2AKER0
| URI | m2://inv/582P2AKER0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#Y1BT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basic properties 582QNX3EWY
| URI | m2://inv/582QNX3EWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind zeta function#BUHN, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Kernel extension theorem for vector spaces 583H7KME8F
| URI | m2://inv/583H7KME8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theorem for vector spaces#G4NN, Kernel extension theorem for vector spaces (statement)
History
- 2026-11-02: add by m2/dev
583HYCYBEA 583HYCYBEA
| URI | m2://inv/583HYCYBEA |
|---|---|
| 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 2503.08018#1O05 (statement). In TN93YFN45W/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.0
583RAS4099 583RAS4099
| URI | m2://inv/583RAS4099 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#RFVK (statement). In YH1W5A0JTS/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
cf.\ \protect 583WJ193XP
| URI | m2://inv/583WJ193XP |
|---|---|
| Kind | conjecture |
| 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.28848#RELR, cf.\ \protect (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Stallings theorem about ends of groups 583XVR69DD
| URI | m2://inv/583XVR69DD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QHSW, Stallings theorem about ends of groups (statement)
History
- 2026-11-02: add by m2/dev
$C_0$-semigroup 5843AWWKQR
| URI | m2://inv/5843AWWKQR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#7HMS, $C_0$-semigroup (definition). In RHBS9QDHC3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Smith , Theorems 6.8. and 6.10. 5843JN7P8N
| URI | m2://inv/5843JN7P8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1003.2117#MT50, Smith , Theorems 6.8. and 6.10. (statement). In H4D4RFNH2V/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Fidelity of a lifted transition rule 5843WEYQZ9
| URI | m2://inv/5843WEYQZ9 |
|---|---|
| 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.35986#IKX7, Fidelity of a lifted transition rule (statement). In PBX6AMPVT2/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Hermite eigenfunctions and the Gaussian power spectrum 584PRB4Q5B
| URI | m2://inv/584PRB4Q5B |
|---|---|
| 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#CPWS, Hermite eigenfunctions and the Gaussian power spectrum (statement). In 9YAE8FNQST/e1, corollary 13.7
History
- 2026-10-30: add by m2/v0.4.12
584R7C59D7 584R7C59D7
| URI | m2://inv/584R7C59D7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Asymmetric simple exclusion process 584T1BPHPM
| URI | m2://inv/584T1BPHPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric simple exclusion process, Asymmetric simple exclusion process (definition). Also Wikidata Q297612
History
- 2026-11-02: add by m2/dev
Argument from species normality 58576BRJBD
| URI | m2://inv/58576BRJBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from marginal cases#Z507, Argument from species normality (unknown)
History
- 2026-11-02: add by m2/dev
5858YB2WZN 5858YB2WZN
| URI | m2://inv/5858YB2WZN |
|---|---|
| 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.17240#QR6G (statement). In 59BZ4V9RQW/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
convex hull 585FFDA33D
| URI | m2://inv/585FFDA33D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Convex hull 0FQSDC2EQ2 |
Mentions
- wikidata: Wikidata Q1138624, convex hull (unknown). Also EoM Convex_hull, MathWorld ConvexHull
- wikipedia: Wikipedia Convex hull, Convex hull (definition). Also Wikidata Q1138624
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Susan D'Agostino 585JWHMVRK
| URI | m2://inv/585JWHMVRK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan D'Agostino, Susan D'Agostino (topic). Also Wikidata Q102261571
History
- 2026-11-02: add by m2/dev
Parseval\footnote{ Named after the French mathematician \href{https://en.wikipedia.org/wiki/Marc-Antoine_Parseval}{Marc-Antoine Parseval} (1755--1836).} 585MPF0WC0
| URI | m2://inv/585MPF0WC0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm-3, Parseval\footnote{ Named after the French mathematician \href{https://en.wikipedia.org/wiki/Marc-Antoine_Parseval}{Marc-Antoine Parseval} (1755--1836).} (statement). In E59CDZA4DP, thm, section 1.8.6
History
- 2026-11-01: add by m2/v0.6.13
585PGR4Y63 585PGR4Y63
| URI | m2://inv/585PGR4Y63 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
585ZC62EWW 585ZC62EWW
| URI | m2://inv/585ZC62EWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06944#N8NP (statement). In 1HSWBXDXWV/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Power variance inequality 5864W3R0BV
| URI | m2://inv/5864W3R0BV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#LFS0, Power variance inequality (statement). In FTPW1SZ8D3/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Master convergence for inexact PMD 586A012EAH
| URI | m2://inv/586A012EAH |
|---|---|
| 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.04117#U8TY, Master convergence for inexact PMD (statement). In 65E9N3DFYP/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Peter Westervelt 586DYRZG81
| URI | m2://inv/586DYRZG81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#B4MZ, Peter Westervelt (unknown)
History
- 2026-11-02: add by m2/dev
586EYDQX9C 586EYDQX9C
| URI | m2://inv/586EYDQX9C |
|---|---|
| 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.12857#XJWA (statement). In XJWQ6Y83F8/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Lemma 586JGQZWHT
| URI | m2://inv/586JGQZWHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#7Y7N, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Definition 586KABFAPV
| URI | m2://inv/586KABFAPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre symbol#KX0C, Definition (definition)
History
- 2026-11-02: add by m2/dev
586MQYA813 586MQYA813
| URI | m2://inv/586MQYA813 |
|---|---|
| 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.03292#6IBZ (statement). In SN2PBM95HT/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Luigi Ambrosio 586PF7VB05
| URI | m2://inv/586PF7VB05 |
|---|---|
| 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#0J9D, Luigi Ambrosio (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GQDF, Luigi Ambrosio (topic)
History
- 2026-11-02: add by m2/dev
Conventional implicature 586VYH9N82
| URI | m2://inv/586VYH9N82 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicature#XR1H, Conventional implicature (unknown)
History
- 2026-11-02: add by m2/dev
586WNZHZ5G 586WNZHZ5G
| URI | m2://inv/586WNZHZ5G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/reducts-and-expansions.tex#prop:reduct (statement). In PKGMM3P5QY, prop, section 46.6
History
- 2026-11-01: add by m2/v0.6.13
586XM0X3RD 586XM0X3RD
| URI | m2://inv/586XM0X3RD |
|---|---|
| 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.06872#XXWL (statement). In J4H3A11MMX/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Porcupines do not shoot their quills 5874TJ2WFQ
| URI | m2://inv/5874TJ2WFQ |
|---|---|
| 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#M2DK, Porcupines do not shoot their quills (unknown)
History
- 2026-11-02: add by m2/dev
58757CC2AK 58757CC2AK
| URI | m2://inv/58757CC2AK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#CJSC (statement). In HVGT9D84WV/e1, corollary 3.11
History
- 2026-10-27: add by m2/v0.3.5
Examples 5877BW1GVY
| URI | m2://inv/5877BW1GVY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-supervised learning#HKRY, Examples (example)
History
- 2026-11-02: add by m2/dev
Weyl distance function 5877QB1NTK
| URI | m2://inv/5877QB1NTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl distance function, Weyl distance function (definition). Also Wikidata Q25303876
History
- 2026-11-02: add by m2/dev
Examples 587DB68A4N
| URI | m2://inv/587DB68A4N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naive Bayes classifier#GJK4, Examples (example)
History
- 2026-11-02: add by m2/dev
587HPZE6KT 587HPZE6KT
| URI | m2://inv/587HPZE6KT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#DH4C (definition). In 7V3HG30ZGW/e1, definition 6.11
History
- 2026-10-27: add by m2/v0.4.0
587NTP39VT 587NTP39VT
| URI | m2://inv/587NTP39VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#6KOQ (statement). In WRE0P7V6Z3/e1, theorem D.27
History
- 2026-10-30: add by m2/v0.4.12
587XFDC6HQ 587XFDC6HQ
| URI | m2://inv/587XFDC6HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#WMOF (statement). In XG3BJ2QXXP/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
587XR7MHTW 587XR7MHTW
| URI | m2://inv/587XR7MHTW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-55 (exercise). In E9HS8K3A52, exercise, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
587ZDXCSR8 587ZDXCSR8
| URI | m2://inv/587ZDXCSR8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#problem-6 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
5881T3ZN73 5881T3ZN73
| URI | m2://inv/5881T3ZN73 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#U5GD (definition). In ESDKTYDHC8/e1, definition 12
History
- 2026-10-29: add by m2/v0.4.12
Socialist millionaire problem 5882JXHC51
| URI | m2://inv/5882JXHC51 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Socialist millionaire problem, Socialist millionaire problem (problem). Also Wikidata Q7551852
History
- 2026-11-02: add by m2/dev
series, finite geometric, sum of 5883DHE2CT
| URI | m2://inv/5883DHE2CT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/8.1/series-finite-geometric-sum-of, series, finite geometric, sum of (concept). In QKM9DD2H56, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
5888FB87KF 5888FB87KF
| URI | m2://inv/5888FB87KF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 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 2110.11143#QTK2 (problem). In VTVC0TCWSB/e1, problem 1.2
History
- 2026-10-27: add by m2/v0.3.5
equations of motion 588AFPR550
| URI | m2://inv/588AFPR550 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215007, equations of motion (definition). Also ProofWiki Definition:Equation_of_Motion
History
- 2026-10-26: add by m2/dev
Bipartite projection preserves OS-positivity 588DHT1H8H
| URI | m2://inv/588DHT1H8H |
|---|---|
| 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.29671#9ADD, Bipartite projection preserves OS-positivity (statement)
History
- 2026-11-01: add by m2/v0.6.15
588DSS3VX9 588DSS3VX9
| URI | m2://inv/588DSS3VX9 |
|---|---|
| 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.24051#HQ0T (statement)
History
- 2026-11-02: add by m2/v0.6.17
Group with operators 588T9V31XN
| URI | m2://inv/588T9V31XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group with operators, Group with operators (definition). Also Wikidata Q3077823
History
- 2026-11-02: add by m2/dev
588TASHNSC 588TASHNSC
| URI | m2://inv/588TASHNSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14692#K7XT (statement). In NE5EH5FXRV/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.3.5
588ZW71S4W 588ZW71S4W
| URI | m2://inv/588ZW71S4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22073#TZAC (statement). In MVWSXXCXB7/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.4.2
D-brane 5890WTTPB8
| URI | m2://inv/5890WTTPB8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137880, D-brane (unknown). Also nLab D-brane
History
- 2026-10-26: add by m2/dev
International Standard Book Number 58938BYZPN
| URI | m2://inv/58938BYZPN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33057, International Standard Book Number (unknown). Also MathWorld ISBN
History
- 2026-10-26: add by m2/dev
Star of David in Islam 589B16WY66
| URI | m2://inv/589B16WY66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagram#27MD, Star of David in Islam (unknown)
History
- 2026-11-02: add by m2/dev
589H8G36QG 589H8G36QG
| URI | m2://inv/589H8G36QG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#example-inverse-augment-I (example). In 649HGZKE96, example, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
Theory of pure equality 589NZA7H7H
| URI | m2://inv/589NZA7H7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of pure equality, Theory of pure equality (definition). Also Wikidata Q7782446
History
- 2026-11-02: add by m2/dev
Ch. III, \S10; Ex. V.2.2 589PJF7GA0
| URI | m2://inv/589PJF7GA0 |
|---|---|
| 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.19251#07SE, Ch. III, \S10; Ex. V.2.2 (statement). In CSW6NG0FRN/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
craps 589X7BTD8M
| URI | m2://inv/589X7BTD8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q869499, craps (unknown). Also MathWorld Craps
History
- 2026-10-26: add by m2/dev
Abstract algebra 58A4R032T8
| URI | m2://inv/58A4R032T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#RTEY, Abstract algebra (definition)
History
- 2026-11-02: add by m2/dev
58A5RQRN4Z 58A5RQRN4Z
| URI | m2://inv/58A5RQRN4Z |
|---|---|
| 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.14154#0MCT (statement). In 8X6PXX2TRA/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Exponential field 58A7J6A9DH
| URI | m2://inv/58A7J6A9DH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential field, Exponential field (definition). Also Wikidata Q5421519
History
- 2026-11-02: add by m2/dev
A site percolation/vertex-orbit version 58A8ZYHC7R
| URI | m2://inv/58A8ZYHC7R |
|---|---|
| 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.08261#ZYUE, A site percolation/vertex-orbit version (statement). In QD68GYRWNS/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
List of vector spaces in mathematics 58A9H1YYTX
| URI | m2://inv/58A9H1YYTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics, List of vector spaces in mathematics (topic). Also Wikidata Q6644572
History
- 2026-11-02: add by m2/dev
58ADEBTK7G 58ADEBTK7G
| URI | m2://inv/58ADEBTK7G |
|---|---|
| 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 2308.05715#DQUM (definition). In FC0SB9JFWH/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.3.5
58ADP28EMQ 58ADP28EMQ
| URI | m2://inv/58ADP28EMQ |
|---|---|
| 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 2204.04265#GWD7 (statement). In YHA9M56TBB/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
58AE2KZXNE 58AE2KZXNE
| URI | m2://inv/58AE2KZXNE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#1SHG (problem)
History
- 2026-11-01: add by m2/v0.6.15
model category 58AE7A0ASQ
| URI | m2://inv/58AE7A0ASQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Model category SDTZVZ6B4Q |
Mentions
- wikidata: Wikidata Q1941896, model category (unknown). Also nLab model category
- wikipedia: Wikipedia Model category, Model category (definition). Also Wikidata Q1941896
History
- 2026-10-26: add by m2/dev
Ackermann–Teubner Memorial Award 58AKPMMHK5
| URI | m2://inv/58AKPMMHK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann–Teubner Memorial Award, Ackermann–Teubner Memorial Award (definition). Also Wikidata Q178669
History
- 2026-11-02: add by m2/dev
Borsuk's theorem 58ANCQNN0P
| URI | m2://inv/58ANCQNN0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#BVUA, Borsuk's theorem (definition)
History
- 2026-11-02: add by m2/dev
58AQNMVRJG 58AQNMVRJG
| URI | m2://inv/58AQNMVRJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#SAMN (statement). In VN084GGZGK/e1, theorem 2.36
History
- 2026-10-28: add by m2/v0.4.3
Galois category 58AVY0SCTE
| URI | m2://inv/58AVY0SCTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#LMIB, Galois category (definition)
History
- 2026-11-02: add by m2/dev
58AZNK062K 58AZNK062K
| URI | m2://inv/58AZNK062K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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.16606#7YFJ (definition). In A798V7TX99/e1, definition 5.6
History
- 2026-10-28: add by m2/v0.4.2
58AZVATYCF 58AZVATYCF
| URI | m2://inv/58AZVATYCF |
|---|---|
| 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.03384#F8FZ (statement). In J55JTTKG84/e1, theorem 4.28
History
- 2026-10-29: add by m2/v0.4.12
Dual defect hierarchy 58B1Q00QN6
| URI | m2://inv/58B1Q00QN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.06739#G3VO, Dual defect hierarchy (statement). In HA9B7PD0YV/e1, theorem 33
History
- 2026-10-29: add by m2/v0.4.10
58B8E1Z654 58B8E1Z654
| URI | m2://inv/58B8E1Z654 |
|---|---|
| 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.32997#MKTS (statement). In N380GY9A9N/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
De numeris triangularibus et inde de progressionibus arithmeticis: Magisteria magna 58BE972RKE
| URI | m2://inv/58BE972RKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De numeris triangularibus et inde de progressionibus arithmeticis: Magisteria magna, De numeris triangularibus et inde de progressionibus arithmeticis: Magisteria magna (definition). Also Wikidata Q85755973
History
- 2026-11-02: add by m2/dev
Yakov Sinai 58BGWFJ693
| URI | m2://inv/58BGWFJ693 |
|---|---|
| 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 Q950897, Yakov Sinai (unknown). Also ProofWiki Mathematician:Yakov_Grigorevich_Sinai
- wikipedia: Wikipedia Yakov Sinai, Yakov Sinai (topic). Also Wikidata Q950897
History
- 2026-10-26: add by m2/dev
58C0BBP602 58C0BBP602
| URI | m2://inv/58C0BBP602 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#cor:pi1s1 (statement). In N54F33XE07, cor, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
58CESY4MJP 58CESY4MJP
| URI | m2://inv/58CESY4MJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#7I3G (statement). In RYWAX33Z51/e1, lemma F.2
History
- 2026-10-31: add by m2/v0.5.6
Tangent RWMH 58CRHTDHKF
| URI | m2://inv/58CRHTDHKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#G5BE, Tangent RWMH (statement). In A7HTYWJNCX/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
Alexander Its 58CTY8FMDB
| URI | m2://inv/58CTY8FMDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Its, Alexander Its (topic). Also Wikidata Q15455711
History
- 2026-11-02: add by m2/dev
58CTZDXQPH 58CTZDXQPH
| URI | m2://inv/58CTZDXQPH |
|---|---|
| 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.24235#F1SL (statement)
History
- 2026-11-01: add by m2/v0.6.15
58CXHHMPVF 58CXHHMPVF
| URI | m2://inv/58CXHHMPVF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08370#KYFM (example). In EQN3EZRZYQ/e1, example 5.7
History
- 2026-10-29: add by m2/v0.4.10
Combustion chemistry 58CYX587BB
| URI | m2://inv/58CYX587BB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combustion#LDUK, Combustion chemistry (unknown)
History
- 2026-11-02: add by m2/dev
58DAJT23H1 58DAJT23H1
| URI | m2://inv/58DAJT23H1 |
|---|---|
| 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.12908#BW9S (definition). In TNC658NVMQ/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Marc Nerlove 58DDK3KKG2
| URI | m2://inv/58DDK3KKG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0JHK, Marc Nerlove (unknown)
History
- 2026-11-02: add by m2/dev
58DGT67B80 58DGT67B80
| URI | m2://inv/58DGT67B80 |
|---|---|
| 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.36423#UTY1 (statement). In Q5Z178SAHP/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Variations 58DKWTE1AX
| URI | m2://inv/58DKWTE1AX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Nagy theorem#0U13, Variations (statement)
History
- 2026-11-02: add by m2/dev
Pappus 58DR9FW7MJ
| URI | m2://inv/58DR9FW7MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#8SS2, Pappus (definition)
History
- 2026-11-02: add by m2/dev
58DTMA9NRF 58DTMA9NRF
| URI | m2://inv/58DTMA9NRF |
|---|---|
| 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 2609.40191#C2WK (statement). In F0D8VSM4Z4/e1, theorem 6.7
History
- 2026-10-30: add by m2/v0.4.12
HTTP Strict Transport Security 58E8FV7J3B
| URI | m2://inv/58E8FV7J3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HTTP Strict Transport Security, HTTP Strict Transport Security (definition). Also Wikidata Q2438540
History
- 2026-11-02: add by m2/dev
Millennials 58ED15VDC2
| URI | m2://inv/58ED15VDC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millennials, Millennials (definition). Also Wikidata Q277633
History
- 2026-11-02: add by m2/dev
Alexander Gamburd 58ET5NTNEK
| URI | m2://inv/58ET5NTNEK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SLME, Alexander Gamburd (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#85IG, Alexander Gamburd (topic)
History
- 2026-11-02: add by m2/dev
58EXAMVHNT 58EXAMVHNT
| URI | m2://inv/58EXAMVHNT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#activity-5 (exercise). In 649HGZKE96, activity, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Hankel structure 58FVCQB8DE
| URI | m2://inv/58FVCQB8DE |
|---|---|
| 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.37074#W4FY, Hankel structure (statement). In VTNV72MCVD/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Sachdev-Ye-Kitaev model 58FVXN98EF
| URI | m2://inv/58FVXN98EF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85799082, Sachdev-Ye-Kitaev model (unknown). Also nLab Sachdev-Ye-Kitaev model
- wikipedia: Wikipedia Sachdev–Ye–Kitaev model, Sachdev–Ye–Kitaev model (definition). Also Wikidata Q85799082
History
- 2026-10-26: add by m2/dev
58FX7ZQK04 58FX7ZQK04
| URI | m2://inv/58FX7ZQK04 |
|---|---|
| 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.23338#QBDT (statement)
History
- 2026-11-02: add by m2/v0.6.17
58G3EE59VP 58G3EE59VP
| URI | m2://inv/58G3EE59VP |
|---|---|
| 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#VGLH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Relative index of inequality 58G5P5ET00
| URI | m2://inv/58G5P5ET00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S3GR, Relative index of inequality (statement)
History
- 2026-11-02: add by m2/dev
58GV1QDXF4 58GV1QDXF4
| URI | m2://inv/58GV1QDXF4 |
|---|---|
| Kind | problem |
| 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 2203.17055#4WWP (problem). In 2FCSSBRX80/e1, problem II.2
History
- 2026-10-27: add by m2/v0.3.6
Factor theorem 58GVTF5RM3
| URI | m2://inv/58GVTF5RM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1MVU, Factor theorem (statement)
History
- 2026-11-02: add by m2/dev
Fibonacci group 58GXHQ3T94
| URI | m2://inv/58GXHQ3T94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci group, Fibonacci group (definition). Also Wikidata Q3117679
History
- 2026-11-02: add by m2/dev
58GY5CCDN9 58GY5CCDN9
| URI | m2://inv/58GY5CCDN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#C871 (statement). In V7SN19J84T/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Entropic bias on \texttt{CCO} instances 58H2QVHH7X
| URI | m2://inv/58H2QVHH7X |
|---|---|
| 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.01199#WBHF, Entropic bias on \texttt{CCO} instances (statement). In XZ4MRWR77Q/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Detlef Laugwitz 58H5JT58WW
| URI | m2://inv/58H5JT58WW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detlef Laugwitz, Detlef Laugwitz (topic). Also Wikidata Q90610
History
- 2026-11-02: add by m2/dev
Gauss–Bonnet theorem 58H7WZCQV6
| URI | m2://inv/58H7WZCQV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential geometry of surfaces#CGEA, Gauss–Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
The unchanged manifold category is not a full CFO 58HJJQ76J4
| URI | m2://inv/58HJJQ76J4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.28220#7457, The unchanged manifold category is not a full CFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQIsign 58HPGAK2NP
| URI | m2://inv/58HPGAK2NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQIsign, SQIsign (definition). Also Wikidata Q131378576
History
- 2026-11-02: add by m2/dev
58JAP08AKH 58JAP08AKH
| URI | m2://inv/58JAP08AKH |
|---|---|
| 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 2403.16814#PV7A (statement). In MN03Z3PRFT/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Conformal map 58JH2VZH17
| URI | m2://inv/58JH2VZH17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#KVK9, Conformal map (definition)
History
- 2026-11-02: add by m2/dev
Properties of the Steenrod algebra 58JHV0JEWN
| URI | m2://inv/58JHV0JEWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steenrod algebra#C0CK, Properties of the Steenrod algebra (statement)
History
- 2026-11-02: add by m2/dev
58JR1R1T7D 58JR1R1T7D
| URI | m2://inv/58JR1R1T7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18094#DLXO (statement). In AYANBEWSFH/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
58JR4WDX1M 58JR4WDX1M
| URI | m2://inv/58JR4WDX1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10591#CFY6 (statement). In FTEA0TM35J/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
58K2D1EP6C 58K2D1EP6C
| URI | m2://inv/58K2D1EP6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#UDQC (statement). In 7QXAZXGNPQ/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
Limits of zero measures 58K2HTKHYK
| URI | m2://inv/58K2HTKHYK |
|---|---|
| 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#9H5R, Limits of zero measures (statement). In 7J7F22NVHM/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Sphere bundle (0) 58KD2KKSY6
| URI | m2://inv/58KD2KKSY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber bundle#RT11, Sphere bundle (0) (unknown)
History
- 2026-11-02: add by m2/dev
58KMAAD5ET 58KMAAD5ET
| URI | m2://inv/58KMAAD5ET |
|---|---|
| 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#1GOM (statement). In 8PTDFHV8SQ/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.3
Hypercube 58KWSM6N4V
| URI | m2://inv/58KWSM6N4V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#A06T, Hypercube (object)
- wikipedia: Wikipedia List of mathematical shapes#CF3I, Hypercube (object)
- wikipedia: Wikipedia List of mathematical shapes#Q948, Hypercube (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#TKYG, Hypercube (object)
History
- 2026-11-02: add by m2/dev
58KXAWKY0N 58KXAWKY0N
| URI | m2://inv/58KXAWKY0N |
|---|---|
| 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.21781#UCX5 (statement). In FEQ72D1AX6/e1, lemma 5.13
History
- 2026-10-27: add by m2/v0.4.2
Construction 58M2BNE2NF
| URI | m2://inv/58M2BNE2NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub square antiprism#I1ME, Construction (definition)
History
- 2026-11-02: add by m2/dev
Gail Devers 58M5C5Y73S
| URI | m2://inv/58M5C5Y73S |
|---|---|
| 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#PDX8, Gail Devers (unknown)
History
- 2026-11-02: add by m2/dev
Kharitonov's theorem 58MA1VJ9EM
| URI | m2://inv/58MA1VJ9EM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZMUT, Kharitonov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Unevenly spaced time series 58MD6DTW9W
| URI | m2://inv/58MD6DTW9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OJSC, Unevenly spaced time series (definition)
History
- 2026-11-02: add by m2/dev
Rubik's Cubism 58MSG1JM49
| URI | m2://inv/58MSG1JM49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubik's Cube#SO41, Rubik's Cubism (unknown)
History
- 2026-11-02: add by m2/dev
Kengo Hirachi 58N4RJXKZF
| URI | m2://inv/58N4RJXKZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kengo Hirachi, Kengo Hirachi (topic). Also Wikidata Q11482287
History
- 2026-11-02: add by m2/dev
Euler's continued fraction formula 58N7T19EEA
| URI | m2://inv/58N7T19EEA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's continued fraction formula, Euler's continued fraction formula (statement). Also Wikidata Q5361532
History
- 2026-11-02: add by m2/dev
Point spread function 58P3Z771AN
| URI | m2://inv/58P3Z771AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point spread function, Point spread function (definition). Also Wikidata Q510427
History
- 2026-11-02: add by m2/dev
Main effect 58P4WPPB3G
| URI | m2://inv/58P4WPPB3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Main effect, Main effect (definition). Also Wikidata Q6736213
History
- 2026-11-02: add by m2/dev
Vertex violations 58P5R3R4P6
| URI | m2://inv/58P5R3R4P6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03677#6KO3, Vertex violations (statement). In J1Y06VVYRG/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
58P6RF4T3K 58P6RF4T3K
| URI | m2://inv/58P6RF4T3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04835#X11L (statement). In P6PHR4W23S/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Zillennials 58PB3Z4PBX
| URI | m2://inv/58PB3Z4PBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zillennials, Zillennials (definition). Also Wikidata Q111737399
History
- 2026-11-02: add by m2/dev
58PCX5ZJE8 58PCX5ZJE8
| URI | m2://inv/58PCX5ZJE8 |
|---|---|
| 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.15744#WCYC (statement). In NV3PBZGBB7/e1, theorem 6.12
History
- 2026-10-28: add by m2/v0.4.2
Bitcoin Faucet 58PMQRNF36
| URI | m2://inv/58PMQRNF36 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of bitcoin#POG8, Bitcoin Faucet (unknown)
History
- 2026-11-02: add by m2/dev
Examples 58PNHTDRA9
| URI | m2://inv/58PNHTDRA9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal and minimal elements#O7X7, Examples (example)
History
- 2026-11-02: add by m2/dev
Vincenzo Riccati 58PSQKM7Q7
| URI | m2://inv/58PSQKM7Q7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#Q4LR, Vincenzo Riccati (unknown)
History
- 2026-11-02: add by m2/dev
Generic contribution in fixed dimension 58PSYKNCE5
| URI | m2://inv/58PSYKNCE5 |
|---|---|
| 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#VVDP, Generic contribution in fixed dimension (statement). In QPJ6FWG5HD/e1, proposition 2.111
History
- 2026-10-29: add by m2/v0.4.12
Axioms 58Q2HPJ2SA
| URI | m2://inv/58Q2HPJ2SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/axioms-rules-propositional.tex#defn-1, Axioms (definition). In PKGMM3P5QY, defn, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
58QFFDG0Y7 58QFFDG0Y7
| URI | m2://inv/58QFFDG0Y7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-62 (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Position and momentum spaces 58QSY4XD1V
| URI | m2://inv/58QSY4XD1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Position and momentum spaces, Position and momentum spaces (definition). Also Wikidata Q1225362
History
- 2026-11-02: add by m2/dev
Robert Remak 58QZZM6BNB
| URI | m2://inv/58QZZM6BNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Remak (mathematician), Robert Remak (topic). Also Wikidata Q76220
History
- 2026-11-02: add by m2/dev
Applications 58RBFDYZ19
| URI | m2://inv/58RBFDYZ19 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema of replacement#2HGD, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples 58RF44M0KJ
| URI | m2://inv/58RF44M0KJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-interior point#BOK5, Examples (example)
History
- 2026-11-02: add by m2/dev
58RKFWDEH5 58RKFWDEH5
| URI | m2://inv/58RKFWDEH5 |
|---|---|
| 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 2308.05715#7UIC (statement). In FC0SB9JFWH/e1, proposition 8.4
History
- 2026-10-27: add by m2/v0.3.5
Free parameter 58RTXPRSK1
| URI | m2://inv/58RTXPRSK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free parameter, Free parameter (definition). Also Wikidata Q5500263
History
- 2026-11-02: add by m2/dev
induction, principle of mathematical 58RWS5PFP0
| URI | m2://inv/58RWS5PFP0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.7/induction-principle-of-mathematical, induction, principle of mathematical (concept). In QKM9DD2H56, index, section B.7
History
- 2026-11-01: add by m2/v0.6.13
Examples 58RY0PK1Z2
| URI | m2://inv/58RY0PK1Z2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic sequence#ASUO, Examples (example)
History
- 2026-11-02: add by m2/dev
Graph equation 58S0X57C7K
| URI | m2://inv/58S0X57C7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph equation, Graph equation (definition). Also Wikidata Q5597082
History
- 2026-11-02: add by m2/dev
Askey–Wilson polynomials 58S2WVN9WR
| URI | m2://inv/58S2WVN9WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#E7SU, Askey–Wilson polynomials (definition)
History
- 2026-11-02: add by m2/dev
Independence Theory in Combinatorics 58SGF34XDB
| URI | m2://inv/58SGF34XDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence Theory in Combinatorics, Independence Theory in Combinatorics (definition). Also Wikidata Q108695965
History
- 2026-11-02: add by m2/dev
A locally contracting epoch 58SMFNNK78
| URI | m2://inv/58SMFNNK78 |
|---|---|
| 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.06557#PP0K, A locally contracting epoch (statement). In VV5CH6Y31D/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
58SQHGCYNG 58SQHGCYNG
| URI | m2://inv/58SQHGCYNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2609.39254#VC25 (statement). In A59MZ9H284/e1, lemma 2.17
History
- 2026-10-30: add by m2/v0.4.12
58SQN9P6NJ 58SQN9P6NJ
| URI | m2://inv/58SQN9P6NJ |
|---|---|
| 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#FA2G (statement). In 9JZJTRRVR1/e1, lemma 8.5
History
- 2026-10-29: add by m2/v0.4.12
Homogenization of interactions at small scales 58SXAT7Z03
| URI | m2://inv/58SXAT7Z03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21933#O8LN, Homogenization of interactions at small scales (statement)
History
- 2026-11-02: add by m2/v0.6.17
Abel transform 58T0M06V9Q
| URI | m2://inv/58T0M06V9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#NLMN, Abel transform (definition)
- wikipedia: Wikipedia List of transforms#0E63, Abel transform (definition)
History
- 2026-11-02: add by m2/dev
58T4NKNCJV 58T4NKNCJV
| URI | m2://inv/58T4NKNCJV |
|---|---|
| Kind | example |
| 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.24640#M1TH (example)
History
- 2026-11-01: add by m2/v0.6.15
Accuracy of the Covariance-Equivalent Approximation 58T7Y7H051
| URI | m2://inv/58T7Y7H051 |
|---|---|
| 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.25589#JJVF, Accuracy of the Covariance-Equivalent Approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
58TJZVSKJ2 58TJZVSKJ2
| URI | m2://inv/58TJZVSKJ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17518#FCJ1 (statement). In YA4JEWTVS4/e1, proposition 7.4
History
- 2026-10-28: add by m2/v0.4.2
Examples 58TK7RQ88S
| URI | m2://inv/58TK7RQ88S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nothing-up-my-sleeve number#U9I7, Examples (example)
History
- 2026-11-02: add by m2/dev
Jensen's inequality for medians 58TPPCHHWX
| URI | m2://inv/58TPPCHHWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median#K7K4, Jensen's inequality for medians (statement)
History
- 2026-11-02: add by m2/dev
Basel problem 58TRAA2AR4
| URI | m2://inv/58TRAA2AR4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#ZRIX, Basel problem (problem)
History
- 2026-11-02: add by m2/dev
58TX7C8ANX 58TX7C8ANX
| URI | m2://inv/58TX7C8ANX |
|---|---|
| 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.03337#LH0D (statement). In VH7EZDGTNA/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
58TZC3M4YN 58TZC3M4YN
| URI | m2://inv/58TZC3M4YN |
|---|---|
| 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.08610#F326 (statement). In CB2JWNS1E9/e1, fact C.2
History
- 2026-10-29: add by m2/v0.4.10
Class existence theorem (extended version) 58V2GWSYTJ
| URI | m2://inv/58V2GWSYTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#2D64, Class existence theorem (extended version) (statement)
History
- 2026-11-02: add by m2/dev
58VXWAKDD9 58VXWAKDD9
| URI | m2://inv/58VXWAKDD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-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.21507#B6SY (statement). In 879ZDHVK7N/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Definition 58VZJCHKEN
| URI | m2://inv/58VZJCHKEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective cover#LXIP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Polyhedral space 58W4TA1WFP
| URI | m2://inv/58W4TA1WFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedral space, Polyhedral space (definition). Also Wikidata Q4298844
History
- 2026-11-02: add by m2/dev
Examples 58W5FG8WT1
| URI | m2://inv/58W5FG8WT1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hochschild homology#N0JK, Examples (example)
History
- 2026-11-02: add by m2/dev
Harry Schmidt 58WCG2HP61
| URI | m2://inv/58WCG2HP61 |
|---|---|
| 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#62H5, Harry Schmidt (topic)
History
- 2026-11-02: add by m2/dev
E8 manifold 58WCRX59DE
| URI | m2://inv/58WCRX59DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#QH0R, E8 manifold (definition)
History
- 2026-11-02: add by m2/dev
18 58X2YS98E5
| URI | m2://inv/58X2YS98E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q38712, 18 (statement). Also MathWorld 18, ProofWiki 18
- wikipedia: Wikipedia 18 (number), 18 (definition). Also Wikidata Q38712
History
- 2026-10-26: add by m2/dev
Chebotarev theorem on roots of unity 58X9K3FM0E
| URI | m2://inv/58X9K3FM0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebotarev theorem on roots of unity, Chebotarev theorem on roots of unity (statement). Also Wikidata Q17007435
History
- 2026-11-02: add by m2/dev
58XMS8EZ17 58XMS8EZ17
| URI | m2://inv/58XMS8EZ17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#QT68 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Certificate complexity as a transversal number 58XQMMJPRK
| URI | m2://inv/58XQMMJPRK |
|---|---|
| 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.17100#SCTM, Certificate complexity as a transversal number (statement). In 4TSS52DMB2/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Continuous time 58XRQQ6B9C
| URI | m2://inv/58XRQQ6B9C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete time and continuous time#9CXY, Continuous time (unknown)
History
- 2026-11-02: add by m2/dev
Yehuda Lindell 58XRW5Z5FV
| URI | m2://inv/58XRW5Z5FV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#668V, Yehuda Lindell (unknown)
History
- 2026-11-02: add by m2/dev
Examples 58XZAEK4J2
| URI | m2://inv/58XZAEK4J2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdirect product#2MQL, Examples (example)
History
- 2026-11-02: add by m2/dev
Nonnegativity of KL divergence; see Theorem 2.6.3 58Y3MKBDP2
| URI | m2://inv/58Y3MKBDP2 |
|---|---|
| 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.14615#CC0U, Nonnegativity of KL divergence; see Theorem 2.6.3 (statement). In 7D5MMP8XB5/e1, fact 2.4
History
- 2026-10-28: add by m2/v0.4.2
58Y6KJFESK 58Y6KJFESK
| URI | m2://inv/58Y6KJFESK |
|---|---|
| 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.17411#Z0T2 (statement). In 73QW05MWQB/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
58Y8QKEEKP 58Y8QKEEKP
| URI | m2://inv/58Y8QKEEKP |
|---|---|
| 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.15291#XBAV (statement). In YVS8268AG8/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
58Y9PEFR5D 58Y9PEFR5D
| URI | m2://inv/58Y9PEFR5D |
|---|---|
| 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.16554#01X7 (statement). In GWNT8HEZG1/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.6
Construction 58YA8QP9DG
| URI | m2://inv/58YA8QP9DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proj construction#SMDY, Construction (definition)
History
- 2026-11-02: add by m2/dev
Sidon set 58YD275MB5
| URI | m2://inv/58YD275MB5 |
|---|---|
| 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 2507.13548#2TVV, Sidon set (definition). In 4NVVK50D1P/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Demographics of Oceania 58YNWG08J6
| URI | m2://inv/58YNWG08J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Oceania, Demographics of Oceania (definition). Also Wikidata Q3382783
History
- 2026-11-02: add by m2/dev
Algorithm 58YPWQSG24
| URI | m2://inv/58YPWQSG24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal flame#5YEY, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
58Z0TBVSSC 58Z0TBVSSC
| URI | m2://inv/58Z0TBVSSC |
|---|---|
| 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.20588#BFHG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties 58Z2MNJH3K
| URI | m2://inv/58Z2MNJH3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedgehog (geometry)#U2I6, Properties (statement)
History
- 2026-11-02: add by m2/dev
58Z5AV998G 58Z5AV998G
| URI | m2://inv/58Z5AV998G |
|---|---|
| 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 2506.07061#QLUR (definition). In G2PA4KAGRP/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
58ZA35H7EM 58ZA35H7EM
| URI | m2://inv/58ZA35H7EM |
|---|---|
| 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.31343#1327 (statement). In F5JCVWMH4Q/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
58ZBPNSWQ4 58ZBPNSWQ4
| URI | m2://inv/58ZBPNSWQ4 |
|---|---|
| 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 2403.02207#4TG6 (statement). In 1T3ZYPQZF0/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
hexagonal tiling 58ZD93GD0Z
| URI | m2://inv/58ZD93GD0Z |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3063631, hexagonal tiling (unknown). Also MathWorld HexagonalGrid
- wikipedia: Wikipedia Hexagonal tiling, Hexagonal tiling (object). Also Wikidata Q3063631
History
- 2026-10-26: add by m2/dev
58ZGYTXK3M 58ZGYTXK3M
| URI | m2://inv/58ZGYTXK3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#D9AK (statement). In WK2YHYEDZ9/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Rudvalis group 58ZPFPJ6GS
| URI | m2://inv/58ZPFPJ6GS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117698, Rudvalis group (unknown). Also MathWorld RudvalisGroup
- wikipedia: Wikipedia Rudvalis group, Rudvalis group (object). Also Wikidata Q3117698
History
- 2026-10-26: add by m2/dev