Inventory rows D2
The cards of the rows of the inventory whose ids start with D2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
List of largest known primes and probable primes D200AG9624
| URI | m2://inv/D200AG9624 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of largest known primes and probable primes, List of largest known primes and probable primes (topic). Also Wikidata Q112939567
History
- 2026-11-02: add by m2/dev
Marginal package D200Q7D6P1
| URI | m2://inv/D200Q7D6P1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14012#IX4J, Marginal package (definition). In B8M5XAJASD/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Terminology D20DZ75AC5
| URI | m2://inv/D20DZ75AC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem#FHYI, Terminology (definition)
History
- 2026-11-02: add by m2/dev
D20F2TG41G D20F2TG41G
| URI | m2://inv/D20F2TG41G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#VUSY (statement). In PG0B4PH9YH/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
Planetary Aberration D20F8MG1FH
| URI | m2://inv/D20F8MG1FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aberration (astronomy)#E49P, Planetary Aberration (unknown)
History
- 2026-11-02: add by m2/dev
D20NTKB88S D20NTKB88S
| URI | m2://inv/D20NTKB88S |
|---|---|
| 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.31615#Y6EG (statement). In TNV6XTEWEG/e1, fact 3.3
History
- 2026-10-31: add by m2/v0.5.6
D213Y7S3E9 D213Y7S3E9
| URI | m2://inv/D213Y7S3E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#VOGP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Enumeration D218QJM4AR
| URI | m2://inv/D218QJM4AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual uniform polyhedron#R3OA, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
D21FSVS0TX D21FSVS0TX
| URI | m2://inv/D21FSVS0TX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#F7N2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cohomology is anticommutative D21J8BSECW
| URI | m2://inv/D21J8BSECW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#proposition-1, Cohomology is anticommutative (statement). In RZP28ERRZV, proposition, section 52.4
History
- 2026-11-01: add by m2/v0.6.13
Implementation D21KGHXJXN
| URI | m2://inv/D21KGHXJXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk-limiting audit#MIVV, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Cartan–Iwahori decomposition D21R98RH54
| URI | m2://inv/D21R98RH54 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#D6AX, Cartan–Iwahori decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Definition D21XVA5XSA
| URI | m2://inv/D21XVA5XSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular homology#7FL0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform approximation of logarithm on the interval D220Y6KXC1
| URI | m2://inv/D220Y6KXC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#1YC8, Uniform approximation of logarithm on the interval (statement). In XXV36V6CK8/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
F16C D222551BW9
| URI | m2://inv/D222551BW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F16C, F16C (definition). Also Wikidata Q5014786
History
- 2026-11-02: add by m2/dev
Irit Dinur D224TAXRWH
| URI | m2://inv/D224TAXRWH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UCT3, Irit Dinur (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q813, Irit Dinur (unknown)
History
- 2026-11-02: add by m2/dev
Compatible functions D227AZA735
| URI | m2://inv/D227AZA735 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#B4E2, Compatible functions (definition). In N7XJ16700B/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
D22EWQ9KGW D22EWQ9KGW
| URI | m2://inv/D22EWQ9KGW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#SM9Y (unknown). In QNBFHFZ3H0/e1, unknown 87
History
- 2026-10-28: add by m2/v0.4.2
Sylvester's bijection D22K26B8SJ
| URI | m2://inv/D22K26B8SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#WUYX, Sylvester's bijection (unknown)
History
- 2026-11-02: add by m2/dev
D22K8ZAYGB D22K8ZAYGB
| URI | m2://inv/D22K8ZAYGB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25973#0C3I (definition)
History
- 2026-11-01: add by m2/v0.6.15
D22R0CZGDK D22R0CZGDK
| URI | m2://inv/D22R0CZGDK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07671#WY80 (example). In XHHBGCVG90/e1, example 3.1.1
History
- 2026-10-29: add by m2/v0.4.10
National Statistical Office of Malawi D22R2TG1NX
| URI | m2://inv/D22R2TG1NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Statistical Office of Malawi, National Statistical Office of Malawi (definition). Also Wikidata Q18391614
History
- 2026-11-02: add by m2/dev
Tutte homotopy theorem D22RJTJ60Y
| URI | m2://inv/D22RJTJ60Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte homotopy theorem, Tutte homotopy theorem (statement). Also Wikidata Q7856999
History
- 2026-11-02: add by m2/dev
ADHM construction D22TVM53P1
| URI | m2://inv/D22TVM53P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#HSWU, ADHM construction (definition)
History
- 2026-11-02: add by m2/dev
5-cell honeycomb D239BYR709
| URI | m2://inv/D239BYR709 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9TCJ, 5-cell honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#EQ9U, 5-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
CMA-ES D23AS8W4W3
| URI | m2://inv/D23AS8W4W3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CMA-ES, CMA-ES (definition). Also Wikidata Q505588
History
- 2026-11-02: add by m2/dev
Representations D23E96S7V7
| URI | m2://inv/D23E96S7V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave function#305Z, Representations (definition)
History
- 2026-11-02: add by m2/dev
527 (number) D23EZBSQGV
| URI | m2://inv/D23EZBSQGV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#BC02, 527 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Examples D23GSMWYM7
| URI | m2://inv/D23GSMWYM7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-form#X1N8, Examples (example)
History
- 2026-11-02: add by m2/dev
Evaluation determinant and choice of nodes D23JDVXEYH
| URI | m2://inv/D23JDVXEYH |
|---|---|
| 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.05498#WG6Q, Evaluation determinant and choice of nodes (statement). In TJT32RQ9GC/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.10
Complete group D23MZWWZ95
| URI | m2://inv/D23MZWWZ95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q968707, Complete group (unknown). Also LMFDB knowl group.complete
- wikipedia: Wikipedia Complete group, Complete group (definition). Also Wikidata Q968707
History
- 2026-10-26: add by m2/dev
D23W1Y1E90 D23W1Y1E90
| URI | m2://inv/D23W1Y1E90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#C0PK (statement). In PWXT7J9JX3/e1, lemma 7.11
History
- 2026-10-28: add by m2/v0.4.2
D23Y907C1J D23Y907C1J
| URI | m2://inv/D23Y907C1J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#NARK (example). In HX63A1PH1W/e1, example 4.11
History
- 2026-10-28: add by m2/v0.4.3
D2400B7WWE D2400B7WWE
| URI | m2://inv/D2400B7WWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#TCV5 (statement). In G1RP4JY5PE/e1, lemma 5.1.2
History
- 2026-10-31: add by m2/v0.5.6
Scott–Potter set theory D248Z43CZ0
| URI | m2://inv/D248Z43CZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott–Potter set theory, Scott–Potter set theory (definition). Also Wikidata Q2261421
History
- 2026-11-02: add by m2/dev
Covering system D24CCANRTP
| URI | m2://inv/D24CCANRTP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering system, Covering system (conjecture). Also Wikidata Q668804
History
- 2026-11-02: add by m2/dev
Properties D24DP0FDKG
| URI | m2://inv/D24DP0FDKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized permutation matrix#TM9N, Properties (statement)
History
- 2026-11-02: add by m2/dev
D24E4FVSK0 D24E4FVSK0
| URI | m2://inv/D24E4FVSK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02686#6WMS (statement). In 5QWPNXQ32J/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
umbilical point D24G65DQZB
| URI | m2://inv/D24G65DQZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Umbilical point XYJ6T5CKR6 |
Mentions
- wikidata: Wikidata Q3351935, umbilical point (unknown). Also MathWorld UmbilicPoint
- wikipedia: Wikipedia Umbilical point, Umbilical point (definition). Also Wikidata Q3351935
History
- 2026-10-26: add by m2/dev
delta D250DB8ER6
| URI | m2://inv/D250DB8ER6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5UXV, delta (definition)
History
- 2026-11-02: add by m2/dev
Monotone Convergence D25AJ9F84M
| URI | m2://inv/D25AJ9F84M |
|---|---|
| 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 2610.17677#2CGK, Monotone Convergence (definition). In 5E9G06XJKC/e1, definition C.5
History
- 2026-10-28: add by m2/v0.4.2
D25CFACSMC D25CFACSMC
| URI | m2://inv/D25CFACSMC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#S2G2 (problem). In SBN06J39DG/e1, problem 3.7
History
- 2026-10-27: add by m2/v0.3.5
Complex observation comparison D25GDV8NHD
| URI | m2://inv/D25GDV8NHD |
|---|---|
| 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.05498#MLPN, Complex observation comparison (statement). In TJT32RQ9GC/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.10
Noether identities D26M285QHM
| URI | m2://inv/D26M285QHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether identities, Noether identities (definition). Also Wikidata Q7480290
History
- 2026-11-02: add by m2/dev
Examples D26W8J54XH
| URI | m2://inv/D26W8J54XH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trilinear coordinates#BEPH, Examples (example)
History
- 2026-11-02: add by m2/dev
Permutation algorithms D2708ANPX0
| URI | m2://inv/D2708ANPX0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation#D4J4, Permutation algorithms (unknown)
History
- 2026-11-02: add by m2/dev
D2740WJ8K2 D2740WJ8K2
| URI | m2://inv/D2740WJ8K2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#JC9Y (statement). In 5KR3MHYVV6/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Main construction D27726HGDR
| URI | m2://inv/D27726HGDR |
|---|---|
| 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.18797#OB0O, Main construction (statement). In HVZW77G66Z/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
D277T6YFQS D277T6YFQS
| URI | m2://inv/D277T6YFQS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/complete-consistent-sets.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
D27BFC9ETC D27BFC9ETC
| URI | m2://inv/D27BFC9ETC |
|---|---|
| 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 2309.08900#W4F1 (definition). In 8X74NB6XBC/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
D27CEFW3TE D27CEFW3TE
| URI | m2://inv/D27CEFW3TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#2RW1 (statement). In 2GD6NWJVRM/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
D27DXWWDCM D27DXWWDCM
| URI | m2://inv/D27DXWWDCM |
|---|---|
| Kind | example |
| 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 1903.11969#X5N7 (example). In 9N4EV3GRM7/e1, example 5.1
History
- 2026-10-27: add by m2/v0.3.5
D27EPV68EG D27EPV68EG
| URI | m2://inv/D27EPV68EG |
|---|---|
| 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.24206#03TE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement of the theorem D27H056DK0
| URI | m2://inv/D27H056DK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabry gap theorem#IQAZ, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition D27RCVPWX7
| URI | m2://inv/D27RCVPWX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection (set theory)#UUGA, Definition (definition)
History
- 2026-11-02: add by m2/dev
D27RD4FHR0 D27RD4FHR0
| URI | m2://inv/D27RD4FHR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#D6O0 (statement). In 5XKHZKEGAF/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.5
David Gruen D280GR5NMK
| URI | m2://inv/D280GR5NMK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Gruen (economist), David Gruen (topic). Also Wikidata Q87732911
History
- 2026-11-02: add by m2/dev
Ladder paradox D28CFRNNEP
| URI | m2://inv/D28CFRNNEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladder paradox, Ladder paradox (statement). Also Wikidata Q511755
History
- 2026-11-02: add by m2/dev
National identity D28E3TGPYJ
| URI | m2://inv/D28E3TGPYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Glasgow#48MJ, National identity (statement)
History
- 2026-11-02: add by m2/dev
Class number problem D28JMD0QFQ
| URI | m2://inv/D28JMD0QFQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#SPNP, Class number problem (conjecture)
History
- 2026-11-02: add by m2/dev
Properties D28KZP8A58
| URI | m2://inv/D28KZP8A58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming distance#HILC, Properties (statement)
History
- 2026-11-02: add by m2/dev
D28NH020JK D28NH020JK
| URI | m2://inv/D28NH020JK |
|---|---|
| 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.20577#A8JG (statement). In 3P13XJQSVK/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
740 (number) D28VS7GDXP
| URI | m2://inv/D28VS7GDXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#72K3, 740 (number) (unknown)
History
- 2026-11-02: add by m2/dev
D290KZG7Z5 D290KZG7Z5
| URI | m2://inv/D290KZG7Z5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-combperm.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
D29MHH53C5 D29MHH53C5
| URI | m2://inv/D29MHH53C5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-123 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Polynomial family D2A57TPERQ
| URI | m2://inv/D2A57TPERQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#KE0W, Polynomial family (unknown)
History
- 2026-11-02: add by m2/dev
D2A63RX30E D2A63RX30E
| URI | m2://inv/D2A63RX30E |
|---|---|
| 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.28203#RNCN (statement)
History
- 2026-11-01: add by m2/v0.6.15
D2A7TD6DQZ D2A7TD6DQZ
| URI | m2://inv/D2A7TD6DQZ |
|---|---|
| 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.01656#XG3N (statement). In AHGQZ89DY0/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
D2AF38DJPT D2AF38DJPT
| URI | m2://inv/D2AF38DJPT |
|---|---|
| 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.11939#DZ64 (statement). In DQMEN40FZV/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
Representation theory D2AH9FBX9S
| URI | m2://inv/D2AH9FBX9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#UK42, Representation theory (definition)
History
- 2026-11-02: add by m2/dev
Entropy of bounded softmax transformers D2ANMKD04X
| URI | m2://inv/D2ANMKD04X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#0PRM, Entropy of bounded softmax transformers (statement). In SNWC76WKWT/e1, lemma I.1
History
- 2026-10-31: add by m2/v0.5.6
D2AQWA15SW D2AQWA15SW
| URI | m2://inv/D2AQWA15SW |
|---|---|
| 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#6GZ6 (statement). In WRE0P7V6Z3/e1, lemma 12.7
History
- 2026-10-30: add by m2/v0.4.12
Kolmogorov–Arnold–Moser theorem D2AW0F1EYR
| URI | m2://inv/D2AW0F1EYR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#KRDW, Kolmogorov–Arnold–Moser theorem (statement)
History
- 2026-11-02: add by m2/dev
D2B1PFXEZ9 D2B1PFXEZ9
| URI | m2://inv/D2B1PFXEZ9 |
|---|---|
| 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.02215#K39T (statement). In 1W01W0APQF/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Fast Kalman filter D2B36YJJFC
| URI | m2://inv/D2B36YJJFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3S49, Fast Kalman filter (definition)
History
- 2026-11-02: add by m2/dev
ZeroNet D2B8GP0TZP
| URI | m2://inv/D2B8GP0TZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ZeroNet, ZeroNet (definition). Also Wikidata Q21041450
History
- 2026-11-02: add by m2/dev
Orthogonal Vectors (OV) hypothesis D2B9F4G2SD
| URI | m2://inv/D2B9F4G2SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine grained complexity#RECK, Orthogonal Vectors (OV) hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Generalizations D2B9G15A2B
| URI | m2://inv/D2B9G15A2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acyclic model#EW0Z, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
D2BA8DZ5Y6 D2BA8DZ5Y6
| URI | m2://inv/D2BA8DZ5Y6 |
|---|---|
| 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.21047#QGQL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hendecagon D2BEN0N2G7
| URI | m2://inv/D2BEN0N2G7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#W0OK, Hendecagon (definition)
History
- 2026-11-02: add by m2/dev
Generalization D2BG1P3PEE
| URI | m2://inv/D2BG1P3PEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tannaka–Krein duality#C5PX, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Properties D2BJ4H4MXC
| URI | m2://inv/D2BJ4H4MXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support vertex#47DH, Properties (statement)
History
- 2026-11-02: add by m2/dev
D2BKH9FJW6 D2BKH9FJW6
| URI | m2://inv/D2BKH9FJW6 |
|---|---|
| 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.40138#2DG6 (statement). In R60HR493TS/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
D2BR4M619V D2BR4M619V
| URI | m2://inv/D2BR4M619V |
|---|---|
| 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 2509.09379#7JBK (statement). In DJXA86KDY8/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
D2BXMZ5J1B D2BXMZ5J1B
| URI | m2://inv/D2BXMZ5J1B |
|---|---|
| Kind | definition |
| 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 2411.01837#MSTJ (definition). In 2XBYZ1QP22/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Kantaro Ohmori D2CAJ67CX2
| URI | m2://inv/D2CAJ67CX2 |
|---|---|
| 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 Q60168178, Kantaro Ohmori (unknown). Also nLab Kantaro Ohmori
History
- 2026-10-26: add by m2/dev
Relation to Tutte's theorem D2CBBFYS30
| URI | m2://inv/D2CBBFYS30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte–Berge formula#VI29, Relation to Tutte's theorem (statement)
History
- 2026-11-02: add by m2/dev
Benjamin Gompertz D2CRD3RH0N
| URI | m2://inv/D2CRD3RH0N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#O8FU, Benjamin Gompertz (topic)
History
- 2026-11-02: add by m2/dev
D2CS35AGJZ D2CS35AGJZ
| URI | m2://inv/D2CS35AGJZ |
|---|---|
| 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.05268#WYYY (statement). In GWB9Z7Y25N/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
opposite number D2CTVNKGDN
| URI | m2://inv/D2CTVNKGDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q715358, opposite number (unknown). Also MathWorld AdditiveInverse
- wikipedia: Wikipedia Additive inverse, Additive inverse (definition). Also Wikidata Q715358
History
- 2026-10-26: add by m2/dev
Definition D2D07FFYVT
| URI | m2://inv/D2D07FFYVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois ring#8JUT, Definition (definition)
History
- 2026-11-02: add by m2/dev
negative base D2D09986B3
| URI | m2://inv/D2D09986B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q367134, negative base (unknown). Also MathWorld Negabinary
- wikipedia: Wikipedia Negative base, Negative base (definition). Also Wikidata Q367134
History
- 2026-10-26: add by m2/dev
spherical ring D2D6WRWWE2
| URI | m2://inv/D2D6WRWWE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54669920, spherical ring (unknown). Also MathWorld SphericalRing
History
- 2026-10-26: add by m2/dev
D2D9KTYBDY D2D9KTYBDY
| URI | m2://inv/D2D9KTYBDY |
|---|---|
| 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 2208.06310#6MGW (statement). In 9YR0E0T9XA/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.3.5
Fields D2DDPV6X8W
| URI | m2://inv/D2DDPV6X8W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#6OUO, Fields (definition). In WD2NCBV9F0/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
D2DNENRR4K D2DNENRR4K
| URI | m2://inv/D2DNENRR4K |
|---|---|
| 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 2610.14099#TED3 (definition). In D77GXFTKFH/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
D2DNKPX3S7 D2DNKPX3S7
| URI | m2://inv/D2DNKPX3S7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-6 (exercise). In PKGMM3P5QY, prob, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Category mistake D2DNMMNWSY
| URI | m2://inv/D2DNMMNWSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category mistake, Category mistake (definition). Also Wikidata Q1735821
History
- 2026-11-02: add by m2/dev
D2DVKQY10K D2DVKQY10K
| URI | m2://inv/D2DVKQY10K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#prop:dual (statement). In PKGMM3P5QY, prop, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Local crossing identities D2DWG432HY
| URI | m2://inv/D2DWG432HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#ZFVH, Local crossing identities (statement). In C8VC86B6H8/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
D2DZDCGT26 D2DZDCGT26
| URI | m2://inv/D2DZDCGT26 |
|---|---|
| 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.26500#MTYR (statement)
History
- 2026-11-01: add by m2/v0.6.15
D2E2GKZVXX D2E2GKZVXX
| URI | m2://inv/D2E2GKZVXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#BUJ6 (statement). In B8MJT0GGW8/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.0
Triangle inequality D2E2J81E41
| URI | m2://inv/D2E2J81E41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Altitude (triangle)#XSYL, Triangle inequality (statement)
History
- 2026-11-02: add by m2/dev
List of general topology topics D2E5WKXBZJ
| URI | m2://inv/D2E5WKXBZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics, List of general topology topics (topic). Also Wikidata Q6621577
History
- 2026-11-02: add by m2/dev
D2E9D04984 D2E9D04984
| URI | m2://inv/D2E9D04984 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.14274#ZS2N (statement). In 2FKE7JPQ76/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Principal ideal domain D2EC8MHDFA
| URI | m2://inv/D2EC8MHDFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#OCG1, Principal ideal domain (definition)
History
- 2026-11-02: add by m2/dev
triangulation D2ED40FADH
| URI | m2://inv/D2ED40FADH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#RLCK, triangulation (definition)
History
- 2026-11-02: add by m2/dev
Cartan–Hadamard manifold D2EFTZ025S
| URI | m2://inv/D2EFTZ025S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#IMZW, Cartan–Hadamard manifold (definition)
History
- 2026-11-02: add by m2/dev
Identity element D2EJH43NMB
| URI | m2://inv/D2EJH43NMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#RYL2, Identity element (statement)
History
- 2026-11-02: add by m2/dev
Test functions D2EMMHJPRE
| URI | m2://inv/D2EMMHJPRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Distribution theory > Test functions, Test functions (unknown). Also Mathlib TestFunction
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > smooth functions with compact support on $\R^d$, smooth functions with compact support on $\R^d$ (unknown). Also Mathlib TestFunction
History
- 2026-10-26: add by m2/dev
D2ENFPFVY9 D2ENFPFVY9
| URI | m2://inv/D2ENFPFVY9 |
|---|---|
| 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.26337#U95S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gauss–Bonnet gravity D2F0GXDZEK
| URI | m2://inv/D2F0GXDZEK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Bonnet gravity, Gauss–Bonnet gravity (topic). Also Wikidata Q5527855
History
- 2026-11-02: add by m2/dev
Theorem D2F4MKGAKM
| URI | m2://inv/D2F4MKGAKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#DTLV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
D2F6T20AX4 D2F6T20AX4
| URI | m2://inv/D2F6T20AX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9201244#HMZ3 (statement). In 7D3HCN21MK/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
John H. Thompson D2FB5Q3DBH
| URI | m2://inv/D2FB5Q3DBH |
|---|---|
| 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#ZOCN, John H. Thompson (topic)
History
- 2026-11-02: add by m2/dev
Empirical mode decomposition D2FB9BNV0R
| URI | m2://inv/D2FB9BNV0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Huang transform#34JM, Empirical mode decomposition (unknown)
History
- 2026-11-02: add by m2/dev
D2FBE2Z2A8 D2FBE2Z2A8
| URI | m2://inv/D2FBE2Z2A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#TGLT (statement). In 1MPH7GCFJ2/e1, corollary 6.7
History
- 2026-10-27: add by m2/v0.4.2
Three inequalities D2FVFZ3BKP
| URI | m2://inv/D2FVFZ3BKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#S055, Three inequalities (statement). In CJRBKR4JKT/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
Definitions D2FW4307ZS
| URI | m2://inv/D2FW4307ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative frequency analysis#SIBL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
D2G4HEK2SJ D2G4HEK2SJ
| URI | m2://inv/D2G4HEK2SJ |
|---|---|
| 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 math/9602216#C1DH (definition). In SD43497T8C/e1, definition 1.35
History
- 2026-10-27: add by m2/v0.3.5
-adic Lindemann–Weierstrass Conjecture. D2G4QZ8001
| URI | m2://inv/D2G4QZ8001 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindemann–Weierstrass theorem#OS2P, -adic Lindemann–Weierstrass Conjecture. (statement)
History
- 2026-11-02: add by m2/dev
if and only if D2G7VAMEBE
| URI | m2://inv/D2G7VAMEBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q949972, if and only if (definition). Also MathWorld Iff, ProofWiki Definition:Iff
- wikipedia: Wikipedia If and only if, If and only if (definition). Also Wikidata Q949972
History
- 2026-10-26: add by m2/dev
affirming the consequent D2G8BW51ZZ
| URI | m2://inv/D2G8BW51ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QW8J, affirming the consequent (definition)
History
- 2026-11-02: add by m2/dev
Generalized complex manifold D2GDKYTJK3
| URI | m2://inv/D2GDKYTJK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#OSE7, Generalized complex manifold (definition)
- wikipedia: Wikipedia List of string theory topics#DPK8, Generalized complex manifold (definition)
History
- 2026-11-02: add by m2/dev
D2GEZGPGTM D2GEZGPGTM
| URI | m2://inv/D2GEZGPGTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#QO2Q (statement). In ZZQT0GFMT2/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Conway's constant D2GFWCDW3K
| URI | m2://inv/D2GFWCDW3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Look-and-say sequence#DTPU, Conway's constant (unknown)
History
- 2026-11-02: add by m2/dev
Thurston norm D2GJE6JVQ0
| URI | m2://inv/D2GJE6JVQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurston norm, Thurston norm (definition). Also Wikidata Q28401506
History
- 2026-11-02: add by m2/dev
D2GJKB222N D2GJKB222N
| URI | m2://inv/D2GJKB222N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
polyhedron D2GM09MWBB
| URI | m2://inv/D2GM09MWBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Polyhedron 0325SGSJAR |
Mentions
- wikidata: Wikidata Q172937, polyhedron (definition). Also EoM Polyhedron, MathWorld Polyhedron, ProofWiki Definition:Polyhedron
- wikipedia: Wikipedia Polyhedron, Polyhedron (definition). Also Wikidata Q172937
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Trivial upper bound D2GM43TV92
| URI | m2://inv/D2GM43TV92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#CAMY, Trivial upper bound (statement). In 8TRCP1482Q/e1, proposition B.8
History
- 2026-10-29: add by m2/v0.4.10
Vitali covering theorem D2H0YD9NSX
| URI | m2://inv/D2H0YD9NSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali covering lemma#FQCI, Vitali covering theorem (statement)
History
- 2026-11-02: add by m2/dev
D2H56ZD5XQ D2H56ZD5XQ
| URI | m2://inv/D2H56ZD5XQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/halting-problem.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
contrast inversion D2HBVA6PZM
| URI | m2://inv/D2HBVA6PZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical transfer function#FJGN, contrast inversion (definition)
History
- 2026-11-02: add by m2/dev
Gamma-Gompertz--Makeham test with positive frailty variance D2HEMYQ61N
| URI | m2://inv/D2HEMYQ61N |
|---|---|
| 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.03685#430S, Gamma-Gompertz--Makeham test with positive frailty variance (statement). In QZM834V1JT/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Katrin Wendland D2HJA1VXMX
| URI | m2://inv/D2HJA1VXMX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7AWO, Katrin Wendland (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CNT8, Katrin Wendland (topic)
- wikipedia: Wikipedia List of German mathematicians#25D2, Katrin Wendland (topic)
History
- 2026-11-02: add by m2/dev
projective D2HKEC30Z1
| URI | m2://inv/D2HKEC30Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FQ44, projective (definition)
History
- 2026-11-02: add by m2/dev
Symmetry D2HMM05RKV
| URI | m2://inv/D2HMM05RKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-8 triangular tiling#T4I5, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
graph, connected D2HNKWD443
| URI | m2://inv/D2HNKWD443 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/graph-connected, graph, connected (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Example D2HSDEH18C
| URI | m2://inv/D2HSDEH18C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal loop diagram#DQ1V, Example (example)
History
- 2026-11-02: add by m2/dev
D2HTVE6VHR D2HTVE6VHR
| URI | m2://inv/D2HTVE6VHR |
|---|---|
| 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 1003.1817#DYJH (statement). In VCPT7BK80E/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Terminology D2J8YGFSBX
| URI | m2://inv/D2J8YGFSBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski spacetime#CVXX, Terminology (definition)
History
- 2026-11-02: add by m2/dev
length of a curve D2JFJJPFKP
| URI | m2://inv/D2JFJJPFKP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/6.2.3/length-of-a-curve, length of a curve (concept). In E59CDZA4DP, index, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
Local weighted Sobolev inequality D2JHSFRK7T
| URI | m2://inv/D2JHSFRK7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#QZYK, Local weighted Sobolev inequality (statement). In ZRG6NY1ECH/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Local correlation factors D2JRQJ600T
| URI | m2://inv/D2JRQJ600T |
|---|---|
| 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.17675#MUJS, Local correlation factors (statement). In 7NMQ6QBYKZ/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
D2JVYA4F06 D2JVYA4F06
| URI | m2://inv/D2JVYA4F06 |
|---|---|
| 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 2604.10080#UOJJ (statement). In KM2FWKP93A/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
A Mathematician's Lament D2JWWPE0C0
| URI | m2://inv/D2JWWPE0C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Mathematician's Lament, A Mathematician's Lament (definition). Also Wikidata Q3689213
History
- 2026-11-02: add by m2/dev
Two-direction case D2JWXCVQN3
| URI | m2://inv/D2JWXCVQN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#3KD2, Two-direction case (statement)
History
- 2026-11-01: add by m2/v0.6.15
YanYan Li D2JZH83ZFJ
| URI | m2://inv/D2JZH83ZFJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia YanYan Li, YanYan Li (topic). Also Wikidata Q1758684
History
- 2026-11-02: add by m2/dev
Construction D2K5H5MY17
| URI | m2://inv/D2K5H5MY17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyroelongated square bipyramid#N8JV, Construction (definition)
History
- 2026-11-02: add by m2/dev
Borel algebra D2K7WJZ87P
| URI | m2://inv/D2K7WJZ87P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1080067, Borel algebra (definition). Also MathWorld BorelSigma-Algebra, ProofWiki Definition:Borel_Sigma-Algebra
History
- 2026-10-26: add by m2/dev
South 24 Parganas D2KCG94T5V
| URI | m2://inv/D2KCG94T5V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1X7I, South 24 Parganas (unknown)
History
- 2026-11-02: add by m2/dev
D2KEZ0H0BQ D2KEZ0H0BQ
| URI | m2://inv/D2KEZ0H0BQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03353#F22C (definition). In 8W61T5CSRB/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
D2KGV1DWHW D2KGV1DWHW
| URI | m2://inv/D2KGV1DWHW |
|---|---|
| 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.39455#HCR6 (statement). In HW4Y4TMEZ3/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
D2KMG0Q584 D2KMG0Q584
| URI | m2://inv/D2KMG0Q584 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-2-3.xml#act-5-2-3 (exercise). In 907G4C4EJ1, activity, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
D2KQH4E0H0 D2KQH4E0H0
| URI | m2://inv/D2KQH4E0H0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-52 (proof). In VNMV985MXX, proof, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Definition D2KR66HQ7B
| URI | m2://inv/D2KR66HQ7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropic vector#DKVP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Albert Cyril Offord D2KZ93SERQ
| URI | m2://inv/D2KZ93SERQ |
|---|---|
| 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#MZ0K, Albert Cyril Offord (topic)
History
- 2026-11-02: add by m2/dev
D2MB297QY1 D2MB297QY1
| URI | m2://inv/D2MB297QY1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#75HX (statement). In 9XMZTTSF5E/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Lieb--Oxford D2MDHZ6X9H
| URI | m2://inv/D2MDHZ6X9H |
|---|---|
| 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.20910#T3AX, Lieb--Oxford (statement). In CETHKW9EBV/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
D2MPSW7SSW D2MPSW7SSW
| URI | m2://inv/D2MPSW7SSW |
|---|---|
| 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.16941#40R6 (statement). In T96MPYB0KT/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
D2MQS1CRRF D2MQS1CRRF
| URI | m2://inv/D2MQS1CRRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#VUHX (statement). In 9VG7PNZHZT/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Construction D2MRV80E78
| URI | m2://inv/D2MRV80E78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E-values#AFEY, Construction (definition)
History
- 2026-11-02: add by m2/dev
Examples D2MTQG4H9Q
| URI | m2://inv/D2MTQG4H9Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block code#056H, Examples (example)
History
- 2026-11-02: add by m2/dev
Enoch Beery Seitz D2MYB22NXH
| URI | m2://inv/D2MYB22NXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enoch Beery Seitz, Enoch Beery Seitz (topic). Also Wikidata Q5379274
History
- 2026-11-02: add by m2/dev
Georges-Henri Halphen D2N82JEX5R
| URI | m2://inv/D2N82JEX5R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FDS6, Georges-Henri Halphen (topic)
History
- 2026-11-02: add by m2/dev
Cauchy–Schwarz inequality D2NC3STR5Q
| URI | m2://inv/D2NC3STR5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocorrelation#5YYE, Cauchy–Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
Properties D2NFGFC6HS
| URI | m2://inv/D2NFGFC6HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma function#PMTA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Covariant D2NQ6DE9RK
| URI | m2://inv/D2NQ6DE9RK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariant (invariant theory), Covariant (definition). Also Wikidata Q85754410
History
- 2026-11-02: add by m2/dev
D2NRZG6TYF D2NRZG6TYF
| URI | m2://inv/D2NRZG6TYF |
|---|---|
| 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.24412#1RWE (statement)
History
- 2026-11-01: add by m2/v0.6.15
D2P2SMQG55 D2P2SMQG55
| URI | m2://inv/D2P2SMQG55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37103#BC5P (statement). In 6Q8YMAWFZN/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Properties D2PE85RTBK
| URI | m2://inv/D2PE85RTBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exchange matrix#L650, Properties (statement)
History
- 2026-11-02: add by m2/dev
embedding dimension D2PR2YHAYK
| URI | m2://inv/D2PR2YHAYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#CBE4, embedding dimension (definition)
History
- 2026-11-02: add by m2/dev
Extended Bihari inequality D2PTMJ8T0R
| URI | m2://inv/D2PTMJ8T0R |
|---|---|
| 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 2203.10220#7EMT, Extended Bihari inequality (statement). In FX2SD1GFHT/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Dennis William Sciama D2Q4SS4C73
| URI | m2://inv/D2Q4SS4C73 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#66DD, Dennis William Sciama (unknown)
History
- 2026-11-02: add by m2/dev
Pi Day D2Q892EDVS
| URI | m2://inv/D2Q892EDVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#3Z7Y, Pi Day (definition)
History
- 2026-11-02: add by m2/dev
Definition D2QC37CCHN
| URI | m2://inv/D2QC37CCHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric function of a matrix argument#0O87, Definition (definition)
History
- 2026-11-02: add by m2/dev
D2QDDE6QRC D2QDDE6QRC
| URI | m2://inv/D2QDDE6QRC |
|---|---|
| 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.13505#WGZV (statement). In 6Z1DDCYCQ8/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
D2QE5CD22H D2QE5CD22H
| URI | m2://inv/D2QE5CD22H |
|---|---|
| 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.15648#JN71 (statement). In 5TM775V8HQ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Induced representation D2QSE210QD
| URI | m2://inv/D2QSE210QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 22D30 |
| Sources | 2 |
| Outcome | open |
| Node | Induced representation JJP4JFH3C6 |
Mentions
- wikidata: Wikidata Q3427423, Induced representation (topic). Also MathWorld InducedRepresentation, nLab induced representation
- wikipedia: Wikipedia Induced representation, Induced representation (definition). Also Wikidata Q3427423
History
- 2026-10-26: add by m2/dev
Galois module D2R034SHVE
| URI | m2://inv/D2R034SHVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Galois representation JQEYEQJY2G |
Mentions
- wikidata: Wikidata Q3427418, Galois module (unknown). Also nLab Galois module
- wikipedia: Wikipedia Galois representation, Galois representation (definition). Also Wikidata Q3427418
History
- 2026-10-26: add by m2/dev
Characterizations D2R34GPZ60
| URI | m2://inv/D2R34GPZ60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic ordering#R81I, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
D2R3M85HDA D2R3M85HDA
| URI | m2://inv/D2R3M85HDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#2C3Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
D2R59HBHTF D2R59HBHTF
| URI | m2://inv/D2R59HBHTF |
|---|---|
| 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.02743#5GOB (statement). In GQH4ZPDWET/e1, theorem 8.4
History
- 2026-10-29: add by m2/v0.4.12
D2R90HX6YV D2R90HX6YV
| URI | m2://inv/D2R90HX6YV |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#KIK0 (conjecture). In E3EK0ESPA7/e1, conjecture 1.5
History
- 2026-10-30: add by m2/v0.4.12
Properties D2RAXNSZH4
| URI | m2://inv/D2RAXNSZH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative interior#UXJ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kushner equation D2RTZKVXR2
| URI | m2://inv/D2RTZKVXR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kushner equation, Kushner equation (definition). Also Wikidata Q6448080
History
- 2026-11-02: add by m2/dev
Statement of the theorem D2RZG59SNR
| URI | m2://inv/D2RZG59SNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hefer's theorem#0GZG, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Dense set D2S83X1XVG
| URI | m2://inv/D2S83X1XVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#DG5C, Dense set (definition)
History
- 2026-11-02: add by m2/dev
Tight closure D2SCE7E51Z
| URI | m2://inv/D2SCE7E51Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tight closure, Tight closure (definition). Also Wikidata Q7801630
History
- 2026-11-02: add by m2/dev
D2SFZ815S1 D2SFZ815S1
| URI | m2://inv/D2SFZ815S1 |
|---|---|
| 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.12047#4MUO (statement). In ZF1Y3HZMZ9/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.3
Compatibility D2SJBD5R4J
| URI | m2://inv/D2SJBD5R4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compatibility (mechanics), Compatibility (definition). Also Wikidata Q5156153
History
- 2026-11-02: add by m2/dev
Fubini version B D2SK0CRVQQ
| URI | m2://inv/D2SK0CRVQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:fubinivB, Fubini version B (statement). In E59CDZA4DP, thm, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Yves Colin de Verdière D2SMVGYQ9G
| URI | m2://inv/D2SMVGYQ9G |
|---|---|
| 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#HL5N, Yves Colin de Verdière (topic)
History
- 2026-11-02: add by m2/dev
Post correspondence problem D2SQ6SNSDQ
| URI | m2://inv/D2SQ6SNSDQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#QI6V, Post correspondence problem (problem)
History
- 2026-11-02: add by m2/dev
octomino D2SR6QA8JN
| URI | m2://inv/D2SR6QA8JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2604509, octomino (unknown). Also MathWorld Octomino
- wikipedia: Wikipedia Octomino, Octomino (definition). Also Wikidata Q2604509
History
- 2026-10-26: add by m2/dev
D2STABW51R D2STABW51R
| URI | m2://inv/D2STABW51R |
|---|---|
| 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.03477#5S87 (statement). In GXN3D4G4HE/e1, fact 2.5
History
- 2026-10-29: add by m2/v0.4.12
D2SWB6DKN1 D2SWB6DKN1
| URI | m2://inv/D2SWB6DKN1 |
|---|---|
| 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 2607.26169#DEJV (statement). In Q46QV3B0NF/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Positive certificates give dense success D2SXNZGNXS
| URI | m2://inv/D2SXNZGNXS |
|---|---|
| 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.32078#3H5O, Positive certificates give dense success (statement). In 5PN85N6EJF/e1, theorem 9.1
History
- 2026-10-31: add by m2/v0.5.6
Al-Isfizari D2T062KTZ1
| URI | m2://inv/D2T062KTZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Isfizari, Al-Isfizari (topic). Also Wikidata Q17984072
History
- 2026-11-02: add by m2/dev
D2T6813JW7 D2T6813JW7
| URI | m2://inv/D2T6813JW7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#UJRL (definition). In ZXQA7QH0H0/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
cultural depictions D2T79Q2GDH
| URI | m2://inv/D2T79Q2GDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#858B, cultural depictions (unknown)
History
- 2026-11-02: add by m2/dev
Fourier transform D2TJK6Y5TS
| URI | m2://inv/D2TJK6Y5TS |
|---|---|
| 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#NR1D, Fourier transform (definition)
History
- 2026-11-01: add by m2/v0.6.15
AC D2TJKABBVM
| URI | m2://inv/D2TJKABBVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VDMI, AC (definition)
History
- 2026-11-02: add by m2/dev
Vladimir Ilyin D2TM0AQAKH
| URI | m2://inv/D2TM0AQAKH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Ilyin (mathematician), Vladimir Ilyin (topic). Also Wikidata Q4199550
History
- 2026-11-02: add by m2/dev
Rotations D2TZ0Y3FW4
| URI | m2://inv/D2TZ0Y3FW4 |
|---|---|
| Kind | example |
| 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.36237#231E, Rotations (example). In JNBMSFE14N/e1, example 3.7
History
- 2026-10-30: add by m2/v0.4.12
Biplot D2VB388B0S
| URI | m2://inv/D2VB388B0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VNWL, Biplot (definition)
- wikipedia: Wikipedia List of graphical methods#NLYG, Biplot (definition)
History
- 2026-11-02: add by m2/dev
Definition D2VCJ1NPPD
| URI | m2://inv/D2VCJ1NPPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poly-Bernoulli number#F8RQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
D2VCXXNFYJ D2VCXXNFYJ
| URI | m2://inv/D2VCXXNFYJ |
|---|---|
| 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.38532#OGSF (statement). In X7YYWCZFTV/e1, corollary 4.9
History
- 2026-10-30: add by m2/v0.4.12
grand unified theory D2VNDH5H2E
| URI | m2://inv/D2VNDH5H2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q382037, grand unified theory (unknown). Also nLab GUT
History
- 2026-10-26: add by m2/dev
D2VP1JWZ19 D2VP1JWZ19
| URI | m2://inv/D2VP1JWZ19 |
|---|---|
| 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.13850#Q0CE (statement). In KJY735KSMF/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
D2VRSNNBT2 D2VRSNNBT2
| URI | m2://inv/D2VRSNNBT2 |
|---|---|
| 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.11757#F5S5 (statement). In VSJRVTHWWA/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.3
Brahmagupta's interpolation formula D2VY4PSWTD
| URI | m2://inv/D2VY4PSWTD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta's interpolation formula, Brahmagupta's interpolation formula (statement). Also Wikidata Q17003778
History
- 2026-11-02: add by m2/dev
LowerUnits D2W18VEN70
| URI | m2://inv/D2W18VEN70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LowerUnits, LowerUnits (definition). Also Wikidata Q15964440
History
- 2026-11-02: add by m2/dev
Thompson sampling D2W3V82ES4
| URI | m2://inv/D2W3V82ES4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thompson sampling, Thompson sampling (definition). Also Wikidata Q7795822
History
- 2026-11-02: add by m2/dev
D2W9K0114G D2W9K0114G
| URI | m2://inv/D2W9K0114G |
|---|---|
| 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 math/0003117#WJOF (statement). In WD2NCBV9F0/e1, lemma 21.11
History
- 2026-10-27: add by m2/v0.3.5
Weyl–Berry conjecture D2WBQ5FP88
| URI | m2://inv/D2WBQ5FP88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#IOFK, Weyl–Berry conjecture (definition)
- wikipedia: Wikipedia List of things named after Hermann Weyl#55OD, Weyl–Berry conjecture (definition)
History
- 2026-11-02: add by m2/dev
D2WCAQMXM5 D2WCAQMXM5
| URI | m2://inv/D2WCAQMXM5 |
|---|---|
| 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 2012.11507#ZSLZ (statement). In DZA5P853H9/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.5
D2WCZHPMWN D2WCZHPMWN
| URI | m2://inv/D2WCZHPMWN |
|---|---|
| Kind | example |
| 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.17240#KJHU (example). In 59BZ4V9RQW/e1, example 9.10
History
- 2026-10-28: add by m2/v0.4.2
Florence Merlevède D2WRD084KY
| URI | m2://inv/D2WRD084KY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florence Merlevède, Florence Merlevède (topic). Also Wikidata Q102795647
History
- 2026-11-02: add by m2/dev
D2WYRAQYBF D2WYRAQYBF
| URI | m2://inv/D2WYRAQYBF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#MTCO (example). In XV70TXYS5A/e1, example 4.6
History
- 2026-10-27: add by m2/v0.4.2
The univalence axiom D2WZF5PY2T
| URI | m2://inv/D2WZF5PY2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy type theory#1NDP, The univalence axiom (statement)
History
- 2026-11-02: add by m2/dev
D2X3JP7FCP D2X3JP7FCP
| URI | m2://inv/D2X3JP7FCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37589#FW9B (statement). In 18HVB2SKW1/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
D2X40T73HQ D2X40T73HQ
| URI | m2://inv/D2X40T73HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#GD2B (statement). In J7ZX3WWRQP/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Examples D2XRKVS0QD
| URI | m2://inv/D2XRKVS0QD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication algorithm#CK50, Examples (example)
History
- 2026-11-02: add by m2/dev
D2XYM1AB2Y D2XYM1AB2Y
| URI | m2://inv/D2XYM1AB2Y |
|---|---|
| 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.28597#N59A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Semitopological group D2XZ9A5CQ9
| URI | m2://inv/D2XZ9A5CQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semitopological group, Semitopological group (definition). Also Wikidata Q55632841
History
- 2026-11-02: add by m2/dev
D2Y59MPGE3 D2Y59MPGE3
| URI | m2://inv/D2Y59MPGE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 99.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem D2Y9TYHWWK
| URI | m2://inv/D2Y9TYHWWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#O0RK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
D2YB2WTJDV D2YB2WTJDV
| URI | m2://inv/D2YB2WTJDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#K5AR (statement)
History
- 2026-11-02: add by m2/v0.6.17
D2YEBVX8Y8 D2YEBVX8Y8
| URI | m2://inv/D2YEBVX8Y8 |
|---|---|
| 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 2112.05010#OBWZ (statement). In 4SZNPS3Z00/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.6
Ivo D. Dinov D2YFRTBSD4
| URI | m2://inv/D2YFRTBSD4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivo D. Dinov, Ivo D. Dinov (topic). Also Wikidata Q30347893
History
- 2026-11-02: add by m2/dev
Acta Numerica D2YFVQC2GF
| URI | m2://inv/D2YFVQC2GF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#72AH, Acta Numerica (unknown)
History
- 2026-11-02: add by m2/dev
Comparison matrix D2YNMYT5WR
| URI | m2://inv/D2YNMYT5WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison matrix, Comparison matrix (definition). Also Wikidata Q55647719
History
- 2026-11-02: add by m2/dev
Outliers in regression D2YSWHP839
| URI | m2://inv/D2YSWHP839 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust regression#CQE3, Outliers in regression (unknown)
History
- 2026-11-02: add by m2/dev
D2YWRS3TZ2 D2YWRS3TZ2
| URI | m2://inv/D2YWRS3TZ2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-quantifiers.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 15.5
History
- 2026-11-01: add by m2/v0.6.13
Statement of the lemma D2YXAPN8K6
| URI | m2://inv/D2YXAPN8K6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (number theory)#G0TI, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
D2Z2AZCC44 D2Z2AZCC44
| URI | m2://inv/D2Z2AZCC44 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28540#2FNT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Leonid Berlyand D2ZBC66PHQ
| URI | m2://inv/D2ZBC66PHQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonid Berlyand, Leonid Berlyand (topic). Also Wikidata Q43784993
History
- 2026-11-02: add by m2/dev
Cramér's theorem D2ZCV5H33H
| URI | m2://inv/D2ZCV5H33H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q55647729, Cramér's theorem (large deviations) (statement). Also Wikidata Q55647729
- thousand_plus: thousand_plus Q55647729, Cramér's theorem (large deviations) (statement). Also Wikidata Q55647729, Wikipedia Cramér's theorem (large deviations)
- wikipedia: Wikipedia Cramér's theorem (large deviations), Cramér's theorem (statement). Also Wikidata Q55647729
History
- 2026-10-26: add by m2/dev
D2ZDPEWR8W D2ZDPEWR8W
| URI | m2://inv/D2ZDPEWR8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02213#T26D (statement). In 43B5W08GMR/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
$\R(X)$-partial fraction decomposition D2ZHX0CAME
| URI | m2://inv/D2ZHX0CAME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > $\R(X)$-partial fraction decomposition, $\R(X)$-partial fraction decomposition (unknown)
History
- 2026-10-26: add by m2/dev
Definition D2ZRF4TEVH
| URI | m2://inv/D2ZRF4TEVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overcategory#SZA2, Definition (definition)
History
- 2026-11-02: add by m2/dev
D2ZX9038AM D2ZX9038AM
| URI | m2://inv/D2ZX9038AM |
|---|---|
| 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 2301.02848#4G08 (statement). In G6WQDW52TJ/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6