Inventory rows HF
The cards of the rows of the inventory whose ids start with HF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
HF036THYPQ HF036THYPQ
| URI | m2://inv/HF036THYPQ |
|---|---|
| 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.38417#4E57 (statement). In PQ0BN5S97Q/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
HF03HGMWZM HF03HGMWZM
| URI | m2://inv/HF03HGMWZM |
|---|---|
| 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.28350#Z1IZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
HF043W23Y4 HF043W23Y4
| URI | m2://inv/HF043W23Y4 |
|---|---|
| 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.14455#07KF (statement). In 5KARPAJDCP/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Frank Rowlett HF055CVNVG
| URI | m2://inv/HF055CVNVG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#98MA, Frank Rowlett (topic)
History
- 2026-11-02: add by m2/dev
Definition HF07MSKDCS
| URI | m2://inv/HF07MSKDCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curvature form#NVYA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Root mean square rate HF08Q7V7JD
| URI | m2://inv/HF08Q7V7JD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1007.0842#1BME, Root mean square rate (statement). In SEBS9D5AC5/e1, corollary 6.3
History
- 2026-10-27: add by m2/v0.3.5
List of prime numbers HF0D4V0GK7
| URI | m2://inv/HF0D4V0GK7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime numbers, List of prime numbers (topic). Also Wikidata Q225987
History
- 2026-11-02: add by m2/dev
Face differential HF0EVTKM84
| URI | m2://inv/HF0EVTKM84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27799#KCG3, Face differential (statement)
History
- 2026-11-01: add by m2/v0.6.15
HF0MJF2E2G HF0MJF2E2G
| URI | m2://inv/HF0MJF2E2G |
|---|---|
| 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#LR7P (statement). In 7QXAZXGNPQ/e1, corollary 1.6
History
- 2026-10-29: add by m2/v0.4.12
Statement of the lemma HF0MK0TEXN
| URI | m2://inv/HF0MK0TEXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's lemma (Laplace equation)#XFKN, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
HF0PX0FE3B HF0PX0FE3B
| URI | m2://inv/HF0PX0FE3B |
|---|---|
| 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.26386#N8AF (definition)
History
- 2026-11-01: add by m2/v0.6.15
HF0TZTCW5X HF0TZTCW5X
| URI | m2://inv/HF0TZTCW5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.16706#3F3T (statement). In JSRVKPT87E/e1, corollary
History
- 2026-10-27: add by m2/v0.4.0
Johannes Knoblauch HF19S0A4YV
| URI | m2://inv/HF19S0A4YV |
|---|---|
| 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#IAM6, Johannes Knoblauch (topic)
History
- 2026-11-02: add by m2/dev
HF1AYPVVE1 HF1AYPVVE1
| URI | m2://inv/HF1AYPVVE1 |
|---|---|
| Kind | definition |
| 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.20488#CGKH (definition)
History
- 2026-11-02: add by m2/v0.6.18
Generalizing HF1QSKYPNH
| URI | m2://inv/HF1QSKYPNH |
|---|---|
| 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.22685#D8IP, Generalizing (statement)
History
- 2026-11-02: add by m2/v0.6.17
HF21DDSQT3 HF21DDSQT3
| URI | m2://inv/HF21DDSQT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#TT7Q (statement). In NQFYT2M6YZ/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.12
open map HF25B4ZJMH
| URI | m2://inv/HF25B4ZJMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56653513, open map (unknown). Also MathWorld OpenMap, nLab open map
History
- 2026-10-26: add by m2/dev
Ω/ω HF27RW7GWZ
| URI | m2://inv/HF27RW7GWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9890, Ω/ω (unknown). Also ProofWiki Symbols:Greek/Omega
History
- 2026-10-26: add by m2/dev
Farey sequence HF29WCRH98
| URI | m2://inv/HF29WCRH98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#SGBH, Farey sequence (definition)
History
- 2026-11-02: add by m2/dev
HF2E6WRT8S HF2E6WRT8S
| URI | m2://inv/HF2E6WRT8S |
|---|---|
| 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 2410.22607#NM3H (statement). In 6GT33A43SY/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
HF32TP9BY1 HF32TP9BY1
| URI | m2://inv/HF32TP9BY1 |
|---|---|
| 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.00407#OZWP (statement). In TVFD0G3F2W/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Karl Szilárd HF388Q3Z3E
| URI | m2://inv/HF388Q3Z3E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Szilárd, Karl Szilárd (topic). Also Wikidata Q102214630
History
- 2026-11-02: add by m2/dev
Von Staudt–Clausen theorem HF3GBZ13QF
| URI | m2://inv/HF3GBZ13QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TMPL, Von Staudt–Clausen theorem (statement)
History
- 2026-11-02: add by m2/dev
HF3RFQ0RVC HF3RFQ0RVC
| URI | m2://inv/HF3RFQ0RVC |
|---|---|
| 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 2610.22074#Y2YR (statement). In F3BKXXPR3K/e1, proposition B.7
History
- 2026-10-27: add by m2/v0.4.2
index of speciality HF414Z3GFA
| URI | m2://inv/HF414Z3GFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#YW95, index of speciality (definition)
History
- 2026-11-02: add by m2/dev
Constructional system HF45CWKVFD
| URI | m2://inv/HF45CWKVFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructional system, Constructional system (definition). Also Wikidata Q28456241
History
- 2026-11-02: add by m2/dev
Kurt Mahler HF48X0TA9J
| URI | m2://inv/HF48X0TA9J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurt Mahler, Kurt Mahler (topic). Also Wikidata Q327167
History
- 2026-11-02: add by m2/dev
Properties HF4AV80A0K
| URI | m2://inv/HF4AV80A0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosidodecahedron#WV97, Properties (statement)
History
- 2026-11-02: add by m2/dev
HF4C08QPEH HF4C08QPEH
| URI | m2://inv/HF4C08QPEH |
|---|---|
| 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.39790#BRKR (statement). In C2C9GTQFYF/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Jenkins–Traub algorithm HF4HJ1Y347
| URI | m2://inv/HF4HJ1Y347 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jenkins–Traub algorithm, Jenkins–Traub algorithm (definition). Also Wikidata Q6177639
History
- 2026-11-02: add by m2/dev
Formal definitions HF4R2R59W6
| URI | m2://inv/HF4R2R59W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hille–Yosida theorem#AH2W, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
HF51MFTCCJ HF51MFTCCJ
| URI | m2://inv/HF51MFTCCJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-9 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
HF5304V79D HF5304V79D
| URI | m2://inv/HF5304V79D |
|---|---|
| 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.39103#7KNJ (statement). In VGB0N93ES8/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Linear Frobenius rigidity HF59APG1ZG
| URI | m2://inv/HF59APG1ZG |
|---|---|
| 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#HBPE, Linear Frobenius rigidity (statement)
History
- 2026-11-01: add by m2/v0.6.15
HF5CG8MYMZ HF5CG8MYMZ
| URI | m2://inv/HF5CG8MYMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#4K4Z (definition). In FSD8NE3XSR/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.4.0
H. Blaine Lawson HF5DSW1R9W
| URI | m2://inv/HF5DSW1R9W |
|---|---|
| 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 Q1562550, H. Blaine Lawson (unknown). Also nLab H. Blaine Lawson
History
- 2026-10-26: add by m2/dev
invertibility HF5MASZM48
| URI | m2://inv/HF5MASZM48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Matrices > invertibility, invertibility (unknown). Also Mathlib Matrix.inv
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > invertibility, invertibility (unknown). Also Mathlib Matrix.inv
History
- 2026-10-26: add by m2/dev
Büchi–Elgot–Trakhtenbrot theorem HF5TD523AG
| URI | m2://inv/HF5TD523AG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q107709489, Büchi-Elgot-Trakhtenbrot theorem (statement). Also Wikidata Q107709489
- thousand_plus: thousand_plus Q107709489, Büchi-Elgot-Trakhtenbrot theorem (statement). Also Wikidata Q107709489, Wikipedia Büchi-Elgot-Trakhtenbrot theorem
- wikipedia: Wikipedia Büchi–Elgot–Trakhtenbrot theorem, Büchi–Elgot–Trakhtenbrot theorem (statement). Also Wikidata Q107709489
History
- 2026-10-26: add by m2/dev
Absolute scale of temperature HF60B1VNJT
| URI | m2://inv/HF60B1VNJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temperature#W8KW, Absolute scale of temperature (unknown)
History
- 2026-11-02: add by m2/dev
Michele Guindani HF61M0AE0P
| URI | m2://inv/HF61M0AE0P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michele Guindani, Michele Guindani (topic). Also Wikidata Q41044691
History
- 2026-11-02: add by m2/dev
HF6DG3YRMK HF6DG3YRMK
| URI | m2://inv/HF6DG3YRMK |
|---|---|
| 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#O6RQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Richard Kenyon HF6FY2YBJ7
| URI | m2://inv/HF6FY2YBJ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Kenyon, Richard Kenyon (topic). Also Wikidata Q2149934
History
- 2026-11-02: add by m2/dev
HF6JYQZ4W0 HF6JYQZ4W0
| URI | m2://inv/HF6JYQZ4W0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-9 (example). In RZP28ERRZV, example, section 21.4
History
- 2026-11-01: add by m2/v0.6.13
HF6QJ9Q3ZC HF6QJ9Q3ZC
| URI | m2://inv/HF6QJ9Q3ZC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-10 (example). In E59CDZA4DP, example, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
HF6TDYJ5SK HF6TDYJ5SK
| URI | m2://inv/HF6TDYJ5SK |
|---|---|
| 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.19845#T6WB (statement). In A8Y7B1MD91/e1, lemma C.4
History
- 2026-10-28: add by m2/v0.4.2
HF712SDNWT HF712SDNWT
| URI | m2://inv/HF712SDNWT |
|---|---|
| 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.09324#HSTR (statement). In SFNYZXKBNW/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Examples HF72YP0R0K
| URI | m2://inv/HF72YP0R0K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corner solution#GYMN, Examples (example)
History
- 2026-11-02: add by m2/dev
Specht HF733FF1BK
| URI | m2://inv/HF733FF1BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#8JX6, Specht (definition)
History
- 2026-11-02: add by m2/dev
HF75E16ADE HF75E16ADE
| URI | m2://inv/HF75E16ADE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#CSK1 (definition). In HRCEFY172P/e1, definition 3.24
History
- 2026-10-30: add by m2/v0.4.12
List of mathematical symbols by subject HF79476CEM
| URI | m2://inv/HF79476CEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#PQQA, List of mathematical symbols by subject (topic)
History
- 2026-11-02: add by m2/dev
ASH for even cycles HF7A4X78FX
| URI | m2://inv/HF7A4X78FX |
|---|---|
| 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.09650#SUTD, ASH for even cycles (statement). In 628KM8869P/e1, theorem 4.12
History
- 2026-10-29: add by m2/v0.4.10
HF7D50JRAR HF7D50JRAR
| URI | m2://inv/HF7D50JRAR |
|---|---|
| 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.15847#NKAR (statement). In BTV3DAMX28/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
HF7EPXPPY8 HF7EPXPPY8
| URI | m2://inv/HF7EPXPPY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.15169#9QG4 (statement). In V7SN19J84T/e1, lemma 5.18
History
- 2026-10-28: add by m2/v0.4.2
HF7FR00QG8 HF7FR00QG8
| URI | m2://inv/HF7FR00QG8 |
|---|---|
| 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#SQYI (example). In Q5Z178SAHP/e1, example 7.3
History
- 2026-10-30: add by m2/v0.4.12
Cable knot HF7FYWR93R
| URI | m2://inv/HF7FYWR93R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#NER7, Cable knot (definition)
History
- 2026-11-02: add by m2/dev
Tetradecagon HF7KGABM6C
| URI | m2://inv/HF7KGABM6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#D7RM, Tetradecagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#UMGU, Tetradecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#5D2M, Tetradecagon (definition)
History
- 2026-11-02: add by m2/dev
HF7QRR3WRD HF7QRR3WRD
| URI | m2://inv/HF7QRR3WRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.00869#HDA4 (statement). In 63JMKC4GZE/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
matrix HF7QXAQQPH
| URI | m2://inv/HF7QXAQQPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11C20 |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Matrix 0VD9ZSWWJG |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Matrices > ring-valued matrix, ring-valued matrix (unknown). Also Mathlib Matrix
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > commutative-ring-valued matrices, commutative-ring-valued matrices (unknown). Also Mathlib Matrix
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > field-valued matrices, field-valued matrices (unknown). Also Mathlib Matrix
- wikidata: Wikidata Q44337, matrix (topic). Also EoM Matrix, Mathlib Matrix, MathWorld Matrix, ProofWiki Definition:Matrix
- wikipedia: Wikipedia Matrix (mathematics), Matrix (definition). Also Wikidata Q44337
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Krull–Schmidt theorem HF7RV134BG
| URI | m2://inv/HF7RV134BG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226709, Krull–Schmidt theorem (statement). Also Wikidata Q2226709
- thousand_plus: thousand_plus Q2226709, Krull–Schmidt theorem (statement). Also Wikidata Q2226709, Wikipedia Krull–Schmidt theorem
- wikipedia: Wikipedia Krull–Schmidt theorem, Krull–Schmidt theorem (statement). Also Wikidata Q2226709
History
- 2026-10-26: add by m2/dev
Brauer's k(B) conjecture HF859CK8FE
| URI | m2://inv/HF859CK8FE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer's k(B) conjecture, Brauer's k(B) conjecture (statement). Also Wikidata Q131286612
History
- 2026-11-02: add by m2/dev
partial function HF88V68AJT
| URI | m2://inv/HF88V68AJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1756942, partial function (unknown). Also MathWorld PartialFunction, nLab partial function
- wikipedia: Wikipedia Partial function, Partial function (definition). Also Wikidata Q1756942
History
- 2026-10-26: add by m2/dev
HF8DWEZYAS HF8DWEZYAS
| URI | m2://inv/HF8DWEZYAS |
|---|---|
| Kind | statement |
| 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 2610.08426#LG49 (statement). In YG2DPMNZ1N/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
positivism HF8JTB8AJD
| URI | m2://inv/HF8JTB8AJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131015, positivism (unknown). Also nLab positivism
History
- 2026-10-26: add by m2/dev
Mark Freidlin HF8N52K6P3
| URI | m2://inv/HF8N52K6P3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IFKM, Mark Freidlin (unknown)
History
- 2026-11-02: add by m2/dev
HF8QYGQA3V HF8QYGQA3V
| URI | m2://inv/HF8QYGQA3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#definition-1 (definition). In P1C114YBXG, definition, section C
History
- 2026-11-01: add by m2/v0.6.13
Lomonosov's invariant subspace theorem HF952Q0XAB
| URI | m2://inv/HF952Q0XAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lomonosov's invariant subspace theorem#VR1Y, Lomonosov's invariant subspace theorem (statement)
History
- 2026-11-02: add by m2/dev
HF9A2KFDTV HF9A2KFDTV
| URI | m2://inv/HF9A2KFDTV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-76 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
HF9BNEPMCZ HF9BNEPMCZ
| URI | m2://inv/HF9BNEPMCZ |
|---|---|
| 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.06868#KSZ3 (statement). In TV73V5E7JV/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Schwenk's theorem HF9GBVDMHA
| URI | m2://inv/HF9GBVDMHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XRBZ, Schwenk's theorem (definition)
History
- 2026-11-02: add by m2/dev
HF9HRTVV46 HF9HRTVV46
| URI | m2://inv/HF9HRTVV46 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#WE02 (definition). In JQFPH09JG8/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Postselection certification without variance calibration HF9KJDFY6F
| URI | m2://inv/HF9KJDFY6F |
|---|---|
| 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.19207#SI84, Postselection certification without variance calibration (statement). In BH3R0BA3PC/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
elongated pentagonal pyramid HF9KQAY273
| URI | m2://inv/HF9KQAY273 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q143112, elongated pentagonal pyramid (object). Also MathWorld ElongatedPentagonalPyramid
- wikipedia: Wikipedia Elongated pentagonal pyramid, Elongated pentagonal pyramid (definition). Also Wikidata Q143112
History
- 2026-10-26: add by m2/dev
Painter's paradox HF9KS2Z10M
| URI | m2://inv/HF9KS2Z10M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel's horn#RRRI, Painter's paradox (statement)
History
- 2026-11-02: add by m2/dev
Examples HF9NX86A8Y
| URI | m2://inv/HF9NX86A8Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Germ (mathematics)#XGK5, Examples (example)
History
- 2026-11-02: add by m2/dev
HF9YTHM5J5 HF9YTHM5J5
| URI | m2://inv/HF9YTHM5J5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.27799#NLSF (definition)
History
- 2026-11-01: add by m2/v0.6.15
$C^k$ function HFA0JPSYAT
| URI | m2://inv/HFA0JPSYAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > $C^k$ function, $C^k$ function (unknown). Also Mathlib ContDiff
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > $k$-times continuously differentiable functions, $k$-times continuously differentiable functions (unknown). Also Mathlib ContDiff
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > $C^k$ functions, $C^k$ functions (unknown). Also Mathlib ContDiff
History
- 2026-10-26: add by m2/dev
HFA2G3ZX3J HFA2G3ZX3J
| URI | m2://inv/HFA2G3ZX3J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15037#QEA3 (definition). In 9XCA9T80GJ/e1, definition 2.2.2
History
- 2026-10-28: add by m2/v0.4.2
autocovariance HFA5B7SP1D
| URI | m2://inv/HFA5B7SP1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 62M10 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q786973, autocovariance (topic)
- wikipedia: Wikipedia Autocovariance, Autocovariance (definition). Also Wikidata Q786973
History
- 2026-10-26: add by m2/dev
HFA75EXPYD HFA75EXPYD
| URI | m2://inv/HFA75EXPYD |
|---|---|
| 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.02790#KIY1 (statement). In NB7HZ8W2K2/e1, lemma 25
History
- 2026-10-29: add by m2/v0.4.12
1921 United Kingdom census HFA9F61R0K
| URI | m2://inv/HFA9F61R0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1921 United Kingdom census, 1921 United Kingdom census (definition). Also Wikidata Q21279755
History
- 2026-11-02: add by m2/dev
Delooping HFAC0GJZ2P
| URI | m2://inv/HFAC0GJZ2P |
|---|---|
| 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.10262#KDE6, Delooping (statement). In MVSGDTN2PB/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
HFAED48JPZ HFAED48JPZ
| URI | m2://inv/HFAED48JPZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.04046#5CA0 (definition). In 3THDT8WNF7/e1, definition 6
History
- 2026-10-29: add by m2/v0.4.12
Derivative bounds for Gaussian convolution HFAM6F7YSC
| URI | m2://inv/HFAM6F7YSC |
|---|---|
| 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.39144#TW89, Derivative bounds for Gaussian convolution (statement). In 814ZF5WMMF/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Menahem Max Schiffer HFAMRM4AP2
| URI | m2://inv/HFAMRM4AP2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menahem Max Schiffer, Menahem Max Schiffer (topic). Also Wikidata Q991805
History
- 2026-11-02: add by m2/dev
Ludomir Danilewicz HFANYBBS0E
| URI | m2://inv/HFANYBBS0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#SU0R, Ludomir Danilewicz (unknown)
History
- 2026-11-02: add by m2/dev
Example HFAQMS0VXB
| URI | m2://inv/HFAQMS0VXB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear least squares#YZRS, Example (example)
History
- 2026-11-02: add by m2/dev
Formal definition HFAXZ93PQA
| URI | m2://inv/HFAXZ93PQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge contraction#K0V2, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
HFB22K61KB HFB22K61KB
| URI | m2://inv/HFB22K61KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#QXVI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Olivier Pironneau HFBBX7MTZ9
| URI | m2://inv/HFBBX7MTZ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olivier Pironneau, Olivier Pironneau (topic). Also Wikidata Q3351286
History
- 2026-11-02: add by m2/dev
cusp HFBCYBTEC9
| URI | m2://inv/HFBCYBTEC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q655275, cusp (unknown). Also MathWorld Cusp
- wikipedia: Wikipedia Cusp (singularity), Cusp (definition). Also Wikidata Q655275
History
- 2026-10-26: add by m2/dev
Terminology HFBHM77132
| URI | m2://inv/HFBHM77132 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave function collapse#ZP3W, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Existence theorem HFBMSQFDSW
| URI | m2://inv/HFBMSQFDSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wozencraft ensemble#3YKK, Existence theorem (statement)
History
- 2026-11-02: add by m2/dev
Vitali–Hahn–Saks theorem HFBR28VC57
| URI | m2://inv/HFBR28VC57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1AHI, Vitali–Hahn–Saks theorem (statement)
History
- 2026-11-02: add by m2/dev
Irreflexivity HFBZSC49PW
| URI | m2://inv/HFBZSC49PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/special-properties.tex#defn-6, Irreflexivity (definition). In PKGMM3P5QY, defn, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Pruned tree HFC2HP4MSC
| URI | m2://inv/HFC2HP4MSC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (descriptive set theory)#7Z5T, Pruned tree (unknown)
History
- 2026-11-02: add by m2/dev
HFC3763XC4 HFC3763XC4
| URI | m2://inv/HFC3763XC4 |
|---|---|
| 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 2609.24023#2F64 (definition)
History
- 2026-11-02: add by m2/v0.6.17
RSA-300 HFC3T29TQ1
| URI | m2://inv/HFC3T29TQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#FIE2, RSA-300 (unknown)
History
- 2026-11-02: add by m2/dev
The representation theorem for positive linear functionals on Cc(X) HFCA9AJR3D
| URI | m2://inv/HFCA9AJR3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Markov–Kakutani representation theorem#YLLR, The representation theorem for positive linear functionals on Cc(X) (statement)
History
- 2026-11-02: add by m2/dev
HFCAWMA1EE HFCAWMA1EE
| URI | m2://inv/HFCAWMA1EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.40017#NJQF (statement). In MBHJA0HT06/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
FIFA Master HFCCJQDJ3W
| URI | m2://inv/HFCCJQDJ3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Centre for Sports Studies#8Z1G, FIFA Master (unknown)
History
- 2026-11-02: add by m2/dev
HFCFQBZT84 HFCFQBZT84
| URI | m2://inv/HFCFQBZT84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03422#EVPL (statement). In SF88CM0957/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.12
Péter Pál Pálfy HFCN6EZ1RP
| URI | m2://inv/HFCN6EZ1RP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#APCW, Péter Pál Pálfy (topic)
History
- 2026-11-02: add by m2/dev
HFCTW0Z2RH HFCTW0Z2RH
| URI | m2://inv/HFCTW0Z2RH |
|---|---|
| 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 2104.04145#7E41 (statement). In 7TNHVC586V/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Conditional quantifier HFCV1XWBB2
| URI | m2://inv/HFCV1XWBB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional quantifier, Conditional quantifier (definition). Also Wikidata Q5159271
History
- 2026-11-02: add by m2/dev
Construction HFD1X6487M
| URI | m2://inv/HFD1X6487M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giry monad#QT0L, Construction (definition)
History
- 2026-11-02: add by m2/dev
HFD3V5W3A5 HFD3V5W3A5
| URI | m2://inv/HFD3V5W3A5 |
|---|---|
| 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 2610.12484#ZDKH (statement). In GW23NX78SB/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
Applications HFD8YRYJH5
| URI | m2://inv/HFD8YRYJH5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon's theorem#U0FO, Applications (example)
History
- 2026-11-02: add by m2/dev
HFDNVEDAWX HFDNVEDAWX
| URI | m2://inv/HFDNVEDAWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#ZCZB (definition)
History
- 2026-11-02: add by m2/v0.6.18
Vertex cover HFDWW839EC
| URI | m2://inv/HFDWW839EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#DWIX, Vertex cover (definition)
History
- 2026-11-02: add by m2/dev
HFDXSYPE6Z HFDXSYPE6Z
| URI | m2://inv/HFDXSYPE6Z |
|---|---|
| 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.09129#XVVH (statement). In Z1RZSF68XZ/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.10
Babuška–Lax–Milgram theorem HFDYP2143V
| URI | m2://inv/HFDYP2143V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4838119, Babuška–Lax–Milgram theorem (statement). Also Wikidata Q4838119
- thousand_plus: thousand_plus Q4838119, Babuška–Lax–Milgram theorem (statement). Also Wikidata Q4838119, Wikipedia Babuška–Lax–Milgram theorem
- wikidata: Wikidata Q4838119, Babuška–Lax–Milgram theorem (statement). Also EoM Babuska-Lax-Milgram_theorem
- wikipedia: Wikipedia Babuška–Lax–Milgram theorem, Babuška–Lax–Milgram theorem (statement). Also Wikidata Q4838119
History
- 2026-10-26: add by m2/dev
HFDYQPDB1A HFDYQPDB1A
| URI | m2://inv/HFDYQPDB1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2210.17066#S0T6 (statement). In X2AEJAQEP8/e1, proposition 4.14
History
- 2026-10-27: add by m2/v0.3.5
Commutant HFE5M0DMA2
| URI | m2://inv/HFE5M0DMA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#88E5, Commutant (definition)
History
- 2026-11-02: add by m2/dev
Monotone convergence theorem HFE73WC6BN
| URI | m2://inv/HFE73WC6BN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness of the real numbers#2JN8, Monotone convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Ordered-flow smoothing HFEAJJM5VC
| URI | m2://inv/HFEAJJM5VC |
|---|---|
| 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.20215#G6UI, Ordered-flow smoothing (statement)
History
- 2026-11-02: add by m2/v0.6.18
HFEAM2QR0P HFEAM2QR0P
| URI | m2://inv/HFEAM2QR0P |
|---|---|
| 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.14455#ED3S (statement). In 5KARPAJDCP/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Address HFEC4KAQD6
| URI | m2://inv/HFEC4KAQD6 |
|---|---|
| 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#6F1L, Address (definition). In WD2NCBV9F0/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
HFED7ZNY8Z HFED7ZNY8Z
| URI | m2://inv/HFED7ZNY8Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Functional calculus HFEEVYVA70
| URI | m2://inv/HFEEVYVA70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.21949#6TOE, Functional calculus (statement)
History
- 2026-11-02: add by m2/v0.6.17
Axiomatic system HFEQKA92CY
| URI | m2://inv/HFEQKA92CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic system, Axiomatic system (definition). Also Wikidata Q792542
History
- 2026-11-02: add by m2/dev
HFEV7J1S9A HFEV7J1S9A
| URI | m2://inv/HFEV7J1S9A |
|---|---|
| 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.06529#9BZ4 (statement). In JFQY4CYHKP/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Leftover hash lemma HFF0QGBX3R
| URI | m2://inv/HFF0QGBX3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#GHLI, Leftover hash lemma (statement)
History
- 2026-11-02: add by m2/dev
HFF1R2HW9B HFF1R2HW9B
| URI | m2://inv/HFF1R2HW9B |
|---|---|
| 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 2011.06637#ZDLG (statement). In KFCJ5CFP3G/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
HFF7RM3NVJ HFF7RM3NVJ
| URI | m2://inv/HFF7RM3NVJ |
|---|---|
| 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.21043#JJXL (statement)
History
- 2026-11-02: add by m2/v0.6.18
HFFP5N66VJ HFFP5N66VJ
| URI | m2://inv/HFFP5N66VJ |
|---|---|
| Kind | statement |
| 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 2609.24701#MVXW (statement)
History
- 2026-11-01: add by m2/v0.6.15
rud HFFS92N1S4
| URI | m2://inv/HFFS92N1S4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ZWFK, rud (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem HFFT6RJHW3
| URI | m2://inv/HFFT6RJHW3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berger's isoembolic inequality#171O, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Exotic 4-sphere HFFWJ6C3VQ
| URI | m2://inv/HFFWJ6C3VQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exotic R4#ZN76, Exotic 4-sphere (unknown)
History
- 2026-11-02: add by m2/dev
Fixed-width deficit HFFX3MQ1XE
| URI | m2://inv/HFFX3MQ1XE |
|---|---|
| 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.05442#2TJT, Fixed-width deficit (statement). In WEPE51JCHZ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
FEE method HFGCXRE3SW
| URI | m2://inv/HFGCXRE3SW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FEE method, FEE method (definition). Also Wikidata Q4291816
History
- 2026-11-02: add by m2/dev
HFGPEWPXZP HFGPEWPXZP
| URI | m2://inv/HFGPEWPXZP |
|---|---|
| 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.01354#JZBZ (statement). In BWD76W20W8/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
HFGSR9DFTW HFGSR9DFTW
| URI | m2://inv/HFGSR9DFTW |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13295#V2I1 (conjecture). In 8Q7QXTWD0S/e1, conjecture 4.9
History
- 2026-10-28: add by m2/v0.4.2
Asano contraction HFGT0N1XMP
| URI | m2://inv/HFGT0N1XMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asano contraction, Asano contraction (definition). Also Wikidata Q25303885
History
- 2026-11-02: add by m2/dev
Moment transfer HFGY3SQVEA
| URI | m2://inv/HFGY3SQVEA |
|---|---|
| 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.00039#SVLA, Moment transfer (statement). In 2YQ3WX6VSW/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
HFGZCG4T9J HFGZCG4T9J
| URI | m2://inv/HFGZCG4T9J |
|---|---|
| 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.26477#21T0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example HFH7H3SS3C
| URI | m2://inv/HFH7H3SS3C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-synchronized sequence#ZW9I, Example (example)
History
- 2026-11-02: add by m2/dev
Differential graded Lie algebra HFHR0MFMBQ
| URI | m2://inv/HFHR0MFMBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#5LW2, Differential graded Lie algebra (definition)
History
- 2026-11-02: add by m2/dev
HFHT0ARP3T HFHT0ARP3T
| URI | m2://inv/HFHT0ARP3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03373#35CL (statement). In ZA7DBT3NWR/e1, corollary 3.15
History
- 2026-10-29: add by m2/v0.4.12
HFJBHZ26BW HFJBHZ26BW
| URI | m2://inv/HFJBHZ26BW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:retract-equiv (statement). In N54F33XE07, thm, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
Definitions HFJEEJQCQ3
| URI | m2://inv/HFJEEJQCQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitary relation#5Y8Y, Definitions (definition)
History
- 2026-11-02: add by m2/dev
minimal and maximal HFJGPQDZPF
| URI | m2://inv/HFJGPQDZPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#RT86, minimal and maximal (definition)
History
- 2026-11-02: add by m2/dev
HFJN9QPC90 HFJN9QPC90
| URI | m2://inv/HFJN9QPC90 |
|---|---|
| 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.35323#L9QA (statement). In 5CKPXBWSCX/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
HFJT93EM6Y HFJT93EM6Y
| URI | m2://inv/HFJT93EM6Y |
|---|---|
| Kind | example |
| 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.25409#QZEC (example)
History
- 2026-11-01: add by m2/v0.6.15
Statement HFJV73N96X
| URI | m2://inv/HFJV73N96X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conductor–discriminant formula#3WKO, Statement (statement)
History
- 2026-11-02: add by m2/dev
Jonas Kubilius HFJYA90VN8
| URI | m2://inv/HFJYA90VN8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UGLU, Jonas Kubilius (topic)
History
- 2026-11-02: add by m2/dev
Noetherian HFJZVAB2XP
| URI | m2://inv/HFJZVAB2XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#607W, Noetherian (definition)
History
- 2026-11-02: add by m2/dev
HFK31KJFW2 HFK31KJFW2
| URI | m2://inv/HFK31KJFW2 |
|---|---|
| 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.25282#DZHO (statement)
History
- 2026-11-01: add by m2/v0.6.15
HFK486SQ11 HFK486SQ11
| URI | m2://inv/HFK486SQ11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#ZDRQ (statement). In WRE0P7V6Z3/e1, lemma 15.2
History
- 2026-10-30: add by m2/v0.4.12
HFK5BJFQY8 HFK5BJFQY8
| URI | m2://inv/HFK5BJFQY8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38118#BBF1 (definition). In K4KKTYYKKH/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Threefold convexity in a Gaussian Banach space HFKC054070
| URI | m2://inv/HFKC054070 |
|---|---|
| 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#LQMB, Threefold convexity in a Gaussian Banach space (statement). In 9YAE8FNQST/e1, theorem 14.16
History
- 2026-10-30: add by m2/v0.4.12
Properties HFKEFSX8RE
| URI | m2://inv/HFKEFSX8RE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear function (calculus)#N3CN, Properties (statement)
History
- 2026-11-02: add by m2/dev
HFKG0TG6DW HFKG0TG6DW
| URI | m2://inv/HFKG0TG6DW |
|---|---|
| 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.31782#3KQF (statement). In YAYP5VZ94H/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Generation of the \sEVI\ flow HFKQB1TRH9
| URI | m2://inv/HFKQB1TRH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#SMMF, Generation of the \sEVI\ flow (statement)
History
- 2026-11-02: add by m2/v0.6.18
HFKTH58JTE HFKTH58JTE
| URI | m2://inv/HFKTH58JTE |
|---|---|
| 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.07790#3Z6S (statement). In A5YJDDM0NX/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Valeriy Oseledets HFM3D3DSWS
| URI | m2://inv/HFM3D3DSWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valeriy Oseledets, Valeriy Oseledets (topic). Also Wikidata Q23072478
History
- 2026-11-02: add by m2/dev
Leo Goodman HFM50AVY6N
| URI | m2://inv/HFM50AVY6N |
|---|---|
| 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#3MLK, Leo Goodman (topic)
History
- 2026-11-02: add by m2/dev
Maximal Threshold Radius by Grid Search HFM5WN4C2T
| URI | m2://inv/HFM5WN4C2T |
|---|---|
| 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 2610.17604#P848, Maximal Threshold Radius by Grid Search (example). In CZNRSB168G/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
HFM5Z3ZRCF HFM5Z3ZRCF
| URI | m2://inv/HFM5Z3ZRCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#1UW1 (statement). In S8NB83KQX3/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
Mike Paterson HFM710TMVW
| URI | m2://inv/HFM710TMVW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8W0U, Mike Paterson (unknown)
History
- 2026-11-02: add by m2/dev
HFM7XDRAYY HFM7XDRAYY
| URI | m2://inv/HFM7XDRAYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:cauchy-approximation (definition). In N54F33XE07, defn, section B.2.2
History
- 2026-11-01: add by m2/v0.6.13
Riemann surface HFMFPGERY8
| URI | m2://inv/HFMFPGERY8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Riemann surface 5K0N8QMV6Q |
Mentions
- wikidata: Wikidata Q753035, Riemann surface (concept). Also EoM Riemann_surface, MathWorld RiemannSurface, nLab Riemann surface, ProofWiki Definition:Riemann_Surface
- wikipedia: Wikipedia Riemann surface, Riemann surface (definition). Also Wikidata Q753035
History
- 2026-10-26: add by m2/dev
Golod–Shafarevich theorem HFMMKV549F
| URI | m2://inv/HFMMKV549F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#573W, Golod–Shafarevich theorem (statement)
History
- 2026-11-02: add by m2/dev
HFMN4J40K7 HFMN4J40K7
| URI | m2://inv/HFMN4J40K7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#CED8 (example). In 7V2PVZS04C/e1, example 6.9
History
- 2026-10-31: add by m2/v0.5.6
HFMVBV7M1N HFMVBV7M1N
| URI | m2://inv/HFMVBV7M1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39455#9MSZ (statement). In HW4Y4TMEZ3/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Muriel Kennett Wales HFN510J8CQ
| URI | m2://inv/HFN510J8CQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muriel Kennett Wales, Muriel Kennett Wales (topic). Also Wikidata Q31808021
History
- 2026-11-02: add by m2/dev
HFN63R9DW7 HFN63R9DW7
| URI | m2://inv/HFN63R9DW7 |
|---|---|
| Kind | definition |
| 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.23522#JW0V (definition)
History
- 2026-11-02: add by m2/v0.6.17
HFNGQ9F7XV HFNGQ9F7XV
| URI | m2://inv/HFNGQ9F7XV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33476#GBZU (definition). In DAQW640R25/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
HFNJQGJ6BH HFNJQGJ6BH
| URI | m2://inv/HFNJQGJ6BH |
|---|---|
| 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#BLDB (statement). In VV3AJMWWCR/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.6
Fondements de la Géometrie Algébrique HFNPF6TX79
| URI | m2://inv/HFNPF6TX79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#STPB, Fondements de la Géometrie Algébrique (definition)
History
- 2026-11-02: add by m2/dev
kernel, pair HFNPXGEM1G
| URI | m2://inv/HFNPXGEM1G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.3/kernel-pair, kernel, pair (concept). In N54F33XE07, index, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
Gregory Kaidanov HFP849GSXK
| URI | m2://inv/HFP849GSXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#LVSE, Gregory Kaidanov (unknown)
History
- 2026-11-02: add by m2/dev
Example HFPDZ7EH9F
| URI | m2://inv/HFPDZ7EH9F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-descriptive number#KAAL, Example (example)
History
- 2026-11-02: add by m2/dev
HFPQC8RAN4 HFPQC8RAN4
| URI | m2://inv/HFPQC8RAN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24860#76DP (statement)
History
- 2026-11-01: add by m2/v0.6.15
HFPVY11XNY HFPVY11XNY
| URI | m2://inv/HFPVY11XNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#GR7S (statement). In PA6JQDSKQT/e1, proposition 7.4
History
- 2026-10-28: add by m2/v0.4.2
Complete double-cap clause HFPX6GFNQ6
| URI | m2://inv/HFPX6GFNQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#O603, Complete double-cap clause (statement)
History
- 2026-11-01: add by m2/v0.6.15
The ceiling is not attained; i.i.d.\ model HFPYDVVDSQ
| URI | m2://inv/HFPYDVVDSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#ME0I, The ceiling is not attained; i.i.d.\ model (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vanishing HFQ0VPFCDE
| URI | m2://inv/HFQ0VPFCDE |
|---|---|
| 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 0809.0068#9NK6, Vanishing (statement). In MBKYGM01FK/e1, proposition 1.10
History
- 2026-10-27: add by m2/v0.3.5
HFQCFA3FQ7 HFQCFA3FQ7
| URI | m2://inv/HFQCFA3FQ7 |
|---|---|
| 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 2305.01474#8VG0 (statement). In 2QB5F6J24Q/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.0
Vikram Bhagvandas Mehta HFQE1B1CJH
| URI | m2://inv/HFQE1B1CJH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vikram Bhagvandas Mehta, Vikram Bhagvandas Mehta (topic). Also Wikidata Q7929555
History
- 2026-11-02: add by m2/dev
Definition HFQK2Z9XC2
| URI | m2://inv/HFQK2Z9XC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure algebra#6OWM, Definition (definition)
History
- 2026-11-02: add by m2/dev
HFQKTK406G HFQKTK406G
| URI | m2://inv/HFQKTK406G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#prob:one_dim (exercise). In RZP28ERRZV, dproblem, section 80.6
History
- 2026-11-01: add by m2/v0.6.13
HFQYECDTSJ HFQYECDTSJ
| URI | m2://inv/HFQYECDTSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.25960#HQV4 (statement). In 13GSWBXPCM/e1, proposition C.15
History
- 2026-10-27: add by m2/v0.3.5
HFR6T8F50Q HFR6T8F50Q
| URI | m2://inv/HFR6T8F50Q |
|---|---|
| Kind | definition |
| 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.12857#EWG2 (definition). In XJWQ6Y83F8/e1, definition 2.15
History
- 2026-10-28: add by m2/v0.4.2
Base value HFR7ANPJYH
| URI | m2://inv/HFR7ANPJYH |
|---|---|
| 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.37466#WWV4, Base value (statement). In KA3KMJQMDY/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Definition HFR9BWKHAP
| URI | m2://inv/HFR9BWKHAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional derivative#58LU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Brenda Lansdown HFRFS5GV4J
| URI | m2://inv/HFRFS5GV4J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brenda Lansdown, Brenda Lansdown (topic). Also Wikidata Q138900001
History
- 2026-11-02: add by m2/dev
Wilhelm von Freeden HFRVT1EZKA
| URI | m2://inv/HFRVT1EZKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm von Freeden, Wilhelm von Freeden (topic). Also Wikidata Q99596
History
- 2026-11-02: add by m2/dev
Definition HFRX6S401H
| URI | m2://inv/HFRX6S401H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary relation#MBFM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Complementary cumulative distribution function HFS00D3M3E
| URI | m2://inv/HFS00D3M3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative distribution function#YFIK, Complementary cumulative distribution function (unknown)
History
- 2026-11-02: add by m2/dev
Weak interpretability HFS78G8QJ8
| URI | m2://inv/HFS78G8QJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak interpretability, Weak interpretability (definition). Also Wikidata Q7977955
History
- 2026-11-02: add by m2/dev
Karen Marrongelle HFS9MVSB80
| URI | m2://inv/HFS9MVSB80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen Marrongelle, Karen Marrongelle (topic). Also Wikidata Q66717478
History
- 2026-11-02: add by m2/dev
Severi's theorem HFSA9ZE5NM
| URI | m2://inv/HFSA9ZE5NM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/4.3/severi-s-theorem, Severi's theorem (concept). In VNMV985MXX, index, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
The index set for one new term HFSDMPRFRY
| URI | m2://inv/HFSDMPRFRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#81HK, The index set for one new term (statement). In 8BNPFYQDQX/e1, lemma 13.5
History
- 2026-10-29: add by m2/v0.4.10
HFSEP51P9H HFSEP51P9H
| URI | m2://inv/HFSEP51P9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-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 2610.21725#KV8J (statement). In BQDZN6GRGF/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.2
HFSHBQNVFS HFSHBQNVFS
| URI | m2://inv/HFSHBQNVFS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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.10925#58KR (definition). In 9604WYX0BW/e1, definition 4.11
History
- 2026-10-28: add by m2/v0.4.3
Perfect Dark HFSP2A53G9
| URI | m2://inv/HFSP2A53G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect Dark (P2P), Perfect Dark (definition). Also Wikidata Q1734019
History
- 2026-11-02: add by m2/dev
HFSPFHEVB9 HFSPFHEVB9
| URI | m2://inv/HFSPFHEVB9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16768#ZVRD (definition). In 8FWK676AQX/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Skew shape formula HFSSPWQZN0
| URI | m2://inv/HFSSPWQZN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hook length formula#VN4F, Skew shape formula (statement)
History
- 2026-11-02: add by m2/dev
HFT0VNWH8K HFT0VNWH8K
| URI | m2://inv/HFT0VNWH8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28597#DPMI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lagrangian relaxation HFTB5DQBX2
| URI | m2://inv/HFTB5DQBX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#UC0M, Lagrangian relaxation (definition)
History
- 2026-11-02: add by m2/dev
quintic equation HFTBAX0687
| URI | m2://inv/HFTBAX0687 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q768390, quintic equation (definition). Also MathWorld QuinticEquation, ProofWiki Definition:Quintic_Equation
History
- 2026-10-26: add by m2/dev
HFTE7YT8Z3 HFTE7YT8Z3
| URI | m2://inv/HFTE7YT8Z3 |
|---|---|
| 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 2609.20678#J8JO (statement)
History
- 2026-11-02: add by m2/v0.6.18
HFTFAA2503 HFTFAA2503
| URI | m2://inv/HFTFAA2503 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#FHCD (problem)
History
- 2026-11-01: add by m2/v0.6.15
HFTNPG2JDQ HFTNPG2JDQ
| URI | m2://inv/HFTNPG2JDQ |
|---|---|
| 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.05327#WQUX (statement). In ZD7BWDKT84/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.10
Tail bifurcations HFTQ58C690
| URI | m2://inv/HFTQ58C690 |
|---|---|
| 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.23145#QYIO, Tail bifurcations (statement)
History
- 2026-11-02: add by m2/v0.6.17
HFTQ9F3S02 HFTQ9F3S02
| URI | m2://inv/HFTQ9F3S02 |
|---|---|
| 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.33829#2I4I (statement). In S34H2JTJHH/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
One-vertex transfer HFTQGT95AW
| URI | m2://inv/HFTQGT95AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#7EH5, One-vertex transfer (statement). In R5AFFWBMAF/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Register machine HFTTTE7B6Q
| URI | m2://inv/HFTTTE7B6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#W6QD, Register machine (definition)
History
- 2026-11-02: add by m2/dev
Ferrando--Kakol--López-Pellicer--\'Sliwa HFTZBGVNVH
| URI | m2://inv/HFTZBGVNVH |
|---|---|
| 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.00584#D9L7, Ferrando--Kakol--López-Pellicer--\'Sliwa (statement). In 3CRSR95BNA/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Classification of \(n\)-valued formal groups over an integral domain \(\mathbb Q\)-algebra HFV0Y4HBNX
| URI | m2://inv/HFV0Y4HBNX |
|---|---|
| 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 2610.14044#XHY7, Classification of \(n\)-valued formal groups over an integral domain \(\mathbb Q\)-algebra (statement). In 5452SJRWDT/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Annihilation operator HFV3JJG4R7
| URI | m2://inv/HFV3JJG4R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#23ZS, Annihilation operator (definition)
History
- 2026-11-02: add by m2/dev
William Wallace HFV7CCD5WM
| URI | m2://inv/HFV7CCD5WM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Wallace (mathematician), William Wallace (topic). Also Wikidata Q921869
History
- 2026-11-02: add by m2/dev
HFV7XBZHR9 HFV7XBZHR9
| URI | m2://inv/HFV7XBZHR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22964#VLCM (statement)
History
- 2026-11-02: add by m2/v0.6.17
HFV9EGESAS HFV9EGESAS
| URI | m2://inv/HFV9EGESAS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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 2401.07983#OW3G (example). In 4WJ9HYVSZY/e1, example 1
History
- 2026-10-27: add by m2/v0.3.6
HFVHHWAY69 HFVHHWAY69
| URI | m2://inv/HFVHHWAY69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03422#PIQ3 (statement). In SF88CM0957/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.12
Pierre Massé HFVS48EERK
| URI | m2://inv/HFVS48EERK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TQQD, Pierre Massé (unknown)
History
- 2026-11-02: add by m2/dev
HFVV7CMMF7 HFVV7CMMF7
| URI | m2://inv/HFVV7CMMF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:les (statement). In N54F33XE07, thm, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Examples HFW6GE7FY6
| URI | m2://inv/HFW6GE7FY6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inventor's paradox#OOJZ, Examples (example)
History
- 2026-11-02: add by m2/dev
The semantics needed for lifting HFWE7EYJV5
| URI | m2://inv/HFWE7EYJV5 |
|---|---|
| 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#W4D7, The semantics needed for lifting (statement)
History
- 2026-11-01: add by m2/v0.6.15
Forward movement bound HFWF4NN3KM
| URI | m2://inv/HFWF4NN3KM |
|---|---|
| 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.10640#9Y57, Forward movement bound (statement). In BAQVK6N0RD/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
HFWG8Y5CE5 HFWG8Y5CE5
| URI | m2://inv/HFWG8Y5CE5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#ZVS4 (example). In HX63A1PH1W/e1, example 3.79
History
- 2026-10-28: add by m2/v0.4.3
Basu's theorem HFWGEAGNM0
| URI | m2://inv/HFWGEAGNM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q791258, Basu's theorem (statement). Also Wikidata Q791258
- thousand_plus: thousand_plus Q791258, Basu's theorem (statement). Also Wikidata Q791258, Wikipedia Basu's theorem
- wikipedia: Wikipedia Basu's theorem, Basu's theorem (statement). Also Wikidata Q791258
History
- 2026-10-26: add by m2/dev
HFWP82J1CF HFWP82J1CF
| URI | m2://inv/HFWP82J1CF |
|---|---|
| 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.11056#P1FK (statement). In 1NDB3SAG7K/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
HFWQD6TN1J HFWQD6TN1J
| URI | m2://inv/HFWQD6TN1J |
|---|---|
| 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 2506.07061#CPQS (statement). In G2PA4KAGRP/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.6
The cut quotient inside the incidence-sum algebra HFWQM9CC08
| URI | m2://inv/HFWQM9CC08 |
|---|---|
| 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.34260#CKLD, The cut quotient inside the incidence-sum algebra (statement). In BBE69ZPVTF/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
Connected compact Cartan--Helgason HFWRVP27Z6
| URI | m2://inv/HFWRVP27Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#1KKW, Connected compact Cartan--Helgason (statement). In G1RP4JY5PE/e1, proposition 7.2.1
History
- 2026-10-31: add by m2/v0.5.6
Ina Kersten HFWV3KCT0F
| URI | m2://inv/HFWV3KCT0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ina Kersten, Ina Kersten (topic). Also Wikidata Q1660844
History
- 2026-11-02: add by m2/dev
\myindex{Riemann extension theorem} HFWVKWY0ZV
| URI | m2://inv/HFWVKWY0ZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-10, \myindex{Riemann extension theorem} (statement). In VNMV985MXX, thm, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Definition HFWVM0N19K
| URI | m2://inv/HFWVM0N19K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identifiability#JF21, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tullio Viola HFWWRZ5QEC
| URI | m2://inv/HFWWRZ5QEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CT6G, Tullio Viola (unknown)
History
- 2026-11-02: add by m2/dev
Nonagon HFWZ1DHRCM
| URI | m2://inv/HFWZ1DHRCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FATV, Nonagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WQN3, Nonagon (definition)
History
- 2026-11-02: add by m2/dev
Valeria Maksyuta HFX69CSPCE
| URI | m2://inv/HFX69CSPCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#JJKC, Valeria Maksyuta (unknown)
History
- 2026-11-02: add by m2/dev
Corrected form HFX6C9GCB9
| URI | m2://inv/HFX6C9GCB9 |
|---|---|
| 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.07214#JJ3D, Corrected form (statement). In 669PBFJX0Z/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Seana Shiffrin HFXQMTK3VR
| URI | m2://inv/HFXQMTK3VR |
|---|---|
| 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#X7AQ, Seana Shiffrin (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms HFYMQHJ3T0
| URI | m2://inv/HFYMQHJ3T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arboricity#WPR2, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
translation number HFYN0SDENG
| URI | m2://inv/HFYN0SDENG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Dynamics > Circle dynamics > translation number, translation number (unknown). Also Mathlib CircleDeg1Lift.translationNumber
History
- 2026-10-26: add by m2/dev
Anomaly HFYPDYZYKZ
| URI | m2://inv/HFYPDYZYKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anomaly (natural sciences), Anomaly (definition). Also Wikidata Q4769951
History
- 2026-11-02: add by m2/dev
HFYTCSPBSV HFYTCSPBSV
| URI | m2://inv/HFYTCSPBSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.31249#2KTD (statement). In RAVR2W9S0B/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Misuse of statistics HFYV7ZXFJT
| URI | m2://inv/HFYV7ZXFJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misuse of statistics, Misuse of statistics (definition). Also Wikidata Q2033252
History
- 2026-11-02: add by m2/dev
Genetic compression algorithm HFZD3RX6BD
| URI | m2://inv/HFZD3RX6BD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data compression#O4KD, Genetic compression algorithm (unknown)
History
- 2026-11-02: add by m2/dev
William Thomson HFZDC8PMHY
| URI | m2://inv/HFZDC8PMHY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Thomson (mathematician), William Thomson (topic). Also Wikidata Q37738118
History
- 2026-11-02: add by m2/dev
Botvinnik HFZHT7SPR8
| URI | m2://inv/HFZHT7SPR8 |
|---|---|
| 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 2005.03073#QP2C, Botvinnik (statement). In P2ETMXKVDS/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
List of specially named circles HFZP5N1ZB3
| URI | m2://inv/HFZP5N1ZB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle#XHHO, List of specially named circles (unknown)
History
- 2026-11-02: add by m2/dev