Inventory rows F6
The cards of the rows of the inventory whose ids start with F6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Finite element method F6021V1BDP
| URI | m2://inv/F6021V1BDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#8OF4, Finite element method (definition)
History
- 2026-11-02: add by m2/dev
morally true F60AFEW17Y
| URI | m2://inv/F60AFEW17Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#184X, morally true (definition)
History
- 2026-11-02: add by m2/dev
Sparse matrix–vector multiplication F60E2MH50E
| URI | m2://inv/F60E2MH50E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse matrix–vector multiplication, Sparse matrix–vector multiplication (definition). Also Wikidata Q16935558
History
- 2026-11-02: add by m2/dev
Modifications on time negligible sets F60G747F8D
| URI | m2://inv/F60G747F8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#WXEV, Modifications on time negligible sets (statement). In KM3Q791JY0/e1, corollary 3.20
History
- 2026-10-27: add by m2/v0.4.2
F60GC0QXK1 F60GC0QXK1
| URI | m2://inv/F60GC0QXK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2501.03704#TAL9 (statement). In Q3PY5AGD6N/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
Blocks F60K9H6JEC
| URI | m2://inv/F60K9H6JEC |
|---|---|
| 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#AD6M, Blocks (statement). In R5AFFWBMAF/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Legendre's equation F60MACPGCK
| URI | m2://inv/F60MACPGCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#CTD7, Legendre's equation (definition)
History
- 2026-11-02: add by m2/dev
F60NBPZEBR F60NBPZEBR
| URI | m2://inv/F60NBPZEBR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-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 2609.25168#R9LG (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Euler's Basel sum F60QDK0RNN
| URI | m2://inv/F60QDK0RNN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#SW0Y, Euler's Basel sum (problem)
History
- 2026-11-02: add by m2/dev
Babak Hassibi F60TNMP0WX
| URI | m2://inv/F60TNMP0WX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6HBQ, Babak Hassibi (unknown)
History
- 2026-11-02: add by m2/dev
Normal automorphism F60WHKBKJW
| URI | m2://inv/F60WHKBKJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal automorphism, Normal automorphism (definition). Also Wikidata Q7272899
History
- 2026-11-02: add by m2/dev
Weil restriction F60YRG4GAH
| URI | m2://inv/F60YRG4GAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil restriction, Weil restriction (definition). Also Wikidata Q7980190
History
- 2026-11-02: add by m2/dev
F60YRKSGR6 F60YRKSGR6
| URI | m2://inv/F60YRKSGR6 |
|---|---|
| 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.30323#1ON5 (statement). In HDJ6N25XVT/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Steve Lewis F60YYVK96A
| URI | m2://inv/F60YYVK96A |
|---|---|
| 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#P8NZ, Steve Lewis (unknown)
History
- 2026-11-02: add by m2/dev
F6135AVZEH F6135AVZEH
| URI | m2://inv/F6135AVZEH |
|---|---|
| Kind | statement |
| 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.15643#KP1K (statement). In 7QFBJCRPW1/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
F6180TWDQ3 F6180TWDQ3
| URI | m2://inv/F6180TWDQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#J3V6 (statement). In P8KT6JV9N1/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.12
F61MS9YN6C F61MS9YN6C
| URI | m2://inv/F61MS9YN6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#5KQY (statement). In 5KR3MHYVV6/e1, proposition 6.9
History
- 2026-10-28: add by m2/v0.4.2
F61P6VWJYN F61P6VWJYN
| URI | m2://inv/F61P6VWJYN |
|---|---|
| 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.10365#4D8G (statement). In PRVQPSBVHK/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
Brandt monoid reduction F61R2424HF
| URI | m2://inv/F61R2424HF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#M62K, Brandt monoid reduction (statement). In DR7BK4CQ0V/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.3
F6202F2SMZ F6202F2SMZ
| URI | m2://inv/F6202F2SMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#T717 (definition)
History
- 2026-11-01: add by m2/v0.6.15
F620MHGTY6 F620MHGTY6
| URI | m2://inv/F620MHGTY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#J1EM (statement). In PREJREM4BB/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
F624HN4HBD F624HN4HBD
| URI | m2://inv/F624HN4HBD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#4MJ7 (definition). In NSYR6W27FP/e1, definition 6.6
History
- 2026-10-27: add by m2/v0.3.5
Nilpotent classification F62F9YSW34
| URI | m2://inv/F62F9YSW34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#I5OO, Nilpotent classification (statement). In 7XEVYJKJ5C/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
F62FACW1RY F62FACW1RY
| URI | m2://inv/F62FACW1RY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#AK9W (example)
History
- 2026-11-02: add by m2/v0.6.18
Properties F62FZ4STS6
| URI | m2://inv/F62FZ4STS6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snark (graph theory)#RLHU, Properties (statement)
History
- 2026-11-02: add by m2/dev
initial object F62RA25R32
| URI | m2://inv/F62RA25R32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10535634, initial object (definition). Also MathWorld InitialObject, nLab initial object, ProofWiki Definition:Initial_Object
History
- 2026-10-26: add by m2/dev
Weyl lines and the Green kernel F62WY2DHZK
| URI | m2://inv/F62WY2DHZK |
|---|---|
| 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.29147#ZPDI, Weyl lines and the Green kernel (statement)
History
- 2026-11-01: add by m2/v0.6.15
F632RGPXBK F632RGPXBK
| URI | m2://inv/F632RGPXBK |
|---|---|
| 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 2508.01642#JYBQ (statement). In CD9T8ZFES1/e1, theorem 2.2.1
History
- 2026-10-27: add by m2/v0.3.6
Sphere-sphere intersection F636YBMHZF
| URI | m2://inv/F636YBMHZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection (geometry)#7XLT, Sphere-sphere intersection (unknown)
History
- 2026-11-02: add by m2/dev
F63AJCA9PH F63AJCA9PH
| URI | m2://inv/F63AJCA9PH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#6SPF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lindsey–Fox algorithm F63FRNXN0H
| URI | m2://inv/F63FRNXN0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#OCYD, Lindsey–Fox algorithm (definition)
History
- 2026-11-02: add by m2/dev
Modewise-ancilla process shadow F63GR7DC08
| URI | m2://inv/F63GR7DC08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#RGA7, Modewise-ancilla process shadow (statement). In N06J7GC05Q/e1, proposition D.2
History
- 2026-10-30: add by m2/v0.4.12
F63P5DYNME F63P5DYNME
| URI | m2://inv/F63P5DYNME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#H301 (statement). In 7XV6T4N79V/e1, lemma B.6
History
- 2026-10-29: add by m2/v0.4.10
RSA-470 F63PHPSY94
| URI | m2://inv/F63PHPSY94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#P1KL, RSA-470 (unknown)
History
- 2026-11-02: add by m2/dev
Invariant-measure dichotomy F63TYVTHGX
| URI | m2://inv/F63TYVTHGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#G9ZH, Invariant-measure dichotomy (statement). In YCRZC9SDCE/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism F63WW7YG7Z
| URI | m2://inv/F63WW7YG7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism, An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism (definition). Also Wikidata Q4749929
History
- 2026-11-02: add by m2/dev
F63ZQ4QYPA F63ZQ4QYPA
| URI | m2://inv/F63ZQ4QYPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24030#PO7D (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fisher equation F6494ZX64V
| URI | m2://inv/F6494ZX64V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher equation, Fisher equation (definition). Also Wikidata Q1153200
History
- 2026-11-02: add by m2/dev
Transfer of reflection F649PDPQP0
| URI | m2://inv/F649PDPQP0 |
|---|---|
| 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.18180#OR8H, Transfer of reflection (statement). In NJGS7D1EPH/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
F64BBZ50RS F64BBZ50RS
| URI | m2://inv/F64BBZ50RS |
|---|---|
| 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.03579#0N4F (statement). In PZQ3D6A9J0/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Whitfield Diffie F64NH1C5KQ
| URI | m2://inv/F64NH1C5KQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#00DV, Whitfield Diffie (topic)
History
- 2026-11-02: add by m2/dev
Stepwise regression F64QDDKYBV
| URI | m2://inv/F64QDDKYBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4K3Y, Stepwise regression (definition)
History
- 2026-11-02: add by m2/dev
F64TM1BTV9 F64TM1BTV9
| URI | m2://inv/F64TM1BTV9 |
|---|---|
| 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 2105.08875#0F59 (statement). In QT8HPDAYPX/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Examples F64X5RVCVV
| URI | m2://inv/F64X5RVCVV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betweenness problem#QR14, Examples (example)
History
- 2026-11-02: add by m2/dev
F64Y8VXHC7 F64Y8VXHC7
| URI | m2://inv/F64Y8VXHC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28357#MPUW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition F64ZTJAM7R
| URI | m2://inv/F64ZTJAM7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinski dodecahedron#PHRB, Definition (definition)
History
- 2026-11-02: add by m2/dev
F6591JC1D2 F6591JC1D2
| URI | m2://inv/F6591JC1D2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#ex_genfunction_ineq-clean (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
Self-consistent mean field F65AZYBXHN
| URI | m2://inv/F65AZYBXHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-consistent mean field (biology), Self-consistent mean field (definition). Also Wikidata Q7448041
History
- 2026-11-02: add by m2/dev
Unbounded gaps in infinite global dimension F65MHWYQ0B
| URI | m2://inv/F65MHWYQ0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#X5R2, Unbounded gaps in infinite global dimension (statement). In 4DJE72VPJP/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
covariant derivatives F65SRBQ66W
| URI | m2://inv/F65SRBQ66W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > covariant derivatives, covariant derivatives (unknown). Also Mathlib CovariantDerivative
History
- 2026-10-26: add by m2/dev
No quadratic improvement at any stopping time F65VC7PV3A
| URI | m2://inv/F65VC7PV3A |
|---|---|
| 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.09044#YBXK, No quadratic improvement at any stopping time (statement). In 4KYENHR0J8/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Heavy-Traffic Conditions F65ZV27RZN
| URI | m2://inv/F65ZV27RZN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12716#7IVT, Heavy-Traffic Conditions (definition). In M6BCSQSM3R/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
F661RXQFSG F661RXQFSG
| URI | m2://inv/F661RXQFSG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#theorem-1 (statement). In Y91XFCEVHQ, theorem, section 5.3.1
History
- 2026-11-01: add by m2/v0.6.13
F66835PE5R F66835PE5R
| URI | m2://inv/F66835PE5R |
|---|---|
| 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 2403.15255#9YXK (statement). In G691MXMYW0/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.0
Schouten tensor F668WADNXV
| URI | m2://inv/F668WADNXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schouten tensor, Schouten tensor (definition). Also Wikidata Q4454676
History
- 2026-11-02: add by m2/dev
Lorentz manifold F66DVEEKK8
| URI | m2://inv/F66DVEEKK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Riemannian manifold#9O1S, Lorentz manifold (unknown)
History
- 2026-11-02: add by m2/dev
F66FZHJ6XB F66FZHJ6XB
| URI | m2://inv/F66FZHJ6XB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-2.xml#thm-rref-is-unique (statement). In 649HGZKE96, theorem, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Muhlenberg College F66Q4FJDVS
| URI | m2://inv/F66Q4FJDVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muhlenberg College, Muhlenberg College (definition). Also Wikidata Q1951942
History
- 2026-11-02: add by m2/dev
Gauss–Laguerre quadrature F66QKDD423
| URI | m2://inv/F66QKDD423 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Laguerre quadrature, Gauss–Laguerre quadrature (definition). Also Wikidata Q4218412
History
- 2026-11-02: add by m2/dev
F66W1HRPT5 F66W1HRPT5
| URI | m2://inv/F66W1HRPT5 |
|---|---|
| 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.07040#GGWT (definition). In KMNXNW7FHP/e1, definition A.1
History
- 2026-10-29: add by m2/v0.4.10
F66XBX1MSQ F66XBX1MSQ
| URI | m2://inv/F66XBX1MSQ |
|---|---|
| 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#IICG (definition)
History
- 2026-11-01: add by m2/v0.6.15
F6732DX5D0 F6732DX5D0
| URI | m2://inv/F6732DX5D0 |
|---|---|
| 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 2401.14638#DM12 (statement). In 2XC2MZFWPP/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Nek5000 F6754KGS76
| URI | m2://inv/F6754KGS76 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#S75D, Nek5000 (unknown)
History
- 2026-11-02: add by m2/dev
Geometric and weighted semigroup assumptions F677RFCFTB
| URI | m2://inv/F677RFCFTB |
|---|---|
| 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#0E27, Geometric and weighted semigroup assumptions (statement). In A5YJDDM0NX/e1, lemma A.10
History
- 2026-10-29: add by m2/v0.4.10
F67AJADQ6R F67AJADQ6R
| URI | m2://inv/F67AJADQ6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23119#IF0B (statement)
History
- 2026-11-02: add by m2/v0.6.17
F67B4W8KZX F67B4W8KZX
| URI | m2://inv/F67B4W8KZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.06555#IUFL (statement). In 5GDDS20Q3D/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
F67GXHFDMY F67GXHFDMY
| URI | m2://inv/F67GXHFDMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#wellordnotinitial (statement). In PKGMM3P5QY, lem, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Second moment and solution-space geometry F67JDFZN3S
| URI | m2://inv/F67JDFZN3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#7APG, Second moment and solution-space geometry (statement). In T8F19ZGHF3/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
F67KPCEYZ9 F67KPCEYZ9
| URI | m2://inv/F67KPCEYZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#7S32 (statement). In ZQ4M778EA7/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
F67WSXYH3E F67WSXYH3E
| URI | m2://inv/F67WSXYH3E |
|---|---|
| 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 alg-geom/9506022#S8W7 (statement). In AQGEM4XAKD/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
F67XH6A1AZ F67XH6A1AZ
| URI | m2://inv/F67XH6A1AZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-13 (example). In RZP28ERRZV, example, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Functions on $\SOthree$ as tuples of spin fields F67Z0FESFD
| URI | m2://inv/F67Z0FESFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13892#LL21, Functions on $\SOthree$ as tuples of spin fields (statement). In HV9KKEBBDD/e1, corollary IV.12
History
- 2026-10-28: add by m2/v0.4.2
Jacques Deruyts F6817TDX8W
| URI | m2://inv/F6817TDX8W |
|---|---|
| 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#FWFE, Jacques Deruyts (topic)
History
- 2026-11-02: add by m2/dev
Border rank F683N93DBC
| URI | m2://inv/F683N93DBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor rank decomposition#D3V5, Border rank (unknown)
History
- 2026-11-02: add by m2/dev
$L^1$ consistency F68BJSGTMZ
| URI | m2://inv/F68BJSGTMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15974#B93W, $L^1$ consistency (statement). In 61ZHQ7BTKP/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
F68E7R86PN F68E7R86PN
| URI | m2://inv/F68E7R86PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#D0T8 (statement). In YYV9SHAPCZ/e1, lemma 2.11
History
- 2026-10-30: add by m2/v0.4.12
Generalization F68K0Q67DN
| URI | m2://inv/F68K0Q67DN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal ideal#2BGG, Generalization (statement)
History
- 2026-11-02: add by m2/dev
a priori estimate F68P5PC2W3
| URI | m2://inv/F68P5PC2W3 |
|---|---|
| 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.22413#3PBT, a priori estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
F68PA5K268 F68PA5K268
| URI | m2://inv/F68PA5K268 |
|---|---|
| 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.06458#AAHN (statement). In 4X93XG8NMD/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Tree size of recursive binary splits F68TC62MGV
| URI | m2://inv/F68TC62MGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#IB76, Tree size of recursive binary splits (statement). In TCQ1JBR84Y/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Terminology F68YW7RT9H
| URI | m2://inv/F68YW7RT9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia True-range multilateration#BYFZ, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Noetherian induction F69035T026
| URI | m2://inv/F69035T026 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emmy Noether#RSOQ, Noetherian induction (definition)
History
- 2026-11-02: add by m2/dev
F690MZCDY0 F690MZCDY0
| URI | m2://inv/F690MZCDY0 |
|---|---|
| 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.25912#CSPJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Haruo Murakami F691EC5T3Q
| URI | m2://inv/F691EC5T3Q |
|---|---|
| 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#Q3RI, Haruo Murakami (unknown)
History
- 2026-11-02: add by m2/dev
Finite termination of exact MPA F694QEG06W
| URI | m2://inv/F694QEG06W |
|---|---|
| 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.31363#3NKU, Finite termination of exact MPA (statement). In XB8NYRD86J/e1, theorem D.1
History
- 2026-10-31: add by m2/v0.5.6
F69605DQJ9 F69605DQJ9
| URI | m2://inv/F69605DQJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#A0GE (statement). In X38P26DK6S/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Examples F699PR4X1N
| URI | m2://inv/F699PR4X1N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100 prisoners problem#BC8Q, Examples (example)
History
- 2026-11-02: add by m2/dev
F69HVAHC09 F69HVAHC09
| URI | m2://inv/F69HVAHC09 |
|---|---|
| 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#XNAH (statement). In SFNYZXKBNW/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
fallacy of composition F69NRS79XS
| URI | m2://inv/F69NRS79XS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HCJ5, fallacy of composition (definition)
History
- 2026-11-02: add by m2/dev
F69V4Z1R8Y F69V4Z1R8Y
| URI | m2://inv/F69V4Z1R8Y |
|---|---|
| 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 2609.37815#JROL (statement). In SVJYA0171G/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
F69VSDN6B8 F69VSDN6B8
| URI | m2://inv/F69VSDN6B8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.09176#S7T1 (statement). In BANPR56FBR/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
F6A420GDCT F6A420GDCT
| URI | m2://inv/F6A420GDCT |
|---|---|
| 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.20702#TDWM (statement)
History
- 2026-11-02: add by m2/v0.6.18
F6A4F9T35V F6A4F9T35V
| URI | m2://inv/F6A4F9T35V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#H5UQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
F6AAK20VQB F6AAK20VQB
| URI | m2://inv/F6AAK20VQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#QI8C (statement). In MFCW5CY96C/e1, lemma 48
History
- 2026-10-28: add by m2/v0.4.2
Birth Multiset F6AAQDKRJY
| URI | m2://inv/F6AAQDKRJY |
|---|---|
| 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 2610.00019#E21B, Birth Multiset (definition). In VJ09B3HRHQ/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
F6AB0FF824 F6AB0FF824
| URI | m2://inv/F6AB0FF824 |
|---|---|
| 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.00144#EFYT (statement). In HAZGBX88B3/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Ext functor F6AGPS6ZK0
| URI | m2://inv/F6AGPS6ZK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#WXF0, Ext functor (definition)
History
- 2026-11-02: add by m2/dev
F6ASV6WZB4 F6ASV6WZB4
| URI | m2://inv/F6ASV6WZB4 |
|---|---|
| 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.19959#F3OQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
728 (number) F6AY2233V4
| URI | m2://inv/F6AY2233V4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#3V61, 728 (number) (unknown)
History
- 2026-11-02: add by m2/dev
F6AYYS50NZ F6AYYS50NZ
| URI | m2://inv/F6AYYS50NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#UFWD (statement)
History
- 2026-11-02: add by m2/v0.6.18
degree F6B3MSQWDW
| URI | m2://inv/F6B3MSQWDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#CD2T, degree (definition)
History
- 2026-11-02: add by m2/dev
Definitions F6B638ZHTD
| URI | m2://inv/F6B638ZHTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gene–environment interaction#Q91U, Definitions (definition)
History
- 2026-11-02: add by m2/dev
F6B75MBYWM F6B75MBYWM
| URI | m2://inv/F6B75MBYWM |
|---|---|
| Kind | definition |
| 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.20588#E47C (definition)
History
- 2026-11-02: add by m2/v0.6.18
Memory bound under residual open dynamics F6B8A6ZBHQ
| URI | m2://inv/F6B8A6ZBHQ |
|---|---|
| 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.40281#QFSP, Memory bound under residual open dynamics (statement). In C8V8XGDKDF/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Examples F6B8B7ZY8M
| URI | m2://inv/F6B8B7ZY8M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal embedding#P41V, Examples (example)
History
- 2026-11-02: add by m2/dev
F6BEMDEC6E F6BEMDEC6E
| URI | m2://inv/F6BEMDEC6E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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.09333#V5C8 (definition). In Z9HC1EDTQP/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
F6BHXP2CYQ F6BHXP2CYQ
| URI | m2://inv/F6BHXP2CYQ |
|---|---|
| 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.37865#Z08Y (statement). In 1ADMH800X0/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Rotations and reflections in two dimensions F6C3PWSNM7
| URI | m2://inv/F6C3PWSNM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotations and reflections in two dimensions, Rotations and reflections in two dimensions (definition). Also Wikidata Q17005838
History
- 2026-11-02: add by m2/dev
Śārṅgadeva F6C3ZA429W
| URI | m2://inv/F6C3ZA429W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#SNWB, Śārṅgadeva (unknown)
History
- 2026-11-02: add by m2/dev
Neural-operator approximation F6CAJCDEPM
| URI | m2://inv/F6CAJCDEPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.08764#J4G3, Neural-operator approximation (statement). In QVFHS1C9BW/e1, theorem \thethrm
History
- 2026-10-29: add by m2/v0.4.10
F6CMTV1BZM F6CMTV1BZM
| URI | m2://inv/F6CMTV1BZM |
|---|---|
| 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 2212.01916#4IR8 (example). In XTGB5Z08YH/e1, example 3.6
History
- 2026-10-27: add by m2/v0.4.0
Hilbert curve F6CMYAF506
| URI | m2://inv/F6CMYAF506 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JY3R, Hilbert curve (unknown)
History
- 2026-11-02: add by m2/dev
F6CN7G12N2 F6CN7G12N2
| URI | m2://inv/F6CN7G12N2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03477#A7T1 (problem). In GXN3D4G4HE/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.12
Nicholas Metropolis F6CNCQ0KK6
| URI | m2://inv/F6CNCQ0KK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#IF4V, Nicholas Metropolis (unknown)
History
- 2026-11-02: add by m2/dev
Brahmagupta's identity F6CW2BB9S7
| URI | m2://inv/F6CW2BB9S7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta polynomials#M65D, Brahmagupta's identity (statement)
History
- 2026-11-02: add by m2/dev
Reentrance near the triple point F6CYMCCC37
| URI | m2://inv/F6CYMCCC37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#IG24, Reentrance near the triple point (statement). In P3RTT99C41/e1, theorem 7.5
History
- 2026-10-30: add by m2/v0.4.12
Nagambal Shah F6D0BWBWGX
| URI | m2://inv/F6D0BWBWGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nagambal Shah, Nagambal Shah (topic). Also Wikidata Q96470307
History
- 2026-11-02: add by m2/dev
one-boundary-path identity F6D479N7GM
| URI | m2://inv/F6D479N7GM |
|---|---|
| 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.16715#PFG6, one-boundary-path identity (statement). In RA1Z6BV25A/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Deterministic resolvent F6D53P2W4S
| URI | m2://inv/F6D53P2W4S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09044#81AR, Deterministic resolvent (definition). In 4KYENHR0J8/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Forrest Hamilton Murray F6DG477DQS
| URI | m2://inv/F6DG477DQS |
|---|---|
| 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#838S, Forrest Hamilton Murray (unknown)
History
- 2026-11-02: add by m2/dev
F6DGTSQXGQ F6DGTSQXGQ
| URI | m2://inv/F6DGTSQXGQ |
|---|---|
| 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.15257#A9DX (statement). In 2R95BYW2V7/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
A F6DX5ANJS1
| URI | m2://inv/F6DX5ANJS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#0TGZ, A (definition)
History
- 2026-11-02: add by m2/dev
F6DZ5KZQSX F6DZ5KZQSX
| URI | m2://inv/F6DZ5KZQSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#IU4A (statement). In 5RE15848Z0/e1, proposition 1.4
History
- 2026-10-27: add by m2/v0.3.5
Argument from incredulity F6E815RC76
| URI | m2://inv/F6E815RC76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#7FLQ, Argument from incredulity (definition)
History
- 2026-11-02: add by m2/dev
\thmref{thm:duality F6EB7QG7DE
| URI | m2://inv/F6EB7QG7DE |
|---|---|
| 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.30018#7BGR, \thmref{thm:duality (statement)
History
- 2026-11-01: add by m2/v0.6.15
F6EEM105KW F6EEM105KW
| URI | m2://inv/F6EEM105KW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#P1HN (definition). In WJD9YPGGYH/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Darboux theorem for symplectic structures F6EXQCF7TE
| URI | m2://inv/F6EXQCF7TE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moser's trick#19X2, Darboux theorem for symplectic structures (statement)
History
- 2026-11-02: add by m2/dev
F6F6E1NZQ2 F6F6E1NZQ2
| URI | m2://inv/F6F6E1NZQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#R6SK (statement). In 9YTGFNA004/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Quantum walk F6F85NG7N4
| URI | m2://inv/F6F85NG7N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#L55E, Quantum walk (definition)
History
- 2026-11-02: add by m2/dev
Lower-barrier audit-relative Newman candidate F6FD25G84Q
| URI | m2://inv/F6FD25G84Q |
|---|---|
| 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.37164#TE09, Lower-barrier audit-relative Newman candidate (statement). In B2PG75FSQJ/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
F6FDSRX9G1 F6FDSRX9G1
| URI | m2://inv/F6FDSRX9G1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#NIKM (statement). In H4CM84JVPC/e1, corollary 5.6
History
- 2026-10-27: add by m2/v0.3.5
F6FEDD4DKD F6FEDD4DKD
| URI | m2://inv/F6FEDD4DKD |
|---|---|
| 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 2511.08099#KQ83 (statement). In 5NK801XBGA/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Motive F6FF9BG9Z9
| URI | m2://inv/F6FF9BG9Z9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motive (algebraic geometry), Motive (definition). Also Wikidata Q840594
History
- 2026-11-02: add by m2/dev
opposite category F6FHHGCFXR
| URI | m2://inv/F6FHHGCFXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Opposite category DAMK8XE1FR |
Mentions
- wikidata: Wikidata Q7098616, opposite category (definition). Also nLab opposite category, ProofWiki Definition:Dual_Category
- wikipedia: Wikipedia Opposite category, Opposite category (definition). Also Wikidata Q7098616
History
- 2026-10-26: add by m2/dev
decimal digit F6FJJPF5GD
| URI | m2://inv/F6FJJPF5GD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.5/decimal-digit, decimal digit (concept). In E59CDZA4DP, index, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
F6FVB194P9 F6FVB194P9
| URI | m2://inv/F6FVB194P9 |
|---|---|
| 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.29943#3LXV (statement)
History
- 2026-11-01: add by m2/v0.6.15
F6G065MXTF F6G065MXTF
| URI | m2://inv/F6G065MXTF |
|---|---|
| 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.20480#H001 (statement). In BK4359JSC3/e1, corollary 6.8
History
- 2026-10-27: add by m2/v0.4.2
Mishmar HaShlosha F6G0BTGGNF
| URI | m2://inv/F6G0BTGGNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3PKU, Mishmar HaShlosha (unknown)
History
- 2026-11-02: add by m2/dev
Results F6G0MV7TBS
| URI | m2://inv/F6G0MV7TBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prandtl–Glauert transformation#0J6S, Results (statement)
History
- 2026-11-02: add by m2/dev
F6G8FNNKNQ F6G8FNNKNQ
| URI | m2://inv/F6G8FNNKNQ |
|---|---|
| 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.18358#I8YE (statement). In SPZ446XNDW/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Examples F6GFBJJEGG
| URI | m2://inv/F6GFBJJEGG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leximin order#E997, Examples (example)
History
- 2026-11-02: add by m2/dev
F6GPS1REFM F6GPS1REFM
| URI | m2://inv/F6GPS1REFM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/refproofs.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 73.11
History
- 2026-11-01: add by m2/v0.6.13
Karl Eduard Zetzsche F6GZHA36KW
| URI | m2://inv/F6GZHA36KW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#0E7D, Karl Eduard Zetzsche (unknown)
History
- 2026-11-02: add by m2/dev
F6H1JK3M5W F6H1JK3M5W
| URI | m2://inv/F6H1JK3M5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13505#S0OT (definition). In 6Z1DDCYCQ8/e1, definition 5
History
- 2026-10-28: add by m2/v0.4.2
F6HFHRRF39 F6HFHRRF39
| URI | m2://inv/F6HFHRRF39 |
|---|---|
| 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.37410#02AE (statement). In NX7D3FFFKM/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
F6HPN9ZBBF F6HPN9ZBBF
| URI | m2://inv/F6HPN9ZBBF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-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 2504.07573#WOVN (example). In 78X5SKJX8J/e1, example A.2
History
- 2026-10-27: add by m2/v0.3.5
Noncommutative topology F6HRG7GXT6
| URI | m2://inv/F6HRG7GXT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#F8JH, Noncommutative topology (definition)
History
- 2026-11-02: add by m2/dev
F6JE87VZHS F6JE87VZHS
| URI | m2://inv/F6JE87VZHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#5Q63 (statement). In Z5SP3NW41S/e1, fact 4.2
History
- 2026-10-30: add by m2/v0.4.12
The hypothetical extraspecial group is pinned down F6K5ZGEGVY
| URI | m2://inv/F6K5ZGEGVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#P7YF, The hypothetical extraspecial group is pinned down (statement). In QPJ6FWG5HD/e1, proposition 2.51
History
- 2026-10-29: add by m2/v0.4.12
differential ideal F6K8JCJZPB
| URI | m2://inv/F6K8JCJZPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5275350, differential ideal (unknown). Also MathWorld DifferentialIdeal, nLab differential ideal
- wikipedia: Wikipedia Differential ideal, Differential ideal (definition). Also Wikidata Q5275350
History
- 2026-10-26: add by m2/dev
Schlicht function F6KBBZ2Y3D
| URI | m2://inv/F6KBBZ2Y3D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Branges's theorem#HXJN, Schlicht function (unknown)
History
- 2026-11-02: add by m2/dev
Truncated 7-orthoplexes F6KBC0JXZH
| URI | m2://inv/F6KBC0JXZH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 7-orthoplexes, Truncated 7-orthoplexes (object). Also Wikidata Q7847867
History
- 2026-11-02: add by m2/dev
Compound of five small rhombicuboctahedra F6KPSY7MN1
| URI | m2://inv/F6KPSY7MN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9X4U, Compound of five small rhombicuboctahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3NT2, Compound of five small rhombicuboctahedra (definition)
History
- 2026-11-02: add by m2/dev
Bing metrization theorem F6KTQFYTPS
| URI | m2://inv/F6KTQFYTPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BWFN, Bing metrization theorem (statement)
History
- 2026-11-02: add by m2/dev
F6KVC7NRC0 F6KVC7NRC0
| URI | m2://inv/F6KVC7NRC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21260#K08V (statement). In Z7WW536KA5/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
Hypoexponential distribution F6M356895X
| URI | m2://inv/F6M356895X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V6HG, Hypoexponential distribution (definition)
History
- 2026-11-02: add by m2/dev
F6M427TTKE F6M427TTKE
| URI | m2://inv/F6M427TTKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#JLXF (statement). In 5DFTVG7FFF/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Definition F6MBEEYSCG
| URI | m2://inv/F6MBEEYSCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-algebra#D3SV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition F6ME00XAC8
| URI | m2://inv/F6ME00XAC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canadian traveller problem#VHDP, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Characterizations F6MFYT0ZTS
| URI | m2://inv/F6MFYT0ZTS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching (graph theory)#M9M9, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Dihedral quasipolarities F6MGJHJE5G
| URI | m2://inv/F6MGJHJE5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02806#TXTR, Dihedral quasipolarities (statement). In F4A354Y5NC/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
F6MRPHYMGB F6MRPHYMGB
| URI | m2://inv/F6MRPHYMGB |
|---|---|
| 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.03449#6LV9 (statement). In 3XM05SYQ8D/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.12
F6MVSB3JX7 F6MVSB3JX7
| URI | m2://inv/F6MVSB3JX7 |
|---|---|
| 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 2506.07061#PLHR (definition). In G2PA4KAGRP/e1, definition 5.10
History
- 2026-10-27: add by m2/v0.3.6
F6MWS2YZ7R F6MWS2YZ7R
| URI | m2://inv/F6MWS2YZ7R |
|---|---|
| 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.24584#30JE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Norm representatives for the twist coefficient F6N41Q1YS1
| URI | m2://inv/F6N41Q1YS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#2KY6, Norm representatives for the twist coefficient (statement). In 7NS75J7HAM/e1, lemma 7.8
History
- 2026-10-31: add by m2/v0.5.6
F6N47R9G4X F6N47R9G4X
| URI | m2://inv/F6N47R9G4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#Y101 (statement). In MVXZWHKEX8/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
F6N4HDE7QB F6N4HDE7QB
| URI | m2://inv/F6N4HDE7QB |
|---|---|
| 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 2510.23812#9I10 (statement). In D8XZBXJPR5/e1, corollary 3.12
History
- 2026-10-27: add by m2/v0.3.5
Examples F6N59YSWYG
| URI | m2://inv/F6N59YSWYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring homomorphism#7ULS, Examples (example)
History
- 2026-11-02: add by m2/dev
diminished rhombicosidodecahedron F6NDKWMGG7
| URI | m2://inv/F6NDKWMGG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1710188, diminished rhombicosidodecahedron (object). Also MathWorld DiminishedRhombicosidodecahedron
- wikipedia: Wikipedia Diminished rhombicosidodecahedron, Diminished rhombicosidodecahedron (definition). Also Wikidata Q1710188
History
- 2026-10-26: add by m2/dev
F6NEBVGX68 F6NEBVGX68
| URI | m2://inv/F6NEBVGX68 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0905.1489#66NQ (definition). In MZ18CTV65N/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Tom Hutchcroft F6NHZQ2C2P
| URI | m2://inv/F6NHZQ2C2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom Hutchcroft, Tom Hutchcroft (topic). Also Wikidata Q102924240
History
- 2026-11-02: add by m2/dev
Mikhail V. Borovoi F6NVK3MNVQ
| URI | m2://inv/F6NVK3MNVQ |
|---|---|
| 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#6ZSW, Mikhail V. Borovoi (unknown)
History
- 2026-11-02: add by m2/dev
Further examples F6NWV9SD69
| URI | m2://inv/F6NWV9SD69 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stars and bars (combinatorics)#EC17, Further examples (example)
History
- 2026-11-02: add by m2/dev
unit distance graph F6NY4NW54G
| URI | m2://inv/F6NY4NW54G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q745378, unit distance graph (unknown). Also MathWorld Unit-DistanceGraph
- wikipedia: Wikipedia Unit distance graph, Unit distance graph (definition). Also Wikidata Q745378
History
- 2026-10-26: add by m2/dev
F6NZJF5ZFQ F6NZJF5ZFQ
| URI | m2://inv/F6NZJF5ZFQ |
|---|---|
| Kind | example |
| 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 2312.06581#ESC5 (example). In WXJ2V3HA2R/e1, example D.3
History
- 2026-10-27: add by m2/v0.3.5
Definition F6P0VM920G
| URI | m2://inv/F6P0VM920G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curvature of a measure#AUI5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples F6P98DEDX5
| URI | m2://inv/F6P98DEDX5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular open set#0P1Z, Examples (example)
History
- 2026-11-02: add by m2/dev
The choiceless Solovay model F6PBH8WKZE
| URI | m2://inv/F6PBH8WKZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#JLMN, The choiceless Solovay model (statement). In TTNKABAYVB/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
F6PK2VMNTA F6PK2VMNTA
| URI | m2://inv/F6PK2VMNTA |
|---|---|
| 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 2609.23526#42MQ (definition)
History
- 2026-11-02: add by m2/v0.6.17
Specialization to Function-Field Height F6PWTGR992
| URI | m2://inv/F6PWTGR992 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#7G6I, Specialization to Function-Field Height (statement). In RPC7VG3KHQ/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Haya Freedman F6Q0QBER1X
| URI | m2://inv/F6Q0QBER1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haya Freedman, Haya Freedman (topic). Also Wikidata Q53835417
History
- 2026-11-02: add by m2/dev
Definition and examples F6Q5ZB9P86
| URI | m2://inv/F6Q5ZB9P86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling polynomials#KD5P, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
affine transformation F6QD4K3CDS
| URI | m2://inv/F6QD4K3CDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#LI9L, affine transformation (definition)
History
- 2026-11-02: add by m2/dev
Theorem F6QETGX3QD
| URI | m2://inv/F6QETGX3QD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#6AYW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Doob–Meyer decomposition theorem F6QFRBG16M
| URI | m2://inv/F6QFRBG16M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BYIQ, Doob–Meyer decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
F6QJD19J6G F6QJD19J6G
| URI | m2://inv/F6QJD19J6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#GWOE (statement). In KJY735KSMF/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
Kazimierz Gaca F6QKSGRFT2
| URI | m2://inv/F6QKSGRFT2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazimierz Gaca, Kazimierz Gaca (topic). Also Wikidata Q63302232
History
- 2026-11-02: add by m2/dev
F6QN8JSCJJ F6QN8JSCJJ
| URI | m2://inv/F6QN8JSCJJ |
|---|---|
| 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.12908#FOVM (statement). In TNC658NVMQ/e1, theorem 8.5
History
- 2026-10-28: add by m2/v0.4.2
F6QP5E7255 F6QP5E7255
| URI | m2://inv/F6QP5E7255 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#Y39A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example F6QRXHPFYG
| URI | m2://inv/F6QRXHPFYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Many-sorted logic#DP82, Example (example)
History
- 2026-11-02: add by m2/dev
Paul McNicholas F6QWG8R5AY
| URI | m2://inv/F6QWG8R5AY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul McNicholas (statistician), Paul McNicholas (topic). Also Wikidata Q51762680
History
- 2026-11-02: add by m2/dev
Antieigenvalue theory F6R2FX95HM
| URI | m2://inv/F6R2FX95HM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antieigenvalue theory, Antieigenvalue theory (definition). Also Wikidata Q4774702
History
- 2026-11-02: add by m2/dev
Controlling for a variable F6R3HWCZWS
| URI | m2://inv/F6R3HWCZWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K23D, Controlling for a variable (definition)
History
- 2026-11-02: add by m2/dev
History of floating-point arithmetic F6RB9772ZR
| URI | m2://inv/F6RB9772ZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floating-point arithmetic#ROEO, History of floating-point arithmetic (unknown)
History
- 2026-11-02: add by m2/dev
F6RCM0JZEP F6RCM0JZEP
| URI | m2://inv/F6RCM0JZEP |
|---|---|
| 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.23424#5PXC (statement)
History
- 2026-11-02: add by m2/v0.6.17
F6RD3HZ72X F6RD3HZ72X
| URI | m2://inv/F6RD3HZ72X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#9RT3 (example). In ZPT9XCCAPQ/e1, example 2.1.2
History
- 2026-10-31: add by m2/v0.5.6
F6REWJS7EW F6REWJS7EW
| URI | m2://inv/F6REWJS7EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.17135#4KWN (statement). In XX1J2REXY2/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Division point F6RR4J9T29
| URI | m2://inv/F6RR4J9T29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion (algebra)#LPDV, Division point (unknown)
History
- 2026-11-02: add by m2/dev
F6RRHSSTXF F6RRHSSTXF
| URI | m2://inv/F6RRHSSTXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33953#0U8J (statement). In QS8R9BEJ8N/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
F6RWB5W7FP F6RWB5W7FP
| URI | m2://inv/F6RWB5W7FP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-4.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
F6RX9X6VGQ F6RX9X6VGQ
| URI | m2://inv/F6RX9X6VGQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-35 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
Order-4 hexagonal tiling F6S2PYNPZW
| URI | m2://inv/F6S2PYNPZW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 hexagonal tiling, Order-4 hexagonal tiling (object). Also Wikidata Q7100398
History
- 2026-11-02: add by m2/dev
Corollary F6S478G7CF
| URI | m2://inv/F6S478G7CF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Ambrose–Hicks theorem#4BHN, Corollary (statement)
History
- 2026-11-02: add by m2/dev
compound of three tetrahedra F6S7V61ZAG
| URI | m2://inv/F6S7V61ZAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156895, compound of three tetrahedra (unknown). Also MathWorld Tetrahedron3-Compound
- wikipedia: Wikipedia Compound of three tetrahedra, Compound of three tetrahedra (definition). Also Wikidata Q5156895
History
- 2026-10-26: add by m2/dev
Formulation F6S9BZXTFR
| URI | m2://inv/F6S9BZXTFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's modularity conjecture#S4QY, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Algorithms F6S9E63E34
| URI | m2://inv/F6S9E63E34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CUR matrix approximation#JV3F, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
F6SHMCN0FT F6SHMCN0FT
| URI | m2://inv/F6SHMCN0FT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#example-6 (example). In RZP28ERRZV, example, section 58.5
History
- 2026-11-01: add by m2/v0.6.13
F6SM24X1XP F6SM24X1XP
| URI | m2://inv/F6SM24X1XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#BO38 (statement). In V42PPD7SWH/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
Definitions F6SNDCHS1G
| URI | m2://inv/F6SNDCHS1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductive Lie algebra#SQ84, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Lee-Jen Wei F6SPE7SNFA
| URI | m2://inv/F6SPE7SNFA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee-Jen Wei, Lee-Jen Wei (topic). Also Wikidata Q6512866
History
- 2026-11-02: add by m2/dev
F6SRBXXSK3 F6SRBXXSK3
| URI | m2://inv/F6SRBXXSK3 |
|---|---|
| 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 2504.00267#LUXC (statement). In 38XJWDZ2PH/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
Generalizations F6SVGHVMJC
| URI | m2://inv/F6SVGHVMJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein series#KRGK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
F6T808PTSX F6T808PTSX
| URI | m2://inv/F6T808PTSX |
|---|---|
| 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 2403.01959#C6GJ (statement). In 5YMNGJRC6Y/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
F6TB50PRP0 F6TB50PRP0
| URI | m2://inv/F6TB50PRP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#TWSU (statement). In RGXQ50RWXV/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
Rensis Likert F6TH1P00W5
| URI | m2://inv/F6TH1P00W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#7WK5, Rensis Likert (unknown)
History
- 2026-11-02: add by m2/dev
noetherian topological space F6TJTVVX0H
| URI | m2://inv/F6TJTVVX0H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Noetherian topological space 2VQX2E8EAH |
Mentions
- wikidata: Wikidata Q590554, noetherian topological space (concept). Also EoM Noetherian_space, nLab noetherian topological space
- wikipedia: Wikipedia Noetherian topological space, Noetherian topological space (definition). Also Wikidata Q590554
History
- 2026-10-26: add by m2/dev
Forecasting F6TSP27YR2
| URI | m2://inv/F6TSP27YR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forecasting, Forecasting (definition). Also Wikidata Q7216332
History
- 2026-11-02: add by m2/dev
F6TTE9X29S F6TTE9X29S
| URI | m2://inv/F6TTE9X29S |
|---|---|
| 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.23994#YRN6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Finite covers by Hermitian varieties F6TVZFWX9P
| URI | m2://inv/F6TVZFWX9P |
|---|---|
| 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.01731#9Y1W, Finite covers by Hermitian varieties (statement). In 3TJ2FWXQ0D/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.12
Partial differential algebraic equation F6TZQXYSG5
| URI | m2://inv/F6TZQXYSG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial differential algebraic equation, Partial differential algebraic equation (definition). Also Wikidata Q7140365
History
- 2026-11-02: add by m2/dev
Triangular grid Nash inequality F6V5718JSW
| URI | m2://inv/F6V5718JSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#0XMK, Triangular grid Nash inequality (statement). In NKW6YQ04QW/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Rees' theorem F6V5G6PCHX
| URI | m2://inv/F6V5G6PCHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rees matrix semigroup#C1M4, Rees' theorem (statement)
History
- 2026-11-02: add by m2/dev
F6V6DDMKYZ F6V6DDMKYZ
| URI | m2://inv/F6V6DDMKYZ |
|---|---|
| Kind | problem |
| 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.24065#BHUO (problem)
History
- 2026-11-02: add by m2/v0.6.17
F6VD1W2EMZ F6VD1W2EMZ
| URI | m2://inv/F6VD1W2EMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21536#SL19 (statement). In NBQK8HJSNY/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
F6VM4KA78B F6VM4KA78B
| URI | m2://inv/F6VM4KA78B |
|---|---|
| Kind | definition |
| 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#CPFU (definition)
History
- 2026-11-02: add by m2/v0.6.18
F6VPDV190F F6VPDV190F
| URI | m2://inv/F6VPDV190F |
|---|---|
| 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.18312#NLOK (statement). In NPEVE32HFP/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
Definitions F6VZ5SFJTY
| URI | m2://inv/F6VZ5SFJTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract simplicial complex#OIT5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Extensions F6W8KTGM7Q
| URI | m2://inv/F6W8KTGM7Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value analysis#D4QA, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Translations F6X3GY0GXM
| URI | m2://inv/F6X3GY0GXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#OJ49, Translations (statement). In KR7WXN4EWR/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
Lagrange−Sylvester interpolation F6X54AEJFY
| URI | m2://inv/F6X54AEJFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#H83M, Lagrange−Sylvester interpolation (statement)
History
- 2026-11-02: add by m2/dev
1. Axiom of extensionality F6XDEKVA12
| URI | m2://inv/F6XDEKVA12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann set theory#2TJA, 1. Axiom of extensionality (statement)
History
- 2026-11-02: add by m2/dev
F6XEHTHDCE F6XEHTHDCE
| URI | m2://inv/F6XEHTHDCE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#proof-1 (proof). In RZP28ERRZV, proof, section 18.4
History
- 2026-11-01: add by m2/v0.6.13
F6XNKXZFJN F6XNKXZFJN
| URI | m2://inv/F6XNKXZFJN |
|---|---|
| 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.10545#AU2I (statement). In ZA75D59G8K/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
F6XQWS9Y5Y F6XQWS9Y5Y
| URI | m2://inv/F6XQWS9Y5Y |
|---|---|
| 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.19453#C3VU (statement). In TX82YAVS5V/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Willmore conjecture F6XSQS9913
| URI | m2://inv/F6XSQS9913 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willmore conjecture, Willmore conjecture (statement). Also Wikidata Q17091514
History
- 2026-11-02: add by m2/dev
hyperboloid of revolution F6XWCQR6QG
| URI | m2://inv/F6XWCQR6QG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2168064, hyperboloid of revolution (unknown). Also MathWorld Hyperboloid
- wikidata: Wikidata Q505628, hyperboloid (unknown). Also MathWorld Hyperboloid
- wikipedia: Wikipedia Hyperboloid, Hyperboloid (definition). Also Wikidata Q505628
History
- 2026-10-26: add by m2/dev
Ptolemy F6XYDND0W1
| URI | m2://inv/F6XYDND0W1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#SGP3, Ptolemy (topic)
History
- 2026-11-02: add by m2/dev
Exponential or sub-exponential width decay F6Y9QA5JAD
| URI | m2://inv/F6Y9QA5JAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12017#17KJ, Exponential or sub-exponential width decay (statement). In WW04MP0NAZ/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.3
F6YFP17ZGM F6YFP17ZGM
| URI | m2://inv/F6YFP17ZGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15869#4THL (statement). In 5VRP29WZEK/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Random-access machine F6YJ3TVZXW
| URI | m2://inv/F6YJ3TVZXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random-access machine, Random-access machine (definition). Also Wikidata Q2565212
History
- 2026-11-02: add by m2/dev
Growth envelope F6Z1CM1BH0
| URI | m2://inv/F6Z1CM1BH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 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.09912#2YF3, Growth envelope (statement). In 65TJENWK7X/e1, lemma 32
History
- 2026-10-29: add by m2/v0.4.10
F6Z9MRWZ1S F6Z9MRWZ1S
| URI | m2://inv/F6Z9MRWZ1S |
|---|---|
| Kind | conjecture |
| 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.08052#TC0G (conjecture). In 672XAVEQ34/e1, conjecture 8.1
History
- 2026-10-29: add by m2/v0.4.10
F6ZKBZ5KHN F6ZKBZ5KHN
| URI | m2://inv/F6ZKBZ5KHN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#VM4O (example). In N3Z6JFEPCF/e1, example 3.8
History
- 2026-10-27: add by m2/v0.4.2
F6ZMF8P2BY F6ZMF8P2BY
| URI | m2://inv/F6ZMF8P2BY |
|---|---|
| Kind | definition |
| 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 1705.04310#UBII (definition). In MG51GG0QZN/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.3.5
Theodor Inama von Sternegg F6ZMTJ2XKT
| URI | m2://inv/F6ZMTJ2XKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodor Inama von Sternegg, Theodor Inama von Sternegg (topic). Also Wikidata Q84555
History
- 2026-11-02: add by m2/dev
F6ZS6J1SPY F6ZS6J1SPY
| URI | m2://inv/F6ZS6J1SPY |
|---|---|
| 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 2211.14214#902O (statement). In SY85Y9E45A/e1, proposition 38
History
- 2026-10-27: add by m2/v0.3.5
Groszek--Slaman F6ZZ2X3EQT
| URI | m2://inv/F6ZZ2X3EQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#UF9L, Groszek--Slaman (statement). In TTNKABAYVB/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2