Inventory rows M0
The cards of the rows of the inventory whose ids start with M0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Information diagram M007HRGZ4D
| URI | m2://inv/M007HRGZ4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information diagram, Information diagram (definition). Also Wikidata Q17078448
History
- 2026-11-02: add by m2/dev
Chebyshev polynomials M00A6S9YB2
| URI | m2://inv/M00A6S9YB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#C5XX, Chebyshev polynomials (definition)
- wikipedia: Wikipedia List of numerical analysis topics#I50A, Chebyshev polynomials (definition)
History
- 2026-11-02: add by m2/dev
M00ETDWYGF M00ETDWYGF
| URI | m2://inv/M00ETDWYGF |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#VR2Q (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Thomas Buchert M00X29SFTP
| URI | m2://inv/M00X29SFTP |
|---|---|
| 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 Q56489977, Thomas Buchert (unknown). Also nLab Thomas Buchert
History
- 2026-10-26: add by m2/dev
Big Bang M00YV4GA0K
| URI | m2://inv/M00YV4GA0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#U606, Big Bang (definition)
History
- 2026-11-02: add by m2/dev
Archimedes' hat-box theorem M011E2Z3A0
| URI | m2://inv/M011E2Z3A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#0N86, Archimedes' hat-box theorem (definition)
History
- 2026-11-02: add by m2/dev
Andrew Mackay M011T9MGV6
| URI | m2://inv/M011T9MGV6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Mackay (mathematician), Andrew Mackay (topic). Also Wikidata Q4757851
History
- 2026-11-02: add by m2/dev
M01263ZH0M M01263ZH0M
| URI | m2://inv/M01263ZH0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.27192#5DTT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uses M01892WRZ9
| URI | m2://inv/M01892WRZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosagon#DSPF, Uses (example)
History
- 2026-11-02: add by m2/dev
Example M01982JG13
| URI | m2://inv/M01982JG13 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushdown automaton#EZD2, Example (example)
History
- 2026-11-02: add by m2/dev
M01B22Z8QE M01B22Z8QE
| URI | m2://inv/M01B22Z8QE |
|---|---|
| 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.03298#FBBE (statement). In 9SBZP218SM/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Upper and lower probabilities M01F8XHQY2
| URI | m2://inv/M01F8XHQY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper and lower probabilities, Upper and lower probabilities (definition). Also Wikidata Q7899032
History
- 2026-11-02: add by m2/dev
Non-Euclidean crystallographic group M01R88NR6P
| URI | m2://inv/M01R88NR6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Euclidean crystallographic group, Non-Euclidean crystallographic group (definition). Also Wikidata Q7048743
History
- 2026-11-02: add by m2/dev
M020FXE5DX M020FXE5DX
| URI | m2://inv/M020FXE5DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 math/0406514#JE57 (statement). In CY1FE8W1ZW/e1, lemma 0.78
History
- 2026-10-27: add by m2/v0.4.0
Bruno Bertotti M020R7APYM
| URI | m2://inv/M020R7APYM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#7IPW, Bruno Bertotti (unknown)
History
- 2026-11-02: add by m2/dev
Capped geometric prefix M020TKC4TT
| URI | m2://inv/M020TKC4TT |
|---|---|
| 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.38668#A1BN, Capped geometric prefix (statement). In VB1EZ9K6YW/e1, theorem 9.2
History
- 2026-10-30: add by m2/v0.4.12
Erica Groshen M021V7MPKE
| URI | m2://inv/M021V7MPKE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erica Groshen, Erica Groshen (topic). Also Wikidata Q5387881
History
- 2026-11-02: add by m2/dev
M023K9HPF9 M023K9HPF9
| URI | m2://inv/M023K9HPF9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
M026SZDGVT M026SZDGVT
| URI | m2://inv/M026SZDGVT |
|---|---|
| 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 2610.08252#0B1A (statement). In M50TGNSJJR/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Representation M028QC0SYT
| URI | m2://inv/M028QC0SYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia −2#OUOY, Representation (definition)
History
- 2026-11-02: add by m2/dev
Examples M029RCGMDY
| URI | m2://inv/M029RCGMDY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-consistent theory#L31U, Examples (example)
History
- 2026-11-02: add by m2/dev
M02C1X8PSF M02C1X8PSF
| URI | m2://inv/M02C1X8PSF |
|---|---|
| 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 2605.24355#69K6 (definition). In VV3AJMWWCR/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.6
Plane branch factors M02M867N14
| URI | m2://inv/M02M867N14 |
|---|---|
| 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.16962#60UE, Plane branch factors (statement). In KJC9FRS3C2/e1, corollary 9.4
History
- 2026-10-28: add by m2/v0.4.2
Infinite activity M02MS36XMQ
| URI | m2://inv/M02MS36XMQ |
|---|---|
| Kind | example |
| 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.31102#ALKV, Infinite activity (example). In 7CADATJMAA/e1, example 6.1
History
- 2026-10-31: add by m2/v0.5.6
Remark M02P2W827X
| URI | m2://inv/M02P2W827X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem#X3AC, Remark (unknown)
History
- 2026-11-02: add by m2/dev
M032XZHVXW M032XZHVXW
| URI | m2://inv/M032XZHVXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#MKND (statement). In BVAWVRS3R9/e1, theorem 2.23
History
- 2026-10-28: add by m2/v0.4.2
Nilsequence discorrelation M03WGF81XS
| URI | m2://inv/M03WGF81XS |
|---|---|
| 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.09567#JRGF, Nilsequence discorrelation (statement). In 7RV6BDZAFK/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
M042EXPXJ5 M042EXPXJ5
| URI | m2://inv/M042EXPXJ5 |
|---|---|
| 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 0906.4245#NYJ4 (statement). In GPVBE4SEVF/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.3.5
S-estimator M043ZRWQCD
| URI | m2://inv/M043ZRWQCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-estimator, S-estimator (definition). Also Wikidata Q25344749
History
- 2026-11-02: add by m2/dev
R.9 -- Mod-32 ceiling M0482C7Z26
| URI | m2://inv/M0482C7Z26 |
|---|---|
| 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#2JZQ, R.9 -- Mod-32 ceiling (statement)
History
- 2026-11-01: add by m2/v0.6.15
M049H6PF01 M049H6PF01
| URI | m2://inv/M049H6PF01 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-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 2104.12015#13DC (example). In ZZ2P08DVQW/e1, example 10.6
History
- 2026-10-27: add by m2/v0.3.5
Definition M04BV3M6MJ
| URI | m2://inv/M04BV3M6MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-knowledge proof#NEUI, Definition (definition)
History
- 2026-11-02: add by m2/dev
M04CX032E4 M04CX032E4
| URI | m2://inv/M04CX032E4 |
|---|---|
| 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.17476#AOXN (statement). In 6HXD74FA4S/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
Elementary properties M04JX3T2BJ
| URI | m2://inv/M04JX3T2BJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix exponential#JO29, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
M051RAT52K M051RAT52K
| URI | m2://inv/M051RAT52K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.04498#DHSF (statement). In HHF08X70P6/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
M0561HMRVW M0561HMRVW
| URI | m2://inv/M0561HMRVW |
|---|---|
| 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#RHNY (statement). In 5B10HAY4C3/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Definition M057DNT7GT
| URI | m2://inv/M057DNT7GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest path problem#WNWU, Definition (definition)
History
- 2026-11-02: add by m2/dev
M05A3ZJG33 M05A3ZJG33
| URI | m2://inv/M05A3ZJG33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25739#1IVE (statement)
History
- 2026-11-01: add by m2/v0.6.15
atto M05D03H783
| URI | m2://inv/M05D03H783 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110817, atto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/atto-
History
- 2026-10-26: add by m2/dev
M05QG32CTD M05QG32CTD
| URI | m2://inv/M05QG32CTD |
|---|---|
| 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.21724#V9ZQ (statement). In EDDJCSBMXN/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
M05YYYV02S M05YYYV02S
| URI | m2://inv/M05YYYV02S |
|---|---|
| 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.19590#ZMNI (statement). In AZFARX0CXG/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
M061HJN2DE M061HJN2DE
| URI | m2://inv/M061HJN2DE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#thm:sum of three consecutive integers (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
M061S5QJN6 M061S5QJN6
| URI | m2://inv/M061S5QJN6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#S6EF (definition). In 6HP7BR9WZM/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Von Eye's kappa M0631JYY5F
| URI | m2://inv/M0631JYY5F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#FUZH, Von Eye's kappa (unknown)
History
- 2026-11-02: add by m2/dev
Serre–Swan theorem for graded manifolds M065XFTKER
| URI | m2://inv/M065XFTKER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded manifold#4PQX, Serre–Swan theorem for graded manifolds (statement)
History
- 2026-11-02: add by m2/dev
Normal form M06AF360A0
| URI | m2://inv/M06AF360A0 |
|---|---|
| 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.11652#0P06, Normal form (statement). In VEXM27M8Q1/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.3
M06DAWM6W6 M06DAWM6W6
| URI | m2://inv/M06DAWM6W6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
Leonard Jimmie Savage M06F57ATRC
| URI | m2://inv/M06F57ATRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#G930, Leonard Jimmie Savage (unknown)
History
- 2026-11-02: add by m2/dev
M06RN5JE2C M06RN5JE2C
| URI | m2://inv/M06RN5JE2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#FFC2 (statement). In 7XV6T4N79V/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Algorithms M06WVWS421
| URI | m2://inv/M06WVWS421 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological sorting#LMTU, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
M0738ZVGRZ M0738ZVGRZ
| URI | m2://inv/M0738ZVGRZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-3-1.xml#act-1-3-1 (exercise). In 907G4C4EJ1, activity, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
Jakob Steiner M073XWX5K8
| URI | m2://inv/M073XWX5K8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jakob Steiner, Jakob Steiner (topic). Also Wikidata Q123514
History
- 2026-11-02: add by m2/dev
M075CTT3V3 M075CTT3V3
| URI | m2://inv/M075CTT3V3 |
|---|---|
| Kind | definition |
| 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.20466#EP6K (definition). In M4ZVJWM8YA/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.2
M078QN1D38 M078QN1D38
| URI | m2://inv/M078QN1D38 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#EJMX (definition)
History
- 2026-11-02: add by m2/v0.6.18
Examples M07AJD7F64
| URI | m2://inv/M07AJD7F64 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric norm#HVVU, Examples (example)
History
- 2026-11-02: add by m2/dev
M07PCFZE3S M07PCFZE3S
| URI | m2://inv/M07PCFZE3S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/partial-functions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
M07SSZPT5D M07SSZPT5D
| URI | m2://inv/M07SSZPT5D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 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 2609.37520#BN9N (example). In BDN507RN7J/e1, example 4.1.15
History
- 2026-10-30: add by m2/v0.4.12
order, partial M07VTRM583
| URI | m2://inv/M07VTRM583 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/order-partial, order, partial (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Benjamin F. Logan M07Z6HSFM2
| URI | m2://inv/M07Z6HSFM2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IQ1B, Benjamin F. Logan (unknown)
History
- 2026-11-02: add by m2/dev
adhesive category M0860XC7NT
| URI | m2://inv/M0860XC7NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17001823, adhesive category (unknown). Also nLab adhesive category
- wikipedia: Wikipedia Adhesive category, Adhesive category (definition). Also Wikidata Q17001823
History
- 2026-10-26: add by m2/dev
M0898BPW3M M0898BPW3M
| URI | m2://inv/M0898BPW3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25805#X0T4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
M08EXZ61ZK M08EXZ61ZK
| URI | m2://inv/M08EXZ61ZK |
|---|---|
| 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.20991#SM4U (statement). In H98ZC5YBSD/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Nicola Fergola M08MQNXCZ9
| URI | m2://inv/M08MQNXCZ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicola Fergola, Nicola Fergola (topic). Also Wikidata Q3876212
History
- 2026-11-02: add by m2/dev
M08QC08D6F M08QC08D6F
| URI | m2://inv/M08QC08D6F |
|---|---|
| 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.10937#CQTU (statement). In 6VVK3YTABP/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.3
M08WAPH9P8 M08WAPH9P8
| URI | m2://inv/M08WAPH9P8 |
|---|---|
| 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.12732#9ZA5 (statement). In 5E91Y3VY9E/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Holomorphic functional calculus M08ZFXHSYM
| URI | m2://inv/M08ZFXHSYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#1JJI, Holomorphic functional calculus (definition)
History
- 2026-11-02: add by m2/dev
Leonid Stein M090N0J3TX
| URI | m2://inv/M090N0J3TX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#SEYZ, Leonid Stein (unknown)
History
- 2026-11-02: add by m2/dev
Jacobi's elliptic functions M0932M53NJ
| URI | m2://inv/M0932M53NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of periodic functions#4KL0, Jacobi's elliptic functions (definition)
History
- 2026-11-02: add by m2/dev
HP-55 M095KYDG57
| URI | m2://inv/M095KYDG57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-55, HP-55 (definition). Also Wikidata Q3125154
History
- 2026-11-02: add by m2/dev
List of open-source computer algebra systems M095ZMMBHP
| URI | m2://inv/M095ZMMBHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#BAL0, List of open-source computer algebra systems (unknown)
History
- 2026-11-02: add by m2/dev
M098JSGSG4 M098JSGSG4
| URI | m2://inv/M098JSGSG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#OXIY (statement). In DDA62XQTWW/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
1881 United Kingdom census M09RWT7AZ3
| URI | m2://inv/M09RWT7AZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1881 United Kingdom census, 1881 United Kingdom census (definition). Also Wikidata Q7887922
History
- 2026-11-02: add by m2/dev
Construction M09Z8742F7
| URI | m2://inv/M09Z8742F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic hypercube#PZM1, Construction (definition)
History
- 2026-11-02: add by m2/dev
atan M0A7XAP6JZ
| URI | m2://inv/M0A7XAP6JZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.4.2/atan, atan (concept). In E9HS8K3A52, index, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
M0AGQ353Q5 M0AGQ353Q5
| URI | m2://inv/M0AGQ353Q5 |
|---|---|
| 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.11145#VH9G (statement). In 2KME4YY99M/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.3
Smearing retransformation M0AJK19E9Q
| URI | m2://inv/M0AJK19E9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smearing retransformation, Smearing retransformation (definition). Also Wikidata Q7544319
History
- 2026-11-02: add by m2/dev
Proximal normals M0AK6RK5MQ
| URI | m2://inv/M0AK6RK5MQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23872#PBTZ, Proximal normals (definition)
History
- 2026-11-02: add by m2/v0.6.17
M0APWZZVRA M0APWZZVRA
| URI | m2://inv/M0APWZZVRA |
|---|---|
| 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 2207.07461#ELDF (statement). In GAG532VMPF/e1, theorem 3.1.1
History
- 2026-10-27: add by m2/v0.3.5
Pseudo-contraction under the weighted $L_2$ norms M0AWFW89A0
| URI | m2://inv/M0AWFW89A0 |
|---|---|
| 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 2609.38132#FPIU, Pseudo-contraction under the weighted $L_2$ norms (statement). In K6CP8GP51H/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
M0AYX95NBC M0AYX95NBC
| URI | m2://inv/M0AYX95NBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#HG0G (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Cost of spectral truncation M0B2XN874G
| URI | m2://inv/M0B2XN874G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10640#O8CO, Cost of spectral truncation (statement). In BAQVK6N0RD/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Maupertuis's principle M0BQ6Q843D
| URI | m2://inv/M0BQ6Q843D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maupertuis's principle, Maupertuis's principle (statement). Also Wikidata Q644922
History
- 2026-11-02: add by m2/dev
M0BW1TMZG0 M0BW1TMZG0
| URI | m2://inv/M0BW1TMZG0 |
|---|---|
| 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 0904.2839#T9D8 (statement). In 2P34N0GWS1/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
M0BW8MBHB4 M0BW8MBHB4
| URI | m2://inv/M0BW8MBHB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#20QD (statement). In PA6JQDSKQT/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Properties M0BWRA10K1
| URI | m2://inv/M0BWRA10K1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded lattice#6GQU, Properties (statement)
History
- 2026-11-02: add by m2/dev
kinematics M0C57E6MF0
| URI | m2://inv/M0C57E6MF0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 70Bxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11476, kinematics (topic)
- wikipedia: Wikipedia Kinematics, Kinematics (topic). Also Wikidata Q11476
History
- 2026-10-26: add by m2/dev
M0C7AK4B2T M0C7AK4B2T
| URI | m2://inv/M0C7AK4B2T |
|---|---|
| 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 1806.05002#G4GW (statement). In JBAQ7DTW7B/e1, lemma F.2
History
- 2026-10-27: add by m2/v0.3.5
M0C9CX950A M0C9CX950A
| URI | m2://inv/M0C9CX950A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.3741#HZPT (statement). In BBXEQ9QE7K/e1, corollary 7.2
History
- 2026-10-27: add by m2/v0.3.5
Semicircle of Pythagoras M0CHB09AMK
| URI | m2://inv/M0CHB09AMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagoras#LCA3, Semicircle of Pythagoras (unknown)
History
- 2026-11-02: add by m2/dev
Janet Beery M0CMER1E8Q
| URI | m2://inv/M0CMER1E8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet Beery, Janet Beery (topic). Also Wikidata Q58885810
History
- 2026-11-02: add by m2/dev
D6 lattice M0CMHZ6Y6K
| URI | m2://inv/M0CMHZ6Y6K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-demicubic honeycomb#CF59, D6 lattice (unknown)
History
- 2026-11-02: add by m2/dev
M0CMKQH0YD M0CMKQH0YD
| URI | m2://inv/M0CMKQH0YD |
|---|---|
| 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 2609.30098#XA1F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Philip Mathews M0CXQS23CV
| URI | m2://inv/M0CXQS23CV |
|---|---|
| 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#10I4, Philip Mathews (unknown)
History
- 2026-11-02: add by m2/dev
M0CYEF2B8Q M0CYEF2B8Q
| URI | m2://inv/M0CYEF2B8Q |
|---|---|
| Kind | example |
| 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#QI2Q (example). In WD2NCBV9F0/e1, example 4.27
History
- 2026-10-27: add by m2/v0.3.5
M0CZSWD11M M0CZSWD11M
| URI | m2://inv/M0CZSWD11M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#OB6X (statement). In 2S89BG5WPH/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Mads Hak M0D0CNMSXK
| URI | m2://inv/M0D0CNMSXK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mads Hak, Mads Hak (topic). Also Wikidata Q6728703
History
- 2026-11-02: add by m2/dev
Construction M0D4YDZ2AT
| URI | m2://inv/M0D4YDZ2AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith–Volterra–Cantor set#8COA, Construction (definition)
History
- 2026-11-02: add by m2/dev
M0D7SVPW9D M0D7SVPW9D
| URI | m2://inv/M0D7SVPW9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#4T6J (statement). In ZT7H1ZDN96/e1, theorem 9.2
History
- 2026-10-29: add by m2/v0.4.10
Transfer tuples are simple cycles M0DGRRN3CY
| URI | m2://inv/M0DGRRN3CY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26055#2L9P, Transfer tuples are simple cycles (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mixed complementarity problem M0DJYNARHA
| URI | m2://inv/M0DJYNARHA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed complementarity problem, Mixed complementarity problem (problem). Also Wikidata Q6883962
History
- 2026-11-02: add by m2/dev
M0DKP7THWQ M0DKP7THWQ
| URI | m2://inv/M0DKP7THWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.08875#QWXF (statement). In QT8HPDAYPX/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.5
Jerry Lewis M0DMXR9RVN
| URI | m2://inv/M0DMXR9RVN |
|---|---|
| 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#P3K3, Jerry Lewis (unknown)
History
- 2026-11-02: add by m2/dev
M0DQBBP33F M0DQBBP33F
| URI | m2://inv/M0DQBBP33F |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#HIG9 (unknown). In QNBFHFZ3H0/e1, unknown 107
History
- 2026-10-28: add by m2/v0.4.2
Exponential factorial M0DX6KKZB5
| URI | m2://inv/M0DX6KKZB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#LNVT, Exponential factorial (definition)
History
- 2026-11-02: add by m2/dev
Spectral method M0E0BKKKT3
| URI | m2://inv/M0E0BKKKT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#4C3W, Spectral method (definition)
History
- 2026-11-02: add by m2/dev
Cantor tesseract M0E0K6RXE4
| URI | m2://inv/M0E0K6RXE4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6LYJ, Cantor tesseract (unknown)
History
- 2026-11-02: add by m2/dev
M0E2S0F0QS M0E2S0F0QS
| URI | m2://inv/M0E2S0F0QS |
|---|---|
| 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 2603.21971#J9LS (definition). In R6KSZ9H8CY/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
M0E4EWN4N5 M0E4EWN4N5
| URI | m2://inv/M0E4EWN4N5 |
|---|---|
| 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#A7RW (statement). In 5351H04TJY/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.4.0
M0E7NHVPQW M0E7NHVPQW
| URI | m2://inv/M0E7NHVPQW |
|---|---|
| Kind | definition |
| 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#91CK (definition). In VJTRH1S4JA/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Scott, Elizabeth M0E8PA8JEY
| URI | m2://inv/M0E8PA8JEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ADNY, Scott, Elizabeth (unknown)
History
- 2026-11-02: add by m2/dev
M0ECX247AF M0ECX247AF
| URI | m2://inv/M0ECX247AF |
|---|---|
| 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.13114#OXKT (statement). In 38RG49M1NB/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
ACNielsen M0EN2DQNTW
| URI | m2://inv/M0EN2DQNTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#9GB9, ACNielsen (unknown)
History
- 2026-11-02: add by m2/dev
Diffraction-limited system M0EP6H3J56
| URI | m2://inv/M0EP6H3J56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffraction-limited system, Diffraction-limited system (definition). Also Wikidata Q3707396
History
- 2026-11-02: add by m2/dev
Burali-Forti paradox and the T operation M0EQ2KAD60
| URI | m2://inv/M0EQ2KAD60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia New Foundations#ABX7, Burali-Forti paradox and the T operation (statement)
History
- 2026-11-02: add by m2/dev
double factorial M0F0CAGRRD
| URI | m2://inv/M0F0CAGRRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13520655, double factorial (unknown). Also MathWorld DoubleFactorial, nLab double factorial, OEIS A006882
- wikipedia: Wikipedia Double factorial, Double factorial (definition). Also Wikidata Q13520655
History
- 2026-10-26: add by m2/dev
M0F1HXK2N4 M0F1HXK2N4
| URI | m2://inv/M0F1HXK2N4 |
|---|---|
| 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.18600#EYEG (statement). In 31D6TQVCNZ/e1, theorem 1.10
History
- 2026-10-28: add by m2/v0.4.2
Implementation M0FSWA1CCQ
| URI | m2://inv/M0FSWA1CCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel analysis#PXJT, Implementation (definition)
History
- 2026-11-02: add by m2/dev
JavaScript M0FSZYC6E9
| URI | m2://inv/M0FSZYC6E9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#1MKN, JavaScript (unknown)
History
- 2026-11-02: add by m2/dev
Compositionality M0G1RBFZKN
| URI | m2://inv/M0G1RBFZKN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96702378, Compositionality (unknown). Also nLab compositionality
History
- 2026-10-26: add by m2/dev
Legacy of Plato's personal philosophy M0G4PTTW8A
| URI | m2://inv/M0G4PTTW8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plato#Z7MR, Legacy of Plato's personal philosophy (unknown)
History
- 2026-11-02: add by m2/dev
M0G56XRBCM M0G56XRBCM
| URI | m2://inv/M0G56XRBCM |
|---|---|
| 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.22469#3DV3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
M0G5K41YSK M0G5K41YSK
| URI | m2://inv/M0G5K41YSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/lambda-computable.tex#thm:lambda-computable (statement). In PKGMM3P5QY, thm, section 37.1
History
- 2026-11-01: add by m2/v0.6.13
Marginal model M0G97VM4B1
| URI | m2://inv/M0G97VM4B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0Z1H, Marginal model (definition)
History
- 2026-11-02: add by m2/dev
well-covered M0GBMHHWR1
| URI | m2://inv/M0GBMHHWR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#GFY1, well-covered (definition)
History
- 2026-11-02: add by m2/dev
M0GCXK2QJW M0GCXK2QJW
| URI | m2://inv/M0GCXK2QJW |
|---|---|
| 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.23341#7OTR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nonrecursive ordinal M0GHK537ZD
| URI | m2://inv/M0GHK537ZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonrecursive ordinal, Nonrecursive ordinal (definition). Also Wikidata Q5118283
History
- 2026-11-02: add by m2/dev
M0GKK9B1A8 M0GKK9B1A8
| URI | m2://inv/M0GKK9B1A8 |
|---|---|
| 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.14217#IU4Q (statement). In K0DHYQC5B7/e1, theorem 4.13
History
- 2026-10-28: add by m2/v0.4.2
Focal planes M0GMFQEBWD
| URI | m2://inv/M0GMFQEBWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal point (optics)#VVB5, Focal planes (unknown)
History
- 2026-11-02: add by m2/dev
type, unit M0GMNBC0VX
| URI | m2://inv/M0GMNBC0VX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.8/type-unit, type, unit (concept). In N54F33XE07, index, section A.8
History
- 2026-11-01: add by m2/v0.6.13
compactness, metric M0GN77TJRM
| URI | m2://inv/M0GN77TJRM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/compactness-metric, compactness, metric (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Halbert L. Dunn Award M0GN90HRQ5
| URI | m2://inv/M0GN90HRQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halbert L. Dunn Award, Halbert L. Dunn Award (definition). Also Wikidata Q5641147
History
- 2026-11-02: add by m2/dev
Smallness and the Frattini subalgebra M0GQ2G8KWF
| URI | m2://inv/M0GQ2G8KWF |
|---|---|
| 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#JPFV, Smallness and the Frattini subalgebra (statement). In HX63A1PH1W/e1, proposition 3.40
History
- 2026-10-28: add by m2/v0.4.3
M0GRWEY81G M0GRWEY81G
| URI | m2://inv/M0GRWEY81G |
|---|---|
| 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.18281#WSMF (statement). In QYD0EJM85G/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
Statement M0GWQBG8Q8
| URI | m2://inv/M0GWQBG8Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epsilon-induction#QO2I, Statement (statement)
History
- 2026-11-02: add by m2/dev
M0H7C2TXBB M0H7C2TXBB
| URI | m2://inv/M0H7C2TXBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#VTAU (statement). In 79H1DEK4M9/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.10
M0H95GPHYP M0H95GPHYP
| URI | m2://inv/M0H95GPHYP |
|---|---|
| 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#DZMX (statement). In JW8HH6EPG2/e1, lemma 3.25
History
- 2026-10-29: add by m2/v0.4.10
Mean-mode exception is nonempty M0HF5AJKW0
| URI | m2://inv/M0HF5AJKW0 |
|---|---|
| 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.22384#JNU0, Mean-mode exception is nonempty (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kaniadakis Erlang distribution M0HGGZJHSV
| URI | m2://inv/M0HGGZJHSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis Erlang distribution, Kaniadakis Erlang distribution (definition). Also Wikidata Q113429315
History
- 2026-11-02: add by m2/dev
M0HH07JV1T M0HH07JV1T
| URI | m2://inv/M0HH07JV1T |
|---|---|
| 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.19036#BDSA (statement). In 76GJ814P0A/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Deficiency Lemma M0HK5YW0GZ
| URI | m2://inv/M0HK5YW0GZ |
|---|---|
| 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.16258#YAMZ, Deficiency Lemma (statement). In AZ6QMVKFHD/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Stem-and-leaf display M0HQX0J992
| URI | m2://inv/M0HQX0J992 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GMX4, Stem-and-leaf display (definition)
History
- 2026-11-02: add by m2/dev
ballistics M0HV21F63A
| URI | m2://inv/M0HV21F63A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q184631, ballistics (definition). Also ProofWiki Definition:Ballistics
History
- 2026-10-26: add by m2/dev
\(R\)-labelling positivity criterion M0HYG9F054
| URI | m2://inv/M0HYG9F054 |
|---|---|
| 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.24541#89JA, \(R\)-labelling positivity criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
variable, and substitution M0J0RRJXDD
| URI | m2://inv/M0J0RRJXDD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/variable-and-substitution, variable, and substitution (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
M0J2H3ZRBX M0J2H3ZRBX
| URI | m2://inv/M0J2H3ZRBX |
|---|---|
| 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.05193#V4K1 (statement). In XDMM0KNNZ9/e1, corollary 61
History
- 2026-10-29: add by m2/v0.4.10
M5-brane M0J5G1F516
| URI | m2://inv/M0J5G1F516 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28649150, M5-brane (unknown). Also nLab M5-brane
- wikipedia: Wikipedia M5-brane, M5-brane (definition). Also Wikidata Q28649150
History
- 2026-10-26: add by m2/dev
Quadratic classifier M0JEY5703E
| URI | m2://inv/M0JEY5703E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic classifier, Quadratic classifier (definition). Also Wikidata Q7268357
History
- 2026-11-02: add by m2/dev
Marginal stability and Lyapunov equations M0JJR073W5
| URI | m2://inv/M0JJR073W5 |
|---|---|
| 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.05626#TQVX, Marginal stability and Lyapunov equations (statement). In PMZEF75W7S/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
The Method of Mechanical Theorems M0JMGSPJWC
| URI | m2://inv/M0JMGSPJWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Method of Mechanical Theorems, The Method of Mechanical Theorems (statement). Also Wikidata Q3080148
History
- 2026-11-02: add by m2/dev
\hspace{-0.01cm M0JT1XC7V3
| URI | m2://inv/M0JT1XC7V3 |
|---|---|
| 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.09634#C8EN, \hspace{-0.01cm (statement). In FH42QK814C/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
M0JWVN77DV M0JWVN77DV
| URI | m2://inv/M0JWVN77DV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-2.xml#example-4 (example). In 649HGZKE96, example, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
Examples M0JX76M8XN
| URI | m2://inv/M0JX76M8XN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horner's method#9EBT, Examples (example)
History
- 2026-11-02: add by m2/dev
The Alexandrov lemma M0JXZBNKP0
| URI | m2://inv/M0JXZBNKP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison triangle#WZ62, The Alexandrov lemma (statement)
History
- 2026-11-02: add by m2/dev
No low-energy sampleable states conjecture M0K6VSH7FJ
| URI | m2://inv/M0K6VSH7FJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NLTS conjecture#YHYR, No low-energy sampleable states conjecture (statement)
History
- 2026-11-02: add by m2/dev
M0KA8YP605 M0KA8YP605
| URI | m2://inv/M0KA8YP605 |
|---|---|
| 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.39981#2ONJ (statement). In PMMV6YAEVR/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Step-line recurrences for the two hypergeometric systems M0KCCSHKSA
| URI | m2://inv/M0KCCSHKSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#CZIU, Step-line recurrences for the two hypergeometric systems (statement)
History
- 2026-11-01: add by m2/v0.6.15
M0KPQ5XZ36 M0KPQ5XZ36
| URI | m2://inv/M0KPQ5XZ36 |
|---|---|
| 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.34551#I6XV (statement). In 3AF7G56AGE/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
Example M0KTXEXYWV
| URI | m2://inv/M0KTXEXYWV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Union-closed sets conjecture#QWK5, Example (example)
History
- 2026-11-02: add by m2/dev
M0M5CSP19R M0M5CSP19R
| URI | m2://inv/M0M5CSP19R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31489#MVG1 (statement). In ZKBG58PN1J/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
First-order logic M0M9GFGQPG
| URI | m2://inv/M0M9GFGQPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#ZX03, First-order logic (definition)
History
- 2026-11-02: add by m2/dev
Dual matroid M0MEVYESCY
| URI | m2://inv/M0MEVYESCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual matroid, Dual matroid (definition). Also Wikidata Q5310216
History
- 2026-11-02: add by m2/dev
M0MMJ2T7JJ M0MMJ2T7JJ
| URI | m2://inv/M0MMJ2T7JJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#N855 (example). In 3THDT8WNF7/e1, example 19
History
- 2026-10-29: add by m2/v0.4.12
Integral theorems M0MQ1JZSEF
| URI | m2://inv/M0MQ1JZSEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector calculus#WBW2, Integral theorems (statement)
History
- 2026-11-02: add by m2/dev
Properties M0MQDGV2CW
| URI | m2://inv/M0MQDGV2CW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor set#C544, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formulation M0MTT5F2XZ
| URI | m2://inv/M0MTT5F2XZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boussinesq approximation (buoyancy)#2CVT, Formulation (definition)
History
- 2026-11-02: add by m2/dev
∐ M0MTWECTMJ
| URI | m2://inv/M0MTWECTMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#ED6A, ∐ (definition)
History
- 2026-11-02: add by m2/dev
Goodstein's theorem M0N3TBXETB
| URI | m2://inv/M0N3TBXETB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#FCQL, Goodstein's theorem (statement)
History
- 2026-11-02: add by m2/dev
List of things named after Erich Hecke M0N9DH1EVH
| URI | m2://inv/M0N9DH1EVH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke, List of things named after Erich Hecke (topic). Also Wikidata Q16885405
History
- 2026-11-02: add by m2/dev
Richard Rado M0ND7TNFKP
| URI | m2://inv/M0ND7TNFKP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#C36M, Richard Rado (topic)
History
- 2026-11-02: add by m2/dev
M0NWNA9RCS M0NWNA9RCS
| URI | m2://inv/M0NWNA9RCS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 14.4
History
- 2026-11-01: add by m2/v0.6.13
Identity M0P0DWCFQY
| URI | m2://inv/M0P0DWCFQY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-knowledge proof#U5D0, Identity (statement)
History
- 2026-11-02: add by m2/dev
PULMC conditional covariance fluctuations M0P7B6KDVW
| URI | m2://inv/M0P7B6KDVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#C807, PULMC conditional covariance fluctuations (statement). In HTWSDDAWGS/e1, lemma D.7
History
- 2026-10-29: add by m2/v0.4.10
M0PGT885NX M0PGT885NX
| URI | m2://inv/M0PGT885NX |
|---|---|
| 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#2URU (statement). In QM1T8JDK4A/e1, lemma 6.16
History
- 2026-10-30: add by m2/v0.4.12
asterisk M0PKR5JJJ5
| URI | m2://inv/M0PKR5JJJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190212, asterisk (unknown). Also MathWorld Asterisk
History
- 2026-10-26: add by m2/dev
Trémaux tree M0PTZNPN4J
| URI | m2://inv/M0PTZNPN4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trémaux tree, Trémaux tree (definition). Also Wikidata Q7849146
History
- 2026-11-02: add by m2/dev
repeated roots M0QK090V57
| URI | m2://inv/M0QK090V57 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.3.2/repeated-roots, repeated roots (concept). In E9HS8K3A52, index, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Nörlund–Rice integral M0QWM9JV5G
| URI | m2://inv/M0QWM9JV5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#TH4A, Nörlund–Rice integral (definition)
History
- 2026-11-02: add by m2/dev
Residual-based a posteriori error estimator M0R9EZBKPC
| URI | m2://inv/M0R9EZBKPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36141#Y0S1, Residual-based a posteriori error estimator (statement). In F1WNDBMKSZ/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Hölder summation M0RBN0DNKT
| URI | m2://inv/M0RBN0DNKT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hölder summation M5YRA6CK4G |
Mentions
- wikidata: Wikidata Q15694035, Hölder summation (concept). Also EoM Hölder_summation_methods
- wikipedia: Wikipedia Hölder summation, Hölder summation (definition). Also Wikidata Q15694035
History
- 2026-10-26: add by m2/dev
Definition M0RNC7RZAE
| URI | m2://inv/M0RNC7RZAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-continuous function#TNQW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conjectures M0RRCXR4PQ
| URI | m2://inv/M0RRCXR4PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fujiki class C#J6EU, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
Definitions M0RXDC9CJ0
| URI | m2://inv/M0RXDC9CJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating permutation#B7WD, Definitions (definition)
History
- 2026-11-02: add by m2/dev
M0S0D84WAA M0S0D84WAA
| URI | m2://inv/M0S0D84WAA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 51.5
History
- 2026-11-01: add by m2/v0.6.13
cf.\ M0S3VF9XH9
| URI | m2://inv/M0S3VF9XH9 |
|---|---|
| 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#7UEV, cf.\ (statement). In 7SSKW778T8/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.10
Examples M0S74HKTAF
| URI | m2://inv/M0S74HKTAF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotopy of an algebra#4NB3, Examples (example)
History
- 2026-11-02: add by m2/dev
Robin Feynman parametrix M0SDW0DET1
| URI | m2://inv/M0SDW0DET1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#8SHG, Robin Feynman parametrix (definition)
History
- 2026-11-01: add by m2/v0.6.15
Carveth Read M0SHJJJ285
| URI | m2://inv/M0SHJJJ285 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carveth Read, Carveth Read (topic). Also Wikidata Q5047563
History
- 2026-11-02: add by m2/dev
Coombs' method M0SJM06TD9
| URI | m2://inv/M0SJM06TD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#WY86, Coombs' method (unknown)
History
- 2026-11-02: add by m2/dev
Challenging M0SJTHKQ2A
| URI | m2://inv/M0SJTHKQ2A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-29, Challenging (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
M0SJZX2SHP M0SJZX2SHP
| URI | m2://inv/M0SJZX2SHP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#SCAX (definition). In MVXZWHKEX8/e1, definition 7.1
History
- 2026-10-29: add by m2/v0.4.10
M0SM57ZH71 M0SM57ZH71
| URI | m2://inv/M0SM57ZH71 |
|---|---|
| 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.36321#GJ7L (statement). In 3KTZ6Z615H/e1, theorem 3.20
History
- 2026-10-30: add by m2/v0.4.12
Stage-1 score-covariance rate M0SQA9MWRT
| URI | m2://inv/M0SQA9MWRT |
|---|---|
| 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.14498#Z7R7, Stage-1 score-covariance rate (statement). In 81YXGYETE4/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
simplicial complex M0SRJYPHAQ
| URI | m2://inv/M0SRJYPHAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q994399, simplicial complex (unknown). Also EoM Simplicial_complex, MathWorld SimplicialComplex, nLab simplicial complex
- wikipedia: Wikipedia Simplicial complex, Simplicial complex (definition). Also Wikidata Q994399
History
- 2026-10-26: add by m2/dev
M0SVJW76KD M0SVJW76KD
| URI | m2://inv/M0SVJW76KD |
|---|---|
| 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.19945#WWNX (statement)
History
- 2026-11-02: add by m2/v0.6.18
toroid M0SY2R720T
| URI | m2://inv/M0SY2R720T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3241394, toroid (unknown). Also MathWorld Toroid
- wikipedia: Wikipedia Toroid, Toroid (definition). Also Wikidata Q3241394
History
- 2026-10-26: add by m2/dev
List of analyses of categorical data M0T3K115DP
| URI | m2://inv/M0T3K115DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data, List of analyses of categorical data (topic). Also Wikidata Q3889853
History
- 2026-11-02: add by m2/dev
Mode-coupling theory M0TAYKZYM2
| URI | m2://inv/M0TAYKZYM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mode-coupling theory, Mode-coupling theory (definition)
History
- 2026-11-02: add by m2/dev
Original-law weighted links M0TF6K70CE
| URI | m2://inv/M0TF6K70CE |
|---|---|
| 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.05498#55WU, Original-law weighted links (statement). In TJT32RQ9GC/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
M0TJ8HW3JE M0TJ8HW3JE
| URI | m2://inv/M0TJ8HW3JE |
|---|---|
| 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#JJTB (statement)
History
- 2026-11-02: add by m2/v0.6.17
M0TRR7KQP7 M0TRR7KQP7
| URI | m2://inv/M0TRR7KQP7 |
|---|---|
| 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.11189#0J5R (statement). In Q27FWV48RX/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
Markov brothers' inequality M0TWK7AEQ7
| URI | m2://inv/M0TWK7AEQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#OXRJ, Markov brothers' inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
DeMarco-Mavraki M0V15S4C8R
| URI | m2://inv/M0V15S4C8R |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#HWBQ, DeMarco-Mavraki (conjecture). In V7SN19J84T/e1, conjecture Conjecture
History
- 2026-10-28: add by m2/v0.4.2
M0V3WXHC7A M0V3WXHC7A
| URI | m2://inv/M0V3WXHC7A |
|---|---|
| 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.19945#U8ZU (statement)
History
- 2026-11-02: add by m2/v0.6.18
M0V5EE8VKZ M0V5EE8VKZ
| URI | m2://inv/M0V5EE8VKZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#UUPO (definition). In VD4JP4HVBX/e1, definition 6.20
History
- 2026-10-28: add by m2/v0.4.2
381 (number) M0V7MB105S
| URI | m2://inv/M0V7MB105S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#HWPO, 381 (number) (unknown)
History
- 2026-11-02: add by m2/dev
General definition M0VAEBPBWY
| URI | m2://inv/M0VAEBPBWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézier curve#NZO8, General definition (definition)
History
- 2026-11-02: add by m2/dev
Heinrich Leutwyler M0VDR53X1R
| URI | m2://inv/M0VDR53X1R |
|---|---|
| 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 Q1598182, Heinrich Leutwyler (unknown). Also nLab Heinrich Leutwyler
History
- 2026-10-26: add by m2/dev
Definition M0VM2C1QQM
| URI | m2://inv/M0VM2C1QQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gδ space#EKD1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition M0VWTSW6FS
| URI | m2://inv/M0VWTSW6FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid transformation#7G3Z, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
File drawer problem M0VXT6T3BT
| URI | m2://inv/M0VXT6T3BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HVYF, File drawer problem (definition)
History
- 2026-11-02: add by m2/dev
M0VY9HCVH9 M0VY9HCVH9
| URI | m2://inv/M0VY9HCVH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#LQXA (statement). In 9604WYX0BW/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.3
M0W9CHF2N1 M0W9CHF2N1
| URI | m2://inv/M0W9CHF2N1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#cor:trunc_prod (statement). In N54F33XE07, cor, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
ADM energy M0WCZXGKW9
| URI | m2://inv/M0WCZXGKW9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADM formalism#0A7T, ADM energy (unknown)
History
- 2026-11-02: add by m2/dev
Automated Problem Solving M0WDX3K614
| URI | m2://inv/M0WDX3K614 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem solving#35IU, Automated Problem Solving (unknown)
History
- 2026-11-02: add by m2/dev
Applications M0WHDF3QNW
| URI | m2://inv/M0WHDF3QNW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff's theorem#5FHP, Applications (example)
History
- 2026-11-02: add by m2/dev
M0WJH90VMW M0WJH90VMW
| URI | m2://inv/M0WJH90VMW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-215 (exercise). In VNMV985MXX, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Email privacy M0WTTZYNT9
| URI | m2://inv/M0WTTZYNT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Email privacy, Email privacy (definition). Also Wikidata Q5368823
History
- 2026-11-02: add by m2/dev
M0WXAKFJ8T M0WXAKFJ8T
| URI | m2://inv/M0WXAKFJ8T |
|---|---|
| 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 2503.22636#D9LF (statement). In 2X2A6MT0QD/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
Statement M0X2TH3QT2
| URI | m2://inv/M0X2TH3QT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman–Minc inequality#4LYE, Statement (statement)
History
- 2026-11-02: add by m2/dev
Parker vector M0XA5DC26N
| URI | m2://inv/M0XA5DC26N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#VHJQ, Parker vector (definition)
History
- 2026-11-02: add by m2/dev
Nilpotent M0XAX3YH4Y
| URI | m2://inv/M0XAX3YH4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#OTZW, Nilpotent (definition)
History
- 2026-11-02: add by m2/dev
M0XCY8C6RW M0XCY8C6RW
| URI | m2://inv/M0XCY8C6RW |
|---|---|
| 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.24541#O2MY (statement)
History
- 2026-11-01: add by m2/v0.6.15
manifold with boundary M0XDS2M8M0
| URI | m2://inv/M0XDS2M8M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1333611, manifold with boundary (unknown). Also MathWorld ManifoldwithBoundary, nLab manifold with boundary
History
- 2026-10-26: add by m2/dev
Data normalization M0XG87G32D
| URI | m2://inv/M0XG87G32D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical form#3HSU, Data normalization (unknown)
History
- 2026-11-02: add by m2/dev
Convention M0XJWBG104
| URI | m2://inv/M0XJWBG104 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gluon field strength tensor#51VE, Convention (definition)
History
- 2026-11-02: add by m2/dev
M0XQ5GC7DJ M0XQ5GC7DJ
| URI | m2://inv/M0XQ5GC7DJ |
|---|---|
| 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.11210#VT0B (statement). In CRFDGFZHBF/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Transforms and moments of the limiting rows M0XS5K3VBF
| URI | m2://inv/M0XS5K3VBF |
|---|---|
| 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.22027#1G84, Transforms and moments of the limiting rows (statement)
History
- 2026-11-02: add by m2/v0.6.17
Albert Henry Stewart Gillson M0XZ6DFDFV
| URI | m2://inv/M0XZ6DFDFV |
|---|---|
| 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#HRBP, Albert Henry Stewart Gillson (unknown)
History
- 2026-11-02: add by m2/dev
Exact critical short-vector catalogue M0Y20E2JS1
| URI | m2://inv/M0Y20E2JS1 |
|---|---|
| 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.37482#7G71, Exact critical short-vector catalogue (statement). In 9QDRMZX8EY/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Cartan–Hadamard theorem M0Y52HMX6E
| URI | m2://inv/M0Y52HMX6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#GQSH, Cartan–Hadamard theorem (statement)
- wikipedia: Wikipedia List of things named after Élie Cartan#4X5V, Cartan–Hadamard theorem (statement)
History
- 2026-11-02: add by m2/dev
M0YMFQSG54 M0YMFQSG54
| URI | m2://inv/M0YMFQSG54 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#I2A1 (problem). In 77TK7M3B9Y/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.2
M0YMKEVKRP M0YMKEVKRP
| URI | m2://inv/M0YMKEVKRP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-21 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Mehrotra predictor–corrector method M0YXC34BWP
| URI | m2://inv/M0YXC34BWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mehrotra predictor–corrector method, Mehrotra predictor–corrector method (definition). Also Wikidata Q6809859
History
- 2026-11-02: add by m2/dev
functional analysis M0YYH4AFTX
| URI | m2://inv/M0YYH4AFTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190549, functional analysis (topic). Also MathWorld FunctionalAnalysis, nLab functional analysis, ProofWiki Definition:Functional_Analysis
- wikipedia: Wikipedia Functional analysis, Functional analysis (topic). Also Wikidata Q190549
History
- 2026-10-26: add by m2/dev
Comparison on the spin stack M0YZXTQ6JC
| URI | m2://inv/M0YZXTQ6JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#NXFJ, Comparison on the spin stack (statement). In PZJDV6SJ9E/e1, proposition 8.5
History
- 2026-10-30: add by m2/v0.4.12
Extensions M0Z251FTCV
| URI | m2://inv/M0Z251FTCV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary function#0LJE, Extensions (statement)
History
- 2026-11-02: add by m2/dev
M0Z2HP99KV M0Z2HP99KV
| URI | m2://inv/M0Z2HP99KV |
|---|---|
| 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 2610.18620#DWBE (statement). In 6WJ0R9YEBR/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Dorothy P. Rice M0Z9DE1DND
| URI | m2://inv/M0Z9DE1DND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy P. Rice, Dorothy P. Rice (topic). Also Wikidata Q28870749
History
- 2026-11-02: add by m2/dev
Hideyuki Matsumura M0ZAW86Z4T
| URI | m2://inv/M0ZAW86Z4T |
|---|---|
| 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 Q59526510, Hideyuki Matsumura (unknown). Also ProofWiki Mathematician:Hideyuki_Matsumura
- wikipedia: Wikipedia Hideyuki Matsumura, Hideyuki Matsumura (topic). Also Wikidata Q59526510
History
- 2026-10-26: add by m2/dev
Fixed-offset asymptotic zero law M0ZCXTGXNE
| URI | m2://inv/M0ZCXTGXNE |
|---|---|
| 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.24541#ANOB, Fixed-offset asymptotic zero law (statement)
History
- 2026-11-01: add by m2/v0.6.15
M0ZDF5W2QY M0ZDF5W2QY
| URI | m2://inv/M0ZDF5W2QY |
|---|---|
| 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 2506.09840#O3R3 (statement). In Y7TWHSF2HC/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.3.5
Per Lindström M0ZFRTT2QR
| URI | m2://inv/M0ZFRTT2QR |
|---|---|
| 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 Q2070025, Per Lindström (unknown). Also nLab Per Lindström
- wikipedia: Wikipedia Per Lindström, Per Lindström (topic). Also Wikidata Q2070025
History
- 2026-10-26: add by m2/dev
Kalyan Bidhan Sinha M0ZJFM6B7F
| URI | m2://inv/M0ZJFM6B7F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalyan Bidhan Sinha, Kalyan Bidhan Sinha (topic). Also Wikidata Q16866512
History
- 2026-11-02: add by m2/dev
M0ZJP7CSHY M0ZJP7CSHY
| URI | m2://inv/M0ZJP7CSHY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#Z9G9 (definition)
History
- 2026-11-02: add by m2/v0.6.18
M0ZNK9QY4Y M0ZNK9QY4Y
| URI | m2://inv/M0ZNK9QY4Y |
|---|---|
| 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.13260#5F6I (statement). In ZBQX9341RV/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Asymptotic combinatorics M0ZSSXRXY4
| URI | m2://inv/M0ZSSXRXY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#JS18, Asymptotic combinatorics (definition)
History
- 2026-11-02: add by m2/dev