Inventory rows CP
The cards of the rows of the inventory whose ids start with CP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Coherence (signal processing) CP00XR82ST
| URI | m2://inv/CP00XR82ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NQMI, Coherence (signal processing) (definition)
History
- 2026-11-02: add by m2/dev
The implicit graph conjecture CP02SXFRPX
| URI | m2://inv/CP02SXFRPX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit graph#79E6, The implicit graph conjecture (statement)
History
- 2026-11-02: add by m2/dev
Grushin space $G_2^\alpha$ CP042JC0MQ
| URI | m2://inv/CP042JC0MQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#6Z59, Grushin space $G_2^\alpha$ (example)
History
- 2026-11-01: add by m2/v0.6.15
Kepler Museum CP09K9FT7K
| URI | m2://inv/CP09K9FT7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#G0IW, Kepler Museum (unknown)
History
- 2026-11-02: add by m2/dev
Inhomogeneous Beatty set CP0K49Q7C0
| URI | m2://inv/CP0K49Q7C0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#35S8, Inhomogeneous Beatty set (example). In 1K7M5TD0M2/e1, example 1.1
History
- 2026-10-29: add by m2/v0.4.12
CP0K5Q8E00 CP0K5Q8E00
| URI | m2://inv/CP0K5Q8E00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#C9Q7 (statement). In F1CYVYK7YB/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
CP0PD0JAYP CP0PD0JAYP
| URI | m2://inv/CP0PD0JAYP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
Definition CP0RSAQMV3
| URI | m2://inv/CP0RSAQMV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Néron model#FCJZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
CP10D70MFX CP10D70MFX
| URI | m2://inv/CP10D70MFX |
|---|---|
| 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.05617#XZBT (statement). In 5JP3JTYAXK/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
Borel CP11PWMJRT
| URI | m2://inv/CP11PWMJRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#QS9A, Borel (definition)
History
- 2026-11-02: add by m2/dev
CP12HSN6F3 CP12HSN6F3
| URI | m2://inv/CP12HSN6F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29641#QB07 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Descriptive complexity theory CP14RRVVVT
| URI | m2://inv/CP14RRVVVT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive complexity theory, Descriptive complexity theory (topic). Also Wikidata Q1200755
History
- 2026-11-02: add by m2/dev
CP163AEQPT CP163AEQPT
| URI | m2://inv/CP163AEQPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#4P1P (statement). In 7XV6T4N79V/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.10
CP1859GEWD CP1859GEWD
| URI | m2://inv/CP1859GEWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#YOL5 (statement). In XFE35F9NEV/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Albertson conjecture CP1GXKH9DC
| URI | m2://inv/CP1GXKH9DC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#QUDR, Albertson conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Strict-saddle basins CP1H4VAA1W
| URI | m2://inv/CP1H4VAA1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#V513, Strict-saddle basins (statement). In CHPJWBREES/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
CP1J2BSZW4 CP1J2BSZW4
| URI | m2://inv/CP1J2BSZW4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#35KO (definition). In V5PVKDKGGG/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Box inequality CP1MMW02DV
| URI | m2://inv/CP1MMW02DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#21ES, Box inequality (statement). In TNREX5GDK2/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
CP1MN1E9TP CP1MN1E9TP
| URI | m2://inv/CP1MN1E9TP |
|---|---|
| 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 2601.22681#MH1B (definition). In 68VEQQX68G/e1, definition 1.14
History
- 2026-10-27: add by m2/v0.4.0
CP1TVKTZC0 CP1TVKTZC0
| URI | m2://inv/CP1TVKTZC0 |
|---|---|
| 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 2210.04075#GNBM (statement). In C5DZR0TC5E/e1, corollary 2.12
History
- 2026-10-27: add by m2/v0.3.5
CP21TACGEA CP21TACGEA
| URI | m2://inv/CP21TACGEA |
|---|---|
| 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 math/0301148#0JA0 (statement). In 5RE15848Z0/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
Conway–Maxwell–Poisson distribution CP2A4249RR
| URI | m2://inv/CP2A4249RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway–Maxwell–Poisson distribution, Conway–Maxwell–Poisson distribution (definition). Also Wikidata Q3258310
History
- 2026-11-02: add by m2/dev
pullback CP2E7X7PGG
| URI | m2://inv/CP2E7X7PGG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.8/pullback, pullback (concept). In N54F33XE07, index, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
CP2G3J5GZD CP2G3J5GZD
| URI | m2://inv/CP2G3J5GZD |
|---|---|
| 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 1509.00950#PLS9 (statement). In MDZFW5GACV/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
CP2G874SPS CP2G874SPS
| URI | m2://inv/CP2G874SPS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#C913 (definition). In GGVQ3B9KJ6/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Arnold Emch CP2YJXPAB1
| URI | m2://inv/CP2YJXPAB1 |
|---|---|
| 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#K2M0, Arnold Emch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P4S5, Arnold Emch (topic)
History
- 2026-11-02: add by m2/dev
Formal statement CP2YXJHJ2A
| URI | m2://inv/CP2YXJHJ2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy problem#YLJ2, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
CP38EX326Q CP38EX326Q
| URI | m2://inv/CP38EX326Q |
|---|---|
| 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.03062#3XTJ (statement). In 5H7985A5SD/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
CP3JCW9N6K CP3JCW9N6K
| URI | m2://inv/CP3JCW9N6K |
|---|---|
| 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.00048#8RHY (statement). In 4T0CFT0MMX/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
CP3KXVA76W CP3KXVA76W
| URI | m2://inv/CP3KXVA76W |
|---|---|
| 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.28993#SFXR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hand-waving CP41CXQE5D
| URI | m2://inv/CP41CXQE5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hand-waving, Hand-waving (definition). Also Wikidata Q2861077
History
- 2026-11-02: add by m2/dev
CP4203R6ZF CP4203R6ZF
| URI | m2://inv/CP4203R6ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16181#25SI (statement). In RXQ64S1BWP/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Special cases CP43N9PT44
| URI | m2://inv/CP43N9PT44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Appell polynomials#S18Q, Special cases (statement)
History
- 2026-11-02: add by m2/dev
CP47653Q69 CP47653Q69
| URI | m2://inv/CP47653Q69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#H3ES (statement). In DPJ15KW23C/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
CP4958G1QY CP4958G1QY
| URI | m2://inv/CP4958G1QY |
|---|---|
| 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.14502#YA63 (statement). In 6BVBMTYXNZ/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Unique homomorphic extension theorem CP4ESEXEQ3
| URI | m2://inv/CP4ESEXEQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique homomorphic extension theorem, Unique homomorphic extension theorem (statement). Also Wikidata Q48996213
History
- 2026-11-02: add by m2/dev
Pointwise mutual information CP4GWCPXDH
| URI | m2://inv/CP4GWCPXDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise mutual information, Pointwise mutual information (definition). Also Wikidata Q3798612
History
- 2026-11-02: add by m2/dev
CP4JYSCA9E CP4JYSCA9E
| URI | m2://inv/CP4JYSCA9E |
|---|---|
| Kind | definition |
| 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 2011.07352#4JHE (definition). In 3VPC1GGZ3E/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.3.5
CP4MVZA66T CP4MVZA66T
| URI | m2://inv/CP4MVZA66T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 15.4
History
- 2026-11-01: add by m2/v0.6.13
Curves are measurable, for free CP4PHCXGS7
| URI | m2://inv/CP4PHCXGS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#NZOK, Curves are measurable, for free (statement)
History
- 2026-11-01: add by m2/v0.6.15
Power-law envelope CP4SN5KNDB
| URI | m2://inv/CP4SN5KNDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38267#M7X2, Power-law envelope (statement). In 518V871EKW/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Monte Vista CP4TT5GFAJ
| URI | m2://inv/CP4TT5GFAJ |
|---|---|
| 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#CKPP, Monte Vista (unknown)
History
- 2026-11-02: add by m2/dev
CP506TECR9 CP506TECR9
| URI | m2://inv/CP506TECR9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#GPCK (definition). In AQX7DGD360/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
CP52C1BC27 CP52C1BC27
| URI | m2://inv/CP52C1BC27 |
|---|---|
| Kind | definition |
| 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 0810.0962#5JR0 (definition). In 80YMRN5KS9/e1, definition 9
History
- 2026-10-27: add by m2/v0.3.5
CP53E8HZZ0 CP53E8HZZ0
| URI | m2://inv/CP53E8HZZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.04407#0QCK (statement). In XCZS191H6Q/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.6
The interpolation and its adjoint CP55BDV0G8
| URI | m2://inv/CP55BDV0G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#V252, The interpolation and its adjoint (statement). In A20E8FZS21/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
CP562EHCVA CP562EHCVA
| URI | m2://inv/CP562EHCVA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#A546 (example). In ZPT9XCCAPQ/e1, example 1.2.1
History
- 2026-10-31: add by m2/v0.5.6
Exact Gaussian integer rounding CP56Q17WTK
| URI | m2://inv/CP56Q17WTK |
|---|---|
| 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#C406, Exact Gaussian integer rounding (statement). In 9YAE8FNQST/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
adjoint CP5CHT9XZH
| URI | m2://inv/CP5CHT9XZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#YZC7, adjoint (definition)
History
- 2026-11-02: add by m2/dev
CP5CSRGP4J CP5CSRGP4J
| URI | m2://inv/CP5CSRGP4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20717#5B85 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Giovanni Gallavotti CP5FYHZDKR
| URI | m2://inv/CP5FYHZDKR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J6RQ, Giovanni Gallavotti (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HVSQ, Giovanni Gallavotti (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I6XP, Giovanni Gallavotti (unknown)
History
- 2026-11-02: add by m2/dev
CP5H8T0NT3 CP5H8T0NT3
| URI | m2://inv/CP5H8T0NT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.03317#956H (statement). In T2ESY2PE1R/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
ADM formalism CP5PDTSC3S
| URI | m2://inv/CP5PDTSC3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADM formalism, ADM formalism (definition). Also Wikidata Q290420
History
- 2026-11-02: add by m2/dev
Hadamard code CP5QF7PEGG
| URI | m2://inv/CP5QF7PEGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard code, Hadamard code (definition). Also Wikidata Q1567339
History
- 2026-11-02: add by m2/dev
De Morgan's rules CP5QXEZDRB
| URI | m2://inv/CP5QXEZDRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6VZN, De Morgan's rules (definition)
History
- 2026-11-02: add by m2/dev
CP5SGDE8W4 CP5SGDE8W4
| URI | m2://inv/CP5SGDE8W4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#definition-4 (definition). In RZP28ERRZV, definition, section 63.3
History
- 2026-11-01: add by m2/v0.6.13
CP5WG2FA01 CP5WG2FA01
| URI | m2://inv/CP5WG2FA01 |
|---|---|
| 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.21622#K251 (statement). In H21X3FHNYJ/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.4.2
CP5WXKRKC2 CP5WXKRKC2
| URI | m2://inv/CP5WXKRKC2 |
|---|---|
| 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 2602.14912#HFC7 (example). In A87BVH5DCM/e1, example 5.3
History
- 2026-10-27: add by m2/v0.3.5
CP669G1XAB CP669G1XAB
| URI | m2://inv/CP669G1XAB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
CP66M2QW9R CP66M2QW9R
| URI | m2://inv/CP66M2QW9R |
|---|---|
| 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.33250#98Q9 (statement). In JCTD510XJ0/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Variations CP67037W82
| URI | m2://inv/CP67037W82 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős number#3YZ9, Variations (statement)
History
- 2026-11-02: add by m2/dev
Problem CP67HQX4DC
| URI | m2://inv/CP67HQX4DC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass point geometry#VV6F, Problem (problem)
History
- 2026-11-02: add by m2/dev
CP69V5GS7S CP69V5GS7S
| URI | m2://inv/CP69V5GS7S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#MFB9 (definition). In PWXT7J9JX3/e1, definition 2.18
History
- 2026-10-28: add by m2/v0.4.2
List of named matrices CP6ABGVJQY
| URI | m2://inv/CP6ABGVJQY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices, List of named matrices (topic). Also Wikidata Q2663605
History
- 2026-11-02: add by m2/dev
Skip Garibaldi CP6AGH5XG2
| URI | m2://inv/CP6AGH5XG2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KXOM, Skip Garibaldi (topic)
History
- 2026-11-02: add by m2/dev
Kenneth Davidson CP6F2KAF0X
| URI | m2://inv/CP6F2KAF0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth Davidson (mathematician), Kenneth Davidson (topic). Also Wikidata Q6390028
History
- 2026-11-02: add by m2/dev
Trigonometric functions CP6GR6AR59
| URI | m2://inv/CP6GR6AR59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#XA72, Trigonometric functions (definition)
History
- 2026-11-02: add by m2/dev
CP6QMPWC7X CP6QMPWC7X
| URI | m2://inv/CP6QMPWC7X |
|---|---|
| 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.24463#N4TG (statement)
History
- 2026-11-01: add by m2/v0.6.15
CP6S6SHZ7R CP6S6SHZ7R
| URI | m2://inv/CP6S6SHZ7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27766#XD99 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Infinitesimal analysis CP6T8CW6P4
| URI | m2://inv/CP6T8CW6P4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SEVH, Infinitesimal analysis (definition)
History
- 2026-11-02: add by m2/dev
decagon CP717D34E2
| URI | m2://inv/CP717D34E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q184625, decagon (unknown). Also MathWorld Decagon
- wikipedia: Wikipedia Decagon, Decagon (definition). Also Wikidata Q184625
History
- 2026-10-26: add by m2/dev
CP71QKCWGC CP71QKCWGC
| URI | m2://inv/CP71QKCWGC |
|---|---|
| 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.18992#XY51 (statement). In S7PNTM0GZC/e1, proposition A.4
History
- 2026-10-28: add by m2/v0.4.2
Monotone set function CP733Z9BD5
| URI | m2://inv/CP733Z9BD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Submodular set function#RBE2, Monotone set function (unknown)
History
- 2026-11-02: add by m2/dev
CP73S5V5GC CP73S5V5GC
| URI | m2://inv/CP73S5V5GC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-1 (proof). In VNMV985MXX, proof, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
George Johnston Allman CP79Q5PEZD
| URI | m2://inv/CP79Q5PEZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Johnston Allman, George Johnston Allman (topic). Also Wikidata Q3760554
History
- 2026-11-02: add by m2/dev
CP7R4G715V CP7R4G715V
| URI | m2://inv/CP7R4G715V |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#1QKJ (problem). In GYSF9JXQCH/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
Full sunflower relation CP7V80064B
| URI | m2://inv/CP7V80064B |
|---|---|
| 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.27044#WSOM, Full sunflower relation (statement)
History
- 2026-11-01: add by m2/v0.6.15
CP7VZ2K91P CP7VZ2K91P
| URI | m2://inv/CP7VZ2K91P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25291#9W0K (statement)
History
- 2026-11-01: add by m2/v0.6.15
CP7WS53PBY CP7WS53PBY
| URI | m2://inv/CP7WS53PBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#TJ90 (statement)
History
- 2026-11-01: add by m2/v0.6.15
CP807SCMGE CP807SCMGE
| URI | m2://inv/CP807SCMGE |
|---|---|
| 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 2511.07697#I6XM (statement). In 57P5P33HS3/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Desmic system CP80KZSXPZ
| URI | m2://inv/CP80KZSXPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desmic system, Desmic system (definition). Also Wikidata Q5264615
History
- 2026-11-02: add by m2/dev
CP82NDAQRC CP82NDAQRC
| URI | m2://inv/CP82NDAQRC |
|---|---|
| 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.04675#I4WU (statement). In RDXNFF2CZP/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.12
Qualitative statement of the law CP85ZMCZQ4
| URI | m2://inv/CP85ZMCZQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law for gravity#UQGU, Qualitative statement of the law (statement)
History
- 2026-11-02: add by m2/dev
Axiom A CP87FVGX4W
| URI | m2://inv/CP87FVGX4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom A, Axiom A (statement). Also Wikidata Q4059942
History
- 2026-11-02: add by m2/dev
CP87MMDDPA CP87MMDDPA
| URI | m2://inv/CP87MMDDPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02570#YAYE (statement). In 6JK30RQ1SX/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
CP8C6Y107W CP8C6Y107W
| URI | m2://inv/CP8C6Y107W |
|---|---|
| Kind | example |
| 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 2508.03972#IVSX (example). In 2JD3KNKJ1P/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
Noncentrality parameter CP8HB73XHE
| URI | m2://inv/CP8HB73XHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UELS, Noncentrality parameter (definition)
History
- 2026-11-02: add by m2/dev
CP8NSZQ2VK CP8NSZQ2VK
| URI | m2://inv/CP8NSZQ2VK |
|---|---|
| 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.15111#MYEC (statement). In 6RE6JYE4GP/e1, lemma F.11
History
- 2026-10-28: add by m2/v0.4.2
Giovanni Frattini CP8NWWJM5N
| URI | m2://inv/CP8NWWJM5N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Frattini, Giovanni Frattini (topic). Also Wikidata Q137829
History
- 2026-11-02: add by m2/dev
Jeu de taquin CP8NY62P2C
| URI | m2://inv/CP8NY62P2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeu de taquin, Jeu de taquin (definition). Also Wikidata Q1688557
History
- 2026-11-02: add by m2/dev
ILATE CP8WVVAHXM
| URI | m2://inv/CP8WVVAHXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by parts#01H3, ILATE (unknown)
History
- 2026-11-02: add by m2/dev
CP93QEGGXM CP93QEGGXM
| URI | m2://inv/CP93QEGGXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26723#QXHE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Implementations CP9H7A5DTB
| URI | m2://inv/CP9H7A5DTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchberger's algorithm#NAVH, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Zvonimir Janko CP9MMZM8YP
| URI | m2://inv/CP9MMZM8YP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0F2T, Zvonimir Janko (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MEUQ, Zvonimir Janko (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OV5R, Zvonimir Janko (unknown)
History
- 2026-11-02: add by m2/dev
CP9NECS3EH CP9NECS3EH
| URI | m2://inv/CP9NECS3EH |
|---|---|
| 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.27957#ANQ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem CP9SPE8D0F
| URI | m2://inv/CP9SPE8D0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jucys–Murphy element#IGG5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mesh of a partition CP9T086BTJ
| URI | m2://inv/CP9T086BTJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition of an interval#8ESA, Mesh of a partition (unknown)
History
- 2026-11-02: add by m2/dev
Song--Tucker CP9Z8A4STH
| URI | m2://inv/CP9Z8A4STH |
|---|---|
| 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.08753#3PK4, Song--Tucker (statement). In J9P361Z1CX/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
CPA6ZA33QQ CPA6ZA33QQ
| URI | m2://inv/CPA6ZA33QQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#example-orthogonal-basis (example). In 649HGZKE96, example, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
CPAC7HYR2T CPAC7HYR2T
| URI | m2://inv/CPAC7HYR2T |
|---|---|
| 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.21098#X6CG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formal definition CPAPSVCRG9
| URI | m2://inv/CPAPSVCRG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order embedding#1VXL, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Sensometrics CPAW0T4JDM
| URI | m2://inv/CPAW0T4JDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensometrics, Sensometrics (definition). Also Wikidata Q109000697
History
- 2026-11-02: add by m2/dev
CPAWCD3CJ6 CPAWCD3CJ6
| URI | m2://inv/CPAWCD3CJ6 |
|---|---|
| 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.14681#6RY2 (statement). In 459W0NBS5Q/e1, theorem 14
History
- 2026-10-28: add by m2/v0.4.2
Mercator series CPB7YG1KVW
| URI | m2://inv/CPB7YG1KVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Mercator series 0YZXNE3HFR |
Mentions
- wikidata: Wikidata Q677568, Mercator series (unknown). Also MathWorld MercatorSeries
- wikipedia: Wikipedia Mercator series, Mercator series (definition). Also Wikidata Q677568
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Valentin Turchin CPB9YM937Z
| URI | m2://inv/CPB9YM937Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#LEF6, Valentin Turchin (unknown)
History
- 2026-11-02: add by m2/dev
Champernowne, D. G. CPBB090JHK
| URI | m2://inv/CPBB090JHK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DYZE, Champernowne, D. G. (topic)
History
- 2026-11-02: add by m2/dev
Wang and Landau algorithm CPBCVEVMF2
| URI | m2://inv/CPBCVEVMF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZRY8, Wang and Landau algorithm (definition)
History
- 2026-11-02: add by m2/dev
CPBFSRMT4Q CPBFSRMT4Q
| URI | m2://inv/CPBFSRMT4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#5ALP (statement). In BVAWVRS3R9/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
programming CPBK4529WP
| URI | m2://inv/CPBK4529WP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.2/programming, programming (concept). In N54F33XE07, index, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
Planck constant CPBP8WVRJ6
| URI | m2://inv/CPBP8WVRJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122894, Planck constant (definition). Also nLab Planck's constant, ProofWiki Definition:Planck's_Constant
History
- 2026-10-26: add by m2/dev
First-Order Fluid CPBQBPBK9Y
| URI | m2://inv/CPBQBPBK9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power-law fluid#X7M5, First-Order Fluid (unknown)
History
- 2026-11-02: add by m2/dev
A maximal-torus criterion for redundancy CPBV59K1WD
| URI | m2://inv/CPBV59K1WD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#BCHM, A maximal-torus criterion for redundancy (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications CPCAAG9XX2
| URI | m2://inv/CPCAAG9XX2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Kalman filter#3SQZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Jie Chen CPCB70SST0
| URI | m2://inv/CPCB70SST0 |
|---|---|
| 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#GZNN, Jie Chen (unknown)
History
- 2026-11-02: add by m2/dev
Random graph theory of gelation CPCEDN4ST7
| URI | m2://inv/CPCEDN4ST7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random graph theory of gelation, Random graph theory of gelation (definition). Also Wikidata Q105821425
History
- 2026-11-02: add by m2/dev
Kodaira embedding theorem CPCW57W5M6
| URI | m2://inv/CPCW57W5M6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4KMM, Kodaira embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
real numbers, Dedekind CPDCG1BG20
| URI | m2://inv/CPDCG1BG20 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/real-numbers-dedekind, real numbers, Dedekind (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
Conditional Kraft-admissible codelength CPDJVP16DQ
| URI | m2://inv/CPDJVP16DQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#CPRA, Conditional Kraft-admissible codelength (definition)
History
- 2026-11-01: add by m2/v0.6.15
Wilson matrix CPDREKT37B
| URI | m2://inv/CPDREKT37B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#7WYR, Wilson matrix (definition)
History
- 2026-11-02: add by m2/dev
Five Mile River, Nova Scotia CPDWNN7K8B
| URI | m2://inv/CPDWNN7K8B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#S8GY, Five Mile River, Nova Scotia (unknown)
History
- 2026-11-02: add by m2/dev
Examples CPDZY1EN6Y
| URI | m2://inv/CPDZY1EN6Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform isomorphism#30JV, Examples (example)
History
- 2026-11-02: add by m2/dev
Pillai's conjecture CPE07GVFEP
| URI | m2://inv/CPE07GVFEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan's conjecture#8NU7, Pillai's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Robust optimization CPE1R8R8G2
| URI | m2://inv/CPE1R8R8G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust optimization, Robust optimization (definition). Also Wikidata Q2160088
History
- 2026-11-02: add by m2/dev
Applications CPE3CZ3AZD
| URI | m2://inv/CPE3CZ3AZD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov additive process#RTBF, Applications (example)
History
- 2026-11-02: add by m2/dev
Erica Brittain CPE57Y4KNZ
| URI | m2://inv/CPE57Y4KNZ |
|---|---|
| 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#137C, Erica Brittain (topic)
History
- 2026-11-02: add by m2/dev
CPEC91RDT4 CPEC91RDT4
| URI | m2://inv/CPEC91RDT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#PXCR (statement). In WRE0P7V6Z3/e1, lemma 14.4
History
- 2026-10-30: add by m2/v0.4.12
Louis Leithold CPEMZNHR2F
| URI | m2://inv/CPEMZNHR2F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Leithold, Louis Leithold (topic). Also Wikidata Q6687656
History
- 2026-11-02: add by m2/dev
CPENZRFM5E CPENZRFM5E
| URI | m2://inv/CPENZRFM5E |
|---|---|
| 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.39539#W89Q (statement). In GVR218P3ZR/e1, proposition 3.3.9
History
- 2026-10-30: add by m2/v0.4.12
Stability of the critical points of $\hat p$ CPEQH45SQ6
| URI | m2://inv/CPEQH45SQ6 |
|---|---|
| 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.01050#QWRT, Stability of the critical points of $\hat p$ (statement). In 48NN33SAH7/e1, lemma G.3
History
- 2026-10-29: add by m2/v0.4.12
CPETD56RQA CPETD56RQA
| URI | m2://inv/CPETD56RQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#0FJ0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
CPEVZT0E68 CPEVZT0E68
| URI | m2://inv/CPEVZT0E68 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#NCI5 (definition). In X765ZXXVC3/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
CPEW9B6NNH CPEW9B6NNH
| URI | m2://inv/CPEW9B6NNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 0909.2893#8DPI (statement). In JQ4JYAXCMK/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Definition CPEYAV2XSN
| URI | m2://inv/CPEYAV2XSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete Heyting algebra#M45M, Definition (definition)
History
- 2026-11-02: add by m2/dev
CPEZFNWAC9 CPEZFNWAC9
| URI | m2://inv/CPEZFNWAC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-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 2501.01612#OLKG (statement). In A5KESSK05N/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
David Budescu CPF1KXZJV7
| URI | m2://inv/CPF1KXZJV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Budescu, David Budescu (topic). Also Wikidata Q5231870
History
- 2026-11-02: add by m2/dev
Folded normal distribution CPF4CYAGJH
| URI | m2://inv/CPF4CYAGJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#04QF, Folded normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Luis Fernando Alday CPF7XFC2DF
| URI | m2://inv/CPF7XFC2DF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luis Fernando Alday, Luis Fernando Alday (topic). Also Wikidata Q111168073
History
- 2026-11-02: add by m2/dev
CPFA9VMNMP CPFA9VMNMP
| URI | m2://inv/CPFA9VMNMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130404513 (unknown). Also House of Graphs 49432
History
- 2026-10-26: add by m2/dev
CPFAH17F33 CPFAH17F33
| URI | m2://inv/CPFAH17F33 |
|---|---|
| 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.21692#GVMR (statement). In CT4N0JGDP4/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
CPFGA1FAK0 CPFGA1FAK0
| URI | m2://inv/CPFGA1FAK0 |
|---|---|
| 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.34168#3V0A (statement). In 30YQV8N04M/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
CPFJ491C4V CPFJ491C4V
| URI | m2://inv/CPFJ491C4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#1E3S (statement). In 9704QPRPR6/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Subadditive function CPFQNG7DMY
| URI | m2://inv/CPFQNG7DMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#TCU0, Subadditive function (definition)
History
- 2026-11-02: add by m2/dev
Weinstein–Aronszajn identity CPFSKYZ2DV
| URI | m2://inv/CPFSKYZ2DV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Sylvester's determinant theorem 0G24VQ1088 |
Mentions
- mathlib_1000: mathlib_1000 Q7660749, Sylvester's determinant theorem (statement). Also Mathlib Matrix.det_one_add_mul_comm, Wikidata Q7660749
- thousand_plus: thousand_plus Q7660749, Sylvester's determinant theorem (statement). Also Mathlib Matrix.det_one_add_mul_comm, Wikidata Q7660749, Wikipedia Sylvester's determinant theorem
- wikipedia: Wikipedia Weinstein–Aronszajn identity, Weinstein–Aronszajn identity (statement). Also Wikidata Q7660749
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
CPG58QSE04 CPG58QSE04
| URI | m2://inv/CPG58QSE04 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
Definition CPGJ812A00
| URI | m2://inv/CPGJ812A00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonparametric regression#6SYK, Definition (definition)
History
- 2026-11-02: add by m2/dev
CPGV6DR5XC CPGV6DR5XC
| URI | m2://inv/CPGV6DR5XC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
multiplicand CPH19N344N
| URI | m2://inv/CPH19N344N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54639911, multiplicand (unknown). Also MathWorld Multiplicand
History
- 2026-10-26: add by m2/dev
Mackey space CPH1BMNT9D
| URI | m2://inv/CPH1BMNT9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey space, Mackey space (definition). Also Wikidata Q6724457
History
- 2026-11-02: add by m2/dev
Paradox CPH24YCCX8
| URI | m2://inv/CPH24YCCX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barber paradox#L4G8, Paradox (statement)
History
- 2026-11-02: add by m2/dev
CPH57NCNT5 CPH57NCNT5
| URI | m2://inv/CPH57NCNT5 |
|---|---|
| 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 2501.17009#2VMZ (statement). In PESAKD6SSW/e1, theorem 5.12
History
- 2026-10-27: add by m2/v0.3.6
C. S. Seshadri CPH86WTZ9S
| URI | m2://inv/CPH86WTZ9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. S. Seshadri, C. S. Seshadri (topic). Also Wikidata Q4358527
History
- 2026-11-02: add by m2/dev
CPH8EZJJP8 CPH8EZJJP8
| URI | m2://inv/CPH8EZJJP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#LDYI (statement). In YXZX6Z8S6A/e1, corollary 5.25
History
- 2026-10-28: add by m2/v0.4.2
Series-parallel duality CPH8KYNM2Z
| URI | m2://inv/CPH8KYNM2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#IK6Q, Series-parallel duality (unknown)
History
- 2026-11-02: add by m2/dev
Upper Crandall function CPH9A3WKAF
| URI | m2://inv/CPH9A3WKAF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#OBTT, Upper Crandall function (definition)
History
- 2026-11-01: add by m2/v0.6.15
CPHDNW49YD CPHDNW49YD
| URI | m2://inv/CPHDNW49YD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#W0M1 (statement). In QHFP0837Q8/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.12
Definition CPHEQWJBH3
| URI | m2://inv/CPHEQWJBH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein integral#BHVU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cami Sawyer CPHRJYHAH4
| URI | m2://inv/CPHRJYHAH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cami Sawyer, Cami Sawyer (topic). Also Wikidata Q102183428
History
- 2026-11-02: add by m2/dev
Serre's theorem on a semisimple Lie algebra CPJ6CVAPAP
| URI | m2://inv/CPJ6CVAPAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's theorem on a semisimple Lie algebra, Serre's theorem on a semisimple Lie algebra (statement). Also Wikidata Q97359412
History
- 2026-11-02: add by m2/dev
Lebesgue constant CPJED6ED94
| URI | m2://inv/CPJED6ED94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue constant, Lebesgue constant (definition). Also Wikidata Q6511317
History
- 2026-11-02: add by m2/dev
CPJF52A2KN CPJF52A2KN
| URI | m2://inv/CPJF52A2KN |
|---|---|
| Kind | statement |
| 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 2610.03719#ASS9 (statement). In 8MDK189ZMB/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
H.S.M. Coxeter CPJZYFJ12R
| URI | m2://inv/CPJZYFJ12R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#DO8Z, H.S.M. Coxeter (topic)
History
- 2026-11-02: add by m2/dev
Hart's Theorem CPK1ZK40BT
| URI | m2://inv/CPK1ZK40BT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Searle Hart#P50F, Hart's Theorem (statement)
History
- 2026-11-02: add by m2/dev
constructive mathematics CPKBMBE2VQ
| URI | m2://inv/CPKBMBE2VQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5D40, constructive mathematics (definition)
History
- 2026-11-02: add by m2/dev
Applications CPKE1DNVYB
| URI | m2://inv/CPKE1DNVYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid graph#XD38, Applications (example)
History
- 2026-11-02: add by m2/dev
evectant CPKFGRJVY6
| URI | m2://inv/CPKFGRJVY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#4ACX, evectant (definition)
History
- 2026-11-02: add by m2/dev
Hardy's conjecture CPKJ9X561R
| URI | m2://inv/CPKJ9X561R |
|---|---|
| Kind | conjecture |
| 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.21730#UO8O, Hardy's conjecture (conjecture). In BM64QM6Q7J/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.2
Thierry Goudon CPKPJVBP33
| URI | m2://inv/CPKPJVBP33 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thierry Goudon, Thierry Goudon (topic). Also Wikidata Q7784042
History
- 2026-11-02: add by m2/dev
The Sun CPKT013C8E
| URI | m2://inv/CPKT013C8E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#SGHJ, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
Dehn invariant CPM08VDDZR
| URI | m2://inv/CPM08VDDZR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn invariant, Dehn invariant (object). Also Wikidata Q30587580
History
- 2026-11-02: add by m2/dev
Half-logistic distribution CPM1ZE6MHR
| URI | m2://inv/CPM1ZE6MHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-logistic distribution, Half-logistic distribution (definition). Also Wikidata Q3258412
History
- 2026-11-02: add by m2/dev
CPMBAQY9K6 CPMBAQY9K6
| URI | m2://inv/CPMBAQY9K6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06441#ESM4 (unknown). In YFJ62HWHVK/e1, unknown 4.1
History
- 2026-10-29: add by m2/v0.4.10
Marek Fila CPMYNH1FF0
| URI | m2://inv/CPMYNH1FF0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marek Fila, Marek Fila (topic). Also Wikidata Q102336858
History
- 2026-11-02: add by m2/dev
CPN2Q1QMXQ CPN2Q1QMXQ
| URI | m2://inv/CPN2Q1QMXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#K4QC (statement)
History
- 2026-11-02: add by m2/v0.6.17
CPN63582QN CPN63582QN
| URI | m2://inv/CPN63582QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#HNV4 (statement). In WWMHZKWZSM/e1, theorem 19
History
- 2026-10-27: add by m2/v0.3.5
CPNAWNKSZG CPNAWNKSZG
| URI | m2://inv/CPNAWNKSZG |
|---|---|
| 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#SU1J (statement). In F3MWRNBNED/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Systematic $t$-SID Correcting Code CPND2A327P
| URI | m2://inv/CPND2A327P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#WJ9C, Systematic $t$-SID Correcting Code (statement). In D7NDCWSDJE/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Least slack time scheduling CPNHSMRTVD
| URI | m2://inv/CPNHSMRTVD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#8E19, Least slack time scheduling (unknown)
History
- 2026-11-02: add by m2/dev
CryptoParty CPNKA1Q9PT
| URI | m2://inv/CPNKA1Q9PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CryptoParty, CryptoParty (definition). Also Wikidata Q5190793
History
- 2026-11-02: add by m2/dev
CPNKFGBG7J CPNKFGBG7J
| URI | m2://inv/CPNKFGBG7J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#82NM (definition). In G97FA99ZEF/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
CPNPGVPV61 CPNPGVPV61
| URI | m2://inv/CPNPGVPV61 |
|---|---|
| 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 2304.02722#K48B (statement). In AH7D55D3WV/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
CPNR0SWMRR CPNR0SWMRR
| URI | m2://inv/CPNR0SWMRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prop:LP-taut-CL (statement). In PKGMM3P5QY, prop, section 42.6
History
- 2026-11-01: add by m2/v0.6.13
Gift wrapping algorithm CPNSDMXPP2
| URI | m2://inv/CPNSDMXPP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#HKL8, Gift wrapping algorithm (definition)
History
- 2026-11-02: add by m2/dev
Thomas F. Coleman CPNWRXN0VV
| URI | m2://inv/CPNWRXN0VV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas F. Coleman, Thomas F. Coleman (topic). Also Wikidata Q102078571
History
- 2026-11-02: add by m2/dev
\bf Conditional Outer Integral CPNXQ0DZZ3
| URI | m2://inv/CPNXQ0DZZ3 |
|---|---|
| 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 2312.14445#144L, \bf Conditional Outer Integral (definition). In V56MKF0KW2/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
CPP7QQR4PP CPP7QQR4PP
| URI | m2://inv/CPP7QQR4PP |
|---|---|
| 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.15472#QQL8 (statement). In 5Z3FH46YSY/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
CPPD6DWF3H CPPD6DWF3H
| URI | m2://inv/CPPD6DWF3H |
|---|---|
| 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.16060#Z8LE (statement). In X0BTF9HPGM/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Diminished rhombic dodecahedron CPPDJSN37Y
| URI | m2://inv/CPPDJSN37Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diminished rhombic dodecahedron, Diminished rhombic dodecahedron (definition). Also Wikidata Q48969110
History
- 2026-11-02: add by m2/dev
CPPEJ5JN2F CPPEJ5JN2F
| URI | m2://inv/CPPEJ5JN2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#W1M0 (statement). In 9DQKY7KGE8/e1, lemma B.17
History
- 2026-10-31: add by m2/v0.5.6
Isentropic flow CPPN1DZECW
| URI | m2://inv/CPPN1DZECW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isentropic process#AN01, Isentropic flow (unknown)
History
- 2026-11-02: add by m2/dev
multivariate polynomial CPPN5P3PDT
| URI | m2://inv/CPPN5P3PDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25376994, multivariate polynomial (unknown). Also MathWorld MultivariatePolynomial
History
- 2026-10-26: add by m2/dev
CPPPVJ61KJ CPPPVJ61KJ
| URI | m2://inv/CPPPVJ61KJ |
|---|---|
| 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 2407.08976#IP2H (statement). In ZVNM9X4NNG/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
truth-value glut CPPSQS0EVZ
| URI | m2://inv/CPPSQS0EVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HEFD, truth-value glut (definition)
History
- 2026-11-02: add by m2/dev
CPQ30RJ18J CPQ30RJ18J
| URI | m2://inv/CPQ30RJ18J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#BP1C (example). In MVSGDTN2PB/e1, example 4.19
History
- 2026-10-29: add by m2/v0.4.10
Pythagorean theorem CPQ5K01P9D
| URI | m2://inv/CPQ5K01P9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof without words#5UFI, Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
Trichotomy CPQF2QAHR3
| URI | m2://inv/CPQF2QAHR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#ordtrichotomy, Trichotomy (statement). In PKGMM3P5QY, thm, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
Atmospheric reanalysis CPQK3TZEBD
| URI | m2://inv/CPQK3TZEBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric reanalysis, Atmospheric reanalysis (definition). Also Wikidata Q6823489
History
- 2026-11-02: add by m2/dev
CPQP924D12 CPQP924D12
| URI | m2://inv/CPQP924D12 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Dynamic type checking CPQS4K0N2P
| URI | m2://inv/CPQS4K0N2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type system#LNUG, Dynamic type checking (unknown)
History
- 2026-11-02: add by m2/dev
CPQYS6PRF9 CPQYS6PRF9
| URI | m2://inv/CPQYS6PRF9 |
|---|---|
| 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.09567#ZR14 (statement). In 7RV6BDZAFK/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
Vincent F. Hendricks CPR12Y0R9M
| URI | m2://inv/CPR12Y0R9M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent F. Hendricks, Vincent F. Hendricks (topic). Also Wikidata Q7931780
History
- 2026-11-02: add by m2/dev
CPR2VBS232 CPR2VBS232
| URI | m2://inv/CPR2VBS232 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
O-Matrix CPR507NPHH
| URI | m2://inv/CPR507NPHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#NBWC, O-Matrix (unknown)
History
- 2026-11-02: add by m2/dev
Underlying principles CPR8PRT72M
| URI | m2://inv/CPR8PRT72M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal analysis#ZP5C, Underlying principles (statement)
History
- 2026-11-02: add by m2/dev
Roberto H. Schonmann CPR8QARK5J
| URI | m2://inv/CPR8QARK5J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#47D9, Roberto H. Schonmann (unknown)
History
- 2026-11-02: add by m2/dev
Cop number CPRD39ZQDN
| URI | m2://inv/CPRD39ZQDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#J2HE, Cop number (unknown)
History
- 2026-11-02: add by m2/dev
Spearman's law of diminishing returns CPRRPQ0T9S
| URI | m2://inv/CPRRPQ0T9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G factor (psychometrics)#9M3G, Spearman's law of diminishing returns (statement)
History
- 2026-11-02: add by m2/dev
CPRT543MTA CPRT543MTA
| URI | m2://inv/CPRT543MTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39707#PS7Q (statement). In NFH5VEY1D1/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Variance-stabilizing transformation CPRY9KFSF9
| URI | m2://inv/CPRY9KFSF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8YZ3, Variance-stabilizing transformation (definition)
History
- 2026-11-02: add by m2/dev
Sufficient Conditions CPS0YXF1WD
| URI | m2://inv/CPS0YXF1WD |
|---|---|
| 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.02944#ZW48, Sufficient Conditions (statement). In 1F99Z64AB7/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
CPS16HR79Q CPS16HR79Q
| URI | m2://inv/CPS16HR79Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15160#OKBN (definition). In 6FV4CCY1NX/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
CPS178FY28 CPS178FY28
| URI | m2://inv/CPS178FY28 |
|---|---|
| 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 2311.16205#1NNX (statement). In 3GE9PS9AH0/e1, theorem 5.3.5
History
- 2026-10-27: add by m2/v0.3.5
Convergence in Backward KL in the convex case CPS1FT49GM
| URI | m2://inv/CPS1FT49GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32446#U76O, Convergence in Backward KL in the convex case (statement). In W1KVJEGJ1W/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Hahn–Banach theorem CPS4TMFSB5
| URI | m2://inv/CPS4TMFSB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NWVB, Hahn–Banach theorem (statement)
History
- 2026-11-02: add by m2/dev
Unequal breaks: bijective critical maps CPSBM44H46
| URI | m2://inv/CPSBM44H46 |
|---|---|
| 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.30301#1KKT, Unequal breaks: bijective critical maps (statement). In 7NS75J7HAM/e1, proposition 9.39
History
- 2026-10-31: add by m2/v0.5.6
Gray images of $\mathbb{Z}_4$ Clifford gates CPSEJQ2RR8
| URI | m2://inv/CPSEJQ2RR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#QN9D, Gray images of $\mathbb{Z}_4$ Clifford gates (statement). In YZNK67K060/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
CPSG5YRMKV CPSG5YRMKV
| URI | m2://inv/CPSG5YRMKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24374#AQ0Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yff center of congruence CPT26GHDDN
| URI | m2://inv/CPT26GHDDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#2GNC, Yff center of congruence (definition)
History
- 2026-11-02: add by m2/dev
CPT3YKRY2Q CPT3YKRY2Q
| URI | m2://inv/CPT3YKRY2Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15255#4DXN (example). In G691MXMYW0/e1, example 4.8
History
- 2026-10-27: add by m2/v0.4.0
tuple CPTDXC18JT
| URI | m2://inv/CPTDXC18JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#AZ2V, tuple (definition)
History
- 2026-11-02: add by m2/dev
Kusner conjecture CPTV6AP994
| URI | m2://inv/CPTV6AP994 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#KA6V, Kusner conjecture (definition)
History
- 2026-11-02: add by m2/dev
CPV1JSMZER CPV1JSMZER
| URI | m2://inv/CPV1JSMZER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.02961#OU35 (statement). In 986DENWM1D/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Siva Athreya CPV56BFYCB
| URI | m2://inv/CPV56BFYCB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#Q2Y9, Siva Athreya (topic)
History
- 2026-11-02: add by m2/dev
Maxwell's theorem (geometry) CPV8KCP6P0
| URI | m2://inv/CPV8KCP6P0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#3NHI, Maxwell's theorem (geometry) (statement)
History
- 2026-11-02: add by m2/dev
CPVDFH94NY CPVDFH94NY
| URI | m2://inv/CPVDFH94NY |
|---|---|
| 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.23634#3RBE (statement)
History
- 2026-11-02: add by m2/v0.6.17
skew CPVHNZWQ56
| URI | m2://inv/CPVHNZWQ56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#R9ZB, skew (definition)
History
- 2026-11-02: add by m2/dev
A decomposition into real primes CPVNGV7FCN
| URI | m2://inv/CPVNGV7FCN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15869#3Z8D, A decomposition into real primes (example). In 5VRP29WZEK/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.2
Properties CPVS20WN0G
| URI | m2://inv/CPVS20WN0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective hull#DWIT, Properties (statement)
History
- 2026-11-02: add by m2/dev
CPVV4K5EAS CPVV4K5EAS
| URI | m2://inv/CPVV4K5EAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23671#AJPN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Randomised identification capacity CPVXFJAP20
| URI | m2://inv/CPVXFJAP20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12413#8P95, Randomised identification capacity (statement). In 6EJ8J60SP8/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Woodall's conjecture CPW0GWPA21
| URI | m2://inv/CPW0GWPA21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6568, Woodall's conjecture (statement)
History
- 2026-11-02: add by m2/dev
CPW3JDYRDN CPW3JDYRDN
| URI | m2://inv/CPW3JDYRDN |
|---|---|
| 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 2501.15210#YNOA (statement). In S4S8V2DYSA/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
CPW526BRB6 CPW526BRB6
| URI | m2://inv/CPW526BRB6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exact:examplevortex (example). In E9HS8K3A52, example, section 4.8.1
History
- 2026-11-01: add by m2/v0.6.13
CPW5561K9X CPW5561K9X
| URI | m2://inv/CPW5561K9X |
|---|---|
| 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.13741#22DE (statement). In Q43F8N7XDE/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definition CPW58YEGJN
| URI | m2://inv/CPW58YEGJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew lattice#9J30, Definition (definition)
History
- 2026-11-02: add by m2/dev
Claude Chevalley CPW61VXQ8M
| URI | m2://inv/CPW61VXQ8M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q634850, Claude Chevalley (unknown). Also nLab Claude Chevalley, ProofWiki Mathematician:Claude_Chevalley
- wikipedia: Wikipedia Claude Chevalley, Claude Chevalley (topic). Also Wikidata Q634850
History
- 2026-10-26: add by m2/dev
CPW75TR38A CPW75TR38A
| URI | m2://inv/CPW75TR38A |
|---|---|
| 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 2610.00914#1H1D (statement). In TQ9CKHBTWN/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
graded strategy CPWD40GV24
| URI | m2://inv/CPWD40GV24 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.01517#0DOX, graded strategy (definition). In 1H6HQSMYJW/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Euler Medal CPWHFA4TNK
| URI | m2://inv/CPWHFA4TNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Combinatorics and its Applications#EV6Z, Euler Medal (unknown)
History
- 2026-11-02: add by m2/dev
CPWJJVGJQ5 CPWJJVGJQ5
| URI | m2://inv/CPWJJVGJQ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-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.03138#MG1S (definition). In P5SY7AVP5E/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
CPWM0EFWX2 CPWM0EFWX2
| URI | m2://inv/CPWM0EFWX2 |
|---|---|
| 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.36818#Z8KD (statement). In SK6AP2B9JH/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
crunode CPWTMT5652
| URI | m2://inv/CPWTMT5652 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3890126, crunode (unknown). Also MathWorld Crunode
- wikipedia: Wikipedia Crunode, Crunode (definition). Also Wikidata Q3890126
History
- 2026-10-26: add by m2/dev
CPWX3T8E4P CPWX3T8E4P
| URI | m2://inv/CPWX3T8E4P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
Elette Boyle CPWXQWRCTZ
| URI | m2://inv/CPWXQWRCTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JLEE, Elette Boyle (unknown)
History
- 2026-11-02: add by m2/dev
CPX07P7AT6 CPX07P7AT6
| URI | m2://inv/CPX07P7AT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#9P18 (statement). In 9704QPRPR6/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
CPX4KXQ08G CPX4KXQ08G
| URI | m2://inv/CPX4KXQ08G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#3OQG (statement)
History
- 2026-11-01: add by m2/v0.6.15
CPX6FQC7JR CPX6FQC7JR
| URI | m2://inv/CPX6FQC7JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#8TKE (statement). In 2QF1YG9DD0/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
type, family of, inductive CPX8Y3GNMG
| URI | m2://inv/CPX8Y3GNMG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/type-family-of-inductive, type, family of, inductive (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
CPXPEYE118 CPXPEYE118
| URI | m2://inv/CPXPEYE118 |
|---|---|
| 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#WFJI (statement). In 2VHV0RNTNV/e1, proposition 9.10
History
- 2026-10-29: add by m2/v0.4.12
Ribenboim Prize CPXPK3HB5Z
| URI | m2://inv/CPXPK3HB5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ribenboim Prize, Ribenboim Prize (definition). Also Wikidata Q2798120
History
- 2026-11-02: add by m2/dev
CPXT3ED6CH CPXT3ED6CH
| URI | m2://inv/CPXT3ED6CH |
|---|---|
| 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.27771#1266 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frank-Olaf Schreyer CPXV9ASFQF
| URI | m2://inv/CPXV9ASFQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank-Olaf Schreyer, Frank-Olaf Schreyer (topic). Also Wikidata Q44374534
History
- 2026-11-02: add by m2/dev
CPXXBEYJ8Q CPXXBEYJ8Q
| URI | m2://inv/CPXXBEYJ8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-12 (definition). In VNMV985MXX, defn, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Bayesian inference CPYCMW24NH
| URI | m2://inv/CPYCMW24NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#F7WZ, Bayesian inference (definition)
History
- 2026-11-02: add by m2/dev
CPYCZ47EYD CPYCZ47EYD
| URI | m2://inv/CPYCZ47EYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20663#KQWD (statement). In AZMX0CY5NE/e1, lemma 31
History
- 2026-10-27: add by m2/v0.4.2
Example CPYGNRA3AQ
| URI | m2://inv/CPYGNRA3AQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#6VJ6, Example (example)
History
- 2026-11-02: add by m2/dev
Guess value CPYGRVRREM
| URI | m2://inv/CPYGRVRREM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guess value, Guess value (definition). Also Wikidata Q20820485
History
- 2026-11-02: add by m2/dev
Painlevé transcendents CPYHV67WC5
| URI | m2://inv/CPYHV67WC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#UHAL, Painlevé transcendents (definition)
History
- 2026-11-02: add by m2/dev
Orthogonal convex hull CPYS392C3Q
| URI | m2://inv/CPYS392C3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal convex hull, Orthogonal convex hull (definition). Also Wikidata Q7104528
History
- 2026-11-02: add by m2/dev
CPYSXDV00X CPYSXDV00X
| URI | m2://inv/CPYSXDV00X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21513#AWPN (statement)
History
- 2026-11-02: add by m2/v0.6.18
CPYYGZ1JG2 CPYYGZ1JG2
| URI | m2://inv/CPYYGZ1JG2 |
|---|---|
| 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.04135#TLS2 (statement). In 587PWJ6W5D/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
CPZ5A7DTF1 CPZ5A7DTF1
| URI | m2://inv/CPZ5A7DTF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#TD6A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Denjoy–Luzin theorem CPZ9Q6ZGRN
| URI | m2://inv/CPZ9Q6ZGRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4736422, Denjoy–Luzin theorem (statement). Also Wikidata Q4736422
- thousand_plus: thousand_plus Q4736422, Denjoy theorem (statement). Also Wikidata Q4736422, Wikipedia Denjoy–Luzin theorem
- wikipedia: Wikipedia Denjoy–Luzin theorem, Denjoy–Luzin theorem (statement). Also Wikidata Q4736422
History
- 2026-10-26: add by m2/dev
CPZDHFERD6 CPZDHFERD6
| URI | m2://inv/CPZDHFERD6 |
|---|---|
| Kind | definition |
| 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#E97E (definition). In 9H45HQE7AZ/e1, definition 8.5
History
- 2026-10-27: add by m2/v0.3.5
Examples CPZKKE95JF
| URI | m2://inv/CPZKKE95JF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrability conditions for differential systems#A1HM, Examples (example)
History
- 2026-11-02: add by m2/dev
Gauss Lectureship CPZWK3JNXR
| URI | m2://inv/CPZWK3JNXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#P6VV, Gauss Lectureship (definition)
History
- 2026-11-02: add by m2/dev
Network dynamics CPZXFR7H4S
| URI | m2://inv/CPZXFR7H4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network dynamics, Network dynamics (definition). Also Wikidata Q9195957
History
- 2026-11-02: add by m2/dev
Satyan Devadoss CPZXMMH4Q3
| URI | m2://inv/CPZXMMH4Q3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satyan Devadoss, Satyan Devadoss (topic). Also Wikidata Q18808567
History
- 2026-11-02: add by m2/dev
CPZXQF91BF CPZXQF91BF
| URI | m2://inv/CPZXQF91BF |
|---|---|
| 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 1701.00517#YCAA (statement). In JHPBT88FDW/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Lars Birkedal CPZZNDJVMK
| URI | m2://inv/CPZZNDJVMK |
|---|---|
| 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 Q64055675, Lars Birkedal (unknown). Also nLab Lars Birkedal
History
- 2026-10-26: add by m2/dev