Inventory rows DA
The cards of the rows of the inventory whose ids start with DA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Farey formula mod $24$ for $L^mR^m$ DA00ZG91EY
| URI | m2://inv/DA00ZG91EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#RDKF, Farey formula mod $24$ for $L^mR^m$ (statement). In 11JNM66Z09/e1, theorem 9.1
History
- 2026-10-28: add by m2/v0.4.2
Examples DA0125KC9D
| URI | m2://inv/DA0125KC9D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior (topology)#Z5O9, Examples (example)
History
- 2026-11-02: add by m2/dev
Exponential power distribution DA03JHXNFN
| URI | m2://inv/DA03JHXNFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GA7P, Exponential power distribution (definition)
History
- 2026-11-02: add by m2/dev
Parametricity DA04GDZYTR
| URI | m2://inv/DA04GDZYTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametricity, Parametricity (definition). Also Wikidata Q17144895
History
- 2026-11-02: add by m2/dev
Definition DA0ZSN52XE
| URI | m2://inv/DA0ZSN52XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal stopping#5TO3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Heptahectogon DA12GW0JED
| URI | m2://inv/DA12GW0JED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#8QYD, Heptahectogon (unknown)
History
- 2026-11-02: add by m2/dev
The Big Mo DA1B5X73NC
| URI | m2://inv/DA1B5X73NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Big Mo, The Big Mo (definition). Also Wikidata Q7717706
History
- 2026-11-02: add by m2/dev
DA1JKZ5SMP DA1JKZ5SMP
| URI | m2://inv/DA1JKZ5SMP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#VU70 (example). In XYCBKM4WKY/e1, example 59
History
- 2026-10-27: add by m2/v0.3.5
Eden growth model DA1WS8Z9A7
| URI | m2://inv/DA1WS8Z9A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eden growth model, Eden growth model (definition). Also Wikidata Q5336964
History
- 2026-11-02: add by m2/dev
DA202M02T9 DA202M02T9
| URI | m2://inv/DA202M02T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.06455#GI4F (statement). In N6GB5J5BAY/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Hamnet Holditch DA21G0NSJD
| URI | m2://inv/DA21G0NSJD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamnet Holditch, Hamnet Holditch (topic). Also Wikidata Q15990017
History
- 2026-11-02: add by m2/dev
DA2308RV01 DA2308RV01
| URI | m2://inv/DA2308RV01 |
|---|---|
| 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 2202.02831#5JOE (statement). In YA5DBTQCB1/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Rahul Pandharipande DA23W0YDHF
| URI | m2://inv/DA23W0YDHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#2OB5, Rahul Pandharipande (topic)
History
- 2026-11-02: add by m2/dev
Easton's theorem DA28GM1HZ9
| URI | m2://inv/DA28GM1HZ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5ON9, Easton's theorem (statement)
History
- 2026-11-02: add by m2/dev
Bondi energy DA2ATJA8TP
| URI | m2://inv/DA2ATJA8TP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass in general relativity#YZZT, Bondi energy (unknown)
History
- 2026-11-02: add by m2/dev
Singular cardinals hypothesis DA2DVRQPEV
| URI | m2://inv/DA2DVRQPEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular cardinals hypothesis, Singular cardinals hypothesis (statement). Also Wikidata Q2289367
History
- 2026-11-02: add by m2/dev
DA2H4G0SJH DA2H4G0SJH
| URI | m2://inv/DA2H4G0SJH |
|---|---|
| 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.25472#MWON (statement)
History
- 2026-11-01: add by m2/v0.6.15
LLT for Large Deviations DA2HEVBEVN
| URI | m2://inv/DA2HEVBEVN |
|---|---|
| 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#U4LQ, LLT for Large Deviations (statement). In WRE0P7V6Z3/e1, theorem D.30
History
- 2026-10-30: add by m2/v0.4.12
Disproof of the conjecture DA2HXQNEB6
| URI | m2://inv/DA2HXQNEB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mertens conjecture#V52I, Disproof of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
DA2M8GJKZD DA2M8GJKZD
| URI | m2://inv/DA2M8GJKZD |
|---|---|
| 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.04876#4DH4 (statement). In 2TNAKVC0YP/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.12
Coefficient error of the Bayes ridge estimator DA2PFEPJ95
| URI | m2://inv/DA2PFEPJ95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07637#CQEW, Coefficient error of the Bayes ridge estimator (statement). In ERR2F5FXC3/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
Applications DA2QMCMB0R
| URI | m2://inv/DA2QMCMB0R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra#HZDM, Applications (example)
History
- 2026-11-02: add by m2/dev
DA2RM1SZ7P DA2RM1SZ7P
| URI | m2://inv/DA2RM1SZ7P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 12.5
History
- 2026-11-01: add by m2/v0.6.13
A finite reference cannot match a nonatomic one locally DA2WJRAEC5
| URI | m2://inv/DA2WJRAEC5 |
|---|---|
| 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#1X42, A finite reference cannot match a nonatomic one locally (statement). In 9YAE8FNQST/e1, corollary 23.18
History
- 2026-10-30: add by m2/v0.4.12
Luc Robbiano DA3AF05AS7
| URI | m2://inv/DA3AF05AS7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#27IZ, Luc Robbiano (unknown)
History
- 2026-11-02: add by m2/dev
DA3B1QKKA4 DA3B1QKKA4
| URI | m2://inv/DA3B1QKKA4 |
|---|---|
| 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.23538#PIAB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Wright-Fisher models DA3B5YAG9D
| URI | m2://inv/DA3B5YAG9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic drift#RSJ3, Wright-Fisher models (unknown)
History
- 2026-11-02: add by m2/dev
DA3BP3MCXB DA3BP3MCXB
| URI | m2://inv/DA3BP3MCXB |
|---|---|
| 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.12852#D0YM (statement). In 1NRV3J17T7/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
DA3F1T913J DA3F1T913J
| URI | m2://inv/DA3F1T913J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#GH8F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Perfect fluid two-point conjecture DA3T4CYSFM
| URI | m2://inv/DA3T4CYSFM |
|---|---|
| Kind | conjecture |
| 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.31294#PDCA, Perfect fluid two-point conjecture (conjecture). In 6GK9EJMWY4/e1, conjecture 2.2
History
- 2026-10-31: add by m2/v0.5.6
DA3YCPNSSK DA3YCPNSSK
| URI | m2://inv/DA3YCPNSSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09599#567O (statement). In 4JYGH9XNA9/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.10
Finite lower envelopes DA3Z1KE8T9
| URI | m2://inv/DA3Z1KE8T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#JXHV, Finite lower envelopes (statement). In AYG8HYGW6V/e1, lemma G.4
History
- 2026-10-28: add by m2/v0.4.3
DA44AQFFC0 DA44AQFFC0
| URI | m2://inv/DA44AQFFC0 |
|---|---|
| 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 2208.07401#4Z1A (statement). In GJD7HKCE56/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.6
Amit Sahai DA44NMDYB3
| URI | m2://inv/DA44NMDYB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VN7E, Amit Sahai (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NC72, Amit Sahai (unknown)
History
- 2026-11-02: add by m2/dev
Definition DA483KV2EY
| URI | m2://inv/DA483KV2EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space aimed at its subspace#GQWE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Aleksander Rajchman DA4DE0EDNQ
| URI | m2://inv/DA4DE0EDNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZHFN, Aleksander Rajchman (unknown)
History
- 2026-11-02: add by m2/dev
Milner–Rado paradox DA4XSVSPTB
| URI | m2://inv/DA4XSVSPTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#52K8, Milner–Rado paradox (definition)
History
- 2026-11-02: add by m2/dev
Principle DA4YDS8Y3F
| URI | m2://inv/DA4YDS8Y3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mode conversion#MMG0, Principle (statement)
History
- 2026-11-02: add by m2/dev
DA50CTBHQA DA50CTBHQA
| URI | m2://inv/DA50CTBHQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#2DJT (statement). In 47WN78VDDF/e1, corollary 3.23
History
- 2026-10-30: add by m2/v0.4.12
Steven J. Ostro DA58S052XG
| URI | m2://inv/DA58S052XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SEMP, Steven J. Ostro (unknown)
History
- 2026-11-02: add by m2/dev
Karplus-Strong string synthesis DA59V3S6KF
| URI | m2://inv/DA59V3S6KF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#V6GF, Karplus-Strong string synthesis (unknown)
History
- 2026-11-02: add by m2/dev
Gödel's incompleteness theorem DA5J4RGQZ9
| URI | m2://inv/DA5J4RGQZ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metamathematics#6CJZ, Gödel's incompleteness theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem DA5JGQNBYN
| URI | m2://inv/DA5JGQNBYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#QGII, Theorem (statement)
History
- 2026-11-02: add by m2/dev
sampling, without replacement DA5Q0FVJQM
| URI | m2://inv/DA5Q0FVJQM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.1/sampling-without-replacement, sampling, without replacement (concept). In QKM9DD2H56, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Comeagre DA5TR5P8XJ
| URI | m2://inv/DA5TR5P8XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#7WPK, Comeagre (definition)
History
- 2026-11-02: add by m2/dev
The light part on a product net DA5X3F21FX
| URI | m2://inv/DA5X3F21FX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-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 2609.20520#TM4V, The light part on a product net (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kronecker sum of discrete Laplacians DA6ABWDZHR
| URI | m2://inv/DA6ABWDZHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker sum of discrete Laplacians, Kronecker sum of discrete Laplacians (definition). Also Wikidata Q6438899
History
- 2026-11-02: add by m2/dev
DA6BR62Y36 DA6BR62Y36
| URI | m2://inv/DA6BR62Y36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21534#80RR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Quantum logic DA6C5ZW1Y4
| URI | m2://inv/DA6C5ZW1Y4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#XAYR, Quantum logic (topic)
History
- 2026-11-02: add by m2/dev
DA6PAYYX9W DA6PAYYX9W
| URI | m2://inv/DA6PAYYX9W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#PLC7 (definition). In 7V2PVZS04C/e1, definition 6.21
History
- 2026-10-31: add by m2/v0.5.6
Graded algebra DA6XXF7PJ0
| URI | m2://inv/DA6XXF7PJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded ring#7HLA, Graded algebra (unknown)
History
- 2026-11-02: add by m2/dev
DA6YRQ7579 DA6YRQ7579
| URI | m2://inv/DA6YRQ7579 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21367#OMFP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gâteaux differentiability DA73ZPNH7C
| URI | m2://inv/DA73ZPNH7C |
|---|---|
| Kind | definition |
| 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.27484#O18H, Gâteaux differentiability (definition)
History
- 2026-11-01: add by m2/v0.6.15
small stellated truncated dodecahedron DA75B1YCYC
| URI | m2://inv/DA75B1YCYC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q69360, small stellated truncated dodecahedron (unknown). Also MathWorld SmallStellatedTruncatedDodecahedron
- wikipedia: Wikipedia Small stellated truncated dodecahedron, Small stellated truncated dodecahedron (object). Also Wikidata Q69360
History
- 2026-10-26: add by m2/dev
DA79WZAW7F DA79WZAW7F
| URI | m2://inv/DA79WZAW7F |
|---|---|
| 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#V63T (statement)
History
- 2026-11-01: add by m2/v0.6.15
A fixed vector-bundle twist DA7JCZ3EDQ
| URI | m2://inv/DA7JCZ3EDQ |
|---|---|
| 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 2610.09295#USWJ, A fixed vector-bundle twist (statement). In 29X0B511NF/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
inverse semigroup DA7KM7E79P
| URI | m2://inv/DA7KM7E79P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Inverse semigroup 3M724K3B50 |
Mentions
- wikidata: Wikidata Q3022118, inverse semigroup (unknown). Also MathWorld InverseSemigroup, nLab inverse semigroup
- wikipedia: Wikipedia Inverse semigroup, Inverse semigroup (definition). Also Wikidata Q3022118
History
- 2026-10-26: add by m2/dev
DA7S7E26XM DA7S7E26XM
| URI | m2://inv/DA7S7E26XM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:dolbeaultlemmaballs (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
DA7SFHQ7AW DA7SFHQ7AW
| URI | m2://inv/DA7SFHQ7AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#PDYM (statement). In 2HSB99DW4M/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.6
DA84NCFK5P DA84NCFK5P
| URI | m2://inv/DA84NCFK5P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/filtrations-def.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 51.10
History
- 2026-11-01: add by m2/v0.6.13
Constructions DA88D30NEP
| URI | m2://inv/DA88D30NEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W-algebra#KH1O, Constructions (definition)
History
- 2026-11-02: add by m2/dev
DA8JPY7QQV DA8JPY7QQV
| URI | m2://inv/DA8JPY7QQV |
|---|---|
| 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 2610.21475#AKMO (statement). In TTRSZVT4VX/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
Guaranteed error bound, patchwise version DA8NCDMX28
| URI | m2://inv/DA8NCDMX28 |
|---|---|
| Kind | definition |
| 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.12088#ADNY, Guaranteed error bound, patchwise version (definition). In 5A39XSJ04W/e1, definition 7.19
History
- 2026-10-28: add by m2/v0.4.3
Invariance DA8S89ZHH7
| URI | m2://inv/DA8S89ZHH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#IFF6, Invariance (statement). In YVK8EFSYNJ/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
DA94TMBJFQ DA94TMBJFQ
| URI | m2://inv/DA94TMBJFQ |
|---|---|
| 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.15700#RJZO (statement). In S95MSZ7MDR/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
Word-representable graph DA97J31P6Q
| URI | m2://inv/DA97J31P6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word-representable graph, Word-representable graph (definition). Also Wikidata Q96415513
History
- 2026-11-02: add by m2/dev
DA999EGVBF DA999EGVBF
| URI | m2://inv/DA999EGVBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#SWJW (statement)
History
- 2026-11-02: add by m2/v0.6.18
DA99V5YN2F DA99V5YN2F
| URI | m2://inv/DA99V5YN2F |
|---|---|
| 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.20110#R4YA (statement). In 1SAMKN4477/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
DA9D4MVV71 DA9D4MVV71
| URI | m2://inv/DA9D4MVV71 |
|---|---|
| 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.31276#57LM (statement). In WYDHWYFRFK/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
DA9HACKF4V DA9HACKF4V
| URI | m2://inv/DA9HACKF4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.29898#691V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dévissage DA9HBFEE42
| URI | m2://inv/DA9HBFEE42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dévissage, Dévissage (definition). Also Wikidata Q5320284
History
- 2026-11-02: add by m2/dev
Optimal rate: the spectral gap DA9JVPR2ND
| URI | m2://inv/DA9JVPR2ND |
|---|---|
| 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.32585#5WY9, Optimal rate: the spectral gap (statement). In FJFJ3WR1SS/e1, lemma 4.7
History
- 2026-10-31: add by m2/v0.5.6
DA9KHSANM9 DA9KHSANM9
| URI | m2://inv/DA9KHSANM9 |
|---|---|
| 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.18016#12HI (statement). In V5PVKDKGGG/e1, theorem 8.6
History
- 2026-10-28: add by m2/v0.4.2
Definition DA9QR9P75V
| URI | m2://inv/DA9QR9P75V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity function#FL8Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
DA9RF830VF DA9RF830VF
| URI | m2://inv/DA9RF830VF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Properties of one iteration DA9TQ6H0PB
| URI | m2://inv/DA9TQ6H0PB |
|---|---|
| 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.06557#5OP5, Properties of one iteration (statement). In VV5CH6Y31D/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
DA9WA95QYK DA9WA95QYK
| URI | m2://inv/DA9WA95QYK |
|---|---|
| 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.32946#NT1P (statement). In 6AEBXNK614/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
Formal statement DAA0TMDM65
| URI | m2://inv/DAA0TMDM65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horseshoe lemma#EY6K, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
DAA3A6126V DAA3A6126V
| URI | m2://inv/DAA3A6126V |
|---|---|
| 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.00247#UQKY (statement). In ZAM4S2XS9F/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
DAA6QYEC1B DAA6QYEC1B
| URI | m2://inv/DAA6QYEC1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35027#0OJ1 (statement). In MEA7NHMQKB/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
DAA9GXSQ0Q DAA9GXSQ0Q
| URI | m2://inv/DAA9GXSQ0Q |
|---|---|
| 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.21972#13G0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pólya's Enumeration Theorem DAADDMQETV
| URI | m2://inv/DAADDMQETV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_polya.ptx#thm_polya_polya, Pólya's Enumeration Theorem (statement). In QKM9DD2H56, theorem, section 15.4.2
History
- 2026-11-01: add by m2/v0.6.13
DAADQ2J8C5 DAADQ2J8C5
| URI | m2://inv/DAADQ2J8C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#MUZ7 (statement). In JQFPH09JG8/e1, lemma 9.4
History
- 2026-10-29: add by m2/v0.4.10
Control-flow diagram DAAGP1KNAT
| URI | m2://inv/DAAGP1KNAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#RSKW, Control-flow diagram (unknown)
History
- 2026-11-02: add by m2/dev
chain rule for holomorphic mappings DAB055FFNZ
| URI | m2://inv/DAB055FFNZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.3/chain-rule-for-holomorphic-mappings, chain rule for holomorphic mappings (concept). In VNMV985MXX, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Examples DAB20FKZFH
| URI | m2://inv/DAB20FKZFH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological entropy#M5XA, Examples (example)
History
- 2026-11-02: add by m2/dev
Ernest Charles Snow DAB98C56CS
| URI | m2://inv/DAB98C56CS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest Charles Snow, Ernest Charles Snow (topic). Also Wikidata Q104595320
History
- 2026-11-02: add by m2/dev
DABDJ4K97J DABDJ4K97J
| URI | m2://inv/DABDJ4K97J |
|---|---|
| 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 1303.4328#UUQ6 (statement). In HCTYW6VH87/e1, proposition 8.4
History
- 2026-10-27: add by m2/v0.3.5
Definability of the Reconstruction DABM2W707P
| URI | m2://inv/DABM2W707P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#5355, Definability of the Reconstruction (statement). In CW9MNA6K58/e1, lemma 9.26
History
- 2026-10-28: add by m2/v0.4.2
Argument from degree DABM69CGWW
| URI | m2://inv/DABM69CGWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from degree, Argument from degree (definition). Also Wikidata Q4789741
History
- 2026-11-02: add by m2/dev
Properties DABQ9HDVNC
| URI | m2://inv/DABQ9HDVNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull–Schmidt category#PHG3, Properties (statement)
History
- 2026-11-02: add by m2/dev
DABXS524H6 DABXS524H6
| URI | m2://inv/DABXS524H6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13392#MNUI (statement). In 2FVND41HVS/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Exponential integrator DABZ3J9FM5
| URI | m2://inv/DABZ3J9FM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#4JV2, Exponential integrator (definition)
History
- 2026-11-02: add by m2/dev
DAC361TJ8X DAC361TJ8X
| URI | m2://inv/DAC361TJ8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33770#MHQV (statement). In 7DJ3C4V66R/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
simple DAC39PB110
| URI | m2://inv/DAC39PB110 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#QP4K, simple (definition)
History
- 2026-11-02: add by m2/dev
Brownian bridge DAC5SNQFQA
| URI | m2://inv/DAC5SNQFQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian bridge, Brownian bridge (definition). Also Wikidata Q628309
History
- 2026-11-02: add by m2/dev
fiber product DACASY34GY
| URI | m2://inv/DACASY34GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#IJ74, fiber product (definition)
History
- 2026-11-02: add by m2/dev
August Leopold Crelle DACDVB54J2
| URI | m2://inv/DACDVB54J2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia August Leopold Crelle, August Leopold Crelle (topic). Also Wikidata Q450998
History
- 2026-11-02: add by m2/dev
Polynomial hierarchy DACFD1RW37
| URI | m2://inv/DACFD1RW37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial hierarchy, Polynomial hierarchy (definition). Also Wikidata Q2103021
History
- 2026-11-02: add by m2/dev
Sergio Campanato DACR4YJ4B7
| URI | m2://inv/DACR4YJ4B7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergio Campanato, Sergio Campanato (topic). Also Wikidata Q3956052
History
- 2026-11-02: add by m2/dev
Uses DACW0T9QPR
| URI | m2://inv/DACW0T9QPR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Environmental statistics#2YE8, Uses (example)
History
- 2026-11-02: add by m2/dev
Easy DAD402C6B8
| URI | m2://inv/DAD402C6B8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-12, Easy (exercise). In E59CDZA4DP, exercise, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
Dolbeault operator DAD7JVWX05
| URI | m2://inv/DAD7JVWX05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex differential form#NC3I, Dolbeault operator (unknown)
History
- 2026-11-02: add by m2/dev
DADE08F8MX DADE08F8MX
| URI | m2://inv/DADE08F8MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05867#P9WW (statement). In E2TP3AKTNV/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
DADG0KEP7Z DADG0KEP7Z
| URI | m2://inv/DADG0KEP7Z |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00584#IPDS (unknown). In 3CRSR95BNA/e1, unknown
History
- 2026-10-30: add by m2/v0.4.12
J-multiplicity DADSE8HS5Z
| URI | m2://inv/DADSE8HS5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-multiplicity, J-multiplicity (definition). Also Wikidata Q17098259
History
- 2026-11-02: add by m2/dev
DADV7610Q2 DADV7610Q2
| URI | m2://inv/DADV7610Q2 |
|---|---|
| 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 2509.21444#OKHQ (statement). In CTVPA2FQT1/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.4.0
Normalized exponential families DAE7BEYHZ8
| URI | m2://inv/DAE7BEYHZ8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#1VVQ, Normalized exponential families (example). In N37WKFTR7Q/e1, example I.5
History
- 2026-10-29: add by m2/v0.4.10
Marc Kac DAEFEH8373
| URI | m2://inv/DAEFEH8373 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#O1HF, Marc Kac (topic)
History
- 2026-11-02: add by m2/dev
Dieudonné–Manin classification theorem DAEHZSQ6SF
| URI | m2://inv/DAEHZSQ6SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-crystal#WEQ1, Dieudonné–Manin classification theorem (statement)
History
- 2026-11-02: add by m2/dev
DAEJX7653N DAEJX7653N
| URI | m2://inv/DAEJX7653N |
|---|---|
| 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#SKJH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Stochastic wave equation, continued DAFFMZYRWS
| URI | m2://inv/DAFFMZYRWS |
|---|---|
| Kind | example |
| 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.14717#H680, Stochastic wave equation, continued (example). In ZB2QPB5EBN/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.2
dictionary DAFM81JT98
| URI | m2://inv/DAFM81JT98 |
|---|---|
| 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.06909#319Y, dictionary (statement). In F1EF8XE30A/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
rounding DAFRK6DZ8G
| URI | m2://inv/DAFRK6DZ8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rounding 5NPVX29Y0C |
Mentions
- wikidata: Wikidata Q663208, rounding (unknown). Also MathWorld Rounding
- wikipedia: Wikipedia Rounding, Rounding (definition). Also Wikidata Q663208
History
- 2026-10-26: add by m2/dev
saltire DAFS83JS4C
| URI | m2://inv/DAFS83JS4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q201960, saltire (unknown). Also MathWorld SaintAndrewsCross
History
- 2026-10-26: add by m2/dev
Ball and Prodromou DAFSX9CZ8T
| URI | m2://inv/DAFSX9CZ8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31389#LTO7, Ball and Prodromou (statement). In YS0YFQEYE1/e1, theorem 4
History
- 2026-10-31: add by m2/v0.5.6
Aleksandar Ivić DAFWQATTZV
| URI | m2://inv/DAFWQATTZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DVWA, Aleksandar Ivić (topic)
History
- 2026-11-02: add by m2/dev
Modus ponens DAFZCQA7R4
| URI | m2://inv/DAFZCQA7R4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modus ponens#Q2N8, Modus ponens (statement)
History
- 2026-11-02: add by m2/dev
DAG5FA81MM DAG5FA81MM
| URI | m2://inv/DAG5FA81MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#OH64 (statement). In PWF23QSGDX/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
differential geometry of surfaces DAG7SF9MN1
| URI | m2://inv/DAG7SF9MN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2502381, differential geometry of surfaces (unknown). Also MathWorld topics/DifferentialGeometryofSurfaces
- wikipedia: Wikipedia Differential geometry of surfaces, Differential geometry of surfaces (definition). Also Wikidata Q2502381
History
- 2026-10-26: add by m2/dev
symbol of a differential operator DAGF2SGPDY
| URI | m2://inv/DAGF2SGPDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4555178, symbol of a differential operator (unknown). Also nLab symbol of a differential operator
History
- 2026-10-26: add by m2/dev
Subitizing DAGFCNYK39
| URI | m2://inv/DAGFCNYK39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subitizing, Subitizing (definition). Also Wikidata Q487375
History
- 2026-11-02: add by m2/dev
DAGMW7Z2QQ DAGMW7Z2QQ
| URI | m2://inv/DAGMW7Z2QQ |
|---|---|
| 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.26134#376C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proposition DAGV1G3VP0
| URI | m2://inv/DAGV1G3VP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiclass classification#ZQDC, Proposition (statement)
History
- 2026-11-02: add by m2/dev
altitudes DAH0M1C0JJ
| URI | m2://inv/DAH0M1C0JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle inequalities#PCUU, altitudes (definition)
History
- 2026-11-02: add by m2/dev
DAH1AS6C91 DAH1AS6C91
| URI | m2://inv/DAH1AS6C91 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-quantifiers.tex#thm:strong-generalization (statement). In PKGMM3P5QY, thm, section 15.5
History
- 2026-11-01: add by m2/v0.6.13
DAH39E4P1P DAH39E4P1P
| URI | m2://inv/DAH39E4P1P |
|---|---|
| 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.19093#Q9W7 (statement). In S2K79KESZ4/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Charles Méray DAH8P0C1YE
| URI | m2://inv/DAH8P0C1YE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Méray, Charles Méray (topic). Also Wikidata Q983977
History
- 2026-11-02: add by m2/dev
link concordance DAHA1GSN77
| URI | m2://inv/DAHA1GSN77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6554300, link concordance (unknown). Also MathWorld Concordance
- wikipedia: Wikipedia Link concordance, Link concordance (definition). Also Wikidata Q6554300
History
- 2026-10-26: add by m2/dev
DAHC2EAGV0 DAHC2EAGV0
| URI | m2://inv/DAHC2EAGV0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20510#L59C (definition). In 24KCRT4VT2/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
(0,1,−1)-matrix DAHDY6JCGQ
| URI | m2://inv/DAHDY6JCGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 15B36 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43148722, (0,1,−1)-matrix (topic). Also MathWorld -101-Matrix
History
- 2026-10-26: add by m2/dev
Properties DAHFY78QC7
| URI | m2://inv/DAHFY78QC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric derivative#AC3T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Asymptotic suction profile DAHHA0A2E2
| URI | m2://inv/DAHHA0A2E2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blasius boundary layer#CM3A, Asymptotic suction profile (unknown)
History
- 2026-11-02: add by m2/dev
DAHJCT91NQ DAHJCT91NQ
| URI | m2://inv/DAHJCT91NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-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.03138#QDMP (statement). In P5SY7AVP5E/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
DAHK45J555 DAHK45J555
| URI | m2://inv/DAHK45J555 |
|---|---|
| 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#8CXC (statement). In F3MWRNBNED/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Giorgio Mortara DAHSY1QYA1
| URI | m2://inv/DAHSY1QYA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5P38, Giorgio Mortara (unknown)
History
- 2026-11-02: add by m2/dev
DAHWTS8NDG DAHWTS8NDG
| URI | m2://inv/DAHWTS8NDG |
|---|---|
| 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#ZRG7 (definition). In G02N9D40B9/e1, definition 6.2.8
History
- 2026-10-29: add by m2/v0.4.10
Three-stage least squares DAJ2MC32A4
| URI | m2://inv/DAJ2MC32A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7ROS, Three-stage least squares (definition)
History
- 2026-11-02: add by m2/dev
André Weil DAJ47GJW3E
| URI | m2://inv/DAJ47GJW3E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#QHHK, André Weil (topic)
History
- 2026-11-02: add by m2/dev
Sloane's gap DAJ8ACAPQP
| URI | m2://inv/DAJ8ACAPQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia On-Line Encyclopedia of Integer Sequences#NN92, Sloane's gap (unknown)
History
- 2026-11-02: add by m2/dev
DAJ8E98X9B DAJ8E98X9B
| URI | m2://inv/DAJ8E98X9B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-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.19791#M1ZR (definition). In AVDB4KJ6XB/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Example DAJJSC7SQG
| URI | m2://inv/DAJJSC7SQG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box-drawing characters#OSCE, Example (example)
History
- 2026-11-02: add by m2/dev
DAJRP5Y0VS DAJRP5Y0VS
| URI | m2://inv/DAJRP5Y0VS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#Q8BZ (definition). In R604B78EVK/e1, definition A.1
History
- 2026-10-29: add by m2/v0.4.10
Complete intersection DAJS36CRMS
| URI | m2://inv/DAJS36CRMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete intersection, Complete intersection (definition). Also Wikidata Q5156502
History
- 2026-11-02: add by m2/dev
Regular graphs: triangles and four-vertex supports DAJWWTQWRC
| URI | m2://inv/DAJWWTQWRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#0OEY, Regular graphs: triangles and four-vertex supports (statement). In 77TK7M3B9Y/e1, corollary 6
History
- 2026-10-28: add by m2/v0.4.2
DAJYTWVJNM DAJYTWVJNM
| URI | m2://inv/DAJYTWVJNM |
|---|---|
| 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.23470#SSKE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ternary numeral system DAK1KJXM9T
| URI | m2://inv/DAK1KJXM9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#5VWT, Ternary numeral system (definition)
History
- 2026-11-02: add by m2/dev
DAK1VYK3KE DAK1VYK3KE
| URI | m2://inv/DAK1VYK3KE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1810.06028#6YYB (statement). In ZPFHH6YJG3/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
DAK24KVKCP DAK24KVKCP
| URI | m2://inv/DAK24KVKCP |
|---|---|
| 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 1905.00573#HTM1 (statement). In 74RNQVBM2G/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.3.5
DAKCXA3FWP DAKCXA3FWP
| URI | m2://inv/DAKCXA3FWP |
|---|---|
| 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.20801#RHJ2 (statement). In A1GWWGRXPA/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.2
Tilak Raj Prabhakar DAKD8VWMWQ
| URI | m2://inv/DAKD8VWMWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilak Raj Prabhakar, Tilak Raj Prabhakar (topic). Also Wikidata Q124243397
History
- 2026-11-02: add by m2/dev
Highest Derivative Away from Sites DAKDDYE13D
| URI | m2://inv/DAKDDYE13D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#1YXU, Highest Derivative Away from Sites (statement). In CW9MNA6K58/e1, lemma 9.19
History
- 2026-10-28: add by m2/v0.4.2
Cameron-Martin formula DAKFRREKXK
| URI | m2://inv/DAKFRREKXK |
|---|---|
| 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 2412.14956#F0HY, Cameron-Martin formula (statement). In T8BQ6HHZYT/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.3.5
DAKP63NSN1 DAKP63NSN1
| URI | m2://inv/DAKP63NSN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#5WKA (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Finite-cost detectability DAKPTYFYHD
| URI | m2://inv/DAKPTYFYHD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03242#M626, Finite-cost detectability (definition). In MJE6HRC6PX/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Stochastic control DAKWC7KN7G
| URI | m2://inv/DAKWC7KN7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic control, Stochastic control (definition). Also Wikidata Q7617811
History
- 2026-11-02: add by m2/dev
DAM1WDXX4C DAM1WDXX4C
| URI | m2://inv/DAM1WDXX4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16631#W6AQ (statement). In T735PRQNJB/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
DAM6FAYV53 DAM6FAYV53
| URI | m2://inv/DAM6FAYV53 |
|---|---|
| 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.26041#J5Z2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Single equation methods (econometrics) DAM6QJQ72J
| URI | m2://inv/DAM6QJQ72J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z47F, Single equation methods (econometrics) (definition)
History
- 2026-11-02: add by m2/dev
Operon DAMDJ7Z6S2
| URI | m2://inv/DAMDJ7Z6S2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#1YYM, Operon (unknown)
History
- 2026-11-02: add by m2/dev
DAMKHXXAQC DAMKHXXAQC
| URI | m2://inv/DAMKHXXAQC |
|---|---|
| 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.01998#TP2S (statement). In 71YD1PGG8E/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Examples DAMMDHCJ50
| URI | m2://inv/DAMMDHCJ50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge structure#P80A, Examples (example)
History
- 2026-11-02: add by m2/dev
DAN7NKFCRH DAN7NKFCRH
| URI | m2://inv/DAN7NKFCRH |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#NU9B (conjecture). In S8NB83KQX3/e1, conjecture 2
History
- 2026-10-31: add by m2/v0.5.6
V. S. Sunder DAN9GB8K0S
| URI | m2://inv/DAN9GB8K0S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V. S. Sunder, V. S. Sunder (topic). Also Wikidata Q16151988
History
- 2026-11-02: add by m2/dev
Base rate fallacy DANE9BEEE0
| URI | m2://inv/DANE9BEEE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base rate fallacy, Base rate fallacy (definition). Also Wikidata Q1859747
History
- 2026-11-02: add by m2/dev
AD DANNTJQ6SD
| URI | m2://inv/DANNTJQ6SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#43ST, AD (definition)
History
- 2026-11-02: add by m2/dev
DANPR0KHJD DANPR0KHJD
| URI | m2://inv/DANPR0KHJD |
|---|---|
| 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 2609.31212#NWM5 (statement). In FHE30V0M03/e1, corollary 5.2
History
- 2026-10-31: add by m2/v0.5.6
Filling area conjecture DANTE19DW2
| URI | m2://inv/DANTE19DW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systolic geometry#9ZIY, Filling area conjecture (statement)
History
- 2026-11-02: add by m2/dev
DANV8A4KTC DANV8A4KTC
| URI | m2://inv/DANV8A4KTC |
|---|---|
| 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.05327#OFJG (statement). In ZD7BWDKT84/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
cells in the human body DAPC2BJ08Z
| URI | m2://inv/DAPC2BJ08Z |
|---|---|
| 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#8GFQ, cells in the human body (unknown)
History
- 2026-11-02: add by m2/dev
DAPD8K6QGV DAPD8K6QGV
| URI | m2://inv/DAPD8K6QGV |
|---|---|
| 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 2610.22074#CR0I (statement). In F3BKXXPR3K/e1, proposition 3.72
History
- 2026-10-27: add by m2/v0.4.2
Graham scan DAPDHGXJY5
| URI | m2://inv/DAPDHGXJY5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#XQOA, Graham scan (unknown)
History
- 2026-11-02: add by m2/dev
Discrete topology DAPFTBB15Z
| URI | m2://inv/DAPFTBB15Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of examples in general topology#JBZD, Discrete topology (definition)
History
- 2026-11-02: add by m2/dev
Proposition 5.1, Proposition 5 DAPJJ9AERW
| URI | m2://inv/DAPJJ9AERW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#C2QH, Proposition 5.1, Proposition 5 (statement). In 2X2A6MT0QD/e1, theorem 2.25
History
- 2026-10-27: add by m2/v0.3.5
Orthogonal trajectory DAPRKVN69J
| URI | m2://inv/DAPRKVN69J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal trajectory, Orthogonal trajectory (definition). Also Wikidata Q2343723
History
- 2026-11-02: add by m2/dev
DAPRSA1MPQ DAPRSA1MPQ
| URI | m2://inv/DAPRSA1MPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#2DGZ (statement). In RTE2C0PH4S/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
DAPVM4Z5CB DAPVM4Z5CB
| URI | m2://inv/DAPVM4Z5CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#BRDS (statement). In V42PPD7SWH/e1, lemma 8.1
History
- 2026-10-31: add by m2/v0.5.6
DAPXV8VVQJ DAPXV8VVQJ
| URI | m2://inv/DAPXV8VVQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#G3AL (statement). In P3HWTYFDBX/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Examples DAPYS2R8JY
| URI | m2://inv/DAPYS2R8JY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive interpretation#9XRS, Examples (example)
History
- 2026-11-02: add by m2/dev
Canonical ampleness from constant negative HSC DAQ06BHE8N
| URI | m2://inv/DAQ06BHE8N |
|---|---|
| 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#907Z, Canonical ampleness from constant negative HSC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties DAQ2H8Y9GS
| URI | m2://inv/DAQ2H8Y9GS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number#QYMY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Exponentially modified Gaussian distribution DAQPSRZVYN
| URI | m2://inv/DAQPSRZVYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentially modified Gaussian distribution, Exponentially modified Gaussian distribution (definition). Also Wikidata Q5421535
History
- 2026-11-02: add by m2/dev
Pfeffer integral DAQYQKNX21
| URI | m2://inv/DAQYQKNX21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfeffer integral, Pfeffer integral (definition). Also Wikidata Q7179777
History
- 2026-11-02: add by m2/dev
Flos (book) DAR1RRBZEG
| URI | m2://inv/DAR1RRBZEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci#7P7W, Flos (book) (unknown)
History
- 2026-11-02: add by m2/dev
European Social Survey DARCAPCYZ0
| URI | m2://inv/DARCAPCYZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Social Survey, European Social Survey (definition). Also Wikidata Q1376959
History
- 2026-11-02: add by m2/dev
\bf Trapping implies existence of stationarity DARFY3ZJPY
| URI | m2://inv/DARFY3ZJPY |
|---|---|
| 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.02791#WQJI, \bf Trapping implies existence of stationarity (statement). In TT9BA4VMTW/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
DARKJARPHZ DARKJARPHZ
| URI | m2://inv/DARKJARPHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#UETM (statement). In BDN507RN7J/e1, corollary 4.4.7
History
- 2026-10-30: add by m2/v0.4.12
DARSAK482Q DARSAK482Q
| URI | m2://inv/DARSAK482Q |
|---|---|
| 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 2610.16123#26BM (statement). In 6VR4TY5BGV/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.2
DART51CF4Q DART51CF4Q
| URI | m2://inv/DART51CF4Q |
|---|---|
| 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.14742#QCJ2 (statement). In GZYZ9FQHVC/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
DARTCBA9KA DARTCBA9KA
| URI | m2://inv/DARTCBA9KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.1307#F739 (statement). In TP09MNWY6B/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.3.5
Modular law DARTEE8MD9
| URI | m2://inv/DARTEE8MD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (order)#9LEE, Modular law (definition)
- wikipedia: Wikipedia Lattice (order)#RJKX, Modular identity (definition)
- wikipedia: Wikipedia Lattice (order)#TS2C, modular (definition)
History
- 2026-11-02: add by m2/dev
DARXGW53F6 DARXGW53F6
| URI | m2://inv/DARXGW53F6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-73 (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Empire State Building DARXWAXSPA
| URI | m2://inv/DARXWAXSPA |
|---|---|
| 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#86QF, Empire State Building (unknown)
History
- 2026-11-02: add by m2/dev
Generalization DARZ09GMRX
| URI | m2://inv/DARZ09GMRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (linear algebra)#YVPZ, Generalization (statement)
History
- 2026-11-02: add by m2/dev
DAS1H6KNVC DAS1H6KNVC
| URI | m2://inv/DAS1H6KNVC |
|---|---|
| Kind | example |
| 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 0910.5574#DX0P (example). In 2TJRBRKYAY/e1, example 11.3
History
- 2026-10-27: add by m2/v0.3.5
Yao graph DAS3TA0D4J
| URI | m2://inv/DAS3TA0D4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yao graph, Yao graph (definition). Also Wikidata Q8049052
History
- 2026-11-02: add by m2/dev
1/2 + 1/4 + 1/8 + 1/16 + ⋯ DAS40VS9K7
| URI | m2://inv/DAS40VS9K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1/2 + 1/4 + 1/8 + 1/16 + ⋯, 1/2 + 1/4 + 1/8 + 1/16 + ⋯ (definition). Also Wikidata Q3817754
History
- 2026-11-02: add by m2/dev
Monica Nevins DAS6JYJ5P9
| URI | m2://inv/DAS6JYJ5P9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monica Nevins, Monica Nevins (topic). Also Wikidata Q81272043
History
- 2026-11-02: add by m2/dev
DASDR8YXYC DASDR8YXYC
| URI | m2://inv/DASDR8YXYC |
|---|---|
| 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.16554#P78O (statement). In GWNT8HEZG1/e1, theorem 4.22
History
- 2026-10-27: add by m2/v0.3.6
Lotka, Alfred J. DASEB2J9DV
| URI | m2://inv/DASEB2J9DV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#S9Y6, Lotka, Alfred J. (topic)
History
- 2026-11-02: add by m2/dev
Kempe's universality theorem DASFXWRNE1
| URI | m2://inv/DASFXWRNE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kempe's universality theorem, Kempe's universality theorem (statement). Also Wikidata Q30692901
History
- 2026-11-02: add by m2/dev
List of differential geometry topics DASGVVNGGB
| URI | m2://inv/DASGVVNGGB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics, List of differential geometry topics (topic). Also Wikidata Q6616204
History
- 2026-11-02: add by m2/dev
Fermat quintic threefold DASRYBAQKQ
| URI | m2://inv/DASRYBAQKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat quintic threefold, Fermat quintic threefold (definition). Also Wikidata Q5444380
History
- 2026-11-02: add by m2/dev
Definition DASV72KTQE
| URI | m2://inv/DASV72KTQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability space#JMUS, Definition (definition)
History
- 2026-11-02: add by m2/dev
DASWCFZZTK DASWCFZZTK
| URI | m2://inv/DASWCFZZTK |
|---|---|
| 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.02481#P0SU (statement). In 5HACFNFY0P/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.12
DAT1TGRRA4 DAT1TGRRA4
| URI | m2://inv/DAT1TGRRA4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.01208#C8C9 (definition). In 317GZJ38HS/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Terminology DAT37NH84E
| URI | m2://inv/DAT37NH84E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millennials#LURA, Terminology (definition)
History
- 2026-11-02: add by m2/dev
DATCGNGQK6 DATCGNGQK6
| URI | m2://inv/DATCGNGQK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#ET2B (statement). In KJY735KSMF/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Initial correlation excess DATEPJCZD9
| URI | m2://inv/DATEPJCZD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#TKCK, Initial correlation excess (statement). In DWKWF242Y0/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
DATJPPNFKH DATJPPNFKH
| URI | m2://inv/DATJPPNFKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#P0G7 (statement). In DB223AABTH/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Poisson statistics: IDS unfolding and linear scaling DATM6ZY423
| URI | m2://inv/DATM6ZY423 |
|---|---|
| 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.21268#GZ64, Poisson statistics: IDS unfolding and linear scaling (statement). In 9W2YX5X4AX/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Catastrophic cancellation DATS05SX5F
| URI | m2://inv/DATS05SX5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catastrophic cancellation, Catastrophic cancellation (definition). Also Wikidata Q104589774
History
- 2026-11-02: add by m2/dev
tautology DATXNCWDP0
| URI | m2://inv/DATXNCWDP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Tautology 05006AJ7DZ |
Mentions
- wikidata: Wikidata Q209555, tautology (unknown). Also MathWorld Tautology
- wikipedia: Wikipedia Tautology (logic), Tautology (definition). Also Wikidata Q209555
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications DAV4YTDH5N
| URI | m2://inv/DAV4YTDH5N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisection#5S6R, Applications (example)
History
- 2026-11-02: add by m2/dev
Tobias Colding DAV614JETH
| URI | m2://inv/DAV614JETH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tobias Colding, Tobias Colding (topic). Also Wikidata Q2437740
History
- 2026-11-02: add by m2/dev
Generalization DAV9RJ42JA
| URI | m2://inv/DAV9RJ42JA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metallic mean#IYUO, Generalization (statement)
History
- 2026-11-02: add by m2/dev
DAVD7SBNEA DAVD7SBNEA
| URI | m2://inv/DAVD7SBNEA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-7-2.xml#act-1-7-2 (exercise). In 907G4C4EJ1, activity, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
Examples DAVHZ6YCEA
| URI | m2://inv/DAVHZ6YCEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saddle point#U0LW, Examples (example)
History
- 2026-11-02: add by m2/dev
DAVN2PG4N6 DAVN2PG4N6
| URI | m2://inv/DAVN2PG4N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#NUC9 (statement). In 4SPYEGKZ8J/e1, corollary C
History
- 2026-10-27: add by m2/v0.3.5
DAW0RAJDNB DAW0RAJDNB
| URI | m2://inv/DAW0RAJDNB |
|---|---|
| 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.04645#T189 (statement). In YMZ6XP5542/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
Special cases DAW16W2SC5
| URI | m2://inv/DAW16W2SC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric median#GD7W, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Observational error DAW1Q6TSX4
| URI | m2://inv/DAW1Q6TSX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observational error, Observational error (definition). Also Wikidata Q196372
History
- 2026-11-02: add by m2/dev
DAWBFA30CJ DAWBFA30CJ
| URI | m2://inv/DAWBFA30CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#72R1 (statement). In E63NRC7MBE/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.4.2
One subgradient representation for arbitrary references DAWHWFYXEM
| URI | m2://inv/DAWHWFYXEM |
|---|---|
| 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#S5KI, One subgradient representation for arbitrary references (statement). In 9YAE8FNQST/e1, theorem 17.2
History
- 2026-10-30: add by m2/v0.4.12
DAWJ3PEVT9 DAWJ3PEVT9
| URI | m2://inv/DAWJ3PEVT9 |
|---|---|
| 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.19285#9M0B (statement). In 6DJR9DKY5W/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
DAWMJZ51Y3 DAWMJZ51Y3
| URI | m2://inv/DAWMJZ51Y3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#Y1SW (statement). In ZRJ2DZT6P1/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Vanja Dukic DAWPNN11RS
| URI | m2://inv/DAWPNN11RS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vanja Dukic, Vanja Dukic (topic). Also Wikidata Q25757355
History
- 2026-11-02: add by m2/dev
DAX02ACC55 DAX02ACC55
| URI | m2://inv/DAX02ACC55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#DZ9R (statement). In KJY735KSMF/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
DAX0HZK5VW DAX0HZK5VW
| URI | m2://inv/DAX0HZK5VW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#VLVB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lie superalgebra DAX24SKDBM
| URI | m2://inv/DAX24SKDBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1133024, Lie superalgebra (unknown). Also nLab super Lie algebra
- wikipedia: Wikipedia Lie superalgebra, Lie superalgebra (definition). Also Wikidata Q1133024
History
- 2026-10-26: add by m2/dev
DAX4289Y5Q DAX4289Y5Q
| URI | m2://inv/DAX4289Y5Q |
|---|---|
| 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.26386#FKYI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Optimal Gaussian comparison for cut signs DAX6JCTBNZ
| URI | m2://inv/DAX6JCTBNZ |
|---|---|
| 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#MGX7, Optimal Gaussian comparison for cut signs (statement). In 9YAE8FNQST/e1, theorem 22.12
History
- 2026-10-30: add by m2/v0.4.12
DAXBDQSMRD DAXBDQSMRD
| URI | m2://inv/DAXBDQSMRD |
|---|---|
| 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.20577#EE74 (statement). In 3P13XJQSVK/e1, fact 1
History
- 2026-10-27: add by m2/v0.4.2
André–Quillen cohomology DAXBTFDTY1
| URI | m2://inv/DAXBTFDTY1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André–Quillen cohomology, André–Quillen cohomology (topic). Also Wikidata Q4760300
History
- 2026-11-02: add by m2/dev
DAXD1MTPFN DAXD1MTPFN
| URI | m2://inv/DAXD1MTPFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.22078#SRVJ (statement). In NRF7379N9J/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.0
DAXKRCY2GH DAXKRCY2GH
| URI | m2://inv/DAXKRCY2GH |
|---|---|
| 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.21388#IVN7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Intertwiner DAXTEFG8CV
| URI | m2://inv/DAXTEFG8CV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant map#1X0F, Intertwiner (unknown)
History
- 2026-11-02: add by m2/dev
Paul Finsler DAXTEXJFS7
| URI | m2://inv/DAXTEXJFS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#EZMB, Paul Finsler (topic)
History
- 2026-11-02: add by m2/dev
Cremona transformation DAXX6PNP2X
| URI | m2://inv/DAXX6PNP2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#EMKZ, Cremona transformation (definition)
History
- 2026-11-02: add by m2/dev
DAY0NXAFS1 DAY0NXAFS1
| URI | m2://inv/DAY0NXAFS1 |
|---|---|
| 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 2207.12181#VCYU (statement). In FSD8NE3XSR/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
Matrix algebra DAY78J2Z75
| URI | m2://inv/DAY78J2Z75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#K514, Matrix algebra (definition)
History
- 2026-11-02: add by m2/dev
DAYEADQ1D6 DAYEADQ1D6
| URI | m2://inv/DAYEADQ1D6 |
|---|---|
| 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 2308.05066#EGN5 (statement). In 1QSCT53ZED/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.0
DAYZGNDRDY DAYZGNDRDY
| URI | m2://inv/DAYZGNDRDY |
|---|---|
| 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 2409.01237#QKAQ (statement). In M9VHCG48HB/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
DAZ02QSMKM DAZ02QSMKM
| URI | m2://inv/DAZ02QSMKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05512#0YIT (statement). In 2F0KX51XKM/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Stable MLLT for $w$ DAZAJCYW41
| URI | m2://inv/DAZAJCYW41 |
|---|---|
| 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#7OU0, Stable MLLT for $w$ (statement). In VNN52G3BRE/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
verbal products DAZBBY5NKR
| URI | m2://inv/DAZBBY5NKR |
|---|---|
| Kind | example |
| 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.31289#VLUI, verbal products (example). In CPDM7J0CC0/e1, example 2.5
History
- 2026-10-31: add by m2/v0.5.6
Taylor DAZC7E1CXC
| URI | m2://inv/DAZC7E1CXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08145#TJ5Y, Taylor (statement). In N0QVPPFFC3/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
DAZCQP99AX DAZCQP99AX
| URI | m2://inv/DAZCQP99AX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21649#SA25 (statement)
History
- 2026-11-02: add by m2/v0.6.18
sequence space DAZK064QNT
| URI | m2://inv/DAZK064QNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Sequence spaces lp 08P6T2WH6R |
Mentions
- wikidata: Wikidata Q289411, sequence space (unknown). Also nLab sequence space
- wikipedia: Wikipedia Sequence space, Sequence space (definition). Also Wikidata Q289411
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DAZMA9GCV8 DAZMA9GCV8
| URI | m2://inv/DAZMA9GCV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#I6UV (statement). In EY0QS456EC/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
Islam and religious pluralism DAZMAX6JV3
| URI | m2://inv/DAZMAX6JV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Religious pluralism#2X54, Islam and religious pluralism (unknown)
History
- 2026-11-02: add by m2/dev
Projected extragradient step DAZMMHVTD4
| URI | m2://inv/DAZMMHVTD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#JRNF, Projected extragradient step (statement). In X5BYGZZHPF/e1, lemma K.2
History
- 2026-10-28: add by m2/v0.4.2
DAZN9RAXQY DAZN9RAXQY
| URI | m2://inv/DAZN9RAXQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#VG8N (statement)
History
- 2026-11-02: add by m2/v0.6.17
associativity, of $\Sigma$-types DAZPTHVGGS
| URI | m2://inv/DAZPTHVGGS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/associativity-of-sigma-types, associativity, of $\Sigma$-types (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Lucy Campbell DAZQ1GRR7X
| URI | m2://inv/DAZQ1GRR7X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucy Campbell (mathematician), Lucy Campbell (topic). Also Wikidata Q66763730
History
- 2026-11-02: add by m2/dev
Examples DAZS1HX8XK
| URI | m2://inv/DAZS1HX8XK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic closure#NF7W, Examples (example)
History
- 2026-11-02: add by m2/dev
List of network theory topics DAZV30P237
| URI | m2://inv/DAZV30P237 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#UUTL, List of network theory topics (topic)
History
- 2026-11-02: add by m2/dev
local occurrence DAZWXDR3SJ
| URI | m2://inv/DAZWXDR3SJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#02XI, local occurrence (statement). In CBCCH5VTMQ/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.12