Inventory rows 6D
The cards of the rows of the inventory whose ids start with 6D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ramer–Douglas–Peucker algorithm 6D0EEPSWHN
| URI | m2://inv/6D0EEPSWHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#2OO4, Ramer–Douglas–Peucker algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Central family near $\kappa_c$ 6D0HJHPYYR
| URI | m2://inv/6D0HJHPYYR |
|---|---|
| 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#TOQS, Central family near $\kappa_c$ (statement). In 65TJENWK7X/e1, theorem 54
History
- 2026-10-29: add by m2/v0.4.10
6D0NY4665N 6D0NY4665N
| URI | m2://inv/6D0NY4665N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#TCZC (statement). In VNE8N0D2FB/e1, lemma 4.9
History
- 2026-10-31: add by m2/v0.5.6
6D0VYEB2RR 6D0VYEB2RR
| URI | m2://inv/6D0VYEB2RR |
|---|---|
| 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.20077#70KT (statement). In W5XRKWDADE/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
6D109NKYEX 6D109NKYEX
| URI | m2://inv/6D109NKYEX |
|---|---|
| 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.22759#F9W0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
6D10A05RM6 6D10A05RM6
| URI | m2://inv/6D10A05RM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27320#X8NH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ivar Otto Bendixson 6D10QE7YFY
| URI | m2://inv/6D10QE7YFY |
|---|---|
| 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#4UHU, Ivar Otto Bendixson (unknown)
History
- 2026-11-02: add by m2/dev
6D12X73S9G 6D12X73S9G
| URI | m2://inv/6D12X73S9G |
|---|---|
| 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 1909.03896#SI4Y (statement). In CX9RVPQVBM/e1, theorem 21
History
- 2026-10-27: add by m2/v0.3.5
Application 6D182EDQYX
| URI | m2://inv/6D182EDQYX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of tangents#YNH0, Application (example)
History
- 2026-11-02: add by m2/dev
6D196VHP8C 6D196VHP8C
| URI | m2://inv/6D196VHP8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#8XXN (statement). In J7ZX3WWRQP/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Classical orthogonal polynomials 6D1AK3D00Q
| URI | m2://inv/6D1AK3D00Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#WONB, Classical orthogonal polynomials (definition)
History
- 2026-11-02: add by m2/dev
Structure mapping theory 6D1BP38SKT
| URI | m2://inv/6D1BP38SKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analogy#N726, Structure mapping theory (unknown)
History
- 2026-11-02: add by m2/dev
coherency 6D1DK0K208
| URI | m2://inv/6D1DK0K208 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#QDZQ, coherency (definition)
History
- 2026-11-02: add by m2/dev
Type-Class Cardinality 6D1EFZR6X8
| URI | m2://inv/6D1EFZR6X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09998#Z1Y1, Type-Class Cardinality (statement). In AFMB05H7A6/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.10
6D1W1BS6AF 6D1W1BS6AF
| URI | m2://inv/6D1W1BS6AF |
|---|---|
| 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.26813#Z9O1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 6D1WGY7PMX
| URI | m2://inv/6D1WGY7PMX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace class#JB87, Properties (statement)
History
- 2026-11-02: add by m2/dev
Operator energy of one round 6D1ZW3Q4DX
| URI | m2://inv/6D1ZW3Q4DX |
|---|---|
| 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.12641#MC4W, Operator energy of one round (statement). In X5BYGZZHPF/e1, lemma G.5
History
- 2026-10-28: add by m2/v0.4.2
Intermediate Math League of Eastern Massachusetts 6D21A4JNEM
| URI | m2://inv/6D21A4JNEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intermediate Math League of Eastern Massachusetts, Intermediate Math League of Eastern Massachusetts (definition). Also Wikidata Q6047330
History
- 2026-11-02: add by m2/dev
Cycle counts under low-rank resampling 6D25NWS3SE
| URI | m2://inv/6D25NWS3SE |
|---|---|
| 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#8JWU, Cycle counts under low-rank resampling (statement). In T8F19ZGHF3/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Formal definition 6D2BYMMXX6
| URI | m2://inv/6D2BYMMXX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi automaton#B3ZW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Fell bundles over groups 6D2CZJ2DGM
| URI | m2://inv/6D2CZJ2DGM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#1B7Y, Fell bundles over groups (example)
History
- 2026-11-01: add by m2/v0.6.15
6D2D8FWZJT 6D2D8FWZJT
| URI | m2://inv/6D2D8FWZJT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14803#06MD (definition). In VAEVDTBD3B/e1, definition 2.17
History
- 2026-10-28: add by m2/v0.4.2
Joaquín Bustoz Jr. 6D2FFXD1PH
| URI | m2://inv/6D2FFXD1PH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joaquín Bustoz Jr., Joaquín Bustoz Jr. (topic). Also Wikidata Q20807081
History
- 2026-11-02: add by m2/dev
Triangle 6D2GANV0DS
| URI | m2://inv/6D2GANV0DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#UJDV, Triangle (definition)
History
- 2026-11-02: add by m2/dev
6D2M8RMQJ2 6D2M8RMQJ2
| URI | m2://inv/6D2M8RMQJ2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-12 (exercise). In P1C114YBXG, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
6D2MM459VR 6D2MM459VR
| URI | m2://inv/6D2MM459VR |
|---|---|
| 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.08935#VL0S (statement). In G02N9D40B9/e1, proposition 1.2.4
History
- 2026-10-29: add by m2/v0.4.10
\emph{Principle of induction on !!{formula}s} 6D2XE2R7VS
| URI | m2://inv/6D2XE2R7VS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#thm:frmind, \emph{Principle of induction on !!{formula}s} (statement). In PKGMM3P5QY, lem, section 22.1
History
- 2026-11-01: add by m2/v0.6.13
Properties 6D316DWFSC
| URI | m2://inv/6D316DWFSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-stable group#AARI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Drilling theorem, Brock--Bromberg 6D33JFHDC2
| URI | m2://inv/6D33JFHDC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#UVN1, Drilling theorem, Brock--Bromberg (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dupin indicatrix 6D351EZEPJ
| URI | m2://inv/6D351EZEPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#Y4N6, Dupin indicatrix (definition)
History
- 2026-11-02: add by m2/dev
Formulation 6D3853Q794
| URI | m2://inv/6D3853Q794 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinors in three dimensions#9P4B, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Contact normalization 6D3AA1J19A
| URI | m2://inv/6D3AA1J19A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#HQMI, Contact normalization (statement). In 9YAE8FNQST/e1, lemma 9.4
History
- 2026-10-30: add by m2/v0.4.12
R.11 -- H4 is falsified 6D3ACHF3QY
| URI | m2://inv/6D3ACHF3QY |
|---|---|
| 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.25543#XZKS, R.11 -- H4 is falsified (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 6D3ACR6TF3
| URI | m2://inv/6D3ACR6TF3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associative magic square#AOYA, Examples (example)
History
- 2026-11-02: add by m2/dev
E naught 6D3E3BQHY5
| URI | m2://inv/6D3E3BQHY5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant mass#K816, E naught (unknown)
History
- 2026-11-02: add by m2/dev
Method 6D3F993GJW
| URI | m2://inv/6D3F993GJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized pencil-of-function method#PVVD, Method (definition)
History
- 2026-11-02: add by m2/dev
6D3J8G1EB9 6D3J8G1EB9
| URI | m2://inv/6D3J8G1EB9 |
|---|---|
| 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 math/0301148#7HA5 (example). In 5RE15848Z0/e1, example 0.3
History
- 2026-10-27: add by m2/v0.3.5
6D3M86ZXMJ 6D3M86ZXMJ
| URI | m2://inv/6D3M86ZXMJ |
|---|---|
| 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.21140#6O9G (definition)
History
- 2026-11-02: add by m2/v0.6.18
Locally constant sheaf 6D3N6Q21MV
| URI | m2://inv/6D3N6Q21MV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local system#ALC5, Locally constant sheaf (unknown)
History
- 2026-11-02: add by m2/dev
6D3NA5W957 6D3NA5W957
| URI | m2://inv/6D3NA5W957 |
|---|---|
| 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 2609.26262#NB3M (statement)
History
- 2026-11-01: add by m2/v0.6.15
6D3VNRDS72 6D3VNRDS72
| URI | m2://inv/6D3VNRDS72 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00584#QDA1 (example). In 3CRSR95BNA/e1, example 4.5
History
- 2026-10-30: add by m2/v0.4.12
Affine q-Krawtchouk polynomials 6D3VNXMEWE
| URI | m2://inv/6D3VNXMEWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine q-Krawtchouk polynomials, Affine q-Krawtchouk polynomials (definition). Also Wikidata Q4688947
History
- 2026-11-02: add by m2/dev
Bangdiwala's B 6D3WB9HHXQ
| URI | m2://inv/6D3WB9HHXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bangdiwala's B, Bangdiwala's B (definition). Also Wikidata Q4855131
History
- 2026-11-02: add by m2/dev
Philip Welch 6D3XFZYDPG
| URI | m2://inv/6D3XFZYDPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Welch, Philip Welch (topic). Also Wikidata Q54598807
History
- 2026-11-02: add by m2/dev
6D3ZN46P0H 6D3ZN46P0H
| URI | m2://inv/6D3ZN46P0H |
|---|---|
| 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 2610.17547#YA49 (definition). In XJ59TDP4HA/e1, definition 4.8
History
- 2026-10-28: add by m2/v0.4.2
probability density function 6D41320J4W
| URI | m2://inv/6D41320J4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > probability density function, probability density function (unknown). Also Mathlib MeasureTheory.HasPDF
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > probability density function, probability density function (unknown). Also Mathlib MeasureTheory.HasPDF
History
- 2026-10-26: add by m2/dev
6D49WWNKNR 6D49WWNKNR
| URI | m2://inv/6D49WWNKNR |
|---|---|
| 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 2303.00676#UT8P (statement). In 5351H04TJY/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.0
6D4JKEJ1TX 6D4JKEJ1TX
| URI | m2://inv/6D4JKEJ1TX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39990#T146 (statement). In SH78APY2T8/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
6D4NZVPEES 6D4NZVPEES
| URI | m2://inv/6D4NZVPEES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#LVVC (statement). In GXHKRV5BPY/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
6D4PHKX6ZK 6D4PHKX6ZK
| URI | m2://inv/6D4PHKX6ZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#thm:transitivity of divides (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
Edgeworth box 6D4QATVB2M
| URI | m2://inv/6D4QATVB2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgeworth box, Edgeworth box (definition). Also Wikidata Q987653
History
- 2026-11-02: add by m2/dev
Quotient of a formal language 6D4SAW1E14
| URI | m2://inv/6D4SAW1E14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient of a formal language, Quotient of a formal language (definition). Also Wikidata Q7333652
History
- 2026-11-02: add by m2/dev
Algorithm 6D4SM3VA7B
| URI | m2://inv/6D4SM3VA7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concolic testing#P8IT, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
6D5EPJRA5B 6D5EPJRA5B
| URI | m2://inv/6D5EPJRA5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#SPWC (statement). In QX77AN49J0/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
6D5JFBREBD 6D5JFBREBD
| URI | m2://inv/6D5JFBREBD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08912#6N0C (definition). In DK5QY64NGH/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
6D5N79BHM1 6D5N79BHM1
| URI | m2://inv/6D5N79BHM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#OSKO (statement). In GW23NX78SB/e1, lemma 4.38
History
- 2026-10-28: add by m2/v0.4.2
Symmetry 6D5RP5EVYZ
| URI | m2://inv/6D5RP5EVYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disdyakis dodecahedron#4UX9, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Properties 6D6X4R67AQ
| URI | m2://inv/6D6X4R67AQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-Wishart distribution#IRFF, Properties (statement)
History
- 2026-11-02: add by m2/dev
6D6YHGM61S 6D6YHGM61S
| URI | m2://inv/6D6YHGM61S |
|---|---|
| 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 2609.37634#8NZ5 (statement). In NTWNXKDBKK/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Anamorphic stretch transform 6D7AFP10JM
| URI | m2://inv/6D7AFP10JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anamorphic stretch transform, Anamorphic stretch transform (definition). Also Wikidata Q16002933
History
- 2026-11-02: add by m2/dev
Warnock algorithm 6D7FGF6Z47
| URI | m2://inv/6D7FGF6Z47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#VAEA, Warnock algorithm (unknown)
History
- 2026-11-02: add by m2/dev
6D7P9AZT1C 6D7P9AZT1C
| URI | m2://inv/6D7P9AZT1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33841#FPNG (statement). In 3CVQHT206K/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Capillary wave 6D7PW7RBDD
| URI | m2://inv/6D7PW7RBDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capillary wave, Capillary wave (definition). Also Wikidata Q15143885
History
- 2026-11-02: add by m2/dev
Construction 6D7RCNXZA6
| URI | m2://inv/6D7RCNXZA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian random field#KIO7, Construction (definition)
History
- 2026-11-02: add by m2/dev
6D7SQ1SRQP 6D7SQ1SRQP
| URI | m2://inv/6D7SQ1SRQP |
|---|---|
| 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.09019#ZO5O (statement). In 8V6YECFCC1/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
6D7XPKWB4G 6D7XPKWB4G
| URI | m2://inv/6D7XPKWB4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#L3YJ (statement). In 9B5TNEBJHV/e1, proposition 2.23
History
- 2026-10-29: add by m2/v0.4.10
Linear estimate 6D7ZZPMR9J
| URI | m2://inv/6D7ZZPMR9J |
|---|---|
| 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.02721#1TPC, Linear estimate (statement). In XXFYVDVPPE/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.12
6D81B1G6JK 6D81B1G6JK
| URI | m2://inv/6D81B1G6JK |
|---|---|
| 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 2610.03384#HLLE (definition). In J55JTTKG84/e1, definition 5.5
History
- 2026-10-29: add by m2/v0.4.12
Skorokhod problem 6D83F6MHS3
| URI | m2://inv/6D83F6MHS3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skorokhod problem, Skorokhod problem (problem). Also Wikidata Q7536354
History
- 2026-11-02: add by m2/dev
Portmanteau theorem; Billingsley 6D84WHK3GY
| URI | m2://inv/6D84WHK3GY |
|---|---|
| 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.16203#NSXZ, Portmanteau theorem; Billingsley (statement). In 43TBS9P2PX/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
Olabisi Ugbebor 6D8EJK2VP5
| URI | m2://inv/6D8EJK2VP5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olabisi Ugbebor, Olabisi Ugbebor (topic). Also Wikidata Q28976474
History
- 2026-11-02: add by m2/dev
Theorema Egregium 6D8HN3WQNX
| URI | m2://inv/6D8HN3WQNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#DP61, Theorema Egregium (definition)
- wikipedia: Wikipedia List of differential geometry topics#T3GA, Theorema egregium (definition)
History
- 2026-11-02: add by m2/dev
Yamamoto's reciprocity law 6D8QB825HP
| URI | m2://inv/6D8QB825HP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity law#1WYH, Yamamoto's reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
Monica Allanach 6D8R2BBRRH
| URI | m2://inv/6D8R2BBRRH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monica Allanach, Monica Allanach (topic). Also Wikidata Q76431257
History
- 2026-11-02: add by m2/dev
Edward Charles Titchmarsh 6D8XGK7K6S
| URI | m2://inv/6D8XGK7K6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q526013, Edward Charles Titchmarsh (unknown). Also ProofWiki Mathematician:Edward_Charles_Titchmarsh
- wikipedia: Wikipedia Edward Charles Titchmarsh, Edward Charles Titchmarsh (topic). Also Wikidata Q526013
History
- 2026-10-26: add by m2/dev
De Thiende 6D91CXY1PM
| URI | m2://inv/6D91CXY1PM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4414473, De Thiende (unknown). Also ProofWiki Book:Simon_Stevin/De_Thiende
- wikipedia: Wikipedia De Thiende, De Thiende (definition). Also Wikidata Q4414473
History
- 2026-10-26: add by m2/dev
6D9AYZ5H3E 6D9AYZ5H3E
| URI | m2://inv/6D9AYZ5H3E |
|---|---|
| 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 2407.05730#5GD8 (statement). In VQ7STN4KDC/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Musselman's theorem 6D9BC431F9
| URI | m2://inv/6D9BC431F9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18206262, Musselman's theorem (statement). Also MathWorld MusselmansTheorem
- wikipedia: Wikipedia Musselman's theorem, Musselman's theorem (statement). Also Wikidata Q18206262
History
- 2026-10-26: add by m2/dev
6D9DF31XXD 6D9DF31XXD
| URI | m2://inv/6D9DF31XXD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#C2DH (example). In 4KT9TK3MG4/e1, example 2.1
History
- 2026-10-31: add by m2/v0.5.6
Definition 6D9FBH1DWQ
| URI | m2://inv/6D9FBH1DWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order unit#IZ4C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Svante Janson 6D9JPNJVSE
| URI | m2://inv/6D9JPNJVSE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6A0T, Svante Janson (topic)
History
- 2026-11-02: add by m2/dev
6D9XA7H7AZ 6D9XA7H7AZ
| URI | m2://inv/6D9XA7H7AZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-1-elem-rules.xml#example-2 (example). In 907G4C4EJ1, example, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
poiseuille 6DA96WFPDM
| URI | m2://inv/6DA96WFPDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q751310, poiseuille (definition). Also ProofWiki Definition:Poiseuille
History
- 2026-10-26: add by m2/dev
Selecting a good block 6DAC9PP49W
| URI | m2://inv/6DAC9PP49W |
|---|---|
| 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.02407#O1WL, Selecting a good block (statement). In ZZER8ZBSCR/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
Nonlinear regression 6DAEP6FA18
| URI | m2://inv/6DAEP6FA18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UHGS, Nonlinear regression (definition)
History
- 2026-11-02: add by m2/dev
6DATY786W6 6DATY786W6
| URI | m2://inv/6DATY786W6 |
|---|---|
| Kind | definition |
| 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 1002.0879#Y1U5 (definition). In M0SQY5EZN5/e1, definition 1.1.13
History
- 2026-10-27: add by m2/v0.3.5
6DAYBN4NQY 6DAYBN4NQY
| URI | m2://inv/6DAYBN4NQY |
|---|---|
| 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.17258#PAES (statement). In F4M67ZVBF2/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
Two-dimensional window design 6DB5K9P2ST
| URI | m2://inv/6DB5K9P2ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-dimensional window design, Two-dimensional window design (definition). Also Wikidata Q28458391
History
- 2026-11-02: add by m2/dev
Application 6DB794PFKH
| URI | m2://inv/6DB794PFKH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exhaustion by compact sets#PDTO, Application (example)
History
- 2026-11-02: add by m2/dev
6DB7D7BTC1 6DB7D7BTC1
| URI | m2://inv/6DB7D7BTC1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-2 (statement). In E59CDZA4DP, prop, section 11.1.2
History
- 2026-11-01: add by m2/v0.6.13
Thales 6DBGNZZ3MC
| URI | m2://inv/6DBGNZZ3MC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36303, Thales (unknown). Also ProofWiki Mathematician:Thales_of_Miletus
- wikipedia: Wikipedia Thales of Miletus, Thales of Miletus (topic). Also Wikidata Q36303
History
- 2026-10-26: add by m2/dev
MathSciNet 6DBPHBCZFR
| URI | m2://inv/6DBPHBCZFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathSciNet, MathSciNet (definition). Also Wikidata Q28842271
History
- 2026-11-02: add by m2/dev
6DBWWC2DW6 6DBWWC2DW6
| URI | m2://inv/6DBWWC2DW6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#287J (example). In 1QXCNGRWV1/e1, example 3.14
History
- 2026-10-27: add by m2/v0.3.5
6DCD80H3GB 6DCD80H3GB
| URI | m2://inv/6DCD80H3GB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/sequents.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
Definition 6DD2MV05MS
| URI | m2://inv/6DD2MV05MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#JFNA, Definition (definition)
History
- 2026-11-02: add by m2/dev
6DD704V4EB 6DD704V4EB
| URI | m2://inv/6DD704V4EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14455#IGH6 (statement). In 5KARPAJDCP/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
countable chain condition 6DD7C00DF3
| URI | m2://inv/6DD7C00DF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#9NS3, countable chain condition (definition)
History
- 2026-11-02: add by m2/dev
6DDF1206N9 6DDF1206N9
| URI | m2://inv/6DDF1206N9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#JHLM (definition). In 4F8QRV05BV/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Dichotomy theorem; , Theorem 3.17 6DDFRN1AFE
| URI | m2://inv/6DDFRN1AFE |
|---|---|
| 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.18078#U4IB, Dichotomy theorem; , Theorem 3.17 (statement). In YVK8EFSYNJ/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
Rice code 6DDZEBKQ7V
| URI | m2://inv/6DDZEBKQ7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golomb coding#IB0O, Rice code (unknown)
History
- 2026-11-02: add by m2/dev
Sergei Adian 6DE70DZFPW
| URI | m2://inv/6DE70DZFPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Adian, Sergei Adian (topic). Also Wikidata Q2074389
History
- 2026-11-02: add by m2/dev
6DE78HPTS9 6DE78HPTS9
| URI | m2://inv/6DE78HPTS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#X7SF (statement). In QM1T8JDK4A/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Numerical analysis 6DEFHHF9NP
| URI | m2://inv/6DEFHHF9NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#F7S0, Numerical analysis (definition)
History
- 2026-11-02: add by m2/dev
6DEM8GRWZB 6DEM8GRWZB
| URI | m2://inv/6DEM8GRWZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#KSUG (statement). In 986DENWM1D/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
6DEP0G47HK 6DEP0G47HK
| URI | m2://inv/6DEP0G47HK |
|---|---|
| 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.36181#XEEH (statement). In 1KSE33PVS6/e1, proposition 23
History
- 2026-10-30: add by m2/v0.4.12
6DF6SH740D 6DF6SH740D
| URI | m2://inv/6DF6SH740D |
|---|---|
| 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.21367#7E9K (statement)
History
- 2026-11-02: add by m2/v0.6.18
Characterization of $L_2$-realizable conditional pairs 6DFFDJV72C
| URI | m2://inv/6DFFDJV72C |
|---|---|
| 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.14906#42CN, Characterization of $L_2$-realizable conditional pairs (statement). In 1F8ENX770M/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 6DFJ1GDP5B
| URI | m2://inv/6DFJ1GDP5B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphic word#6M41, Examples (example)
History
- 2026-11-02: add by m2/dev
6DFQJATT76 6DFQJATT76
| URI | m2://inv/6DFQJATT76 |
|---|---|
| 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.14985#O6K2 (statement). In DGXJW3SCBR/e1, proposition 33
History
- 2026-10-28: add by m2/v0.4.2
6DFY2VQJPY 6DFY2VQJPY
| URI | m2://inv/6DFY2VQJPY |
|---|---|
| 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.20805#QVDA (statement)
History
- 2026-11-02: add by m2/v0.6.18
6DGBFVS047 6DGBFVS047
| URI | m2://inv/6DGBFVS047 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#JNJP (definition). In 6KR7Z5ETRY/e1, definition 2.49
History
- 2026-10-27: add by m2/v0.3.5
6DGS3JA1AC 6DGS3JA1AC
| URI | m2://inv/6DGS3JA1AC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 2403.16388#337S (definition). In HH4ADHZ8XD/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
Examples for the nome square theorem 6DGT6532TY
| URI | m2://inv/6DGT6532TY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nome (mathematics)#2WVD, Examples for the nome square theorem (example)
History
- 2026-11-02: add by m2/dev
C. Leedham-Green 6DH4KDDS3K
| URI | m2://inv/6DH4KDDS3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#ACDU, C. Leedham-Green (topic)
History
- 2026-11-02: add by m2/dev
6DH6XK5B2Q 6DH6XK5B2Q
| URI | m2://inv/6DH6XK5B2Q |
|---|---|
| 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.29894#CJ22 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gluing bands 6DH9QHX8ND
| URI | m2://inv/6DH9QHX8ND |
|---|---|
| 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.26665#CRU6, Gluing bands (statement)
History
- 2026-11-01: add by m2/v0.6.15
Unbiased rendering 6DHJ357N04
| URI | m2://inv/6DHJ357N04 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#LD3Y, Unbiased rendering (unknown)
History
- 2026-11-02: add by m2/dev
Stanislaw Ulam 6DHVZNRRFE
| URI | m2://inv/6DHVZNRRFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ES6V, Stanislaw Ulam (topic)
History
- 2026-11-02: add by m2/dev
Theorem 6DJ8B6B81Y
| URI | m2://inv/6DJ8B6B81Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katugampola fractional operators#P7W6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Cubic conjugate 6DJGWXF85C
| URI | m2://inv/6DJGWXF85C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#C2ZZ, Cubic conjugate (statement). In JY6RYSNXMJ/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.10
Proper forcing axiom 6DJJ18ZK68
| URI | m2://inv/6DJJ18ZK68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#2FRL, Proper forcing axiom (statement)
- wikipedia: Wikipedia List of statements independent of ZFC#AFLN, Proper forcing axiom (statement)
History
- 2026-11-02: add by m2/dev
Address growth 6DJQA10NKT
| URI | m2://inv/6DJQA10NKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.07293#X1EZ, Address growth (statement). In V1GVYM0WQG/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
6DK0VAN0R3 6DK0VAN0R3
| URI | m2://inv/6DK0VAN0R3 |
|---|---|
| Kind | example |
| 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 2504.13516#ANXS (example). In Z9JWKWH7CJ/e1, example 4.6
History
- 2026-10-27: add by m2/v0.3.5
Two-block Jacquet module 6DK35XN7TF
| URI | m2://inv/6DK35XN7TF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#7D2E, Two-block Jacquet module (statement). In TPYRE2ARMD/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Belyi function 6DK7GRE9C3
| URI | m2://inv/6DK7GRE9C3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belyi's theorem#C8B9, Belyi function (unknown)
History
- 2026-11-02: add by m2/dev
natural, isomorphism 6DK8TZKJPY
| URI | m2://inv/6DK8TZKJPY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.2/natural-isomorphism, natural, isomorphism (concept). In N54F33XE07, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Gesine Reinert 6DKFWRZ6W2
| URI | m2://inv/6DKFWRZ6W2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gesine Reinert, Gesine Reinert (topic). Also Wikidata Q48472715
History
- 2026-11-02: add by m2/dev
$\rho^*_\Omega$ is the optimal regularized gain 6DKGRZ19YR
| URI | m2://inv/6DKGRZ19YR |
|---|---|
| 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.14988#SVTF, $\rho^*_\Omega$ is the optimal regularized gain (statement). In B29M4E6KGC/e1, proposition G.5
History
- 2026-10-28: add by m2/v0.4.2
Jacob Grommer 6DKGSEBX8C
| URI | m2://inv/6DKGSEBX8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UI2K, Jacob Grommer (topic)
History
- 2026-11-02: add by m2/dev
Matilde Sanchez-Kam 6DKNKQJJZQ
| URI | m2://inv/6DKNKQJJZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O6HF, Matilde Sanchez-Kam (topic)
History
- 2026-11-02: add by m2/dev
6DKQNW15ZW 6DKQNW15ZW
| URI | m2://inv/6DKQNW15ZW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-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.21507#I10M (definition). In 879ZDHVK7N/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.2
Pyber, László 6DKRYKYQ8M
| URI | m2://inv/6DKRYKYQ8M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#R8Z4, Pyber, László (topic)
History
- 2026-11-02: add by m2/dev
6DKZVSP89A 6DKZVSP89A
| URI | m2://inv/6DKZVSP89A |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13295#0HU5 (conjecture). In 8Q7QXTWD0S/e1, conjecture 5.2
History
- 2026-10-28: add by m2/v0.4.2
Energy-consistent initial approximation 6DMKDK2DM4
| URI | m2://inv/6DMKDK2DM4 |
|---|---|
| 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.12387#W9OO, Energy-consistent initial approximation (statement). In 3Z0PRE77SY/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
6DMM1ND1B2 6DMM1ND1B2
| URI | m2://inv/6DMM1ND1B2 |
|---|---|
| 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 2002.01498#EFSZ (statement). In 2H7TQ695XW/e1, fact 2.1
History
- 2026-10-27: add by m2/v0.3.5
6DMNA9C13D 6DMNA9C13D
| URI | m2://inv/6DMNA9C13D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9201244#O31G (definition). In 7D3HCN21MK/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Wieferich sequence 6DMV7909G2
| URI | m2://inv/6DMV7909G2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wieferich pair#I3VV, Wieferich sequence (unknown)
History
- 2026-11-02: add by m2/dev
oriented matroid 6DMXBR82MR
| URI | m2://inv/6DMXBR82MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Oriented matroid R5EB9NKQ5M |
Mentions
- wikidata: Wikidata Q16155113, oriented matroid (unknown). Also MathWorld OrientedMatroid
- wikipedia: Wikipedia Oriented matroid, Oriented matroid (definition). Also Wikidata Q16155113
History
- 2026-10-26: add by m2/dev
Ádám Korányi 6DMXPX20EQ
| URI | m2://inv/6DMXPX20EQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#555T, Ádám Korányi (unknown)
History
- 2026-11-02: add by m2/dev
Listing number 6DN09NNWVQ
| URI | m2://inv/6DN09NNWVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Listing number, Listing number (definition). Also Wikidata Q6646534
History
- 2026-11-02: add by m2/dev
Chemotactic range fitting 6DN1JW0WMN
| URI | m2://inv/6DN1JW0WMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemotaxis#EUF3, Chemotactic range fitting (unknown)
History
- 2026-11-02: add by m2/dev
Circle conjugacy from the fixed-point pattern 6DN7QCGYV4
| URI | m2://inv/6DN7QCGYV4 |
|---|---|
| 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.15686#XOM0, Circle conjugacy from the fixed-point pattern (statement). In 4HCK722M2G/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
6DNCXC2EME 6DNCXC2EME
| URI | m2://inv/6DNCXC2EME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#GFD3 (statement). In B8A6BPP922/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Quantum interactive proof system 6DP11K01JY
| URI | m2://inv/6DP11K01JY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interactive proof system#KPQU, Quantum interactive proof system (unknown)
History
- 2026-11-02: add by m2/dev
6DP1JZ1EKY 6DP1JZ1EKY
| URI | m2://inv/6DP1JZ1EKY |
|---|---|
| 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.21937#Y2ZF (statement)
History
- 2026-11-02: add by m2/v0.6.17
6DPKBPTTPZ 6DPKBPTTPZ
| URI | m2://inv/6DPKBPTTPZ |
|---|---|
| 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 2601.22681#8BEO (statement). In 68VEQQX68G/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.4.0
6DPPKW4D36 6DPPKW4D36
| URI | m2://inv/6DPPKW4D36 |
|---|---|
| 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.17579#7YZ2 (statement). In 1H021CTR3A/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 6DPQKASZW7
| URI | m2://inv/6DPQKASZW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann series theorem#PG1R, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Martin Goldstern 6DQFZENBKZ
| URI | m2://inv/6DQFZENBKZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RO7H, Martin Goldstern (topic)
History
- 2026-11-02: add by m2/dev
Shelah cardinal 6DQVEX2EZK
| URI | m2://inv/6DQVEX2EZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shelah cardinal, Shelah cardinal (definition). Also Wikidata Q7493307
History
- 2026-11-02: add by m2/dev
limit point 6DR28FCFGD
| URI | m2://inv/6DR28FCFGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > limit point, limit point (unknown). Also Mathlib MapClusterPt
History
- 2026-10-26: add by m2/dev
projective representation 6DR3QSG4G5
| URI | m2://inv/6DR3QSG4G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249476, projective representation (unknown). Also nLab projective representation
- wikipedia: Wikipedia Projective representation, Projective representation (definition). Also Wikidata Q7249476
History
- 2026-10-26: add by m2/dev
Counternull 6DR4EY4B05
| URI | m2://inv/6DR4EY4B05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DFLE, Counternull (definition)
History
- 2026-11-02: add by m2/dev
atomic formula 6DR9NWP1WZ
| URI | m2://inv/6DR9NWP1WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#H941, atomic formula (definition)
History
- 2026-11-02: add by m2/dev
Preserving opens through a gerbe 6DRJ0HVMEC
| URI | m2://inv/6DRJ0HVMEC |
|---|---|
| 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.15831#R7WY, Preserving opens through a gerbe (statement). In CVESAPNMCQ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Properties 6DRMRTX6XV
| URI | m2://inv/6DRMRTX6XV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schläfli symbol#7B8A, Properties (statement)
History
- 2026-11-02: add by m2/dev
intersection 6DRQFYH4C4
| URI | m2://inv/6DRQFYH4C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Intersection 0ZNMMA9TF5 |
Mentions
- wikidata: Wikidata Q185837, intersection (unknown). Also MathWorld Intersection
- wikipedia: Wikipedia Intersection (set theory), Intersection (definition). Also Wikidata Q185837
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
6DRTWBJ851 6DRTWBJ851
| URI | m2://inv/6DRTWBJ851 |
|---|---|
| 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 0908.3266#5S72 (statement). In B0W6PMDN3N/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
6DSECKH0GQ 6DSECKH0GQ
| URI | m2://inv/6DSECKH0GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#9QQC (statement)
History
- 2026-11-01: add by m2/v0.6.15
The theorem 6DSH1HEH5S
| URI | m2://inv/6DSH1HEH5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Morgenstern utility theorem#ZC14, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 6DSM8DMDTR
| URI | m2://inv/6DSM8DMDTR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy control system#YQIQ, Applications (example)
History
- 2026-11-02: add by m2/dev
6DSMPJK882 6DSMPJK882
| URI | m2://inv/6DSMPJK882 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15857471 (unknown). Also nLab Eldon Dyer
History
- 2026-10-26: add by m2/dev
Mike Powell 6DSR6TJ5ZD
| URI | m2://inv/6DSR6TJ5ZD |
|---|---|
| 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#0B4S, Mike Powell (unknown)
History
- 2026-11-02: add by m2/dev
Pygmalion effect 6DT72234QC
| URI | m2://inv/6DT72234QC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#MBEV, Pygmalion effect (unknown)
History
- 2026-11-02: add by m2/dev
6DTC2FH4M3 6DTC2FH4M3
| URI | m2://inv/6DTC2FH4M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26588#XLVC (statement)
History
- 2026-11-01: add by m2/v0.6.15
6DTDBTTGN5 6DTDBTTGN5
| URI | m2://inv/6DTDBTTGN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14455#TE1L (statement). In 5KARPAJDCP/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
6DTDHK796C 6DTDHK796C
| URI | m2://inv/6DTDHK796C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#Y5BS (statement)
History
- 2026-11-01: add by m2/v0.6.15
6DTHMQDX42 6DTHMQDX42
| URI | m2://inv/6DTHMQDX42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#theorem-1 (statement). In Y91XFCEVHQ, theorem, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
6DTNQAAMNH 6DTNQAAMNH
| URI | m2://inv/6DTNQAAMNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#HDWB (statement). In X47RYAZF8P/e1, corollary 3.16
History
- 2026-10-28: add by m2/v0.4.2
unitary divisor 6DTV591B6B
| URI | m2://inv/6DTV591B6B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1704865, unitary divisor (concept). Also MathWorld UnitaryDivisor
- wikipedia: Wikipedia Unitary divisor, Unitary divisor (definition). Also Wikidata Q1704865
History
- 2026-10-26: add by m2/dev
6DTYSMXE3Y 6DTYSMXE3Y
| URI | m2://inv/6DTYSMXE3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#BUPV (statement). In HX63A1PH1W/e1, proposition 3.37
History
- 2026-10-28: add by m2/v0.4.3
6DV7YYQPZA 6DV7YYQPZA
| URI | m2://inv/6DV7YYQPZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#HHUR (statement). In X3RFXWN6FW/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.6
6DV970XS13 6DV970XS13
| URI | m2://inv/6DV970XS13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#JJLK (statement). In SBZNH932ZV/e1, lemma 7.10
History
- 2026-10-30: add by m2/v0.4.12
José María Lanz 6DVEMK0KBX
| URI | m2://inv/6DVEMK0KBX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia José María Lanz, José María Lanz (topic). Also Wikidata Q11685891
History
- 2026-11-02: add by m2/dev
6DW13ZEFNJ 6DW13ZEFNJ
| URI | m2://inv/6DW13ZEFNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20542#ZMPL (statement). In 8PZXZ8Y9FK/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.4.2
6DW3WK731C 6DW3WK731C
| URI | m2://inv/6DW3WK731C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
Sydney Samuel Hough 6DW7ER891R
| URI | m2://inv/6DW7ER891R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sydney Samuel Hough, Sydney Samuel Hough (topic). Also Wikidata Q1348676
History
- 2026-11-02: add by m2/dev
Equivalent descriptions of a genuine one-jump limit 6DW86TEVNY
| URI | m2://inv/6DW86TEVNY |
|---|---|
| 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.08821#96IA, Equivalent descriptions of a genuine one-jump limit (statement). In KP1THB2C09/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.10
Example 6DWRYE1W37
| URI | m2://inv/6DWRYE1W37 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slow-growing hierarchy#R5S9, Example (example)
History
- 2026-11-02: add by m2/dev
6DX3F171NG 6DX3F171NG
| URI | m2://inv/6DX3F171NG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#O9GF (statement). In BF0RYHPMS1/e1, theorem 4.12
History
- 2026-10-30: add by m2/v0.4.12
Generic lengths 6DX4SYEBVS
| URI | m2://inv/6DX4SYEBVS |
|---|---|
| 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.05892#26EI, Generic lengths (statement). In PXWRTA62JK/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
6DX5AS8DZY 6DX5AS8DZY
| URI | m2://inv/6DX5AS8DZY |
|---|---|
| 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.08935#UJCB (statement). In G02N9D40B9/e1, lemma 3.5.4
History
- 2026-10-29: add by m2/v0.4.10
Monogenic semigroup 6DX96PCEA7
| URI | m2://inv/6DX96PCEA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monogenic semigroup, Monogenic semigroup (definition). Also Wikidata Q6901592
History
- 2026-11-02: add by m2/dev
Jarzynski equality 6DXF4T6GX4
| URI | m2://inv/6DXF4T6GX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jarzynski equality, Jarzynski equality (definition). Also Wikidata Q864883
History
- 2026-11-02: add by m2/dev
path 6DXK40K5RM
| URI | m2://inv/6DXK40K5RM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/path, path (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Related theorem about the ratio of the diagonals 6DXM9H52ED
| URI | m2://inv/6DXM9H52ED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemy's theorem#QWAD, Related theorem about the ratio of the diagonals (statement)
History
- 2026-11-02: add by m2/dev
Positive Weyl chamber 6DXMREDN8T
| URI | m2://inv/6DXMREDN8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl group#TI9J, Positive Weyl chamber (unknown)
History
- 2026-11-02: add by m2/dev
6DXRTGAV3T 6DXRTGAV3T
| URI | m2://inv/6DXRTGAV3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#FS5A (statement). In 2381M4GBTT/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.12
6DXTC94SN5 6DXTC94SN5
| URI | m2://inv/6DXTC94SN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37112#116P (statement). In 5B10HAY4C3/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Pure weights 6DXYDTGN6R
| URI | m2://inv/6DXYDTGN6R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | node (a node of the research layer states the row (corpus arxiv AX9.2)) |
| Node | Pure weights 807S91H4RY |
Mentions
- arxiv: arXiv 2609.26477#0N9K, Pure weights (definition)
- arxiv: arXiv 2609.26500#JVBP, Pure weights (definition)
History
- 2026-11-01: add by m2/v0.6.15
- 2026-11-02: outcome by m2 corpus adopt
- 2026-11-03: outcome by m2 corpus adopt
Derivation of self inductance 6DY25E2FGW
| URI | m2://inv/6DY25E2FGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductance#JMSA, Derivation of self inductance (unknown)
History
- 2026-11-02: add by m2/dev
6DY36MT6PZ 6DY36MT6PZ
| URI | m2://inv/6DY36MT6PZ |
|---|---|
| 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.16060#T8AJ (statement). In X0BTF9HPGM/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
6DY39QHQ7P 6DY39QHQ7P
| URI | m2://inv/6DY39QHQ7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01467#SFGG (statement). In 10GZB25WAC/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
Brenier's theorem 6DYEBP9Q5X
| URI | m2://inv/6DYEBP9Q5X |
|---|---|
| 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.20972#DCYN, Brenier's theorem (statement). In 6SZE4MTXGZ/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
Linear interpolation 6DYZ7FVBWK
| URI | m2://inv/6DYZ7FVBWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#DQ2I, Linear interpolation (definition)
History
- 2026-11-02: add by m2/dev
Alfred Loewy 6DZ07YJ277
| URI | m2://inv/6DZ07YJ277 |
|---|---|
| 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#B8GS, Alfred Loewy (topic)
- wikipedia: Wikipedia List of German mathematicians#ZJNI, Alfred Loewy (topic)
History
- 2026-11-02: add by m2/dev
6DZ1H70T8K 6DZ1H70T8K
| URI | m2://inv/6DZ1H70T8K |
|---|---|
| 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.25703#0W5P (statement)
History
- 2026-11-01: add by m2/v0.6.15
6DZ21G33GA 6DZ21G33GA
| URI | m2://inv/6DZ21G33GA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#BQAA (definition). In FSD8NE3XSR/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Roberto Bachi 6DZ36WQGRD
| URI | m2://inv/6DZ36WQGRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roberto Bachi, Roberto Bachi (topic). Also Wikidata Q16597130
History
- 2026-11-02: add by m2/dev
Examples 6DZASD0N17
| URI | m2://inv/6DZASD0N17 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational inequality#1987, Examples (example)
History
- 2026-11-02: add by m2/dev
Dyck Path 6DZG4H5QV7
| URI | m2://inv/6DZG4H5QV7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07671#I9LN, Dyck Path (definition). In XHHBGCVG90/e1, definition 2.1.1
History
- 2026-10-29: add by m2/v0.4.10
Mordell–Weil theorem 6DZNQMJYRW
| URI | m2://inv/6DZNQMJYRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#E9L5, Mordell–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
6DZT3BBVZD 6DZT3BBVZD
| URI | m2://inv/6DZT3BBVZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20944#NI7S (statement). In DRRKZR6CQC/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.2
6DZTTK3EKB 6DZTTK3EKB
| URI | m2://inv/6DZTTK3EKB |
|---|---|
| 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.21900#5PJR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Tennenbaum's theorem 6DZXDZJW9Z
| URI | m2://inv/6DZXDZJW9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226803, Tennenbaum's theorem (statement). Also Wikidata Q2226803
- thousand_plus: thousand_plus Q2226803, Tennenbaum's theorem (statement). Also Wikidata Q2226803, Wikipedia Tennenbaum's theorem
- wikipedia: Wikipedia Tennenbaum's theorem, Tennenbaum's theorem (statement). Also Wikidata Q2226803
History
- 2026-10-26: add by m2/dev