Inventory rows 5X
The cards of the rows of the inventory whose ids start with 5X. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
5X01WNC9ZA 5X01WNC9ZA
| URI | m2://inv/5X01WNC9ZA |
|---|---|
| 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#V061 (statement). In V42PPD7SWH/e1, proposition 9.2
History
- 2026-10-31: add by m2/v0.5.6
Definitions of mathematics 5X06MCXNAT
| URI | m2://inv/5X06MCXNAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definitions of mathematics, Definitions of mathematics (definition). Also Wikidata Q104841271
History
- 2026-11-02: add by m2/dev
Euclid's fifth postulate 5X0EBFXVAW
| URI | m2://inv/5X0EBFXVAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#ME11, Euclid's fifth postulate (definition)
History
- 2026-11-02: add by m2/dev
Maya Ackerman 5X0MRT69G4
| URI | m2://inv/5X0MRT69G4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7E78, Maya Ackerman (unknown)
History
- 2026-11-02: add by m2/dev
Mixed Hodge module 5X0T7SKZDR
| URI | m2://inv/5X0T7SKZDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed Hodge module, Mixed Hodge module (definition). Also Wikidata Q104841003
History
- 2026-11-02: add by m2/dev
5X0VWSFD6N 5X0VWSFD6N
| URI | m2://inv/5X0VWSFD6N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
5X15DJYDW3 5X15DJYDW3
| URI | m2://inv/5X15DJYDW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20607#T3Y7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
The interpolation formula 5X1B69Y1C1
| URI | m2://inv/5X1B69Y1C1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padua points#3WIT, The interpolation formula (statement)
History
- 2026-11-02: add by m2/dev
Algorithm 5X1C10F06Z
| URI | m2://inv/5X1C10F06Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felsenstein's tree-pruning algorithm#W919, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Reed-Solomon lattices 5X1C1ZSZV1
| URI | m2://inv/5X1C1ZSZV1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.14380#4WDZ, Reed-Solomon lattices (definition). In 2ZRQP063HP/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
5X1EB07E5D 5X1EB07E5D
| URI | m2://inv/5X1EB07E5D |
|---|---|
| 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.28649#E6BK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Connected-component labeling 5X1GBGB6E9
| URI | m2://inv/5X1GBGB6E9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#BURZ, Connected-component labeling (unknown)
History
- 2026-11-02: add by m2/dev
Properties 5X1MB34BFS
| URI | m2://inv/5X1MB34BFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local diffeomorphism#YJBJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
An atom at the essential supremum 5X1S1AR15P
| URI | m2://inv/5X1S1AR15P |
|---|---|
| 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.14695#E2NF, An atom at the essential supremum (statement). In T15EJSPCNG/e1, corollary \thechapter.C.1
History
- 2026-10-28: add by m2/v0.4.2
Construction 5X1TMFFW8V
| URI | m2://inv/5X1TMFFW8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steenrod algebra#GUBL, Construction (definition)
History
- 2026-11-02: add by m2/dev
5X1WH32ZSZ 5X1WH32ZSZ
| URI | m2://inv/5X1WH32ZSZ |
|---|---|
| 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 2609.21540#5O30 (statement)
History
- 2026-11-02: add by m2/v0.6.18
5X1YYGDWR5 5X1YYGDWR5
| URI | m2://inv/5X1YYGDWR5 |
|---|---|
| Kind | definition |
| 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 2308.02672#FK4M (definition). In ETRT1R1CQ8/e1, definition 1.10
History
- 2026-10-27: add by m2/v0.4.0
Construction 5X209FCM16
| URI | m2://inv/5X209FCM16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spanning tree#NUXG, Construction (definition)
History
- 2026-11-02: add by m2/dev
5X241T0CG8 5X241T0CG8
| URI | m2://inv/5X241T0CG8 |
|---|---|
| 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.02395#LNK2 (statement). In APA7TRPA87/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
5X26SFNAWZ 5X26SFNAWZ
| URI | m2://inv/5X26SFNAWZ |
|---|---|
| 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 2610.09506#SL3C (statement). In AQC7E6RAT4/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
5X2ADMM670 5X2ADMM670
| URI | m2://inv/5X2ADMM670 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#M5F7 (statement). In WYDHWYFRFK/e1, theorem 5.11
History
- 2026-10-31: add by m2/v0.5.6
Jacob Bekenstein 5X2HK6HRV5
| URI | m2://inv/5X2HK6HRV5 |
|---|---|
| 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 Q504448, Jacob Bekenstein (unknown). Also nLab Jacob Bekenstein
History
- 2026-10-26: add by m2/dev
5X2KD08K21 5X2KD08K21
| URI | m2://inv/5X2KD08K21 |
|---|---|
| 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.34675#IRW9 (statement). In C93BAXKJVD/e1, lemma 3.13
History
- 2026-10-30: add by m2/v0.4.12
5X2T9PF90C 5X2T9PF90C
| URI | m2://inv/5X2T9PF90C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08280#LF7L (example). In EGADPYP7R3/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.10
5X2V8W32VF 5X2V8W32VF
| URI | m2://inv/5X2V8W32VF |
|---|---|
| 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.20042#K5YJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
5X2XMH5RS9 5X2XMH5RS9
| URI | m2://inv/5X2XMH5RS9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#6TRX (definition)
History
- 2026-11-02: add by m2/v0.6.17
Dominating set 5X389545J2
| URI | m2://inv/5X389545J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#PPX1, Dominating set (definition)
History
- 2026-11-02: add by m2/dev
chain 5X38FC6ZVZ
| URI | m2://inv/5X38FC6ZVZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/chain, chain (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
5X3AH4KYKP 5X3AH4KYKP
| URI | m2://inv/5X3AH4KYKP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#BLDG (definition)
History
- 2026-11-02: add by m2/v0.6.18
Brouwer's theorem 5X3G4K82FR
| URI | m2://inv/5X3G4K82FR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor space#FFK3, Brouwer's theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement 5X3MTD4FG5
| URI | m2://inv/5X3MTD4FG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasting theorem#SWD9, Statement (statement)
History
- 2026-11-02: add by m2/dev
Bibliography of cryptography 5X3RSWHH2M
| URI | m2://inv/5X3RSWHH2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bibliography of cryptography, Bibliography of cryptography (definition). Also Wikidata Q3005938
History
- 2026-11-02: add by m2/dev
5X3Z6DNZR0 5X3Z6DNZR0
| URI | m2://inv/5X3Z6DNZR0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
5X425VE3TP 5X425VE3TP
| URI | m2://inv/5X425VE3TP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.16241#DDZ3 (definition). In WNDHZVY4WK/e1, definition A.11
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 5X429YB1G7
| URI | m2://inv/5X429YB1G7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subshift of finite type#JLQV, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Order isomorphism 5X42BCQP16
| URI | m2://inv/5X42BCQP16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order isomorphism, Order isomorphism (definition). Also Wikidata Q997521
History
- 2026-11-02: add by m2/dev
Properties 5X44DCBETE
| URI | m2://inv/5X44DCBETE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-Algebra of τ-past#5M88, Properties (statement)
History
- 2026-11-02: add by m2/dev
Reductivity, all $n$ 5X45HH9PCR
| URI | m2://inv/5X45HH9PCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#74CE, Reductivity, all $n$ (statement). In QPJ6FWG5HD/e1, proposition 2.31
History
- 2026-10-29: add by m2/v0.4.12
Theorem $4.17$ 5X46G3JKM6
| URI | m2://inv/5X46G3JKM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#960M, Theorem $4.17$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Observation-functional stopping and stopped PRP 5X482A5ZR1
| URI | m2://inv/5X482A5ZR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28985#IO3V, Observation-functional stopping and stopped PRP (statement)
History
- 2026-11-01: add by m2/v0.6.15
5X48G71F1E 5X48G71F1E
| URI | m2://inv/5X48G71F1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.05177#WB6K (definition). In G04BKQV6YM/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
5X4B81VW10 5X4B81VW10
| URI | m2://inv/5X4B81VW10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:pi3s2 (statement). In N54F33XE07, cor, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Example 5X51T0KG7M
| URI | m2://inv/5X51T0KG7M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indirect utility function#0A5P, Example (example)
History
- 2026-11-02: add by m2/dev
Non-malleable affine extractors for sublinear entropy 5X526SGJMC
| URI | m2://inv/5X526SGJMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#M13S, Non-malleable affine extractors for sublinear entropy (statement). In ZZER8ZBSCR/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Deligne cohomology 5X53DSVTVH
| URI | m2://inv/5X53DSVTVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5253964, Deligne cohomology (unknown). Also nLab Deligne cohomology
- wikipedia: Wikipedia Deligne cohomology, Deligne cohomology (definition). Also Wikidata Q5253964
History
- 2026-10-26: add by m2/dev
Discrete q-Hermite polynomials 5X5Q8JEA56
| URI | m2://inv/5X5Q8JEA56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete q-Hermite polynomials, Discrete q-Hermite polynomials (definition). Also Wikidata Q5282058
History
- 2026-11-02: add by m2/dev
Example 5X607GRDVT
| URI | m2://inv/5X607GRDVT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis (linear algebra)#D4O8, Example (example)
History
- 2026-11-02: add by m2/dev
semiring 5X619RZHM9
| URI | m2://inv/5X619RZHM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#LTDD, semiring (definition)
History
- 2026-11-02: add by m2/dev
± 5X63TFM3GS
| URI | m2://inv/5X63TFM3GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q260387, ± (unknown). Also MathWorld PlusorMinus
- wikipedia: Wikipedia Plus–minus sign, Plus–minus sign (definition). Also Wikidata Q260387
History
- 2026-10-26: add by m2/dev
Absence of Phase Transition for Brownian Potentials 5X64XN31DR
| URI | m2://inv/5X64XN31DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 1603.00857#UPCB, Absence of Phase Transition for Brownian Potentials (statement). In XT50B5RJF5/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
profinite 5X67PQ327C
| URI | m2://inv/5X67PQ327C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#OKDQ, profinite (definition)
History
- 2026-11-02: add by m2/dev
Julius Plücker 5X6A51D498
| URI | m2://inv/5X6A51D498 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#F149, Julius Plücker (topic)
History
- 2026-11-02: add by m2/dev
5X6C250WGV 5X6C250WGV
| URI | m2://inv/5X6C250WGV |
|---|---|
| Kind | definition |
| 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 2101.07846#TNVU (definition). In 9XTXH6H1N7/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Hesse's principle of transfer 5X6CT64E0G
| URI | m2://inv/5X6CT64E0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hesse's principle of transfer, Hesse's principle of transfer (statement). Also Wikidata Q25106314
History
- 2026-11-02: add by m2/dev
122 polytope 5X6DR4CTT4
| URI | m2://inv/5X6DR4CTT4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DSN0, 122 polytope (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CDP6, 122 polytope (object)
History
- 2026-11-02: add by m2/dev
5X6HQEVFB3 5X6HQEVFB3
| URI | m2://inv/5X6HQEVFB3 |
|---|---|
| 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 1907.01440#LK7R (statement). In QDRYC6WJJ7/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
gigabyte 5X6J7H6TDW
| URI | m2://inv/5X6J7H6TDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79738, gigabyte (unknown). Also MathWorld Gigabyte
History
- 2026-10-26: add by m2/dev
5X6KJDMS22 5X6KJDMS22
| URI | m2://inv/5X6KJDMS22 |
|---|---|
| Kind | definition |
| 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#3BQ2 (definition). In 7DCNHRBK5A/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Giovanni Santini 5X6TCEFQ0R
| URI | m2://inv/5X6TCEFQ0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#C8A1, Giovanni Santini (topic)
History
- 2026-11-02: add by m2/dev
5X781DQF1M 5X781DQF1M
| URI | m2://inv/5X781DQF1M |
|---|---|
| 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#TE65 (statement). In CSRZ9CWK69/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
Stericantic tesseractic honeycomb 5X7A1XQZ84
| URI | m2://inv/5X7A1XQZ84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stericantic tesseractic honeycomb, Stericantic tesseractic honeycomb (definition). Also Wikidata Q17078418
History
- 2026-11-02: add by m2/dev
Noncommutative homological mirror symmetry 5X7ANV3CK2
| URI | m2://inv/5X7ANV3CK2 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#FKBI, Noncommutative homological mirror symmetry (conjecture). In QX77AN49J0/e1, conjecture 8.2
History
- 2026-10-27: add by m2/v0.4.2
5X7BPHRH2W 5X7BPHRH2W
| URI | m2://inv/5X7BPHRH2W |
|---|---|
| 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.08935#D22G (definition). In G02N9D40B9/e1, definition 1.3.1
History
- 2026-10-29: add by m2/v0.4.10
Coarse function 5X7J3WQCB6
| URI | m2://inv/5X7J3WQCB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coarse function, Coarse function (definition). Also Wikidata Q5138063
History
- 2026-11-02: add by m2/dev
5X82SW9HJG 5X82SW9HJG
| URI | m2://inv/5X82SW9HJG |
|---|---|
| Kind | definition |
| 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.18847#DCCN (definition). In DZ12XTTJSM/e1, definition 2.15
History
- 2026-10-28: add by m2/v0.4.2
Triangulation 5X8ACGZ9VR
| URI | m2://inv/5X8ACGZ9VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation, Triangulation (definition). Also Wikidata Q188056
History
- 2026-11-02: add by m2/dev
Hialeah Gardens 5X8AH739VF
| URI | m2://inv/5X8AH739VF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#M92C, Hialeah Gardens (unknown)
History
- 2026-11-02: add by m2/dev
5X8JSZME54 5X8JSZME54
| URI | m2://inv/5X8JSZME54 |
|---|---|
| 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.04809#S4PZ (statement). In 2VHV0RNTNV/e1, lemma 7.12
History
- 2026-10-29: add by m2/v0.4.12
Beta-binomial model 5X8MD3W8GP
| URI | m2://inv/5X8MD3W8GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1N5B, Beta-binomial model (definition)
History
- 2026-11-02: add by m2/dev
Reinhardt domain, logarithmically convex 5X8TJXVJZ5
| URI | m2://inv/5X8TJXVJZ5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.6/reinhardt-domain-logarithmically-convex, Reinhardt domain, logarithmically convex (concept). In VNMV985MXX, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
5X8TRZF3SB 5X8TRZF3SB
| URI | m2://inv/5X8TRZF3SB |
|---|---|
| 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 1509.00950#JCGR (definition). In MDZFW5GACV/e1, definition 8.1
History
- 2026-10-27: add by m2/v0.3.5
Turing Tumble 5X8VJHNPS4
| URI | m2://inv/5X8VJHNPS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#Q6AU, Turing Tumble (unknown)
History
- 2026-11-02: add by m2/dev
Example 5X8XBXZXPG
| URI | m2://inv/5X8XBXZXPG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#IVPA, Example (example)
History
- 2026-11-02: add by m2/dev
Jordan curve 5X8Z5AF4A0
| URI | m2://inv/5X8Z5AF4A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#R0C8, Jordan curve (definition)
History
- 2026-11-02: add by m2/dev
Large deviations of Gaussian random functions 5X915S5NRK
| URI | m2://inv/5X915S5NRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large deviations of Gaussian random functions, Large deviations of Gaussian random functions (definition). Also Wikidata Q6489120
History
- 2026-11-02: add by m2/dev
5X92E7FXNW 5X92E7FXNW
| URI | m2://inv/5X92E7FXNW |
|---|---|
| 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.28808#K83W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantile 5X94R6WQNH
| URI | m2://inv/5X94R6WQNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0W3I, Quantile (definition)
- wikipedia: Wikipedia List of probability topics#RAMI, Quantile (definition)
History
- 2026-11-02: add by m2/dev
Criterion of optimality 5X99TEE1RD
| URI | m2://inv/5X99TEE1RD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinforcement learning#SWKT, Criterion of optimality (statement)
History
- 2026-11-02: add by m2/dev
Gaspard-Gustave de Coriolis 5X9FHFJ78A
| URI | m2://inv/5X9FHFJ78A |
|---|---|
| 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 Q202827, Gaspard-Gustave de Coriolis (unknown). Also ProofWiki Mathematician:Gaspard-Gustave_de_Coriolis
History
- 2026-10-26: add by m2/dev
Soft set 5X9MK0GTYM
| URI | m2://inv/5X9MK0GTYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soft set, Soft set (definition). Also Wikidata Q4310193
History
- 2026-11-02: add by m2/dev
J-2 ring 5X9W152Q5Z
| URI | m2://inv/5X9W152Q5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#J1XI, J-2 ring (definition)
History
- 2026-11-02: add by m2/dev
Benjamin Strong Baumer 5X9WKVKSED
| URI | m2://inv/5X9WKVKSED |
|---|---|
| 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#7CXR, Benjamin Strong Baumer (unknown)
History
- 2026-11-02: add by m2/dev
Weierstrass function 5XA36591Y1
| URI | m2://inv/5XA36591Y1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.2.3/weierstrass-function, Weierstrass function (concept). In E59CDZA4DP, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Preservation of abelian quotients 5XANQV6TBA
| URI | m2://inv/5XANQV6TBA |
|---|---|
| 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.20401#QWCG, Preservation of abelian quotients (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example 5XAP16A7TQ
| URI | m2://inv/5XAP16A7TQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-invariant of a quiver#253F, Example (example)
History
- 2026-11-02: add by m2/dev
Localized covariance initialization and stability 5XAQTNHEWT
| URI | m2://inv/5XAQTNHEWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-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.23927#SC48, Localized covariance initialization and stability (statement)
History
- 2026-11-02: add by m2/v0.6.17
Multivariate normal distribution 5XATSZ7522
| URI | m2://inv/5XATSZ7522 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#I0JB, Multivariate normal distribution (definition)
History
- 2026-11-02: add by m2/dev
5XAXD4TXB2 5XAXD4TXB2
| URI | m2://inv/5XAXD4TXB2 |
|---|---|
| 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 2608.23797#7JJX (statement). In PZCA01JXVR/e1, theorem 5.13
History
- 2026-10-27: add by m2/v0.3.5
5XAXTTR6MS 5XAXTTR6MS
| URI | m2://inv/5XAXTTR6MS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Florence Weldon 5XAYSPRC2X
| URI | m2://inv/5XAYSPRC2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florence Weldon, Florence Weldon (topic). Also Wikidata Q130220319
History
- 2026-11-02: add by m2/dev
Richard's paradox 5XB13ZM1JE
| URI | m2://inv/5XB13ZM1JE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of impossibility#L699, Richard's paradox (statement)
History
- 2026-11-02: add by m2/dev
Omri Sarig 5XB8V900HR
| URI | m2://inv/5XB8V900HR |
|---|---|
| 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#WO1H, Omri Sarig (topic)
History
- 2026-11-02: add by m2/dev
Examples 5XBAHA68ZS
| URI | m2://inv/5XBAHA68ZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial cube#ZZGI, Examples (example)
History
- 2026-11-02: add by m2/dev
5XBASVM3JT 5XBASVM3JT
| URI | m2://inv/5XBASVM3JT |
|---|---|
| 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.08697#8F8Y (statement). In GJ4ZMDQF3C/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
5XBH0HBCHW 5XBH0HBCHW
| URI | m2://inv/5XBH0HBCHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#2YJ0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Christoph Schwab 5XBMPHYR6G
| URI | m2://inv/5XBMPHYR6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoph Schwab, Christoph Schwab (topic). Also Wikidata Q76999178
History
- 2026-11-02: add by m2/dev
Cuthill–McKee algorithm 5XBQQKCMB8
| URI | m2://inv/5XBQQKCMB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#AKC0, Cuthill–McKee algorithm (definition)
History
- 2026-11-02: add by m2/dev
5XBS9NHCJF 5XBS9NHCJF
| URI | m2://inv/5XBS9NHCJF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-2.xml#example-3 (example). In 649HGZKE96, example, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
Initial local existence and continuation 5XBSQANGXV
| URI | m2://inv/5XBSQANGXV |
|---|---|
| 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.28251#YOLG, Initial local existence and continuation (statement)
History
- 2026-11-01: add by m2/v0.6.15
5XBSVJ0NTQ 5XBSVJ0NTQ
| URI | m2://inv/5XBSVJ0NTQ |
|---|---|
| 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.05365#6IHT (statement). In BKPSH4CD9K/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.10
principle of induction 5XBXPEJGZQ
| URI | m2://inv/5XBXPEJGZQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.2/principle-of-induction, principle of induction (concept). In E59CDZA4DP, index, section 11.9.2
History
- 2026-11-01: add by m2/v0.6.13
5XC1W69Z1E 5XC1W69Z1E
| URI | m2://inv/5XC1W69Z1E |
|---|---|
| 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#H6BO (statement). In BDN507RN7J/e1, proposition 2.2.6
History
- 2026-10-30: add by m2/v0.4.12
going down 5XCESFHT5A
| URI | m2://inv/5XCESFHT5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JKS3, going down (definition)
History
- 2026-11-02: add by m2/dev
Octahedral cupola 5XCFW3MZ70
| URI | m2://inv/5XCFW3MZ70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octahedral cupola, Octahedral cupola (definition). Also Wikidata Q18356118
History
- 2026-11-02: add by m2/dev
Examples 5XCJ9J1DW3
| URI | m2://inv/5XCJ9J1DW3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wind wave model#G7D5, Examples (example)
History
- 2026-11-02: add by m2/dev
5XCMDY7J1K 5XCMDY7J1K
| URI | m2://inv/5XCMDY7J1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.30200#M25G (statement)
History
- 2026-11-01: add by m2/v0.6.15
5XCMGEBN3D 5XCMGEBN3D
| URI | m2://inv/5XCMGEBN3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#TWOV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basic affine jump diffusion 5XCNP29DZZ
| URI | m2://inv/5XCNP29DZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#5JQ0, Basic affine jump diffusion (definition)
- wikipedia: Wikipedia List of probability topics#4AWI, Basic affine jump diffusion (definition)
History
- 2026-11-02: add by m2/dev
5XCVBEFRFE 5XCVBEFRFE
| URI | m2://inv/5XCVBEFRFE |
|---|---|
| Kind | definition |
| 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.40200#EKCM (definition). In VWNB6QJWFN/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Philipp Habegger 5XCYRHT29R
| URI | m2://inv/5XCYRHT29R |
|---|---|
| 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#W6LT, Philipp Habegger (topic)
History
- 2026-11-02: add by m2/dev
Gambler's fallacy 5XCZCXDRT6
| URI | m2://inv/5XCZCXDRT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gambler's fallacy, Gambler's fallacy (definition). Also Wikidata Q839726
History
- 2026-11-02: add by m2/dev
5XD54WK9EA 5XD54WK9EA
| URI | m2://inv/5XD54WK9EA |
|---|---|
| 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.32903#37D8 (statement). In S8NB83KQX3/e1, lemma 14
History
- 2026-10-31: add by m2/v0.5.6
Elias Höchheimer 5XD8E2D796
| URI | m2://inv/5XD8E2D796 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5A4J, Elias Höchheimer (unknown)
History
- 2026-11-02: add by m2/dev
5XDBX4NGGS 5XDBX4NGGS
| URI | m2://inv/5XDBX4NGGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13746#OGWM (statement). In 70EJ0YJBQ7/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
5XDENA4SX0 5XDENA4SX0
| URI | m2://inv/5XDENA4SX0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 8.1.3
History
- 2026-11-01: add by m2/v0.6.13
Spacing effect 5XDHGY2A01
| URI | m2://inv/5XDHGY2A01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#QBJC, Spacing effect (definition)
History
- 2026-11-02: add by m2/dev
5XDJHJG5GH 5XDJHJG5GH
| URI | m2://inv/5XDJHJG5GH |
|---|---|
| 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#P5I5 (statement). In V97F4YZ8B0/e1, lemma 9.8
History
- 2026-10-28: add by m2/v0.4.2
5XDNEVETA9 5XDNEVETA9
| URI | m2://inv/5XDNEVETA9 |
|---|---|
| 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#8KLK (definition). In CY1FE8W1ZW/e1, definition 0.211
History
- 2026-10-27: add by m2/v0.3.5
Mathematical induction 5XE1CRNG2D
| URI | m2://inv/5XE1CRNG2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#L0O9, Mathematical induction (definition)
History
- 2026-11-02: add by m2/dev
Example 5XE1E18FW7
| URI | m2://inv/5XE1E18FW7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability density function#KGXH, Example (example)
History
- 2026-11-02: add by m2/dev
5XE2H6JSJF 5XE2H6JSJF
| URI | m2://inv/5XE2H6JSJF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Construction 5XEDRX1RDE
| URI | m2://inv/5XEDRX1RDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin group#1UH1, Construction (definition)
History
- 2026-11-02: add by m2/dev
5XEGHQQ6KQ 5XEGHQQ6KQ
| URI | m2://inv/5XEGHQQ6KQ |
|---|---|
| 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.08210#4GZ2 (statement). In 7452X8HQ21/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Spanier–Whitehead 5XEH54J469
| URI | m2://inv/5XEH54J469 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#K4PP, Spanier–Whitehead (definition)
History
- 2026-11-02: add by m2/dev
Adaptive chosen message attack 5XEJ200M83
| URI | m2://inv/5XEJ200M83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital signature#ME3B, Adaptive chosen message attack (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm 5XEQAEQ0MC
| URI | m2://inv/5XEQAEQ0MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random search#VDQT, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Broadened sampling at $A_{20}$ 5XEXK1006C
| URI | m2://inv/5XEXK1006C |
|---|---|
| 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.25120#NGFX, Broadened sampling at $A_{20}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
5XEZYVZC8B 5XEZYVZC8B
| URI | m2://inv/5XEZYVZC8B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#example-1 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
5XF1DCQRGC 5XF1DCQRGC
| URI | m2://inv/5XF1DCQRGC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10773#JCDB (definition). In 744Y8ZPEV7/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.3
Existence and properties of tangent cones 5XF5M2MW30
| URI | m2://inv/5XF5M2MW30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#C0LW, Existence and properties of tangent cones (statement). In AKB3CNDA0F/e1, proposition 3.17
History
- 2026-10-29: add by m2/v0.4.12
subterminal object 5XF8QVB2GG
| URI | m2://inv/5XF8QVB2GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8WGX, subterminal object (definition)
History
- 2026-11-02: add by m2/dev
5XFFZAQ1P6 5XFFZAQ1P6
| URI | m2://inv/5XFFZAQ1P6 |
|---|---|
| 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.03081#F9G4 (statement). In TX0H26X4VX/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.12
5XFNX7P7JB 5XFNX7P7JB
| URI | m2://inv/5XFNX7P7JB |
|---|---|
| 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 2609.27800#N333 (definition)
History
- 2026-11-01: add by m2/v0.6.15
5XFQQE8ESP 5XFQQE8ESP
| URI | m2://inv/5XFQQE8ESP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#VGF0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moments of $v^\top B_T^{-1}v$ 5XG6EBE67V
| URI | m2://inv/5XG6EBE67V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30105#C1Z3, Moments of $v^\top B_T^{-1}v$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
5XG7Y4E0ZN 5XG7Y4E0ZN
| URI | m2://inv/5XG7Y4E0ZN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
5XGP73NN9Z 5XGP73NN9Z
| URI | m2://inv/5XGP73NN9Z |
|---|---|
| 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#DD29 (statement). In 9H45HQE7AZ/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.3.5
James S. Rickards High School 5XGRY5TCY0
| URI | m2://inv/5XGRY5TCY0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#24B1, James S. Rickards High School (unknown)
History
- 2026-11-02: add by m2/dev
Local conditional information cost 5XGVEV9N8F
| URI | m2://inv/5XGVEV9N8F |
|---|---|
| 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#G9J5, Local conditional information cost (statement). In 9YAE8FNQST/e1, theorem 26.10
History
- 2026-10-30: add by m2/v0.4.12
empty set 5XGZW9YWAA
| URI | m2://inv/5XGZW9YWAA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.1/empty-set, empty set (concept). In Y91XFCEVHQ, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
5XH1H3QCER 5XH1H3QCER
| URI | m2://inv/5XH1H3QCER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#QMS0 (statement). In F0D8VSM4Z4/e1, theorem 5.10
History
- 2026-10-30: add by m2/v0.4.12
Stationary optimal-value lower bound 5XH2VM4YBD
| URI | m2://inv/5XH2VM4YBD |
|---|---|
| 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.37380#SG5W, Stationary optimal-value lower bound (statement). In 14Y4SA4SX0/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
5XH720YXQ2 5XH720YXQ2
| URI | m2://inv/5XH720YXQ2 |
|---|---|
| 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 2111.01197#C66N (statement). In Z36XFKVTS0/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.3.5
Ryszard Engelking 5XH9HBJG0A
| URI | m2://inv/5XH9HBJG0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8VMV, Ryszard Engelking (topic)
History
- 2026-11-02: add by m2/dev
5XHDDXQBXX 5XHDDXQBXX
| URI | m2://inv/5XHDDXQBXX |
|---|---|
| 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#X541 (statement). In TNC658NVMQ/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
5XHESF1N71 5XHESF1N71
| URI | m2://inv/5XHESF1N71 |
|---|---|
| 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.08288#HI76 (statement). In CHVWYJM7RM/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
Great pentagonal hexecontahedron 5XHF624PQC
| URI | m2://inv/5XHF624PQC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great snub icosidodecahedron#XV2D, Great pentagonal hexecontahedron (unknown)
History
- 2026-11-02: add by m2/dev
5XHNXYWS78 5XHNXYWS78
| URI | m2://inv/5XHNXYWS78 |
|---|---|
| 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 2609.21191#5VNI (statement)
History
- 2026-11-02: add by m2/v0.6.18
5XJ88T6H3Z 5XJ88T6H3Z
| URI | m2://inv/5XJ88T6H3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39218#NE0A (statement). In VPZSCE8HFP/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
5XJAKRV03E 5XJAKRV03E
| URI | m2://inv/5XJAKRV03E |
|---|---|
| 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.11700#K4YB (statement). In RW9AZQ1YZ2/e1, corollary 10
History
- 2026-10-28: add by m2/v0.4.3
\bf Stationarity from an approximate model 5XJM2J8H41
| URI | m2://inv/5XJM2J8H41 |
|---|---|
| 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.02791#HCA0, \bf Stationarity from an approximate model (statement). In TT9BA4VMTW/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
Jaffard ring 5XJMAVFF4W
| URI | m2://inv/5XJMAVFF4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jaffard ring, Jaffard ring (definition). Also Wikidata Q17098305
History
- 2026-11-02: add by m2/dev
orthonormal basis of irreducible characters 5XJQB6A26Z
| URI | m2://inv/5XJQB6A26Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > orthonormal basis of irreducible characters, orthonormal basis of irreducible characters (unknown)
History
- 2026-10-26: add by m2/dev
J. H. van Lint 5XJSV4265C
| URI | m2://inv/5XJSV4265C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. H. van Lint, J. H. van Lint (topic). Also Wikidata Q581677
History
- 2026-11-02: add by m2/dev
5XJWWZDK0K 5XJWWZDK0K
| URI | m2://inv/5XJWWZDK0K |
|---|---|
| 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.15525#6MMB (statement). In EFDRME13PT/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Primary direction 5XJY8MHVBY
| URI | m2://inv/5XJY8MHVBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equatorial coordinate system#NQ28, Primary direction (unknown)
History
- 2026-11-02: add by m2/dev
JASP 5XK4Q63Y77
| URI | m2://inv/5XK4Q63Y77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#UPI1, JASP (unknown)
History
- 2026-11-02: add by m2/dev
indifference 5XK732B96R
| URI | m2://inv/5XK732B96R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#B9UL, indifference (definition)
History
- 2026-11-02: add by m2/dev
5XK9NDHACC 5XK9NDHACC
| URI | m2://inv/5XK9NDHACC |
|---|---|
| Kind | definition |
| 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.34675#NNNR (definition). In C93BAXKJVD/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Applications 5XKE1X5PE9
| URI | m2://inv/5XKE1X5PE9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's rotation theorem#T4OP, Applications (example)
History
- 2026-11-02: add by m2/dev
5XKFQGWDW5 5XKFQGWDW5
| URI | m2://inv/5XKFQGWDW5 |
|---|---|
| Kind | example |
| 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 2609.30750#R74Q (example). In DACV7NTAAK/e1, example D.8
History
- 2026-10-31: add by m2/v0.5.6
The p-adic Littlewood conjecture 5XKFSNB6QG
| URI | m2://inv/5XKFSNB6QG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood conjecture#HDIY, The p-adic Littlewood conjecture (statement)
History
- 2026-11-02: add by m2/dev
Global Gan–Gross–Prasad conjecture 5XKNQ19PPR
| URI | m2://inv/5XKNQ19PPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gan–Gross–Prasad conjecture#KJ1Q, Global Gan–Gross–Prasad conjecture (statement)
History
- 2026-11-02: add by m2/dev
type, empty 5XKRK57G56
| URI | m2://inv/5XKRK57G56 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.7/type-empty, type, empty (concept). In N54F33XE07, index, section A.7
History
- 2026-11-01: add by m2/v0.6.13
Grouping refined labels 5XKXVECSMP
| URI | m2://inv/5XKXVECSMP |
|---|---|
| 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#1OZL, Grouping refined labels (statement). In 9YAE8FNQST/e1, lemma 30.10
History
- 2026-10-30: add by m2/v0.4.12
Applications 5XMMHYKYDW
| URI | m2://inv/5XMMHYKYDW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Craig interpolation#SRWV, Applications (example)
History
- 2026-11-02: add by m2/dev
Dimension-independent convergence 5XMMX86FAA
| URI | m2://inv/5XMMX86FAA |
|---|---|
| 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.14620#5GWE, Dimension-independent convergence (statement). In B7ZR6RMWX8/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Movement over $\RR \B_{\p}^{\d}$ 5XMN4P43CT
| URI | m2://inv/5XMN4P43CT |
|---|---|
| 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.20701#IKNB, Movement over $\RR \B_{\p}^{\d}$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
5XMQGA3TZF 5XMQGA3TZF
| URI | m2://inv/5XMQGA3TZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33584#BQA4 (statement). In 3HFBAWQCA1/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
Examples 5XN7D5MECS
| URI | m2://inv/5XN7D5MECS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind–MacNeille completion#473O, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications 5XN8Q23WP6
| URI | m2://inv/5XN8Q23WP6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester's sequence#V76I, Applications (example)
History
- 2026-11-02: add by m2/dev
L'Empire des nombres (documentary) 5XNA61J7SR
| URI | m2://inv/5XNA61J7SR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numbers: The Universal Language#M6ZW, L'Empire des nombres (documentary) (unknown)
History
- 2026-11-02: add by m2/dev
Device Keys 5XNECAG9S1
| URI | m2://inv/5XNECAG9S1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Device Keys, Device Keys (definition). Also Wikidata Q5267013
History
- 2026-11-02: add by m2/dev
Derived stability of the centered labeled covariance 5XNM7E19R2
| URI | m2://inv/5XNM7E19R2 |
|---|---|
| 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.05388#W97K, Derived stability of the centered labeled covariance (statement). In 4HJK1986EJ/e1, lemma C.15
History
- 2026-10-29: add by m2/v0.4.10
Heine--Borel \footnote{Named after the German mathematician \href{https://en.wikipedia.org/wiki/Eduard_Heine}{Heinrich Eduard Heine} (1821--1881), and the French mathematician \href{https://en.wikipedia.org/wiki/\%C3\%89mile_Borel}{F\'elix \'Edouard Justin \'Emile Borel} (1871--1956).} 5XNMMGG7QA
| URI | m2://inv/5XNMMGG7QA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#thm:msbw, Heine--Borel \footnote{Named after the German mathematician \href{https://en.wikipedia.org/wiki/Eduard_Heine}{Heinrich Eduard Heine} (1821--1881), and the French mathematician \href{https://en.wikipedia.org/wiki/\%C3\%89mile_Borel}{F\'elix \'Edouard Justin \'Emile Borel} (1871--1956).} (statement). In E59CDZA4DP, thm, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Multiplication on a bounded rectangle 5XNNV2XKFM
| URI | m2://inv/5XNNV2XKFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#B77A, Multiplication on a bounded rectangle (statement). In XXV36V6CK8/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
5XNYCYJ80D 5XNYCYJ80D
| URI | m2://inv/5XNYCYJ80D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39218#GTXD (statement). In VPZSCE8HFP/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
5XP1E5KXSK 5XP1E5KXSK
| URI | m2://inv/5XP1E5KXSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/decidability.tex#thm:decidability (statement). In PKGMM3P5QY, thm, section 33.4
History
- 2026-11-01: add by m2/v0.6.13
strictly non-palindromic number 5XP471E7NB
| URI | m2://inv/5XP471E7NB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q145134, strictly non-palindromic number (object). Also OEIS A016038
History
- 2026-10-26: add by m2/dev
5XP7M8358S 5XP7M8358S
| URI | m2://inv/5XP7M8358S |
|---|---|
| Kind | problem |
| 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.00103#4XM2 (problem). In S7RDXJWP1A/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
Markov operator, invariance 5XP92SKF72
| URI | m2://inv/5XP92SKF72 |
|---|---|
| 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 math/0003117#TTN3, Markov operator, invariance (definition). In WD2NCBV9F0/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.3.5
5XPJASWRA8 5XPJASWRA8
| URI | m2://inv/5XPJASWRA8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#9KFM (definition). In CGA36VE1C5/e1, definition 2.1.5
History
- 2026-10-27: add by m2/v0.3.6
Intrinsic metric 5XPRAF35H3
| URI | m2://inv/5XPRAF35H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#KF8F, Intrinsic metric (definition)
- wikipedia: Wikipedia List of general topology topics#XRYH, Intrinsic metric (definition)
History
- 2026-11-02: add by m2/dev
Artin reciprocity law 5XPS96AXCJ
| URI | m2://inv/5XPS96AXCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global field#49WD, Artin reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
Emanuel Parzen 5XPSP7Z8FT
| URI | m2://inv/5XPSP7Z8FT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#PY8J, Emanuel Parzen (topic)
History
- 2026-11-02: add by m2/dev
Properties 5XQ3F7ZZX9
| URI | m2://inv/5XQ3F7ZZX9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial linear space#REX7, Properties (statement)
- wikipedia: Wikipedia Linear space (geometry)#8UQJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statistical model validation 5XQ5QJ5XMM
| URI | m2://inv/5XQ5QJ5XMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical model validation, Statistical model validation (definition). Also Wikidata Q65089264
History
- 2026-11-02: add by m2/dev
challenging 5XQB11J98Y
| URI | m2://inv/5XQB11J98Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-13, challenging (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Isotopy (topology) 5XQB7NPD10
| URI | m2://inv/5XQB7NPD10 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy#TGLS, Isotopy (topology) (unknown)
History
- 2026-11-02: add by m2/dev
5XQNXNK19B 5XQNXNK19B
| URI | m2://inv/5XQNXNK19B |
|---|---|
| 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.33469#GH0F (statement). In TC5QA4AB4Z/e1, proposition 4.12
History
- 2026-10-30: add by m2/v0.4.12
Example 5XQSTNV460
| URI | m2://inv/5XQSTNV460 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of total expectation#IV7G, Example (example)
History
- 2026-11-02: add by m2/dev
rationals 5XQT7S99QZ
| URI | m2://inv/5XQT7S99QZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.1/rationals, rationals (concept). In Y91XFCEVHQ, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Ultrafilter 5XR1B4Z9Z6
| URI | m2://inv/5XR1B4Z9Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#5JPP, Ultrafilter (definition)
- wikipedia: Wikipedia List of general topology topics#ZK0C, Ultrafilter (definition)
History
- 2026-11-02: add by m2/dev
the two limit curves are really a single curve, described explicitly: $\mathrm{Yang}_{\infty}(x)=\mathrm{Yin}_{\infty}(x-\tfrac12)$ 5XRFZNEXAR
| URI | m2://inv/5XRFZNEXAR |
|---|---|
| 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.03728#GX1J, the two limit curves are really a single curve, described explicitly: $\mathrm{Yang}_{\infty}(x)=\mathrm{Yin}_{\infty}(x-\tfrac12)$ (statement). In NXR84SNM8F/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.12
5XRP078F7Y 5XRP078F7Y
| URI | m2://inv/5XRP078F7Y |
|---|---|
| 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 2609.36334#WLNZ (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
5XRYFWBDM4 5XRYFWBDM4
| URI | m2://inv/5XRYFWBDM4 |
|---|---|
| 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.20758#TN0M (statement). In PG0B4PH9YH/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.4.2
5XS2QWMYCT 5XS2QWMYCT
| URI | m2://inv/5XS2QWMYCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#prop:mult-pr (statement). In PKGMM3P5QY, prop, section 3.30
History
- 2026-11-01: add by m2/v0.6.13
Example 2 – a more elaborated version of the same statistics 5XSBF3FM32
| URI | m2://inv/5XSBF3FM32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood principle#6IRC, Example 2 – a more elaborated version of the same statistics (example)
History
- 2026-11-02: add by m2/dev
5XSHZ08DNE 5XSHZ08DNE
| URI | m2://inv/5XSHZ08DNE |
|---|---|
| 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 2504.18390#AIZQ (example). In A1E8BB0QHC/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
Properties 5XSKR5XHAX
| URI | m2://inv/5XSKR5XHAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biaugmented triangular prism#M7C2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Commutative Law of Addition 5XSMX4MBD5
| URI | m2://inv/5XSMX4MBD5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#theorem-2, Commutative Law of Addition (statement). In QKM9DD2H56, theorem, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
regular, transition matrix 5XT7T5C55W
| URI | m2://inv/5XT7T5C55W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.3/regular-transition-matrix, regular, transition matrix (concept). In QKM9DD2H56, index, section 16.3
History
- 2026-11-01: add by m2/v0.6.13
number sign 5XTJY4Y9N0
| URI | m2://inv/5XTJY4Y9N0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q175743, number sign (unknown). Also MathWorld Octothorpe
History
- 2026-10-26: add by m2/dev
5XTN27D8G1 5XTN27D8G1
| URI | m2://inv/5XTN27D8G1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-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.40290#MB3N (example). In 4K1CNBYJHF/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
Compression theorem 5XTQSGNMDH
| URI | m2://inv/5XTQSGNMDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5157054, Compression theorem (statement). Also Wikidata Q5157054
- thousand_plus: thousand_plus Q5157054, Compression theorem (statement). Also Wikidata Q5157054, Wikipedia Compression theorem
- wikipedia: Wikipedia Compression theorem, Compression theorem (statement). Also Wikidata Q5157054
History
- 2026-10-26: add by m2/dev
Bird 5XTR8QBGC7
| URI | m2://inv/5XTR8QBGC7 |
|---|---|
| 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 2302.04566#NQRD, Bird (statement). In 80S2NP05HJ/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
5XTRKSSPKW 5XTRKSSPKW
| URI | m2://inv/5XTRKSSPKW |
|---|---|
| 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.25094#E2YS (statement)
History
- 2026-11-01: add by m2/v0.6.15
James Hann 5XTSGS90W6
| URI | m2://inv/5XTSGS90W6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Hann, James Hann (topic). Also Wikidata Q15994477
History
- 2026-11-02: add by m2/dev
François Labourie 5XTTH9EVAK
| URI | m2://inv/5XTTH9EVAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Labourie, François Labourie (topic). Also Wikidata Q1428886
History
- 2026-11-02: add by m2/dev
Discrete logarithm 5XTY5PCH6H
| URI | m2://inv/5XTY5PCH6H |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#GB1K, Discrete logarithm (conjecture)
History
- 2026-11-02: add by m2/dev
5XV142XMK1 5XV142XMK1
| URI | m2://inv/5XV142XMK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.29574#7NHX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gregory Freiman 5XV51Y5VKH
| URI | m2://inv/5XV51Y5VKH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregory Freiman, Gregory Freiman (topic). Also Wikidata Q5606920
History
- 2026-11-02: add by m2/dev
5XV9V4XN70 5XV9V4XN70
| URI | m2://inv/5XV9V4XN70 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#4HC6 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Statement 5XVB15H516
| URI | m2://inv/5XVB15H516 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Myerson–Satterthwaite theorem#IIXW, Statement (statement)
History
- 2026-11-02: add by m2/dev
5XVC53VA24 5XVC53VA24
| URI | m2://inv/5XVC53VA24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10330#OQ5R (statement). In CDXQHNX1P8/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Multivariate adaptive regression spline 5XVMTD13K0
| URI | m2://inv/5XVMTD13K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate adaptive regression spline, Multivariate adaptive regression spline (definition). Also Wikidata Q3455882
History
- 2026-11-02: add by m2/dev
Theta graph 5XVQ4FGAWG
| URI | m2://inv/5XVQ4FGAWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta graph, Theta graph (definition). Also Wikidata Q17104040
History
- 2026-11-02: add by m2/dev
Multilevel fast multipole method 5XVYBAK21S
| URI | m2://inv/5XVYBAK21S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilevel fast multipole method, Multilevel fast multipole method (definition). Also Wikidata Q17104312
History
- 2026-11-02: add by m2/dev
5XW54XH6QY 5XW54XH6QY
| URI | m2://inv/5XW54XH6QY |
|---|---|
| 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.10221#AK6M (statement). In 9Z5M655EPV/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Elegance 5XW8710J6B
| URI | m2://inv/5XW8710J6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elegance, Elegance (definition). Also Wikidata Q1207152
History
- 2026-11-02: add by m2/dev
Nine Mile Prairie Township, Callaway County, Missouri 5XWEN713PE
| URI | m2://inv/5XWEN713PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4I27, Nine Mile Prairie Township, Callaway County, Missouri (unknown)
History
- 2026-11-02: add by m2/dev
inversive distance 5XWH6C43QX
| URI | m2://inv/5XWH6C43QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6060481, inversive distance (unknown). Also MathWorld InversiveDistance
- wikipedia: Wikipedia Inversive distance, Inversive distance (definition). Also Wikidata Q6060481
History
- 2026-10-26: add by m2/dev
Q-Weibull distribution 5XWHW1Q75N
| URI | m2://inv/5XWHW1Q75N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Weibull distribution, Q-Weibull distribution (definition). Also Wikidata Q17105399
History
- 2026-11-02: add by m2/dev
5XWNBGTKFZ 5XWNBGTKFZ
| URI | m2://inv/5XWNBGTKFZ |
|---|---|
| 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.05314#6L6J (statement). In PA3B6C0WY7/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
5XWNQZT5WA 5XWNQZT5WA
| URI | m2://inv/5XWNQZT5WA |
|---|---|
| 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.20391#37B9 (statement). In CTAS41TRM2/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
By a formula 5XWNXNX4YZ
| URI | m2://inv/5XWNXNX4YZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function (mathematics)#DOEU, By a formula (statement)
History
- 2026-11-02: add by m2/dev
Effective temperature 5XWTV1MC6D
| URI | m2://inv/5XWTV1MC6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective temperature, Effective temperature (definition). Also Wikidata Q854050
History
- 2026-11-02: add by m2/dev
5XWVDT4NN9 5XWVDT4NN9
| URI | m2://inv/5XWVDT4NN9 |
|---|---|
| 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 2610.10505#WL0Y (statement). In JW8HH6EPG2/e1, lemma 3.34
History
- 2026-10-29: add by m2/v0.4.10
Small ditrigonal dodecicosidodecahedron 5XX3KPHT5Q
| URI | m2://inv/5XX3KPHT5Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#2F9P, Small ditrigonal dodecicosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Isotropic vector 5XX80BX20E
| URI | m2://inv/5XX80BX20E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#DCXF, Isotropic vector (definition)
History
- 2026-11-02: add by m2/dev
Sanford L. Segal 5XXBGXRFHJ
| URI | m2://inv/5XXBGXRFHJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sanford L. Segal, Sanford L. Segal (topic). Also Wikidata Q7417638
History
- 2026-11-02: add by m2/dev
Properties 5XXFNEAD5B
| URI | m2://inv/5XXFNEAD5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metacompact space#XMQX, Properties (statement)
History
- 2026-11-02: add by m2/dev
5XXPB4V285 5XXPB4V285
| URI | m2://inv/5XXPB4V285 |
|---|---|
| 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#TFRP (example). In HX63A1PH1W/e1, example 8.19
History
- 2026-10-28: add by m2/v0.4.3
Applications 5XXT39WVSE
| URI | m2://inv/5XXT39WVSE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brun sieve#40S2, Applications (example)
History
- 2026-11-02: add by m2/dev
Renata Kallosh 5XXTS0XFNW
| URI | m2://inv/5XXTS0XFNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#CTIK, Renata Kallosh (unknown)
History
- 2026-11-02: add by m2/dev
Interleaving distance 5XXXGQHA3P
| URI | m2://inv/5XXXGQHA3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interleaving distance, Interleaving distance (definition). Also Wikidata Q117465455
History
- 2026-11-02: add by m2/dev
5XY2CP92T3 5XY2CP92T3
| URI | m2://inv/5XY2CP92T3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.01346#JX9K (definition). In 44DQ7W1NW9/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Generalization 5XY3SF4VA0
| URI | m2://inv/5XY3SF4VA0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner inellipse#KE5H, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Example 5XY8WAA8ZP
| URI | m2://inv/5XY8WAA8ZP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected mean squares#Q9EE, Example (example)
History
- 2026-11-02: add by m2/dev
5XY93MMWA0 5XY93MMWA0
| URI | m2://inv/5XY93MMWA0 |
|---|---|
| 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#YVVX (statement). In F3MWRNBNED/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.3.5
5XYAZX1G7P 5XYAZX1G7P
| URI | m2://inv/5XYAZX1G7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.24545#OKSH (statement)
History
- 2026-11-01: add by m2/v0.6.15
5XYCEKH7NC 5XYCEKH7NC
| URI | m2://inv/5XYCEKH7NC |
|---|---|
| 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.16731#QIDG (statement). In D68KBZQ4Q6/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Square root of 6 5XYCMWJPFJ
| URI | m2://inv/5XYCMWJPFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of 6, Square root of 6 (definition). Also Wikidata Q111952608
History
- 2026-11-02: add by m2/dev
Yehoshua Bar-Hillel 5XYGHE2VHS
| URI | m2://inv/5XYGHE2VHS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#R91P, Yehoshua Bar-Hillel (topic)
History
- 2026-11-02: add by m2/dev
completion, Cauchy 5XYJ3VWH4Q
| URI | m2://inv/5XYJ3VWH4Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3/completion-cauchy, completion, Cauchy (concept). In N54F33XE07, index, section B.3
History
- 2026-11-01: add by m2/v0.6.13
5XYKSJ6W1T 5XYKSJ6W1T
| URI | m2://inv/5XYKSJ6W1T |
|---|---|
| Kind | statement |
| 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 2610.22082#K3T9 (statement). In 7PACGDW3N7/e1, proposition 10.1
History
- 2026-10-27: add by m2/v0.4.0
5XYPK3S76P 5XYPK3S76P
| URI | m2://inv/5XYPK3S76P |
|---|---|
| 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 2604.05177#QUFQ (statement). In G04BKQV6YM/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Example 5XYTZJM2WD
| URI | m2://inv/5XYTZJM2WD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gershgorin circle theorem#S1Z4, Example (example)
History
- 2026-11-02: add by m2/dev
5XYWFEF71D 5XYWFEF71D
| URI | m2://inv/5XYWFEF71D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-26 (proof). In N54F33XE07, proof, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
5XZ02J94GD 5XZ02J94GD
| URI | m2://inv/5XZ02J94GD |
|---|---|
| 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 Q151746 (unknown). Also nLab François Englert
History
- 2026-10-26: add by m2/dev
5XZ0ZGSF25 5XZ0ZGSF25
| URI | m2://inv/5XZ0ZGSF25 |
|---|---|
| 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.06707#IGA8 (statement). In 9TR5E527P5/e1, lemma 6.17
History
- 2026-10-29: add by m2/v0.4.10
Serre's modularity conjecture 5XZ1QS6RJ8
| URI | m2://inv/5XZ1QS6RJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#3HI6, Serre's modularity conjecture (statement)
History
- 2026-11-02: add by m2/dev
5XZ43Y4KPA 5XZ43Y4KPA
| URI | m2://inv/5XZ43Y4KPA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 67.2
History
- 2026-11-01: add by m2/v0.6.13
5XZ9D3CPAJ 5XZ9D3CPAJ
| URI | m2://inv/5XZ9D3CPAJ |
|---|---|
| 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 2609.20368#9USX (definition)
History
- 2026-11-02: add by m2/v0.6.18
5XZN3SDVKA 5XZN3SDVKA
| URI | m2://inv/5XZN3SDVKA |
|---|---|
| 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 2609.20606#RZEK (example)
History
- 2026-11-02: add by m2/v0.6.18
Dixmier conjecture 5XZPQH086G
| URI | m2://inv/5XZPQH086G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dixmier conjecture, Dixmier conjecture (statement). Also Wikidata Q5284929
History
- 2026-11-02: add by m2/dev