Inventory rows 48
The cards of the rows of the inventory whose ids start with 48. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Dirichlet's principle 4806V7B5KA
| URI | m2://inv/4806V7B5KA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#8IMH, Dirichlet's principle (statement)
History
- 2026-11-02: add by m2/dev
480JXW7MTG 480JXW7MTG
| URI | m2://inv/480JXW7MTG |
|---|---|
| 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 1304.4839#97VN (statement). In YWS516YD1V/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
485 (number) 480PA3F2RJ
| URI | m2://inv/480PA3F2RJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#6TWJ, 485 (number) (unknown)
History
- 2026-11-02: add by m2/dev
480XTGXEXA 480XTGXEXA
| URI | m2://inv/480XTGXEXA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-7 (proof). In N54F33XE07, proof, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
4819BJNB5X 4819BJNB5X
| URI | m2://inv/4819BJNB5X |
|---|---|
| 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.22205#IHV0 (statement). In 7REABAAQED/e1, corollary
History
- 2026-10-27: add by m2/v0.4.0
Definition 481H6GNK6Q
| URI | m2://inv/481H6GNK6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial transform#Y3P1, Definition (definition)
History
- 2026-11-02: add by m2/dev
481XXWG6MA 481XXWG6MA
| URI | m2://inv/481XXWG6MA |
|---|---|
| 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 2205.09049#AKS1 (statement). In 37S7MNMZ2F/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.5
non-empty set 48202FVW06
| URI | m2://inv/48202FVW06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10533491, non-empty set (unknown). Also MathWorld NonemptySet
History
- 2026-10-26: add by m2/dev
Tree (set theory) 482112TM7G
| URI | m2://inv/482112TM7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#VB44, Tree (set theory) (definition)
History
- 2026-11-02: add by m2/dev
Analytica 4822SFPR4V
| URI | m2://inv/4822SFPR4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#GTE7, Analytica (unknown)
History
- 2026-11-02: add by m2/dev
4825ZNMKQ8 4825ZNMKQ8
| URI | m2://inv/4825ZNMKQ8 |
|---|---|
| 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.25915#6GH6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 482PNJ18Q0
| URI | m2://inv/482PNJ18Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic class#QM7T, Definition (definition)
History
- 2026-11-02: add by m2/dev
482QVPB280 482QVPB280
| URI | m2://inv/482QVPB280 |
|---|---|
| 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.20077#RHD3 (statement). In W5XRKWDADE/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.4.2
Special cases 482S3055V7
| URI | m2://inv/482S3055V7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inverse Gaussian distribution#P1FW, Special cases (statement)
History
- 2026-11-02: add by m2/dev
482WQPQVSE 482WQPQVSE
| URI | m2://inv/482WQPQVSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#definition-3 (definition). In 649HGZKE96, definition, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
Statement 482Y65QHMM
| URI | m2://inv/482Y65QHMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakeya set#9VLO, Statement (statement)
History
- 2026-11-02: add by m2/dev
Locally integrable function 482ZPRQFSQ
| URI | m2://inv/482ZPRQFSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#KUBM, Locally integrable function (definition)
History
- 2026-11-02: add by m2/dev
4834CC92TS 4834CC92TS
| URI | m2://inv/4834CC92TS |
|---|---|
| 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.02669#O7XT (statement). In NSBSWH6XB4/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.12
Clapeyron's theorem 483CNCPK6V
| URI | m2://inv/483CNCPK6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HWXV, Clapeyron's theorem (statement)
History
- 2026-11-02: add by m2/dev
Exact nonzero-error classical capacity 483E5TB5ZY
| URI | m2://inv/483E5TB5ZY |
|---|---|
| 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.22308#1VKH, Exact nonzero-error classical capacity (statement). In 4QN87R0P1G/e1, theorem 6
History
- 2026-10-27: add by m2/v0.4.0
483JHNMCJ6 483JHNMCJ6
| URI | m2://inv/483JHNMCJ6 |
|---|---|
| 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 2609.28306#DWV5 (example)
History
- 2026-11-01: add by m2/v0.6.15
Pearl causal hierarchy 483PEK3RAK
| URI | m2://inv/483PEK3RAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal model#3VCH, Pearl causal hierarchy (unknown)
History
- 2026-11-02: add by m2/dev
483PY2EZNF 483PY2EZNF
| URI | m2://inv/483PY2EZNF |
|---|---|
| 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 2411.11470#H1LX (statement). In G1E3KERT6K/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.6
Definitions 483QAZYF3E
| URI | m2://inv/483QAZYF3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani fixed-point theorem#W7D4, Definitions (definition)
History
- 2026-11-02: add by m2/dev
4841A5QKTQ 4841A5QKTQ
| URI | m2://inv/4841A5QKTQ |
|---|---|
| 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.08956#WZ64 (statement). In DEE631KR3A/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Uniqueness 484265AS40
| URI | m2://inv/484265AS40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#66DJ, Uniqueness (statement). In P3RTT99C41/e1, corollary 9.8
History
- 2026-10-30: add by m2/v0.4.12
Simultaneous alignment and refit gains 48435AN35S
| URI | m2://inv/48435AN35S |
|---|---|
| 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.39408#NSXU, Simultaneous alignment and refit gains (statement). In T8E6F01RTM/e1, corollary U.14
History
- 2026-10-30: add by m2/v0.4.12
4848D2J2SA 4848D2J2SA
| URI | m2://inv/4848D2J2SA |
|---|---|
| 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.12736#LV3C (statement). In 5350Q52F6P/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Newton formula 484AMG0QJ9
| URI | m2://inv/484AMG0QJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation#WDDL, Newton formula (statement)
History
- 2026-11-02: add by m2/dev
Littlewood–Offord problem 484K56TZBV
| URI | m2://inv/484K56TZBV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood–Offord problem, Littlewood–Offord problem (problem). Also Wikidata Q6653181
History
- 2026-11-02: add by m2/dev
Lipót Fejér 484MF3WX4N
| URI | m2://inv/484MF3WX4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TO0A, Lipót Fejér (topic)
History
- 2026-11-02: add by m2/dev
Definition 484RRCX8XN
| URI | m2://inv/484RRCX8XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#0PFN, Definition (definition)
History
- 2026-11-02: add by m2/dev
484WP9KZ3A 484WP9KZ3A
| URI | m2://inv/484WP9KZ3A |
|---|---|
| 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.14204#572C (statement). In GZAY1Y12YD/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
4851R45ZCF 4851R45ZCF
| URI | m2://inv/4851R45ZCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#WBRC (statement). In CM2YEK9T4F/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.4.2
4852P2ZA9T 4852P2ZA9T
| URI | m2://inv/4852P2ZA9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#X0MS (statement). In P39MF3ZJC0/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.3.5
Theorem 48535GY1M2
| URI | m2://inv/48535GY1M2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filters in topology#1LMV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Love number 485BZDWVRA
| URI | m2://inv/485BZDWVRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Love number, Love number (definition). Also Wikidata Q1641286
History
- 2026-11-02: add by m2/dev
Example 485EAMV9EM
| URI | m2://inv/485EAMV9EM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential response formula#1TUC, Example (example)
History
- 2026-11-02: add by m2/dev
*{Theorem 3 485ECBV14N
| URI | m2://inv/485ECBV14N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#M97A, *{Theorem 3 (statement). In DDNP38CHQJ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
485G5TXH14 485G5TXH14
| URI | m2://inv/485G5TXH14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.11800#04KH (statement). In 8TSZ2E32K3/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.3
instantaneous velocity 485V278HPJ
| URI | m2://inv/485V278HPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#9YZL, instantaneous velocity (definition)
History
- 2026-11-02: add by m2/dev
485V3JBPWE 485V3JBPWE
| URI | m2://inv/485V3JBPWE |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-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 2610.19357#WBHF (conjecture). In RGXQ50RWXV/e1, conjecture 2
History
- 2026-10-28: add by m2/v0.4.2
4863PVRQTW 4863PVRQTW
| URI | m2://inv/4863PVRQTW |
|---|---|
| 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 2309.15424#8WA2 (statement). In NXYZ1EAWKN/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Examples 486FD8FJJY
| URI | m2://inv/486FD8FJJY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product term#WR50, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem (Huhn 1985) 486GB9KKGT
| URI | m2://inv/486GB9KKGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#X7GH, Theorem (Huhn 1985) (statement)
History
- 2026-11-02: add by m2/dev
486GWP04C9 486GWP04C9
| URI | m2://inv/486GWP04C9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10816#K6UH (statement). In 8VNN8PX49Y/e1, theorem 16
History
- 2026-10-27: add by m2/v0.3.6
Algebra over a field 486K16V00J
| URI | m2://inv/486K16V00J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#DY9A, Algebra over a field (definition)
History
- 2026-11-02: add by m2/dev
Pink--R\"ossler 486NJ68A26
| URI | m2://inv/486NJ68A26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17325#D5PK, Pink--R\"ossler (statement). In SE16BAED46/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Promise problem 486QBS81K6
| URI | m2://inv/486QBS81K6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Promise problem, Promise problem (problem). Also Wikidata Q130203
History
- 2026-11-02: add by m2/dev
486VNNTGG3 486VNNTGG3
| URI | m2://inv/486VNNTGG3 |
|---|---|
| Kind | definition |
| 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.23994#KTF5 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Algorithm 487384JX8S
| URI | m2://inv/487384JX8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan's master theorem#9YHF, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
4875G724GC 4875G724GC
| URI | m2://inv/4875G724GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#AXTD (statement). In YZNK67K060/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
4875XWCW3C 4875XWCW3C
| URI | m2://inv/4875XWCW3C |
|---|---|
| Kind | example |
| 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 math/0003117#BDOW (example). In WD2NCBV9F0/e1, example 6.12
History
- 2026-10-27: add by m2/v0.3.5
A common majorant for mixed regularity 487E4PHQ5J
| URI | m2://inv/487E4PHQ5J |
|---|---|
| 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.13753#QFWX, A common majorant for mixed regularity (statement). In AHM0PBKZZN/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Representation validity 487HZZ6GGP
| URI | m2://inv/487HZZ6GGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#59DA, Representation validity (definition)
History
- 2026-11-02: add by m2/dev
Hypocycloid 487MB2YRX6
| URI | m2://inv/487MB2YRX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of periodic functions#H5I5, Hypocycloid (definition)
History
- 2026-11-02: add by m2/dev
487V0PG3AS 487V0PG3AS
| URI | m2://inv/487V0PG3AS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16640#UCLT (statement). In DEVX71G2ZK/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Convex support retained for the whole path 4880WJ2DJZ
| URI | m2://inv/4880WJ2DJZ |
|---|---|
| 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#VD6P, Convex support retained for the whole path (statement). In 9YAE8FNQST/e1, corollary 15.14
History
- 2026-10-30: add by m2/v0.4.12
Right Hilbert module 488404DYV9
| URI | m2://inv/488404DYV9 |
|---|---|
| Kind | definition |
| 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 2609.26382#KNDC, Right Hilbert module (definition)
History
- 2026-11-01: add by m2/v0.6.15
4888HX007A 4888HX007A
| URI | m2://inv/4888HX007A |
|---|---|
| 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 2411.13671#JC5W (statement). In PN02WN5AA6/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Name 4888WFFRS7
| URI | m2://inv/4888WFFRS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Name, Name (definition). Also Wikidata Q82799
History
- 2026-11-02: add by m2/dev
M-semiring 488AGY5PNC
| URI | m2://inv/488AGY5PNC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monus#H2OK, M-semiring (unknown)
History
- 2026-11-02: add by m2/dev
Definition 488ER6D4HT
| URI | m2://inv/488ER6D4HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accumulation point#TV87, Definition (definition)
History
- 2026-11-02: add by m2/dev
488F9DC6VX 488F9DC6VX
| URI | m2://inv/488F9DC6VX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#5WS2 (statement). In 8SVVEVGMNE/e1, theorem 4.29
History
- 2026-10-27: add by m2/v0.3.5
Ravindra Khattree 488KY95RDB
| URI | m2://inv/488KY95RDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ravindra Khattree, Ravindra Khattree (topic). Also Wikidata Q7296731
History
- 2026-11-02: add by m2/dev
Stefan Ralescu 488XX1CRJJ
| URI | m2://inv/488XX1CRJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4EZY, Stefan Ralescu (unknown)
History
- 2026-11-02: add by m2/dev
488ZR1WT7E 488ZR1WT7E
| URI | m2://inv/488ZR1WT7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07453#3TMG (statement). In CQGE4WJV4P/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
Construction 48909PDNNW
| URI | m2://inv/48909PDNNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden rectangle#K8GT, Construction (definition)
History
- 2026-11-02: add by m2/dev
Forty days and forty nights 4892TAA06X
| URI | m2://inv/4892TAA06X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 40 (number)#F4VR, Forty days and forty nights (unknown)
History
- 2026-11-02: add by m2/dev
Definition 4892WACXX9
| URI | m2://inv/4892WACXX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree decomposition#W0F5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Doubling time 4895HZ70AN
| URI | m2://inv/4895HZ70AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubling time, Doubling time (definition). Also Wikidata Q1424376
History
- 2026-11-02: add by m2/dev
Endpoint contribution with a prescribed initial atom 489D5N757H
| URI | m2://inv/489D5N757H |
|---|---|
| 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.24541#25I6, Endpoint contribution with a prescribed initial atom (definition)
History
- 2026-11-01: add by m2/v0.6.15
function, continuous 489NXB61GN
| URI | m2://inv/489NXB61GN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/function-continuous, function, continuous (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
World line 489PXETNXT
| URI | m2://inv/489PXETNXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#E42G, World line (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#ZI5O, World line (definition)
History
- 2026-11-02: add by m2/dev
489WAS5H4J 489WAS5H4J
| URI | m2://inv/489WAS5H4J |
|---|---|
| Kind | example |
| 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.20558#7BFN (example). In 46370P3Y9S/e1, example 5.24
History
- 2026-10-27: add by m2/v0.4.2
Victoria Powers 489ZCZ21Y6
| URI | m2://inv/489ZCZ21Y6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victoria Powers, Victoria Powers (topic). Also Wikidata Q66961167
History
- 2026-11-02: add by m2/dev
No-communication theorem 489ZJP7M9G
| URI | m2://inv/489ZJP7M9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JAFO, No-communication theorem (statement)
History
- 2026-11-02: add by m2/dev
Peripheral polynomial growth 48A4VMVW4J
| URI | m2://inv/48A4VMVW4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#G0P5, Peripheral polynomial growth (statement)
History
- 2026-11-01: add by m2/v0.6.15
48A9MFFMM0 48A9MFFMM0
| URI | m2://inv/48A9MFFMM0 |
|---|---|
| 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.15086#F3AQ (statement). In V60MVF3KQ1/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Variants 48ADJAG6A5
| URI | m2://inv/48ADJAG6A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finsler's lemma#66WG, Variants (statement)
History
- 2026-11-02: add by m2/dev
global minimum 48AEDDHNSW
| URI | m2://inv/48AEDDHNSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#HHDR, global minimum (definition)
History
- 2026-11-02: add by m2/dev
48AES2JV1Q 48AES2JV1Q
| URI | m2://inv/48AES2JV1Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 63.5
History
- 2026-11-01: add by m2/v0.6.13
Correlation attack 48AGPNC8K3
| URI | m2://inv/48AGPNC8K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation attack, Correlation attack (definition). Also Wikidata Q5172844
History
- 2026-11-02: add by m2/dev
Lévy family of graphs 48AGTJ5VF2
| URI | m2://inv/48AGTJ5VF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy family of graphs, Lévy family of graphs (definition). Also Wikidata Q6711213
History
- 2026-11-02: add by m2/dev
48AKPFXGW9 48AKPFXGW9
| URI | m2://inv/48AKPFXGW9 |
|---|---|
| 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.23671#33LM (statement)
History
- 2026-11-02: add by m2/v0.6.17
48AQ440DTQ 48AQ440DTQ
| URI | m2://inv/48AQ440DTQ |
|---|---|
| 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.15432#4LII (definition). In D1DFM4WYEW/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
48ASJ7A31Y 48ASJ7A31Y
| URI | m2://inv/48ASJ7A31Y |
|---|---|
| Kind | conjecture |
| 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.11493#SEP1 (conjecture). In H9XTBH7NVY/e1, conjecture 3
History
- 2026-10-28: add by m2/v0.4.3
48AYE40NSP 48AYE40NSP
| URI | m2://inv/48AYE40NSP |
|---|---|
| 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 2111.07409#ARD1 (statement). In KWH4QJDPWC/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
Raikov's theorem 48B2JAEN0R
| URI | m2://inv/48B2JAEN0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7283856, Raikov's theorem (statement). Also Wikidata Q7283856
- thousand_plus: thousand_plus Q7283856, Raikov's theorem (statement). Also Wikidata Q7283856, Wikipedia Raikov's theorem
- wikipedia: Wikipedia Raikov's theorem, Raikov's theorem (statement). Also Wikidata Q7283856
History
- 2026-10-26: add by m2/dev
Zero--one generalization at interpolation 48B3DEJQZM
| URI | m2://inv/48B3DEJQZM |
|---|---|
| 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.38453#BN7H, Zero--one generalization at interpolation (statement). In DWKWF242Y0/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Computational learning theory 48BB0QCBJG
| URI | m2://inv/48BB0QCBJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational learning theory, Computational learning theory (topic). Also Wikidata Q2462783
History
- 2026-11-02: add by m2/dev
48BNVX27SK 48BNVX27SK
| URI | m2://inv/48BNVX27SK |
|---|---|
| Kind | definition |
| 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.24465#B47I (definition)
History
- 2026-11-01: add by m2/v0.6.15
48BRPG2SPV 48BRPG2SPV
| URI | m2://inv/48BRPG2SPV |
|---|---|
| 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 2510.12502#LL6G (definition). In 3A4K47Y9F2/e1, definition 2.54
History
- 2026-10-27: add by m2/v0.4.0
Properties 48C6ZCTCVF
| URI | m2://inv/48C6ZCTCVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-normal distribution#4B7S, Properties (statement)
History
- 2026-11-02: add by m2/dev
48D0TZXES6 48D0TZXES6
| URI | m2://inv/48D0TZXES6 |
|---|---|
| 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#TCA9 (statement). In CC6S1HVK0T/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
48D1E2NWAW 48D1E2NWAW
| URI | m2://inv/48D1E2NWAW |
|---|---|
| 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.28893#O118 (statement)
History
- 2026-11-01: add by m2/v0.6.15
48DBNKB9EJ 48DBNKB9EJ
| URI | m2://inv/48DBNKB9EJ |
|---|---|
| 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.33162#HF8Q (statement). In RPC7VG3KHQ/e1, theorem 3.11
History
- 2026-10-30: add by m2/v0.4.12
On the Sphere and Cylinder 48DC2A7CCA
| URI | m2://inv/48DC2A7CCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia On the Sphere and Cylinder, On the Sphere and Cylinder (definition). Also Wikidata Q2717459
History
- 2026-11-02: add by m2/dev
Bi-24-diminished 600-cell 48DEXZGPXW
| URI | m2://inv/48DEXZGPXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600-cell#WJ59, Bi-24-diminished 600-cell (unknown)
History
- 2026-11-02: add by m2/dev
48DFDS80CC 48DFDS80CC
| URI | m2://inv/48DFDS80CC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
Intrinsic-dimensional indistinguishable pair 48DHQKYPXN
| URI | m2://inv/48DHQKYPXN |
|---|---|
| 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.33008#7CDW, Intrinsic-dimensional indistinguishable pair (statement). In 4M662A3ZF1/e1, lemma B.2
History
- 2026-10-31: add by m2/v0.5.6
48DTR4RBSR 48DTR4RBSR
| URI | m2://inv/48DTR4RBSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
48DZ38W642 48DZ38W642
| URI | m2://inv/48DZ38W642 |
|---|---|
| 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.03264#HLND (example). In 5TXRSPPTHP/e1, example 4
History
- 2026-10-29: add by m2/v0.4.12
generalized quantifier 48E6CEX9DA
| URI | m2://inv/48E6CEX9DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5532504, generalized quantifier (unknown). Also nLab generalized quantifier
- wikipedia: Wikipedia Generalized quantifier, Generalized quantifier (definition). Also Wikidata Q5532504
History
- 2026-10-26: add by m2/dev
48E8VCAS9A 48E8VCAS9A
| URI | m2://inv/48E8VCAS9A |
|---|---|
| Kind | statement |
| 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.08633#OBJ7 (statement). In 7MV7RGDVXF/e1, theorem 2.5.2
History
- 2026-10-29: add by m2/v0.4.10
Order (power series) 48EAV5G441
| URI | m2://inv/48EAV5G441 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power series#PU53, Order (power series) (unknown)
History
- 2026-11-02: add by m2/dev
48EBF7J7YV 48EBF7J7YV
| URI | m2://inv/48EBF7J7YV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#PZUO (definition). In QM1T8JDK4A/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Hans-Volker Niemeier 48EDYH6EHW
| URI | m2://inv/48EDYH6EHW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans-Volker Niemeier, Hans-Volker Niemeier (topic). Also Wikidata Q11109530
History
- 2026-11-02: add by m2/dev
48EEMSAKT8 48EEMSAKT8
| URI | m2://inv/48EEMSAKT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08480#68W1 (statement). In R4EEE89C3S/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.10
48EXVDW8JD 48EXVDW8JD
| URI | m2://inv/48EXVDW8JD |
|---|---|
| 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.18277#9UN9 (statement). In YFRNY7S92A/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Irene M. Gamba 48F3Q4YNCJ
| URI | m2://inv/48F3Q4YNCJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NR4N, Irene M. Gamba (topic)
History
- 2026-11-02: add by m2/dev
Zero sharp 48F9YQQQN4
| URI | m2://inv/48F9YQQQN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero sharp, Zero sharp (definition). Also Wikidata Q8069610
History
- 2026-11-02: add by m2/dev
48FBPPAM4M 48FBPPAM4M
| URI | m2://inv/48FBPPAM4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#ASGB (statement). In MQ8S73F6X7/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.6
48FJTCJCCP 48FJTCJCCP
| URI | m2://inv/48FJTCJCCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#definition-3 (definition). In RZP28ERRZV, definition, section 86.4
History
- 2026-11-01: add by m2/v0.6.13
Hispanic Supreme Court justices 48FMGT0WH4
| URI | m2://inv/48FMGT0WH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the Supreme Court of the United States#G5LX, Hispanic Supreme Court justices (unknown)
History
- 2026-11-02: add by m2/dev
48FTZBXA17 48FTZBXA17
| URI | m2://inv/48FTZBXA17 |
|---|---|
| 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.2047#BSBI (statement). In F3MWRNBNED/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
48FW2XF9WN 48FW2XF9WN
| URI | m2://inv/48FW2XF9WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#YEUT (statement). In KP0X1RKKKB/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
Examples 48G3ZKAFZR
| URI | m2://inv/48G3ZKAFZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodicity#12MM, Examples (example)
History
- 2026-11-02: add by m2/dev
Forward measure 48G5M4PG00
| URI | m2://inv/48G5M4PG00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BDPX, Forward measure (definition)
History
- 2026-11-02: add by m2/dev
48G7SVRR3B 48G7SVRR3B
| URI | m2://inv/48G7SVRR3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14068#3J97 (statement). In JF19FEH3SW/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
48G8J2EJR1 48G8J2EJR1
| URI | m2://inv/48G8J2EJR1 |
|---|---|
| Kind | example |
| 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.20153#9569 (example)
History
- 2026-11-02: add by m2/v0.6.18
48GA5AJTVV 48GA5AJTVV
| URI | m2://inv/48GA5AJTVV |
|---|---|
| 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#A0TL (statement). In 1PR73ECTZB/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Fast wavelet transform 48GABAD9G1
| URI | m2://inv/48GABAD9G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#0GCY, Fast wavelet transform (definition)
History
- 2026-11-02: add by m2/dev
48GXFXTPGB 48GXFXTPGB
| URI | m2://inv/48GXFXTPGB |
|---|---|
| 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.18270#1MCY (statement). In CPDMYJ0NJV/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Weak Bochner identity 48H4Z9T2G9
| URI | m2://inv/48H4Z9T2G9 |
|---|---|
| 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.00337#RE3L, Weak Bochner identity (statement). In 5STQ3ABZ60/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
48HEYK635P 48HEYK635P
| URI | m2://inv/48HEYK635P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.08010#UBD5 (statement). In 2S89BG5WPH/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Bounded-time Skorokhod embedding 48HHYGDHVD
| URI | m2://inv/48HHYGDHVD |
|---|---|
| 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#N4NP, Bounded-time Skorokhod embedding (statement). In 9YAE8FNQST/e1, corollary 15.13
History
- 2026-10-30: add by m2/v0.4.12
Poset Game 48HPCBXKVF
| URI | m2://inv/48HPCBXKVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#283G, Poset Game (definition)
History
- 2026-11-02: add by m2/dev
Helmert–Wolf blocking 48HT297JPS
| URI | m2://inv/48HT297JPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmert–Wolf blocking, Helmert–Wolf blocking (definition). Also Wikidata Q5709282
History
- 2026-11-02: add by m2/dev
48HYMK16QW 48HYMK16QW
| URI | m2://inv/48HYMK16QW |
|---|---|
| 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.12846#100N (statement). In GG9P59PJS2/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Embedding preorder 48J4ZD906X
| URI | m2://inv/48J4ZD906X |
|---|---|
| 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 2609.40054#HZOY, Embedding preorder (definition). In CA4C9PFM1E/e1, definition 2.1.1
History
- 2026-10-30: add by m2/v0.4.12
Properties 48J7Z2DQEP
| URI | m2://inv/48J7Z2DQEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falling and rising factorials#O41L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 48JBNKQXCY
| URI | m2://inv/48JBNKQXCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence space#1G2F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Coefficient matrix 48JBT7MFYF
| URI | m2://inv/48JBT7MFYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient matrix, Coefficient matrix (definition). Also Wikidata Q5140577
History
- 2026-11-02: add by m2/dev
48JDCCHX7C 48JDCCHX7C
| URI | m2://inv/48JDCCHX7C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-40 (proof). In N54F33XE07, proof, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Pulmonary embolism 48JFF3ZP06
| URI | m2://inv/48JFF3ZP06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#F80E, Pulmonary embolism (unknown)
History
- 2026-11-02: add by m2/dev
Generalization 48JK3ZT4A6
| URI | m2://inv/48JK3ZT4A6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectivization#5AVW, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Barnes zeta function 48JM5F44M9
| URI | m2://inv/48JM5F44M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#7GXA, Barnes zeta function (definition)
History
- 2026-11-02: add by m2/dev
48JT9ZHRG4 48JT9ZHRG4
| URI | m2://inv/48JT9ZHRG4 |
|---|---|
| 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#VUXE (statement). In GWNT8HEZG1/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.6
Alternative definition 48JWQTMA75
| URI | m2://inv/48JWQTMA75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary hyperelliptic curve#BVIF, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Duality theory for distributive lattices 48JX54AXGE
| URI | m2://inv/48JX54AXGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality theory for distributive lattices, Duality theory for distributive lattices (definition). Also Wikidata Q5310267
History
- 2026-11-02: add by m2/dev
Degree $6$ 48KE09GE2Z
| URI | m2://inv/48KE09GE2Z |
|---|---|
| Kind | example |
| 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.23781#5T0K, Degree $6$ (example)
History
- 2026-11-02: add by m2/v0.6.17
Pixel art 48KHJHHTWC
| URI | m2://inv/48KHJHHTWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#HJ89, Pixel art (unknown)
History
- 2026-11-02: add by m2/dev
Jacobi brackets 48KJZMWCZ0
| URI | m2://inv/48KJZMWCZ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18419738, Jacobi brackets (unknown). Also EoM Jacobi_brackets
History
- 2026-10-26: add by m2/dev
421 (number) 48KKHKKFSQ
| URI | m2://inv/48KKHKKFSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#YKTR, 421 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Young, Arthur 48KQ1BW3J4
| URI | m2://inv/48KQ1BW3J4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XZZQ, Young, Arthur (unknown)
History
- 2026-11-02: add by m2/dev
48KQ643JTN 48KQ643JTN
| URI | m2://inv/48KQ643JTN |
|---|---|
| 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 2210.01497#J0FF (statement). In QAKFAHRC8Z/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Definitions 48KTCF85ZM
| URI | m2://inv/48KTCF85ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection number (graph theory)#X8LP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
48KZ9RR7K1 48KZ9RR7K1
| URI | m2://inv/48KZ9RR7K1 |
|---|---|
| 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.36279#QJDA (statement). In HX1QA0MJYV/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
48M0WNSHES 48M0WNSHES
| URI | m2://inv/48M0WNSHES |
|---|---|
| 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.02628#JR8I (statement). In G4S9C5M1A4/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Philippe G. Ciarlet 48MCW69GV3
| URI | m2://inv/48MCW69GV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KHJ1, Philippe G. Ciarlet (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UO1Y, Philippe G. Ciarlet (unknown)
History
- 2026-11-02: add by m2/dev
Properties 48MGWQQPNQ
| URI | m2://inv/48MGWQQPNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kravchuk polynomials#4I6S, Properties (statement)
History
- 2026-11-02: add by m2/dev
Composition with copycat, adapted 48MKZ218TM
| URI | m2://inv/48MKZ218TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#TVOH, Composition with copycat, adapted (statement). In SVJYA0171G/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
48MYW3E31C 48MYW3E31C
| URI | m2://inv/48MYW3E31C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#HB9D (statement). In 9H45HQE7AZ/e1, proposition 7.4
History
- 2026-10-27: add by m2/v0.3.5
48N2QQAVGD 48N2QQAVGD
| URI | m2://inv/48N2QQAVGD |
|---|---|
| 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#GZQ4 (statement). In WK2YHYEDZ9/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
Example 48N5YA894R
| URI | m2://inv/48N5YA894R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenbud–Levine–Khimshiashvili signature formula#IWJ9, Example (example)
History
- 2026-11-02: add by m2/dev
48NAEGRY2W 48NAEGRY2W
| URI | m2://inv/48NAEGRY2W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_extremal-set-theory.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
48ND10JD6R 48ND10JD6R
| URI | m2://inv/48ND10JD6R |
|---|---|
| Kind | conjecture |
| 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.02681#K2RY (conjecture). In 7BBJMB97N7/e1, conjecture 2
History
- 2026-10-29: add by m2/v0.4.12
F-crystal 48NDCSZKMC
| URI | m2://inv/48NDCSZKMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-crystal, F-crystal (definition). Also Wikidata Q6085547
History
- 2026-11-02: add by m2/dev
Paired boundaries 48NE4Y8BCY
| URI | m2://inv/48NE4Y8BCY |
|---|---|
| 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.10950#J3YS, Paired boundaries (statement). In P392PEVRAY/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Linnik's theorem 48NEKKAGC1
| URI | m2://inv/48NEKKAGC1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2703389, Linnik's theorem (statement). Also Wikidata Q2703389
- thousand_plus: thousand_plus Q2703389, Linnik's theorem (statement). Also Wikidata Q2703389, Wikipedia Linnik's theorem
- wikidata: Wikidata Q2703389, Linnik's theorem (statement). Also MathWorld LinniksTheorem
- wikipedia: Wikipedia Linnik's theorem, Linnik's theorem (statement). Also Wikidata Q2703389
History
- 2026-10-26: add by m2/dev
Example 48NJJZ3YK4
| URI | m2://inv/48NJJZ3YK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilcoxon signed-rank test#OPI4, Example (example)
History
- 2026-11-02: add by m2/dev
Theorem (Rådström, 1952) 48NM8HKK5C
| URI | m2://inv/48NM8HKK5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rådström's embedding theorem#T4ZO, Theorem (Rådström, 1952) (statement)
History
- 2026-11-02: add by m2/dev
48NQA5PKP8 48NQA5PKP8
| URI | m2://inv/48NQA5PKP8 |
|---|---|
| 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.07370#BC6M (definition). In Q94QXG67CK/e1, definition VI.3
History
- 2026-10-29: add by m2/v0.4.10
Generalization 48NWDDQKW7
| URI | m2://inv/48NWDDQKW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological divisor of zero#1HVU, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Nonstationary Bernstein inequality 48NWGCXD2G
| URI | m2://inv/48NWGCXD2G |
|---|---|
| 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.13916#B7J3, Nonstationary Bernstein inequality (statement). In JS2JSD0507/e1, theorem A.2
History
- 2026-10-28: add by m2/v0.4.2
Duncan Sommerville 48NYASXKK5
| URI | m2://inv/48NYASXKK5 |
|---|---|
| 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#TGSV, Duncan Sommerville (topic)
History
- 2026-11-02: add by m2/dev
Count On 48PE1AE9VD
| URI | m2://inv/48PE1AE9VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Count On, Count On (definition). Also Wikidata Q5176693
History
- 2026-11-02: add by m2/dev
Theodosius of Bithynia 48PJTNAWME
| URI | m2://inv/48PJTNAWME |
|---|---|
| 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 Q1266186, Theodosius of Bithynia (unknown). Also ProofWiki Mathematician:Theodosius_of_Bithynia
- wikipedia: Wikipedia Theodosius of Bithynia, Theodosius of Bithynia (topic). Also Wikidata Q1266186
History
- 2026-10-26: add by m2/dev
stochastic geometry 48Q4GNEPQ6
| URI | m2://inv/48Q4GNEPQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stochastic geometry 2J9GB49FHA |
Mentions
- wikidata: Wikidata Q1666739, stochastic geometry (topic). Also MathWorld StochasticGeometry
- wikipedia: Wikipedia Stochastic geometry, Stochastic geometry (topic). Also Wikidata Q1666739
History
- 2026-10-26: add by m2/dev
48QP2KKWKA 48QP2KKWKA
| URI | m2://inv/48QP2KKWKA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:inverse (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Christian Kramp 48R8XJ5CCW
| URI | m2://inv/48R8XJ5CCW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Kramp, Christian Kramp (topic). Also Wikidata Q560935
History
- 2026-11-02: add by m2/dev
Jakob Rosanes 48RDQJ1E9F
| URI | m2://inv/48RDQJ1E9F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jakob Rosanes, Jakob Rosanes (topic). Also Wikidata Q72988
History
- 2026-11-02: add by m2/dev
Properties 48RERYZ0D9
| URI | m2://inv/48RERYZ0D9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic spiral#9P8P, Properties (statement)
History
- 2026-11-02: add by m2/dev
Representation 48RK5F80E7
| URI | m2://inv/48RK5F80E7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wind wave model#ISBW, Representation (definition)
History
- 2026-11-02: add by m2/dev
48SF8PVPKM 48SF8PVPKM
| URI | m2://inv/48SF8PVPKM |
|---|---|
| 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 1911.06467#2YP0 (statement). In G35G1NJKBX/e1, proposition 8.3
History
- 2026-10-27: add by m2/v0.3.5
Example 48SPM7KPZV
| URI | m2://inv/48SPM7KPZV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's recursion theorem#LNZ6, Example (example)
History
- 2026-11-02: add by m2/dev
List of numeral system topics 48SS0W6S7N
| URI | m2://inv/48SS0W6S7N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#LU9H, List of numeral system topics (topic)
History
- 2026-11-02: add by m2/dev
48SX4014AY 48SX4014AY
| URI | m2://inv/48SX4014AY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15369#H7JY (statement). In JESNVAZEYT/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
N-groups 48T4PPND4M
| URI | m2://inv/48T4PPND4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#HQBQ, N-groups (definition)
History
- 2026-11-02: add by m2/dev
48T7W8ANBM 48T7W8ANBM
| URI | m2://inv/48T7W8ANBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2503.00560#66YR (statement). In KH1H3TSWPS/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.6
Bolzano 48TM535W68
| URI | m2://inv/48TM535W68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#R437, Bolzano (definition)
History
- 2026-11-02: add by m2/dev
Lecuire 48TPXQRKN4
| URI | m2://inv/48TPXQRKN4 |
|---|---|
| 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 2609.29450#9JGU, Lecuire (statement)
History
- 2026-11-01: add by m2/v0.6.15
48TSA88ZME 48TSA88ZME
| URI | m2://inv/48TSA88ZME |
|---|---|
| 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 2103.12669#GV1M (definition). In ZA6XNBA90V/e1, definition 1.10
History
- 2026-10-27: add by m2/v0.3.5
48TSCQFHSH 48TSCQFHSH
| URI | m2://inv/48TSCQFHSH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Application 48TV9ZDD6W
| URI | m2://inv/48TV9ZDD6W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Good cover#LN1X, Application (example)
History
- 2026-11-02: add by m2/dev
Riemann–Stieltjes integral 48VA7DBC0J
| URI | m2://inv/48VA7DBC0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Riemann–Stieltjes integral JT9AFHG0NA |
Mentions
- wikidata: Wikidata Q285771, Riemann–Stieltjes integral (unknown). Also MathWorld StieltjesIntegral
- wikipedia: Wikipedia Riemann–Stieltjes integral, Riemann–Stieltjes integral (definition). Also Wikidata Q285771
History
- 2026-10-26: add by m2/dev
Direct limit for the classical multiple polynomials 48VB8EMVZD
| URI | m2://inv/48VB8EMVZD |
|---|---|
| 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.22027#21CJ, Direct limit for the classical multiple polynomials (statement)
History
- 2026-11-02: add by m2/v0.6.17
set of positive integers 48VC7B0R2R
| URI | m2://inv/48VC7B0R2R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47339953, set of positive integers (unknown). Also MathWorld Z-Plus
History
- 2026-10-26: add by m2/dev
48VDRVPFSH 48VDRVPFSH
| URI | m2://inv/48VDRVPFSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#definition-1 (definition). In RZP28ERRZV, definition, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem 48VG2WQB63
| URI | m2://inv/48VG2WQB63 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Ambrose–Hicks theorem#RZRT, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Conny Palm 48VJJSGBA9
| URI | m2://inv/48VJJSGBA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conny Palm, Conny Palm (topic). Also Wikidata Q5162082
History
- 2026-11-02: add by m2/dev
48VR4HPBBT 48VR4HPBBT
| URI | m2://inv/48VR4HPBBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#O7U8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symplectic category 48VWS02EXX
| URI | m2://inv/48VWS02EXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic category, Symplectic category (definition). Also Wikidata Q18387108
History
- 2026-11-02: add by m2/dev
48VZQS0AMZ 48VZQS0AMZ
| URI | m2://inv/48VZQS0AMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#SOB1 (definition)
History
- 2026-11-02: add by m2/v0.6.18
ID2007 48W0T47ED8
| URI | m2://inv/48W0T47ED8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deprivation index#RCQQ, ID2007 (unknown)
History
- 2026-11-02: add by m2/dev
Mollweide's formula 48W1HDWWWR
| URI | m2://inv/48W1HDWWWR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#4643, Mollweide's formula (statement)
History
- 2026-11-02: add by m2/dev
Curves in differential geometry 48W8A1BSVM
| URI | m2://inv/48W8A1BSVM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#X18B, Curves in differential geometry (topic)
- wikipedia: Wikipedia List of curves topics#6S86, Curves in differential geometry (topic)
History
- 2026-11-02: add by m2/dev
48WGKA7D7D 48WGKA7D7D
| URI | m2://inv/48WGKA7D7D |
|---|---|
| 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.25703#JS0I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basic solution (linear programming) 48WJ9YGTT5
| URI | m2://inv/48WJ9YGTT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#JZI1, Basic solution (linear programming) (definition)
History
- 2026-11-02: add by m2/dev
Bellman filter 48WNYMGWCW
| URI | m2://inv/48WNYMGWCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bellman filter, Bellman filter (definition). Also Wikidata Q105554760
History
- 2026-11-02: add by m2/dev
Domain 48WQJTD2AH
| URI | m2://inv/48WQJTD2AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#6J36, Domain (definition)
History
- 2026-11-02: add by m2/dev
48WQMKKG9V 48WQMKKG9V
| URI | m2://inv/48WQMKKG9V |
|---|---|
| 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.30685#Q7CK (statement). In WNNNWV7741/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
48WSQ213PV 48WSQ213PV
| URI | m2://inv/48WSQ213PV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.11478#C7L6 (definition). In R81S9R1XNR/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.3
Short paths preserving the spectral gap 48WYF5N0K4
| URI | m2://inv/48WYF5N0K4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#22AB, Short paths preserving the spectral gap (statement). In WYE2JVEZBT/e1, lemma 6.8
History
- 2026-10-31: add by m2/v0.5.6
48X2FJFQM5 48X2FJFQM5
| URI | m2://inv/48X2FJFQM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#43G3 (statement). In 67GE5M1GGD/e1, corollary 3.17
History
- 2026-10-30: add by m2/v0.4.12
Charles P. Boyer 48X7M7C7NM
| URI | m2://inv/48X7M7C7NM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles P. Boyer, Charles P. Boyer (topic). Also Wikidata Q68947412
History
- 2026-11-02: add by m2/dev
Loess curve 48XBTAM7A7
| URI | m2://inv/48XBTAM7A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KHIX, Loess curve (definition)
History
- 2026-11-02: add by m2/dev
48XHMYNY76 48XHMYNY76
| URI | m2://inv/48XHMYNY76 |
|---|---|
| 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 2609.36423#IMLY (example). In Q5Z178SAHP/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
48XM96DBF6 48XM96DBF6
| URI | m2://inv/48XM96DBF6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#UKYD (unknown). In T7R1Q29DQK/e1, unknown
History
- 2026-10-29: add by m2/v0.4.10
48XPP8H7SD 48XPP8H7SD
| URI | m2://inv/48XPP8H7SD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2501.03704#GW5D (statement). In Q3PY5AGD6N/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Weak coloring 48XQR2WH3V
| URI | m2://inv/48XQR2WH3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak coloring, Weak coloring (definition). Also Wikidata Q7977939
History
- 2026-11-02: add by m2/dev
48XR5ZAV21 48XR5ZAV21
| URI | m2://inv/48XR5ZAV21 |
|---|---|
| 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.21399#KPIX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Vicente Montesinos Santalucía 48Y5F5Q769
| URI | m2://inv/48Y5F5Q769 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59727702, Vicente Montesinos Santalucía (unknown). Also ProofWiki Mathematician:Vicente_Montesinos_Santalucía
History
- 2026-10-26: add by m2/dev
Escape and non-escape of mass for Weierstrass models 48Y5TEDVFR
| URI | m2://inv/48Y5TEDVFR |
|---|---|
| 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.33027#E3DY, Escape and non-escape of mass for Weierstrass models (statement). In E2AF84709B/e1, theorem 40
History
- 2026-10-31: add by m2/v0.5.6
48YBFRH2XJ 48YBFRH2XJ
| URI | m2://inv/48YBFRH2XJ |
|---|---|
| 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.23350#NCI9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
48YCTDFSEJ 48YCTDFSEJ
| URI | m2://inv/48YCTDFSEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#OPGK (statement). In 7V2PVZS04C/e1, lemma 6.16
History
- 2026-10-31: add by m2/v0.5.6
Sequentially compact 48YDXNHFJZ
| URI | m2://inv/48YDXNHFJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#5SY3, Sequentially compact (definition)
History
- 2026-11-02: add by m2/dev
48YEP997B0 48YEP997B0
| URI | m2://inv/48YEP997B0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10477#YB4V (statement). In 1NZSZ241WE/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
measure space 48YPEJPBT2
| URI | m2://inv/48YPEJPBT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Measure space P15VQS5DJ9 |
Mentions
- wikidata: Wikidata Q3058212, measure space (definition). Also EoM Measure_space, MathWorld MeasureSpace, nLab measure space, ProofWiki Definition:Measure_Space
- wikipedia: Wikipedia Measure space, Measure space (definition). Also Wikidata Q3058212
History
- 2026-10-26: add by m2/dev
48YRKN7437 48YRKN7437
| URI | m2://inv/48YRKN7437 |
|---|---|
| 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.38188#7TQP (statement). In 7615KVXDB5/e1, lemma 3.16
History
- 2026-10-30: add by m2/v0.4.12
Fenchel absolute-continuity equivalence 48YXF21RJQ
| URI | m2://inv/48YXF21RJQ |
|---|---|
| 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.33472#1GG3, Fenchel absolute-continuity equivalence (statement). In WBQQBZ4FCJ/e1, theorem M.4
History
- 2026-10-30: add by m2/v0.4.12
48ZAAB7F0B 48ZAAB7F0B
| URI | m2://inv/48ZAAB7F0B |
|---|---|
| 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.07040#6GSN (statement). In KMNXNW7FHP/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Constructions 48ZB01YDZW
| URI | m2://inv/48ZB01YDZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic residue code#BU87, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Pascal Hitzler 48ZF69H0CJ
| URI | m2://inv/48ZF69H0CJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UP34, Pascal Hitzler (unknown)
History
- 2026-11-02: add by m2/dev
48ZJQGEQ1B 48ZJQGEQ1B
| URI | m2://inv/48ZJQGEQ1B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-23 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
48ZV81FAX2 48ZV81FAX2
| URI | m2://inv/48ZV81FAX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#7EZC (statement)
History
- 2026-11-02: add by m2/v0.6.17
relation 48ZYPJAK1B
| URI | m2://inv/48ZYPJAK1B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.4/relation, relation (concept). In E59CDZA4DP, index, section 11.9.4
History
- 2026-11-01: add by m2/v0.6.13