Inventory rows YR
The cards of the rows of the inventory whose ids start with YR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties YR00BWGF8S
| URI | m2://inv/YR00BWGF8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random graph#MEFA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stable theory YR06VFK5Q4
| URI | m2://inv/YR06VFK5Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable theory, Stable theory (definition). Also Wikidata Q7595779
History
- 2026-11-02: add by m2/dev
YR0G15GDJ1 YR0G15GDJ1
| URI | m2://inv/YR0G15GDJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#VRMN (statement). In AYG8HYGW6V/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.3
repeated measures design YR0JRJQ5RH
| URI | m2://inv/YR0JRJQ5RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#0V85, repeated measures design (definition)
History
- 2026-11-02: add by m2/dev
Formal definition YR0T1SCPQS
| URI | m2://inv/YR0T1SCPQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov information source#LVY0, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
YR0V0D5KPS YR0V0D5KPS
| URI | m2://inv/YR0V0D5KPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19453#IKB7 (statement). In TX82YAVS5V/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Theorem YR0Z94S7V5
| URI | m2://inv/YR0Z94S7V5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden–Thompson inequality#JVQI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition YR163E383V
| URI | m2://inv/YR163E383V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beth number#HVMC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Clarice Lispector YR1A13D14Q
| URI | m2://inv/YR1A13D14Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#HF0I, Clarice Lispector (unknown)
History
- 2026-11-02: add by m2/dev
Tilted boundary order YR1T1SV6V0
| URI | m2://inv/YR1T1SV6V0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#EH3J, Tilted boundary order (definition). In 6G1KBA0SXV/e1, definition 4.11
History
- 2026-10-31: add by m2/v0.5.6
Notations YR1WWDJ2PK
| URI | m2://inv/YR1WWDJ2PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crank of a partition#JIFK, Notations (definition)
History
- 2026-11-02: add by m2/dev
Open mapping theorem YR1XRVCVTR
| URI | m2://inv/YR1XRVCVTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#PUHU, Open mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
YR25J0007F YR25J0007F
| URI | m2://inv/YR25J0007F |
|---|---|
| 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 2609.29489#SBSC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gail S. Nelson YR26HKEN6E
| URI | m2://inv/YR26HKEN6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gail S. Nelson, Gail S. Nelson (topic). Also Wikidata Q53855521
History
- 2026-11-02: add by m2/dev
YR2E36X2GF YR2E36X2GF
| URI | m2://inv/YR2E36X2GF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1912.02769#4DSV (statement). In JH7VQ2EC16/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
YR2KAPZH6E YR2KAPZH6E
| URI | m2://inv/YR2KAPZH6E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 66.7
History
- 2026-11-01: add by m2/v0.6.13
Corollary 1 YR2RZ6CQ0V
| URI | m2://inv/YR2RZ6CQ0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal suspension theorem#BBZM, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
concordant YR2YFT0G6N
| URI | m2://inv/YR2YFT0G6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#CYXW, concordant (definition)
History
- 2026-11-02: add by m2/dev
YR2YPCQEZM YR2YPCQEZM
| URI | m2://inv/YR2YPCQEZM |
|---|---|
| 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.25038#S1FN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal statement YR33ZDFCPZ
| URI | m2://inv/YR33ZDFCPZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of empty set#F2UC, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
List of geodesic polyhedra and Goldberg polyhedra YR3AGCCCVK
| URI | m2://inv/YR3AGCCCVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geodesic polyhedra and Goldberg polyhedra, List of geodesic polyhedra and Goldberg polyhedra (topic). Also Wikidata Q30704561
History
- 2026-11-02: add by m2/dev
YR3NGKT1PS YR3NGKT1PS
| URI | m2://inv/YR3NGKT1PS |
|---|---|
| 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.22263#27N5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Uniform short-time bound YR3PAB9QPT
| URI | m2://inv/YR3PAB9QPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24481#OT6G, Uniform short-time bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Granitization YR3TPM586C
| URI | m2://inv/YR3TPM586C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#UEHO, Granitization (unknown)
History
- 2026-11-02: add by m2/dev
Bhatia–Davis inequality YR3XRRPNKP
| URI | m2://inv/YR3XRRPNKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VQIN, Bhatia–Davis inequality (statement)
History
- 2026-11-02: add by m2/dev
YR3YXQBWAF YR3YXQBWAF
| URI | m2://inv/YR3YXQBWAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#7TG0 (statement). In TQ9CKHBTWN/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.12
Canonical representation of a positive integer YR40VD8ZRZ
| URI | m2://inv/YR40VD8ZRZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of arithmetic#ET1K, Canonical representation of a positive integer (unknown)
History
- 2026-11-02: add by m2/dev
ordered field, archimedean YR43R33MVV
| URI | m2://inv/YR43R33MVV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/ordered-field-archimedean, ordered field, archimedean (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Overlapping thresholds YR4A2ZYW4N
| URI | m2://inv/YR4A2ZYW4N |
|---|---|
| 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.37575#HUCQ, Overlapping thresholds (statement). In W9R9C3YS83/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Coons patch YR4CCJEGW8
| URI | m2://inv/YR4CCJEGW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#2NHO, Coons patch (definition)
History
- 2026-11-02: add by m2/dev
Stretched grid method YR4R5855XF
| URI | m2://inv/YR4R5855XF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stretched grid method, Stretched grid method (definition). Also Wikidata Q7623487
History
- 2026-11-02: add by m2/dev
Clojure YR4W2A0KKZ
| URI | m2://inv/YR4W2A0KKZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#GBBY, Clojure (unknown)
History
- 2026-11-02: add by m2/dev
Sensitivity of Lyapunov equation solution $\boldsymbol{P}$ YR4ZQ4MVVP
| URI | m2://inv/YR4ZQ4MVVP |
|---|---|
| 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.30957#YMHV, Sensitivity of Lyapunov equation solution $\boldsymbol{P}$ (statement). In P5YB6R0RK3/e1, proposition D.3
History
- 2026-10-31: add by m2/v0.5.6
Pointwise failure of VRAF YR50DHRJR2
| URI | m2://inv/YR50DHRJR2 |
|---|---|
| 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.35631#LWCG, Pointwise failure of VRAF (statement). In 9NCX0S6MTP/e1, proposition F.1
History
- 2026-10-30: add by m2/v0.4.12
\texttt{Free Lyapunov functional YR55BBSPKB
| URI | m2://inv/YR55BBSPKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06343#ED6R, \texttt{Free Lyapunov functional (statement). In R8176XJ535/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Consequences of the order of $\nu$ YR56NMKQ5M
| URI | m2://inv/YR56NMKQ5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09044#99NT, Consequences of the order of $\nu$ (statement). In 4KYENHR0J8/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
List of knapsack problems YR57CVR63A
| URI | m2://inv/YR57CVR63A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#FKLR, List of knapsack problems (topic)
History
- 2026-11-02: add by m2/dev
Horosphere YR5C3B81WT
| URI | m2://inv/YR5C3B81WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horosphere, Horosphere (definition). Also Wikidata Q1053743
History
- 2026-11-02: add by m2/dev
YR5NVNWCA7 YR5NVNWCA7
| URI | m2://inv/YR5NVNWCA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#DY3R (statement)
History
- 2026-11-01: add by m2/v0.6.15
De Morgan algebra YR5PRCAACR
| URI | m2://inv/YR5PRCAACR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#7LNA, De Morgan algebra (definition)
History
- 2026-11-02: add by m2/dev
Margaret Brown YR6542TSZ3
| URI | m2://inv/YR6542TSZ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Brown (mathematics educator), Margaret Brown (topic). Also Wikidata Q55830093
History
- 2026-11-02: add by m2/dev
Circular distribution YR6A8XTEQP
| URI | m2://inv/YR6A8XTEQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LLUP, Circular distribution (definition)
History
- 2026-11-02: add by m2/dev
Lottery YR6BJ01417
| URI | m2://inv/YR6BJ01417 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#W7OL, Lottery (unknown)
History
- 2026-11-02: add by m2/dev
100 Mile House YR6BPP9JN2
| URI | m2://inv/YR6BPP9JN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MEGP, 100 Mile House (unknown)
History
- 2026-11-02: add by m2/dev
mathematics, constructive YR6CZ1X7TW
| URI | m2://inv/YR6CZ1X7TW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section C
History
- 2026-11-01: add by m2/v0.6.13
YR6FBM5AXQ YR6FBM5AXQ
| URI | m2://inv/YR6FBM5AXQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
Kernel Smoothing YR6N88XS6J
| URI | m2://inv/YR6N88XS6J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10167#LVB5, Kernel Smoothing (definition). In SVMDSE7PKG/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
YR6XSY2QNB YR6XSY2QNB
| URI | m2://inv/YR6XSY2QNB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Ko–Rado theorem#WXUA (problem)
History
- 2026-11-02: add by m2/dev
tangent basis YR72VNJSXP
| URI | m2://inv/YR72VNJSXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance and contravariance of vectors#ONRS, tangent basis (definition)
History
- 2026-11-02: add by m2/dev
Without the axiom of choice YR7NZ2EV9Y
| URI | m2://inv/YR7NZ2EV9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinality#7AGH, Without the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Fermat quotient YR7Q0T4Z8N
| URI | m2://inv/YR7Q0T4Z8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#H2YQ, Fermat quotient (definition)
History
- 2026-11-02: add by m2/dev
Riesz potential YR7QSTCYKW
| URI | m2://inv/YR7QSTCYKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz potential, Riesz potential (definition). Also Wikidata Q7333166
History
- 2026-11-02: add by m2/dev
Wilhelm Wirtinger YR81122S2N
| URI | m2://inv/YR81122S2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D5CD, Wilhelm Wirtinger (topic)
History
- 2026-11-02: add by m2/dev
Examples YR81DPX914
| URI | m2://inv/YR81DPX914 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prosolvable group#N80G, Examples (example)
History
- 2026-11-02: add by m2/dev
Zhoubi Suanjing YR834K8B5R
| URI | m2://inv/YR834K8B5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhoubi Suanjing, Zhoubi Suanjing (definition). Also Wikidata Q198052
History
- 2026-11-02: add by m2/dev
integral graph YR84QG6DHW
| URI | m2://inv/YR84QG6DHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3036983, integral graph (unknown). Also MathWorld IntegralGraph
- wikipedia: Wikipedia Integral graph, Integral graph (definition). Also Wikidata Q3036983
History
- 2026-10-26: add by m2/dev
Location arithmetic YR87G2CP8K
| URI | m2://inv/YR87G2CP8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Location arithmetic, Location arithmetic (definition). Also Wikidata Q6664794
History
- 2026-11-02: add by m2/dev
YR8BC5JVP6 YR8BC5JVP6
| URI | m2://inv/YR8BC5JVP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01475#WVXX (statement). In A7VJF2FYSD/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
\texttt{Flat derivatives of Lagrange multiplier YR8FGEGYMN
| URI | m2://inv/YR8FGEGYMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06343#RLEG, \texttt{Flat derivatives of Lagrange multiplier (statement). In R8176XJ535/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Alan Reid YR8TC82XPK
| URI | m2://inv/YR8TC82XPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Reid (mathematician), Alan Reid (topic). Also Wikidata Q102192454
History
- 2026-11-02: add by m2/dev
YR8W7ZB11S YR8W7ZB11S
| URI | m2://inv/YR8W7ZB11S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#M97V (statement)
History
- 2026-11-01: add by m2/v0.6.15
YR914DYB2Q YR914DYB2Q
| URI | m2://inv/YR914DYB2Q |
|---|---|
| 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.36827#RVN0 (statement). In VSHAQTB2CA/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Krein–Milman YR98XFYFX0
| URI | m2://inv/YR98XFYFX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#1U0D, Krein–Milman (definition)
History
- 2026-11-02: add by m2/dev
Interdependence theory YR9CMYCRB0
| URI | m2://inv/YR9CMYCRB0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interdependence theory, Interdependence theory (topic). Also Wikidata Q6046058
History
- 2026-11-02: add by m2/dev
YR9MTHKX1S YR9MTHKX1S
| URI | m2://inv/YR9MTHKX1S |
|---|---|
| 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.29469#P3QF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heegner point YR9WA0ZCV7
| URI | m2://inv/YR9WA0ZCV7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5697927, Gross–Zagier theorem (statement). Also Wikidata Q5697927
- thousand_plus: thousand_plus Q5697927, Gross–Zagier theorem (statement). Also Wikidata Q5697927, Wikipedia Gross–Zagier theorem
- wikipedia: Wikipedia Heegner point, Heegner point (definition). Also Wikidata Q5697927
History
- 2026-10-26: add by m2/dev
Gronwall's inequality YR9YBPX2GH
| URI | m2://inv/YR9YBPX2GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35398#7ELC, Gronwall's inequality (statement). In NAJCCHYXR6/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
YRA32H8534 YRA32H8534
| URI | m2://inv/YRA32H8534 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#1X4P (definition). In 37S7MNMZ2F/e1, definition 56
History
- 2026-10-27: add by m2/v0.3.5
17 YRA49K0BBD
| URI | m2://inv/YRA49K0BBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q40118, 17 (statement). Also MathWorld 17, ProofWiki 17
- wikipedia: Wikipedia 17 (number), 17 (definition). Also Wikidata Q40118
History
- 2026-10-26: add by m2/dev
Generalizations YRAHTZSTF7
| URI | m2://inv/YRAHTZSTF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of Apollonius#UJBU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Thrackle conjecture YRB75PFFSE
| URI | m2://inv/YRB75PFFSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thrackle#C3WD, Thrackle conjecture (statement)
History
- 2026-11-02: add by m2/dev
Properties YRBVZZ4XFS
| URI | m2://inv/YRBVZZ4XFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial process#XGSL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Abraham de Moivre YRC0C29QBT
| URI | m2://inv/YRC0C29QBT |
|---|---|
| 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 Q200397, Abraham de Moivre (unknown). Also ProofWiki Mathematician:Abraham_de_Moivre
- wikipedia: Wikipedia Abraham de Moivre, Abraham de Moivre (topic). Also Wikidata Q200397
History
- 2026-10-26: add by m2/dev
Thomas Baxter YRC3YKVCY0
| URI | m2://inv/YRC3YKVCY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Baxter (mathematician), Thomas Baxter (definition). Also Wikidata Q7787486
History
- 2026-11-02: add by m2/dev
Stability for the Transport Operator YRC5D96EGG
| URI | m2://inv/YRC5D96EGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#POG8, Stability for the Transport Operator (statement). In D0F1GK5AHW/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
YRC6DK1BYP YRC6DK1BYP
| URI | m2://inv/YRC6DK1BYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#7X5B (statement). In 3VZ55B2N0D/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.4.0
Ω YRC6NV3Q26
| URI | m2://inv/YRC6NV3Q26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#DZS0, Ω (definition)
History
- 2026-11-02: add by m2/dev
YRCDHZ8KE5 YRCDHZ8KE5
| URI | m2://inv/YRCDHZ8KE5 |
|---|---|
| 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.22752#XEUV (statement)
History
- 2026-11-02: add by m2/v0.6.17
antichain YRCDT9VR5F
| URI | m2://inv/YRCDT9VR5F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Antichain 03HF498P1J |
Mentions
- wikidata: Wikidata Q431937, antichain (concept). Also MathWorld Antichain, nLab antichain
- wikipedia: Wikipedia Antichain, Antichain (definition). Also Wikidata Q431937
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Brunn--Minkowski inequality for the reference energy YRCH4BP8ZV
| URI | m2://inv/YRCH4BP8ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#3794, Brunn--Minkowski inequality for the reference energy (statement). In 9YAE8FNQST/e1, theorem 20.14
History
- 2026-10-30: add by m2/v0.4.12
Discrete Laplace operator YRCJHMNAP8
| URI | m2://inv/YRCJHMNAP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Laplace operator, Discrete Laplace operator (definition). Also Wikidata Q451881
History
- 2026-11-02: add by m2/dev
Generalization YRCNKVTCV4
| URI | m2://inv/YRCNKVTCV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta prime distribution#P125, Generalization (statement)
History
- 2026-11-02: add by m2/dev
YRCSAWGH5E YRCSAWGH5E
| URI | m2://inv/YRCSAWGH5E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#OOCY (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem YRCSZTQJPK
| URI | m2://inv/YRCSZTQJPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual system#E9D4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Ingeborg Seynsche YRCTBDPHWZ
| URI | m2://inv/YRCTBDPHWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingeborg Seynsche, Ingeborg Seynsche (topic). Also Wikidata Q19689221
History
- 2026-11-02: add by m2/dev
Examples YRCZ82KCSW
| URI | m2://inv/YRCZ82KCSW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf algebroid#FZCB, Examples (example)
History
- 2026-11-02: add by m2/dev
YRD2HA622G YRD2HA622G
| URI | m2://inv/YRD2HA622G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23424#VRUH (definition)
History
- 2026-11-02: add by m2/v0.6.17
YRD53WQEQY YRD53WQEQY
| URI | m2://inv/YRD53WQEQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#PHFL (statement). In KJY735KSMF/e1, proposition 10.7
History
- 2026-10-28: add by m2/v0.4.2
Illusion of explanatory depth YRD9SK2CZK
| URI | m2://inv/YRD9SK2CZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#477T, Illusion of explanatory depth (unknown)
History
- 2026-11-02: add by m2/dev
YRDDG14FSR YRDDG14FSR
| URI | m2://inv/YRDDG14FSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#BZ2I (statement). In ZEHQDJTEDG/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Definitions YRDDXC71BR
| URI | m2://inv/YRDDXC71BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#X36U, Definitions (definition)
History
- 2026-11-02: add by m2/dev
YRDPSFTZ7Q YRDPSFTZ7Q
| URI | m2://inv/YRDPSFTZ7Q |
|---|---|
| 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.34923#1BXW (statement). In 7WKVFJEZQT/e1, proposition 9
History
- 2026-10-30: add by m2/v0.4.12
YRDSCSY2G7 YRDSCSY2G7
| URI | m2://inv/YRDSCSY2G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19982#3ENG (statement)
History
- 2026-11-02: add by m2/v0.6.18
YRDVCERPTM YRDVCERPTM
| URI | m2://inv/YRDVCERPTM |
|---|---|
| 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.30519#WWIH (statement). In GQQZNRYK15/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
YRDXCV2D1E YRDXCV2D1E
| URI | m2://inv/YRDXCV2D1E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
YRENETCT58 YRENETCT58
| URI | m2://inv/YRENETCT58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2604.07243#QNN3 (statement). In 9RH8C8RYW3/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Upper-bound YRENSSY7SQ
| URI | m2://inv/YRENSSY7SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21781#G2FT, Upper-bound (statement). In FEQ72D1AX6/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.4.2
threefold repetition YREQSKF5JA
| URI | m2://inv/YREQSKF5JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1321234, threefold repetition (definition). Also ProofWiki Definition:Chess/Draw/Repetition
History
- 2026-10-26: add by m2/dev
Wegner's conjecture YRF238PGAC
| URI | m2://inv/YRF238PGAC |
|---|---|
| Kind | conjecture |
| 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.13852#V9NI, Wegner's conjecture (conjecture). In SXTGSAH3WF/e1, conjecture 6.1
History
- 2026-10-28: add by m2/v0.4.2
YRF3QBNG77 YRF3QBNG77
| URI | m2://inv/YRF3QBNG77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#DYXY (statement). In CC6S1HVK0T/e1, proposition 8.6
History
- 2026-10-28: add by m2/v0.4.2
Examples YRF7X5W7KZ
| URI | m2://inv/YRF7X5W7KZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant algebroid#9WSV, Examples (example)
History
- 2026-11-02: add by m2/dev
YRF8W7W143 YRF8W7W143
| URI | m2://inv/YRF8W7W143 |
|---|---|
| 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.11047#JUSH (statement). In MNQAZ70XTH/e1, lemma 8.10
History
- 2026-10-28: add by m2/v0.4.3
Deal.II YRFBBNWJ52
| URI | m2://inv/YRFBBNWJ52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deal.II, Deal.II (definition). Also Wikidata Q5245828
History
- 2026-11-02: add by m2/dev
Equivalence principle YRFBH2S414
| URI | m2://inv/YRFBH2S414 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence principle, Equivalence principle (statement). Also Wikidata Q210546
History
- 2026-11-02: add by m2/dev
Probabilistic graph theory YRFJ5M2K30
| URI | m2://inv/YRFJ5M2K30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PD8U, Probabilistic graph theory (definition)
History
- 2026-11-02: add by m2/dev
Innovation variance recurrence YRFS9J4BV6
| URI | m2://inv/YRFS9J4BV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00614#D4RR, Innovation variance recurrence (statement). In NC5Z77F6H4/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
YRFSX59PQX YRFSX59PQX
| URI | m2://inv/YRFSX59PQX |
|---|---|
| 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.01737#KKHE (statement). In M4JGP708F4/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.12
YRFT2TC0E1 YRFT2TC0E1
| URI | m2://inv/YRFT2TC0E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#HBHE (statement). In S26QVW5613/e1, corollary 2.3.3
History
- 2026-10-30: add by m2/v0.4.12
YRFVS5T62V YRFVS5T62V
| URI | m2://inv/YRFVS5T62V |
|---|---|
| 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.31242#OZ2J (definition). In 3NPRR9546C/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Even-cycle lower bound, {*{Corollary 7.5 YRG03KS5XY
| URI | m2://inv/YRG03KS5XY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#XTQQ, Even-cycle lower bound, {*{Corollary 7.5 (statement). In 628KM8869P/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
MCSim YRG4QD35MP
| URI | m2://inv/YRG4QD35MP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#Q7KE, MCSim (unknown)
History
- 2026-11-02: add by m2/dev
System dynamics YRG5PB6WDB
| URI | m2://inv/YRG5PB6WDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System dynamics, System dynamics (topic). Also Wikidata Q598451
History
- 2026-11-02: add by m2/dev
YRG62NDDG3 YRG62NDDG3
| URI | m2://inv/YRG62NDDG3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 01-XX, 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.06338#5EB9 (problem). In F1CYVYK7YB/e1, problem 10.2
History
- 2026-10-29: add by m2/v0.4.10
YRGDX1GV6S YRGDX1GV6S
| URI | m2://inv/YRGDX1GV6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#76T3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Isaac Watts YRGF82S5SY
| URI | m2://inv/YRGF82S5SY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#R2XH, Isaac Watts (topic)
History
- 2026-11-02: add by m2/dev
Examples YRGJE74CSE
| URI | m2://inv/YRGJE74CSE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle bundle#PYZO, Examples (example)
History
- 2026-11-02: add by m2/dev
YRGMRFRAA7 YRGMRFRAA7
| URI | m2://inv/YRGMRFRAA7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/covered-structures.tex#ex-1 (example). In PKGMM3P5QY, ex, section 19.5
History
- 2026-11-01: add by m2/v0.6.13
Laplace distribution YRGQMM2GVB
| URI | m2://inv/YRGQMM2GVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3XFX, Laplace distribution (definition)
History
- 2026-11-02: add by m2/dev
Fubini's nightmare YRGRV6GF05
| URI | m2://inv/YRGRV6GF05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's nightmare, Fubini's nightmare (definition). Also Wikidata Q4237132
History
- 2026-11-02: add by m2/dev
Shell moment identities YRGVQY7HZ4
| URI | m2://inv/YRGVQY7HZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#0A0G, Shell moment identities (statement). In T2B54J7121/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Tame dimension from the smallest break YRH0WJ9C2V
| URI | m2://inv/YRH0WJ9C2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#L974, Tame dimension from the smallest break (statement). In QPJ6FWG5HD/e1, lemma 2.55
History
- 2026-10-29: add by m2/v0.4.12
Willmore conjecture YRH8066PR7
| URI | m2://inv/YRH8066PR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willmore conjecture#7HLL, Willmore conjecture (statement)
History
- 2026-11-02: add by m2/dev
Inversion formula YRH90QCZ9Z
| URI | m2://inv/YRH90QCZ9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#T9E7, Inversion formula (statement)
History
- 2026-11-02: add by m2/dev
YRH9WR34MV YRH9WR34MV
| URI | m2://inv/YRH9WR34MV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31768#XAZO (statement). In WC7ZECEE3P/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
YRHBE082JA YRHBE082JA
| URI | m2://inv/YRHBE082JA |
|---|---|
| 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.02390#LW0D (statement). In TD4KEERDGT/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
YRHCF71M4S YRHCF71M4S
| URI | m2://inv/YRHCF71M4S |
|---|---|
| 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.20190#FT2O (statement)
History
- 2026-11-02: add by m2/v0.6.18
YRHCPDENZJ YRHCPDENZJ
| URI | m2://inv/YRHCPDENZJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/completeness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
Applications YRHDAF5RQ7
| URI | m2://inv/YRHDAF5RQ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-valued function#JK1Z, Applications (example)
History
- 2026-11-02: add by m2/dev
YRHXWE02W9 YRHXWE02W9
| URI | m2://inv/YRHXWE02W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37584#25AO (statement). In 66F6N3BJWV/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
YRJ1PJ913D YRJ1PJ913D
| URI | m2://inv/YRJ1PJ913D |
|---|---|
| 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 2309.15424#KDJO (statement). In NXYZ1EAWKN/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
YRJ5E9N156 YRJ5E9N156
| URI | m2://inv/YRJ5E9N156 |
|---|---|
| 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 2212.05398#YT2E (statement). In WQKQ8438M7/e1, corollary 1.10.1
History
- 2026-10-27: add by m2/v0.3.5
PER $\Ne$ --- Neutral Terms YRJ6MSCPP3
| URI | m2://inv/YRJ6MSCPP3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#19YI, PER $\Ne$ --- Neutral Terms (definition). In CPYWHRTPKC/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.4.2
Todd class YRJAPYTJAP
| URI | m2://inv/YRJAPYTJAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#2ZPG, Todd class (definition)
History
- 2026-11-02: add by m2/dev
YRJFJYNR9Z YRJFJYNR9Z
| URI | m2://inv/YRJFJYNR9Z |
|---|---|
| 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.02295#90XU (statement). In PEBD9ZMA1W/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.12
YRJGRYDJYY YRJGRYDJYY
| URI | m2://inv/YRJGRYDJYY |
|---|---|
| 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.28143#ZVP4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Air refrigeration cycle YRJHNCA7MT
| URI | m2://inv/YRJHNCA7MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brayton cycle#DQ8Q, Air refrigeration cycle (unknown)
History
- 2026-11-02: add by m2/dev
Adaptive grammar YRJMK8BNDY
| URI | m2://inv/YRJMK8BNDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive grammar, Adaptive grammar (definition). Also Wikidata Q4680743
History
- 2026-11-02: add by m2/dev
Rook polynomial YRJQVPATZN
| URI | m2://inv/YRJQVPATZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#LRPN, Rook polynomial (definition)
History
- 2026-11-02: add by m2/dev
First Domination Banhatti Index YRK21NXREW
| URI | m2://inv/YRK21NXREW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#5IWJ, First Domination Banhatti Index (definition). In 9Z5M655EPV/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
YRK736DDXF YRK736DDXF
| URI | m2://inv/YRK736DDXF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-78 (proof). In VNMV985MXX, proof, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Gauss-Lobatto quadrature YRK8SWTZW0
| URI | m2://inv/YRK8SWTZW0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian quadrature#KIQ4, Gauss-Lobatto quadrature (unknown)
History
- 2026-11-02: add by m2/dev
Izsák, Imre YRKDHBQAEM
| URI | m2://inv/YRKDHBQAEM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#UWVP, Izsák, Imre (unknown)
History
- 2026-11-02: add by m2/dev
YRKZHY6CPZ YRKZHY6CPZ
| URI | m2://inv/YRKZHY6CPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1407.0548#2R35 (statement). In 3EAQ15QTJC/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
YRKZPE7D39 YRKZPE7D39
| URI | m2://inv/YRKZPE7D39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#FAVN (statement). In 5KR3MHYVV6/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Approximation error YRMF378RJS
| URI | m2://inv/YRMF378RJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#QZ6P, Approximation error (definition)
History
- 2026-11-02: add by m2/dev
YRMG9PBJVB YRMG9PBJVB
| URI | m2://inv/YRMG9PBJVB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#ex:identity (example). In PKGMM3P5QY, ex, section 8.12
History
- 2026-11-01: add by m2/v0.6.13
Conjecture YRMJX35ZXE
| URI | m2://inv/YRMJX35ZXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reshetikhin–Turaev invariant#6PAE, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Subpolar gyre YRMK2E6J7H
| URI | m2://inv/YRMK2E6J7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ocean gyre#322V, Subpolar gyre (unknown)
History
- 2026-11-02: add by m2/dev
Benjamin Cayetano YRMK4K9YPQ
| URI | m2://inv/YRMK4K9YPQ |
|---|---|
| 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#K10T, Benjamin Cayetano (unknown)
History
- 2026-11-02: add by m2/dev
William of Soissons YRN35SXR5X
| URI | m2://inv/YRN35SXR5X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William of Soissons, William of Soissons (topic). Also Wikidata Q45285670
History
- 2026-11-02: add by m2/dev
Variance-gamma distribution YRN3ZQXVR0
| URI | m2://inv/YRN3ZQXVR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance-gamma distribution, Variance-gamma distribution (definition). Also Wikidata Q4390268
History
- 2026-11-02: add by m2/dev
parable YRN4B27185
| URI | m2://inv/YRN4B27185 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208555, parable (definition). Also ProofWiki Definition:Parabola
History
- 2026-10-26: add by m2/dev
A single neural operator stabilizes every plant in a compact class at a uniform rate YRN4YK9T8G
| URI | m2://inv/YRN4YK9T8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#3BTZ, A single neural operator stabilizes every plant in a compact class at a uniform rate (statement). In QVFHS1C9BW/e1, theorem \thethrm
History
- 2026-10-29: add by m2/v0.4.10
YRN5GMCFD5 YRN5GMCFD5
| URI | m2://inv/YRN5GMCFD5 |
|---|---|
| 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 2205.09049#8L8Q (statement). In 37S7MNMZ2F/e1, lemma 87
History
- 2026-10-27: add by m2/v0.3.5
Global Artin conductor YRN5PEG1NK
| URI | m2://inv/YRN5PEG1NK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin conductor#PR4J, Global Artin conductor (unknown)
History
- 2026-11-02: add by m2/dev
Applications YRN9AQ557F
| URI | m2://inv/YRN9AQ557F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biostatistics#XQ9S, Applications (example)
History
- 2026-11-02: add by m2/dev
Subhash Khot YRNAD2MXFP
| URI | m2://inv/YRNAD2MXFP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QMYW, Subhash Khot (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YB6P, Subhash Khot (topic)
History
- 2026-11-02: add by m2/dev
YRNDGVKG5P YRNDGVKG5P
| URI | m2://inv/YRNDGVKG5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#3V6P (statement). In F5STMSPR6X/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
Certified individual singularities YRNE65T49P
| URI | m2://inv/YRNE65T49P |
|---|---|
| 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.10821#G1EG, Certified individual singularities (statement). In RWNP4FEE65/e1, theorem 9.1
History
- 2026-10-28: add by m2/v0.4.3
Complex network YRNF8QKRAQ
| URI | m2://inv/YRNF8QKRAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex network, Complex network (definition). Also Wikidata Q665189
History
- 2026-11-02: add by m2/dev
Eugenii I. Shustin YRNN8B3521
| URI | m2://inv/YRNN8B3521 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#92IZ, Eugenii I. Shustin (topic)
History
- 2026-11-02: add by m2/dev
setoid YRNNXE06RB
| URI | m2://inv/YRNNXE06RB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/setoid, setoid (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
YRNY7BYJEY YRNY7BYJEY
| URI | m2://inv/YRNY7BYJEY |
|---|---|
| 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.13392#NCXN (statement). In 2FVND41HVS/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
YRNY9QFMQR YRNY9QFMQR
| URI | m2://inv/YRNY9QFMQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#X89U (statement). In QHFP0837Q8/e1, proposition 5.10
History
- 2026-10-29: add by m2/v0.4.12
Application YRP8ZVS2H4
| URI | m2://inv/YRP8ZVS2H4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earth–Moon problem#MG4S, Application (example)
History
- 2026-11-02: add by m2/dev
YRPB0XSA5F YRPB0XSA5F
| URI | m2://inv/YRPB0XSA5F |
|---|---|
| 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.10813#DKY6 (statement). In G8F4P7GDMA/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.3
YRPPW506Y7 YRPPW506Y7
| URI | m2://inv/YRPPW506Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#TVT4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2π theorem YRPVKSK0W3
| URI | m2://inv/YRPVKSK0W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4634017, 2π theorem (statement). Also Wikidata Q4634017
- thousand_plus: thousand_plus Q4634017, 2π theorem (statement). Also Wikidata Q4634017, Wikipedia 2π theorem
- wikipedia: Wikipedia 2π theorem, 2π theorem (statement). Also Wikidata Q4634017
History
- 2026-10-26: add by m2/dev
YRPWBWJ3VH YRPWBWJ3VH
| URI | m2://inv/YRPWBWJ3VH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#797R (statement)
History
- 2026-11-02: add by m2/v0.6.17
YRPZNTZGZC YRPZNTZGZC
| URI | m2://inv/YRPZNTZGZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30760#NSKN (statement). In MMVNRRE7N0/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
YRQ2GND6AG YRQ2GND6AG
| URI | m2://inv/YRQ2GND6AG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2310.01868#LS5Q (statement). In MQ8S73F6X7/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.6
YRQ4TFZNSD YRQ4TFZNSD
| URI | m2://inv/YRQ4TFZNSD |
|---|---|
| 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.01599#1LKC (statement). In K2KYNCWER3/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Mathematics education research YRQ712QB79
| URI | m2://inv/YRQ712QB79 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics education#F6YZ, Mathematics education research (unknown)
History
- 2026-11-02: add by m2/dev
spectral YRQAZZYNW9
| URI | m2://inv/YRQAZZYNW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#J0QM, spectral (definition)
History
- 2026-11-02: add by m2/dev
Bredon cohomology YRQHCQM52A
| URI | m2://inv/YRQHCQM52A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bredon cohomology YN280Q5G49 |
Mentions
- wikidata: Wikidata Q65089963, Bredon cohomology (unknown). Also nLab Bredon cohomology
- wikipedia: Wikipedia Bredon cohomology, Bredon cohomology (definition). Also Wikidata Q65089963
History
- 2026-10-26: add by m2/dev
Obligationes YRQMV3Z97R
| URI | m2://inv/YRQMV3Z97R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Obligationes, Obligationes (definition). Also Wikidata Q7782444
History
- 2026-11-02: add by m2/dev
YRQT7V8A5N YRQT7V8A5N
| URI | m2://inv/YRQT7V8A5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#7UVB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Friedrichs' inequality YRQW6H7QAA
| URI | m2://inv/YRQW6H7QAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#1FZ2, Friedrichs' inequality (statement)
History
- 2026-11-02: add by m2/dev
YRQYQ3MVVH YRQYQ3MVVH
| URI | m2://inv/YRQYQ3MVVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07770#1S1U (statement). In 6GHT4P7E8X/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
Info location YRQZ6GARJG
| URI | m2://inv/YRQZ6GARJG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#2JXJ, Info location (definition). In WD2NCBV9F0/e1, definition 9.12
History
- 2026-10-27: add by m2/v0.3.5
YRR45RP3Z5 YRR45RP3Z5
| URI | m2://inv/YRR45RP3Z5 |
|---|---|
| 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.31604#4E6W (statement). In GSN5YTQS2K/e1, lemma 2.14
History
- 2026-10-31: add by m2/v0.5.6
Remark YRR5NAGESY
| URI | m2://inv/YRR5NAGESY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem#0IKY, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition YRR6T4PBH0
| URI | m2://inv/YRR6T4PBH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean circuit#J885, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
YRR71PDZHZ YRR71PDZHZ
| URI | m2://inv/YRR71PDZHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-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.17139#0TR7 (statement). In AQWX60Z563/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.2
tensor product of modules YRR8WYCNZF
| URI | m2://inv/YRR8WYCNZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tensor product of modules F0HQXQ0HCD |
Mentions
- wikidata: Wikidata Q3406761, tensor product of modules (definition). Also MathWorld ModuleTensorProduct, nLab tensor product of modules, ProofWiki Definition:Tensor_Product_of_Modules
- wikipedia: Wikipedia Tensor product of modules, Tensor product of modules (definition). Also Wikidata Q3406761
History
- 2026-10-26: add by m2/dev
Resolvent identity YRR9P89ERB
| URI | m2://inv/YRR9P89ERB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvent formalism#T91X, Resolvent identity (statement)
History
- 2026-11-02: add by m2/dev
Compound of six tetrahedra YRRCYPJ6K9
| URI | m2://inv/YRRCYPJ6K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of six tetrahedra, Compound of six tetrahedra (definition). Also Wikidata Q5156886
History
- 2026-11-02: add by m2/dev
Counterexamples YRRFR327J7
| URI | m2://inv/YRRFR327J7 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's theorem#UTYO, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
Serre's Tor formula YRRP7YW72M
| URI | m2://inv/YRRP7YW72M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection theory#1GV5, Serre's Tor formula (unknown)
History
- 2026-11-02: add by m2/dev
YRRP8XTYCC YRRP8XTYCC
| URI | m2://inv/YRRP8XTYCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#FTT6 (statement). In 32ZZ1DETCX/e1, corollary 2.21
History
- 2026-10-27: add by m2/v0.3.5
Block criterion YRRY9WGXK9
| URI | m2://inv/YRRY9WGXK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#IXL0, Block criterion (statement). In 3D0GJXDY11/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.2
Cayley plane YRRYYTHBGP
| URI | m2://inv/YRRYYTHBGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#CGJQ, Cayley plane (definition)
History
- 2026-11-02: add by m2/dev
Siegel–Walfisz theorem YRS25A7R2R
| URI | m2://inv/YRS25A7R2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7510574, Siegel–Walfisz theorem (statement). Also Wikidata Q7510574
- thousand_plus: thousand_plus Q7510574, Siegel–Walfisz theorem (statement). Also Wikidata Q7510574, Wikipedia Siegel–Walfisz theorem
- wikipedia: Wikipedia Siegel–Walfisz theorem, Siegel–Walfisz theorem (statement). Also Wikidata Q7510574
History
- 2026-10-26: add by m2/dev
YRS5FZ1DSM YRS5FZ1DSM
| URI | m2://inv/YRS5FZ1DSM |
|---|---|
| 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.21494#FDOS (statement). In ZWT4C1DYPE/e1, proposition 7.3
History
- 2026-10-27: add by m2/v0.4.2
Exterior angle theorem YRSEHVMVDE
| URI | m2://inv/YRSEHVMVDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WYF0, Exterior angle theorem (statement)
History
- 2026-11-02: add by m2/dev
Order-Zero Values and Lipschitz Bound YRSMGD88T9
| URI | m2://inv/YRSMGD88T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#EOUC, Order-Zero Values and Lipschitz Bound (statement). In CW9MNA6K58/e1, lemma 9.5
History
- 2026-10-28: add by m2/v0.4.2
YRSMZXFPYQ YRSMZXFPYQ
| URI | m2://inv/YRSMZXFPYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#SRXD (statement). In CB35ZBBBPT/e1, proposition 4.10
History
- 2026-10-31: add by m2/v0.5.6
YRSNX2ZW43 YRSNX2ZW43
| URI | m2://inv/YRSNX2ZW43 |
|---|---|
| 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 2110.02281#YMHS (statement). In KDBFPMN1A6/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Conditional Sturm's variance inequality YRSTC375Q1
| URI | m2://inv/YRSTC375Q1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20274#Q09D, Conditional Sturm's variance inequality (statement)
History
- 2026-11-02: add by m2/v0.6.18
YRSZNZ62TC YRSZNZ62TC
| URI | m2://inv/YRSZNZ62TC |
|---|---|
| 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.26713#UTYZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
The $T$-matrix YRSZWD3GW4
| URI | m2://inv/YRSZWD3GW4 |
|---|---|
| Kind | statement |
| 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.18512#VM0G, The $T$-matrix (statement). In 11JNM66Z09/e1, corollary 19.2
History
- 2026-10-28: add by m2/v0.4.2
YRT4CE8NJ2 YRT4CE8NJ2
| URI | m2://inv/YRT4CE8NJ2 |
|---|---|
| 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.27181#DH7S (statement)
History
- 2026-11-01: add by m2/v0.6.15
YRT5T2JXDY YRT5T2JXDY
| URI | m2://inv/YRT5T2JXDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-5 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Kernel regression YRTAP388G3
| URI | m2://inv/YRTAP388G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VI8U, Kernel regression (definition)
History
- 2026-11-02: add by m2/dev
Formal definitions YRTATVG6P8
| URI | m2://inv/YRTATVG6P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#SV2R, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
YRTQPFGMXK YRTQPFGMXK
| URI | m2://inv/YRTQPFGMXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#XD36 (statement). In 9DQKY7KGE8/e1, proposition 1.10
History
- 2026-10-27: add by m2/v0.3.5
Sturm's theorem YRTTDYPN8J
| URI | m2://inv/YRTTDYPN8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real-root isolation#2B1D, Sturm's theorem (statement)
History
- 2026-11-02: add by m2/dev
YRTX2NXDQ9 YRTX2NXDQ9
| URI | m2://inv/YRTX2NXDQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03004#H528 (statement). In 81SMTFDWJ9/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.12
Parallelepiped YRV0MHVPEH
| URI | m2://inv/YRV0MHVPEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry#EOUC, Parallelepiped (definition)
History
- 2026-11-02: add by m2/dev
Part-list cueing effect YRVGA95J51
| URI | m2://inv/YRVGA95J51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#E03H, Part-list cueing effect (unknown)
History
- 2026-11-02: add by m2/dev
YRVGWHX7PB YRVGWHX7PB
| URI | m2://inv/YRVGWHX7PB |
|---|---|
| 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.17875#23TG (statement). In AQX7DGD360/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Example YRVH3V8VZR
| URI | m2://inv/YRVH3V8VZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length extension attack#VZU3, Example (example)
History
- 2026-11-02: add by m2/dev
Harold P. Boas YRVH8RK6GD
| URI | m2://inv/YRVH8RK6GD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold P. Boas, Harold P. Boas (topic). Also Wikidata Q477821
History
- 2026-11-02: add by m2/dev
Fast Fourier transform YRVQ19T0X2
| URI | m2://inv/YRVQ19T0X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#O7T5, Fast Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
microfunction YRVVRC1GH7
| URI | m2://inv/YRVVRC1GH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#2GDE, microfunction (definition)
History
- 2026-11-02: add by m2/dev
Uniqueness of the very weak solution, case $V\geq 0$ YRVWNF6Z91
| URI | m2://inv/YRVWNF6Z91 |
|---|---|
| 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 2110.12380#58RT, Uniqueness of the very weak solution, case $V\geq 0$ (definition). In M6MQPEDQ8N/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.5
YRVY4ZAEN2 YRVY4ZAEN2
| URI | m2://inv/YRVY4ZAEN2 |
|---|---|
| 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.20406#6EHK (statement). In 1YW6C6XGT3/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.2
YRVYMG1CDN YRVYMG1CDN
| URI | m2://inv/YRVYMG1CDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#CTR1 (statement). In Q74G3BVZAQ/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
mapping YRW004CZXW
| URI | m2://inv/YRW004CZXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q370502, mapping (unknown). Also MathWorld Map
- wikipedia: Wikipedia Map (mathematics), Map (definition). Also Wikidata Q370502
History
- 2026-10-26: add by m2/dev
X-13ARIMA-SEATS YRW1XV0G19
| URI | m2://inv/YRW1XV0G19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#U5TJ, X-13ARIMA-SEATS (definition)
History
- 2026-11-02: add by m2/dev
radius of a polydisc YRW8JBTVG9
| URI | m2://inv/YRW8JBTVG9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.1/radius-of-a-polydisc, radius of a polydisc (concept). In VNMV985MXX, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
YRWWNVP28H YRWWNVP28H
| URI | m2://inv/YRWWNVP28H |
|---|---|
| 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 2511.15212#ZC2D (statement). In W99XBH6X5N/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Generalizations YRWZ9KNM39
| URI | m2://inv/YRWZ9KNM39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidistributed sequence#XJJK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
YRX8N3JKX7 YRX8N3JKX7
| URI | m2://inv/YRX8N3JKX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17408#VLSP (statement). In QR8H4M1X4N/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
YRX99TWKGE YRX99TWKGE
| URI | m2://inv/YRX99TWKGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#W2WI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sets for Mathematics YRXBY3623H
| URI | m2://inv/YRXBY3623H |
|---|---|
| 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 Q94449649, Sets for Mathematics (unknown). Also nLab Sets for Mathematics
History
- 2026-10-26: add by m2/dev
Extensions YRXSVM98WS
| URI | m2://inv/YRXSVM98WS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cook's distance#TNJL, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Julian Huppert YRXSXV1R15
| URI | m2://inv/YRXSXV1R15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A8AC, Julian Huppert (unknown)
History
- 2026-11-02: add by m2/dev
Examples YRY5V2F7YE
| URI | m2://inv/YRY5V2F7YE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic subspace#U11A, Examples (example)
History
- 2026-11-02: add by m2/dev
YRY5Y6N1T5 YRY5Y6N1T5
| URI | m2://inv/YRY5Y6N1T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#PFPX (statement). In Y1DR0DPWD0/e1, lemma 7.6
History
- 2026-10-29: add by m2/v0.4.12
cevian YRY9G1SYAY
| URI | m2://inv/YRY9G1SYAY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2319609, cevian (concept). Also MathWorld Cevian
- wikipedia: Wikipedia Cevian, Cevian (definition). Also Wikidata Q2319609
History
- 2026-10-26: add by m2/dev
YRYEMD3REG YRYEMD3REG
| URI | m2://inv/YRYEMD3REG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#1G4Y (statement). In E7W2HDNEKJ/e1, lemma H.12
History
- 2026-10-30: add by m2/v0.4.12
Critical region YRYQSVT97X
| URI | m2://inv/YRYQSVT97X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y8A0, Critical region (statement)
History
- 2026-11-02: add by m2/dev
Makoto Soejima YRYSC0FETW
| URI | m2://inv/YRYSC0FETW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Makoto Soejima, Makoto Soejima (topic). Also Wikidata Q110068128
History
- 2026-11-02: add by m2/dev
YRYV3WVN21 YRYV3WVN21
| URI | m2://inv/YRYV3WVN21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20915#ISDD (statement). In 5M1SXP75D9/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Exact collapse attribution, and its scope YRYZXFYTN3
| URI | m2://inv/YRYZXFYTN3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25039#4VID, Exact collapse attribution, and its scope (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem YRZ0TN9ANV
| URI | m2://inv/YRZ0TN9ANV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable vector-valued functions from Euclidean space#B1OT, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Landweber iteration YRZ0ZYR90N
| URI | m2://inv/YRZ0ZYR90N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landweber iteration, Landweber iteration (definition). Also Wikidata Q6485285
History
- 2026-11-02: add by m2/dev
Etta Zuber Falconer YRZ2Y27CFK
| URI | m2://inv/YRZ2Y27CFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Etta Zuber Falconer, Etta Zuber Falconer (topic). Also Wikidata Q3710564
History
- 2026-11-02: add by m2/dev
YRZ95P18NE YRZ95P18NE
| URI | m2://inv/YRZ95P18NE |
|---|---|
| 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.07114#K4QG (statement). In HP3TM356J6/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
YRZAY776ZB YRZAY776ZB
| URI | m2://inv/YRZAY776ZB |
|---|---|
| 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 2511.12649#Y5IZ (statement). In RT27S2YZKJ/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.0
YRZDMQ6538 YRZDMQ6538
| URI | m2://inv/YRZDMQ6538 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05672#8GME (statement). In BQGX0XE2A6/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
YRZN1HAFE5 YRZN1HAFE5
| URI | m2://inv/YRZN1HAFE5 |
|---|---|
| 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.19464#XW7L (statement). In G8JCZ109A9/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Marcinkiewicz–Zygmund inequality YRZR7EZK6T
| URI | m2://inv/YRZR7EZK6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcinkiewicz–Zygmund inequality, Marcinkiewicz–Zygmund inequality (statement). Also Wikidata Q6757294
History
- 2026-11-02: add by m2/dev