Inventory rows 7Y
The cards of the rows of the inventory whose ids start with 7Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Michael Maestlin 7Y06CMW48N
| URI | m2://inv/7Y06CMW48N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Maestlin, Michael Maestlin (topic). Also Wikidata Q75797
History
- 2026-11-02: add by m2/dev
Properties 7Y0BNNMKEH
| URI | m2://inv/7Y0BNNMKEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Foulds metric#LKUJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bochner formula 7Y0DA855D2
| URI | m2://inv/7Y0DA855D2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.25801#VUWC, Bochner formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
7Y0E4CW81F 7Y0E4CW81F
| URI | m2://inv/7Y0E4CW81F |
|---|---|
| Kind | example |
| 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.17541#3EKR (example). In 9PHDBFMHH6/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
Disproving the conjecture 7Y0NA25C83
| URI | m2://inv/7Y0NA25C83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ragsdale conjecture#D367, Disproving the conjecture (statement)
History
- 2026-11-02: add by m2/dev
Examples 7Y0P3CVSFY
| URI | m2://inv/7Y0P3CVSFY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character variety#36MF, Examples (example)
History
- 2026-11-02: add by m2/dev
7Y0TVRPA3E 7Y0TVRPA3E
| URI | m2://inv/7Y0TVRPA3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#BBOE (statement). In F5XF5VXTXY/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
unit fraction 7Y0VPG60TV
| URI | m2://inv/7Y0VPG60TV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q255388, unit fraction (definition). Also EoM Aliquot_ratio, MathWorld UnitFraction, ProofWiki Definition:Unit_Fraction
- wikipedia: Wikipedia Unit fraction, Unit fraction (definition). Also Wikidata Q255388
History
- 2026-10-26: add by m2/dev
Factorization identities 7Y0W8J06RZ
| URI | m2://inv/7Y0W8J06RZ |
|---|---|
| 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 2610.19192#1Z32, Factorization identities (statement). In E53KCQ5029/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Examples of phase reduction 7Y0WPN8ZCF
| URI | m2://inv/7Y0WPN8ZCF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase reduction#QUIS, Examples of phase reduction (example)
History
- 2026-11-02: add by m2/dev
global well-ordering 7Y0XTWWQCY
| URI | m2://inv/7Y0XTWWQCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LSK9, global well-ordering (definition)
History
- 2026-11-02: add by m2/dev
7Y0YWEJPZN 7Y0YWEJPZN
| URI | m2://inv/7Y0YWEJPZN |
|---|---|
| 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.22218#CQZ6 (statement). In 338GKREFVP/e1, lemma 58
History
- 2026-10-27: add by m2/v0.4.0
Confidence distribution 7Y172C1CRW
| URI | m2://inv/7Y172C1CRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidence distribution, Confidence distribution (definition). Also Wikidata Q5160087
History
- 2026-11-02: add by m2/dev
Examples 7Y17EZPFA0
| URI | m2://inv/7Y17EZPFA0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical trace#UT2P, Examples (example)
History
- 2026-11-02: add by m2/dev
Poincaré–Bjerknes circulation theorem 7Y195W8918
| URI | m2://inv/7Y195W8918 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin's circulation theorem#U4BG, Poincaré–Bjerknes circulation theorem (statement)
History
- 2026-11-02: add by m2/dev
Lizardman's Constant 7Y1E84Y98T
| URI | m2://inv/7Y1E84Y98T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slate Star Codex#WOUL, Lizardman's Constant (unknown)
History
- 2026-11-02: add by m2/dev
Orthocentric tetrahedron 7Y1FF0DPJG
| URI | m2://inv/7Y1FF0DPJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthocentric tetrahedron, Orthocentric tetrahedron (definition). Also Wikidata Q7104414
History
- 2026-11-02: add by m2/dev
Diophantine equation 7Y1JX761DQ
| URI | m2://inv/7Y1JX761DQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.5/diophantine-equation, Diophantine equation (concept). In Y91XFCEVHQ, index, section 6.2.5
History
- 2026-11-01: add by m2/v0.6.13
A quadric section of the adjoint $G_2$ variety 7Y1P2Z6MJM
| URI | m2://inv/7Y1P2Z6MJM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#JZGH, A quadric section of the adjoint $G_2$ variety (example)
History
- 2026-11-02: add by m2/v0.6.17
Definition 7Y2177MN6G
| URI | m2://inv/7Y2177MN6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I-spline#35I9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Peter Albert Loeb 7Y21EB3VXC
| URI | m2://inv/7Y21EB3VXC |
|---|---|
| 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#KKPR, Peter Albert Loeb (unknown)
History
- 2026-11-02: add by m2/dev
7Y251GKVKG 7Y251GKVKG
| URI | m2://inv/7Y251GKVKG |
|---|---|
| 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.24584#36EP (statement)
History
- 2026-11-01: add by m2/v0.6.15
7Y275387AH 7Y275387AH
| URI | m2://inv/7Y275387AH |
|---|---|
| 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 2602.07485#JPA0 (statement). In 8KAC1E81JQ/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
7Y2FZBMTS1 7Y2FZBMTS1
| URI | m2://inv/7Y2FZBMTS1 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#AHK9 (unknown). In QNBFHFZ3H0/e1, unknown 45
History
- 2026-10-28: add by m2/v0.4.2
7Y2PRW5BC0 7Y2PRW5BC0
| URI | m2://inv/7Y2PRW5BC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#8EY2 (statement). In P2ETMXKVDS/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Liénard equation 7Y2S9X84JF
| URI | m2://inv/7Y2S9X84JF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2500406, Liénard's theorem (statement). Also Wikidata Q2500406
- thousand_plus: thousand_plus Q2500406, Liénard's theorem (statement). Also Wikidata Q2500406, Wikipedia Liénard's theorem
- wikipedia: Wikipedia Liénard equation, Liénard equation (definition). Also Wikidata Q2500406
History
- 2026-10-26: add by m2/dev
Final value theorem 7Y2SD61RPG
| URI | m2://inv/7Y2SD61RPG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ENTJ, Final value theorem (statement)
History
- 2026-11-02: add by m2/dev
H. J. M. Bos 7Y2V1BAVGR
| URI | m2://inv/7Y2V1BAVGR |
|---|---|
| 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#25CE, H. J. M. Bos (unknown)
History
- 2026-11-02: add by m2/dev
7Y3019Y1WC 7Y3019Y1WC
| URI | m2://inv/7Y3019Y1WC |
|---|---|
| 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.13618#8X8Y (statement). In XDQAEGH345/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
Radical of a module 7Y35SQMV8B
| URI | m2://inv/7Y35SQMV8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#XRUA, Radical of a module (definition)
History
- 2026-11-02: add by m2/dev
Geometric morphometrics in anthropology 7Y37F18HTJ
| URI | m2://inv/7Y37F18HTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric morphometrics in anthropology, Geometric morphometrics in anthropology (definition). Also Wikidata Q25111285
History
- 2026-11-02: add by m2/dev
Definition 7Y3AQDEG9A
| URI | m2://inv/7Y3AQDEG9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idele group#W3VI, Definition (definition)
History
- 2026-11-02: add by m2/dev
7Y3BA2RRCC 7Y3BA2RRCC
| URI | m2://inv/7Y3BA2RRCC |
|---|---|
| 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.31365#3YSQ (statement). In 19GENJ3NCP/e1, proposition 5.3
History
- 2026-10-31: add by m2/v0.5.6
Lefschetz properties 7Y3FX8R7DA
| URI | m2://inv/7Y3FX8R7DA |
|---|---|
| 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 2609.38212#TAV6, Lefschetz properties (statement). In 5821K2RD8J/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Example 7Y3H83R4A1
| URI | m2://inv/7Y3H83R4A1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aanderaa–Karp–Rosenberg conjecture#1Q7A, Example (example)
History
- 2026-11-02: add by m2/dev
7Y3KMDJNPY 7Y3KMDJNPY
| URI | m2://inv/7Y3KMDJNPY |
|---|---|
| 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 2609.31783#7X9J (statement). In CGNVT4C47F/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Theorem (Boyd) 7Y3TPM5PZM
| URI | m2://inv/7Y3TPM5PZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahler measure#YPNG, Theorem (Boyd) (statement)
History
- 2026-11-02: add by m2/dev
Measurability of geodesic counting 7Y41CH9T2J
| URI | m2://inv/7Y41CH9T2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14065#UBTO, Measurability of geodesic counting (statement). In PV7V3X78JH/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
quasi-compact morphism 7Y4C16CZNP
| URI | m2://inv/7Y4C16CZNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quasi-compact morphism 41009J4M5D |
Mentions
- wikidata: Wikidata Q7269441, quasi-compact morphism (definition). Also ProofWiki Definition:Quasi-Compact_Morphism_of_Schemes
- wikipedia: Wikipedia Quasi-compact morphism, Quasi-compact morphism (definition). Also Wikidata Q7269441
History
- 2026-10-26: add by m2/dev
Bellman's lost in a forest problem 7Y4Y5SAQQH
| URI | m2://inv/7Y4Y5SAQQH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56291656, Bellman's lost in a forest problem (unknown). Also MathWorld LostinaForestProblem
- wikipedia: Wikipedia Bellman's lost-in-a-forest problem, Bellman's lost-in-a-forest problem (conjecture). Also Wikidata Q56291656
History
- 2026-10-26: add by m2/dev
7Y50HSP3PH 7Y50HSP3PH
| URI | m2://inv/7Y50HSP3PH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38211#90LG (statement). In KWKK0S9YJN/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Petal projection 7Y5106BKD0
| URI | m2://inv/7Y5106BKD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petal projection, Petal projection (definition). Also Wikidata Q108672970
History
- 2026-11-02: add by m2/dev
Definition 7Y54BQ4WWW
| URI | m2://inv/7Y54BQ4WWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound probability distribution#EE9K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Glicksberg's theorem 7Y58J281SQ
| URI | m2://inv/7Y58J281SQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glicksberg's theorem, Glicksberg's theorem (statement). Also Wikidata Q5569549
History
- 2026-11-02: add by m2/dev
Weil's criterion 7Y5BA2YY70
| URI | m2://inv/7Y5BA2YY70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#H02C, Weil's criterion (statement)
History
- 2026-11-02: add by m2/dev
7Y5MN41T51 7Y5MN41T51
| URI | m2://inv/7Y5MN41T51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#7K1S (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
7Y5R1VQXM0 7Y5R1VQXM0
| URI | m2://inv/7Y5R1VQXM0 |
|---|---|
| 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.36622#P1Z1 (statement). In 9704QPRPR6/e1, proposition 4.9
History
- 2026-10-30: add by m2/v0.4.12
Affine minimax rate under mixed noise 7Y5R9RSRRC
| URI | m2://inv/7Y5R9RSRRC |
|---|---|
| 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.12641#HYW7, Affine minimax rate under mixed noise (statement). In X5BYGZZHPF/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
7Y5WN0JAJF 7Y5WN0JAJF
| URI | m2://inv/7Y5WN0JAJF |
|---|---|
| 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.33231#C4A8 (statement). In WPDRT63QNW/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Krein–Milman theorem 7Y5ZDCCKYX
| URI | m2://inv/7Y5ZDCCKYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#J7R6, Krein–Milman theorem (statement)
History
- 2026-11-02: add by m2/dev
7Y61N14GKW 7Y61N14GKW
| URI | m2://inv/7Y61N14GKW |
|---|---|
| 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.07445#KQKF (statement). In F1BM3Q8125/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Properties 7Y64FWNMVM
| URI | m2://inv/7Y64FWNMVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum spacing estimation#UKLK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Homological mirror symmetry 7Y679ZEMMQ
| URI | m2://inv/7Y679ZEMMQ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#ORLE, Homological mirror symmetry (conjecture). In QX77AN49J0/e1, conjecture 8.1
History
- 2026-10-27: add by m2/v0.4.2
Arithmetic progression 7Y699AMDK6
| URI | m2://inv/7Y699AMDK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#UN5F, Arithmetic progression (definition)
History
- 2026-11-02: add by m2/dev
Johnson’s theorem 7Y6DXAYYS8
| URI | m2://inv/7Y6DXAYYS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984019, Johnson’s theorem (statement). Also MathWorld JohnsonsTheorem
History
- 2026-10-26: add by m2/dev
Vera Pawlowsky-Glahn 7Y6M61R4M9
| URI | m2://inv/7Y6M61R4M9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vera Pawlowsky-Glahn, Vera Pawlowsky-Glahn (topic). Also Wikidata Q19665082
History
- 2026-11-02: add by m2/dev
7Y6ZH8V0J2 7Y6ZH8V0J2
| URI | m2://inv/7Y6ZH8V0J2 |
|---|---|
| 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.18744#5X8C (statement). In AE07JDH5D3/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
7Y74NSD5Y2 7Y74NSD5Y2
| URI | m2://inv/7Y74NSD5Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#definition-5 (definition). In RZP28ERRZV, definition, section 91.2
History
- 2026-11-01: add by m2/v0.6.13
7Y75DGCBR3 7Y75DGCBR3
| URI | m2://inv/7Y75DGCBR3 |
|---|---|
| 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.25030#MBVW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euclid primes 7Y764JX77P
| URI | m2://inv/7Y764JX77P |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#E66L, Euclid primes (conjecture)
History
- 2026-11-02: add by m2/dev
Matched rank-moment spectrum and Gallager's $E_0$ function 7Y77APXAYK
| URI | m2://inv/7Y77APXAYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#EPM3, Matched rank-moment spectrum and Gallager's $E_0$ function (statement)
History
- 2026-11-01: add by m2/v0.6.15
7Y792XXD0M 7Y792XXD0M
| URI | m2://inv/7Y792XXD0M |
|---|---|
| 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.31212#EA48 (statement). In FHE30V0M03/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
7Y7JPMG1CS 7Y7JPMG1CS
| URI | m2://inv/7Y7JPMG1CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20805#DQSI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generating function 7Y7Q4GDJVM
| URI | m2://inv/7Y7Q4GDJVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function (physics), Generating function (definition). Also Wikidata Q845581
History
- 2026-11-02: add by m2/dev
Segre embedding 7Y7TMTYN6B
| URI | m2://inv/7Y7TMTYN6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#EVLR, Segre embedding (definition)
History
- 2026-11-02: add by m2/dev
Catalan surface 7Y7XKVHR60
| URI | m2://inv/7Y7XKVHR60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#M9UY, Catalan surface (definition)
History
- 2026-11-02: add by m2/dev
Computational complexity theory 7Y7Y4HEDAJ
| URI | m2://inv/7Y7Y4HEDAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#RGUD, Computational complexity theory (definition)
History
- 2026-11-02: add by m2/dev
Appeal to consequences 7Y7Z130ZG2
| URI | m2://inv/7Y7Z130ZG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#LP1M, Appeal to consequences (definition)
History
- 2026-11-02: add by m2/dev
7Y84BWWY79 7Y84BWWY79
| URI | m2://inv/7Y84BWWY79 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#H90U (definition). In XYYEJN00D8/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Autocorrelation and every-window relaxation at rate \(b_N+1/T\ 7Y84YZ8W1P
| URI | m2://inv/7Y84YZ8W1P |
|---|---|
| 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 2610.16351#9SIP, Autocorrelation and every-window relaxation at rate \(b_N+1/T\ (statement). In 1QSV7EQE3T/e1, theorem S89
History
- 2026-10-28: add by m2/v0.4.2
Graph algebra 7Y8BK73104
| URI | m2://inv/7Y8BK73104 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph algebra (social sciences), Graph algebra (definition). Also Wikidata Q5597071
History
- 2026-11-02: add by m2/dev
Parallel-face graphs and spectral expansion 7Y8JCNG8B6
| URI | m2://inv/7Y8JCNG8B6 |
|---|---|
| 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 2609.28028#NPVS, Parallel-face graphs and spectral expansion (definition)
History
- 2026-11-01: add by m2/v0.6.15
Local class field theory 7Y8RGW58KP
| URI | m2://inv/7Y8RGW58KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#0SHH, Local class field theory (definition)
History
- 2026-11-02: add by m2/dev
7Y8VS1GJRH 7Y8VS1GJRH
| URI | m2://inv/7Y8VS1GJRH |
|---|---|
| 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 2610.08885#8J8D (statement). In B4RHB3CF12/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
List decoding and recovery 7Y8YN45CHY
| URI | m2://inv/7Y8YN45CHY |
|---|---|
| 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.12357#0ZQC, List decoding and recovery (definition). In 1F26AF81XP/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Clinical study design 7Y9AN8W8X9
| URI | m2://inv/7Y9AN8W8X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical study design, Clinical study design (definition). Also Wikidata Q17007018
History
- 2026-11-02: add by m2/dev
7Y9DNFPR94 7Y9DNFPR94
| URI | m2://inv/7Y9DNFPR94 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-110 (exercise). In E9HS8K3A52, exercise, section 4.8.3
History
- 2026-11-01: add by m2/v0.6.13
7Y9FC9HM3N 7Y9FC9HM3N
| URI | m2://inv/7Y9FC9HM3N |
|---|---|
| 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.24082#PGBA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 7Y9H94H2B0
| URI | m2://inv/7Y9H94H2B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chu space#7TXC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Leading homogeneous polynomial 7Y9HBEZYAW
| URI | m2://inv/7Y9HBEZYAW |
|---|---|
| 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.26152#PF7A, Leading homogeneous polynomial (statement)
History
- 2026-11-01: add by m2/v0.6.15
7Y9JVTT2YB 7Y9JVTT2YB
| URI | m2://inv/7Y9JVTT2YB |
|---|---|
| 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.10233#OBLZ (statement). In QR9WE79ERQ/e1, lemma 7.7
History
- 2026-10-29: add by m2/v0.4.10
7Y9S4TESJD 7Y9S4TESJD
| URI | m2://inv/7Y9S4TESJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#DF1V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hendrik Lenstra 7Y9T9GVW83
| URI | m2://inv/7Y9T9GVW83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GQGG, Hendrik Lenstra (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 7Y9XQ0Y9JB
| URI | m2://inv/7Y9XQ0Y9JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centralizer and normalizer#E035, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Assumptions of the limit analysis theorems 7YA95TVZGW
| URI | m2://inv/7YA95TVZGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit analysis#A1Y6, Assumptions of the limit analysis theorems (statement)
History
- 2026-11-02: add by m2/dev
Anders Lindstedt 7YAC57FNFJ
| URI | m2://inv/7YAC57FNFJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anders Lindstedt, Anders Lindstedt (topic). Also Wikidata Q491167
History
- 2026-11-02: add by m2/dev
7YAKTQ2HYF 7YAKTQ2HYF
| URI | m2://inv/7YAKTQ2HYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#M5LZ (statement). In XGPZ0G9E1Q/e1, proposition 7.20
History
- 2026-10-29: add by m2/v0.4.12
7YAQ4AKHZ0 7YAQ4AKHZ0
| URI | m2://inv/7YAQ4AKHZ0 |
|---|---|
| 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 0910.5574#9VK1 (statement). In 2TJRBRKYAY/e1, proposition 10.1
History
- 2026-10-27: add by m2/v0.3.5
Open knot theory 7YAR6F7PWG
| URI | m2://inv/7YAR6F7PWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open knot theory, Open knot theory (definition). Also Wikidata Q136446233
History
- 2026-11-02: add by m2/dev
Lumen Naturae 7YASWBZX15
| URI | m2://inv/7YASWBZX15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumen Naturae, Lumen Naturae (definition). Also Wikidata Q116007006
History
- 2026-11-02: add by m2/dev
7YAT4XK6JF 7YAT4XK6JF
| URI | m2://inv/7YAT4XK6JF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#7VKG (statement). In F0E8YBV0Z0/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
Borel–Bott–Weil theorem 7YAVRMZCVY
| URI | m2://inv/7YAVRMZCVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Q4T5, Borel–Bott–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
7YAX2MF2QW 7YAX2MF2QW
| URI | m2://inv/7YAX2MF2QW |
|---|---|
| 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.18252#8NLQ (statement). In PSQ3CNVK2D/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Equivalent definitions 7YAXAN01A5
| URI | m2://inv/7YAXAN01A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asplund space#PYZ6, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
List of countries by GDP (nominal) per capita 7YB4XP82NC
| URI | m2://inv/7YB4XP82NC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by GDP (nominal) per capita, List of countries by GDP (nominal) per capita (topic). Also Wikidata Q108977
History
- 2026-11-02: add by m2/dev
hendecagon 7YB5T9NZ73
| URI | m2://inv/7YB5T9NZ73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214382, hendecagon (unknown). Also MathWorld Hendecagon
- wikipedia: Wikipedia Hendecagon, Hendecagon (definition). Also Wikidata Q214382
History
- 2026-10-26: add by m2/dev
7YBEA6H8TP 7YBEA6H8TP
| URI | m2://inv/7YBEA6H8TP |
|---|---|
| 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.28892#2O5F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bourbaki–Witt theorem 7YBERA8GZP
| URI | m2://inv/7YBERA8GZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NTUU, Bourbaki–Witt theorem (statement)
History
- 2026-11-02: add by m2/dev
``continuity'' of functions in type theory 7YBFWSTGT3
| URI | m2://inv/7YBFWSTGT3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.2/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Chartered Statistician 7YBKE6XNPC
| URI | m2://inv/7YBKE6XNPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chartered Statistician, Chartered Statistician (definition). Also Wikidata Q5086861
History
- 2026-11-02: add by m2/dev
Definition 7YBPWAWH4K
| URI | m2://inv/7YBPWAWH4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop-erased random walk#FB7W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 7YBSY10DKK
| URI | m2://inv/7YBSY10DKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiresolution analysis#MN1R, Definition (definition)
History
- 2026-11-02: add by m2/dev
HOD 7YBV34MJW5
| URI | m2://inv/7YBV34MJW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#X5MV, HOD (definition)
History
- 2026-11-02: add by m2/dev
7YBVFRRHM2 7YBVFRRHM2
| URI | m2://inv/7YBVFRRHM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#2CBD (statement). In HCTYW6VH87/e1, lemma 8.6
History
- 2026-10-27: add by m2/v0.3.5
Long-line point bound 7YBY9XQ9XY
| URI | m2://inv/7YBY9XQ9XY |
|---|---|
| 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#XGSP, Long-line point bound (statement). In XDTM624YPE/e1, lemma 15.2
History
- 2026-10-27: add by m2/v0.4.2
Statement of the conjecture 7YC08DYRH7
| URI | m2://inv/7YC08DYRH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imbalance conjecture#Y15W, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
Applications 7YC4GC9HZ9
| URI | m2://inv/7YC4GC9HZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burr distribution#VVP9, Applications (example)
History
- 2026-11-02: add by m2/dev
7YCDDG9KY3 7YCDDG9KY3
| URI | m2://inv/7YCDDG9KY3 |
|---|---|
| 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 2310.06695#ST4S (statement). In D6F8XGF5SS/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.6
7YCNSCQB38 7YCNSCQB38
| URI | m2://inv/7YCNSCQB38 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#BYO2 (example). In 8Z47D12KSX/e1, example 7.10
History
- 2026-10-29: add by m2/v0.4.10
General zero-defect criterion 7YCT66BC8Y
| URI | m2://inv/7YCT66BC8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#M4OX, General zero-defect criterion (statement). In 7GMD8J4200/e1, theorem 17
History
- 2026-10-27: add by m2/v0.4.2
convergent series 7YCWWFCE0J
| URI | m2://inv/7YCWWFCE0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#AMI6, convergent series (definition)
History
- 2026-11-02: add by m2/dev
Application 7YD08Q04Q0
| URI | m2://inv/7YD08Q04Q0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reynolds decomposition#ODNE, Application (example)
History
- 2026-11-02: add by m2/dev
7YD1CGBJ17 7YD1CGBJ17
| URI | m2://inv/7YD1CGBJ17 |
|---|---|
| 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.10474#2FXS (statement). In MB29RAAQMG/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Nonlinear analysis 7YD3077DWW
| URI | m2://inv/7YD3077DWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#67HO, Nonlinear analysis (definition)
History
- 2026-11-02: add by m2/dev
7YD368TYSX 7YD368TYSX
| URI | m2://inv/7YD368TYSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#definition-3 (definition). In RZP28ERRZV, definition, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Hart's inversor 7YDD65DBKG
| URI | m2://inv/7YDD65DBKG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16983650, Hart's inversor (concept). Also MathWorld HartsInversor
History
- 2026-10-26: add by m2/dev
7YDGZCDHWV 7YDGZCDHWV
| URI | m2://inv/7YDGZCDHWV |
|---|---|
| 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 2605.16669#OFSP (statement). In 1463YCCRP5/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.0
Notation 7YDQ1G0P2Q
| URI | m2://inv/7YDQ1G0P2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiring#G4S8, Notation (definition)
History
- 2026-11-02: add by m2/dev
Airy function Bi 7YDR64Y4BV
| URI | m2://inv/7YDR64Y4BV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109729257, Airy function Bi (unknown). Also MathWorld AiryBi
History
- 2026-10-26: add by m2/dev
artificial intelligence 7YDTBTYK4R
| URI | m2://inv/7YDTBTYK4R |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 68Txx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11660, artificial intelligence (topic). Also ProofWiki Definition:Artificial_Intelligence
History
- 2026-10-26: add by m2/dev
7YDW0H9SKV 7YDW0H9SKV
| URI | m2://inv/7YDW0H9SKV |
|---|---|
| Kind | definition |
| 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.27694#V07P (definition)
History
- 2026-11-01: add by m2/v0.6.15
Example 7YDWVFKMY0
| URI | m2://inv/7YDWVFKMY0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random dynamical system#ZBXB, Example (example)
History
- 2026-11-02: add by m2/dev
consistency 7YE0828CBM
| URI | m2://inv/7YE0828CBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#JR1C, consistency (statement). In YR3CSTYEJW/e1, proposition 10.1
History
- 2026-10-29: add by m2/v0.4.10
7YE7D7AEAT 7YE7D7AEAT
| URI | m2://inv/7YE7D7AEAT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#JW45 (definition)
History
- 2026-11-01: add by m2/v0.6.15
7YE7SJ6PM1 7YE7SJ6PM1
| URI | m2://inv/7YE7SJ6PM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33019#44CG (statement). In R4V2A3Z5GP/e1, corollary 3.5
History
- 2026-10-31: add by m2/v0.5.6
Affine Dynkin diagram 7YEF0R10YJ
| URI | m2://inv/7YEF0R10YJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynkin diagram#SPAW, Affine Dynkin diagram (unknown)
History
- 2026-11-02: add by m2/dev
7YERD398VJ 7YERD398VJ
| URI | m2://inv/7YERD398VJ |
|---|---|
| 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.25133#W14B (statement)
History
- 2026-11-01: add by m2/v0.6.15
7YF0EWY3SB 7YF0EWY3SB
| URI | m2://inv/7YF0EWY3SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#0NJK (statement)
History
- 2026-11-01: add by m2/v0.6.15
litre 7YF2YXGTX4
| URI | m2://inv/7YF2YXGTX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11582, litre (definition). Also ProofWiki Definition:Metric_System/Volume/Litre
History
- 2026-10-26: add by m2/dev
7YFARVWNBW 7YFARVWNBW
| URI | m2://inv/7YFARVWNBW |
|---|---|
| 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.09882#5Z4I (statement). In 7XV6T4N79V/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Comb space 7YFBMQWEKX
| URI | m2://inv/7YFBMQWEKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#MLUX, Comb space (definition)
- wikipedia: Wikipedia List of topologies#I2EJ, Comb space (definition)
History
- 2026-11-02: add by m2/dev
7YFE94ZXT1 7YFE94ZXT1
| URI | m2://inv/7YFE94ZXT1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#proof-5 (proof). In QKM9DD2H56, proof, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
7YFTX6996M 7YFTX6996M
| URI | m2://inv/7YFTX6996M |
|---|---|
| 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#GXDQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
7YFZ016PFP 7YFZ016PFP
| URI | m2://inv/7YFZ016PFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.05451#DJII (statement). In 5YMFYAFFJ7/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Applications 7YG59FXPZX
| URI | m2://inv/7YG59FXPZX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laver function#SM76, Applications (example)
History
- 2026-11-02: add by m2/dev
Confinement 7YG6QKD2DN
| URI | m2://inv/7YG6QKD2DN |
|---|---|
| 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.06480#93AW, Confinement (statement). In 2Y47E704Z9/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
7YGD4WDAE2 7YGD4WDAE2
| URI | m2://inv/7YGD4WDAE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#JHRP (statement). In J7ZX3WWRQP/e1, proposition 2.19
History
- 2026-10-28: add by m2/v0.4.2
7YGD7ECWS3 7YGD7ECWS3
| URI | m2://inv/7YGD7ECWS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#BZW4 (statement). In DPJ15KW23C/e1, lemma 8.6
History
- 2026-10-30: add by m2/v0.4.12
semiring 7YGH6FHVNY
| URI | m2://inv/7YGH6FHVNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Semiring D31S3GR51T |
Mentions
- wikidata: Wikidata Q1333055, semiring (definition). Also MathWorld Semiring, ProofWiki Definition:Semiring
- wikipedia: Wikipedia Semiring, Semiring (definition). Also Wikidata Q1333055
History
- 2026-10-26: add by m2/dev
Definition: Dirac sequence 7YGHB92A2H
| URI | m2://inv/7YGHB92A2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau kernel#5CTE, Definition: Dirac sequence (definition)
History
- 2026-11-02: add by m2/dev
7YGHY502X3 7YGHY502X3
| URI | m2://inv/7YGHY502X3 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#T4VQ (conjecture). In M8TSJ24RC2/e1, conjecture 1.1
History
- 2026-10-28: add by m2/v0.4.2
superfluous 7YGKEBQ2PV
| URI | m2://inv/7YGKEBQ2PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#OJY2, superfluous (definition)
History
- 2026-11-02: add by m2/dev
Lipschitz Continuity of the Discrete Non-Local Operator 7YGMP04YEG
| URI | m2://inv/7YGMP04YEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#KD33, Lipschitz Continuity of the Discrete Non-Local Operator (statement). In QJ1G1HBC6C/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
7YGP1WSCD6 7YGP1WSCD6
| URI | m2://inv/7YGP1WSCD6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-6 (proof). In N54F33XE07, proof, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
7YGRM9VP2R 7YGRM9VP2R
| URI | m2://inv/7YGRM9VP2R |
|---|---|
| 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.01899#U2AX (statement). In 638TEFBFGP/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Three basic defects 7YGT85VXVS
| URI | m2://inv/7YGT85VXVS |
|---|---|
| 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.02216#JBOL, Three basic defects (statement). In 34JGRZ2M5F/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
All singularities on $M$ dicritical 7YH8NSA5TQ
| URI | m2://inv/7YH8NSA5TQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12497#PVXV, All singularities on $M$ dicritical (statement). In Z0SAF18JPP/e1, corollary 14.1
History
- 2026-10-28: add by m2/v0.4.2
Connected relation 7YHBKPCQZV
| URI | m2://inv/7YHBKPCQZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected relation, Connected relation (definition). Also Wikidata Q2481270
History
- 2026-11-02: add by m2/dev
7YHBZ1T00H 7YHBZ1T00H
| URI | m2://inv/7YHBZ1T00H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#ex-3 (example). In PKGMM3P5QY, ex, section 83.1
History
- 2026-11-01: add by m2/v0.6.13
7YHNZ6937M 7YHNZ6937M
| URI | m2://inv/7YHNZ6937M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#RTMR (statement). In B8MJT0GGW8/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.4.0
Boris Aronson 7YHVWMJ8W3
| URI | m2://inv/7YHVWMJ8W3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#L801, Boris Aronson (unknown)
History
- 2026-11-02: add by m2/dev
MAA FOCUS 7YJ3RQ05HW
| URI | m2://inv/7YJ3RQ05HW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MAA FOCUS, MAA FOCUS (definition). Also Wikidata Q6714029
History
- 2026-11-02: add by m2/dev
Local regularity of the Hartree right-hand side 7YJ823ZGR0
| URI | m2://inv/7YJ823ZGR0 |
|---|---|
| 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.00339#LBYM, Local regularity of the Hartree right-hand side (statement). In ZRG6NY1ECH/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Kármán–Howarth equation 7YJADDRSCW
| URI | m2://inv/7YJADDRSCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kármán–Howarth equation, Kármán–Howarth equation (definition). Also Wikidata Q16910971
History
- 2026-11-02: add by m2/dev
Julius L. Shaneson 7YJEV1NMDG
| URI | m2://inv/7YJEV1NMDG |
|---|---|
| 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#7L1T, Julius L. Shaneson (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SMV4, Julius L. Shaneson (unknown)
History
- 2026-11-02: add by m2/dev
7YJMKV6NZS 7YJMKV6NZS
| URI | m2://inv/7YJMKV6NZS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
7YJN39FYP2 7YJN39FYP2
| URI | m2://inv/7YJN39FYP2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-63 (exercise). In E9HS8K3A52, exercise, section 10.6.1
History
- 2026-11-01: add by m2/v0.6.13
Equations for a falling body 7YJNX9RWRR
| URI | m2://inv/7YJNX9RWRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equations for a falling body, Equations for a falling body (definition). Also Wikidata Q1132975
History
- 2026-11-02: add by m2/dev
Patrick Doreian 7YJPC7P46X
| URI | m2://inv/7YJPC7P46X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick Doreian, Patrick Doreian (topic). Also Wikidata Q108123893
History
- 2026-11-02: add by m2/dev
NP-hard 7YJS1B1KP7
| URI | m2://inv/7YJS1B1KP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#PRMC, NP-hard (definition)
History
- 2026-11-02: add by m2/dev
Milne-Thomson circle theorem 7YJST80T1X
| URI | m2://inv/7YJST80T1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milne-Thomson circle theorem, Milne-Thomson circle theorem (statement). Also Wikidata Q6860189
History
- 2026-11-02: add by m2/dev
Cauchy stress tensor 7YJYHAWEMM
| URI | m2://inv/7YJYHAWEMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy stress tensor, Cauchy stress tensor (definition). Also Wikidata Q13409892
History
- 2026-11-02: add by m2/dev
Semantic --- \textsc{$\lambda$-E 7YK2S2E0C2
| URI | m2://inv/7YK2S2E0C2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#NDGO, Semantic --- \textsc{$\lambda$-E (statement). In CPYWHRTPKC/e1, lemma 7.43
History
- 2026-10-27: add by m2/v0.4.2
Jerzy Neyman 7YK4TQ6Z58
| URI | m2://inv/7YK4TQ6Z58 |
|---|---|
| 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#3T54, Jerzy Neyman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P4DF, Jerzy Neyman (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Y6AD, Jerzy Neyman (topic)
History
- 2026-11-02: add by m2/dev
7YK5SFPA71 7YK5SFPA71
| URI | m2://inv/7YK5SFPA71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#62M7 (statement). In M8F4PDHH3S/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.3.5
Karl H. Hofmann 7YK8VFB1DE
| URI | m2://inv/7YK8VFB1DE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl H. Hofmann, Karl H. Hofmann (topic). Also Wikidata Q15435410
History
- 2026-11-02: add by m2/dev
7YKB38A84G 7YKB38A84G
| URI | m2://inv/7YKB38A84G |
|---|---|
| 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 2603.21971#DOLK (statement). In R6KSZ9H8CY/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Compound of six decagonal prisms 7YKCE0XW2A
| URI | m2://inv/7YKCE0XW2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of six decagonal prisms, Compound of six decagonal prisms (definition). Also Wikidata Q5156877
History
- 2026-11-02: add by m2/dev
7YKN1BG8F4 7YKN1BG8F4
| URI | m2://inv/7YKN1BG8F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#TSSS (statement). In CBF6TQS4DW/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Applications 7YKPYVWFYT
| URI | m2://inv/7YKPYVWFYT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum spanning tree#4MHQ, Applications (example)
History
- 2026-11-02: add by m2/dev
tensor 7YKT5SC90F
| URI | m2://inv/7YKT5SC90F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#E9PO, tensor (definition)
History
- 2026-11-02: add by m2/dev
Relational system (universal algebra) 7YKTFC5Z7J
| URI | m2://inv/7YKTFC5Z7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial algebra#NC53, Relational system (universal algebra) (unknown)
History
- 2026-11-02: add by m2/dev
Jean Cerf 7YKTP7XPZF
| URI | m2://inv/7YKTP7XPZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Cerf, Jean Cerf (topic). Also Wikidata Q1685417
History
- 2026-11-02: add by m2/dev
Riemann singularity theorem 7YM08YSJB2
| URI | m2://inv/7YM08YSJB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Q7JP, Riemann singularity theorem (definition)
History
- 2026-11-02: add by m2/dev
7YM49V4AMZ 7YM49V4AMZ
| URI | m2://inv/7YM49V4AMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#QX93 (statement). In SBN06J39DG/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
7YM9B88Q0X 7YM9B88Q0X
| URI | m2://inv/7YM9B88Q0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#E5KU (statement). In XGPZ0G9E1Q/e1, theorem 8.9
History
- 2026-10-29: add by m2/v0.4.12
7YMAQ0FJTD 7YMAQ0FJTD
| URI | m2://inv/7YMAQ0FJTD |
|---|---|
| Kind | definition |
| 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 2205.15106#SMKY (definition). In N3ZQJ2G8SS/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
7YMJS4R4ST 7YMJS4R4ST
| URI | m2://inv/7YMJS4R4ST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34923#TPDY (statement). In 7WKVFJEZQT/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Wolfgang Händler 7YMKVZKNMX
| URI | m2://inv/7YMKVZKNMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#MUFN, Wolfgang Händler (unknown)
History
- 2026-11-02: add by m2/dev
Velocity potential 7YMSA5T6B8
| URI | m2://inv/7YMSA5T6B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Velocity potential, Velocity potential (definition). Also Wikidata Q1331126
History
- 2026-11-02: add by m2/dev
Examples 7YMW8AS3Z0
| URI | m2://inv/7YMW8AS3Z0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subspace topology#PQ0F, Examples (example)
History
- 2026-11-02: add by m2/dev
Quantile regression 7YMZSYXHJA
| URI | m2://inv/7YMZSYXHJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DO1S, Quantile regression (definition)
History
- 2026-11-02: add by m2/dev
One-dimensional finite-temperature transfer 7YN0C2J7E7
| URI | m2://inv/7YN0C2J7E7 |
|---|---|
| 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 2610.15199#5RS0, One-dimensional finite-temperature transfer (statement). In EVFTDVP4K4/e1, theorem H.1
History
- 2026-10-28: add by m2/v0.4.2
7YN418T75N 7YN418T75N
| URI | m2://inv/7YN418T75N |
|---|---|
| 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#UXJJ (statement). In DC01XRB5YE/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.3
Complete pentahedron 7YN760SA3K
| URI | m2://inv/7YN760SA3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desargues configuration#O5UB, Complete pentahedron (unknown)
History
- 2026-11-02: add by m2/dev
7YNE19TXC6 7YNE19TXC6
| URI | m2://inv/7YNE19TXC6 |
|---|---|
| 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.20344#BCXT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition 7YNMFQ3FCK
| URI | m2://inv/7YNMFQ3FCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Height zeta function#I6P6, Definition (definition)
History
- 2026-11-02: add by m2/dev
7YNPWW7RC0 7YNPWW7RC0
| URI | m2://inv/7YNPWW7RC0 |
|---|---|
| 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.32374#0K6I (statement). In 96D6N9AXQM/e1, theorem 4.7
History
- 2026-10-31: add by m2/v0.5.6
7YNQXTQ8TH 7YNQXTQ8TH
| URI | m2://inv/7YNQXTQ8TH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Exponentially closed field 7YNWWM9XN6
| URI | m2://inv/7YNWWM9XN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered exponential field#HDJ8, Exponentially closed field (unknown)
History
- 2026-11-02: add by m2/dev
differential calculus 7YNYE6C916
| URI | m2://inv/7YNYE6C916 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#UP0T, differential calculus (definition)
History
- 2026-11-02: add by m2/dev
History of topos theory 7YP2E9E4GZ
| URI | m2://inv/7YP2E9E4GZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of topos theory, History of topos theory (definition). Also Wikidata Q5870985
History
- 2026-11-02: add by m2/dev
7YP4F4V042 7YP4F4V042
| URI | m2://inv/7YP4F4V042 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#977P (statement). In D2247CRPPE/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
The terminal action does not affect the contraction 7YPB360TMD
| URI | m2://inv/7YPB360TMD |
|---|---|
| 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.14988#6X71, The terminal action does not affect the contraction (statement). In B29M4E6KGC/e1, lemma E.4
History
- 2026-10-28: add by m2/v0.4.2
Applications 7YPM2CS6SQ
| URI | m2://inv/7YPM2CS6SQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rooted product of graphs#OIYY, Applications (example)
History
- 2026-11-02: add by m2/dev
Cauchy formulas 7YPQ5DAQ70
| URI | m2://inv/7YPQ5DAQ70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > Cauchy formulas, Cauchy formulas (unknown). Also Mathlib Complex.two_pi_I_inv_smul_circleIntegral_sub_inv_smul_of_differentiable_on_off_countable
History
- 2026-10-26: add by m2/dev
Definitions 7YPS7PEENN
| URI | m2://inv/7YPS7PEENN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split (graph theory)#1UKT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7YQ0NXMG5T 7YQ0NXMG5T
| URI | m2://inv/7YQ0NXMG5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14689#IJXS (statement). In 6BKMNJYNPJ/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Jean Chazy 7YQ7BJYE9S
| URI | m2://inv/7YQ7BJYE9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Chazy, Jean Chazy (topic). Also Wikidata Q554917
History
- 2026-11-02: add by m2/dev
Ernst Peschl 7YQMENXSGB
| URI | m2://inv/7YQMENXSGB |
|---|---|
| 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#8AXJ, Ernst Peschl (topic)
History
- 2026-11-02: add by m2/dev
Marcelo Viana 7YQQY2F9DE
| URI | m2://inv/7YQQY2F9DE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcelo Viana, Marcelo Viana (topic). Also Wikidata Q1893398
History
- 2026-11-02: add by m2/dev
Examples 7YQVBPV0J2
| URI | m2://inv/7YQVBPV0J2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shift theorem#D8S3, Examples (example)
History
- 2026-11-02: add by m2/dev
Domenico Cocoli 7YR13C4J94
| URI | m2://inv/7YR13C4J94 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domenico Cocoli, Domenico Cocoli (topic). Also Wikidata Q18945199
History
- 2026-11-02: add by m2/dev
Vera Pless 7YR2XB1NPQ
| URI | m2://inv/7YR2XB1NPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NB0W, Vera Pless (unknown)
History
- 2026-11-02: add by m2/dev
7YRBPGGQX8 7YRBPGGQX8
| URI | m2://inv/7YRBPGGQX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#NEPK (statement). In V7VCEA0VAA/e1, theorem 2.16
History
- 2026-10-29: add by m2/v0.4.10
$\epsilon$-accuracy and sample complexity 7YRMJCFSG6
| URI | m2://inv/7YRMJCFSG6 |
|---|---|
| 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.39837#OMJJ, $\epsilon$-accuracy and sample complexity (statement). In MDQXTBEK0F/e1, corollary 4.6
History
- 2026-10-30: add by m2/v0.4.12
Jacobi's four-square theorem 7YRQRKFNKE
| URI | m2://inv/7YRQRKFNKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527095, Jacobi's four-square theorem (statement). Also Wikidata Q3527095
- thousand_plus: thousand_plus Q3527095, Jacobi's four-square theorem (statement). Also Wikidata Q3527095, Wikipedia Jacobi's four-square theorem
- wikipedia: Wikipedia Jacobi's four-square theorem, Jacobi's four-square theorem (statement). Also Wikidata Q3527095
History
- 2026-10-26: add by m2/dev
Jean Le Rond d'Alembert 7YRRNZB1H7
| URI | m2://inv/7YRRNZB1H7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q153232, Jean Le Rond d'Alembert (unknown). Also EoM DAlembert
- wikipedia: Wikipedia Jean Le Rond d'Alembert, Jean Le Rond d'Alembert (topic). Also Wikidata Q153232
History
- 2026-10-26: add by m2/dev
astronomical object 7YRS05B4K4
| URI | m2://inv/7YRS05B4K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6999, astronomical object (definition). Also ProofWiki Definition:Celestial_Body
History
- 2026-10-26: add by m2/dev
7YRV1F745V 7YRV1F745V
| URI | m2://inv/7YRV1F745V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#YOWI (example). In TB1294GY5X/e1, example 3.17
History
- 2026-10-27: add by m2/v0.4.2
Nuisance parameter 7YS084HB9D
| URI | m2://inv/7YS084HB9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q64Q, Nuisance parameter (definition)
History
- 2026-11-02: add by m2/dev
7YS67MRDHR 7YS67MRDHR
| URI | m2://inv/7YS67MRDHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24777#GTOZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Highly structured ring spectrum 7YSB2Y7PDP
| URI | m2://inv/7YSB2Y7PDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Highly structured ring spectrum, Highly structured ring spectrum (definition). Also Wikidata Q16154730
History
- 2026-11-02: add by m2/dev
Properties 7YSGG51SYK
| URI | m2://inv/7YSGG51SYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumeration reducibility#TNHZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Woo circles 7YSPZAGMST
| URI | m2://inv/7YSPZAGMST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8032133, Woo circles (unknown). Also MathWorld WooCircle
- wikipedia: Wikipedia Woo circles, Woo circles (definition). Also Wikidata Q8032133
History
- 2026-10-26: add by m2/dev
Daniel Hershkowitz 7YSVWF4WD0
| URI | m2://inv/7YSVWF4WD0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Hershkowitz, Daniel Hershkowitz (topic). Also Wikidata Q2613034
History
- 2026-11-02: add by m2/dev
Cleaver 7YT8S7GEBR
| URI | m2://inv/7YT8S7GEBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cleaver (geometry), Cleaver (definition). Also Wikidata Q5131002
History
- 2026-11-02: add by m2/dev
Moshe Vardi 7YTB5EBYJ3
| URI | m2://inv/7YTB5EBYJ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RK04, Moshe Vardi (unknown)
History
- 2026-11-02: add by m2/dev
7YTDJ8AZP5 7YTDJ8AZP5
| URI | m2://inv/7YTDJ8AZP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#LQNP (statement). In 8M7BFVQYMM/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.3
Jan Mikusiński 7YTFWRR0SV
| URI | m2://inv/7YTFWRR0SV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Mikusiński, Jan Mikusiński (topic). Also Wikidata Q925832
History
- 2026-11-02: add by m2/dev
Uses 7YTH9H59PB
| URI | m2://inv/7YTH9H59PB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain separation#BNRB, Uses (example)
History
- 2026-11-02: add by m2/dev
A common radial profile 7YTHBNM4HK
| URI | m2://inv/7YTHBNM4HK |
|---|---|
| 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#MPBU, A common radial profile (statement). In 9YAE8FNQST/e1, theorem 19.14
History
- 2026-10-30: add by m2/v0.4.12
7YTJRTSH5M 7YTJRTSH5M
| URI | m2://inv/7YTJRTSH5M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#PTY6 (definition). In HH35K7S17H/e1, definition 6.8
History
- 2026-10-29: add by m2/v0.4.10
7YVBJ39V2S 7YVBJ39V2S
| URI | m2://inv/7YVBJ39V2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#STZ0 (statement). In 73QW05MWQB/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Propagation of chaos 7YVCDGDN0R
| URI | m2://inv/7YVCDGDN0R |
|---|---|
| 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.24185#Z2AN, Propagation of chaos (statement)
History
- 2026-11-01: add by m2/v0.6.15
Application 7YVCJWHS68
| URI | m2://inv/7YVCJWHS68 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced flow#UTO8, Application (example)
History
- 2026-11-02: add by m2/dev
Pavel Kogan 7YVF5AYWHY
| URI | m2://inv/7YVF5AYWHY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#2ULS, Pavel Kogan (unknown)
History
- 2026-11-02: add by m2/dev
Moebius tetrads 7YVNW4D5XH
| URI | m2://inv/7YVNW4D5XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#7GKH, Moebius tetrads (definition)
History
- 2026-11-02: add by m2/dev
7YW54JERDE 7YW54JERDE
| URI | m2://inv/7YW54JERDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#33TO (statement). In 8H0KHK7AMN/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Icosikaihenagon 7YW98Y9R7C
| URI | m2://inv/7YW98Y9R7C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#BJ68, Icosikaihenagon (topic)
History
- 2026-11-02: add by m2/dev
Variants 7YWBZFBBTC
| URI | m2://inv/7YWBZFBBTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sudoku#6PAO, Variants (statement)
History
- 2026-11-02: add by m2/dev
7YWDPZM774 7YWDPZM774
| URI | m2://inv/7YWDPZM774 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#lemma:mstopocontloc (statement). In E59CDZA4DP, lemma, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
Gyula Y. Katona 7YWHCM1FDK
| URI | m2://inv/7YWHCM1FDK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyula Y. Katona, Gyula Y. Katona (topic). Also Wikidata Q5625605
History
- 2026-11-02: add by m2/dev
Gleason's theorem 7YWJ22P50H
| URI | m2://inv/7YWJ22P50H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5567394, Gleason's theorem (statement). Also Wikidata Q5567394
- thousand_plus: thousand_plus Q5567394, Gleason's theorem (statement). Also Wikidata Q5567394, Wikipedia Gleason's theorem
- wikidata: Wikidata Q5567394, Gleason's theorem (statement). Also nLab Gleason's theorem
- wikipedia: Wikipedia Gleason's theorem, Gleason's theorem (statement). Also Wikidata Q5567394
History
- 2026-10-26: add by m2/dev
7YWJW5EBWB 7YWJW5EBWB
| URI | m2://inv/7YWJW5EBWB |
|---|---|
| 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.32599#FC15 (statement). In E1Y93JNBJA/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
product 7YX6PE6242
| URI | m2://inv/7YX6PE6242 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q901718, product (unknown). Also MathWorld Product
- wikipedia: Wikipedia Product (mathematics), Product (definition). Also Wikidata Q901718
History
- 2026-10-26: add by m2/dev
7YX70WBQ17 7YX70WBQ17
| URI | m2://inv/7YX70WBQ17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#2KD1 (statement). In CY1FE8W1ZW/e1, lemma 0.136
History
- 2026-10-27: add by m2/v0.4.0
Properties 7YXCGHNCY7
| URI | m2://inv/7YXCGHNCY7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl tensor#ODVZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
7YXDVWQKZR 7YXDVWQKZR
| URI | m2://inv/7YXDVWQKZR |
|---|---|
| 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.11271#A23C (statement). In HF7J38T8Y6/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.3
Partially ordered space 7YXHE4QPQM
| URI | m2://inv/7YXHE4QPQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered space, Partially ordered space (definition). Also Wikidata Q7140407
History
- 2026-11-02: add by m2/dev
Properties 7YXJKNP3NG
| URI | m2://inv/7YXJKNP3NG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salem number#JOWG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tesseractic honeycomb 7YXQYZMFDM
| URI | m2://inv/7YXQYZMFDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tesseractic honeycomb, Tesseractic honeycomb (definition). Also Wikidata Q7705664
History
- 2026-11-02: add by m2/dev
7YXRN6J605 7YXRN6J605
| URI | m2://inv/7YXRN6J605 |
|---|---|
| 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.09140#H6RO (statement). In 9934P5E5AM/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
Hugo Duminil-Copin 7YXRPWAS27
| URI | m2://inv/7YXRPWAS27 |
|---|---|
| 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#2U28, Hugo Duminil-Copin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IYU4, Hugo Duminil-Copin (topic)
History
- 2026-11-02: add by m2/dev
Kengo Hirachi 7YXT657J62
| URI | m2://inv/7YXT657J62 |
|---|---|
| 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#R31I, Kengo Hirachi (topic)
History
- 2026-11-02: add by m2/dev
Equivalent potential temperature 7YXY2QQREX
| URI | m2://inv/7YXY2QQREX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalent potential temperature, Equivalent potential temperature (definition). Also Wikidata Q3055058
History
- 2026-11-02: add by m2/dev
GNU Octave 7YYAWVGX6F
| URI | m2://inv/7YYAWVGX6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#K6BT, GNU Octave (definition)
History
- 2026-11-02: add by m2/dev
7YYM3TFD5E 7YYM3TFD5E
| URI | m2://inv/7YYM3TFD5E |
|---|---|
| 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 2208.14274#HPC0 (statement). In 2FKE7JPQ76/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
linearity of the integral 7YYQTHX1V7
| URI | m2://inv/7YYQTHX1V7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.2.2/linearity-of-the-integral, linearity of the integral (concept). In E59CDZA4DP, index, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
7YYT0K9RTB 7YYT0K9RTB
| URI | m2://inv/7YYT0K9RTB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#9OKZ (definition). In G97FA99ZEF/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
7YZ27BAV19 7YZ27BAV19
| URI | m2://inv/7YZ27BAV19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02289#7SCA (statement). In 67BZ87CQ74/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Bochner 7YZ6A46522
| URI | m2://inv/7YZ6A46522 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34474#IKB4, Bochner (statement). In R8417G6ABM/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Definition 7YZBCHK0T5
| URI | m2://inv/7YZBCHK0T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Underactuation#L8I5, Definition (definition)
History
- 2026-11-02: add by m2/dev
7YZG47KMT6 7YZG47KMT6
| URI | m2://inv/7YZG47KMT6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06461#IBS7 (definition). In QXY3W2JV2N/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Projective cone 7YZPYEBDJC
| URI | m2://inv/7YZPYEBDJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective cone, Projective cone (definition). Also Wikidata Q7249463
History
- 2026-11-02: add by m2/dev
7YZQDPQ13R 7YZQDPQ13R
| URI | m2://inv/7YZQDPQ13R |
|---|---|
| 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.21866#BJ2S (statement). In Q3NMYW8ANH/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Sum-of-squares (SOS) polynomial 7YZX9ZJBDX
| URI | m2://inv/7YZX9ZJBDX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17604#OJBV, Sum-of-squares (SOS) polynomial (definition). In CZNRSB168G/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
7YZXKKA3RP 7YZXKKA3RP
| URI | m2://inv/7YZXKKA3RP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.14912#X7YD (statement). In A87BVH5DCM/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5