Inventory rows 8P
The cards of the rows of the inventory whose ids start with 8P. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
The expectile risk measure 8P090NG5FR
| URI | m2://inv/8P090NG5FR |
|---|---|
| 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.11917#3TFD, The expectile risk measure (definition). In 7BB6PY94G9/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
8P09EWF6FQ 8P09EWF6FQ
| URI | m2://inv/8P09EWF6FQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#S4IK (statement). In NQFYT2M6YZ/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Angle function 8P0BWS70EK
| URI | m2://inv/8P0BWS70EK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#5LJJ, Angle function (definition). In 65TJENWK7X/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.10
8P0H1F1SGW 8P0H1F1SGW
| URI | m2://inv/8P0H1F1SGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#definition-6 (definition). In RZP28ERRZV, definition, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
8P0HEX36F6 8P0HEX36F6
| URI | m2://inv/8P0HEX36F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15444#6NI6 (statement). In M2X9TEYRPC/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
8P0SF06R9D 8P0SF06R9D
| URI | m2://inv/8P0SF06R9D |
|---|---|
| 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#A2OE (statement)
History
- 2026-11-01: add by m2/v0.6.15
cofunction 8P0ZRXW6BR
| URI | m2://inv/8P0ZRXW6BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#3I9V, cofunction (definition)
History
- 2026-11-02: add by m2/dev
Sharp one-dimensional Legendre interpolation 8P108JKBG3
| URI | m2://inv/8P108JKBG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#PDGF, Sharp one-dimensional Legendre interpolation (statement). In 54NQGN1BWM/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
Remark 8P11G210AY
| URI | m2://inv/8P11G210AY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius plane#FZ8F, Remark (unknown)
History
- 2026-11-02: add by m2/dev
8P15S97MVY 8P15S97MVY
| URI | m2://inv/8P15S97MVY |
|---|---|
| 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 2610.06458#R8UO (definition). In 4X93XG8NMD/e1, definition 5.6
History
- 2026-10-29: add by m2/v0.4.10
8P1G7SMDN0 8P1G7SMDN0
| URI | m2://inv/8P1G7SMDN0 |
|---|---|
| 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 2508.19709#H44M (statement). In 57PQWSSZMY/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
8P1N0XN8GJ 8P1N0XN8GJ
| URI | m2://inv/8P1N0XN8GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#XV3U (statement). In BDN507RN7J/e1, proposition 4.7.2
History
- 2026-10-30: add by m2/v0.4.12
Super-Poulet number 8P1VHKF4PR
| URI | m2://inv/8P1VHKF4PR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1779061, Super-Poulet number (unknown). Also MathWorld Super-PouletNumber
History
- 2026-10-26: add by m2/dev
8P244Y46D4 8P244Y46D4
| URI | m2://inv/8P244Y46D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#45NC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dudley, Richard M. 8P2B3THQFK
| URI | m2://inv/8P2B3THQFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PKC9, Dudley, Richard M. (topic)
History
- 2026-11-02: add by m2/dev
Example of an interpretation 8P2HAVMMR8
| URI | m2://inv/8P2HAVMMR8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#example-8, Example of an interpretation (example). In RZP28ERRZV, example, section 90.3
History
- 2026-11-01: add by m2/v0.6.13
8P37RN274M 8P37RN274M
| URI | m2://inv/8P37RN274M |
|---|---|
| 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 2609.27301#LUXW (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
BKM algorithm 8P3JPTJCSQ
| URI | m2://inv/8P3JPTJCSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BKM algorithm, BKM algorithm (definition). Also Wikidata Q556818
History
- 2026-11-02: add by m2/dev
8P3KXB4EMW 8P3KXB4EMW
| URI | m2://inv/8P3KXB4EMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#T26A (statement). In CB68ATPEV9/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Louise Hay 8P3M254NPD
| URI | m2://inv/8P3M254NPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louise Hay (mathematician), Louise Hay (topic). Also Wikidata Q3263754
History
- 2026-11-02: add by m2/dev
8P3MWJDMVG 8P3MWJDMVG
| URI | m2://inv/8P3MWJDMVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#G8KO (statement). In PGV1116XX4/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 8P3T1SV4PQ
| URI | m2://inv/8P3T1SV4PQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winner's curse#IU3S, Examples (example)
History
- 2026-11-02: add by m2/dev
circumference 8P3XWTRCXC
| URI | m2://inv/8P3XWTRCXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#WUYM, circumference (definition)
History
- 2026-11-02: add by m2/dev
8P3ZPDM4FG 8P3ZPDM4FG
| URI | m2://inv/8P3ZPDM4FG |
|---|---|
| Kind | definition |
| 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#5BNF (definition). In CY1FE8W1ZW/e1, definition 0.111
History
- 2026-10-27: add by m2/v0.4.0
Theorem 8P43HTF745
| URI | m2://inv/8P43HTF745 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set function#QE5J, Theorem (statement)
History
- 2026-11-02: add by m2/dev
8P4F0TQRQK 8P4F0TQRQK
| URI | m2://inv/8P4F0TQRQK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#86AG (example). In 9ZD87293QS/e1, example 3.20
History
- 2026-10-27: add by m2/v0.4.0
Examples 8P4NGEF6QV
| URI | m2://inv/8P4NGEF6QV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistency criterion#EKS8, Examples (example)
History
- 2026-11-02: add by m2/dev
Leray spectral sequence 8P4NTGZYZW
| URI | m2://inv/8P4NTGZYZW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Leray spectral sequence 8BMQ90EJPR |
Mentions
- wikidata: Wikidata Q6528749, Leray spectral sequence (concept). Also nLab Leray spectral sequence
- wikipedia: Wikipedia Leray spectral sequence, Leray spectral sequence (definition). Also Wikidata Q6528749
History
- 2026-10-26: add by m2/dev
Symmetries 8P4R6V6B1T
| URI | m2://inv/8P4R6V6B1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl tensor#ZQDB, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
8P4T9VQ2GS 8P4T9VQ2GS
| URI | m2://inv/8P4T9VQ2GS |
|---|---|
| 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 1805.04646#PXGU (definition). In WDDY7P9T66/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
8P4ZC4KX67 8P4ZC4KX67
| URI | m2://inv/8P4ZC4KX67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#XLEE (statement). In XEQD21EBTT/e1, lemma 8.7
History
- 2026-10-28: add by m2/v0.4.2
Special cases 8P522JHQY1
| URI | m2://inv/8P522JHQY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux's formula#J3PK, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Size theory 8P53SKBZFM
| URI | m2://inv/8P53SKBZFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Size theory, Size theory (definition). Also Wikidata Q7533433
History
- 2026-11-02: add by m2/dev
8P542M1APV 8P542M1APV
| URI | m2://inv/8P542M1APV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 2609.25289#MO2N (statement)
History
- 2026-11-01: add by m2/v0.6.15
Derek W. Moore 8P56CD6YD1
| URI | m2://inv/8P56CD6YD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derek W. Moore, Derek W. Moore (topic). Also Wikidata Q1559691
History
- 2026-11-02: add by m2/dev
8P570AVKYR 8P570AVKYR
| URI | m2://inv/8P570AVKYR |
|---|---|
| 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.21645#2F9G (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definitions 8P5AV07W6S
| URI | m2://inv/8P5AV07W6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excellent ring#HQHG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Law of tangents 8P5F4ZR1PV
| URI | m2://inv/8P5F4ZR1PV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry#38JB, Law of tangents (statement)
History
- 2026-11-02: add by m2/dev
Algorithmic problems on convex sets 8P5K7KTHMD
| URI | m2://inv/8P5K7KTHMD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic problems on convex sets, Algorithmic problems on convex sets (problem). Also Wikidata Q124505712
History
- 2026-11-02: add by m2/dev
Definition 8P5KDS5MWK
| URI | m2://inv/8P5KDS5MWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subfunctor#ZGG7, Definition (definition)
History
- 2026-11-02: add by m2/dev
unit 8P5QQDZK6Z
| URI | m2://inv/8P5QQDZK6Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/D/unit, unit (concept). In VNMV985MXX, index, section D
History
- 2026-11-01: add by m2/v0.6.13
Ladyzhenskaya's inequality 8P64RTDJCV
| URI | m2://inv/8P64RTDJCV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#T4M1, Ladyzhenskaya's inequality (statement)
History
- 2026-11-02: add by m2/dev
sieve 8P6FWWMSZ9
| URI | m2://inv/8P6FWWMSZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#6C7J, sieve (definition)
History
- 2026-11-02: add by m2/dev
8P71YT3T0M 8P71YT3T0M
| URI | m2://inv/8P71YT3T0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#D186 (statement). In SFQBJBTW8K/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.3.5
8P795MEY6Z 8P795MEY6Z
| URI | m2://inv/8P795MEY6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09482#WP4C (statement). In VYMEQQVMBD/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Examples 8P7BADR58T
| URI | m2://inv/8P7BADR58T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison sort#262U, Examples (example)
History
- 2026-11-02: add by m2/dev
8P7D24JSNE 8P7D24JSNE
| URI | m2://inv/8P7D24JSNE |
|---|---|
| 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.01071#JKWR (statement). In X1YF62ZFB6/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Cauchy's integral formula 8P7D5Y62ED
| URI | m2://inv/8P7D5Y62ED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cauchy's integral formula 0DG10TVYPN |
Mentions
- wikidata: Wikidata Q913764, Cauchy's integral formula (statement). Also EoM Cauchy_integral, MathWorld CauchyIntegralFormula, nLab Cauchy's integral formula, ProofWiki Cauchy's_Integral_Formula
- wikipedia: Wikipedia Cauchy's integral formula, Cauchy's integral formula (statement). Also Wikidata Q913764
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8P7V4JRKHG 8P7V4JRKHG
| URI | m2://inv/8P7V4JRKHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#SCSQ (statement). In PREJREM4BB/e1, corollary 4.15
History
- 2026-10-28: add by m2/v0.4.2
Theorem 8P7WRX8FE7
| URI | m2://inv/8P7WRX8FE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic samples#N8AU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
n-equivalent 8P851V2CFT
| URI | m2://inv/8P851V2CFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#HMJJ, n-equivalent (definition)
History
- 2026-11-02: add by m2/dev
8P8822ZTBD 8P8822ZTBD
| URI | m2://inv/8P8822ZTBD |
|---|---|
| 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.12908#Z5PN (statement). In TNC658NVMQ/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
All-pairs shortest path problem 8P8EZ6CHZF
| URI | m2://inv/8P8EZ6CHZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest path problem#45S8, All-pairs shortest path problem (unknown)
History
- 2026-11-02: add by m2/dev
8P8HPXKZ33 8P8HPXKZ33
| URI | m2://inv/8P8HPXKZ33 |
|---|---|
| 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.19452#O7DR (statement). In 3GF75S0XJ0/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
The Review of Economics and Statistics 8P8SE55XRR
| URI | m2://inv/8P8SE55XRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Review of Economics and Statistics, The Review of Economics and Statistics (definition). Also Wikidata Q1107852
History
- 2026-11-02: add by m2/dev
8P8VPJ6VNY 8P8VPJ6VNY
| URI | m2://inv/8P8VPJ6VNY |
|---|---|
| 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.36186#QBUM (statement). In 30PQN6JP7W/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
Reverse triangle inequality 8P8YZHZWMR
| URI | m2://inv/8P8YZHZWMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle inequality#I0QU, Reverse triangle inequality (statement)
History
- 2026-11-02: add by m2/dev
8P8ZC8ECH0 8P8ZC8ECH0
| URI | m2://inv/8P8ZC8ECH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#PZFI (statement). In CC6S1HVK0T/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
8P91VF0RM0 8P91VF0RM0
| URI | m2://inv/8P91VF0RM0 |
|---|---|
| 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.40207#6OJC (statement). In JXTG8KP95P/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
Drinker paradox 8P9B0MS6YK
| URI | m2://inv/8P9B0MS6YK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drinker paradox, Drinker paradox (statement). Also Wikidata Q5307716
History
- 2026-11-02: add by m2/dev
Bargmann-Fock Space 8P9CZ0PVVY
| URI | m2://inv/8P9CZ0PVVY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#Z6LM, Bargmann-Fock Space (definition). In 1NY2SA03XF/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Algorithms 8P9FHAKK4A
| URI | m2://inv/8P9FHAKK4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squaregraph#ED9R, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Dean G. Hoffman 8P9FTVRXD1
| URI | m2://inv/8P9FTVRXD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dean G. Hoffman, Dean G. Hoffman (topic). Also Wikidata Q135437515
History
- 2026-11-02: add by m2/dev
Stochastic Processes and their Applications 8P9G1T9NCX
| URI | m2://inv/8P9G1T9NCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#1PZZ, Stochastic Processes and their Applications (definition)
- wikipedia: Wikipedia List of statistics journals#9PHS, Stochastic Processes and their Applications (definition)
History
- 2026-11-02: add by m2/dev
8P9HHX11ZN 8P9HHX11ZN
| URI | m2://inv/8P9HHX11ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#D4S4 (statement). In N8TDKGGC7S/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Examples 8P9NP1H1AD
| URI | m2://inv/8P9NP1H1AD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonsense#3PJ8, Examples (example)
History
- 2026-11-02: add by m2/dev
Pidduck polynomial 8P9P2K5Y1H
| URI | m2://inv/8P9P2K5Y1H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7191280, Pidduck polynomial (unknown). Also MathWorld PidduckPolynomial
History
- 2026-10-26: add by m2/dev
Onofrio Puglisi 8PA0M4B1HZ
| URI | m2://inv/8PA0M4B1HZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Onofrio Puglisi, Onofrio Puglisi (topic). Also Wikidata Q21208961
History
- 2026-11-02: add by m2/dev
Sárközy, András 8PA6J0GTKS
| URI | m2://inv/8PA6J0GTKS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#09EP, Sárközy, András (topic)
History
- 2026-11-02: add by m2/dev
Physical system 8PA7PHAC6N
| URI | m2://inv/8PA7PHAC6N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#5PGZ, Physical system (unknown)
History
- 2026-11-02: add by m2/dev
Demihypercube 8PAA3G6M6T
| URI | m2://inv/8PAA3G6M6T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demihypercube, Demihypercube (object). Also Wikidata Q5255350
History
- 2026-11-02: add by m2/dev
8PAB86T7WG 8PAB86T7WG
| URI | m2://inv/8PAB86T7WG |
|---|---|
| Kind | definition |
| 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.29022#BXL9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
The two hard instances differ only near \(v\ 8PAJP9QHQF
| URI | m2://inv/8PAJP9QHQF |
|---|---|
| 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.12456#RT1B, The two hard instances differ only near \(v\ (statement). In 5XPM4E03W6/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Sequential dynamical system 8PAMQ86K1T
| URI | m2://inv/8PAMQ86K1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#191M, Sequential dynamical system (definition)
History
- 2026-11-02: add by m2/dev
8PARC3ME8C 8PARC3ME8C
| URI | m2://inv/8PARC3ME8C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#HQEE (definition). In A1GWWGRXPA/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.4.2
Theorem 8PB0TZTKNX
| URI | m2://inv/8PB0TZTKNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Moivre–Laplace theorem#TASV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Albert Schwarz 8PB3APC8Q8
| URI | m2://inv/8PB3APC8Q8 |
|---|---|
| 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#Q0ST, Albert Schwarz (topic)
History
- 2026-11-02: add by m2/dev
8PB3HJPGEK 8PB3HJPGEK
| URI | m2://inv/8PB3HJPGEK |
|---|---|
| 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.21994#4JC7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
8PB9Y720CV 8PB9Y720CV
| URI | m2://inv/8PB9Y720CV |
|---|---|
| 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.22040#H3D1 (statement). In 2QP93JHYNB/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
Field theory 8PBKAT8J4S
| URI | m2://inv/8PBKAT8J4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#OLB9, Field theory (definition)
History
- 2026-11-02: add by m2/dev
Greatest element and least element 8PBMB3RTGB
| URI | m2://inv/8PBMB3RTGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greatest element and least element, Greatest element and least element (definition). Also Wikidata Q1196892
History
- 2026-11-02: add by m2/dev
Directional and distributional inverses 8PBRFRA0JX
| URI | m2://inv/8PBRFRA0JX |
|---|---|
| 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#VQ74, Directional and distributional inverses (statement). In 9YAE8FNQST/e1, lemma 31.2
History
- 2026-10-30: add by m2/v0.4.12
Topological space 8PC32CJRAY
| URI | m2://inv/8PC32CJRAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#39PW, Topological space (definition)
History
- 2026-11-02: add by m2/dev
8PC8S94NRG 8PC8S94NRG
| URI | m2://inv/8PC8S94NRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#YIUQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
8PC9FTM1NC 8PC9FTM1NC
| URI | m2://inv/8PC9FTM1NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#FZ6M (statement). In MQPBZX4DR6/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Examples 8PCAPACP4B
| URI | m2://inv/8PCAPACP4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tempered representation#R5I4, Examples (example)
History
- 2026-11-02: add by m2/dev
8PCBX4GAZE 8PCBX4GAZE
| URI | m2://inv/8PCBX4GAZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#IXFM (statement). In FDYZFDHZH9/e1, lemma 4.9
History
- 2026-10-31: add by m2/v0.5.6
8PCDXTN0ZP 8PCDXTN0ZP
| URI | m2://inv/8PCDXTN0ZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:qinv-notprop (statement). In N54F33XE07, thm, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Primitive slope multiset 8PCX9WYNKY
| URI | m2://inv/8PCX9WYNKY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#0YCN, Primitive slope multiset (definition). In 8BNPFYQDQX/e1, definition 2.18
History
- 2026-10-29: add by m2/v0.4.10
Hung Cheng 8PD0JKWWTY
| URI | m2://inv/8PD0JKWWTY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hung Cheng, Hung Cheng (topic). Also Wikidata Q5942530
History
- 2026-11-02: add by m2/dev
Neeraj Kayal 8PD7SK42YC
| URI | m2://inv/8PD7SK42YC |
|---|---|
| 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#TQFH, Neeraj Kayal (unknown)
History
- 2026-11-02: add by m2/dev
8PD7WTD5QR 8PD7WTD5QR
| URI | m2://inv/8PD7WTD5QR |
|---|---|
| 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.19326#1ZDD (statement). In YFWDHG947Q/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.2
half-plane 8PDAP665BW
| URI | m2://inv/8PDAP665BW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37025, half-plane (unknown). Also EoM Half-plane, MathWorld Half-Plane
History
- 2026-10-26: add by m2/dev
Victor Buchstaber 8PDNS4SVRN
| URI | m2://inv/8PDNS4SVRN |
|---|---|
| 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#6EQB, Victor Buchstaber (unknown)
History
- 2026-11-02: add by m2/dev
9-j symbol 8PDR10Y83V
| URI | m2://inv/8PDR10Y83V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q878723, 9-j symbol (concept). Also MathWorld Wigner9j-Symbol
History
- 2026-10-26: add by m2/dev
Andrea Fraser 8PDR2EN4TJ
| URI | m2://inv/8PDR2EN4TJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#TL8N, Andrea Fraser (unknown)
History
- 2026-11-02: add by m2/dev
8PE42YQMDV 8PE42YQMDV
| URI | m2://inv/8PE42YQMDV |
|---|---|
| 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 2405.05684#YFFR (statement). In 1PR73ECTZB/e1, proposition 20
History
- 2026-10-27: add by m2/v0.3.5
8PE851257M 8PE851257M
| URI | m2://inv/8PE851257M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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 2401.13523#6CBG (example). In DDA62XQTWW/e1, example 4.8
History
- 2026-10-27: add by m2/v0.3.5
8PEBPD190E 8PEBPD190E
| URI | m2://inv/8PEBPD190E |
|---|---|
| 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.15770#7H0R (statement). In DXFR0BNE47/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
8PEK330GZK 8PEK330GZK
| URI | m2://inv/8PEK330GZK |
|---|---|
| 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.40260#E9NJ (statement). In 524FZAC6NB/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Binomial theorem 8PENBQ64WK
| URI | m2://inv/8PENBQ64WK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#NGCK, Binomial theorem (statement)
- wikipedia: Wikipedia List of factorial and binomial topics#Q7P8, Binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
8PENQER03N 8PENQER03N
| URI | m2://inv/8PENQER03N |
|---|---|
| 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 math/9602216#2HFQ (statement). In SD43497T8C/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
8PEQV3E60B 8PEQV3E60B
| URI | m2://inv/8PEQV3E60B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#X71L (statement). In 113VZ5XX7J/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
More complicated formulas 8PER9X9GWW
| URI | m2://inv/8PER9X9GWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apéry's constant#JNVK, More complicated formulas (statement)
History
- 2026-11-02: add by m2/dev
Heegner number 8PEYYMZV5B
| URI | m2://inv/8PEYYMZV5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1322644, Heegner number (unknown). Also MathWorld HeegnerNumber, OEIS A003173
- wikipedia: Wikipedia Heegner number, Heegner number (definition). Also Wikidata Q1322644
History
- 2026-10-26: add by m2/dev
8PF4WRT87W 8PF4WRT87W
| URI | m2://inv/8PF4WRT87W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08145#B4MW (statement). In N0QVPPFFC3/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
8PF5CX0W4Y 8PF5CX0W4Y
| URI | m2://inv/8PF5CX0W4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37778#FC2W (statement). In V399QB419P/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
8PF82PWPRT 8PF82PWPRT
| URI | m2://inv/8PF82PWPRT |
|---|---|
| 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 2311.16795#SH4U (definition). In P6AM09F3S8/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.6
Jacobi group 8PFFZDMWB6
| URI | m2://inv/8PFFZDMWB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi group, Jacobi group (definition). Also Wikidata Q6119640
History
- 2026-11-02: add by m2/dev
ANDVT 8PFJDEZKJB
| URI | m2://inv/8PFJDEZKJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ANDVT, ANDVT (definition). Also Wikidata Q4652949
History
- 2026-11-02: add by m2/dev
cofinal 8PFNWN6W73
| URI | m2://inv/8PFNWN6W73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2KY1, cofinal (definition)
History
- 2026-11-02: add by m2/dev
Arthur Burks 8PFZNKGGK7
| URI | m2://inv/8PFZNKGGK7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Burks, Arthur Burks (topic). Also Wikidata Q711833
History
- 2026-11-02: add by m2/dev
8PG422N6AA 8PG422N6AA
| URI | m2://inv/8PG422N6AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#ZB24 (statement). In G1RP4JY5PE/e1, theorem 2.5.2
History
- 2026-10-31: add by m2/v0.5.6
Half Dome 8PG42GA77R
| URI | m2://inv/8PG42GA77R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XOPB, Half Dome (unknown)
History
- 2026-11-02: add by m2/dev
8PG8NK6RK8 8PG8NK6RK8
| URI | m2://inv/8PG8NK6RK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:ordunion (statement). In N54F33XE07, lem, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Engel 8PG99KJQ0F
| URI | m2://inv/8PG99KJQ0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#K4TB, Engel (topic)
History
- 2026-11-02: add by m2/dev
8PG9XWY6JH 8PG9XWY6JH
| URI | m2://inv/8PG9XWY6JH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#8WIS (statement). In MQPBZX4DR6/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Weak dual EVI solutions and EVI flows 8PGC58BYG6
| URI | m2://inv/8PGC58BYG6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#ZLK5, Weak dual EVI solutions and EVI flows (definition)
History
- 2026-11-02: add by m2/v0.6.18
8PGJ86EWV2 8PGJ86EWV2
| URI | m2://inv/8PGJ86EWV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#9XK1 (statement). In E7BPGPP9Z5/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
8PGJVMKK6P 8PGJVMKK6P
| URI | m2://inv/8PGJVMKK6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#YT84 (statement). In WK2YHYEDZ9/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
8PGV8755S5 8PGV8755S5
| URI | m2://inv/8PGV8755S5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#JSJJ (definition). In PD5PJ0EYG6/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Catalan number 8PGZ64R8KA
| URI | m2://inv/8PGZ64R8KA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#W821, Catalan number (object)
History
- 2026-11-02: add by m2/dev
Uniformizable space 8PH1M9Y1QQ
| URI | m2://inv/8PH1M9Y1QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformizable space, Uniformizable space (definition). Also Wikidata Q7885139
History
- 2026-11-02: add by m2/dev
H. V. Koch 8PH4F31Z49
| URI | m2://inv/8PH4F31Z49 |
|---|---|
| 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#JPCW, H. V. Koch (topic)
History
- 2026-11-02: add by m2/dev
8PH8FZVFYF 8PH8FZVFYF
| URI | m2://inv/8PH8FZVFYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 0906.2853#AVO2 (statement). In 32ZZ1DETCX/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
iron-57 8PH8KY0V71
| URI | m2://inv/8PH8KY0V71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14744877, iron-57 (definition). Also ProofWiki Definition:Iron/57
History
- 2026-10-26: add by m2/dev
Marked metric graph 8PHA13K64K
| URI | m2://inv/8PHA13K64K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer space (mathematics)#ZKXW, Marked metric graph (unknown)
History
- 2026-11-02: add by m2/dev
Second Splitting Lemma 8PHBZT30VP
| URI | m2://inv/8PHBZT30VP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#TCTU, Second Splitting Lemma (statement). In V97F4YZ8B0/e1, lemma 7.7
History
- 2026-10-28: add by m2/v0.4.2
Veniamin Kagan 8PHEMPHQ64
| URI | m2://inv/8PHEMPHQ64 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#0M4F, Veniamin Kagan (topic)
History
- 2026-11-02: add by m2/dev
8PHJP1DFZF 8PHJP1DFZF
| URI | m2://inv/8PHJP1DFZF |
|---|---|
| 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.31458#HJ8N (statement). In SNWC76WKWT/e1, lemma G.2
History
- 2026-10-31: add by m2/v0.5.6
8PHN6FW7EB 8PHN6FW7EB
| URI | m2://inv/8PHN6FW7EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.14762#8I3S (statement). In ZC1B70NT4D/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
8PHPBXT6KC 8PHPBXT6KC
| URI | m2://inv/8PHPBXT6KC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#TQAQ (statement). In N37WKFTR7Q/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Spectral facts 8PHT9WN46M
| URI | m2://inv/8PHT9WN46M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#82ST, Spectral facts (statement). In 6HMZ36ZBXA/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.4.2
8PHZXJJAC4 8PHZXJJAC4
| URI | m2://inv/8PHZXJJAC4 |
|---|---|
| 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.33932#HWK9 (statement). In YPVF3ET43M/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Properties 8PJAPPM8HM
| URI | m2://inv/8PJAPPM8HM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin class#MZME, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dichromatic polynomial 8PJF0DRNFN
| URI | m2://inv/8PJF0DRNFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte polynomial#VYJS, Dichromatic polynomial (unknown)
History
- 2026-11-02: add by m2/dev
Decision boundary 8PJF5A0MKQ
| URI | m2://inv/8PJF5A0MKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1LFW, Decision boundary (definition)
History
- 2026-11-02: add by m2/dev
Birnbaum–Orlicz space 8PJMXHERRG
| URI | m2://inv/8PJMXHERRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#HN08, Birnbaum–Orlicz space (definition)
History
- 2026-11-02: add by m2/dev
8PK0Z3CS4R 8PK0Z3CS4R
| URI | m2://inv/8PK0Z3CS4R |
|---|---|
| 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.17677#3KQ5 (statement). In 5E9G06XJKC/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
inferentialism 8PK2NDHYEW
| URI | m2://inv/8PK2NDHYEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VI4N, inferentialism (definition)
History
- 2026-11-02: add by m2/dev
transitive closure 8PK34NEFJ3
| URI | m2://inv/8PK34NEFJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZNFI, transitive closure (definition)
History
- 2026-11-02: add by m2/dev
Special cases 8PK4C67GBX
| URI | m2://inv/8PK4C67GBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectilinear polygon#8IWY, Special cases (statement)
History
- 2026-11-02: add by m2/dev
8PK4W9W9DH 8PK4W9W9DH
| URI | m2://inv/8PK4W9W9DH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#4AD5 (statement). In FYM5XFD9RR/e1, lemma 2.17
History
- 2026-10-30: add by m2/v0.4.12
Definition 8PKCXPG8TR
| URI | m2://inv/8PKCXPG8TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener's lemma#TEVC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Viatcheslav M. Kharlamov 8PKDM3EPAM
| URI | m2://inv/8PKDM3EPAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viatcheslav M. Kharlamov, Viatcheslav M. Kharlamov (topic). Also Wikidata Q15433102
History
- 2026-11-02: add by m2/dev
8PKF50AH85 8PKF50AH85
| URI | m2://inv/8PKF50AH85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#UCTV (statement). In 6M96RM3T7N/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
8PKFY3KA91 8PKFY3KA91
| URI | m2://inv/8PKFY3KA91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#FVBX (statement). In 13H5BTAXHF/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
8PKWYKQ8WQ 8PKWYKQ8WQ
| URI | m2://inv/8PKWYKQ8WQ |
|---|---|
| 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.12014#33KW (statement). In DR7BK4CQ0V/e1, theorem 5.19
History
- 2026-10-28: add by m2/v0.4.3
Theorem 8PKXQ1HGS0
| URI | m2://inv/8PKXQ1HGS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slepian–Wolf coding#83YU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Chain rule for maximal weak subslope 8PKYA4E4T8
| URI | m2://inv/8PKYA4E4T8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#F516, Chain rule for maximal weak subslope (statement). In KM3Q791JY0/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.4.2
Stochastic kernel estimation 8PM7TB774D
| URI | m2://inv/8PM7TB774D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2C5G, Stochastic kernel estimation (definition)
History
- 2026-11-02: add by m2/dev
Identity 8PMBZ1FPTX
| URI | m2://inv/8PMBZ1FPTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equals sign#30OS, Identity (statement)
History
- 2026-11-02: add by m2/dev
8PMFCA79CH 8PMFCA79CH
| URI | m2://inv/8PMFCA79CH |
|---|---|
| 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.19283#DUMS (statement). In 28BAGZRCKG/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
Frenkel's inequality for $A_1^{++}$ 8PMX36CW68
| URI | m2://inv/8PMX36CW68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#J3UZ, Frenkel's inequality for $A_1^{++}$ (statement). In GHT5WXFA4E/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Nygaard modification 8PMY6MVZD3
| URI | m2://inv/8PMY6MVZD3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#VIC2, Nygaard modification (definition). In S26QVW5613/e1, definition 0.0.5
History
- 2026-10-30: add by m2/v0.4.12
Swiss Mathematical Society 8PN4GMFCDJ
| URI | m2://inv/8PN4GMFCDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#FUF7, Swiss Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
8PN8QW02QB 8PN8QW02QB
| URI | m2://inv/8PN8QW02QB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.14699#Q6CB (statement). In ES1CVGG59Y/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Clipper chip 8PNDRJ8550
| URI | m2://inv/8PNDRJ8550 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clipper chip, Clipper chip (definition). Also Wikidata Q663839
History
- 2026-11-02: add by m2/dev
Ulrich Kohlenbach 8PNTE63E8F
| URI | m2://inv/8PNTE63E8F |
|---|---|
| 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#HLMZ, Ulrich Kohlenbach (topic)
History
- 2026-11-02: add by m2/dev
8PP0R559WB 8PP0R559WB
| URI | m2://inv/8PP0R559WB |
|---|---|
| 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.36877#F741 (statement). In FYS6VV5M99/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
8PPF15Y6S1 8PPF15Y6S1
| URI | m2://inv/8PPF15Y6S1 |
|---|---|
| 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.30315#QJ3N (statement). In FXTCVHYW5S/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Pasch's theorem 8PPTPMWNG3
| URI | m2://inv/8PPTPMWNG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasch's theorem#VPO9, Pasch's theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 8PQ6PX9YQW
| URI | m2://inv/8PQ6PX9YQW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral curve#PFN2, Examples (example)
History
- 2026-11-02: add by m2/dev
PCT's leading projector infidelity coefficient 8PQCY3HJ8T
| URI | m2://inv/8PQCY3HJ8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35986#AXT2, PCT's leading projector infidelity coefficient (statement). In PBX6AMPVT2/e1, proposition D.3
History
- 2026-10-30: add by m2/v0.4.12
Dini continuity 8PQD43DPMT
| URI | m2://inv/8PQD43DPMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini continuity, Dini continuity (definition). Also Wikidata Q5278323
History
- 2026-11-02: add by m2/dev
Properties 8PQJRHCNSQ
| URI | m2://inv/8PQJRHCNSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant estimator#NN7D, Properties (statement)
History
- 2026-11-02: add by m2/dev
PL 8PQP0RQQ0Q
| URI | m2://inv/8PQP0RQQ0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#GU2B, PL (definition)
History
- 2026-11-02: add by m2/dev
Examples 8PQQYSYMVP
| URI | m2://inv/8PQQYSYMVP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear separability#Y2NW, Examples (example)
History
- 2026-11-02: add by m2/dev
fibrant replacement 8PQRD1ZRNP
| URI | m2://inv/8PQRD1ZRNP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/fibrant-replacement, fibrant replacement (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
8PQRMRKEV6 8PQRMRKEV6
| URI | m2://inv/8PQRMRKEV6 |
|---|---|
| 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.17677#JAXR (statement). In 5E9G06XJKC/e1, lemma D.18
History
- 2026-10-28: add by m2/v0.4.2
8PQSYR01NH 8PQSYR01NH
| URI | m2://inv/8PQSYR01NH |
|---|---|
| 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 2111.09700#NEAM (statement). In XCSQ27P0XW/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Matt Robshaw 8PQTS234M9
| URI | m2://inv/8PQTS234M9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matt Robshaw, Matt Robshaw (topic). Also Wikidata Q6789256
History
- 2026-11-02: add by m2/dev
Definition 8PQXK9BMHH
| URI | m2://inv/8PQXK9BMHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign function#DT4C, Definition (definition)
History
- 2026-11-02: add by m2/dev
8PR6Q0KA8K 8PR6Q0KA8K
| URI | m2://inv/8PR6Q0KA8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23685#BUMQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Short-time estimates 8PRFG6T34K
| URI | m2://inv/8PRFG6T34K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#Y2IK, Short-time estimates (statement). In V42PPD7SWH/e1, theorem 9.1
History
- 2026-10-31: add by m2/v0.5.6
Hampel test 8PS2172848
| URI | m2://inv/8PS2172848 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hampel test, Hampel test (definition). Also Wikidata Q127604546
History
- 2026-11-02: add by m2/dev
Second fundamental form 8PS4X34HEG
| URI | m2://inv/8PS4X34HEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#27F3, Second fundamental form (definition)
- wikipedia: Wikipedia List of differential geometry topics#WC9K, Second fundamental form (definition)
History
- 2026-11-02: add by m2/dev
8PS8B967EH 8PS8B967EH
| URI | m2://inv/8PS8B967EH |
|---|---|
| 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 1009.2043#SUPC (statement). In 7DCNHRBK5A/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
8PSCN82HKC 8PSCN82HKC
| URI | m2://inv/8PSCN82HKC |
|---|---|
| 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.31327#5SO0 (definition). In F605BQ3AYX/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
8PSEZ2FZQC 8PSEZ2FZQC
| URI | m2://inv/8PSEZ2FZQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#J94O (statement). In 1MPH7GCFJ2/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
Canonical enhancement labels 8PSG1393B7
| URI | m2://inv/8PSG1393B7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#ZZVT, Canonical enhancement labels (definition). In H7DMRWBBJN/e1, definition 8.9
History
- 2026-10-28: add by m2/v0.4.2
8PSJSA2745 8PSJSA2745
| URI | m2://inv/8PSJSA2745 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03730#52IG (statement). In ADEX39KM1T/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Identity 8PT0TCFES5
| URI | m2://inv/8PT0TCFES5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (category theory)#0XPG, Identity (statement)
History
- 2026-11-02: add by m2/dev
Igusa group 8PTA0N6791
| URI | m2://inv/8PTA0N6791 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igusa group, Igusa group (definition). Also Wikidata Q18845097
History
- 2026-11-02: add by m2/dev
8PTFSY8BAP 8PTFSY8BAP
| URI | m2://inv/8PTFSY8BAP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26650#H4RW (definition)
History
- 2026-11-01: add by m2/v0.6.15
8PTJXNYC98 8PTJXNYC98
| URI | m2://inv/8PTJXNYC98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#IUL8 (statement). In CSRZ9CWK69/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.12
8PTK04ZFSD 8PTK04ZFSD
| URI | m2://inv/8PTK04ZFSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#SR1Z (statement). In GWNT8HEZG1/e1, corollary 3.18
History
- 2026-10-27: add by m2/v0.3.6
Examples 8PTKM5Z112
| URI | m2://inv/8PTKM5Z112 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional independence#0ZRS, Examples (example)
History
- 2026-11-02: add by m2/dev
8PTKZ7NDMB 8PTKZ7NDMB
| URI | m2://inv/8PTKZ7NDMB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-4-1.xml#act-1-4-1 (exercise). In 907G4C4EJ1, activity, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
Edward Marczewski 8PTPG9QDDF
| URI | m2://inv/8PTPG9QDDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YLZS, Edward Marczewski (topic)
History
- 2026-11-02: add by m2/dev
\theoremcite{Open Problem 3}{aliprantis1974 8PTSVA53JS
| URI | m2://inv/8PTSVA53JS |
|---|---|
| Kind | problem |
| 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.29498#4XR3, \theoremcite{Open Problem 3}{aliprantis1974 (problem)
History
- 2026-11-01: add by m2/v0.6.15
8PTW983MMC 8PTW983MMC
| URI | m2://inv/8PTW983MMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32058#CLFY (statement). In N0G73NM4WC/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
List of things named after Paul Erdős 8PTWTJV150
| URI | m2://inv/8PTWTJV150 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős, List of things named after Paul Erdős (topic). Also Wikidata Q5816127
History
- 2026-11-02: add by m2/dev
8PTYXD4S3R 8PTYXD4S3R
| URI | m2://inv/8PTYXD4S3R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 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 2502.14306#73Q2 (example). In ZNBQD5WH1M/e1, example 5.3
History
- 2026-10-27: add by m2/v0.3.5
8PTZXGKB9Q 8PTZXGKB9Q
| URI | m2://inv/8PTZXGKB9Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-63 (exercise). In E59CDZA4DP, exercise, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
Hurwitz-type rank bound 8PV0ER34Z6
| URI | m2://inv/8PV0ER34Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#09NQ, Hurwitz-type rank bound (statement). In 77TK7M3B9Y/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Theoretical probability 8PV7Y6JA8T
| URI | m2://inv/8PV7Y6JA8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability#A34T, Theoretical probability (unknown)
History
- 2026-11-02: add by m2/dev
8PVC3NZM8S 8PVC3NZM8S
| URI | m2://inv/8PVC3NZM8S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-45 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
Principle 8PVDSJ6Q9W
| URI | m2://inv/8PVDSJ6Q9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-range multilateration#Q37P, Principle (statement)
History
- 2026-11-02: add by m2/dev
Leibniz Association 8PVEP2W6AK
| URI | m2://inv/8PVEP2W6AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#LF3D, Leibniz Association (unknown)
History
- 2026-11-02: add by m2/dev
8PVNRC8SZ9 8PVNRC8SZ9
| URI | m2://inv/8PVNRC8SZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13142#GMXV (statement). In KYW4YMVQAB/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
8PVTBJWH79 8PVTBJWH79
| URI | m2://inv/8PVTBJWH79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#3HS6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local charge and reciprocal moments 8PVVNF1XDN
| URI | m2://inv/8PVVNF1XDN |
|---|---|
| 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.15202#WIEJ, Local charge and reciprocal moments (statement). In X1FPG0KYBM/e1, lemma K.5
History
- 2026-10-28: add by m2/v0.4.2
8PVX6RQBXD 8PVX6RQBXD
| URI | m2://inv/8PVX6RQBXD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#ex-1 (example). In PKGMM3P5QY, ex, section 51.9
History
- 2026-11-01: add by m2/v0.6.13
Bathtub curve 8PW3SVC6R1
| URI | m2://inv/8PW3SVC6R1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#EF2R, Bathtub curve (unknown)
History
- 2026-11-02: add by m2/dev
8PW6ZDM5D7 8PW6ZDM5D7
| URI | m2://inv/8PW6ZDM5D7 |
|---|---|
| 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 2609.19882#J551 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Riemann--Roch theorem for orbifold curves 8PW7DB13FJ
| URI | m2://inv/8PW7DB13FJ |
|---|---|
| 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 1712.02437#QBQT, Riemann--Roch theorem for orbifold curves (statement). In GZDFK652T9/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Zestienhoven 8PW9J32V57
| URI | m2://inv/8PW9J32V57 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PXRD, Zestienhoven (unknown)
History
- 2026-11-02: add by m2/dev
Enough regularity 8PWWPJ3AET
| URI | m2://inv/8PWWPJ3AET |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11189#U66J, Enough regularity (definition). In Q27FWV48RX/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Examples 8PWY8HGEP6
| URI | m2://inv/8PWY8HGEP6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating series#968X, Examples (example)
History
- 2026-11-02: add by m2/dev
8PX9GT80VM 8PX9GT80VM
| URI | m2://inv/8PX9GT80VM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.10930#DA91 (example). In HX63A1PH1W/e1, example 6.11
History
- 2026-10-28: add by m2/v0.4.3
8PXAE19PYK 8PXAE19PYK
| URI | m2://inv/8PXAE19PYK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#2WX1 (definition). In SQZGKRDVBX/e1, definition 2.8
History
- 2026-10-31: add by m2/v0.5.6
Definition 8PXHNA5SA2
| URI | m2://inv/8PXHNA5SA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski closure axioms#LAQ2, Definition (definition)
History
- 2026-11-02: add by m2/dev
8PXNAHGDV0 8PXNAHGDV0
| URI | m2://inv/8PXNAHGDV0 |
|---|---|
| Kind | definition |
| 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.10095#ERJF (definition). In 2TSKFPTS0T/e1, definition Definition
History
- 2026-10-29: add by m2/v0.4.10
8PXP0WT5N8 8PXP0WT5N8
| URI | m2://inv/8PXP0WT5N8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-2 (proof). In E59CDZA4DP, proof, section 11.1.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem 8PXWDGGQPM
| URI | m2://inv/8PXWDGGQPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel's theorem#W3QW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Nancy Mathiowetz 8PY136GGB9
| URI | m2://inv/8PY136GGB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#LWXN, Nancy Mathiowetz (unknown)
History
- 2026-11-02: add by m2/dev
8PY5FG23RJ 8PY5FG23RJ
| URI | m2://inv/8PY5FG23RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21476#UUUS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dorian M. Goldfeld 8PYEQ2AYM3
| URI | m2://inv/8PYEQ2AYM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RS8Z, Dorian M. Goldfeld (topic)
History
- 2026-11-02: add by m2/dev
Example 8PYHNC28YC
| URI | m2://inv/8PYHNC28YC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener's attack#7EKM, Example (example)
History
- 2026-11-02: add by m2/dev
8PZ1MPKK01 8PZ1MPKK01
| URI | m2://inv/8PZ1MPKK01 |
|---|---|
| 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.12640#I1GX (statement). In QP9FE1D6PG/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
8PZ5NDH2QA 8PZ5NDH2QA
| URI | m2://inv/8PZ5NDH2QA |
|---|---|
| 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.37093#0YQ6 (statement). In GA6QH32CJQ/e1, theorem 24
History
- 2026-10-30: add by m2/v0.4.12
*{Proposition 2.3 8PZA30Z507
| URI | m2://inv/8PZA30Z507 |
|---|---|
| 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#GIU2, *{Proposition 2.3 (statement). In F5XF5VXTXY/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Yoichi Miyaoka 8PZBD371CC
| URI | m2://inv/8PZBD371CC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoichi Miyaoka, Yoichi Miyaoka (topic). Also Wikidata Q8054505
History
- 2026-11-02: add by m2/dev
Joel Lebowitz 8PZGR2RQBT
| URI | m2://inv/8PZGR2RQBT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B5CQ, Joel Lebowitz (unknown)
History
- 2026-11-02: add by m2/dev
Applications 8PZJ7H6KXG
| URI | m2://inv/8PZJ7H6KXG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of BitTorrent clients#V31N, Applications (example)
History
- 2026-11-02: add by m2/dev
CBH formula 8PZN563056
| URI | m2://inv/8PZN563056 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#GRJ9, CBH formula (statement). In 7V3HG30ZGW/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.4.0
8PZP34ZZ7F 8PZP34ZZ7F
| URI | m2://inv/8PZP34ZZ7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#9K6F (statement)
History
- 2026-11-01: add by m2/v0.6.15
8PZPNMA8K3 8PZPNMA8K3
| URI | m2://inv/8PZPNMA8K3 |
|---|---|
| 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.38138#1XRZ (statement). In G97FA99ZEF/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
Separation theorem II 8PZTGH3Q1G
| URI | m2://inv/8PZTGH3Q1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane separation theorem#F4K7, Separation theorem II (statement)
History
- 2026-11-02: add by m2/dev
8PZZ4ZPP3C 8PZZ4ZPP3C
| URI | m2://inv/8PZZ4ZPP3C |
|---|---|
| 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 2605.30285#IEL5 (statement). In YMY0NNSM27/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.6
8PZZS0Q74B 8PZZS0Q74B
| URI | m2://inv/8PZZS0Q74B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-21 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13