Inventory rows 82
The cards of the rows of the inventory whose ids start with 82. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8204FXYA5Y 8204FXYA5Y
| URI | m2://inv/8204FXYA5Y |
|---|---|
| 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.39293#TDTE (statement). In S26QVW5613/e1, proposition 3.7.5
History
- 2026-10-30: add by m2/v0.4.12
Explicit factorisation 820DCQ0RR9
| URI | m2://inv/820DCQ0RR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.18859#X9N1, Explicit factorisation (statement). In EVRAASXEDY/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
Avadhesh Narayan Singh 820PRHSRXG
| URI | m2://inv/820PRHSRXG |
|---|---|
| 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#LFOS, Avadhesh Narayan Singh (topic)
History
- 2026-11-02: add by m2/dev
Lovász local lemma 820R8Z3MRW
| URI | m2://inv/820R8Z3MRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lovász local lemma, Lovász local lemma (statement). Also Wikidata Q831721
History
- 2026-11-02: add by m2/dev
820V5R946F 820V5R946F
| URI | m2://inv/820V5R946F |
|---|---|
| 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.20558#VDWG (statement). In 46370P3Y9S/e1, lemma 5.19
History
- 2026-10-27: add by m2/v0.4.2
weak law of large numbers 820VWQ54P8
| URI | m2://inv/820VWQ54P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > weak law of large numbers, weak law of large numbers (unknown)
History
- 2026-10-26: add by m2/dev
Decrease and conquer 820WHMR5VE
| URI | m2://inv/820WHMR5VE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divide-and-conquer algorithm#TPQB, Decrease and conquer (unknown)
History
- 2026-11-02: add by m2/dev
Joseph Louis Lagrange 820Y92RA7K
| URI | m2://inv/820Y92RA7K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#ZO6F, Joseph Louis Lagrange (topic)
History
- 2026-11-02: add by m2/dev
Aegyptus Secundus 8215RRYW4X
| URI | m2://inv/8215RRYW4X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KN7U, Aegyptus Secundus (unknown)
History
- 2026-11-02: add by m2/dev
Henry Stapp 821K3DTC8N
| URI | m2://inv/821K3DTC8N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Stapp, Henry Stapp (topic). Also Wikidata Q5728668
History
- 2026-11-02: add by m2/dev
821SEGJ3JT 821SEGJ3JT
| URI | m2://inv/821SEGJ3JT |
|---|---|
| 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.21274#5D8U (statement)
History
- 2026-11-02: add by m2/v0.6.18
821YSVB6Y7 821YSVB6Y7
| URI | m2://inv/821YSVB6Y7 |
|---|---|
| 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 1707.07744#VJKS (statement). In WAFGHHHJY9/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
8220FD3RAD 8220FD3RAD
| URI | m2://inv/8220FD3RAD |
|---|---|
| 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.39347#7C5B (statement). In KBBA2FKDBH/e1, proposition A.4
History
- 2026-10-30: add by m2/v0.4.12
Normal curvature 822298G1BP
| URI | m2://inv/822298G1BP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux frame#662S, Normal curvature (unknown)
History
- 2026-11-02: add by m2/dev
82233NB7SW 82233NB7SW
| URI | m2://inv/82233NB7SW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 27.9
History
- 2026-11-01: add by m2/v0.6.13
822BF1S7J1 822BF1S7J1
| URI | m2://inv/822BF1S7J1 |
|---|---|
| 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.06438#1VMH (statement). In Z633BH3HER/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Macdonald box-sum identity 822H39ERJH
| URI | m2://inv/822H39ERJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#43CT, Macdonald box-sum identity (statement). In 9S7HGSEX6Q/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Curry's paradox 822HQ6G3HX
| URI | m2://inv/822HQ6G3HX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q899616, Curry's paradox (concept). Also nLab Curry's paradox, ProofWiki Curry's_Paradox
- wikipedia: Wikipedia Curry's paradox, Curry's paradox (statement). Also Wikidata Q899616
History
- 2026-10-26: add by m2/dev
822SNABJ1J 822SNABJ1J
| URI | m2://inv/822SNABJ1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20444#WYIF (statement)
History
- 2026-11-02: add by m2/v0.6.18
822ZY4MNZD 822ZY4MNZD
| URI | m2://inv/822ZY4MNZD |
|---|---|
| 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.13103#2ITC (statement). In GG2ZZV6KEQ/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Faà di Bruno's formula 82349N82BN
| URI | m2://inv/82349N82BN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiation rules#24ZB, Faà di Bruno's formula (statement)
History
- 2026-11-02: add by m2/dev
Lawrence 8234V4QXV6
| URI | m2://inv/8234V4QXV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#HJT4, Lawrence (unknown)
History
- 2026-11-02: add by m2/dev
8238BNHAVH 8238BNHAVH
| URI | m2://inv/8238BNHAVH |
|---|---|
| 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#VM9B (statement). In 6Q8YMAWFZN/e1, lemma 7.6
History
- 2026-10-30: add by m2/v0.4.12
8239M2KX1E 8239M2KX1E
| URI | m2://inv/8239M2KX1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
823Y7N42X2 823Y7N42X2
| URI | m2://inv/823Y7N42X2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.17203#F1NC (statement). In 3YCED562CH/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.2
Compact primitive 8243Z7VVPY
| URI | m2://inv/8243Z7VVPY |
|---|---|
| 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.24960#OFQD, Compact primitive (statement)
History
- 2026-11-01: add by m2/v0.6.15
meridional plane 82498FYH3A
| URI | m2://inv/82498FYH3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal point (optics)#UIDQ, meridional plane (definition)
History
- 2026-11-02: add by m2/dev
824ABF2BSN 824ABF2BSN
| URI | m2://inv/824ABF2BSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2004.12552#0YEO (statement). In TWPE10CZ1S/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Norm filtration at stationary depth 824BDEW3S4
| URI | m2://inv/824BDEW3S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#W7PR, Norm filtration at stationary depth (statement). In 5BZQS1KY9A/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Quadratic obstruction in the covering regime 824HF2VG0E
| URI | m2://inv/824HF2VG0E |
|---|---|
| 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.20351#LU8O, Quadratic obstruction in the covering regime (statement)
History
- 2026-11-02: add by m2/v0.6.18
Matrix arithmetic–geometric mean inequality 824PFXAMEH
| URI | m2://inv/824PFXAMEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AM–GM inequality#592X, Matrix arithmetic–geometric mean inequality (statement)
History
- 2026-11-02: add by m2/dev
Consequences of strong log-concavity 824RW4WB0D
| URI | m2://inv/824RW4WB0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33008#9POV, Consequences of strong log-concavity (statement). In 4M662A3ZF1/e1, lemma A.4
History
- 2026-10-31: add by m2/v0.5.6
Maintaining coincidence 8254DP439K
| URI | m2://inv/8254DP439K |
|---|---|
| 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.17677#29W0, Maintaining coincidence (statement). In 5E9G06XJKC/e1, lemma E.12
History
- 2026-10-28: add by m2/v0.4.2
number of boxes 8255DSA3T0
| URI | m2://inv/8255DSA3T0 |
|---|---|
| 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#0MQN, number of boxes (statement). In JY50YXMH5N/e1, corollary 22
History
- 2026-10-29: add by m2/v0.4.12
Klein 8256PXKVM9
| URI | m2://inv/8256PXKVM9 |
|---|---|
| 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.31274#HJ5U, Klein (statement). In RK0ZMDJ23T/e1, theorem 1.4.4
History
- 2026-10-31: add by m2/v0.5.6
Kiiti Morita 8257CJQDT2
| URI | m2://inv/8257CJQDT2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3OAM, Kiiti Morita (topic)
History
- 2026-11-02: add by m2/dev
8257F61PBB 8257F61PBB
| URI | m2://inv/8257F61PBB |
|---|---|
| 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.09735#28MI (statement). In C518KB563H/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 8259EDQ3PK
| URI | m2://inv/8259EDQ3PK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute value (algebra)#QCQJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Oakley protocol 825AQHQE3Q
| URI | m2://inv/825AQHQE3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oakley protocol, Oakley protocol (definition). Also Wikidata Q7074169
History
- 2026-11-02: add by m2/dev
825DJKK53D 825DJKK53D
| URI | m2://inv/825DJKK53D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#W9JW (statement). In CEKW9CNVVW/e1, theorem 7.9
History
- 2026-10-29: add by m2/v0.4.10
Camille Laurent-Gengoux 825PESS3VC
| URI | m2://inv/825PESS3VC |
|---|---|
| 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 Q38085276, Camille Laurent-Gengoux (unknown). Also nLab Camille Laurent-Gengoux
History
- 2026-10-26: add by m2/dev
Witt's theorem 825QTJ4XJW
| URI | m2://inv/825QTJ4XJW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VF9T, Witt's theorem (statement)
History
- 2026-11-02: add by m2/dev
Stiffness matrix 825S5RE10C
| URI | m2://inv/825S5RE10C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stiffness matrix, Stiffness matrix (definition). Also Wikidata Q3851930
History
- 2026-11-02: add by m2/dev
Martin's axiom 825VP6D2C2
| URI | m2://inv/825VP6D2C2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin's axiom, Martin's axiom (statement). Also Wikidata Q622185
History
- 2026-11-02: add by m2/dev
Definition 1 825YY6XMXS
| URI | m2://inv/825YY6XMXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caccioppoli set#8HEJ, Definition 1 (definition)
History
- 2026-11-02: add by m2/dev
Frits Beukers 8262NMBFPF
| URI | m2://inv/8262NMBFPF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frits Beukers, Frits Beukers (topic). Also Wikidata Q1465241
History
- 2026-11-02: add by m2/dev
8264G1WQH9 8264G1WQH9
| URI | m2://inv/8264G1WQH9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-1-elem-rules.xml#example-3 (example). In 907G4C4EJ1, example, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
8267NZQH73 8267NZQH73
| URI | m2://inv/8267NZQH73 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#WIM5 (example). In 9VPMHV0M4R/e1, example 3.18
History
- 2026-10-31: add by m2/v0.5.6
Retrieval effort hypothesis 826K83E3B7
| URI | m2://inv/826K83E3B7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spacing effect#IO01, Retrieval effort hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Leonid Kogan 827BG45B8B
| URI | m2://inv/827BG45B8B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#MO21, Leonid Kogan (unknown)
History
- 2026-11-02: add by m2/dev
827BW18VDP 827BW18VDP
| URI | m2://inv/827BW18VDP |
|---|---|
| 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.15405#8V66 (statement). In 9QCYCXVF5W/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
827SGTW4SW 827SGTW4SW
| URI | m2://inv/827SGTW4SW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2507.20176#L4ZS (statement). In CX4WDA2KAR/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
827TGQXDDC 827TGQXDDC
| URI | m2://inv/827TGQXDDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.22288#44XH (statement). In X38P26DK6S/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.0
Symmetry-preserving filter 827WV17X2X
| URI | m2://inv/827WV17X2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry-preserving filter, Symmetry-preserving filter (definition). Also Wikidata Q7661331
History
- 2026-11-02: add by m2/dev
Grothendieck construction 827X523EY6
| URI | m2://inv/827X523EY6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.12/grothendieck-construction, Grothendieck construction (concept). In N54F33XE07, index, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
Zigzags 8286K28CJE
| URI | m2://inv/8286K28CJE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-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.23469#ESZ3, Zigzags (example)
History
- 2026-11-02: add by m2/v0.6.17
8289BCW5A1 8289BCW5A1
| URI | m2://inv/8289BCW5A1 |
|---|---|
| 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.12188#QFEV (statement). In 52HWCGK5QJ/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Counting 828PY25SY9
| URI | m2://inv/828PY25SY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counting, Counting (definition). Also Wikidata Q247154
History
- 2026-11-02: add by m2/dev
828QR1JDE7 828QR1JDE7
| URI | m2://inv/828QR1JDE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:conn-trunc-variable-ind (statement). In N54F33XE07, lem, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 828WZ07VR9
| URI | m2://inv/828WZ07VR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vapnik–Chervonenkis dimension#SCUS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Weierstrass M-test 8299GFAP7B
| URI | m2://inv/8299GFAP7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Weierstrass M-test 0NX5NWAFC9 |
Mentions
- wikidata: Wikidata Q1072412, Weierstrass M-test (statement). Also MathWorld WeierstrassM-Test, ProofWiki Weierstrass_M-Test
- wikipedia: Wikipedia Weierstrass M-test, Weierstrass M-test (definition). Also Wikidata Q1072412
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Example 829J5N66V2
| URI | m2://inv/829J5N66V2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leontief production function#SE46, Example (example)
History
- 2026-11-02: add by m2/dev
Jarl Waldemar Lindeberg 829SAN4462
| URI | m2://inv/829SAN4462 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jarl Waldemar Lindeberg, Jarl Waldemar Lindeberg (topic). Also Wikidata Q981754
History
- 2026-11-02: add by m2/dev
829XXZGF85 829XXZGF85
| URI | m2://inv/829XXZGF85 |
|---|---|
| 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.32997#6PUP (definition). In N380GY9A9N/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Descent of isomorphisms 82A4G1P8W6
| URI | m2://inv/82A4G1P8W6 |
|---|---|
| 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.26318#EX6W, Descent of isomorphisms (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kirkpatrick–Seidel algorithm 82ACVE1Q2C
| URI | m2://inv/82ACVE1Q2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirkpatrick–Seidel algorithm, Kirkpatrick–Seidel algorithm (definition). Also Wikidata Q4060672
History
- 2026-11-02: add by m2/dev
Richard's paradox 82AFCQE96B
| URI | m2://inv/82AFCQE96B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83491, Richard's paradox (statement). Also MathWorld RichardsParadox, ProofWiki Richard's_Paradox
- wikipedia: Wikipedia Richard's paradox, Richard's paradox (statement). Also Wikidata Q83491
History
- 2026-10-26: add by m2/dev
absolute maximum 82AG7CN2VC
| URI | m2://inv/82AG7CN2VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#9V9W, absolute maximum (definition)
History
- 2026-11-02: add by m2/dev
Basic properties 82ANPS28EQ
| URI | m2://inv/82ANPS28EQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz space#01TU, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Applications 82APVPA12Y
| URI | m2://inv/82APVPA12Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical visualization#X6JV, Applications (example)
History
- 2026-11-02: add by m2/dev
82ATJST69N 82ATJST69N
| URI | m2://inv/82ATJST69N |
|---|---|
| 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.21017#PDJS (statement)
History
- 2026-11-02: add by m2/v0.6.18
bean curve 82AVSXVZV2
| URI | m2://inv/82AVSXVZV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2708656, bean curve (unknown). Also MathWorld BeanCurve
History
- 2026-10-26: add by m2/dev
product of six distinct primes 82AYHK08GX
| URI | m2://inv/82AYHK08GX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115113269, product of six distinct primes (object). Also OEIS A067885
History
- 2026-10-26: add by m2/dev
Toshiyuki Kobayashi 82B3WE8RAJ
| URI | m2://inv/82B3WE8RAJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toshiyuki Kobayashi, Toshiyuki Kobayashi (topic). Also Wikidata Q5921199
History
- 2026-11-02: add by m2/dev
82B5WD3ASA 82B5WD3ASA
| URI | m2://inv/82B5WD3ASA |
|---|---|
| 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#AVOJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bertrand Russell 82B8VY9Z0A
| URI | m2://inv/82B8VY9Z0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#SPPP, Bertrand Russell (topic)
History
- 2026-11-02: add by m2/dev
Examples 82BF45Z6A3
| URI | m2://inv/82BF45Z6A3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malcev algebra#X5E1, Examples (example)
History
- 2026-11-02: add by m2/dev
Mireille Bousquet-Mélou 82BJZY1T8X
| URI | m2://inv/82BJZY1T8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mireille Bousquet-Mélou, Mireille Bousquet-Mélou (topic). Also Wikidata Q20910233
History
- 2026-11-02: add by m2/dev
Lusin--Souslin 82BN0825M9
| URI | m2://inv/82BN0825M9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#9P2H, Lusin--Souslin (statement)
History
- 2026-11-02: add by m2/v0.6.18
82C8RPSBM0 82C8RPSBM0
| URI | m2://inv/82C8RPSBM0 |
|---|---|
| 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 2605.24355#T5SM (statement). In VV3AJMWWCR/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.6
82C9A9TEGC 82C9A9TEGC
| URI | m2://inv/82C9A9TEGC |
|---|---|
| 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.20825#R8D9 (statement). In K9G02J8MXT/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Hindu units of time 82C9ZQQNBX
| URI | m2://inv/82C9ZQQNBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hindu units of time, Hindu units of time (definition). Also Wikidata Q3089481
History
- 2026-11-02: add by m2/dev
82CF3MGNKG 82CF3MGNKG
| URI | m2://inv/82CF3MGNKG |
|---|---|
| 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.26019#1T99 (statement)
History
- 2026-11-01: add by m2/v0.6.15
82CWSPESKN 82CWSPESKN
| URI | m2://inv/82CWSPESKN |
|---|---|
| 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#LD2R (statement)
History
- 2026-11-02: add by m2/v0.6.17
line integral 82CZ9A1EVM
| URI | m2://inv/82CZ9A1EVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q467699, line integral (unknown). Also nLab line integral
- wikipedia: Wikipedia Line integral, Line integral (definition). Also Wikidata Q467699
History
- 2026-10-26: add by m2/dev
A scalar lower-bound alternative 82D3QW60HQ
| URI | m2://inv/82D3QW60HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.37615#GOGJ, A scalar lower-bound alternative (statement). In T2B54J7121/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
Calibration of every minimizer 82D8BEHY31
| URI | m2://inv/82D8BEHY31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15511#ZS39, Calibration of every minimizer (statement). In TZM08VJAQT/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Cohen–Macaulay 82D9XXVPRN
| URI | m2://inv/82D9XXVPRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#B22O, Cohen–Macaulay (definition)
History
- 2026-11-02: add by m2/dev
Ira Gessel 82DJAQZJ4Y
| URI | m2://inv/82DJAQZJ4Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ira Gessel, Ira Gessel (topic). Also Wikidata Q29431806
History
- 2026-11-02: add by m2/dev
82DPNE3XNQ 82DPNE3XNQ
| URI | m2://inv/82DPNE3XNQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06529#KFL5 (definition). In JFQY4CYHKP/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
82DVY8QV0A 82DVY8QV0A
| URI | m2://inv/82DVY8QV0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.06944#GFHN (statement). In 1HSWBXDXWV/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Cauchy completion 82E6SSE83P
| URI | m2://inv/82E6SSE83P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete metric space#F62Z, Cauchy completion (unknown)
History
- 2026-11-02: add by m2/dev
Redheffer star product 82E8BR9JWZ
| URI | m2://inv/82E8BR9JWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redheffer star product, Redheffer star product (definition). Also Wikidata Q107463490
History
- 2026-11-02: add by m2/dev
82EGK83GT8 82EGK83GT8
| URI | m2://inv/82EGK83GT8 |
|---|---|
| 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 2512.21427#2JXM (statement). In G9XD78ZCAS/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
82EJD7RSR4 82EJD7RSR4
| URI | m2://inv/82EJD7RSR4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
Twistor theory 82EME6TYRR
| URI | m2://inv/82EME6TYRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#H9BF, Twistor theory (definition)
History
- 2026-11-02: add by m2/dev
Hans Wilhelm Alt 82ENP8P44F
| URI | m2://inv/82ENP8P44F |
|---|---|
| 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#Z997, Hans Wilhelm Alt (topic)
History
- 2026-11-02: add by m2/dev
82ETX7W3NF 82ETX7W3NF
| URI | m2://inv/82ETX7W3NF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#CWSX (statement). In 7QXAZXGNPQ/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.12
The Spectral Theorem 82EX3MWQFD
| URI | m2://inv/82EX3MWQFD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#theorem-1, The Spectral Theorem (statement). In 649HGZKE96, theorem, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
Backward random walk 82F2TE0X46
| URI | m2://inv/82F2TE0X46 |
|---|---|
| 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.27689#KCW0, Backward random walk (definition)
History
- 2026-11-01: add by m2/v0.6.15
Kuramoto–Sivashinsky equation 82F3Z7K888
| URI | m2://inv/82F3Z7K888 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuramoto–Sivashinsky equation, Kuramoto–Sivashinsky equation (definition). Also Wikidata Q15920123
History
- 2026-11-02: add by m2/dev
Scope of the local classification 82FAR4BBVS
| URI | m2://inv/82FAR4BBVS |
|---|---|
| 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.20197#CFDA, Scope of the local classification (statement)
History
- 2026-11-02: add by m2/v0.6.18
Irreducible representation 82FB2NYT85
| URI | m2://inv/82FB2NYT85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#QXYL, Irreducible representation (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#KSGL, Irreducible representation (definition)
History
- 2026-11-02: add by m2/dev
Hua--Song--Tudose 82FFMRFT9P
| URI | m2://inv/82FFMRFT9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#DVOV, Hua--Song--Tudose (statement). In 9YAE8FNQST/e1, theorem 14.9
History
- 2026-10-30: add by m2/v0.4.12
Properties 82FJPSWHZF
| URI | m2://inv/82FJPSWHZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local complementation#QR5E, Properties (statement)
History
- 2026-11-02: add by m2/dev
82FJYEMNHJ 82FJYEMNHJ
| URI | m2://inv/82FJYEMNHJ |
|---|---|
| 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 2610.00512#CKS4 (definition). In RB5QBG3MJY/e1, definition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Properties 82FP3BX9BF
| URI | m2://inv/82FP3BX9BF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Section (category theory)#XRU3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Spatial statistics 82FTFV3ME7
| URI | m2://inv/82FTFV3ME7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial statistics, Spatial statistics (topic). Also Wikidata Q117467429
History
- 2026-11-02: add by m2/dev
82FX94MNNM 82FX94MNNM
| URI | m2://inv/82FX94MNNM |
|---|---|
| Kind | problem |
| 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 2203.15223#AHSN (problem). In HSY17Q75DM/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
82FY6YJN54 82FY6YJN54
| URI | m2://inv/82FY6YJN54 |
|---|---|
| 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 2604.10080#ZO29 (definition). In KM2FWKP93A/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.0
82G8ZP4CD2 82G8ZP4CD2
| URI | m2://inv/82G8ZP4CD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24320#OV1V (statement)
History
- 2026-11-01: add by m2/v0.6.15
82G9SS41M6 82G9SS41M6
| URI | m2://inv/82G9SS41M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#TBLT (statement). In WK2YHYEDZ9/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
Spinors in three dimensions 82GE2V5359
| URI | m2://inv/82GE2V5359 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinors in three dimensions, Spinors in three dimensions (definition). Also Wikidata Q7577646
History
- 2026-11-02: add by m2/dev
Computational Statistics 82GY565GNT
| URI | m2://inv/82GY565GNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational Statistics (journal), Computational Statistics (definition). Also Wikidata Q5157297
History
- 2026-11-02: add by m2/dev
Superconvergence 82GYRT74YN
| URI | m2://inv/82GYRT74YN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#884Z, Superconvergence (definition)
History
- 2026-11-02: add by m2/dev
Modular arithmetic 82H5NF0H2Q
| URI | m2://inv/82H5NF0H2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#M95V, Modular arithmetic (definition)
History
- 2026-11-02: add by m2/dev
Sensitivity of scaled dot-product attention 82H7GAVGFM
| URI | m2://inv/82H7GAVGFM |
|---|---|
| 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.05333#R4QL, Sensitivity of scaled dot-product attention (statement). In N37WKFTR7Q/e1, lemma E.2
History
- 2026-10-29: add by m2/v0.4.10
Applications 82HBQCA916
| URI | m2://inv/82HBQCA916 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak coloring#TE2D, Applications (example)
History
- 2026-11-02: add by m2/dev
William Whyburn 82HF6CZW17
| URI | m2://inv/82HF6CZW17 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Whyburn, William Whyburn (topic). Also Wikidata Q37634085
History
- 2026-11-02: add by m2/dev
82HMDM2K4A 82HMDM2K4A
| URI | m2://inv/82HMDM2K4A |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#H2WN (problem). In MVSGDTN2PB/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.10
82HXJBRAZ4 82HXJBRAZ4
| URI | m2://inv/82HXJBRAZ4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/powerset.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 76.7
History
- 2026-11-01: add by m2/v0.6.13
Steve Awodey 82HY5Z8QHT
| URI | m2://inv/82HY5Z8QHT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y4BQ, Steve Awodey (topic)
History
- 2026-11-02: add by m2/dev
82J4M6TB3G 82J4M6TB3G
| URI | m2://inv/82J4M6TB3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#7D1O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 82JRF6KK75
| URI | m2://inv/82JRF6KK75 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computerized adaptive testing#B506, Examples (example)
History
- 2026-11-02: add by m2/dev
positive-energy representation 82JTWDHG78
| URI | m2://inv/82JTWDHG78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#57RQ, positive-energy representation (definition)
History
- 2026-11-02: add by m2/dev
82JY12SYHK 82JY12SYHK
| URI | m2://inv/82JY12SYHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#EWH1 (statement). In 7WMNVJBAVR/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Logical truth 82K1XCEHTX
| URI | m2://inv/82K1XCEHTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical truth, Logical truth (definition). Also Wikidata Q3311695
History
- 2026-11-02: add by m2/dev
82K7A3B01H 82K7A3B01H
| URI | m2://inv/82K7A3B01H |
|---|---|
| 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.15631#YC38 (statement). In AF465QFRGQ/e1, lemma II.2
History
- 2026-10-28: add by m2/v0.4.2
Jean Pradines 82K8P72T8X
| URI | m2://inv/82K8P72T8X |
|---|---|
| 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 Q46994979, Jean Pradines (unknown). Also nLab Jean Pradines
History
- 2026-10-26: add by m2/dev
82KAHK72S4 82KAHK72S4
| URI | m2://inv/82KAHK72S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#XYRG (statement). In CBCCH5VTMQ/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Donaldson's theorem 82KCTCE73H
| URI | m2://inv/82KCTCE73H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills equations#JHUK, Donaldson's theorem (statement)
History
- 2026-11-02: add by m2/dev
strange attractor 82KDWP0PJG
| URI | m2://inv/82KDWP0PJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24835199, strange attractor (unknown). Also MathWorld StrangeAttractor
History
- 2026-10-26: add by m2/dev
Flower of Life 82KMEAGDGY
| URI | m2://inv/82KMEAGDGY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q913238, Flower of Life (unknown). Also MathWorld FlowerofLife
History
- 2026-10-26: add by m2/dev
Algebra of concepts 82KQFHTTYN
| URI | m2://inv/82KQFHTTYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gottfried Wilhelm Leibniz#QH5Y, Algebra of concepts (unknown)
History
- 2026-11-02: add by m2/dev
82KS30NABX 82KS30NABX
| URI | m2://inv/82KS30NABX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2310.15716#ZDS4 (statement). In 7WDA4MEWE2/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.6
82KYFESG7C 82KYFESG7C
| URI | m2://inv/82KYFESG7C |
|---|---|
| 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.33775#5MEE (statement). In VVQ1FMTHXB/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
82M3N1VVX9 82M3N1VVX9
| URI | m2://inv/82M3N1VVX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#992S (statement). In AWF7ZHK4EM/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
82M5Q7XZ1E 82M5Q7XZ1E
| URI | m2://inv/82M5Q7XZ1E |
|---|---|
| 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.33953#1VZU (statement). In QS8R9BEJ8N/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
non-abelian group 82MA7VC82E
| URI | m2://inv/82MA7VC82E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q592651, non-abelian group (unknown). Also MathWorld Non-AbelianGroup, nLab non-abelian group
- wikipedia: Wikipedia Non-abelian group, Non-abelian group (definition). Also Wikidata Q592651
History
- 2026-10-26: add by m2/dev
82MA8E90CK 82MA8E90CK
| URI | m2://inv/82MA8E90CK |
|---|---|
| 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.17518#DWUS (statement). In YA4JEWTVS4/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Growth decomposition 82MEM4DAPS
| URI | m2://inv/82MEM4DAPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15466#JDMK, Growth decomposition (statement). In KJ7V6XG4M7/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
82MF69X9JR 82MF69X9JR
| URI | m2://inv/82MF69X9JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#E6Z8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
82MGS1V5WC 82MGS1V5WC
| URI | m2://inv/82MGS1V5WC |
|---|---|
| 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.22081#O3CJ (statement). In 7JATJ4VG9G/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Ramon E. Moore 82MMVQ2ZBA
| URI | m2://inv/82MMVQ2ZBA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramon E. Moore, Ramon E. Moore (topic). Also Wikidata Q2130244
History
- 2026-11-02: add by m2/dev
Properties 82MYHJZZQ5
| URI | m2://inv/82MYHJZZQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-divisor graph#QOGL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tupper's self-referential formula 82N8SXZXWP
| URI | m2://inv/82N8SXZXWP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2630528, Tupper's self-referential formula (unknown). Also MathWorld TuppersSelf-ReferentialFormula
- wikipedia: Wikipedia Tupper's self-referential formula, Tupper's self-referential formula (statement). Also Wikidata Q2630528
History
- 2026-10-26: add by m2/dev
Uncomfortable science 82ND784MMV
| URI | m2://inv/82ND784MMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncomfortable science, Uncomfortable science (definition). Also Wikidata Q7882866
History
- 2026-11-02: add by m2/dev
Interval predictor model 82NFT08A3Z
| URI | m2://inv/82NFT08A3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval predictor model, Interval predictor model (definition). Also Wikidata Q85769761
History
- 2026-11-02: add by m2/dev
82NGWCP6JP 82NGWCP6JP
| URI | m2://inv/82NGWCP6JP |
|---|---|
| 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 2507.03563#FBLH (statement). In R6DR6F68BJ/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.4.0
Triangular Mersenne number 82NHVS8NY0
| URI | m2://inv/82NHVS8NY0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan–Nagell equation#G2SG, Triangular Mersenne number (unknown)
History
- 2026-11-02: add by m2/dev
Applications 82NNYYCE53
| URI | m2://inv/82NNYYCE53 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative-index metamaterial#PTAW, Applications (example)
History
- 2026-11-02: add by m2/dev
Bodo Pareigis 82NQC2Y366
| URI | m2://inv/82NQC2Y366 |
|---|---|
| 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 Q26995329, Bodo Pareigis (unknown). Also nLab Bodo Pareigis
History
- 2026-10-26: add by m2/dev
Convergence of PPM under Local Quadratic Growth 82NSGHN8MW
| URI | m2://inv/82NSGHN8MW |
|---|---|
| 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.10927#3ZDR, Convergence of PPM under Local Quadratic Growth (statement). In DHEJP3YATV/e1, theorem 26
History
- 2026-10-28: add by m2/v0.4.3
Construction 82NW8GE82Z
| URI | m2://inv/82NW8GE82Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woo circles#FLKI, Construction (definition)
History
- 2026-11-02: add by m2/dev
82NXC136MR 82NXC136MR
| URI | m2://inv/82NXC136MR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.02073#PDSW (example). In 3PNCRG6J62/e1, example 3.7
History
- 2026-10-27: add by m2/v0.3.5
82NZEW2J0P 82NZEW2J0P
| URI | m2://inv/82NZEW2J0P |
|---|---|
| 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.19249#BFAD (statement). In 2X586J6KQ1/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
82P9ZS1K7X 82P9ZS1K7X
| URI | m2://inv/82P9ZS1K7X |
|---|---|
| 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.00775#V5X7 (statement). In WVHA7H05QC/e1, proposition 2.22
History
- 2026-10-29: add by m2/v0.4.12
82PE6F2E14 82PE6F2E14
| URI | m2://inv/82PE6F2E14 |
|---|---|
| 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.06461#Y7RK (statement). In QXY3W2JV2N/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Cape of Good Hope 82PER3NP3R
| URI | m2://inv/82PER3NP3R |
|---|---|
| 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#PTX6, Cape of Good Hope (unknown)
History
- 2026-11-02: add by m2/dev
Relative Gromov--Witten nonvanishing 82PP8GMJ1E
| URI | m2://inv/82PP8GMJ1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#ZPER, Relative Gromov--Witten nonvanishing (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 82PV13CPGJ
| URI | m2://inv/82PV13CPGJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cokernel#VL9Q, Examples (example)
History
- 2026-11-02: add by m2/dev
Strong Markov property of the GFF 82PYYF5DZ1
| URI | m2://inv/82PYYF5DZ1 |
|---|---|
| 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.08261#2IYZ, Strong Markov property of the GFF (statement). In QD68GYRWNS/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Simpson's rule 82Q4K4XAFD
| URI | m2://inv/82Q4K4XAFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#DAZJ, Simpson's rule (definition)
History
- 2026-11-02: add by m2/dev
Erica Brittain 82Q7T65760
| URI | m2://inv/82Q7T65760 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erica Brittain, Erica Brittain (topic). Also Wikidata Q119725994
History
- 2026-11-02: add by m2/dev
Problem 3 82Q7WTJ6T5
| URI | m2://inv/82Q7WTJ6T5 |
|---|---|
| Kind | problem |
| 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.27157#RX81, Problem 3 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Evaluation on breakpoint intervals 82QA5Z5J72
| URI | m2://inv/82QA5Z5J72 |
|---|---|
| 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.33365#O3DO, Evaluation on breakpoint intervals (statement). In MCXCMR7V0T/e1, proposition 22
History
- 2026-10-30: add by m2/v0.4.12
submanifold 82QC6WYNQA
| URI | m2://inv/82QC6WYNQA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/C/submanifold, submanifold (concept). In VNMV985MXX, index, section C
History
- 2026-11-01: add by m2/v0.6.13
Odden 82QCKM7KGP
| URI | m2://inv/82QCKM7KGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#4GJL, Odden (statement). In 29D4TTE3J2/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.4.2
complemented subspace 82QJFZAT02
| URI | m2://inv/82QJFZAT02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96375368, complemented subspace (unknown). Also MathWorld ComplementedSubspace
History
- 2026-10-26: add by m2/dev
82QR2YNCTS 82QR2YNCTS
| URI | m2://inv/82QR2YNCTS |
|---|---|
| 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.24902#37VD (statement)
History
- 2026-11-01: add by m2/v0.6.15
presentation, of a group 82QT2877F6
| URI | m2://inv/82QT2877F6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/presentation-of-a-group, presentation, of a group (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
lambda calculus 82R3A2CW64
| URI | m2://inv/82R3A2CW64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lambda calculus BD756KR8FM |
Mentions
- wikidata: Wikidata Q242028, lambda calculus (unknown). Also MathWorld LambdaCalculus
- wikipedia: Wikipedia Lambda calculus, Lambda calculus (definition). Also Wikidata Q242028
History
- 2026-10-26: add by m2/dev
Squeaky Dolphin 82R3ABJ3S0
| URI | m2://inv/82R3ABJ3S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squeaky Dolphin, Squeaky Dolphin (definition). Also Wikidata Q17021767
History
- 2026-11-02: add by m2/dev
82RBEY63NY 82RBEY63NY
| URI | m2://inv/82RBEY63NY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm-3 (statement). In N54F33XE07, thm, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 82RF4BFQZ7
| URI | m2://inv/82RF4BFQZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skorokhod integral#43ZH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 82RFMZS8AQ
| URI | m2://inv/82RFMZS8AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper equilibrium#M98Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
82RJHBVW34 82RJHBVW34
| URI | m2://inv/82RJHBVW34 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#M2DY (definition). In 6KR7Z5ETRY/e1, definition 2.31
History
- 2026-10-27: add by m2/v0.3.5
Special cases 82RPJH3431
| URI | m2://inv/82RPJH3431 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-freeness#UHOB, Special cases (statement)
History
- 2026-11-02: add by m2/dev
82RTTYE8J7 82RTTYE8J7
| URI | m2://inv/82RTTYE8J7 |
|---|---|
| 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.20153#IY2D (statement). In EYB107TM4Q/e1, corollary 5.10
History
- 2026-10-27: add by m2/v0.4.2
Endpoint extension 82RYHDXFG4
| URI | m2://inv/82RYHDXFG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#Z8ZS, Endpoint extension (statement). In RQA728RB77/e1, proposition 20
History
- 2026-10-27: add by m2/v0.4.2
Deborah J. Rumsey 82SFYT5PKE
| URI | m2://inv/82SFYT5PKE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deborah J. Rumsey, Deborah J. Rumsey (topic). Also Wikidata Q59200706
History
- 2026-11-02: add by m2/dev
Representations 82SHE7K67C
| URI | m2://inv/82SHE7K67C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PG(3,2)#ODV5, Representations (definition)
History
- 2026-11-02: add by m2/dev
Complexified gauge 82SQ46EVE3
| URI | m2://inv/82SQ46EVE3 |
|---|---|
| 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#43GH, Complexified gauge (statement)
History
- 2026-11-01: add by m2/v0.6.15
82SY4TVRH9 82SY4TVRH9
| URI | m2://inv/82SY4TVRH9 |
|---|---|
| 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#9W9E (statement). In SD28S3K7BT/e1, lemma 34
History
- 2026-10-29: add by m2/v0.4.12
Floyd's triangle 82SYDVGQQ1
| URI | m2://inv/82SYDVGQQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floyd's triangle, Floyd's triangle (definition). Also Wikidata Q5366492
History
- 2026-11-02: add by m2/dev
82SZQ7T8AN 82SZQ7T8AN
| URI | m2://inv/82SZQ7T8AN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#QHU5 (statement). In 317GZJ38HS/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
82T6J1HEC4 82T6J1HEC4
| URI | m2://inv/82T6J1HEC4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-61 (exercise). In E59CDZA4DP, exercise, section 11.5.2
History
- 2026-11-01: add by m2/v0.6.13
great dodecahedron 82T8GPXE81
| URI | m2://inv/82T8GPXE81 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1549165, great dodecahedron (object). Also MathWorld GreatDodecahedron
- wikipedia: Wikipedia Great dodecahedron, Great dodecahedron (object). Also Wikidata Q1549165
History
- 2026-10-26: add by m2/dev
82TVJTBGT4 82TVJTBGT4
| URI | m2://inv/82TVJTBGT4 |
|---|---|
| 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.08865#6ME2 (statement). In SJ5JKGH94M/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
82TVJWPMHS 82TVJWPMHS
| URI | m2://inv/82TVJWPMHS |
|---|---|
| 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 2606.20229#0VUO (statement). In 1B85G2QJC2/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.6
Robin Wilson 82TWFF9NVJ
| URI | m2://inv/82TWFF9NVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robin Wilson (mathematician), Robin Wilson (topic). Also Wikidata Q945772
History
- 2026-11-02: add by m2/dev
Applied element method 82TY3TAVAR
| URI | m2://inv/82TY3TAVAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applied element method, Applied element method (definition). Also Wikidata Q4781595
History
- 2026-11-02: add by m2/dev
82TYSJJSMF 82TYSJJSMF
| URI | m2://inv/82TYSJJSMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.22288#VVQC (statement). In X38P26DK6S/e1, proposition 5.8
History
- 2026-10-27: add by m2/v0.4.0
Factorization of polynomials over finite fields 82V2FBF9Z6
| URI | m2://inv/82V2FBF9Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization of polynomials over finite fields, Factorization of polynomials over finite fields (definition). Also Wikidata Q5428743
History
- 2026-11-02: add by m2/dev
prenex normal form 82V6X6EEQQ
| URI | m2://inv/82V6X6EEQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Prenex normal form CS82V969DE |
Mentions
- wikidata: Wikidata Q281854, prenex normal form (unknown). Also MathWorld PrenexNormalForm
- wikipedia: Wikipedia Prenex normal form, Prenex normal form (definition). Also Wikidata Q281854
History
- 2026-10-26: add by m2/dev
Banesh Hoffmann 82VCGPSMJ8
| URI | m2://inv/82VCGPSMJ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YMVP, Banesh Hoffmann (topic)
History
- 2026-11-02: add by m2/dev
82VGVPDZF3 82VGVPDZF3
| URI | m2://inv/82VGVPDZF3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#X0V9 (example). In Q5Z178SAHP/e1, example 3.3
History
- 2026-10-30: add by m2/v0.4.12
82VHENCZ1W 82VHENCZ1W
| URI | m2://inv/82VHENCZ1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2503.12486#T1QQ (statement). In 3343AEAXB3/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
82VNDBD8W2 82VNDBD8W2
| URI | m2://inv/82VNDBD8W2 |
|---|---|
| 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.16059#20EA (statement). In 51W7AECQDA/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Kate Calder 82VZA5JM06
| URI | m2://inv/82VZA5JM06 |
|---|---|
| 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#6GU5, Kate Calder (topic)
History
- 2026-11-02: add by m2/dev
82WAXTTTH4 82WAXTTTH4
| URI | m2://inv/82WAXTTTH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#2DEQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Inverted Dirichlet distribution 82WAZN1ZYS
| URI | m2://inv/82WAZN1ZYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverted Dirichlet distribution, Inverted Dirichlet distribution (definition). Also Wikidata Q18208193
History
- 2026-11-02: add by m2/dev
Formal definition 82WCPMXMPC
| URI | m2://inv/82WCPMXMPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer space (mathematics)#JTBR, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
82WJG7K0MB 82WJG7K0MB
| URI | m2://inv/82WJG7K0MB |
|---|---|
| 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 2509.05577#INHZ (statement). In EFWBREMZAP/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
IEEE 754 recommended operation 82WJPYM7RQ
| URI | m2://inv/82WJPYM7RQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IEEE 754#97O5, IEEE 754 recommended operation (unknown)
History
- 2026-11-02: add by m2/dev
Alberto Bressan 82WS5S5E4S
| URI | m2://inv/82WS5S5E4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alberto Bressan, Alberto Bressan (topic). Also Wikidata Q1535954
History
- 2026-11-02: add by m2/dev
Bounding volume 82XDBVDC0F
| URI | m2://inv/82XDBVDC0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounding volume, Bounding volume (definition). Also Wikidata Q1434060
History
- 2026-11-02: add by m2/dev
82XEEZMT23 82XEEZMT23
| URI | m2://inv/82XEEZMT23 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-14 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Role in statistical hypothesis testing 82XKCQAR05
| URI | m2://inv/82XKCQAR05 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical significance#9S58, Role in statistical hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
type, of lists 82XTX09RA0
| URI | m2://inv/82XTX09RA0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.2/type-of-lists, type, of lists (concept). In N54F33XE07, index, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
82XV1AC7XJ 82XV1AC7XJ
| URI | m2://inv/82XV1AC7XJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24638#GZ0M (statement)
History
- 2026-11-01: add by m2/v0.6.15
82XW0JPGMZ 82XW0JPGMZ
| URI | m2://inv/82XW0JPGMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25983#EHG6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
82Y0CGX0RX 82Y0CGX0RX
| URI | m2://inv/82Y0CGX0RX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#ordtimesrecursion (statement). In PKGMM3P5QY, lem, section 71.11
History
- 2026-11-01: add by m2/v0.6.13
82YEH07N4N 82YEH07N4N
| URI | m2://inv/82YEH07N4N |
|---|---|
| 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.21489#CYN3 (statement). In R0Q0RV8XCF/e1, proposition 4.14
History
- 2026-10-27: add by m2/v0.4.2
82YGXRTZPD 82YGXRTZPD
| URI | m2://inv/82YGXRTZPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:incons (statement). In PKGMM3P5QY, prop, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
The singular value decomposition 82YKC59RB1
| URI | m2://inv/82YKC59RB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#theorem-svd, The singular value decomposition (statement). In 649HGZKE96, theorem, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
82YQ554ZZ5 82YQ554ZZ5
| URI | m2://inv/82YQ554ZZ5 |
|---|---|
| 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.32174#6WXR (statement). In GHKR740SG3/e1, corollary 21.4
History
- 2026-10-31: add by m2/v0.5.6
Darryl Holm 82YTDNHA3N
| URI | m2://inv/82YTDNHA3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darryl Holm, Darryl Holm (topic). Also Wikidata Q51131478
History
- 2026-11-02: add by m2/dev
Symmetry 82Z6KYRMKR
| URI | m2://inv/82Z6KYRMKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular tiling honeycomb#8SFC, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
John Williams 82Z7HHWM4Z
| URI | m2://inv/82Z7HHWM4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#QBL4, John Williams (unknown)
History
- 2026-11-02: add by m2/dev
Data flow modeling 82ZDRH6T3M
| URI | m2://inv/82ZDRH6T3M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptual model#GZTJ, Data flow modeling (unknown)
History
- 2026-11-02: add by m2/dev
polar decompositions in $\mathrm{GL}(n, \C)$ 82ZDT4FP69
| URI | m2://inv/82ZDT4FP69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > polar decompositions in $\mathrm{GL}(n, \C)$, polar decompositions in $\mathrm{GL}(n, \C)$ (unknown)
History
- 2026-10-26: add by m2/dev
Nielsen realization problem 82ZHYZK05H
| URI | m2://inv/82ZHYZK05H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7031618, Nielsen realization problem (statement). Also Wikidata Q7031618
- thousand_plus: thousand_plus Q7031618, Nielsen realization problem (statement). Also Wikidata Q7031618, Wikipedia Nielsen realization problem
- wikipedia: Wikipedia Nielsen realization problem, Nielsen realization problem (problem). Also Wikidata Q7031618
History
- 2026-10-26: add by m2/dev
Terminology 82ZJ0SVCVA
| URI | m2://inv/82ZJ0SVCVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint (mathematics)#415B, Terminology (definition)
History
- 2026-11-02: add by m2/dev
82ZSHGJ03R 82ZSHGJ03R
| URI | m2://inv/82ZSHGJ03R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 43.4
History
- 2026-11-01: add by m2/v0.6.13
82ZSM1KKR1 82ZSM1KKR1
| URI | m2://inv/82ZSM1KKR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.32860#WTAL (statement). In H71AJ341B3/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Smooth stack 82ZY5F70PX
| URI | m2://inv/82ZY5F70PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic stacks#PU6R, Smooth stack (unknown)
History
- 2026-11-02: add by m2/dev