Inventory rows Z7
The cards of the rows of the inventory whose ids start with Z7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Z700MEWC3R Z700MEWC3R
| URI | m2://inv/Z700MEWC3R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#0HHC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Z704SGJ1TR Z704SGJ1TR
| URI | m2://inv/Z704SGJ1TR |
|---|---|
| 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#9O4P (statement). In 7WKVFJEZQT/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Z705164CYW Z705164CYW
| URI | m2://inv/Z705164CYW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#M0YA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Z705M6TFE6 Z705M6TFE6
| URI | m2://inv/Z705M6TFE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36410#XSO3 (statement). In 1FRV7XDEGF/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Minoru Tomita Z7072NCV9N
| URI | m2://inv/Z7072NCV9N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minoru Tomita, Minoru Tomita (topic). Also Wikidata Q15835295
History
- 2026-11-02: add by m2/dev
Jiang--Lin Z70CJPK2ZB
| URI | m2://inv/Z70CJPK2ZB |
|---|---|
| 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.21399#TPQK, Jiang--Lin (statement)
History
- 2026-11-02: add by m2/v0.6.18
Alternative definition Z7119GK8NV
| URI | m2://inv/Z7119GK8NV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character (mathematics)#QJ67, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Z715CRTZDN Z715CRTZDN
| URI | m2://inv/Z715CRTZDN |
|---|---|
| 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.15489#WDFQ (statement). In 5BCTP0B6Q1/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
time-frequency filters Z71QDDS4JY
| URI | m2://inv/Z71QDDS4JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noise reduction#51UO, time-frequency filters (definition)
History
- 2026-11-02: add by m2/dev
Leimkuhler–Matthews method Z71VVQH9BD
| URI | m2://inv/Z71VVQH9BD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leimkuhler–Matthews method, Leimkuhler–Matthews method (definition). Also Wikidata Q113511984
History
- 2026-11-02: add by m2/dev
Z71Y02NMNE Z71Y02NMNE
| URI | m2://inv/Z71Y02NMNE |
|---|---|
| Kind | example |
| 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 2609.21034#CDJQ (example)
History
- 2026-11-02: add by m2/v0.6.18
Audio-magnetotellurics Z71YYR432P
| URI | m2://inv/Z71YYR432P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetotellurics#PUFI, Audio-magnetotellurics (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition Z7246YGJES
| URI | m2://inv/Z7246YGJES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel disc#F9ME, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Z724B0YFRZ Z724B0YFRZ
| URI | m2://inv/Z724B0YFRZ |
|---|---|
| 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 0809.0068#PIXJ (statement). In MBKYGM01FK/e1, proposition 1.16
History
- 2026-10-27: add by m2/v0.3.5
isomorphism, of sets Z728T7R24Q
| URI | m2://inv/Z728T7R24Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/isomorphism-of-sets, isomorphism, of sets (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
standard deviation Z72KKTKHDG
| URI | m2://inv/Z72KKTKHDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#SPMY, standard deviation (definition)
History
- 2026-11-02: add by m2/dev
Z72RZQCDRJ Z72RZQCDRJ
| URI | m2://inv/Z72RZQCDRJ |
|---|---|
| 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.36078#0PYG (statement). In MVKXS0Q6XN/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Z733YRARM7 Z733YRARM7
| URI | m2://inv/Z733YRARM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#IWCJ (statement). In 7WMNVJBAVR/e1, theorem 4.16
History
- 2026-10-29: add by m2/v0.4.10
using convolution and Fourier-Laplace transform to solve one-dimensional linear differential equations Z7343QX484
| URI | m2://inv/Z7343QX484 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > using convolution and Fourier-Laplace transform to solve one-dimensional linear differential equations, using convolution and Fourier-Laplace transform to solve one-dimensional linear differential equations (unknown)
History
- 2026-10-26: add by m2/dev
Z734GYX23E Z734GYX23E
| URI | m2://inv/Z734GYX23E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-basics.ptx#example-1 (example). In Y91XFCEVHQ, example, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Expectations are not sample-smooth Z734HS60AM
| URI | m2://inv/Z734HS60AM |
|---|---|
| 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 2609.26270#DWHF, Expectations are not sample-smooth (statement)
History
- 2026-11-01: add by m2/v0.6.15
conormal Z73CA9HV7Z
| URI | m2://inv/Z73CA9HV7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#AH0N, conormal (definition)
History
- 2026-11-02: add by m2/dev
Example Z73CD6D8DC
| URI | m2://inv/Z73CD6D8DC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility rule#QAP8, Example (example)
History
- 2026-11-02: add by m2/dev
Toral subalgebra Z73CWDK669
| URI | m2://inv/Z73CWDK669 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toral subalgebra, Toral subalgebra (definition). Also Wikidata Q7825383
History
- 2026-11-02: add by m2/dev
Inverse function theorem Z73KHTG1JX
| URI | m2://inv/Z73KHTG1JX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale morphism#CVWV, Inverse function theorem (statement)
History
- 2026-11-02: add by m2/dev
Hermann Vermeil Z73YNJBXY9
| URI | m2://inv/Z73YNJBXY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#9WX0, Hermann Vermeil (topic)
History
- 2026-11-02: add by m2/dev
Ovoid Z749FD4GMX
| URI | m2://inv/Z749FD4GMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ovoid (polar space), Ovoid (definition). Also Wikidata Q7114194
History
- 2026-11-02: add by m2/dev
Matrix multiplication algorithm Z74A2ENDKQ
| URI | m2://inv/Z74A2ENDKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#HAEH, Matrix multiplication algorithm (definition)
History
- 2026-11-02: add by m2/dev
Bounded set Z74BRDRQJW
| URI | m2://inv/Z74BRDRQJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#TDAF, Bounded set (definition)
History
- 2026-11-02: add by m2/dev
Z74ETY7CHM Z74ETY7CHM
| URI | m2://inv/Z74ETY7CHM |
|---|---|
| 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.29274#AYDQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z74J88HX32 Z74J88HX32
| URI | m2://inv/Z74J88HX32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1902.04230#KY01 (statement). In 22JZ68FGCW/e1, proposition 6.23
History
- 2026-10-27: add by m2/v0.3.5
Roger Maddux Z74WH32RKD
| URI | m2://inv/Z74WH32RKD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WGN8, Roger Maddux (topic)
History
- 2026-11-02: add by m2/dev
Double origin topology Z74YZVQCW6
| URI | m2://inv/Z74YZVQCW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#F0IS, Double origin topology (definition)
- wikipedia: Wikipedia List of topologies#RUZB, Double origin topology (definition)
History
- 2026-11-02: add by m2/dev
Z74Z2Y6G0N Z74Z2Y6G0N
| URI | m2://inv/Z74Z2Y6G0N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-95 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
Calculus of moving surfaces Z7573YRY94
| URI | m2://inv/Z7573YRY94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ZU4G, Calculus of moving surfaces (definition)
History
- 2026-11-02: add by m2/dev
David G. Cantor Z75B6W1FVN
| URI | m2://inv/Z75B6W1FVN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David G. Cantor, David G. Cantor (topic). Also Wikidata Q18705860
History
- 2026-11-02: add by m2/dev
edge figure Z75BXZH9PJ
| URI | m2://inv/Z75BXZH9PJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of regular polytopes#EAQJ, edge figure (object)
History
- 2026-11-02: add by m2/dev
Non-self-duality Z75CG26291
| URI | m2://inv/Z75CG26291 |
|---|---|
| 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#BAWH, Non-self-duality (statement). In QPJ6FWG5HD/e1, proposition 2.83
History
- 2026-10-29: add by m2/v0.4.12
Computation Z75K4H0J82
| URI | m2://inv/Z75K4H0J82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickman function#G6RS, Computation (definition)
History
- 2026-11-02: add by m2/dev
Theorem Z75PJQKHSK
| URI | m2://inv/Z75PJQKHSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin duality#2BUM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Z75QC007MH Z75QC007MH
| URI | m2://inv/Z75QC007MH |
|---|---|
| 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#9M6B (statement). In E7W2HDNEKJ/e1, theorem 10.22
History
- 2026-10-30: add by m2/v0.4.12
Weak sphericity of contained packets Z75RGV9EE0
| URI | m2://inv/Z75RGV9EE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#X4V4, Weak sphericity of contained packets (statement). In H7DMRWBBJN/e1, proposition 8.16
History
- 2026-10-28: add by m2/v0.4.2
International Data Encryption Algorithm Z75ZJVB5XV
| URI | m2://inv/Z75ZJVB5XV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Data Encryption Algorithm, International Data Encryption Algorithm (definition). Also Wikidata Q848204
History
- 2026-11-02: add by m2/dev
Validity of the scalar identities Z761YZC92C
| URI | m2://inv/Z761YZC92C |
|---|---|
| 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.27641#04HP, Validity of the scalar identities (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maximum sustainable yield Z7645ZRZQ2
| URI | m2://inv/Z7645ZRZQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum sustainable yield, Maximum sustainable yield (definition). Also Wikidata Q3425223
History
- 2026-11-02: add by m2/dev
Cor. 8 and 9 in , Cor. 3.6 Z7681051T4
| URI | m2://inv/Z7681051T4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#5EMZ, Cor. 8 and 9 in , Cor. 3.6 (statement). In 1KSE33PVS6/e1, lemma 41
History
- 2026-10-30: add by m2/v0.4.12
Z76DV24E74 Z76DV24E74
| URI | m2://inv/Z76DV24E74 |
|---|---|
| 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.07890#SUTD (statement). In 6F3GSDT2V1/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Dimension-free $H^1$ kink regularity Z76FBRMKDV
| URI | m2://inv/Z76FBRMKDV |
|---|---|
| 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.39408#I6F5, Dimension-free $H^1$ kink regularity (statement). In T8E6F01RTM/e1, lemma G.2
History
- 2026-10-30: add by m2/v0.4.12
clutching Z76S8Z50D2
| URI | m2://inv/Z76S8Z50D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#WQRW, clutching (definition)
History
- 2026-11-02: add by m2/dev
Examples Z776Y40Q62
| URI | m2://inv/Z776Y40Q62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design matrix#CXM8, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties Z777WMKS1P
| URI | m2://inv/Z777WMKS1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptak space#YESP, Properties (statement)
History
- 2026-11-02: add by m2/dev
class Z77E0G1AQK
| URI | m2://inv/Z77E0G1AQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#EL9Q, class (definition)
History
- 2026-11-02: add by m2/dev
countable antichain condition Z77FBNT2GT
| URI | m2://inv/Z77FBNT2GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MP1V, countable antichain condition (definition)
History
- 2026-11-02: add by m2/dev
Z77N35WSZV Z77N35WSZV
| URI | m2://inv/Z77N35WSZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#SI7X (statement). In CEKW9CNVVW/e1, lemma 6.9
History
- 2026-10-29: add by m2/v0.4.10
Negative association and stored keys; \appproof{pf:na Z77S7EPHZT
| URI | m2://inv/Z77S7EPHZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#3DB5, Negative association and stored keys; \appproof{pf:na (statement). In Y7NC12TBNP/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
AES implementations Z77XGQN7KY
| URI | m2://inv/Z77XGQN7KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AES implementations, AES implementations (definition). Also Wikidata Q4651362
History
- 2026-11-02: add by m2/dev
Karen Vogtmann Z77XKQ68C5
| URI | m2://inv/Z77XKQ68C5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen Vogtmann, Karen Vogtmann (topic). Also Wikidata Q1729283
History
- 2026-11-02: add by m2/dev
Z784W9HK8Y Z784W9HK8Y
| URI | m2://inv/Z784W9HK8Y |
|---|---|
| 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.02790#JXZV (statement). In NB7HZ8W2K2/e1, lemma 24
History
- 2026-10-29: add by m2/v0.4.12
Z7862QC0SY Z7862QC0SY
| URI | m2://inv/Z7862QC0SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#8ODM (statement). In YXZX6Z8S6A/e1, lemma 5.19
History
- 2026-10-28: add by m2/v0.4.2
Quadrilateralized spherical cube Z78E8K81WF
| URI | m2://inv/Z78E8K81WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrilateralized spherical cube, Quadrilateralized spherical cube (definition). Also Wikidata Q7268406
History
- 2026-11-02: add by m2/dev
Z78FBC5NHQ Z78FBC5NHQ
| URI | m2://inv/Z78FBC5NHQ |
|---|---|
| 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-16 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
operator Z78GKV5VN8
| URI | m2://inv/Z78GKV5VN8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.2/operator, operator (concept). In E9HS8K3A52, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Okubo algebra Z78GSY9QRF
| URI | m2://inv/Z78GSY9QRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Okubo algebra, Okubo algebra (definition). Also Wikidata Q17099522
History
- 2026-11-02: add by m2/dev
Principle of distributivity Z78GWZRKHV
| URI | m2://inv/Z78GWZRKHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of distributivity, Principle of distributivity (statement). Also Wikidata Q7245154
History
- 2026-11-02: add by m2/dev
Z78QAG6MJA Z78QAG6MJA
| URI | m2://inv/Z78QAG6MJA |
|---|---|
| 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.16002#4ZX6 (statement). In MWXDTQ7XC4/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Z793Q307SS Z793Q307SS
| URI | m2://inv/Z793Q307SS |
|---|---|
| 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.15037#TNHE (statement). In 9XCA9T80GJ/e1, lemma 5.1.3
History
- 2026-10-28: add by m2/v0.4.2
Definition Z799EJEFCE
| URI | m2://inv/Z799EJEFCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy subalgebra#E4RZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Z79EK2HHRC Z79EK2HHRC
| URI | m2://inv/Z79EK2HHRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#thm:KTBnot45 (statement). In PKGMM3P5QY, thm, section 50.13
History
- 2026-11-01: add by m2/v0.6.13
quantifier Z79GAVJ9HR
| URI | m2://inv/Z79GAVJ9HR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/quantifier, quantifier (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Rational polynomiality Z79MBX88J4
| URI | m2://inv/Z79MBX88J4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#LH84, Rational polynomiality (statement). In C8VC86B6H8/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Generic identifiability up to the time scale Z79PZ3D6JB
| URI | m2://inv/Z79PZ3D6JB |
|---|---|
| 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.07341#OSBH, Generic identifiability up to the time scale (statement). In 6KFS1X0MZR/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
Z7A1J2RWVT Z7A1J2RWVT
| URI | m2://inv/Z7A1J2RWVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17476#3G7N (statement). In 6HXD74FA4S/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Statement Z7A4K32T1R
| URI | m2://inv/Z7A4K32T1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debreu's representation theorems#JRP4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Schwartz's Paley–Wiener theorem Z7A5JN8BH9
| URI | m2://inv/Z7A5JN8BH9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley–Wiener theorem#ZVVL, Schwartz's Paley–Wiener theorem (statement)
History
- 2026-11-02: add by m2/dev
Z7AADVKMSS Z7AADVKMSS
| URI | m2://inv/Z7AADVKMSS |
|---|---|
| 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.21529#2CXC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z7AAZSTCD9 Z7AAZSTCD9
| URI | m2://inv/Z7AAZSTCD9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#B304 (definition)
History
- 2026-11-02: add by m2/v0.6.18
2002 Serbian Census Z7AP06AWB4
| URI | m2://inv/Z7AP06AWB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2002 Serbian Census, 2002 Serbian Census (definition). Also Wikidata Q136524091
History
- 2026-11-02: add by m2/dev
Z7ARTN2XD9 Z7ARTN2XD9
| URI | m2://inv/Z7ARTN2XD9 |
|---|---|
| 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.00909#9IIF (statement). In Z4TD36VFPW/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Peter Sarnak Z7ASEDN42H
| URI | m2://inv/Z7ASEDN42H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WQ8H, Peter Sarnak (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KFYA, Peter Sarnak (unknown)
History
- 2026-11-02: add by m2/dev
Separoid Z7AV4MKYM1
| URI | m2://inv/Z7AV4MKYM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separoid, Separoid (definition). Also Wikidata Q7451840
History
- 2026-11-02: add by m2/dev
Z7AV9Y1659 Z7AV9Y1659
| URI | m2://inv/Z7AV9Y1659 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01970#67SA (statement). In 1B400PB2NJ/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.12
Robert M. Wald Z7B57GTD2V
| URI | m2://inv/Z7B57GTD2V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#NDGB, Robert M. Wald (topic)
History
- 2026-11-02: add by m2/dev
Touchard's Catalan identity Z7B6NB3N8X
| URI | m2://inv/Z7B6NB3N8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Touchard#JMCY, Touchard's Catalan identity (statement)
History
- 2026-11-02: add by m2/dev
Mirror conjecture Z7BJPCZ0ZV
| URI | m2://inv/Z7BJPCZ0ZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirror symmetry conjecture#BFTM, Mirror conjecture (statement)
History
- 2026-11-02: add by m2/dev
Z7BMRJ06XC Z7BMRJ06XC
| URI | m2://inv/Z7BMRJ06XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#4EPK (statement). In WRE0P7V6Z3/e1, lemma 8.6
History
- 2026-10-30: add by m2/v0.4.12
Formal definition Z7BN76TNEN
| URI | m2://inv/Z7BN76TNEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic Turing machine#BW80, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Suspension theorem for homology Z7BNTHKG1G
| URI | m2://inv/Z7BNTHKG1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excision theorem#D7ZL, Suspension theorem for homology (statement)
History
- 2026-11-02: add by m2/dev
Examples Z7BV4KQ1JS
| URI | m2://inv/Z7BV4KQ1JS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularly ordered#TLUP, Examples (example)
History
- 2026-11-02: add by m2/dev
Johann Jakob Rebstein Z7BX704Y4B
| URI | m2://inv/Z7BX704Y4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Jakob Rebstein, Johann Jakob Rebstein (topic). Also Wikidata Q30098227
History
- 2026-11-02: add by m2/dev
Bayes error rate Z7BZ7XQT0H
| URI | m2://inv/Z7BZ7XQT0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes error rate, Bayes error rate (definition). Also Wikidata Q4874458
History
- 2026-11-02: add by m2/dev
Konstantin Khanin Z7C1R6BXNC
| URI | m2://inv/Z7C1R6BXNC |
|---|---|
| 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#4CPU, Konstantin Khanin (topic)
History
- 2026-11-02: add by m2/dev
Z7C2CE4PKN Z7C2CE4PKN
| URI | m2://inv/Z7C2CE4PKN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1607.01095#K339 (definition). In W3T1ZAT3GC/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Z7CNBYPF2S Z7CNBYPF2S
| URI | m2://inv/Z7CNBYPF2S |
|---|---|
| Kind | problem |
| 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.36421#FHID (problem). In E0ZRSZ0YHT/e1, problem 1
History
- 2026-10-30: add by m2/v0.4.12
Z7CPSHG601 Z7CPSHG601
| URI | m2://inv/Z7CPSHG601 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#8YRD (problem). In XCSQ27P0XW/e1, problem 8.2
History
- 2026-10-27: add by m2/v0.4.0
Definition Z7CSA7JH5E
| URI | m2://inv/Z7CSA7JH5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly chained diagonally dominant matrix#A34O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Semiprime ring Z7CV35JRY2
| URI | m2://inv/Z7CV35JRY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiprime ring, Semiprime ring (definition). Also Wikidata Q139893873
History
- 2026-11-02: add by m2/dev
Z7CYG0NP4T Z7CYG0NP4T
| URI | m2://inv/Z7CYG0NP4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.0174#NFJ0 (statement). In 4P97F3GPJC/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Bernard Epstein Z7D4GKA4YK
| URI | m2://inv/Z7D4GKA4YK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard Epstein, Bernard Epstein (topic). Also Wikidata Q24844420
History
- 2026-11-02: add by m2/dev
Z7DDZERR2S Z7DDZERR2S
| URI | m2://inv/Z7DDZERR2S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#Q9EA (definition). In NAMCCRM50R/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
A fixed Riccati-stability class Z7DHVAJ8KT
| URI | m2://inv/Z7DHVAJ8KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#ZCBU, A fixed Riccati-stability class (statement)
History
- 2026-11-02: add by m2/v0.6.17
Counterexamples Z7DRH74573
| URI | m2://inv/Z7DRH74573 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrelled space#2ZFQ, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
Ci(x) Z7E3833BGP
| URI | m2://inv/Z7E3833BGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric integral#MGUM, Ci(x) (unknown)
History
- 2026-11-02: add by m2/dev
Mean absolute scaled error Z7E7FP1XVD
| URI | m2://inv/Z7E7FP1XVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean absolute scaled error, Mean absolute scaled error (definition). Also Wikidata Q6803610
History
- 2026-11-02: add by m2/dev
Z7E9YQ5XQB Z7E9YQ5XQB
| URI | m2://inv/Z7E9YQ5XQB |
|---|---|
| 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.21399#N0NB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Set-valued function Z7ECEAC4TV
| URI | m2://inv/Z7ECEAC4TV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#EJYT, Set-valued function (definition)
History
- 2026-11-02: add by m2/dev
Z7EMFNPFB5 Z7EMFNPFB5
| URI | m2://inv/Z7EMFNPFB5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16768#NL33 (example). In 8FWK676AQX/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
Z7ER6HHDGR Z7ER6HHDGR
| URI | m2://inv/Z7ER6HHDGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#B2AV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Global direction-error bound Z7EW0EE10Q
| URI | m2://inv/Z7EW0EE10Q |
|---|---|
| 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.33206#3YJ2, Global direction-error bound (statement). In VRPEECJF2P/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Z7EXTZW61C Z7EXTZW61C
| URI | m2://inv/Z7EXTZW61C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#67IR (statement). In DSXBMRYE0V/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.10
Transport on a rank-one cut Z7EZGQ57A2
| URI | m2://inv/Z7EZGQ57A2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#P7G1, Transport on a rank-one cut (statement)
History
- 2026-11-01: add by m2/v0.6.15
cross of Lorraine Z7F2MD4M32
| URI | m2://inv/Z7F2MD4M32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q166208, cross of Lorraine (unknown). Also MathWorld GaullistCross
History
- 2026-10-26: add by m2/dev
Axiom of Archimedes Z7F53XCYHV
| URI | m2://inv/Z7F53XCYHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#GLDE, Axiom of Archimedes (definition)
History
- 2026-11-02: add by m2/dev
Z7F7NFT18N Z7F7NFT18N
| URI | m2://inv/Z7F7NFT18N |
|---|---|
| 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.30354#M5D6 (statement). In B81DM51XSK/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
Z7FCBHN9T0 Z7FCBHN9T0
| URI | m2://inv/Z7FCBHN9T0 |
|---|---|
| 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.09171#42OF (statement). In 5ZPSZFE08Q/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
Mario Pasquato Z7FG0S8HQ3
| URI | m2://inv/Z7FG0S8HQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41223016, Mario Pasquato (unknown). Also nLab Mario Pasquato
History
- 2026-10-26: add by m2/dev
Algorithm Z7FWDN23BM
| URI | m2://inv/Z7FWDN23BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knuth–Eve algorithm#S9S6, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Z7GAQD2G0Z Z7GAQD2G0Z
| URI | m2://inv/Z7GAQD2G0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#WXWE (statement). In 8XAKGH8S2D/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.10
Werner occupation law Z7GAXECF4Q
| URI | m2://inv/Z7GAXECF4Q |
|---|---|
| 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.35986#YUN4, Werner occupation law (statement). In PBX6AMPVT2/e1, lemma D.1
History
- 2026-10-30: add by m2/v0.4.12
Sobolev-type inequality Z7GG1PRZX6
| URI | m2://inv/Z7GG1PRZX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.08253#1NHV, Sobolev-type inequality (statement). In 6AD2CTF0QF/e1, theorem 2.11
History
- 2026-10-29: add by m2/v0.4.10
Z7GG3WEBNN Z7GG3WEBNN
| URI | m2://inv/Z7GG3WEBNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:multiply-ordinals (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Ethel Isabel Moody Z7GJZCYSY9
| URI | m2://inv/Z7GJZCYSY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ethel Isabel Moody, Ethel Isabel Moody (topic). Also Wikidata Q102158248
History
- 2026-11-02: add by m2/dev
Compact convergence Z7GKSRDVPS
| URI | m2://inv/Z7GKSRDVPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact convergence, Compact convergence (definition). Also Wikidata Q1780715
History
- 2026-11-02: add by m2/dev
Joseph Pérès Z7GMMY3V7F
| URI | m2://inv/Z7GMMY3V7F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Pérès, Joseph Pérès (topic). Also Wikidata Q3185532
History
- 2026-11-02: add by m2/dev
Hard Z7GNFHHD5V
| URI | m2://inv/Z7GNFHHD5V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise:dinisthm, Hard (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
Z7GNZR840S Z7GNZR840S
| URI | m2://inv/Z7GNZR840S |
|---|---|
| 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.05216#X5KQ (statement). In J1VCHM6V0S/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Federigo Enriques Z7GTNDWE9E
| URI | m2://inv/Z7GTNDWE9E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#VCGR, Federigo Enriques (topic)
History
- 2026-11-02: add by m2/dev
Z7GVT0NATZ Z7GVT0NATZ
| URI | m2://inv/Z7GVT0NATZ |
|---|---|
| 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.12329#Z1N4 (statement). In ZJQB9W60T6/e1, lemma 7.10
History
- 2026-10-28: add by m2/v0.4.2
Z7GY5KFAT1 Z7GY5KFAT1
| URI | m2://inv/Z7GY5KFAT1 |
|---|---|
| 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.30165#CCZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z7GZN410G8 Z7GZN410G8
| URI | m2://inv/Z7GZN410G8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#2O94 (definition). In WK0PT95WW1/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Z7H3TE437R Z7H3TE437R
| URI | m2://inv/Z7H3TE437R |
|---|---|
| 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.32977#NL9J (statement). In 4KT9TK3MG4/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Simple examples Z7H83E5PD1
| URI | m2://inv/Z7H83E5PD1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible polynomial#3BD3, Simple examples (example)
History
- 2026-11-02: add by m2/dev
Cotangent Z7HSPC5RY6
| URI | m2://inv/Z7HSPC5RY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#0239, Cotangent (definition)
History
- 2026-11-02: add by m2/dev
Properties Z7J1ZZ5VTW
| URI | m2://inv/Z7J1ZZ5VTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gompertz distribution#U4HM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Z7J5Z95NM0 Z7J5Z95NM0
| URI | m2://inv/Z7J5Z95NM0 |
|---|---|
| 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.06461#QLGZ (statement). In QXY3W2JV2N/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Z7J89NAMY1 Z7J89NAMY1
| URI | m2://inv/Z7J89NAMY1 |
|---|---|
| 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.36389#AXHM (statement). In N1S169J2MV/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Axiomatization via alternative principles Z7JCWT41N2
| URI | m2://inv/Z7JCWT41N2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal logic#BDRR, Axiomatization via alternative principles (statement)
History
- 2026-11-02: add by m2/dev
bound variable Z7JEEJMZ2D
| URI | m2://inv/Z7JEEJMZ2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93426845, bound variable (unknown). Also EoM Bound_variable, MathWorld BoundVariable, MathWorld DummyVariable
History
- 2026-10-26: add by m2/dev
Riemann–Siegel formula Z7JEHP9BP4
| URI | m2://inv/Z7JEHP9BP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#OGDT, Riemann–Siegel formula (statement)
History
- 2026-11-02: add by m2/dev
Z7JFXP3344 Z7JFXP3344
| URI | m2://inv/Z7JFXP3344 |
|---|---|
| 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.39782#EUB0 (statement). In JF4188WVV0/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Z7JFZRM24W Z7JFZRM24W
| URI | m2://inv/Z7JFZRM24W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#V5ZD (statement). In 91RRFW0K5D/e1, proposition 14
History
- 2026-10-27: add by m2/v0.3.5
John ellipsoid Z7JHCDJ7P6
| URI | m2://inv/Z7JHCDJ7P6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1699024, John ellipsoid (statement). Also Wikidata Q1699024
- thousand_plus: thousand_plus Q1699024, John ellipsoid (statement). Also Wikidata Q1699024, Wikipedia John ellipsoid
- wikipedia: Wikipedia John ellipsoid, John ellipsoid (definition). Also Wikidata Q1699024
History
- 2026-10-26: add by m2/dev
Z7JPGV0Y5V Z7JPGV0Y5V
| URI | m2://inv/Z7JPGV0Y5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#2CMF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z7K2XZDJCK Z7K2XZDJCK
| URI | m2://inv/Z7K2XZDJCK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
Margin implies skeleton preservation Z7K3N0R9ZC
| URI | m2://inv/Z7K3N0R9ZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#JHRC, Margin implies skeleton preservation (statement). In BAEDMM7YM5/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
Z7K45X0GND Z7K45X0GND
| URI | m2://inv/Z7K45X0GND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#ZK3H (statement). In 7SSKW778T8/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
conclusion Z7K7VZTDTZ
| URI | m2://inv/Z7K7VZTDTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20665666, conclusion (unknown). Also MathWorld Conclusion
History
- 2026-10-26: add by m2/dev
Oracle counts Z7KBP5XSE6
| URI | m2://inv/Z7KBP5XSE6 |
|---|---|
| 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.17127#H2UB, Oracle counts (statement). In NZJ5B5KSDQ/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
Z7KC11G8A7 Z7KC11G8A7
| URI | m2://inv/Z7KC11G8A7 |
|---|---|
| Kind | definition |
| 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#WDSV (definition). In 5KR3MHYVV6/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Z7KH603FHY Z7KH603FHY
| URI | m2://inv/Z7KH603FHY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Z7KKQQ7Q5B Z7KKQQ7Q5B
| URI | m2://inv/Z7KKQQ7Q5B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-recurrence.ptx#example-1 (example). In Y91XFCEVHQ, example, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Even-Power Triangle Inequality Z7KKRGHMZ9
| URI | m2://inv/Z7KKRGHMZ9 |
|---|---|
| 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.30105#MRVX, Even-Power Triangle Inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Julie Bergner Z7KRDKDH6Q
| URI | m2://inv/Z7KRDKDH6Q |
|---|---|
| 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 Q58494998, Julie Bergner (unknown). Also nLab Julie Bergner
- wikipedia: Wikipedia Julie Bergner, Julie Bergner (topic). Also Wikidata Q58494998
History
- 2026-10-26: add by m2/dev
Gabriela Araujo-Pardo Z7KS6KFXJV
| URI | m2://inv/Z7KS6KFXJV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriela Araujo-Pardo, Gabriela Araujo-Pardo (topic). Also Wikidata Q102440244
History
- 2026-11-02: add by m2/dev
Z7M0GF9WJE Z7M0GF9WJE
| URI | m2://inv/Z7M0GF9WJE |
|---|---|
| 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 2301.04933#9HZX (statement). In Q70CTMCJTP/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.3.5
Mean width Z7M15K6DGS
| URI | m2://inv/Z7M15K6DGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#ZLQX, Mean width (definition)
History
- 2026-11-02: add by m2/dev
Paranorm Z7M1E7F21B
| URI | m2://inv/Z7M1E7F21B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#3GFI, Paranorm (unknown)
History
- 2026-11-02: add by m2/dev
Example Z7M26NJREN
| URI | m2://inv/Z7M26NJREN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systemic bias#EK1V, Example (example)
History
- 2026-11-02: add by m2/dev
Carlo Rinaldini Z7M7JJW2R7
| URI | m2://inv/Z7M7JJW2R7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlo Rinaldini, Carlo Rinaldini (topic). Also Wikidata Q2939244
History
- 2026-11-02: add by m2/dev
Definition Z7MAATS71X
| URI | m2://inv/Z7MAATS71X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive normal form#JGYI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bihari-LaSalle inequality Z7MF8RG3KF
| URI | m2://inv/Z7MF8RG3KF |
|---|---|
| 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.33238#SDYO, Bihari-LaSalle inequality (statement). In MVWXMDFP3P/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Z7MFNG84P6 Z7MFNG84P6
| URI | m2://inv/Z7MFNG84P6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#KK31 (statement). In 2W5Z97BBW4/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.0
Z7MN154Q4E Z7MN154Q4E
| URI | m2://inv/Z7MN154Q4E |
|---|---|
| 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#4135 (statement). In 5KR3MHYVV6/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
Spinor field Z7MRDV7E40
| URI | m2://inv/Z7MRDV7E40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#OW37, Spinor field (definition)
History
- 2026-11-02: add by m2/dev
Axis–angle representation Z7MS07P05T
| URI | m2://inv/Z7MS07P05T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axis–angle representation, Axis–angle representation (definition). Also Wikidata Q3625416
History
- 2026-11-02: add by m2/dev
Z7MTVEDPKV Z7MTVEDPKV
| URI | m2://inv/Z7MTVEDPKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#UKX7 (statement). In A5YJDDM0NX/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
Z7MY6WRS8H Z7MY6WRS8H
| URI | m2://inv/Z7MY6WRS8H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.16884#38JD (definition). In B984KNW591/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Z7N4HBKXMG Z7N4HBKXMG
| URI | m2://inv/Z7N4HBKXMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#92TM (statement)
History
- 2026-11-01: add by m2/v0.6.15
CE-logit in the Gaussian classification Z7N5XSRYPT
| URI | m2://inv/Z7N5XSRYPT |
|---|---|
| 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 2609.39190#FWJ4, CE-logit in the Gaussian classification (statement). In J144J3ANFZ/e1, corollary 4.16
History
- 2026-10-30: add by m2/v0.4.12
Willi Rinow Z7NC8Y5J2N
| URI | m2://inv/Z7NC8Y5J2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willi Rinow, Willi Rinow (topic). Also Wikidata Q98031
History
- 2026-11-02: add by m2/dev
The classical Poincaré inequality Z7NCEDVHAY
| URI | m2://inv/Z7NCEDVHAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré inequality#ZABX, The classical Poincaré inequality (statement)
History
- 2026-11-02: add by m2/dev
Z7NCTQR4E6 Z7NCTQR4E6
| URI | m2://inv/Z7NCTQR4E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#R5SL (statement). In 88GEN3Z5VG/e1, proposition 8.11
History
- 2026-10-29: add by m2/v0.4.10
Penelope Maddy Z7NQBV260X
| URI | m2://inv/Z7NQBV260X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#705G, Penelope Maddy (topic)
- wikipedia: Wikipedia List of women logicians#O5EO, Penelope Maddy (topic)
History
- 2026-11-02: add by m2/dev
Geometric series Z7P1B63RGH
| URI | m2://inv/Z7P1B63RGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > Geometric series, Geometric series (unknown). Also Mathlib tsum_geometric_of_norm_lt_one
History
- 2026-10-26: add by m2/dev
sine Z7P3P45FMQ
| URI | m2://inv/Z7P3P45FMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#ML2G, sine (definition)
History
- 2026-11-02: add by m2/dev
Z7P43ZNDSS Z7P43ZNDSS
| URI | m2://inv/Z7P43ZNDSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#NDMV (statement). In FDYZFDHZH9/e1, proposition 2.21
History
- 2026-10-31: add by m2/v0.5.6
string, row sum Z7P5DT498K
| URI | m2://inv/Z7P5DT498K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.5/string-row-sum, string, row sum (concept). In QKM9DD2H56, index, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
Construction Z7P5NKRQ7M
| URI | m2://inv/Z7P5NKRQ7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mycielskian#JAOC, Construction (definition)
History
- 2026-11-02: add by m2/dev
Z7PA28N64Y Z7PA28N64Y
| URI | m2://inv/Z7PA28N64Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#example-6 (example). In RZP28ERRZV, example, section 36.4
History
- 2026-11-01: add by m2/v0.6.13
$q=\tfrac23$, the case $\det J=0$ Z7PDDZ3HSX
| URI | m2://inv/Z7PDDZ3HSX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20932#VP02, $q=\tfrac23$, the case $\det J=0$ (example). In FV78KV64B9/e1, example 10.3
History
- 2026-10-27: add by m2/v0.4.2
Construction Z7PDHKBJ7M
| URI | m2://inv/Z7PDHKBJ7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great dodecahedron#UPV2, Construction (definition)
History
- 2026-11-02: add by m2/dev
Z7PGFXQ6GC Z7PGFXQ6GC
| URI | m2://inv/Z7PGFXQ6GC |
|---|---|
| Kind | definition |
| 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.21060#8V28 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Z7PJNT7X35 Z7PJNT7X35
| URI | m2://inv/Z7PJNT7X35 |
|---|---|
| Kind | example |
| 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.21438#50E1 (example)
History
- 2026-11-02: add by m2/v0.6.18
Exterior existence and Cauchy estimates Z7PK5ZY9GA
| URI | m2://inv/Z7PK5ZY9GA |
|---|---|
| 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.21963#T83T, Exterior existence and Cauchy estimates (statement). In HR9R8RPKN8/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Properties Z7PNE1ENRS
| URI | m2://inv/Z7PNE1ENRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutation matrix#LJRH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Z7PT3Y6BXX Z7PT3Y6BXX
| URI | m2://inv/Z7PT3Y6BXX |
|---|---|
| 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.10029#HZ2B (statement). In K7EAM152B0/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Visine Z7PV16FT82
| URI | m2://inv/Z7PV16FT82 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#1NP1, Visine (unknown)
History
- 2026-11-02: add by m2/dev
Z7PV4ZCQNH Z7PV4ZCQNH
| URI | m2://inv/Z7PV4ZCQNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#VUO8 (statement). In 2W5Z97BBW4/e1, corollary 5.9
History
- 2026-10-27: add by m2/v0.4.0
Z7Q4D0VCRS Z7Q4D0VCRS
| URI | m2://inv/Z7Q4D0VCRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#LRM3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z7Q8HSSY78 Z7Q8HSSY78
| URI | m2://inv/Z7Q8HSSY78 |
|---|---|
| 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.27918#VC0F (statement)
History
- 2026-11-01: add by m2/v0.6.15
truncation tower Z7QG6699K7
| URI | m2://inv/Z7QG6699K7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#N4VW, truncation tower (statement). In 1SPQ4J3AWY/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Formulation Z7QJ4N3JH1
| URI | m2://inv/Z7QJ4N3JH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster decomposition#DG7R, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Z7R677WK7M Z7R677WK7M
| URI | m2://inv/Z7R677WK7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#ordisoisequiv (statement). In PKGMM3P5QY, cor, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Continuum well-posedness and dead core Z7R6A5F0XH
| URI | m2://inv/Z7R6A5F0XH |
|---|---|
| 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.05313#C621, Continuum well-posedness and dead core (statement). In 8XPN1A2GR0/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
STFT-version Z7RF0MQC9S
| URI | m2://inv/Z7RF0MQC9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28341#VXXA, STFT-version (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carlos Eduardo Kenig Z7RJKGT6QP
| URI | m2://inv/Z7RJKGT6QP |
|---|---|
| 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#U0EJ, Carlos Eduardo Kenig (topic)
History
- 2026-11-02: add by m2/dev
Machta--Newman--Stein comparison Z7RKRTSQ01
| URI | m2://inv/Z7RKRTSQ01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#9FNS, Machta--Newman--Stein comparison (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z7RQPKS0V8 Z7RQPKS0V8
| URI | m2://inv/Z7RQPKS0V8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 38.14
History
- 2026-11-01: add by m2/v0.6.13
Vectorization Z7RS97MJ4M
| URI | m2://inv/Z7RS97MJ4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vectorization (mathematics), Vectorization (definition). Also Wikidata Q7917855
History
- 2026-11-02: add by m2/dev
Definition Z7RXXZX14E
| URI | m2://inv/Z7RXXZX14E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinear form#49QS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Magnetic scalar potential Z7RZBWEAHF
| URI | m2://inv/Z7RZBWEAHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic scalar potential, Magnetic scalar potential (definition). Also Wikidata Q17162107
History
- 2026-11-02: add by m2/dev
Green's theorem Z7S106HVVB
| URI | m2://inv/Z7S106HVVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:greens, Green's theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Susan Haack Z7S2QHAME1
| URI | m2://inv/Z7S2QHAME1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Haack, Susan Haack (topic). Also Wikidata Q3173010
History
- 2026-11-02: add by m2/dev
Integral root theorem Z7S5HMHXAQ
| URI | m2://inv/Z7S5HMHXAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LY1E, Integral root theorem (statement)
History
- 2026-11-02: add by m2/dev
Mikyoung Jun Z7SBJWAKR3
| URI | m2://inv/Z7SBJWAKR3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikyoung Jun, Mikyoung Jun (topic). Also Wikidata Q102309467
History
- 2026-11-02: add by m2/dev
Z7SDSY6NTK Z7SDSY6NTK
| URI | m2://inv/Z7SDSY6NTK |
|---|---|
| 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.20466#QPF1 (statement). In M4ZVJWM8YA/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
Z7SKV4JADG Z7SKV4JADG
| URI | m2://inv/Z7SKV4JADG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#HU1C (example). In 9H45HQE7AZ/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
Z7SYVD3TXA Z7SYVD3TXA
| URI | m2://inv/Z7SYVD3TXA |
|---|---|
| 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 2502.16151#LYWF (statement). In CFCTBV1Z93/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
ASReml Z7SYXXZQ8B
| URI | m2://inv/Z7SYXXZQ8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ASReml, ASReml (definition). Also Wikidata Q4654344
History
- 2026-11-02: add by m2/dev
complex classification Z7T0EW82HR
| URI | m2://inv/Z7T0EW82HR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > complex classification, complex classification (unknown). Also Mathlib QuadraticForm.equivalent_weightedSumSquares_of_isAlgClosed
History
- 2026-10-26: add by m2/dev
Z7T13SZD1Q Z7T13SZD1Q
| URI | m2://inv/Z7T13SZD1Q |
|---|---|
| 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 1009.2047#I93H (statement). In F3MWRNBNED/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
Jan Poleszczuk Z7T29RTHS0
| URI | m2://inv/Z7T29RTHS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Poleszczuk, Jan Poleszczuk (topic). Also Wikidata Q57273466
History
- 2026-11-02: add by m2/dev
Epicyclic frequency Z7T2KMA836
| URI | m2://inv/Z7T2KMA836 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epicyclic frequency, Epicyclic frequency (definition). Also Wikidata Q5382669
History
- 2026-11-02: add by m2/dev
Statement of the theorem Z7TCMQKM2T
| URI | m2://inv/Z7TCMQKM2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn–Erdős theorem (incidence geometry)#W7ET, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Z7TE2NBZ33 Z7TE2NBZ33
| URI | m2://inv/Z7TE2NBZ33 |
|---|---|
| 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 2610.10570#L557 (statement). In V0MA250K2P/e1, theorem 3.14
History
- 2026-10-29: add by m2/v0.4.10
Von Neumann extractor Z7V1ZBZG5Z
| URI | m2://inv/Z7V1ZBZG5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#PA6Z, Von Neumann extractor (unknown)
History
- 2026-11-02: add by m2/dev
Z7VCYK16Z0 Z7VCYK16Z0
| URI | m2://inv/Z7VCYK16Z0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#CGSL (statement). In 5PN85N6EJF/e1, lemma B.1
History
- 2026-10-31: add by m2/v0.5.6
721 (number) Z7VFCW6DF9
| URI | m2://inv/Z7VFCW6DF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#UMHA, 721 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Z7VKES1HAM Z7VKES1HAM
| URI | m2://inv/Z7VKES1HAM |
|---|---|
| Kind | definition |
| 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.37967#NJXB (definition). In BR2E3CXQE0/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Enrico Giusti Z7VKMCZBP4
| URI | m2://inv/Z7VKMCZBP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enrico Giusti, Enrico Giusti (topic). Also Wikidata Q628123
History
- 2026-11-02: add by m2/dev
Z7VMJX3CT6 Z7VMJX3CT6
| URI | m2://inv/Z7VMJX3CT6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#8AAD (definition). In G02N9D40B9/e1, definition 5.1.2
History
- 2026-10-29: add by m2/v0.4.10
Lax–Wendroff theorem Z7VMSQAHSD
| URI | m2://inv/Z7VMSQAHSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 65-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527110, Lax–Wendroff theorem (statement). Also Wikidata Q3527110
- thousand_plus: thousand_plus Q3527110, Lax–Wendroff theorem (statement). Also Wikidata Q3527110, Wikipedia Lax–Wendroff theorem
- wikipedia: Wikipedia Lax–Wendroff theorem, Lax–Wendroff theorem (statement). Also Wikidata Q3527110
History
- 2026-10-26: add by m2/dev
Z7VTGXDWXT Z7VTGXDWXT
| URI | m2://inv/Z7VTGXDWXT |
|---|---|
| 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.35404#Y9LU (statement). In DH84PYVRCF/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Polyconvex function Z7VYXX6V30
| URI | m2://inv/Z7VYXX6V30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyconvex function, Polyconvex function (definition). Also Wikidata Q7226241
History
- 2026-11-02: add by m2/dev
Z7W59FJB7X Z7W59FJB7X
| URI | m2://inv/Z7W59FJB7X |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39951#Q7FS (problem). In H343T48ZWE/e1, problem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Logical form Z7W6PQ5JV4
| URI | m2://inv/Z7W6PQ5JV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical form, Logical form (definition). Also Wikidata Q6667497
History
- 2026-11-02: add by m2/dev
Tame conductor-one case Z7W9CP684E
| URI | m2://inv/Z7W9CP684E |
|---|---|
| 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 2610.10583#SQID, Tame conductor-one case (statement). In 5BZQS1KY9A/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Z7WNACCKNP Z7WNACCKNP
| URI | m2://inv/Z7WNACCKNP |
|---|---|
| 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.09084#NNCM (statement). In F5VT2K2QYX/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.10
Z7WNT9GABD Z7WNT9GABD
| URI | m2://inv/Z7WNT9GABD |
|---|---|
| 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.15720#2V8Z (statement). In VNN52G3BRE/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Z7WSQBCW1R Z7WSQBCW1R
| URI | m2://inv/Z7WSQBCW1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#OKTO (statement). In M7NEWDTM32/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Variance decomposition of forecast errors Z7WTMAZH9J
| URI | m2://inv/Z7WTMAZH9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VIC4, Variance decomposition of forecast errors (definition)
History
- 2026-11-02: add by m2/dev
Z7WW9DSRYY Z7WW9DSRYY
| URI | m2://inv/Z7WW9DSRYY |
|---|---|
| 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.13291#W5ZR (statement). In D16PSAVVWV/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Z7X0FW1A3K Z7X0FW1A3K
| URI | m2://inv/Z7X0FW1A3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#GH0I (statement). In 6R0KH80PTK/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
Generalizations Z7X64ZXP01
| URI | m2://inv/Z7X64ZXP01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand–Ribet theorem#B82E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Z7XD62G08K Z7XD62G08K
| URI | m2://inv/Z7XD62G08K |
|---|---|
| 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.11395#9WOT (statement). In T3W7SMWQ73/e1, proposition 36
History
- 2026-10-28: add by m2/v0.4.3
Derivation of Roy's identity Z7XDY7WEQR
| URI | m2://inv/Z7XDY7WEQR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roy's identity#OBOA, Derivation of Roy's identity (statement)
History
- 2026-11-02: add by m2/dev
Z7XJRGNKRX Z7XJRGNKRX
| URI | m2://inv/Z7XJRGNKRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#9NUE (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Boschloo's test Z7XKYX62Y7
| URI | m2://inv/Z7XKYX62Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boschloo's test, Boschloo's test (definition). Also Wikidata Q96373826
History
- 2026-11-02: add by m2/dev
Rayleigh quotient iteration Z7XN38DYE8
| URI | m2://inv/Z7XN38DYE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1KN8, Rayleigh quotient iteration (definition)
History
- 2026-11-02: add by m2/dev
Z7XSM5837Q Z7XSM5837Q
| URI | m2://inv/Z7XSM5837Q |
|---|---|
| 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 2609.21098#HK72 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Left multiplication is a bijection Z7XWEDC8R9
| URI | m2://inv/Z7XWEDC8R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#lem:group_mult_biject, Left multiplication is a bijection (statement). In RZP28ERRZV, lemma, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
K. S. Amur Z7Y28E3W6F
| URI | m2://inv/Z7Y28E3W6F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K. S. Amur, K. S. Amur (topic). Also Wikidata Q6323914
History
- 2026-11-02: add by m2/dev
Failure of both semicontinuity directions Z7Y8YMD307
| URI | m2://inv/Z7Y8YMD307 |
|---|---|
| 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#4PSE, Failure of both semicontinuity directions (statement). In 9YAE8FNQST/e1, corollary 28.22
History
- 2026-10-30: add by m2/v0.4.12
Weyl's unitary trick Z7YDBRZE4D
| URI | m2://inv/Z7YDBRZE4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#WWY9, Weyl's unitary trick (definition)
History
- 2026-11-02: add by m2/dev
Complementary event Z7YFBKK399
| URI | m2://inv/Z7YFBKK399 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complementary event, Complementary event (definition). Also Wikidata Q3755832
History
- 2026-11-02: add by m2/dev
Z7YJFWNFCZ Z7YJFWNFCZ
| URI | m2://inv/Z7YJFWNFCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04452#QODW (statement). In ZV3ANMKJ0Y/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
lemniscatic elliptic function Z7YM77MWSW
| URI | m2://inv/Z7YM77MWSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lemniscate elliptic functions TQDZQ964AZ |
Mentions
- wikidata: Wikidata Q6521248, lemniscatic elliptic function (unknown). Also MathWorld LemniscateFunction
- wikipedia: Wikipedia Lemniscate elliptic functions, Lemniscate elliptic functions (definition). Also Wikidata Q6521248
History
- 2026-10-26: add by m2/dev
Semidefinite embedding Z7YMGHPAKS
| URI | m2://inv/Z7YMGHPAKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2Q4E, Semidefinite embedding (definition)
History
- 2026-11-02: add by m2/dev
Z7Z6P2ZS0E Z7Z6P2ZS0E
| URI | m2://inv/Z7Z6P2ZS0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#35HX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definitions Z7ZB7RJMJC
| URI | m2://inv/Z7ZB7RJMJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic subgroup of a reflection group#QGYC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Restriction growth of mixed stabilizer profiles Z7ZJPBWX8B
| URI | m2://inv/Z7ZJPBWX8B |
|---|---|
| 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.02166#6XSA, Restriction growth of mixed stabilizer profiles (statement). In R6RF3P6D5A/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.12
Realization (probability) Z7ZTJE2HR8
| URI | m2://inv/Z7ZTJE2HR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NIXI, Realization (probability) (definition)
History
- 2026-11-02: add by m2/dev
Z7ZY6GCE2Q Z7ZY6GCE2Q
| URI | m2://inv/Z7ZY6GCE2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-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.11785#R1S4 (statement). In 2XSZDXZ52E/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.3