Inventory rows SC
The cards of the rows of the inventory whose ids start with SC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
SC0C8N8XX8 SC0C8N8XX8
| URI | m2://inv/SC0C8N8XX8 |
|---|---|
| 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 2308.02672#E0HG (statement). In ETRT1R1CQ8/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.0
Carryover effect SC0RNHB1ET
| URI | m2://inv/SC0RNHB1ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carryover effect, Carryover effect (definition). Also Wikidata Q111915674
History
- 2026-11-02: add by m2/dev
Self-organization SC11ZJPYJX
| URI | m2://inv/SC11ZJPYJX |
|---|---|
| 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 math/0003117#P9WI, Self-organization (statement). In WD2NCBV9F0/e1, lemma 21.14
History
- 2026-10-27: add by m2/v0.3.5
type, pointed SC121M8F16
| URI | m2://inv/SC121M8F16 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.4/type-pointed, type, pointed (concept). In N54F33XE07, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
SC15ZRHMEG SC15ZRHMEG
| URI | m2://inv/SC15ZRHMEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#IHSS (statement). In CNS2J2E4T2/e1, proposition 19
History
- 2026-10-29: add by m2/v0.4.12
SC19WSAHD5 SC19WSAHD5
| URI | m2://inv/SC19WSAHD5 |
|---|---|
| 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.20900#QAZ5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lipschitz continuity SC1AHXYQJW
| URI | m2://inv/SC1AHXYQJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Lipschitz continuity 0QNVQ4VD9T |
Mentions
- mathlib_overview: mathlib_overview Topology > Metric spaces > Lipschitz continuity, Lipschitz continuity (unknown). Also Mathlib LipschitzWith
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > Lipschitz functions, Lipschitz functions (unknown). Also Mathlib LipschitzWith
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Reinhardt domain, complete SC1E3AGWG3
| URI | m2://inv/SC1E3AGWG3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.2/reinhardt-domain-complete, Reinhardt domain, complete (concept). In VNMV985MXX, index, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
5000 SC1JH5ZKP6
| URI | m2://inv/SC1JH5ZKP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5000 (number), 5000 (definition). Also Wikidata Q1049683
History
- 2026-11-02: add by m2/dev
SC1TX8TNT3 SC1TX8TNT3
| URI | m2://inv/SC1TX8TNT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#QK6K (statement). In QHFP0837Q8/e1, lemma 4.19
History
- 2026-10-29: add by m2/v0.4.12
Snub pentahexagonal tiling SC1Y03S0H8
| URI | m2://inv/SC1Y03S0H8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub pentahexagonal tiling, Snub pentahexagonal tiling (object). Also Wikidata Q17078312
History
- 2026-11-02: add by m2/dev
SC1YTAWA7H SC1YTAWA7H
| URI | m2://inv/SC1YTAWA7H |
|---|---|
| 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#NCWC (definition). In NSYR6W27FP/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Results SC1ZSQF7GG
| URI | m2://inv/SC1ZSQF7GG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pancake graph#G2J1, Results (statement)
History
- 2026-11-02: add by m2/dev
reduction SC20YEWY7D
| URI | m2://inv/SC20YEWY7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#EXMG, reduction (definition)
History
- 2026-11-02: add by m2/dev
Example SC23D5JXDZ
| URI | m2://inv/SC23D5JXDZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotropic measure#2ZQO, Example (example)
History
- 2026-11-02: add by m2/dev
Ryser's conjecture SC285V2NA3
| URI | m2://inv/SC285V2NA3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryser's conjecture, Ryser's conjecture (statement). Also Wikidata Q97402618
History
- 2026-11-02: add by m2/dev
SC28MCTZXH SC28MCTZXH
| URI | m2://inv/SC28MCTZXH |
|---|---|
| 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 2610.09390#M0H6 (statement). In 7SSKW778T8/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
SC28RFACMC SC28RFACMC
| URI | m2://inv/SC28RFACMC |
|---|---|
| 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 2609.33050#AC64 (definition). In VDSBMQ0G9W/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Anyon SC2KJXHAT6
| URI | m2://inv/SC2KJXHAT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anyon, Anyon (definition). Also Wikidata Q5528
History
- 2026-11-02: add by m2/dev
Émile Picard SC2PGF1R3Q
| URI | m2://inv/SC2PGF1R3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Émile Picard, Émile Picard (topic). Also Wikidata Q286375
History
- 2026-11-02: add by m2/dev
SC2SFG113D SC2SFG113D
| URI | m2://inv/SC2SFG113D |
|---|---|
| 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#23NO (statement). In 38XJWDZ2PH/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
SC3178JTG4 SC3178JTG4
| URI | m2://inv/SC3178JTG4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-9 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Difference of local Lindbladians SC3BABMQJC
| URI | m2://inv/SC3BABMQJC |
|---|---|
| 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.36016#V4JM, Difference of local Lindbladians (statement). In NAM9ZMPHZ9/e1, corollary B.8
History
- 2026-10-30: add by m2/v0.4.12
Definition SC3DJ2C0Q0
| URI | m2://inv/SC3DJ2C0Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triplet loss#FAS1, Definition (definition)
History
- 2026-11-02: add by m2/dev
nonnegativity of a metric SC3GFWPX5X
| URI | m2://inv/SC3GFWPX5X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.1/nonnegativity-of-a-metric, nonnegativity of a metric (concept). In E59CDZA4DP, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Emma Lehmer SC3KFRA8GN
| URI | m2://inv/SC3KFRA8GN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emma Lehmer, Emma Lehmer (topic). Also Wikidata Q450259
History
- 2026-11-02: add by m2/dev
Theorem SC3MFXTQAC
| URI | m2://inv/SC3MFXTQAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard factorization theorem#A8JQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
SC3RCV45NR SC3RCV45NR
| URI | m2://inv/SC3RCV45NR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10559#WS1S (statement). In WEP0PNJW09/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Applications SC3VRT2GX6
| URI | m2://inv/SC3VRT2GX6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal bipyramid#382U, Applications (example)
History
- 2026-11-02: add by m2/dev
SC464K7Y60 SC464K7Y60
| URI | m2://inv/SC464K7Y60 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03373#0BQM (definition). In ZA7DBT3NWR/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Moreau envelopes of support functions SC4B4ZTCCE
| URI | m2://inv/SC4B4ZTCCE |
|---|---|
| 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.26873#8G0S, Moreau envelopes of support functions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Propositional proof system SC4D09A2CN
| URI | m2://inv/SC4D09A2CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional proof system, Propositional proof system (definition). Also Wikidata Q7250416
History
- 2026-11-02: add by m2/dev
SC4HRM4EZE SC4HRM4EZE
| URI | m2://inv/SC4HRM4EZE |
|---|---|
| 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 1512.06981#2I0X (statement). In X923ZEY423/e1, lemma 1.6.3
History
- 2026-10-27: add by m2/v0.3.5
SC4SR0PYCC SC4SR0PYCC
| URI | m2://inv/SC4SR0PYCC |
|---|---|
| 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 2610.21408#DTD2 (statement). In 3XBEGXNPXZ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Examples SC51A11YRG
| URI | m2://inv/SC51A11YRG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushforward (differential)#4P92, Examples (example)
History
- 2026-11-02: add by m2/dev
convolution SC530H9PJP
| URI | m2://inv/SC530H9PJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > convolution, convolution (unknown)
History
- 2026-10-26: add by m2/dev
Properties SC5CV0QQFG
| URI | m2://inv/SC5CV0QQFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced hypergraph#M84X, Properties (statement)
History
- 2026-11-02: add by m2/dev
SC5JVTVCDQ SC5JVTVCDQ
| URI | m2://inv/SC5JVTVCDQ |
|---|---|
| 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.02833#RNRF (statement). In TNREX5GDK2/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
List of mathematical examples SC5RN8P0TA
| URI | m2://inv/SC5RN8P0TA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#T7GV, List of mathematical examples (topic)
History
- 2026-11-02: add by m2/dev
SC5VG87GDV SC5VG87GDV
| URI | m2://inv/SC5VG87GDV |
|---|---|
| Kind | definition |
| 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#0Q3B (definition). In QX77AN49J0/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.4.2
SC699C3S1D SC699C3S1D
| URI | m2://inv/SC699C3S1D |
|---|---|
| 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.11027#06JW (statement). In 2BBW80EX78/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
SC6DFB86XE SC6DFB86XE
| URI | m2://inv/SC6DFB86XE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
Set-theoretic realism SC6P9ATCY5
| URI | m2://inv/SC6P9ATCY5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Platonism#9GI6, Set-theoretic realism (unknown)
History
- 2026-11-02: add by m2/dev
SC6QAQAR7S SC6QAQAR7S
| URI | m2://inv/SC6QAQAR7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12817#XOEX (statement). In FPSGZ5S6YF/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
SC6XGG2W31 SC6XGG2W31
| URI | m2://inv/SC6XGG2W31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#TQHQ (statement). In SD28S3K7BT/e1, theorem 23
History
- 2026-10-29: add by m2/v0.4.12
wedge SC73FNEEDS
| URI | m2://inv/SC73FNEEDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#AA6S, wedge (definition)
History
- 2026-11-02: add by m2/dev
SC756BG5SY SC756BG5SY
| URI | m2://inv/SC756BG5SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#HAMP (statement). In PQHTR84RAJ/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
SC76NT8H15 SC76NT8H15
| URI | m2://inv/SC76NT8H15 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22659#1OXT (definition)
History
- 2026-11-02: add by m2/v0.6.17
SC778CX746 SC778CX746
| URI | m2://inv/SC778CX746 |
|---|---|
| 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.33383#WQ79 (statement). In 8AHWRHTP5G/e1, lemma 24
History
- 2026-10-30: add by m2/v0.4.12
Smooth signed balance SC77Y3CQE1
| URI | m2://inv/SC77Y3CQE1 |
|---|---|
| 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.10873#BGCR, Smooth signed balance (statement). In AYG8HYGW6V/e1, theorem A.2
History
- 2026-10-28: add by m2/v0.4.3
SC7D58GBDE SC7D58GBDE
| URI | m2://inv/SC7D58GBDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.28295#RMHH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition SC7EN752G6
| URI | m2://inv/SC7EN752G6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khovanov homology#SXWA, Definition (definition)
History
- 2026-11-02: add by m2/dev
SC7KZ9BPH9 SC7KZ9BPH9
| URI | m2://inv/SC7KZ9BPH9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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 2508.21045#S6UM (definition). In CGA36VE1C5/e1, definition 2.1.8
History
- 2026-10-27: add by m2/v0.3.6
Eric Ghysels SC7NDVKS9Q
| URI | m2://inv/SC7NDVKS9Q |
|---|---|
| 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#Q7T2, Eric Ghysels (unknown)
History
- 2026-11-02: add by m2/dev
Local sensitivity interpretation SC7ZZY1JF5
| URI | m2://inv/SC7ZZY1JF5 |
|---|---|
| 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.05504#M08B, Local sensitivity interpretation (statement). In 5PY98FZVJW/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
Half-mean gate SC8D6HADXB
| URI | m2://inv/SC8D6HADXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#L4PB, Half-mean gate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quintic threefold SC8E35AB6D
| URI | m2://inv/SC8E35AB6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quintic threefold, Quintic threefold (definition). Also Wikidata Q7272432
History
- 2026-11-02: add by m2/dev
Examples SC8N0KCHF2
| URI | m2://inv/SC8N0KCHF2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated monodromy group#39OZ, Examples (example)
History
- 2026-11-02: add by m2/dev
SC8YBC7F3E SC8YBC7F3E
| URI | m2://inv/SC8YBC7F3E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#231A (definition). In 2QF1YG9DD0/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
subtended angle SC9ENDP2D0
| URI | m2://inv/SC9ENDP2D0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5671969, subtended angle (concept). Also MathWorld Subtend
- wikipedia: Wikipedia Subtended angle, Subtended angle (definition). Also Wikidata Q5671969
History
- 2026-10-26: add by m2/dev
SC9FHQYBX3 SC9FHQYBX3
| URI | m2://inv/SC9FHQYBX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#CILO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert Thomas Seeley SC9HPMPKX2
| URI | m2://inv/SC9HPMPKX2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PI5M, Robert Thomas Seeley (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#69O7, Robert Thomas Seeley (topic)
History
- 2026-11-02: add by m2/dev
SCA5D01VQ2 SCA5D01VQ2
| URI | m2://inv/SCA5D01VQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2006.07610#K75W (statement). In RYB8WE6DQ4/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Permutation SCADHYKB9V
| URI | m2://inv/SCADHYKB9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#DGW4, Permutation (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#X227, Permutation (definition)
History
- 2026-11-02: add by m2/dev
SCAJR5AGG0 SCAJR5AGG0
| URI | m2://inv/SCAJR5AGG0 |
|---|---|
| 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.16941#ZOWL (statement). In T96MPYB0KT/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Saddle tower SCAK7M3CMX
| URI | m2://inv/SCAK7M3CMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saddle tower, Saddle tower (definition). Also Wikidata Q7397739
History
- 2026-11-02: add by m2/dev
Statement of the theorem SCASXPBSHH
| URI | m2://inv/SCASXPBSHH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal suspension theorem#1KUX, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
OR gate SCASYN1J46
| URI | m2://inv/SCASYN1J46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q560398, OR gate (unknown). Also MathWorld OR
History
- 2026-10-26: add by m2/dev
Small stellapentakis dodecahedron SCAYDHVVBW
| URI | m2://inv/SCAYDHVVBW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OXT4, Small stellapentakis dodecahedron (object)
History
- 2026-11-02: add by m2/dev
SCAZ33FDW1 SCAZ33FDW1
| URI | m2://inv/SCAZ33FDW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2610.13100#9B5D (statement). In CC6S1HVK0T/e1, proposition 9.11
History
- 2026-10-28: add by m2/v0.4.2
Radiosity method SCB3RVJK04
| URI | m2://inv/SCB3RVJK04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radiosity (radiometry)#VQRO, Radiosity method (definition)
History
- 2026-11-02: add by m2/dev
SCB9CHSWDG SCB9CHSWDG
| URI | m2://inv/SCB9CHSWDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30565#6VJB (statement). In TP0R6GK9AX/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
Sakai's theorem SCBAGEXESP
| URI | m2://inv/SCBAGEXESP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-commutative conditional expectation#PT8N, Sakai's theorem (statement)
History
- 2026-11-02: add by m2/dev
Kernel principal component analysis SCBDGRB7PV
| URI | m2://inv/SCBDGRB7PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HPNM, Kernel principal component analysis (definition)
History
- 2026-11-02: add by m2/dev
SCBDQC5SV9 SCBDQC5SV9
| URI | m2://inv/SCBDQC5SV9 |
|---|---|
| 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.38548#OS42 (statement). In Z7ZFV3HM1S/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
SCBH2BSXV4 SCBH2BSXV4
| URI | m2://inv/SCBH2BSXV4 |
|---|---|
| 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.01803#O33X (statement). In J6N4X33BME/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.12
André's theorem SCBJABMKSB
| URI | m2://inv/SCBJABMKSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating permutation#EUIY, André's theorem (statement)
History
- 2026-11-02: add by m2/dev
Robert Brown Gardner SCC45N8DAN
| URI | m2://inv/SCC45N8DAN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Brown Gardner, Robert Brown Gardner (topic). Also Wikidata Q14005687
History
- 2026-11-02: add by m2/dev
SCC51EGTQA SCC51EGTQA
| URI | m2://inv/SCC51EGTQA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-68 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
Polynomial arithmetic SCC863EG06
| URI | m2://inv/SCC863EG06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial#SCM5, Polynomial arithmetic (unknown)
History
- 2026-11-02: add by m2/dev
heat equation SCCCBYW709
| URI | m2://inv/SCCCBYW709 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.6.1/heat-equation, heat equation (concept). In E9HS8K3A52, index, section 5.6.1
History
- 2026-11-01: add by m2/v0.6.13
Brun's constant SCCDHRZXY8
| URI | m2://inv/SCCDHRZXY8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q850251, Brun's constant (object). Also MathWorld BrunsConstant, OEIS A065421, ProofWiki Definition:Brun's_Constant
History
- 2026-10-26: add by m2/dev
SCCEZ6HKW7 SCCEZ6HKW7
| URI | m2://inv/SCCEZ6HKW7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#HL0B (definition). In SN9RSTHQ07/e1, definition F.4
History
- 2026-10-30: add by m2/v0.4.12
SCCG74KD91 SCCG74KD91
| URI | m2://inv/SCCG74KD91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#2K3Z (statement). In W88890HB4Z/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
SCCKNP6DX1 SCCKNP6DX1
| URI | m2://inv/SCCKNP6DX1 |
|---|---|
| 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 2305.10921#WEIL (statement). In PD5PJ0EYG6/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
SCCRH9ENHH SCCRH9ENHH
| URI | m2://inv/SCCRH9ENHH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#ARSK (definition). In JQFPH09JG8/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
SCCSYY54XC SCCSYY54XC
| URI | m2://inv/SCCSYY54XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.33856#UAY9 (statement). In 47WN78VDDF/e1, corollary 3.20
History
- 2026-10-30: add by m2/v0.4.12
Edward Wakeford SCCTMXY8KX
| URI | m2://inv/SCCTMXY8KX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Wakeford, Edward Wakeford (topic). Also Wikidata Q5345770
History
- 2026-11-02: add by m2/dev
Multiparameter families from several design blocks SCCZZK2TZV
| URI | m2://inv/SCCZZK2TZV |
|---|---|
| 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.04136#TBY3, Multiparameter families from several design blocks (statement). In TBYTWR87F3/e1, corollary 1.8
History
- 2026-10-29: add by m2/v0.4.12
Transfer surplus SCD528TK70
| URI | m2://inv/SCD528TK70 |
|---|---|
| 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.13556#FZQT, Transfer surplus (definition). In 5ZB8N3YY72/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Definition SCDDVBP6TG
| URI | m2://inv/SCDDVBP6TG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necklace polynomial#0C5L, Definition (definition)
History
- 2026-11-02: add by m2/dev
An Axiomatic Basis for Computer Programming SCDJEGNAS1
| URI | m2://inv/SCDJEGNAS1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoare logic#KVE6, An Axiomatic Basis for Computer Programming (unknown)
History
- 2026-11-02: add by m2/dev
SCDMXWBJ4C SCDMXWBJ4C
| URI | m2://inv/SCDMXWBJ4C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/sequent-calculus/proofs-in-K.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 53.7
History
- 2026-11-01: add by m2/v0.6.13
SCDNGJGK51 SCDNGJGK51
| URI | m2://inv/SCDNGJGK51 |
|---|---|
| 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.21781#G6QH (statement). In FEQ72D1AX6/e1, lemma 7.6
History
- 2026-10-27: add by m2/v0.4.2
SCDNM5GSTN SCDNM5GSTN
| URI | m2://inv/SCDNM5GSTN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16768#4KRI (definition). In 8FWK676AQX/e1, definition 5
History
- 2026-10-28: add by m2/v0.4.2
Eventual regularity in the half-space SCDNQ90NY8
| URI | m2://inv/SCDNQ90NY8 |
|---|---|
| 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.13613#16DE, Eventual regularity in the half-space (statement). In 3HCT4TQ5PM/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Bridgman's thermodynamic equations SCDQJ5HRAQ
| URI | m2://inv/SCDQJ5HRAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bridgman's thermodynamic equations, Bridgman's thermodynamic equations (definition). Also Wikidata Q4966898
History
- 2026-11-02: add by m2/dev
SCDS95STG9 SCDS95STG9
| URI | m2://inv/SCDS95STG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#G6XB (statement). In G1RP4JY5PE/e1, lemma 2.3.3
History
- 2026-10-31: add by m2/v0.5.6
Hausdorff Medal SCDTTK6RAD
| URI | m2://inv/SCDTTK6RAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Hausdorff#ZLFC, Hausdorff Medal (definition)
History
- 2026-11-02: add by m2/dev
Applications SCDZWDPGXA
| URI | m2://inv/SCDZWDPGXA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-means++#MJKJ, Applications (example)
History
- 2026-11-02: add by m2/dev
SCE1JEGS3H SCE1JEGS3H
| URI | m2://inv/SCE1JEGS3H |
|---|---|
| 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.13229#BW91 (statement). In 4WN20N5Z57/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Optical theorem SCE2K41XHP
| URI | m2://inv/SCE2K41XHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1136262, Optical theorem (statement). Also Wikidata Q1136262
- thousand_plus: thousand_plus Q1136262, Optical theorem (statement). Also Wikidata Q1136262, Wikipedia Optical theorem
- wikipedia: Wikipedia Optical theorem, Optical theorem (statement). Also Wikidata Q1136262
History
- 2026-10-26: add by m2/dev
relative frequency SCE7JAGF7H
| URI | m2://inv/SCE7JAGF7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5374249, relative frequency (unknown). Also MathWorld RelativeFrequency
- wikipedia: Wikipedia Empirical probability, Empirical probability (definition). Also Wikidata Q5374249
History
- 2026-10-26: add by m2/dev
Proposition SCEFJ18VWC
| URI | m2://inv/SCEFJ18VWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedoid#OGU8, Proposition (statement)
History
- 2026-11-02: add by m2/dev
SCEN26YZFC SCEN26YZFC
| URI | m2://inv/SCEN26YZFC |
|---|---|
| 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#Q03M (statement). In GXHKRV5BPY/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
Tim Chartier SCESG53P8T
| URI | m2://inv/SCESG53P8T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tim Chartier, Tim Chartier (topic). Also Wikidata Q102225330
History
- 2026-11-02: add by m2/dev
SCETFDE17N SCETFDE17N
| URI | m2://inv/SCETFDE17N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#UU7I (definition). In NVTHDNQQ4Q/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Andrés Koropecki SCEVWE5RX6
| URI | m2://inv/SCEVWE5RX6 |
|---|---|
| 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#39TG, Andrés Koropecki (unknown)
History
- 2026-11-02: add by m2/dev
Definition SCEYVPP2FD
| URI | m2://inv/SCEYVPP2FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witten zeta function#Q1WX, Definition (definition)
History
- 2026-11-02: add by m2/dev
SCEZJ2300S SCEZJ2300S
| URI | m2://inv/SCEZJ2300S |
|---|---|
| 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.09648#6PAJ (statement). In WB9PTPN54H/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Problem Solving Through Recreational Mathematics SCF8AJPASB
| URI | m2://inv/SCF8AJPASB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem Solving Through Recreational Mathematics, Problem Solving Through Recreational Mathematics (problem). Also Wikidata Q111944359
History
- 2026-11-02: add by m2/dev
SCF8AQ76T7 SCF8AQ76T7
| URI | m2://inv/SCF8AQ76T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#SFMM (statement). In 1A01NFHBGA/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Zero-point energy SCFEZVXPNZ
| URI | m2://inv/SCFEZVXPNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#MIRT, Zero-point energy (unknown)
History
- 2026-11-02: add by m2/dev
Lebesgue integration SCFK2XGMD0
| URI | m2://inv/SCFK2XGMD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#92GX, Lebesgue integration (definition)
History
- 2026-11-02: add by m2/dev
Conchoid (mathematics) SCG44FPYGS
| URI | m2://inv/SCG44FPYGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#O8PU, Conchoid (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Properties SCGBPQFHW9
| URI | m2://inv/SCGBPQFHW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero ring#J2IT, Properties (statement)
History
- 2026-11-02: add by m2/dev
SCGE1ZFSEY SCGE1ZFSEY
| URI | m2://inv/SCGE1ZFSEY |
|---|---|
| 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.11455#LWX6 (statement). In Z1EBVH5SP1/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.3
Encrypting PIN pad SCGFR6S5QK
| URI | m2://inv/SCGFR6S5QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encrypting PIN pad, Encrypting PIN pad (definition). Also Wikidata Q5375613
History
- 2026-11-02: add by m2/dev
Cyclic moving windows SCGR0VDHAE
| URI | m2://inv/SCGR0VDHAE |
|---|---|
| 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.16510#V0KB, Cyclic moving windows (statement). In V7SQ4VXCRX/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
SCGTCMECCT SCGTCMECCT
| URI | m2://inv/SCGTCMECCT |
|---|---|
| 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#NPBQ (statement). In 38XJWDZ2PH/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
SCGYFJQH3C SCGYFJQH3C
| URI | m2://inv/SCGYFJQH3C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#N1O6 (definition). In JY50YXMH5N/e1, definition 7
History
- 2026-10-29: add by m2/v0.4.12
Pulsar timing SCH26HDQ9W
| URI | m2://inv/SCH26HDQ9W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methods of detecting exoplanets#1Z0Q, Pulsar timing (unknown)
History
- 2026-11-02: add by m2/dev
Design principles SCHB355NED
| URI | m2://inv/SCHB355NED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic modeling language#XSGM, Design principles (statement)
History
- 2026-11-02: add by m2/dev
SCHBTGFY1G SCHBTGFY1G
| URI | m2://inv/SCHBTGFY1G |
|---|---|
| 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.13846#NGHW (statement). In DN3HGHGRYJ/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
SCHN75S94J SCHN75S94J
| URI | m2://inv/SCHN75S94J |
|---|---|
| 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.27800#XK6E (statement)
History
- 2026-11-01: add by m2/v0.6.15
A5/1 SCHWKHGH96
| URI | m2://inv/SCHWKHGH96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A5/1, A5/1 (definition). Also Wikidata Q783541
History
- 2026-11-02: add by m2/dev
SCHXM3NHPC SCHXM3NHPC
| URI | m2://inv/SCHXM3NHPC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#MI2I (definition). In NSP90G5XCQ/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
SCJ3RHQ9JT SCJ3RHQ9JT
| URI | m2://inv/SCJ3RHQ9JT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#TF39 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem SCJNYT5X33
| URI | m2://inv/SCJNYT5X33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deficiency (graph theory)#A5X4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement SCK0NTW3EX
| URI | m2://inv/SCK0NTW3EX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime number theorem#VS11, Statement (statement)
History
- 2026-11-02: add by m2/dev
Ewens's sampling formula SCK8EYEN31
| URI | m2://inv/SCK8EYEN31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#TB0Q, Ewens's sampling formula (statement)
History
- 2026-11-02: add by m2/dev
Examples SCK8J2ET77
| URI | m2://inv/SCK8J2ET77 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-abelian category#J501, Examples (example)
History
- 2026-11-02: add by m2/dev
Centovalli SCKDZ442PK
| URI | m2://inv/SCKDZ442PK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ABFQ, Centovalli (unknown)
History
- 2026-11-02: add by m2/dev
Stability of the finite truncation SCKJBG46S1
| URI | m2://inv/SCKJBG46S1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#HJJO, Stability of the finite truncation (statement). In 8BNPFYQDQX/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
SCKJY0RBFH SCKJY0RBFH
| URI | m2://inv/SCKJY0RBFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/non-comp-set.tex#thm:K (statement). In PKGMM3P5QY, thm, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Examples SCKM27FAVW
| URI | m2://inv/SCKM27FAVW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence subgroup#D7GO, Examples (example)
History
- 2026-11-02: add by m2/dev
Nested pair SCKT9BBCTC
| URI | m2://inv/SCKT9BBCTC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#1PUZ, Nested pair (definition). In 7MVPNFPRKB/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
SCKV2HPCJC SCKV2HPCJC
| URI | m2://inv/SCKV2HPCJC |
|---|---|
| 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.33469#WD5Z (statement). In TC5QA4AB4Z/e1, corollary 4.43
History
- 2026-10-30: add by m2/v0.4.12
SCM2FPM5WV SCM2FPM5WV
| URI | m2://inv/SCM2FPM5WV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#WMOD (definition). In P9D8W64P7X/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Applications SCM7BGDNMK
| URI | m2://inv/SCM7BGDNMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Building (mathematics)#6JUR, Applications (example)
History
- 2026-11-02: add by m2/dev
Conormals to torus orbits SCMCMANKX0
| URI | m2://inv/SCMCMANKX0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#TSJ3, Conormals to torus orbits (definition). In XHSKEPT3VD/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
multiple precision the unblocked LU is a strong comparison target SCMEBKAWQ2
| URI | m2://inv/SCMEBKAWQ2 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#L29E, multiple precision the unblocked LU is a strong comparison target (unknown)
History
- 2026-11-01: add by m2/v0.6.15
SCMET4B9N7 SCMET4B9N7
| URI | m2://inv/SCMET4B9N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33775#2D7C (statement). In VVQ1FMTHXB/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Wesley Clair Mitchell SCMM135VPD
| URI | m2://inv/SCMM135VPD |
|---|---|
| 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#882D, Wesley Clair Mitchell (unknown)
History
- 2026-11-02: add by m2/dev
Weak topology SCMSDA0JXE
| URI | m2://inv/SCMSDA0JXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#3Y29, Weak topology (definition)
- wikipedia: Wikipedia List of topologies#AUWJ, Weak topology (definition)
History
- 2026-11-02: add by m2/dev
Van der Corput's lemma SCMSGVZ5NM
| URI | m2://inv/SCMSGVZ5NM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W0J6, Van der Corput's lemma (statement)
History
- 2026-11-02: add by m2/dev
Buchholz's notation SCMWBMM6F5
| URI | m2://inv/SCMWBMM6F5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal notation#N2MB, Buchholz's notation (unknown)
History
- 2026-11-02: add by m2/dev
SCMXVTH45S SCMXVTH45S
| URI | m2://inv/SCMXVTH45S |
|---|---|
| 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 2211.15302#X4YU (statement). In FAZF2RBE6Y/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
SCN3XRZ1MQ SCN3XRZ1MQ
| URI | m2://inv/SCN3XRZ1MQ |
|---|---|
| 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.20060#A6I2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
SCNBVQAB7G SCNBVQAB7G
| URI | m2://inv/SCNBVQAB7G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#mv:prop:pathconcat (statement). In E59CDZA4DP, prop, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
SCNJ7DM4V5 SCNJ7DM4V5
| URI | m2://inv/SCNJ7DM4V5 |
|---|---|
| Kind | definition |
| 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.13875#3LRR (definition). In W6FK624JRQ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
SCNJRDV57W SCNJRDV57W
| URI | m2://inv/SCNJRDV57W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:fsdiffmindecay (exercise). In E59CDZA4DP, exercise, section 1.8.7
History
- 2026-11-01: add by m2/v0.6.13
Statement SCNY5N8JB1
| URI | m2://inv/SCNY5N8JB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fáry–Milnor theorem#8XN2, Statement (statement)
History
- 2026-11-02: add by m2/dev
SCP07RT3B0 SCP07RT3B0
| URI | m2://inv/SCP07RT3B0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class number problem#M74S (problem)
History
- 2026-11-02: add by m2/dev
Listing number SCP0MG92NW
| URI | m2://inv/SCP0MG92NW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#T8U2, Listing number (definition)
History
- 2026-11-02: add by m2/dev
Rostislav Grigorchuk SCP6A3A53R
| URI | m2://inv/SCP6A3A53R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OUXM, Rostislav Grigorchuk (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OPXU, Rostislav Grigorchuk (topic)
History
- 2026-11-02: add by m2/dev
Acta Mathematica SCPFVJ5B9N
| URI | m2://inv/SCPFVJ5B9N |
|---|---|
| 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 Q343171, Acta Mathematica (unknown). Also ProofWiki Book:Journal/Acta_Mathematica
- wikipedia: Wikipedia Acta Mathematica, Acta Mathematica (definition). Also Wikidata Q343171
History
- 2026-10-26: add by m2/dev
Tauberian theorem SCPMQHGPG8
| URI | m2://inv/SCPMQHGPG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic combinatorics#65XV, Tauberian theorem (statement)
History
- 2026-11-02: add by m2/dev
nondegenerate forms SCPN7EVWGF
| URI | m2://inv/SCPN7EVWGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > nondegenerate forms, nondegenerate forms (unknown). Also Mathlib LinearMap.BilinForm.Nondegenerate
History
- 2026-10-26: add by m2/dev
SCQ4BJ5HPY SCQ4BJ5HPY
| URI | m2://inv/SCQ4BJ5HPY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-20 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
SCQ5MC72XD SCQ5MC72XD
| URI | m2://inv/SCQ5MC72XD |
|---|---|
| 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.04434#SMBJ (statement). In EY0QS456EC/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.12
SCQ8HT0CPM SCQ8HT0CPM
| URI | m2://inv/SCQ8HT0CPM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#5UOC (definition). In JXTG8KP95P/e1, definition 5.20
History
- 2026-10-30: add by m2/v0.4.12
SCQ924HSWC SCQ924HSWC
| URI | m2://inv/SCQ924HSWC |
|---|---|
| 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 2206.12966#M1CV (statement). In VH93X5QZDV/e1, lemma 1.3
History
- 2026-10-27: add by m2/v0.3.5
Lah number SCQMJSK188
| URI | m2://inv/SCQMJSK188 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q451829, Lah number (object). Also MathWorld LahNumber, OEIS A105278
- wikipedia: Wikipedia Lah number, Lah number (definition). Also Wikidata Q451829
History
- 2026-10-26: add by m2/dev
SCR5YF3R7K SCR5YF3R7K
| URI | m2://inv/SCR5YF3R7K |
|---|---|
| Kind | problem |
| 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 2501.17009#V910 (problem). In PESAKD6SSW/e1, problem
History
- 2026-10-27: add by m2/v0.3.6
Li Cai SCRFRSKK1V
| URI | m2://inv/SCRFRSKK1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Li Cai, Li Cai (topic). Also Wikidata Q28962602
History
- 2026-11-02: add by m2/dev
SCRHHAJN3J SCRHHAJN3J
| URI | m2://inv/SCRHHAJN3J |
|---|---|
| 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 0808.1331#834I (statement). In RB2B1N73P0/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
SCRP7WKMA1 SCRP7WKMA1
| URI | m2://inv/SCRP7WKMA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#3S3Y (statement). In G2PA4KAGRP/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.6
Galen SCRQZHH23Y
| URI | m2://inv/SCRQZHH23Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#O0CG, Galen (topic)
History
- 2026-11-02: add by m2/dev
SCRRXYN5AV SCRRXYN5AV
| URI | m2://inv/SCRRXYN5AV |
|---|---|
| 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 1903.07030#VWYM (definition). In 9H45HQE7AZ/e1, definition 3.33
History
- 2026-10-27: add by m2/v0.3.5
Weak Kőnig's lemma WKL0 SCRX0E1CT2
| URI | m2://inv/SCRX0E1CT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse mathematics#O0CO, Weak Kőnig's lemma WKL0 (statement)
History
- 2026-11-02: add by m2/dev
SCS1DXXY1V SCS1DXXY1V
| URI | m2://inv/SCS1DXXY1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#YODR (statement)
History
- 2026-11-01: add by m2/v0.6.15
nand SCS3STXA7B
| URI | m2://inv/SCS3STXA7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QOYT, nand (definition)
History
- 2026-11-02: add by m2/dev
SCSAZNRAFQ SCSAZNRAFQ
| URI | m2://inv/SCSAZNRAFQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2610.18302#NFTC (example). In VJTRH1S4JA/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.2
self number SCSB6YWAT1
| URI | m2://inv/SCSB6YWAT1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2623827, self number (concept). Also MathWorld SelfNumber, OEIS A003052
- wikipedia: Wikipedia Self number, Self number (definition). Also Wikidata Q2623827
History
- 2026-10-26: add by m2/dev
Cover functor SCSBS8PH42
| URI | m2://inv/SCSBS8PH42 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#8YXE, Cover functor (definition). In PCAS8S14J6/e1, definition B.3
History
- 2026-10-31: add by m2/v0.5.6
Positivity of the spiral kernel SCSEXS1APK
| URI | m2://inv/SCSEXS1APK |
|---|---|
| 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#TCL6, Positivity of the spiral kernel (statement). In 65TJENWK7X/e1, lemma 39
History
- 2026-10-29: add by m2/v0.4.10
Pair bound SCSJ0A4MHK
| URI | m2://inv/SCSJ0A4MHK |
|---|---|
| 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.38993#J8M6, Pair bound (statement). In AFKQK866Y1/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
System dynamics SCSRC5TZKY
| URI | m2://inv/SCSRC5TZKY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#N2HH, System dynamics (topic)
History
- 2026-11-02: add by m2/dev
SCSSRRTFQS SCSSRRTFQS
| URI | m2://inv/SCSSRRTFQS |
|---|---|
| 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.12544#VP6C (statement). In XXV36V6CK8/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Basic properties SCST6NSGAW
| URI | m2://inv/SCST6NSGAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat number#CVZZ, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
SCSTWKZH96 SCSTWKZH96
| URI | m2://inv/SCSTWKZH96 |
|---|---|
| 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.24917#5AW2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert Megginson SCSV28BX76
| URI | m2://inv/SCSV28BX76 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Megginson, Robert Megginson (topic). Also Wikidata Q24809975
History
- 2026-11-02: add by m2/dev
SCSVP7S0XH SCSVP7S0XH
| URI | m2://inv/SCSVP7S0XH |
|---|---|
| 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.22344#FKPB (statement)
History
- 2026-11-02: add by m2/v0.6.17
SCSWYTKMQH SCSWYTKMQH
| URI | m2://inv/SCSWYTKMQH |
|---|---|
| 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.28195#YZ9F (statement)
History
- 2026-11-01: add by m2/v0.6.15
The empty coefficient and the spectral deficit SCT1C9F74X
| URI | m2://inv/SCT1C9F74X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16069#S1GN, The empty coefficient and the spectral deficit (statement). In MBJA03ES8N/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
local metric and weight SCT3D4Z5DD
| URI | m2://inv/SCT3D4Z5DD |
|---|---|
| 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.38838#NB3W, local metric and weight (statement). In 3EH8M9GWTX/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Regularity at flat tangent cones SCT7WC35BZ
| URI | m2://inv/SCT7WC35BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#W0Z2, Regularity at flat tangent cones (statement). In HXFA55BREZ/e1, proposition 5.12
History
- 2026-10-29: add by m2/v0.4.10
PSL(2,7) SCTAQ6H7MT
| URI | m2://inv/SCTAQ6H7MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSL(2,7), PSL(2,7) (definition). Also Wikidata Q1914781
History
- 2026-11-02: add by m2/dev
Fractional Distributional Derivative of Complex Order; see Chapter 6 of , page 174 SCTD2D6J2C
| URI | m2://inv/SCTD2D6J2C |
|---|---|
| Kind | definition |
| 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#79VG, Fractional Distributional Derivative of Complex Order; see Chapter 6 of , page 174 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Algorithm SCTHYY6YNB
| URI | m2://inv/SCTHYY6YNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shor's algorithm#TGBS, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Thiruvenkatachari Parthasarathy SCTNZSQCVD
| URI | m2://inv/SCTNZSQCVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#5H3C, Thiruvenkatachari Parthasarathy (topic)
History
- 2026-11-02: add by m2/dev
SCTPVEV1R8 SCTPVEV1R8
| URI | m2://inv/SCTPVEV1R8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#26D8 (definition). In 9ZSNSJRJ5N/e1, definition 6
History
- 2026-10-27: add by m2/v0.4.2
SCTXZNZRF6 SCTXZNZRF6
| URI | m2://inv/SCTXZNZRF6 |
|---|---|
| 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#PB59 (statement). In 7QFBJCRPW1/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Tits SCV05XPDTM
| URI | m2://inv/SCV05XPDTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#YZCE, Tits (definition)
History
- 2026-11-02: add by m2/dev
SCV477PM3A SCV477PM3A
| URI | m2://inv/SCV477PM3A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#IA3Y (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications SCV8GCDXW5
| URI | m2://inv/SCV8GCDXW5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refractive index#EVJW, Applications (example)
History
- 2026-11-02: add by m2/dev
SCVAQZGYR2 SCVAQZGYR2
| URI | m2://inv/SCVAQZGYR2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
vector SCVCSAQ2SX
| URI | m2://inv/SCVCSAQ2SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#PFAO, vector (definition)
History
- 2026-11-02: add by m2/dev
Abraham Eberlen SCVK95TQR3
| URI | m2://inv/SCVK95TQR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WQJ6, Abraham Eberlen (unknown)
History
- 2026-11-02: add by m2/dev
Generalized exponential response formula SCVMPCJKQP
| URI | m2://inv/SCVMPCJKQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential response formula#SUWW, Generalized exponential response formula (statement)
History
- 2026-11-02: add by m2/dev
SCVS4502JX SCVS4502JX
| URI | m2://inv/SCVS4502JX |
|---|---|
| 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.29498#JQAW (problem)
History
- 2026-11-01: add by m2/v0.6.15
ÉLECTRE SCVT2KVY12
| URI | m2://inv/SCVT2KVY12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ÉLECTRE, ÉLECTRE (definition). Also Wikidata Q3045948
History
- 2026-11-02: add by m2/dev
\texttt{Exponential convergence SCW6SA5QJZ
| URI | m2://inv/SCW6SA5QJZ |
|---|---|
| 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.06343#HMKN, \texttt{Exponential convergence (statement). In R8176XJ535/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Mindel C. Sheps SCWHR6E3BB
| URI | m2://inv/SCWHR6E3BB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mindel C. Sheps, Mindel C. Sheps (topic). Also Wikidata Q90688156
History
- 2026-11-02: add by m2/dev
SCWHX8ZC41 SCWHX8ZC41
| URI | m2://inv/SCWHX8ZC41 |
|---|---|
| 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 2610.10505#EY0V (statement). In JW8HH6EPG2/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
SCWPTZRGC5 SCWPTZRGC5
| URI | m2://inv/SCWPTZRGC5 |
|---|---|
| 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.35030#91B9 (statement). In DPT4P2BTEW/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
SCWQVXKN5Q SCWQVXKN5Q
| URI | m2://inv/SCWQVXKN5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#THMD (statement). In DZ12XTTJSM/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Berry–Tabor conjecture SCX5RG53BX
| URI | m2://inv/SCX5RG53BX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum chaos#0Y61, Berry–Tabor conjecture (statement)
History
- 2026-11-02: add by m2/dev
Sinusoid SCX90THK61
| URI | m2://inv/SCX90THK61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#X1NM, Sinusoid (definition)
History
- 2026-11-02: add by m2/dev
SCXDCY3PPT SCXDCY3PPT
| URI | m2://inv/SCXDCY3PPT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#BTI6 (definition). In BWD76W20W8/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.12
SCXGETPZ2G SCXGETPZ2G
| URI | m2://inv/SCXGETPZ2G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
Martingale convergence theorem SCXJ68YVMZ
| URI | m2://inv/SCXJ68YVMZ |
|---|---|
| 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#H70O, Martingale convergence theorem (statement). In SBZNH932ZV/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Use SCXPBRRBBG
| URI | m2://inv/SCXPBRRBBG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association mapping#V1VA, Use (example)
History
- 2026-11-02: add by m2/dev
Applications SCXS88TAKF
| URI | m2://inv/SCXS88TAKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital angular momentum of light#M3QW, Applications (example)
History
- 2026-11-02: add by m2/dev
SCY0N6N3H2 SCY0N6N3H2
| URI | m2://inv/SCY0N6N3H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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.26762#K7MZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weyl–Titchmarsh–Kodaira theory SCY2CS5HQ7
| URI | m2://inv/SCY2CS5HQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#Z62Y, Weyl–Titchmarsh–Kodaira theory (definition)
History
- 2026-11-02: add by m2/dev
SCY5DD2TB4 SCY5DD2TB4
| URI | m2://inv/SCY5DD2TB4 |
|---|---|
| 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.12810#O6L6 (statement). In DR35633CPN/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
One-parameter group SCY87S420B
| URI | m2://inv/SCY87S420B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#TPTS, One-parameter group (definition)
History
- 2026-11-02: add by m2/dev
Gould's sequence SCYG83VQYP
| URI | m2://inv/SCYG83VQYP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28402870, Gould's sequence (object). Also OEIS A001316
- wikipedia: Wikipedia Gould's sequence, Gould's sequence (object). Also Wikidata Q28402870
History
- 2026-10-26: add by m2/dev
Generalizations SCYME38FQ3
| URI | m2://inv/SCYME38FQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antimagic square#0SEW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
simplicial set SCYSHTJXWK
| URI | m2://inv/SCYSHTJXWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simplicial set WW81ARB8K9 |
Mentions
- wikidata: Wikidata Q1467124, simplicial set (unknown). Also nLab simplicial set
- wikipedia: Wikipedia Simplicial set, Simplicial set (definition). Also Wikidata Q1467124
History
- 2026-10-26: add by m2/dev
Properties SCZ3KB3J69
| URI | m2://inv/SCZ3KB3J69 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou–Bieberbach domain#VWUT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples SCZ5CYG7E3
| URI | m2://inv/SCZ5CYG7E3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta set#FXM1, Examples (example)
History
- 2026-11-02: add by m2/dev
SCZG55HYG1 SCZG55HYG1
| URI | m2://inv/SCZG55HYG1 |
|---|---|
| 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.25973#7NVP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations SCZJ2K71DG
| URI | m2://inv/SCZJ2K71DG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donaldson–Thomas theory#R2J6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Birch's theorem SCZNV8BQX6
| URI | m2://inv/SCZNV8BQX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8ICQ, Birch's theorem (statement)
History
- 2026-11-02: add by m2/dev
Base rate fallacy SCZS4YV2BM
| URI | m2://inv/SCZS4YV2BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#12DZ, Base rate fallacy (definition)
History
- 2026-11-02: add by m2/dev
SCZV90F0ZR SCZV90F0ZR
| URI | m2://inv/SCZV90F0ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13180#QSKA (statement). In 7TSVFYEGD8/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
SCZXTVZWQB SCZXTVZWQB
| URI | m2://inv/SCZXTVZWQB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#65VK (definition). In GHKR740SG3/e1, definition 9.3
History
- 2026-10-31: add by m2/v0.5.6
Analytic formulation SCZZMR5DXG
| URI | m2://inv/SCZZMR5DXG |
|---|---|
| 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.28024#E0II, Analytic formulation (statement)
History
- 2026-11-01: add by m2/v0.6.15