Inventory rows DP
The cards of the rows of the inventory whose ids start with DP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
DP07B3SA3D DP07B3SA3D
| URI | m2://inv/DP07B3SA3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.01411#RM8M (statement). In SD28S3K7BT/e1, proposition 50
History
- 2026-10-29: add by m2/v0.4.12
Direct product of groups DP0CJTB9CE
| URI | m2://inv/DP0CJTB9CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#JT0N, Direct product of groups (definition)
History
- 2026-11-02: add by m2/dev
DP0E1YEHDV DP0E1YEHDV
| URI | m2://inv/DP0E1YEHDV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-20 (example). In E9HS8K3A52, example, section 10.9.3
History
- 2026-11-01: add by m2/v0.6.13
ODE DP0WYXK7EG
| URI | m2://inv/DP0WYXK7EG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.8.2/ode, ODE (concept). In E9HS8K3A52, index, section 6.8.2
History
- 2026-11-01: add by m2/v0.6.13
DP0ZK5H15Q DP0ZK5H15Q
| URI | m2://inv/DP0ZK5H15Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/fixed-point-lemma.tex#lem:fixed-point (statement). In PKGMM3P5QY, lem, section 27.10
History
- 2026-11-01: add by m2/v0.6.13
Theorem DP12F7QG32
| URI | m2://inv/DP12F7QG32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-rank matrix approximations#2CRP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties DP12ZP3N1T
| URI | m2://inv/DP12ZP3N1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocal polynomial#I418, Properties (statement)
History
- 2026-11-02: add by m2/dev
DP17MQPVTA DP17MQPVTA
| URI | m2://inv/DP17MQPVTA |
|---|---|
| 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 1011.5443#EHFT (statement). In VQ0K2GV62A/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Descartes Rule of Signs DP18G6ZPTN
| URI | m2://inv/DP18G6ZPTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 100, Descartes Rule of Signs (statement). Also Mathlib Polynomial.roots_countP_pos_le_signVariations
History
- 2026-10-26: add by m2/dev
Spline (mathematics) DP1AWBTGQC
| URI | m2://inv/DP1AWBTGQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#Y6PW, Spline (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Examples DP1JQ3V9FC
| URI | m2://inv/DP1JQ3V9FC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semimodule#73IM, Examples (example)
History
- 2026-11-02: add by m2/dev
Prasad's discrete-series conjecture DP1SY8HRVY
| URI | m2://inv/DP1SY8HRVY |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#2EWL, Prasad's discrete-series conjecture (conjecture). In TPYRE2ARMD/e1, conjecture 3.1
History
- 2026-10-29: add by m2/v0.4.10
DP22S6WQMR DP22S6WQMR
| URI | m2://inv/DP22S6WQMR |
|---|---|
| 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 2311.16252#KG7J (statement). In 8AHN9GSRMR/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.0
DP2449978E DP2449978E
| URI | m2://inv/DP2449978E |
|---|---|
| Kind | statement |
| 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#YZXI (statement). In HX63A1PH1W/e1, lemma 3.19
History
- 2026-10-28: add by m2/v0.4.3
Exterior algebra DP254102V5
| URI | m2://inv/DP254102V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#90PW, Exterior algebra (definition)
History
- 2026-11-02: add by m2/dev
DP26KEJ4TK DP26KEJ4TK
| URI | m2://inv/DP26KEJ4TK |
|---|---|
| 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.03336#SDHU (statement). In 4ZD20W8BVF/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Examples DP2705T1BM
| URI | m2://inv/DP2705T1BM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slope#NZXF, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalizations DP29KPB9WE
| URI | m2://inv/DP29KPB9WE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abess#4Q21, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Granville and Soundararajan DP29NRCDC3
| URI | m2://inv/DP29NRCDC3 |
|---|---|
| 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.22777#N9N5, Granville and Soundararajan (statement)
History
- 2026-11-02: add by m2/v0.6.17
DP2KA76C7R DP2KA76C7R
| URI | m2://inv/DP2KA76C7R |
|---|---|
| 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.23128#UMVA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Atiyah–Jones conjecture DP2RZSZDAW
| URI | m2://inv/DP2RZSZDAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Jones conjecture, Atiyah–Jones conjecture (statement). Also Wikidata Q4815878
History
- 2026-11-02: add by m2/dev
Applications DP2YD0HQ8A
| URI | m2://inv/DP2YD0HQ8A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric series#WIS4, Applications (example)
History
- 2026-11-02: add by m2/dev
Three sphere inequality DP3BESYRXT
| URI | m2://inv/DP3BESYRXT |
|---|---|
| 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 2605.17484#9VUH, Three sphere inequality (statement). In 5E9GMPKEEP/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Base rate DP3DDPPSH4
| URI | m2://inv/DP3DDPPSH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#63I9, Base rate (definition)
History
- 2026-11-02: add by m2/dev
Michael Dinneen DP3NK9F0G6
| URI | m2://inv/DP3NK9F0G6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Dinneen, Michael Dinneen (topic). Also Wikidata Q6829862
History
- 2026-11-02: add by m2/dev
Lucjan Böttcher DP435J8YNG
| URI | m2://inv/DP435J8YNG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucjan Böttcher, Lucjan Böttcher (topic). Also Wikidata Q1873657
History
- 2026-11-02: add by m2/dev
DP484QC9Z1 DP484QC9Z1
| URI | m2://inv/DP484QC9Z1 |
|---|---|
| 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.01928#GGKF (statement). In BSJRRHKGX0/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
Abe Gelbart DP4DBPPPTQ
| URI | m2://inv/DP4DBPPPTQ |
|---|---|
| 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#0VGQ, Abe Gelbart (topic)
History
- 2026-11-02: add by m2/dev
DP4PN3YXG9 DP4PN3YXG9
| URI | m2://inv/DP4PN3YXG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#23V7 (statement). In 8SVVEVGMNE/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.5
DP4VHTZEZ4 DP4VHTZEZ4
| URI | m2://inv/DP4VHTZEZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24577#AEXY (statement)
History
- 2026-11-01: add by m2/v0.6.15
DP4ZSM82P3 DP4ZSM82P3
| URI | m2://inv/DP4ZSM82P3 |
|---|---|
| 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.05499#N138 (statement). In CQMD3382D6/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
Calculus of structures DP555MFVYD
| URI | m2://inv/DP555MFVYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus of structures, Calculus of structures (definition). Also Wikidata Q5018901
History
- 2026-11-02: add by m2/dev
Topological property DP5CMMATEK
| URI | m2://inv/DP5CMMATEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#UYZ0, Topological property (definition)
History
- 2026-11-02: add by m2/dev
Formal definition DP5ET1T37W
| URI | m2://inv/DP5ET1T37W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfaffian#G9JI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
BCJR algorithm DP5J6YTY95
| URI | m2://inv/DP5J6YTY95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CAHO, BCJR algorithm (definition)
History
- 2026-11-02: add by m2/dev
Applications DP5MKP0BFC
| URI | m2://inv/DP5MKP0BFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulant matrix#CPD6, Applications (example)
History
- 2026-11-02: add by m2/dev
Gompertz constant DP5QMD8F4J
| URI | m2://inv/DP5QMD8F4J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17018254, Gompertz constant (concept). Also MathWorld GompertzConstant
- wikipedia: Wikipedia Gompertz constant, Gompertz constant (object). Also Wikidata Q17018254
History
- 2026-10-26: add by m2/dev
4-baryon number flux DP5V121SFE
| URI | m2://inv/DP5V121SFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-vector#FEOB, 4-baryon number flux (unknown)
History
- 2026-11-02: add by m2/dev
Lepage test DP5XJ15QX7
| URI | m2://inv/DP5XJ15QX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lepage test, Lepage test (definition). Also Wikidata Q85776276
History
- 2026-11-02: add by m2/dev
Stinespring dilation DP5Y5BSSAK
| URI | m2://inv/DP5Y5BSSAK |
|---|---|
| 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.01932#2ZS3, Stinespring dilation (statement). In XDKWW6NR0K/e1, fact 7.1
History
- 2026-10-29: add by m2/v0.4.12
Adjoint capacity DP67ARSG0E
| URI | m2://inv/DP67ARSG0E |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Turing degree DP68YWN0XX
| URI | m2://inv/DP68YWN0XX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing degree, Turing degree (definition). Also Wikidata Q1527413
History
- 2026-11-02: add by m2/dev
Hysteresivity DP69P2WF20
| URI | m2://inv/DP69P2WF20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hysteresivity, Hysteresivity (definition). Also Wikidata Q5962324
History
- 2026-11-02: add by m2/dev
A Calabi--Yau threefold in a Grassmannian DP6AQM8E0S
| URI | m2://inv/DP6AQM8E0S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#SBEE, A Calabi--Yau threefold in a Grassmannian (example)
History
- 2026-11-02: add by m2/v0.6.17
cube DP6DK5DT4F
| URI | m2://inv/DP6DK5DT4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q812880, cube (definition). Also EoM Cube, MathWorld Cube, ProofWiki Definition:Cube/Geometry
- wikipedia: Wikipedia Cube, Cube (definition). Also Wikidata Q812880
History
- 2026-10-26: add by m2/dev
Tomoyuki Arakawa DP6FCYZ37F
| URI | m2://inv/DP6FCYZ37F |
|---|---|
| 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#NXQP, Tomoyuki Arakawa (topic)
History
- 2026-11-02: add by m2/dev
Definition DP6FY4BH9V
| URI | m2://inv/DP6FY4BH9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association scheme#96N3, Definition (definition)
History
- 2026-11-02: add by m2/dev
DP6JP69XDP DP6JP69XDP
| URI | m2://inv/DP6JP69XDP |
|---|---|
| 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.20140#BWXV (statement)
History
- 2026-11-02: add by m2/v0.6.18
DP6JR90QW8 DP6JR90QW8
| URI | m2://inv/DP6JR90QW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#43GN (statement). In WNFW6GY38C/e1, theorem 6.5
History
- 2026-10-30: add by m2/v0.4.12
Applications DP6NQM8QXA
| URI | m2://inv/DP6NQM8QXA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiconvex function#WSLX, Applications (example)
History
- 2026-11-02: add by m2/dev
DP6RAPW05Z DP6RAPW05Z
| URI | m2://inv/DP6RAPW05Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39948#IIKF (definition). In 6R7CBG955V/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Disintegration of the surface measure DP6X3JB7BW
| URI | m2://inv/DP6X3JB7BW |
|---|---|
| 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.32710#PLHZ, Disintegration of the surface measure (statement). In KVYG6R7CGJ/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
1-planar graph DP6Z7FMW5S
| URI | m2://inv/DP6Z7FMW5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4545823, 1-planar graph (unknown). Also MathWorld 1-PlanarGraph
- wikipedia: Wikipedia 1-planar graph, 1-planar graph (definition). Also Wikidata Q4545823
History
- 2026-10-26: add by m2/dev
DP71KF4Y05 DP71KF4Y05
| URI | m2://inv/DP71KF4Y05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40260#MA9W (statement). In 524FZAC6NB/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
DP74GS6ZA5 DP74GS6ZA5
| URI | m2://inv/DP74GS6ZA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#ZHDA (statement). In RPC7VG3KHQ/e1, corollary 3.18
History
- 2026-10-30: add by m2/v0.4.12
Zlotnik DP7DJ2BJ7R
| URI | m2://inv/DP7DJ2BJ7R |
|---|---|
| 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.04894#MGJ4, Zlotnik (statement). In AZZ35SDENN/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Flatness measure DP7F5DZM7V
| URI | m2://inv/DP7F5DZM7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flatness (manufacturing)#VOUW, Flatness measure (unknown)
History
- 2026-11-02: add by m2/dev
Heine–Borel theorem DP7G8NRZX2
| URI | m2://inv/DP7G8NRZX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#9WBO, Heine–Borel theorem (statement)
- wikipedia: Wikipedia List of things named after Eduard Heine#T1X0, Heine–Borel theorem (statement)
History
- 2026-11-02: add by m2/dev
DP7KGVRGBW DP7KGVRGBW
| URI | m2://inv/DP7KGVRGBW |
|---|---|
| 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.29152#8DPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
DP7QXP09DQ DP7QXP09DQ
| URI | m2://inv/DP7QXP09DQ |
|---|---|
| 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 2312.14445#H3CP (statement). In V56MKF0KW2/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.3.5
DP7R4TGK76 DP7R4TGK76
| URI | m2://inv/DP7R4TGK76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#Q0NX (statement). In RGQZVNXWM5/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definition DP7RSY89TB
| URI | m2://inv/DP7RSY89TB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind cut#BHS0, Definition (definition)
History
- 2026-11-02: add by m2/dev
DP7V5CD6JC DP7V5CD6JC
| URI | m2://inv/DP7V5CD6JC |
|---|---|
| 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 2601.15010#WMRZ (statement). In K3WJ6ZN184/e1, lemma 8.3
History
- 2026-10-27: add by m2/v0.3.5
DP7VKH7RSP DP7VKH7RSP
| URI | m2://inv/DP7VKH7RSP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 10.7
History
- 2026-11-01: add by m2/v0.6.13
Scott Aaronson DP7WS964FW
| URI | m2://inv/DP7WS964FW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NJOX, Scott Aaronson (topic)
History
- 2026-11-02: add by m2/dev
Symplectic basis DP7YN3MGX2
| URI | m2://inv/DP7YN3MGX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic basis, Symplectic basis (definition). Also Wikidata Q16964699
History
- 2026-11-02: add by m2/dev
Singular cutoffs and integral bounds DP802YAWP1
| URI | m2://inv/DP802YAWP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05204#M1UX, Singular cutoffs and integral bounds (statement). In ET0TQ8YF7Z/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Deletion rounds DP83NZHA8P
| URI | m2://inv/DP83NZHA8P |
|---|---|
| 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.28160#35ZG, Deletion rounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties DP83ZCS4V4
| URI | m2://inv/DP83ZCS4V4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Content (measure theory)#3G4B, Properties (statement)
History
- 2026-11-02: add by m2/dev
DP98HRBDHN DP98HRBDHN
| URI | m2://inv/DP98HRBDHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#0H9W (statement). In BDN507RN7J/e1, proposition 4.3.1
History
- 2026-10-30: add by m2/v0.4.12
Nussinov algorithm DP997GZ7TW
| URI | m2://inv/DP997GZ7TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nussinov algorithm, Nussinov algorithm (definition). Also Wikidata Q2005549
History
- 2026-11-02: add by m2/dev
James Haglund DP9BDK6486
| URI | m2://inv/DP9BDK6486 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Haglund, James Haglund (topic). Also Wikidata Q102083429
History
- 2026-11-02: add by m2/dev
Psychometric Society DP9CWMN4NB
| URI | m2://inv/DP9CWMN4NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychometric Society, Psychometric Society (definition). Also Wikidata Q7256432
History
- 2026-11-02: add by m2/dev
Multinomial test DP9G3SAB3A
| URI | m2://inv/DP9G3SAB3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5XMA, Multinomial test (definition)
History
- 2026-11-02: add by m2/dev
permutation, cycle notation for DP9XXE5DTC
| URI | m2://inv/DP9XXE5DTC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.2.1/permutation-cycle-notation-for, permutation, cycle notation for (concept). In QKM9DD2H56, index, section 15.2.1
History
- 2026-11-01: add by m2/v0.6.13
Main Theorem DP9ZM7AN4Y
| URI | m2://inv/DP9ZM7AN4Y |
|---|---|
| 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.21097#25XY, Main Theorem (statement). In Y1KA940FPZ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
DPAC2356QA DPAC2356QA
| URI | m2://inv/DPAC2356QA |
|---|---|
| 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.21116#CQBD (statement)
History
- 2026-11-02: add by m2/v0.6.18
DPAEXGGM46 DPAEXGGM46
| URI | m2://inv/DPAEXGGM46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#4Q6V (statement). In 49V3ANDZTY/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Johann Radon DPAGHEH2VZ
| URI | m2://inv/DPAGHEH2VZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#EVC9, Johann Radon (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#CB7Q, Johann Radon (topic)
History
- 2026-11-02: add by m2/dev
DPAJ4NK9MM DPAJ4NK9MM
| URI | m2://inv/DPAJ4NK9MM |
|---|---|
| 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 2610.00856#MPO3 (statement). In W6VHD4QBY4/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
DPANDTKD5N DPANDTKD5N
| URI | m2://inv/DPANDTKD5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#9EHF (statement). In TSXBJB0EXK/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Gevrey--$1$ asymptotics; exactness of the one--loop term DPARA1TS7K
| URI | m2://inv/DPARA1TS7K |
|---|---|
| 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.29605#PLLV, Gevrey--$1$ asymptotics; exactness of the one--loop term (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cantor algebra DPB9ZKXE6A
| URI | m2://inv/DPB9ZKXE6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor algebra, Cantor algebra (definition). Also Wikidata Q18386550
History
- 2026-11-02: add by m2/dev
DPBBACBT4Q DPBBACBT4Q
| URI | m2://inv/DPBBACBT4Q |
|---|---|
| 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.08370#I6AH (statement). In EQN3EZRZYQ/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
598 (number) DPBHVW09XJ
| URI | m2://inv/DPBHVW09XJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#UXHS, 598 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Relationships among probability distributions DPBRG3TERA
| URI | m2://inv/DPBRG3TERA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relationships among probability distributions, Relationships among probability distributions (definition). Also Wikidata Q29209
History
- 2026-11-02: add by m2/dev
assembly of the boxes DPBTD2YB5J
| URI | m2://inv/DPBTD2YB5J |
|---|---|
| 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.01753#RE7Z, assembly of the boxes (statement). In JY50YXMH5N/e1, proposition 39
History
- 2026-10-29: add by m2/v0.4.12
DPC31M1B0J DPC31M1B0J
| URI | m2://inv/DPC31M1B0J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#example-4 (example). In RZP28ERRZV, example, section 43.5
History
- 2026-11-01: add by m2/v0.6.13
resizing DPC7VHC4M4
| URI | m2://inv/DPC7VHC4M4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/resizing, resizing (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Hardy field DPC832PRH0
| URI | m2://inv/DPC832PRH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy field, Hardy field (definition). Also Wikidata Q17021030
History
- 2026-11-02: add by m2/dev
DPCZK34QTV DPCZK34QTV
| URI | m2://inv/DPCZK34QTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#ONWU (statement). In PQHTR84RAJ/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
Daniel Sternheimer DPD06VWMX7
| URI | m2://inv/DPD06VWMX7 |
|---|---|
| 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 Q46023413, Daniel Sternheimer (unknown). Also nLab Daniel Sternheimer
History
- 2026-10-26: add by m2/dev
DPDA68MDY5 DPDA68MDY5
| URI | m2://inv/DPDA68MDY5 |
|---|---|
| Kind | example |
| 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.23106#BVA7 (example)
History
- 2026-11-02: add by m2/v0.6.17
DPDJ0XMD81 DPDJ0XMD81
| URI | m2://inv/DPDJ0XMD81 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 27.1
History
- 2026-11-01: add by m2/v0.6.13
Acceptable ring DPDPSAVXK8
| URI | m2://inv/DPDPSAVXK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceptable ring, Acceptable ring (definition). Also Wikidata Q16920586
History
- 2026-11-02: add by m2/dev
DPDXA8G1S8 DPDXA8G1S8
| URI | m2://inv/DPDXA8G1S8 |
|---|---|
| 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.04600#ZDEA (statement). In 4V64K0DYSV/e1, lemma I.8.6
History
- 2026-10-29: add by m2/v0.4.12
DPE772Q4ZB DPE772Q4ZB
| URI | m2://inv/DPE772Q4ZB |
|---|---|
| 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#UHS5 (statement). In ZVNM9X4NNG/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Electrical network DPE84QAPZ4
| URI | m2://inv/DPE84QAPZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#A2SL, Electrical network (definition)
History
- 2026-11-02: add by m2/dev
Envy-free cake-cutting DPE8518HZ1
| URI | m2://inv/DPE8518HZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#950X, Envy-free cake-cutting (unknown)
History
- 2026-11-02: add by m2/dev
The H-Principle of applied mathematics DPE8HXQRH2
| URI | m2://inv/DPE8HXQRH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnar Höskuldsson#14IY, The H-Principle of applied mathematics (statement)
History
- 2026-11-02: add by m2/dev
Filecoin DPECTDM1RB
| URI | m2://inv/DPECTDM1RB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filecoin, Filecoin (definition). Also Wikidata Q39048590
History
- 2026-11-02: add by m2/dev
cube DPEDK1TMKF
| URI | m2://inv/DPEDK1TMKF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3.2/cube, cube (concept). In Y91XFCEVHQ, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Rudolf Fueter DPEDVPK5QZ
| URI | m2://inv/DPEDVPK5QZ |
|---|---|
| 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#1XYZ, Rudolf Fueter (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B3MM, Rudolf Fueter (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D09P, Rudolf Fueter (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I5NI, Rudolf Fueter (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NS0A, Rudolf Fueter (topic)
History
- 2026-11-02: add by m2/dev
DPEJAY7HAX DPEJAY7HAX
| URI | m2://inv/DPEJAY7HAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31979#WP8K (statement). In M74V9NBAXB/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
Wallenberg Prize DPENWCRT9X
| URI | m2://inv/DPENWCRT9X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swedish Mathematical Society#D5ON, Wallenberg Prize (unknown)
History
- 2026-11-02: add by m2/dev
Amenable covering factorization DPEQW61WD6
| URI | m2://inv/DPEQW61WD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18530#ZZS8, Amenable covering factorization (statement). In HSXWVKPCQV/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
topological vector bundle DPEXT3GZV8
| URI | m2://inv/DPEXT3GZV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > topological vector bundle, topological vector bundle (unknown). Also Mathlib VectorBundle
History
- 2026-10-26: add by m2/dev
Temporal Key Integrity Protocol DPF3SN02Y8
| URI | m2://inv/DPF3SN02Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal Key Integrity Protocol, Temporal Key Integrity Protocol (definition). Also Wikidata Q908608
History
- 2026-11-02: add by m2/dev
DPFA87P5V8 DPFA87P5V8
| URI | m2://inv/DPFA87P5V8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#FCA6 (problem). In 2381M4GBTT/e1, problem 13.1
History
- 2026-10-29: add by m2/v0.4.12
DPFCXM07K9 DPFCXM07K9
| URI | m2://inv/DPFCXM07K9 |
|---|---|
| Kind | conjecture |
| 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 2609.27360#8D91 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
area of a triangle DPFQN5PVMT
| URI | m2://inv/DPFQN5PVMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Area of a triangle 065JWMZW86 |
Mentions
- wikidata: Wikidata Q20183185, area of a triangle (statement). Also MathWorld TriangleArea, ProofWiki Area_of_Triangle
- wikipedia: Wikipedia Area of a triangle, Area of a triangle (definition). Also Wikidata Q20183185
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Wang Yuan DPFR2WHKWB
| URI | m2://inv/DPFR2WHKWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#1T01, Wang Yuan (topic)
History
- 2026-11-02: add by m2/dev
DPG6VSZZMJ DPG6VSZZMJ
| URI | m2://inv/DPG6VSZZMJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#proof-4 (proof). In RZP28ERRZV, proof, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
ZFC DPG7ZRV4DW
| URI | m2://inv/DPG7ZRV4DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#D98R, ZFC (definition)
History
- 2026-11-02: add by m2/dev
Bolker and Roth DPGT4EXPTS
| URI | m2://inv/DPGT4EXPTS |
|---|---|
| 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#XSIF, Bolker and Roth (statement). In JQ4JYAXCMK/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
DPGZXGZX25 DPGZXGZX25
| URI | m2://inv/DPGZXGZX25 |
|---|---|
| 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.23128#WL6V (statement)
History
- 2026-11-02: add by m2/v0.6.17
DPHCQNM2CT DPHCQNM2CT
| URI | m2://inv/DPHCQNM2CT |
|---|---|
| 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.08039#ZHA3 (statement). In Y1K8WE4MDP/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
DPHD8DXD7D DPHD8DXD7D
| URI | m2://inv/DPHD8DXD7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40189#OW4L (statement). In K2MDWD9V46/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
continuity of the limit of a sequence of functions DPHGP4V2Q4
| URI | m2://inv/DPHGP4V2Q4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > continuity of the limit of a sequence of functions, continuity of the limit of a sequence of functions (unknown). Also Mathlib continuous_of_uniform_approx_of_continuous
History
- 2026-10-26: add by m2/dev
Kripke semantics DPHT5XW356
| URI | m2://inv/DPHT5XW356 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IID7, Kripke semantics (definition)
History
- 2026-11-02: add by m2/dev
DPJ4NRYDJN DPJ4NRYDJN
| URI | m2://inv/DPJ4NRYDJN |
|---|---|
| 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.22825#BOFA (statement)
History
- 2026-11-02: add by m2/v0.6.17
DPJ8CRAKK5 DPJ8CRAKK5
| URI | m2://inv/DPJ8CRAKK5 |
|---|---|
| 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#LXQY (statement). In X7YYWCZFTV/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Hyperplane DPK44Q9CG7
| URI | m2://inv/DPK44Q9CG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#1RWY, Hyperplane (definition)
History
- 2026-11-02: add by m2/dev
DPK97F6558 DPK97F6558
| URI | m2://inv/DPK97F6558 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 86.7
History
- 2026-11-01: add by m2/v0.6.13
improper integral DPKBRR863S
| URI | m2://inv/DPKBRR863S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Improper integral 05KQ3F99BQ |
Mentions
- wikidata: Wikidata Q464118, improper integral (unknown). Also EoM Improper_integral, MathWorld ImproperIntegral
- wikipedia: Wikipedia Improper integral, Improper integral (definition). Also Wikidata Q464118
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DPKD81ZVGG DPKD81ZVGG
| URI | m2://inv/DPKD81ZVGG |
|---|---|
| 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.27641#U7KV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spider diagram DPKJTSQY6G
| URI | m2://inv/DPKJTSQY6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spider diagram, Spider diagram (definition). Also Wikidata Q7577056
History
- 2026-11-02: add by m2/dev
Definition DPKS6S6EN6
| URI | m2://inv/DPKS6S6EN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermodular function#PHOF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition DPKVXQNFJX
| URI | m2://inv/DPKVXQNFJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius theorem (differential topology)#RE7S, Definition (definition)
History
- 2026-11-02: add by m2/dev
DPKZWJZZX6 DPKZWJZZX6
| URI | m2://inv/DPKZWJZZX6 |
|---|---|
| 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.27673#5A0M (statement)
History
- 2026-11-01: add by m2/v0.6.15
DPM3X75AAT DPM3X75AAT
| URI | m2://inv/DPM3X75AAT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-67 (exercise). In E9HS8K3A52, exercise, section 5.5.3
History
- 2026-11-01: add by m2/v0.6.13
DPMGHMR4K4 DPMGHMR4K4
| URI | m2://inv/DPMGHMR4K4 |
|---|---|
| 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 2609.38567#D3B6 (statement). In 59AXA7QFTE/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Quotient intersections and vanishing curvature DPMP8X0C7A
| URI | m2://inv/DPMP8X0C7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.06739#SD2Z, Quotient intersections and vanishing curvature (statement). In HA9B7PD0YV/e1, corollary 24
History
- 2026-10-29: add by m2/v0.4.10
M. L. Gromov DPMWQ7FPZ2
| URI | m2://inv/DPMWQ7FPZ2 |
|---|---|
| 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#I9O9, M. L. Gromov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OHES, M. L. Gromov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q6MC, M. L. Gromov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R02Z, M. L. Gromov (topic)
History
- 2026-11-02: add by m2/dev
Circuit size DPMYXZ4T0D
| URI | m2://inv/DPMYXZ4T0D |
|---|---|
| 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.02166#ZW8J, Circuit size (statement). In R6RF3P6D5A/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
DPN2D1WNKK DPN2D1WNKK
| URI | m2://inv/DPN2D1WNKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-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.19451#CMRV (statement). In QHYYV06KBS/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
DPNA5Z217Z DPNA5Z217Z
| URI | m2://inv/DPNA5Z217Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2510.05499#W77A (definition). In WRMNCC8VBC/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.6
Lars Knudsen DPNX78DTV7
| URI | m2://inv/DPNX78DTV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#FM6T, Lars Knudsen (topic)
History
- 2026-11-02: add by m2/dev
DPNZHDQWGA DPNZHDQWGA
| URI | m2://inv/DPNZHDQWGA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-167 (exercise). In VNMV985MXX, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Applications DPP5WZVGC7
| URI | m2://inv/DPP5WZVGC7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's law of cooling#NVMM, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications DPP7SPRRYD
| URI | m2://inv/DPP7SPRRYD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrepancy theory#CTFU, Applications (example)
History
- 2026-11-02: add by m2/dev
DPPDEFG5E9 DPPDEFG5E9
| URI | m2://inv/DPPDEFG5E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 71.11
History
- 2026-11-01: add by m2/v0.6.13
DPPEH54FYS DPPEH54FYS
| URI | m2://inv/DPPEH54FYS |
|---|---|
| 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.21305#JZMU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Minnesota statistical areas DPPEN8XS54
| URI | m2://inv/DPPEN8XS54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minnesota statistical areas, Minnesota statistical areas (definition). Also Wikidata Q6868740
History
- 2026-11-02: add by m2/dev
Pairwise Gaussian error bounds DPPEWTPMY4
| URI | m2://inv/DPPEWTPMY4 |
|---|---|
| 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.11309#O0NO, Pairwise Gaussian error bounds (statement). In TTEAQA1XXR/e1, lemma C.17
History
- 2026-10-28: add by m2/v0.4.3
Lune DPPMRAGQJQ
| URI | m2://inv/DPPMRAGQJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#WMXV, Lune (definition)
- wikipedia: Wikipedia List of mathematical shapes#RLD0, Lune (definition)
History
- 2026-11-02: add by m2/dev
Efficient universality DPPNPKB5WT
| URI | m2://inv/DPPNPKB5WT |
|---|---|
| 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#63QD, Efficient universality (definition). In WD2NCBV9F0/e1, definition 9.2
History
- 2026-10-27: add by m2/v0.3.5
DPPRXFGD91 DPPRXFGD91
| URI | m2://inv/DPPRXFGD91 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-3.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Multiplication signs DPPS0HY785
| URI | m2://inv/DPPS0HY785 |
|---|---|
| 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.02806#ER3Q, Multiplication signs (statement). In F4A354Y5NC/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Principal axis theorem DPPXF2BR1P
| URI | m2://inv/DPPXF2BR1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I87X, Principal axis theorem (statement)
History
- 2026-11-02: add by m2/dev
Sweep and prune DPPXMQ0W26
| URI | m2://inv/DPPXMQ0W26 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#YBOD, Sweep and prune (unknown)
History
- 2026-11-02: add by m2/dev
radius DPPZDZX519
| URI | m2://inv/DPPZDZX519 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q173817, radius (unknown). Also EoM Radius, MathWorld Radius
- wikipedia: Wikipedia Radius, Radius (definition). Also Wikidata Q173817
History
- 2026-10-26: add by m2/dev
Time-series analytics DPQ0FG01VV
| URI | m2://inv/DPQ0FG01VV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time series#X5MA, Time-series analytics (unknown)
History
- 2026-11-02: add by m2/dev
Triakis truncated tetrahedral honeycomb DPQ1NWTAJN
| URI | m2://inv/DPQ1NWTAJN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triakis truncated tetrahedral honeycomb, Triakis truncated tetrahedral honeycomb (object). Also Wikidata Q7839930
History
- 2026-11-02: add by m2/dev
DPQ2HPNPH2 DPQ2HPNPH2
| URI | m2://inv/DPQ2HPNPH2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-23 (proof). In N54F33XE07, proof, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
DPQ77XV6BW DPQ77XV6BW
| URI | m2://inv/DPQ77XV6BW |
|---|---|
| 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 2511.17751#SVL5 (statement). In J39X0NB31S/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.3.5
DPQ939HVSR DPQ939HVSR
| URI | m2://inv/DPQ939HVSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_color.ptx#thm_graphs_bipartite (statement). In QKM9DD2H56, theorem, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
Examples DPQE7W05QN
| URI | m2://inv/DPQE7W05QN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratically closed field#GHFX, Examples (example)
History
- 2026-11-02: add by m2/dev
Artin DPQEE555JY
| URI | m2://inv/DPQEE555JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#2GEJ, Artin (definition)
History
- 2026-11-02: add by m2/dev
Penrose–Hawking singularity theorems DPQEQD7QCT
| URI | m2://inv/DPQEQD7QCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OX8F, Penrose–Hawking singularity theorems (statement)
History
- 2026-11-02: add by m2/dev
Either–or topology DPQH5995AJ
| URI | m2://inv/DPQH5995AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#N6LX, Either–or topology (definition)
History
- 2026-11-02: add by m2/dev
DPQKXN9218 DPQKXN9218
| URI | m2://inv/DPQKXN9218 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-59 (exercise). In E9HS8K3A52, exercise, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
Properties DPQN12Y9KV
| URI | m2://inv/DPQN12Y9KV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intransitivity#71G1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Algorithms DPQVHY32T8
| URI | m2://inv/DPQVHY32T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rules extraction system family#BNRJ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
DPR062G8TK DPR062G8TK
| URI | m2://inv/DPR062G8TK |
|---|---|
| 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.18287#1G4Q (statement). In ZXZN6RMN38/e1, proposition 25
History
- 2026-10-28: add by m2/v0.4.2
Jacques du Chevreul DPR44FDW38
| URI | m2://inv/DPR44FDW38 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques du Chevreul, Jacques du Chevreul (topic). Also Wikidata Q60792036
History
- 2026-11-02: add by m2/dev
DPR48W9P9N DPR48W9P9N
| URI | m2://inv/DPR48W9P9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#MGMP (statement). In 5350Q52F6P/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
DPR8Q73YX2 DPR8Q73YX2
| URI | m2://inv/DPR8Q73YX2 |
|---|---|
| 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.19921#5M8J (statement)
History
- 2026-11-02: add by m2/v0.6.18
DPRD3S93ZZ DPRD3S93ZZ
| URI | m2://inv/DPRD3S93ZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#HDEP (statement). In EAABRG99V8/e1, proposition 5.15
History
- 2026-10-27: add by m2/v0.4.0
James Watt DPRDQWJ0Z3
| URI | m2://inv/DPRDQWJ0Z3 |
|---|---|
| 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#JH3X, James Watt (unknown)
History
- 2026-11-02: add by m2/dev
Congruence bias DPRHWTGN13
| URI | m2://inv/DPRHWTGN13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#D1FZ, Congruence bias (unknown)
History
- 2026-11-02: add by m2/dev
DPS2KS0SSF DPS2KS0SSF
| URI | m2://inv/DPS2KS0SSF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#7N1K (definition). In VN084GGZGK/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.3
Second pruning step DPS41EF93W
| URI | m2://inv/DPS41EF93W |
|---|---|
| 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 1806.05002#87ZB, Second pruning step (statement). In JBAQ7DTW7B/e1, lemma D.7
History
- 2026-10-27: add by m2/v0.3.5
Morera's theorem DPS6DN3NN2
| URI | m2://inv/DPS6DN3NN2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5L4Q, Morera's theorem (statement)
History
- 2026-11-02: add by m2/dev
DPS8EHMX7M DPS8EHMX7M
| URI | m2://inv/DPS8EHMX7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.18436#GXMM (statement). In 6W19Z58188/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.3.6
Properties DPSW5X458X
| URI | m2://inv/DPSW5X458X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering group#LU4O, Properties (statement)
History
- 2026-11-02: add by m2/dev
Basic properties DPSWPZ1S6E
| URI | m2://inv/DPSWPZ1S6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite set#F7VU, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
DPT1NBV4ED DPT1NBV4ED
| URI | m2://inv/DPT1NBV4ED |
|---|---|
| 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 2208.05288#6GB9 (definition). In RTW3GDYPND/e1, definition 3.15
History
- 2026-10-27: add by m2/v0.4.0
DPT3B7M3N4 DPT3B7M3N4
| URI | m2://inv/DPT3B7M3N4 |
|---|---|
| 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 2103.02468#C7PH (definition). In Q7C6G66CWM/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
DPT6QE6SS0 DPT6QE6SS0
| URI | m2://inv/DPT6QE6SS0 |
|---|---|
| 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.16844#UV7Z (statement). In MAY0WVXT07/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Examples DPT790AYTV
| URI | m2://inv/DPT790AYTV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost complex manifold#WRJS, Examples (example)
History
- 2026-11-02: add by m2/dev
DPT8R7GDST DPT8R7GDST
| URI | m2://inv/DPT8R7GDST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-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.26127#G35P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants DPTDCSNM1W
| URI | m2://inv/DPTDCSNM1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quicksort#UHNK, Variants (statement)
History
- 2026-11-02: add by m2/dev
DPTFQNNTVC DPTFQNNTVC
| URI | m2://inv/DPTFQNNTVC |
|---|---|
| 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.16358#M7ZT (statement). In RJA3YJ9NYK/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Gallai–Edmonds decomposition DPTGTVF1KN
| URI | m2://inv/DPTGTVF1KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gallai–Edmonds decomposition, Gallai–Edmonds decomposition (definition). Also Wikidata Q65117138
History
- 2026-11-02: add by m2/dev
The obstacle is minimal at the origin DPTVAT7XWE
| URI | m2://inv/DPTVAT7XWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#RH6P, The obstacle is minimal at the origin (statement). In NKXTXH59P1/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Incomplete elliptic integral of the first kind DPTY99EHJG
| URI | m2://inv/DPTY99EHJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic integral#3SFE, Incomplete elliptic integral of the first kind (unknown)
History
- 2026-11-02: add by m2/dev
DPV20NN756 DPV20NN756
| URI | m2://inv/DPV20NN756 |
|---|---|
| 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 2609.20740#EBIL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Inverse orbit and smooth interpolation DPVBA139NZ
| URI | m2://inv/DPVBA139NZ |
|---|---|
| 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.31557#YXJ4, Inverse orbit and smooth interpolation (statement). In 72NCNYBW2T/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
DPVRQRHW4K DPVRQRHW4K
| URI | m2://inv/DPVRQRHW4K |
|---|---|
| Kind | statement |
| 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 2609.30675#V3DM (statement). In RQ0K0A6PQA/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
Examples DPVV5F7871
| URI | m2://inv/DPVV5F7871 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic analysis#RCLN, Examples (example)
History
- 2026-11-02: add by m2/dev
DPW0BTW1K6 DPW0BTW1K6
| URI | m2://inv/DPW0BTW1K6 |
|---|---|
| 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.12912#N99Z (statement). In PDKBKKJ4BV/e1, theorem 7.6
History
- 2026-10-28: add by m2/v0.4.2
Informal account of theorems DPW967ZV1Z
| URI | m2://inv/DPW967ZV1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem#5871, Informal account of theorems (statement)
History
- 2026-11-02: add by m2/dev
Royal Statistical Society DPWKC96X3M
| URI | m2://inv/DPWKC96X3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Royal Statistical Society, Royal Statistical Society (definition). Also Wikidata Q1692699
History
- 2026-11-02: add by m2/dev
Anton Leo Hickmann DPWMG2VEZW
| URI | m2://inv/DPWMG2VEZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anton Leo Hickmann, Anton Leo Hickmann (topic). Also Wikidata Q20810425
History
- 2026-11-02: add by m2/dev
square DPWR4PKAWQ
| URI | m2://inv/DPWR4PKAWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#GRD3, square (definition)
History
- 2026-11-02: add by m2/dev
Greedy completion DPWWTK6JBZ
| URI | m2://inv/DPWWTK6JBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30315#KCAC, Greedy completion (statement). In FXTCVHYW5S/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
Formal definition DPWX9519V1
| URI | m2://inv/DPWX9519V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded variation#YMDT, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
standard functional dif\/feology on forms DPWY4M8XEM
| URI | m2://inv/DPWY4M8XEM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#BY7E, standard functional dif\/feology on forms (definition). In S1F2QW24YW/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.3.5
Essential discontinuity DPX0E1JB08
| URI | m2://inv/DPX0E1JB08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification of discontinuities#GFE8, Essential discontinuity (unknown)
History
- 2026-11-02: add by m2/dev
DPX5V7WKMX DPX5V7WKMX
| URI | m2://inv/DPX5V7WKMX |
|---|---|
| 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.19288#J2IE (statement). In 1EA6AM9V01/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
DPX799CTNP DPX799CTNP
| URI | m2://inv/DPX799CTNP |
|---|---|
| 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 2207.07461#L65F (statement). In GAG532VMPF/e1, lemma 4.3.4
History
- 2026-10-27: add by m2/v0.3.5
Point groups in four dimensions DPX9SQRWZP
| URI | m2://inv/DPX9SQRWZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17099598, Point groups in four dimensions (unknown). Also MathWorld UniformPolychoron
- wikidata: Wikidata Q2816686, uniform polychoron (unknown). Also MathWorld UniformPolychoron
- wikipedia: Wikipedia Uniform 4-polytope, Uniform 4-polytope (definition). Also Wikidata Q2816686
- wikipedia: Wikipedia Point groups in four dimensions, Point groups in four dimensions (definition). Also Wikidata Q17099598
History
- 2026-10-26: add by m2/dev
Étienne Bézout DPXBSZKATJ
| URI | m2://inv/DPXBSZKATJ |
|---|---|
| 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 Q289471, Étienne Bézout (unknown). Also ProofWiki Mathematician:Étienne_Bézout
- wikipedia: Wikipedia Étienne Bézout, Étienne Bézout (topic). Also Wikidata Q289471
History
- 2026-10-26: add by m2/dev
improper rotation DPXFSW4AWC
| URI | m2://inv/DPXFSW4AWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1256684, improper rotation (unknown). Also MathWorld ImproperRotation
- wikipedia: Wikipedia Improper rotation, Improper rotation (definition). Also Wikidata Q1256684
History
- 2026-10-26: add by m2/dev
Matrices $\mathcal{U}_{\theta}$ and $\mathcal{L}_{\theta}$ associated with $\theta$ DPXQCPHBY5
| URI | m2://inv/DPXQCPHBY5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12691#KZRM, Matrices $\mathcal{U}_{\theta}$ and $\mathcal{L}_{\theta}$ associated with $\theta$ (definition). In YVQKT91MYN/e1, definition 7
History
- 2026-10-28: add by m2/v0.4.2
Formulation DPXQGRTNQC
| URI | m2://inv/DPXQGRTNQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thaine's theorem#JJOX, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Proof of $(\forall n\in\mathbb{N})P(n)$ by Complete Induction DPY4RCRYNR
| URI | m2://inv/DPY4RCRYNR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#skeleton-1, Proof of $(\forall n\in\mathbb{N})P(n)$ by Complete Induction (proof). In P1C114YBXG, skeleton, section 1
History
- 2026-11-01: add by m2/v0.6.13
Cristián DPY6Z95VHX
| URI | m2://inv/DPY6Z95VHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#CCAZ, Cristián (unknown)
History
- 2026-11-02: add by m2/dev
DPY9V7JHHK DPY9V7JHHK
| URI | m2://inv/DPY9V7JHHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#TKBH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complete contract DPYE3C2KD2
| URI | m2://inv/DPYE3C2KD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete contract, Complete contract (definition). Also Wikidata Q5156495
History
- 2026-11-02: add by m2/dev
DPYFMDV6DQ DPYFMDV6DQ
| URI | m2://inv/DPYFMDV6DQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#LOIC (statement). In 4F8QRV05BV/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
DPYHZEGBNY DPYHZEGBNY
| URI | m2://inv/DPYHZEGBNY |
|---|---|
| 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.08837#KHW1 (example). In KBH265QSBT/e1, example 7.7
History
- 2026-10-29: add by m2/v0.4.10
DPYJ3MVYFM DPYJ3MVYFM
| URI | m2://inv/DPYJ3MVYFM |
|---|---|
| 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.01932#X58G (statement). In XDKWW6NR0K/e1, proposition 2.11
History
- 2026-10-29: add by m2/v0.4.12
Karl Rohn DPYM384T63
| URI | m2://inv/DPYM384T63 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Rohn, Karl Rohn (topic). Also Wikidata Q27073
History
- 2026-11-02: add by m2/dev
Results DPYNTTFATJ
| URI | m2://inv/DPYNTTFATJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian conjecture#FUKK, Results (statement)
History
- 2026-11-02: add by m2/dev
Lev Semenovich Pontryagin DPYS36P6T6
| URI | m2://inv/DPYS36P6T6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#NNVB, Lev Semenovich Pontryagin (topic)
History
- 2026-11-02: add by m2/dev
DPYSSP2227 DPYSSP2227
| URI | m2://inv/DPYSSP2227 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example:discriminantnotsingset (example). In VNMV985MXX, example, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
DPYXAV2J49 DPYXAV2J49
| URI | m2://inv/DPYXAV2J49 |
|---|---|
| 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.12689#PO8J (statement). In AMXK11Y802/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
DPZDBVV00W DPZDBVV00W
| URI | m2://inv/DPZDBVV00W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07608#OZ29 (statement). In X8FQD4TEVG/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.10
Complete Boolean algebra DPZYS7S87G
| URI | m2://inv/DPZYS7S87G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#7WC4, Complete Boolean algebra (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#ZN48, Complete Boolean algebra (definition)
History
- 2026-11-02: add by m2/dev