Inventory rows 7H
The cards of the rows of the inventory whose ids start with 7H. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Perturbative feature learning, single-index ReLU pushforward 7H02A7604G
| URI | m2://inv/7H02A7604G |
|---|---|
| Kind | example |
| 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.10875#G60N, Perturbative feature learning, single-index ReLU pushforward (example). In N91F15MHW1/e1, example 2
History
- 2026-10-28: add by m2/v0.4.3
7H06M3JGKK 7H06M3JGKK
| URI | m2://inv/7H06M3JGKK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-30 (example). In VNMV985MXX, example, section 6.8
History
- 2026-11-01: add by m2/v0.6.13
7H06TZYRCT 7H06TZYRCT
| URI | m2://inv/7H06TZYRCT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-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.31919#37QM (definition). In RHN12PW9P9/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
7H06V3HGQZ 7H06V3HGQZ
| URI | m2://inv/7H06V3HGQZ |
|---|---|
| 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.15700#YGK9 (statement). In S95MSZ7MDR/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
7H0GS8GABN 7H0GS8GABN
| URI | m2://inv/7H0GS8GABN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#5CZ1 (definition). In BDN507RN7J/e1, definition 4.4.3
History
- 2026-10-30: add by m2/v0.4.12
Siegel–Weil formula 7H0HJ4Y3PT
| URI | m2://inv/7H0HJ4Y3PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel–Weil formula, Siegel–Weil formula (statement). Also Wikidata Q7510576
History
- 2026-11-02: add by m2/dev
7H0HV23F3W 7H0HV23F3W
| URI | m2://inv/7H0HV23F3W |
|---|---|
| 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.27168#HD41 (statement)
History
- 2026-11-01: add by m2/v0.6.15
homogeneous part 7H0SHAXK9V
| URI | m2://inv/7H0SHAXK9V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.5/homogeneous-part, homogeneous part (concept). In VNMV985MXX, index, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Cyclic 7H0VG6HY8E
| URI | m2://inv/7H0VG6HY8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic (mathematics), Cyclic (definition). Also Wikidata Q5198202
History
- 2026-11-02: add by m2/dev
7H0Y5V6R5G 7H0Y5V6R5G
| URI | m2://inv/7H0Y5V6R5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21921#S0EQ (statement). In CM2YEK9T4F/e1, theorem 7.4
History
- 2026-10-27: add by m2/v0.4.2
7H0Y88TBZC 7H0Y88TBZC
| URI | m2://inv/7H0Y88TBZC |
|---|---|
| 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.37901#D4HH (statement). In 363WNMSDMA/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
Hall algebra 7H102D702W
| URI | m2://inv/7H102D702W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#4VUD, Hall algebra (definition)
History
- 2026-11-02: add by m2/dev
7H11K1CXW8 7H11K1CXW8
| URI | m2://inv/7H11K1CXW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31413#4FKT (statement). In 1C68G64QZS/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Linear system of conics 7H15200E24
| URI | m2://inv/7H15200E24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system of conics, Linear system of conics (definition). Also Wikidata Q65088999
History
- 2026-11-02: add by m2/dev
Definitions 7H16D6QC4P
| URI | m2://inv/7H16D6QC4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuum (topology)#CEHR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
SORT 7H17DYD82T
| URI | m2://inv/7H17DYD82T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#JPAC, SORT (definition)
History
- 2026-11-02: add by m2/dev
Non-asymptotic converse 7H1AM4ZZ26
| URI | m2://inv/7H1AM4ZZ26 |
|---|---|
| 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.38725#97WK, Non-asymptotic converse (statement). In 2Q5WSEAKGP/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Jacobi ellipsoid 7H1D9Y1YTD
| URI | m2://inv/7H1D9Y1YTD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi ellipsoid, Jacobi ellipsoid (object). Also Wikidata Q33728375
History
- 2026-11-02: add by m2/dev
Computational lower bound under $4$-HPC 7H1DKSTSF6
| URI | m2://inv/7H1DKSTSF6 |
|---|---|
| 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.20416#HNL9, Computational lower bound under $4$-HPC (statement). In P603M3M91A/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.2
7H1FP3SFGX 7H1FP3SFGX
| URI | m2://inv/7H1FP3SFGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#UE91 (statement). In F71MS1F637/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Balanced width comparison 7H1QZ93KMY
| URI | m2://inv/7H1QZ93KMY |
|---|---|
| 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.30808#PYL4, Balanced width comparison (statement). In 4JCFPV48VG/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
7H1TF5Q6YG 7H1TF5Q6YG
| URI | m2://inv/7H1TF5Q6YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.14699#64X6 (statement). In ES1CVGG59Y/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Criterion of meaning 7H1YFD71TJ
| URI | m2://inv/7H1YFD71TJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language, Truth, and Logic#5Z18, Criterion of meaning (statement)
History
- 2026-11-02: add by m2/dev
Rencontres numbers 7H24TGS3E2
| URI | m2://inv/7H24TGS3E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8RBE, Rencontres numbers (definition)
History
- 2026-11-02: add by m2/dev
Probabilistic classification 7H24Y616BR
| URI | m2://inv/7H24Y616BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic classification, Probabilistic classification (definition). Also Wikidata Q5128022
History
- 2026-11-02: add by m2/dev
huge cardinal 7H2502TWSJ
| URI | m2://inv/7H2502TWSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VEG5, huge cardinal (definition)
History
- 2026-11-02: add by m2/dev
Implementations 7H27NC1596
| URI | m2://inv/7H27NC1596 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floyd–Warshall algorithm#7BU5, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Glossary of order theory 7H280HZHTZ
| URI | m2://inv/7H280HZHTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of order theory, Glossary of order theory (topic). Also Wikidata Q5571842
History
- 2026-11-02: add by m2/dev
Vojta conjecture 7H2G5B2B7V
| URI | m2://inv/7H2G5B2B7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#6CMS, Vojta conjecture (definition)
History
- 2026-11-02: add by m2/dev
7H2K561BTR 7H2K561BTR
| URI | m2://inv/7H2K561BTR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#TDZZ (example). In RY2X22P6XW/e1, example 29
History
- 2026-10-27: add by m2/v0.3.5
7H2V2S8YXW 7H2V2S8YXW
| URI | m2://inv/7H2V2S8YXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#WFJQ (statement). In PF5JJ9DS8Q/e1, proposition 2.3.5
History
- 2026-10-28: add by m2/v0.4.2
ideal class group 7H3371TEQQ
| URI | m2://inv/7H3371TEQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11R29 |
| Sources | 2 |
| Outcome | open |
| Node | Ideal class group WQ46BD3ARY |
Mentions
- wikidata: Wikidata Q912083, ideal class group (topic). Also MathWorld ClassGroup, nLab ideal class group
- wikipedia: Wikipedia Ideal class group, Ideal class group (definition). Also Wikidata Q912083
History
- 2026-10-26: add by m2/dev
7H34A0KW4R 7H34A0KW4R
| URI | m2://inv/7H34A0KW4R |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Neil Robertson 7H34HRAF2N
| URI | m2://inv/7H34HRAF2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neil Robertson (mathematician), Neil Robertson (topic). Also Wikidata Q1531456
History
- 2026-11-02: add by m2/dev
Properties 7H356RVKMZ
| URI | m2://inv/7H356RVKMZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnoldi iteration#Z0MW, Properties (statement)
History
- 2026-11-02: add by m2/dev
real part 7H3EJB8NR7
| URI | m2://inv/7H3EJB8NR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1156910, real part (definition). Also MathWorld RealPart, nLab real part, ProofWiki Definition:Complex_Number/Real_Part
History
- 2026-10-26: add by m2/dev
periodic function 7H3RKVTP4E
| URI | m2://inv/7H3RKVTP4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Periodic function 089KWVYD69 |
Mentions
- wikidata: Wikidata Q184743, periodic function (unknown). Also Mathlib Function.Periodic, MathWorld PeriodicFunction
- wikipedia: Wikipedia Periodic function, Periodic function (definition). Also Wikidata Q184743
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
7H3SH6BD4E 7H3SH6BD4E
| URI | m2://inv/7H3SH6BD4E |
|---|---|
| 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#R99M (statement). In 3A4K47Y9F2/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Richard Kadison 7H3XBMFZQ8
| URI | m2://inv/7H3XBMFZQ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RKBY, Richard Kadison (topic)
History
- 2026-11-02: add by m2/dev
Quantale 7H41XRAY3D
| URI | m2://inv/7H41XRAY3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#NDZN, Quantale (definition)
History
- 2026-11-02: add by m2/dev
negative skew 7H4GWCSH2W
| URI | m2://inv/7H4GWCSH2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewness#DFV6, negative skew (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 7H4NCVSB67
| URI | m2://inv/7H4NCVSB67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact functor#T7F7, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 7H4SAF2G8S
| URI | m2://inv/7H4SAF2G8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized permutation matrix#3E8U, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
7H56ND3SPD 7H56ND3SPD
| URI | m2://inv/7H56ND3SPD |
|---|---|
| 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.06556#0YE6 (statement). In KW8C7VE9XR/e1, fact 29
History
- 2026-10-29: add by m2/v0.4.10
Special cases 7H5AK1H78B
| URI | m2://inv/7H5AK1H78B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular graph#QM3T, Special cases (statement)
History
- 2026-11-02: add by m2/dev
7H5ARFAE43 7H5ARFAE43
| URI | m2://inv/7H5ARFAE43 |
|---|---|
| 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 1002.0879#F2LM (statement). In M0SQY5EZN5/e1, theorem 4.2.2
History
- 2026-10-27: add by m2/v0.3.5
The modular data of $\mathrm{TFT}_0$ 7H5BNPBH04
| URI | m2://inv/7H5BNPBH04 |
|---|---|
| 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 2610.18512#IZP1, The modular data of $\mathrm{TFT}_0$ (statement). In 11JNM66Z09/e1, theorem 19.5
History
- 2026-10-28: add by m2/v0.4.2
7H5C725NZX 7H5C725NZX
| URI | m2://inv/7H5C725NZX |
|---|---|
| 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#ITKC (statement). In 7X27KRAHCE/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.3
Monotone pieces 7H5ETCKVEA
| URI | m2://inv/7H5ETCKVEA |
|---|---|
| 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.22301#HCQP, Monotone pieces (statement)
History
- 2026-11-02: add by m2/v0.6.17
7H5FDVM4PS 7H5FDVM4PS
| URI | m2://inv/7H5FDVM4PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#HA3H (statement). In BDN507RN7J/e1, corollary 3.2.10
History
- 2026-10-30: add by m2/v0.4.12
Gifted 7H5MTB91K9
| URI | m2://inv/7H5MTB91K9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#Y2IH, Gifted (unknown)
History
- 2026-11-02: add by m2/dev
7H5SVWSWA8 7H5SVWSWA8
| URI | m2://inv/7H5SVWSWA8 |
|---|---|
| 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.21097#49P9 (statement). In Y1KA940FPZ/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
7H5WXXEX26 7H5WXXEX26
| URI | m2://inv/7H5WXXEX26 |
|---|---|
| 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.04772#X48U (statement). In WW08CYN4D4/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
Shapiro–Francia test 7H5ZCXQJ7M
| URI | m2://inv/7H5ZCXQJ7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapiro–Francia test, Shapiro–Francia test (definition). Also Wikidata Q30673213
History
- 2026-11-02: add by m2/dev
Formal definition 7H686JFD12
| URI | m2://inv/7H686JFD12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptosystem#78ST, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
closed monoidal category 7H68MHX6VV
| URI | m2://inv/7H68MHX6VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Closed monoidal category EKJBDD07TY |
Mentions
- wikidata: Wikidata Q5135347, closed monoidal category (unknown). Also nLab closed monoidal category
- wikipedia: Wikipedia Closed monoidal category, Closed monoidal category (definition). Also Wikidata Q5135347
History
- 2026-10-26: add by m2/dev
Kummer's criterion 7H68PYTKA6
| URI | m2://inv/7H68PYTKA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular prime#J9YW, Kummer's criterion (statement)
History
- 2026-11-02: add by m2/dev
7H6APZJN3Z 7H6APZJN3Z
| URI | m2://inv/7H6APZJN3Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05142#REX3 (definition). In 8A0HVCGRR8/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Stutters are far apart; Verhoeff {\rm 7H6FD4B3TT
| URI | m2://inv/7H6FD4B3TT |
|---|---|
| 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.01240#3AD2, Stutters are far apart; Verhoeff {\rm (statement). In XD5HCP8DHF/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
Tweedie distribution 7H6TVSD817
| URI | m2://inv/7H6TVSD817 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M7G7, Tweedie distribution (definition)
History
- 2026-11-02: add by m2/dev
7H6VDJD5M6 7H6VDJD5M6
| URI | m2://inv/7H6VDJD5M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#JE7F (statement). In HTBRYNPHSJ/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
7H6WH8CD5Z 7H6WH8CD5Z
| URI | m2://inv/7H6WH8CD5Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#7CSY (definition). In MVSGDTN2PB/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
derivative, definition 7H6X4Y4V71
| URI | m2://inv/7H6X4Y4V71 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.3.2/derivative-definition, derivative, definition (concept). In 907G4C4EJ1, index, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
7H76BV1EBP 7H76BV1EBP
| URI | m2://inv/7H76BV1EBP |
|---|---|
| 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 2211.13105#8W9A (statement). In 5ACPY6CEDV/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
micrometre 7H779YY3V5
| URI | m2://inv/7H779YY3V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q175821, micrometre (definition). Also ProofWiki Definition:Metric_System/Length/Micrometre
History
- 2026-10-26: add by m2/dev
Irreducibility is the exact criterion for positive references 7H7F3H8877
| URI | m2://inv/7H7F3H8877 |
|---|---|
| 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#3LWK, Irreducibility is the exact criterion for positive references (statement). In 9YAE8FNQST/e1, proposition 17.15
History
- 2026-10-30: add by m2/v0.4.12
Non-examples of number fields 7H7JY12AVY
| URI | m2://inv/7H7JY12AVY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#example-5, Non-examples of number fields (example). In RZP28ERRZV, example, section 16.3
History
- 2026-11-01: add by m2/v0.6.13
Statement of the Blow-up Lemma 7H7P5E4HJ7
| URI | m2://inv/7H7P5E4HJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blow-up lemma#FK5Q, Statement of the Blow-up Lemma (statement)
History
- 2026-11-02: add by m2/dev
Terminology 7H7XYJ2X22
| URI | m2://inv/7H7XYJ2X22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hypergeometric function#WEW7, Terminology (definition)
History
- 2026-11-02: add by m2/dev
7H814YFGV5 7H814YFGV5
| URI | m2://inv/7H814YFGV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24853#JA5K (statement)
History
- 2026-11-01: add by m2/v0.6.15
complement point 7H84N8Z891
| URI | m2://inv/7H84N8Z891 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3925812, complement point (concept). Also MathWorld Complement
History
- 2026-10-26: add by m2/dev
Pollaczek–Khinchine formula 7H84TDPS5V
| URI | m2://inv/7H84TDPS5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0MTQ, Pollaczek–Khinchine formula (statement)
History
- 2026-11-02: add by m2/dev
Poisson surface reconstruction 7H866ED6SY
| URI | m2://inv/7H866ED6SY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson's equation#EO6T, Poisson surface reconstruction (unknown)
History
- 2026-11-02: add by m2/dev
Computer Misuse Act 1990 7H8705F0H4
| URI | m2://inv/7H8705F0H4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#DURT, Computer Misuse Act 1990 (unknown)
History
- 2026-11-02: add by m2/dev
7H87NVMJNY 7H87NVMJNY
| URI | m2://inv/7H87NVMJNY |
|---|---|
| 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.20690#MRTU (statement)
History
- 2026-11-02: add by m2/v0.6.18
7H8DYP5WN0 7H8DYP5WN0
| URI | m2://inv/7H8DYP5WN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16055#T7I0 (statement). In 389BW42CTK/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Theorem 7H8E42D1D4
| URI | m2://inv/7H8E42D1D4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid#ZW6R, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Class number formula 7H8MSP6VWM
| URI | m2://inv/7H8MSP6VWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#CPT4, Class number formula (statement)
History
- 2026-11-02: add by m2/dev
Elliptic fully nonlinear operator 7H8NQHBQDN
| URI | m2://inv/7H8NQHBQDN |
|---|---|
| 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 2610.09494#57BE, Elliptic fully nonlinear operator (definition). In H297EPZQQB/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem 7H8X91PEY9
| URI | m2://inv/7H8X91PEY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Bendixson theorem#8RFF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
algebraic set theory 7H8ZA8DSG2
| URI | m2://inv/7H8ZA8DSG2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C/algebraic-set-theory, algebraic set theory (concept). In N54F33XE07, index, section C
History
- 2026-11-01: add by m2/v0.6.13
rational numbers, dyadic 7H91QTJP0A
| URI | m2://inv/7H91QTJP0A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.1/rational-numbers-dyadic, rational numbers, dyadic (concept). In N54F33XE07, index, section B.1
History
- 2026-11-01: add by m2/v0.6.13
König's theorem 7H95MSWC4V
| URI | m2://inv/7H95MSWC4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1RRJ, König's theorem (statement)
History
- 2026-11-02: add by m2/dev
Point (geometry) 7H97SSHVSB
| URI | m2://inv/7H97SSHVSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#3JKN, Point (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Multi-track Turing machine 7H98QV2KTH
| URI | m2://inv/7H98QV2KTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-track Turing machine, Multi-track Turing machine (definition). Also Wikidata Q6934516
History
- 2026-11-02: add by m2/dev
creative set 7H9AK7T8YX
| URI | m2://inv/7H9AK7T8YX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118347502, creative set (unknown). Also EoM Creative_set, MathWorld CreativeSet
History
- 2026-10-26: add by m2/dev
Examples 7H9BPJCCAD
| URI | m2://inv/7H9BPJCCAD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal homogeneous space#K1U1, Examples (example)
History
- 2026-11-02: add by m2/dev
7H9H2JC8VH 7H9H2JC8VH
| URI | m2://inv/7H9H2JC8VH |
|---|---|
| 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.24363#ROKN (statement)
History
- 2026-11-01: add by m2/v0.6.15
7H9MRQ5EW2 7H9MRQ5EW2
| URI | m2://inv/7H9MRQ5EW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#75JH (statement). In Z7E16PFFCP/e1, lemma 4.26
History
- 2026-10-30: add by m2/v0.4.12
Definitions 7H9Q9HVD57
| URI | m2://inv/7H9Q9HVD57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic expansion#5NST, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Applications 7H9V7NRVAH
| URI | m2://inv/7H9V7NRVAH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrametric space#OKG6, Applications (example)
History
- 2026-11-02: add by m2/dev
7H9VZB8874 7H9VZB8874
| URI | m2://inv/7H9VZB8874 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#WTTK (statement). In N5ZM8MXJXH/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Roche lobe 7HA0AFX0M6
| URI | m2://inv/7HA0AFX0M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roche lobe, Roche lobe (definition). Also Wikidata Q848485
History
- 2026-11-02: add by m2/dev
7HA3D10724 7HA3D10724
| URI | m2://inv/7HA3D10724 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0803.0074#70VF (statement). In NWJEN5GWFV/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Bloom (shader effect) 7HAEHQFGME
| URI | m2://inv/7HAEHQFGME |
|---|---|
| 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#A75L, Bloom (shader effect) (unknown)
History
- 2026-11-02: add by m2/dev
7HAEMW6RWX 7HAEMW6RWX
| URI | m2://inv/7HAEMW6RWX |
|---|---|
| Kind | example |
| 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#XXH8 (example). In 7QXAZXGNPQ/e1, example 8.1
History
- 2026-10-29: add by m2/v0.4.12
7HAF4P1VD9 7HAF4P1VD9
| URI | m2://inv/7HAF4P1VD9 |
|---|---|
| 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 2011.11439#54H0 (statement). In 9Z8RSQ36JC/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
7HAR98DC1K 7HAR98DC1K
| URI | m2://inv/7HAR98DC1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#CJSU (statement). In PQGGCD09KP/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
7HARMJ4ECC 7HARMJ4ECC
| URI | m2://inv/7HARMJ4ECC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#ex_recurrence_gen-fn (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Symmetry 7HAV8WT5AR
| URI | m2://inv/7HAV8WT5AR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev polynomials#V1YX, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
7HAW2AC39P 7HAW2AC39P
| URI | m2://inv/7HAW2AC39P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32936#MSX0 (definition). In QDBYK125AB/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
Coble surface 7HAYCGMC2E
| URI | m2://inv/7HAYCGMC2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#5EDX, Coble surface (definition)
History
- 2026-11-02: add by m2/dev
7HB05KVTRC 7HB05KVTRC
| URI | m2://inv/7HB05KVTRC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#CJM5 (example). In Q4HWFFK0R9/e1, example 1.4
History
- 2026-10-28: add by m2/v0.4.2
Example 7HB48B3SCN
| URI | m2://inv/7HB48B3SCN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest common subsequence#CNDI, Example (example)
History
- 2026-11-02: add by m2/dev
7HB9HDV6MC 7HB9HDV6MC
| URI | m2://inv/7HB9HDV6MC |
|---|---|
| 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 2212.00617#5WEH (statement). In K7505G10SS/e1, theorem 5.13
History
- 2026-10-27: add by m2/v0.3.5
Positive Half-Cauchy phase transition under Clayton 7HBBMPGPFC
| URI | m2://inv/7HBBMPGPFC |
|---|---|
| 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 2609.29658#CTKH, Positive Half-Cauchy phase transition under Clayton (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tom Snijders 7HBCCSKAV6
| URI | m2://inv/7HBCCSKAV6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom Snijders, Tom Snijders (topic). Also Wikidata Q7817639
History
- 2026-11-02: add by m2/dev
General definition 7HBJEFKK84
| URI | m2://inv/7HBJEFKK84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoffel symbols#B45C, General definition (definition)
History
- 2026-11-02: add by m2/dev
Composant 7HBWC4MCW5
| URI | m2://inv/7HBWC4MCW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composant, Composant (definition). Also Wikidata Q5156716
History
- 2026-11-02: add by m2/dev
7HBWJ7R4GD 7HBWJ7R4GD
| URI | m2://inv/7HBWJ7R4GD |
|---|---|
| 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#137I (statement). In K8JMTRS42G/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
7HC3718J5B 7HC3718J5B
| URI | m2://inv/7HC3718J5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29227#ISED (statement)
History
- 2026-11-01: add by m2/v0.6.15
7HCAFGABQ3 7HCAFGABQ3
| URI | m2://inv/7HCAFGABQ3 |
|---|---|
| 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 1002.0879#KG5L (statement). In M0SQY5EZN5/e1, theorem 6.1.6
History
- 2026-10-27: add by m2/v0.3.5
7HCT5571YM 7HCT5571YM
| URI | m2://inv/7HCT5571YM |
|---|---|
| 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.08370#OY43 (statement). In EQN3EZRZYQ/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
Hypothetical syllogism 7HCZKZ2X2Z
| URI | m2://inv/7HCZKZ2X2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypothetical syllogism#XN41, Hypothetical syllogism (statement)
History
- 2026-11-02: add by m2/dev
Rosa's Conjecture 7HD976CGJX
| URI | m2://inv/7HD976CGJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cactus graph#YYLS, Rosa's Conjecture (statement)
History
- 2026-11-02: add by m2/dev
7HDC3QGY6K 7HDC3QGY6K
| URI | m2://inv/7HDC3QGY6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#CEX1 (statement). In KP0X1RKKKB/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.4.0
Parseval's theorem 7HDD51B6P6
| URI | m2://inv/7HDD51B6P6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IDGX, Parseval's theorem (statement)
History
- 2026-11-02: add by m2/dev
7HDHD2P730 7HDHD2P730
| URI | m2://inv/7HDHD2P730 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#P9B6 (statement). In GJ7N2EWACX/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.2
7HDQD15P3F 7HDQD15P3F
| URI | m2://inv/7HDQD15P3F |
|---|---|
| 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#08FY (statement). In 3A4K47Y9F2/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
left-handed coordinate system 7HDVCZ01S1
| URI | m2://inv/7HDVCZ01S1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109941816, left-handed coordinate system (unknown). Also MathWorld Left-HandedCoordinateSystem
History
- 2026-10-26: add by m2/dev
7HDYKG973K 7HDYKG973K
| URI | m2://inv/7HDYKG973K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#SKSZ (statement). In E7W2HDNEKJ/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
Splitting lemma 7HE967317M
| URI | m2://inv/7HE967317M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting lemma (functions), Splitting lemma (statement). Also Wikidata Q7578744
History
- 2026-11-02: add by m2/dev
7HE96Z34H4 7HE96Z34H4
| URI | m2://inv/7HE96Z34H4 |
|---|---|
| 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 2608.24424#8I2M (statement). In RQHGZ4AA5T/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.6
7HEJ5HQGW0 7HEJ5HQGW0
| URI | m2://inv/7HEJ5HQGW0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2609.31783#8TAL (definition). In CGNVT4C47F/e1, definition 1.4
History
- 2026-10-31: add by m2/v0.5.6
7HEY3NMVJ3 7HEY3NMVJ3
| URI | m2://inv/7HEY3NMVJ3 |
|---|---|
| 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.28203#BKGV (statement)
History
- 2026-11-01: add by m2/v0.6.15
7HF7YTS2WQ 7HF7YTS2WQ
| URI | m2://inv/7HF7YTS2WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#definition-2 (definition). In RZP28ERRZV, definition, section 93.5
History
- 2026-11-01: add by m2/v0.6.13
7HF8AP7B4G 7HF8AP7B4G
| URI | m2://inv/7HF8AP7B4G |
|---|---|
| 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.32446#KDN4 (statement). In W1KVJEGJ1W/e1, lemma D.1
History
- 2026-10-31: add by m2/v0.5.6
7HFNHEG01T 7HFNHEG01T
| URI | m2://inv/7HFNHEG01T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#GO4X (statement). In B9EX6K51RD/e1, proposition 2.18
History
- 2026-10-28: add by m2/v0.4.2
7HFNRQ0ZWE 7HFNRQ0ZWE
| URI | m2://inv/7HFNRQ0ZWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23822#6ZG4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Estimated date of delivery 7HFW3MD6WM
| URI | m2://inv/7HFW3MD6WM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimated date of delivery, Estimated date of delivery (definition). Also Wikidata Q5401376
History
- 2026-11-02: add by m2/dev
Subspaces of $\real^3$ 7HFXE29XGR
| URI | m2://inv/7HFXE29XGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#example-1, Subspaces of $\real^3$ (example). In 649HGZKE96, example, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
7HGAFB51W9 7HGAFB51W9
| URI | m2://inv/7HGAFB51W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.24542#2YIE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Arto Salomaa 7HGB8115Y0
| URI | m2://inv/7HGB8115Y0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QEH9, Arto Salomaa (topic)
History
- 2026-11-02: add by m2/dev
7HGFH3XVYR 7HGFH3XVYR
| URI | m2://inv/7HGFH3XVYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.35632#BELB (statement). In Q74G3BVZAQ/e1, corollary C
History
- 2026-10-27: add by m2/v0.3.5
Conditioning and partial trace 7HGGYAT7P0
| URI | m2://inv/7HGGYAT7P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#DGSH, Conditioning and partial trace (statement). In R6RF3P6D5A/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.12
Applications 7HGJJ18NBD
| URI | m2://inv/7HGJJ18NBD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsetlin machine#4D7I, Applications (example)
History
- 2026-11-02: add by m2/dev
7HGTCP6AVB 7HGTCP6AVB
| URI | m2://inv/7HGTCP6AVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#YBQG (statement). In 48QX0QD0XR/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Histoire de l'Académie royale des sciences 7HH2W8Y60R
| URI | m2://inv/7HH2W8Y60R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51488252, Histoire de l'Académie royale des sciences (unknown). Also ProofWiki Book:Journal/Histoire_de_l'Académie_Royale_des_Sciences
History
- 2026-10-26: add by m2/dev
Applications 7HH7J6HYH8
| URI | m2://inv/7HH7J6HYH8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum cut#85YK, Applications (example)
History
- 2026-11-02: add by m2/dev
Coins in a fountain 7HH7Y00W4P
| URI | m2://inv/7HH7Y00W4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coins in a fountain, Coins in a fountain (definition). Also Wikidata Q18348232
History
- 2026-11-02: add by m2/dev
7HH8YK0REJ 7HH8YK0REJ
| URI | m2://inv/7HH8YK0REJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#3F9M (example)
History
- 2026-11-01: add by m2/v0.6.15
Definition 7HHGFQ5EF3
| URI | m2://inv/7HHGFQ5EF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institution (computer science)#M1O8, Definition (definition)
History
- 2026-11-02: add by m2/dev
4 7HJ1NM09CV
| URI | m2://inv/7HJ1NM09CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q202, 4 (statement). Also MathWorld 4, ProofWiki 4
- wikipedia: Wikipedia 4, 4 (definition). Also Wikidata Q202
History
- 2026-10-26: add by m2/dev
7HJ33KG4S8 7HJ33KG4S8
| URI | m2://inv/7HJ33KG4S8 |
|---|---|
| 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.09482#YQEF (statement). In VYMEQQVMBD/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
Sharp rank-three extremum 7HJ93AMNPR
| URI | m2://inv/7HJ93AMNPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.20649#UIBE, Sharp rank-three extremum (statement). In XDTM624YPE/e1, theorem 15.6
History
- 2026-10-27: add by m2/v0.4.2
7HJBN286CP 7HJBN286CP
| URI | m2://inv/7HJBN286CP |
|---|---|
| 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.15094#L8V4 (statement). In 5AA8PPK2CC/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.2
Applications 7HJF83N9NV
| URI | m2://inv/7HJF83N9NV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard calculus#0N3V, Applications (example)
History
- 2026-11-02: add by m2/dev
7HJK1E8HMF 7HJK1E8HMF
| URI | m2://inv/7HJK1E8HMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30113#UQVM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles Livingston 7HJQ3T53FT
| URI | m2://inv/7HJQ3T53FT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Livingston (mathematician), Charles Livingston (topic). Also Wikidata Q102124595
History
- 2026-11-02: add by m2/dev
Precise statement of the h-cobordism theorem 7HJZZR0CR9
| URI | m2://inv/7HJZZR0CR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-cobordism#Q42D, Precise statement of the h-cobordism theorem (statement)
History
- 2026-11-02: add by m2/dev
Bachmann-Landau notation 7HK0NABS94
| URI | m2://inv/7HK0NABS94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big O notation#26RW, Bachmann-Landau notation (unknown)
History
- 2026-11-02: add by m2/dev
7HK15J05S5 7HK15J05S5
| URI | m2://inv/7HK15J05S5 |
|---|---|
| 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.19861#J20G (statement). In 5ZPQ60TM6J/e1, proposition 14
History
- 2026-10-28: add by m2/v0.4.2
Examples 7HK4WMYCX5
| URI | m2://inv/7HK4WMYCX5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large set (Ramsey theory)#YL0L, Examples (example)
History
- 2026-11-02: add by m2/dev
7HK9MVM6E2 7HK9MVM6E2
| URI | m2://inv/7HK9MVM6E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/lambda-definable-recursive.tex#thm:lambda-computable (statement). In PKGMM3P5QY, thm, section 38.1
History
- 2026-11-01: add by m2/v0.6.13
Davidian, Marie 7HK9NHTMN1
| URI | m2://inv/7HK9NHTMN1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5OK9, Davidian, Marie (topic)
History
- 2026-11-02: add by m2/dev
7HKBBB61X6 7HKBBB61X6
| URI | m2://inv/7HKBBB61X6 |
|---|---|
| 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.22280#W1QF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implicit surface 7HKCCFFET6
| URI | m2://inv/7HKCCFFET6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit surface, Implicit surface (definition). Also Wikidata Q3505288
History
- 2026-11-02: add by m2/dev
7HKMCBPAN1 7HKMCBPAN1
| URI | m2://inv/7HKMCBPAN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/de-bruijn.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 38.12
History
- 2026-11-01: add by m2/v0.6.13
7HKN5NZWEF 7HKN5NZWEF
| URI | m2://inv/7HKN5NZWEF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#UVQ4 (definition). In 8YWBGQQGA3/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
Receiver-Class Compression Certificate 7HKQ0CP422
| URI | m2://inv/7HKQ0CP422 |
|---|---|
| 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.03769#SHOX, Receiver-Class Compression Certificate (statement). In 35DNCV14M4/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.12
486 (number) 7HKYXEXCXH
| URI | m2://inv/7HKYXEXCXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#H0K9, 486 (number) (unknown)
History
- 2026-11-02: add by m2/dev
W. D. Ross 7HM2ZKE0BJ
| URI | m2://inv/7HM2ZKE0BJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. D. Ross, W. D. Ross (topic). Also Wikidata Q1364954
History
- 2026-11-02: add by m2/dev
7HM6300NB1 7HM6300NB1
| URI | m2://inv/7HM6300NB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#1PAO (statement). In 2HSB99DW4M/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.6
Nambu mechanics 7HM74Z2PXN
| URI | m2://inv/7HM74Z2PXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#MX3P, Nambu mechanics (definition)
History
- 2026-11-02: add by m2/dev
Newell and Simon: heuristic search hypothesis 7HM8E54PN6
| URI | m2://inv/7HM8E54PN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heuristic (computer science)#C3XZ, Newell and Simon: heuristic search hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Kepler triangle 7HMHR09Z7Q
| URI | m2://inv/7HMHR09Z7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2222878, Kepler triangle (unknown). Also MathWorld KeplerTriangle
- wikipedia: Wikipedia Kepler triangle, Kepler triangle (definition). Also Wikidata Q2222878
History
- 2026-10-26: add by m2/dev
Definitions 7HMJ1H4EA9
| URI | m2://inv/7HMJ1H4EA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonabelian Hodge correspondence#F0BB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7HMMJ31HTM 7HMMJ31HTM
| URI | m2://inv/7HMMJ31HTM |
|---|---|
| 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 2301.04933#DIE4 (statement). In Q70CTMCJTP/e1, corollary 3.30
History
- 2026-10-27: add by m2/v0.3.5
Examples 7HMMJ60MSJ
| URI | m2://inv/7HMMJ60MSJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheme (mathematics)#DEOJ, Examples (example)
History
- 2026-11-02: add by m2/dev
The Gagliardo-Nirenberg inequality in bounded domains 7HN091TRR5
| URI | m2://inv/7HN091TRR5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gagliardo–Nirenberg interpolation inequality#F8Y7, The Gagliardo-Nirenberg inequality in bounded domains (statement)
History
- 2026-11-02: add by m2/dev
7HN8M74EYB 7HN8M74EYB
| URI | m2://inv/7HN8M74EYB |
|---|---|
| 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.36811#1A4L (statement). In ZQDX8E43SQ/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
7HNBNE4B4Q 7HNBNE4B4Q
| URI | m2://inv/7HNBNE4B4Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#example-svd-nonsquare (example). In 649HGZKE96, example, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
Bridging 7HNC4DM2PX
| URI | m2://inv/7HNC4DM2PX |
|---|---|
| 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.26873#UVKJ, Bridging (statement)
History
- 2026-11-01: add by m2/v0.6.15
7HNTMAZT64 7HNTMAZT64
| URI | m2://inv/7HNTMAZT64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#50IG (statement). In XHSKEPT3VD/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
7HNV7VAQH4 7HNV7VAQH4
| URI | m2://inv/7HNV7VAQH4 |
|---|---|
| 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.14135#D3J8 (statement). In C304J64Q79/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Laura Ahtime 7HP3NJJ3XH
| URI | m2://inv/7HP3NJJ3XH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Ahtime, Laura Ahtime (topic). Also Wikidata Q44200239
History
- 2026-11-02: add by m2/dev
7HPAM52YNF 7HPAM52YNF
| URI | m2://inv/7HPAM52YNF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-14 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
Applications 7HPAPT88PY
| URI | m2://inv/7HPAPT88PY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path problem#SG4P, Applications (example)
History
- 2026-11-02: add by m2/dev
Bound on the exclusion region 7HPCPJ9V9A
| URI | m2://inv/7HPCPJ9V9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24011#EWPC, Bound on the exclusion region (statement)
History
- 2026-11-02: add by m2/v0.6.17
Menahem Max Schiffer 7HPDVKKYR7
| URI | m2://inv/7HPDVKKYR7 |
|---|---|
| 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#KOPZ, Menahem Max Schiffer (topic)
History
- 2026-11-02: add by m2/dev
7HPQN761JS 7HPQN761JS
| URI | m2://inv/7HPQN761JS |
|---|---|
| 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 2306.00212#03DU (statement). In C9GG9C1X65/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
Gaoyong Zhang 7HPRA4DCD4
| URI | m2://inv/7HPRA4DCD4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaoyong Zhang, Gaoyong Zhang (topic). Also Wikidata Q102195619
History
- 2026-11-02: add by m2/dev
7HPS8C719Y 7HPS8C719Y
| URI | m2://inv/7HPS8C719Y |
|---|---|
| Kind | definition |
| 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.05396#8HPM (definition). In WMVRX5GV9P/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
7HPT0B6CEV 7HPT0B6CEV
| URI | m2://inv/7HPT0B6CEV |
|---|---|
| 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.19360#95G5 (statement). In MFCW5CY96C/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
7HPYFRNWPC 7HPYFRNWPC
| URI | m2://inv/7HPYFRNWPC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 38.14
History
- 2026-11-01: add by m2/v0.6.13
Dandruff 7HQ13FAVHA
| URI | m2://inv/7HQ13FAVHA |
|---|---|
| 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#Y5ZM, Dandruff (unknown)
History
- 2026-11-02: add by m2/dev
7HQ1RNF4SP 7HQ1RNF4SP
| URI | m2://inv/7HQ1RNF4SP |
|---|---|
| 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 2211.13105#FOP0 (statement). In 5ACPY6CEDV/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
7HQ7QBMB9B 7HQ7QBMB9B
| URI | m2://inv/7HQ7QBMB9B |
|---|---|
| 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.26521#OXPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chennas Narayanan Namboodiripad 7HQAJ444GJ
| URI | m2://inv/7HQAJ444GJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#NMK2, Chennas Narayanan Namboodiripad (topic)
History
- 2026-11-02: add by m2/dev
Journal d'Analyse Mathématique 7HQC3B94PJ
| URI | m2://inv/7HQC3B94PJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal d'Analyse Mathématique, Journal d'Analyse Mathématique (definition). Also Wikidata Q12403226
History
- 2026-11-02: add by m2/dev
Entropy convexity and increasing differences 7HQF8VDBZM
| URI | m2://inv/7HQF8VDBZM |
|---|---|
| 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#IP38, Entropy convexity and increasing differences (statement)
History
- 2026-11-01: add by m2/v0.6.15
7HQGHAN0RS 7HQGHAN0RS
| URI | m2://inv/7HQGHAN0RS |
|---|---|
| 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.08052#79GF (statement). In 672XAVEQ34/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
7HQKGHDCBH 7HQKGHDCBH
| URI | m2://inv/7HQKGHDCBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38596#RL2Q (statement). In ZYGQAV8FD3/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
7HQT8K7YAN 7HQT8K7YAN
| URI | m2://inv/7HQT8K7YAN |
|---|---|
| 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.04935#VLZD (statement). In 7WVPJVPQH2/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
7HQX2GTMPB 7HQX2GTMPB
| URI | m2://inv/7HQX2GTMPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#7HOH (statement). In KJY735KSMF/e1, proposition 8.7
History
- 2026-10-28: add by m2/v0.4.2
7HR9P1T63R 7HR9P1T63R
| URI | m2://inv/7HR9P1T63R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#YI2M (statement). In DC01XRB5YE/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
Ray Kunze 7HRE0247BV
| URI | m2://inv/7HRE0247BV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MJKW, Ray Kunze (topic)
History
- 2026-11-02: add by m2/dev
Global smooth radial dynamics 7HRKSB2B1E
| URI | m2://inv/7HRKSB2B1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24481#TMH1, Global smooth radial dynamics (statement)
History
- 2026-11-01: add by m2/v0.6.15
7HRTZ6Y40G 7HRTZ6Y40G
| URI | m2://inv/7HRTZ6Y40G |
|---|---|
| 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.11292#X9F0 (statement). In Y35XMETFV7/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
Wilhelm Wundt 7HS7W1W2M9
| URI | m2://inv/7HS7W1W2M9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Wundt, Wilhelm Wundt (topic). Also Wikidata Q75814
History
- 2026-11-02: add by m2/dev
Magnetization current 7HS9HFGS97
| URI | m2://inv/7HS9HFGS97 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetization#RMDV, Magnetization current (unknown)
History
- 2026-11-02: add by m2/dev
7HSBSDYJDT 7HSBSDYJDT
| URI | m2://inv/7HSBSDYJDT |
|---|---|
| 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.22263#AC15 (statement)
History
- 2026-11-02: add by m2/v0.6.17
7HSN28YX2F 7HSN28YX2F
| URI | m2://inv/7HSN28YX2F |
|---|---|
| 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.30165#H96P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Earth ellipsoid 7HSWPDC6T5
| URI | m2://inv/7HSWPDC6T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earth ellipsoid, Earth ellipsoid (definition). Also Wikidata Q1335878
History
- 2026-11-02: add by m2/dev
7HSXHM8VSW 7HSXHM8VSW
| URI | m2://inv/7HSXHM8VSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#8SPB (statement). In XGCND7R0B0/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Examples 7HT1VMSTDS
| URI | m2://inv/7HT1VMSTDS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin duality#EK3K, Examples (example)
History
- 2026-11-02: add by m2/dev
Water resource 7HTDSAS97R
| URI | m2://inv/7HTDSAS97R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#GM15, Water resource (unknown)
History
- 2026-11-02: add by m2/dev
Pi 7HTF0D2CNN
| URI | m2://inv/7HTF0D2CNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi (art project), Pi (definition). Also Wikidata Q877012
History
- 2026-11-02: add by m2/dev
7HTK540PT0 7HTK540PT0
| URI | m2://inv/7HTK540PT0 |
|---|---|
| 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 1512.06981#K41C (statement). In X923ZEY423/e1, lemma 2.0.6
History
- 2026-10-27: add by m2/v0.3.5
Relation to other axiom systems for set theory 7HTK9SJHFT
| URI | m2://inv/7HTK9SJHFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naive Set Theory (book)#QS73, Relation to other axiom systems for set theory (statement)
History
- 2026-11-02: add by m2/dev
7HTTX39GJD 7HTTX39GJD
| URI | m2://inv/7HTTX39GJD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#proof-2 (proof). In QKM9DD2H56, proof, section B.8
History
- 2026-11-01: add by m2/v0.6.13
7HTXP2GXMS 7HTXP2GXMS
| URI | m2://inv/7HTXP2GXMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#example-8 (example). In Y91XFCEVHQ, example, section 4.1.4
History
- 2026-11-01: add by m2/v0.6.13
Universal single-letter constrained capacity 7HTYHX5N55
| URI | m2://inv/7HTYHX5N55 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05712#RK5D, Universal single-letter constrained capacity (definition). In 44Q2H3DWNW/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.10
examples of groups with small cardinality 7HV0A0SFN9
| URI | m2://inv/7HV0A0SFN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > examples of groups with small cardinality, examples of groups with small cardinality (unknown)
History
- 2026-10-26: add by m2/dev
Constrained minimizers 7HV0Z18XQE
| URI | m2://inv/7HV0Z18XQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#JSB8, Constrained minimizers (statement). In NKXTXH59P1/e1, lemma A.10
History
- 2026-10-29: add by m2/v0.4.10
7HV334M1CV 7HV334M1CV
| URI | m2://inv/7HV334M1CV |
|---|---|
| Kind | example |
| 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.04503#A6KJ (example). In GWQP1XPM8E/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.12
7HV9G6NSGN 7HV9G6NSGN
| URI | m2://inv/7HV9G6NSGN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.20522#7231 (definition)
History
- 2026-11-02: add by m2/v0.6.18
John Trevor Stuart 7HVC126B03
| URI | m2://inv/7HVC126B03 |
|---|---|
| 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#XT4E, John Trevor Stuart (topic)
History
- 2026-11-02: add by m2/dev
Boaz Tsaban 7HVE0PMZJS
| URI | m2://inv/7HVE0PMZJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boaz Tsaban, Boaz Tsaban (topic). Also Wikidata Q27662802
History
- 2026-11-02: add by m2/dev
Truncated cubic prism 7HVET725A3
| URI | m2://inv/7HVET725A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SH7L, Truncated cubic prism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YE7N, Truncated cubic prism (definition)
History
- 2026-11-02: add by m2/dev
James A. Yorke 7HVKKWFBM2
| URI | m2://inv/7HVKKWFBM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WF3R, James A. Yorke (topic)
History
- 2026-11-02: add by m2/dev
7HVPTQJXY9 7HVPTQJXY9
| URI | m2://inv/7HVPTQJXY9 |
|---|---|
| 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 2609.27295#TVQZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 7HW0TYVSQP
| URI | m2://inv/7HW0TYVSQP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal (model checking)#2VC7, Example (example)
History
- 2026-11-02: add by m2/dev
7HW9B1XVJD 7HW9B1XVJD
| URI | m2://inv/7HW9B1XVJD |
|---|---|
| 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 2506.07061#HB5O (statement). In G2PA4KAGRP/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.3.6
Taylor–Couette flow 7HWEM84N9T
| URI | m2://inv/7HWEM84N9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor–Couette flow, Taylor–Couette flow (definition). Also Wikidata Q3151656
History
- 2026-11-02: add by m2/dev
Jacobi identity 7HWHBJPS5Z
| URI | m2://inv/7HWHBJPS5Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1151539, Jacobi identity (statement). Also MathWorld JacobiIdentities, nLab Jacobi identity
- wikipedia: Wikipedia Jacobi identity, Jacobi identity (statement). Also Wikidata Q1151539
History
- 2026-10-26: add by m2/dev
Correlation of the Sign-Rounded Average Discrete Gradient 7HWZ2YR6K9
| URI | m2://inv/7HWZ2YR6K9 |
|---|---|
| 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.16705#XSSZ, Correlation of the Sign-Rounded Average Discrete Gradient (statement). In B48YQVGAF5/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Bayesian statistics 7HX07SV7QJ
| URI | m2://inv/7HX07SV7QJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian statistics, Bayesian statistics (topic). Also Wikidata Q4874481
History
- 2026-11-02: add by m2/dev
Definitions 7HX3XVJEQB
| URI | m2://inv/7HX3XVJEQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separated sets#HXWC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Georgii Pfeiffer 7HXDPCG2RC
| URI | m2://inv/7HXDPCG2RC |
|---|---|
| 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#42XP, Georgii Pfeiffer (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OYFB, Georgii Pfeiffer (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P81E, Georgii Pfeiffer (unknown)
History
- 2026-11-02: add by m2/dev
Special cases 7HXF2SJYWY
| URI | m2://inv/7HXF2SJYWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lerch transcendent#9SU7, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Kurt August Hirsch 7HXK7XDDMR
| URI | m2://inv/7HXK7XDDMR |
|---|---|
| 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#A5ZK, Kurt August Hirsch (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TEFS, Kurt August Hirsch (unknown)
History
- 2026-11-02: add by m2/dev
Weyl's infinitesimal geometry 7HY59XR0JT
| URI | m2://inv/7HY59XR0JT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#315K, Weyl's infinitesimal geometry (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 7HY5HCXPW6
| URI | m2://inv/7HY5HCXPW6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted representation#OD9O, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Optimality 7HYKXR6NFZ
| URI | m2://inv/7HYKXR6NFZ |
|---|---|
| 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 2102.11076#F7X0, Optimality (statement). In T9HZXHTQBJ/e1, corollary 8
History
- 2026-10-27: add by m2/v0.3.6
hyperplane 7HYS5TEASE
| URI | m2://inv/7HYS5TEASE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q657586, hyperplane (unknown). Also MathWorld Hyperplane
- wikipedia: Wikipedia Hyperplane, Hyperplane (definition). Also Wikidata Q657586
History
- 2026-10-26: add by m2/dev
List of mathematical spaces 7HYTCMY2Y2
| URI | m2://inv/7HYTCMY2Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#ZYMU, List of mathematical spaces (definition)
History
- 2026-11-02: add by m2/dev
7HYXF0Q4JH 7HYXF0Q4JH
| URI | m2://inv/7HYXF0Q4JH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#4GFC (definition). In QHFP0837Q8/e1, definition 2.14
History
- 2026-10-29: add by m2/v0.4.12
7HYXTMCTYF 7HYXTMCTYF
| URI | m2://inv/7HYXTMCTYF |
|---|---|
| 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 2609.31274#7ADP (statement). In RK0ZMDJ23T/e1, lemma 1.3.2
History
- 2026-10-31: add by m2/v0.5.6
7HZ9BMVZS6 7HZ9BMVZS6
| URI | m2://inv/7HZ9BMVZS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#definition-4 (definition). In RZP28ERRZV, definition, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
7HZHGK3NX7 7HZHGK3NX7
| URI | m2://inv/7HZHGK3NX7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#R01M (definition). In T3BY4TXYT4/e1, definition 1.16
History
- 2026-10-28: add by m2/v0.4.2
contingency 7HZRNW3FGD
| URI | m2://inv/7HZRNW3FGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#48QV, contingency (definition)
History
- 2026-11-02: add by m2/dev
7HZRPTSGRF 7HZRPTSGRF
| URI | m2://inv/7HZRPTSGRF |
|---|---|
| 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#2FLT (statement). In AYANBEWSFH/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Complete classification of finite fields 7HZTKXZX5Y
| URI | m2://inv/7HZTKXZX5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#theorem-3, Complete classification of finite fields (statement). In RZP28ERRZV, theorem, section 12.3
History
- 2026-11-01: add by m2/v0.6.13
7HZWMG7KZD 7HZWMG7KZD
| URI | m2://inv/7HZWMG7KZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#OC1P (statement)
History
- 2026-11-01: add by m2/v0.6.15
7HZY7H0C2N 7HZY7H0C2N
| URI | m2://inv/7HZY7H0C2N |
|---|---|
| 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.09596#85HD (statement). In HXFA55BREZ/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10