Inventory rows 2T
The cards of the rows of the inventory whose ids start with 2T. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Elongated square pyramid 2T02F6D17K
| URI | m2://inv/2T02F6D17K |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#L107, Elongated square pyramid (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JD9C, Elongated square pyramid (object)
History
- 2026-11-02: add by m2/dev
Qazi Motahar Hossain 2T02QZEGQQ
| URI | m2://inv/2T02QZEGQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#E6H2, Qazi Motahar Hossain (unknown)
History
- 2026-11-02: add by m2/dev
Example 2T0SXG1TF4
| URI | m2://inv/2T0SXG1TF4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular matrix#KMPI, Example (example)
History
- 2026-11-02: add by m2/dev
2T0ZR11V76 2T0ZR11V76
| URI | m2://inv/2T0ZR11V76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1902.04230#SASU (statement). In 22JZ68FGCW/e1, corollary 6.19
History
- 2026-10-27: add by m2/v0.3.5
Complex dot product 2T10AVMVRW
| URI | m2://inv/2T10AVMVRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dot product#RQ11, Complex dot product (unknown)
History
- 2026-11-02: add by m2/dev
Tarski's theorem 2T13NJCMTZ
| URI | m2://inv/2T13NJCMTZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#6SVY, Tarski's theorem (statement)
History
- 2026-11-02: add by m2/dev
An independent component gives a dimension-free gap 2T18RB42XQ
| URI | m2://inv/2T18RB42XQ |
|---|---|
| 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#XPQP, An independent component gives a dimension-free gap (statement). In 9YAE8FNQST/e1, corollary 26.6
History
- 2026-10-30: add by m2/v0.4.12
Eva Regnier 2T1D38QHJ0
| URI | m2://inv/2T1D38QHJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DPON, Eva Regnier (unknown)
History
- 2026-11-02: add by m2/dev
Applications 2T1DMZTTMK
| URI | m2://inv/2T1DMZTTMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krasner's lemma#4GXZ, Applications (example)
History
- 2026-11-02: add by m2/dev
2T1FXDZZSR 2T1FXDZZSR
| URI | m2://inv/2T1FXDZZSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#U6L8 (statement). In 12RSHWCNMX/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Examples 2T1FZQ3Z2J
| URI | m2://inv/2T1FZQ3Z2J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia End (category theory)#12OP, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications 2T1GYPAPMA
| URI | m2://inv/2T1GYPAPMA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic dynamics#1QO8, Applications (example)
History
- 2026-11-02: add by m2/dev
2T1T6VVKMC 2T1T6VVKMC
| URI | m2://inv/2T1T6VVKMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.16388#8P31 (statement). In Q62MDENP26/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Saul Kripke 2T1ZV0C96X
| URI | m2://inv/2T1ZV0C96X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#Z24J, Saul Kripke (topic)
History
- 2026-11-02: add by m2/dev
spectral theorem for cyclic spaces of self-adjoint operators 2T1ZZPZRWW
| URI | m2://inv/2T1ZZPZRWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 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 2211.01586#TNKG, spectral theorem for cyclic spaces of self-adjoint operators (statement). In P39MF3ZJC0/e1, theorem A.5
History
- 2026-10-27: add by m2/v0.3.5
Paul T. Bateman 2T22QXYPHT
| URI | m2://inv/2T22QXYPHT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul T. Bateman, Paul T. Bateman (topic). Also Wikidata Q1395517
History
- 2026-11-02: add by m2/dev
Definition 2T232Y44QY
| URI | m2://inv/2T232Y44QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slow-growing hierarchy#16E6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Spectral theory 2T2760TG8P
| URI | m2://inv/2T2760TG8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#QA5E, Spectral theory (definition)
History
- 2026-11-02: add by m2/dev
complex geometry 2T28FJJGGG
| URI | m2://inv/2T28FJJGGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2137810, complex geometry (topic). Also nLab complex geometry
- wikipedia: Wikipedia Complex geometry, Complex geometry (topic). Also Wikidata Q2137810
History
- 2026-10-26: add by m2/dev
Sensitivity of the fully recalibrated procedure 2T2B99DKAQ
| URI | m2://inv/2T2B99DKAQ |
|---|---|
| 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.07721#ANNL, Sensitivity of the fully recalibrated procedure (statement). In QMJDN66F5N/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.10
Arc-continuant lemma 2T2C2QMB4V
| URI | m2://inv/2T2C2QMB4V |
|---|---|
| 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#N3FO, Arc-continuant lemma (statement). In 11JNM66Z09/e1, lemma G.1
History
- 2026-10-28: add by m2/v0.4.2
simplicity theorem 2T2J0MRMS0
| URI | m2://inv/2T2J0MRMS0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/simplicity-theorem, simplicity theorem (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Separated sets 2T30RAMM4W
| URI | m2://inv/2T30RAMM4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separated sets, Separated sets (definition). Also Wikidata Q257272
History
- 2026-11-02: add by m2/dev
2T382B7Z6C 2T382B7Z6C
| URI | m2://inv/2T382B7Z6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#HAI2 (statement). In 8BNPFYQDQX/e1, lemma 10.2
History
- 2026-10-29: add by m2/v0.4.10
Andre Nies 2T3AY0BCS0
| URI | m2://inv/2T3AY0BCS0 |
|---|---|
| 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#RZZE, Andre Nies (unknown)
History
- 2026-11-02: add by m2/dev
Applications 2T3F0NBEGK
| URI | m2://inv/2T3F0NBEGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-epsilon turbulence model#EY7Y, Applications (example)
History
- 2026-11-02: add by m2/dev
Alexandre Ivanoff 2T3GZ1ACK5
| URI | m2://inv/2T3GZ1ACK5 |
|---|---|
| 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#Q591, Alexandre Ivanoff (unknown)
History
- 2026-11-02: add by m2/dev
2T3TF9KZ85 2T3TF9KZ85
| URI | m2://inv/2T3TF9KZ85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#TZ7B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stochastic modelling 2T42MX449M
| URI | m2://inv/2T42MX449M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic modelling (insurance), Stochastic modelling (definition). Also Wikidata Q7617825
History
- 2026-11-02: add by m2/dev
Simple random sample 2T44EWZMEF
| URI | m2://inv/2T44EWZMEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple random sample, Simple random sample (definition). Also Wikidata Q1056998
History
- 2026-11-02: add by m2/dev
Dimitri Riabouchinsky 2T472SBAP9
| URI | m2://inv/2T472SBAP9 |
|---|---|
| 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#H174, Dimitri Riabouchinsky (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LY3A, Dimitri Riabouchinsky (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NJ5J, Dimitri Riabouchinsky (unknown)
History
- 2026-11-02: add by m2/dev
Semenov's theorem (1977) 2T517A9ZHB
| URI | m2://inv/2T517A9ZHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobham's theorem#3LBF, Semenov's theorem (1977) (statement)
History
- 2026-11-02: add by m2/dev
2T54T29R75 2T54T29R75
| URI | m2://inv/2T54T29R75 |
|---|---|
| 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.05708#1PNB (statement). In 3BJPFGJNSS/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Zero-stability 2T551RM527
| URI | m2://inv/2T551RM527 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear multistep method#X62K, Zero-stability (unknown)
History
- 2026-11-02: add by m2/dev
Contraction rate of a template 2T58FSZ949
| URI | m2://inv/2T58FSZ949 |
|---|---|
| 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 2403.16840#9JZS, Contraction rate of a template (definition). In K4CZQDD0G7/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
RSA-155 2T58MGPKJJ
| URI | m2://inv/2T58MGPKJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#8ZKO, RSA-155 (unknown)
History
- 2026-11-02: add by m2/dev
Eliza Edwards 2T59QX9ND2
| URI | m2://inv/2T59QX9ND2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eliza Edwards, Eliza Edwards (topic). Also Wikidata Q55418463
History
- 2026-11-02: add by m2/dev
Definition 2T5FSSNEMV
| URI | m2://inv/2T5FSSNEMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular element of a Lie algebra#8T0K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cantwell--Conlon 2T5MPMP12H
| URI | m2://inv/2T5MPMP12H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#HPRG, Cantwell--Conlon (statement). In GYSF9JXQCH/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Definition 2T5VWS6HEJ
| URI | m2://inv/2T5VWS6HEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi prime#25FA, Definition (definition)
History
- 2026-11-02: add by m2/dev
2T5VXK4WPY 2T5VXK4WPY
| URI | m2://inv/2T5VXK4WPY |
|---|---|
| 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.19694#HSRX (statement). In EP0M4RSZ9P/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
Niels Erik Nørlund 2T5YNBBRS3
| URI | m2://inv/2T5YNBBRS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niels Erik Nørlund, Niels Erik Nørlund (topic). Also Wikidata Q1383725
History
- 2026-11-02: add by m2/dev
Generalized Archimedean Property 2T60YF09E5
| URI | m2://inv/2T60YF09E5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-21, Generalized Archimedean Property (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
pointwise conjugate integrand 2T68MKZDKZ
| URI | m2://inv/2T68MKZDKZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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.26645#CN8E, pointwise conjugate integrand (definition)
History
- 2026-11-01: add by m2/v0.6.15
2T6BB7Y5H9 2T6BB7Y5H9
| URI | m2://inv/2T6BB7Y5H9 |
|---|---|
| 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.20135#DHX7 (statement). In ZQQEN3J866/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
2T6G67G3BS 2T6G67G3BS
| URI | m2://inv/2T6G67G3BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#7HGJ (statement). In J99PFFJXPE/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Reflexivity 2T6G6PX512
| URI | m2://inv/2T6G6PX512 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/special-properties.tex#defn-1, Reflexivity (definition). In PKGMM3P5QY, defn, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Grigory Barenblatt 2T6N87A34B
| URI | m2://inv/2T6N87A34B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#E6SZ, Grigory Barenblatt (unknown)
History
- 2026-11-02: add by m2/dev
Sign variation 2T6Q3KG0CD
| URI | m2://inv/2T6Q3KG0CD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Budan's theorem#FUMU, Sign variation (unknown)
History
- 2026-11-02: add by m2/dev
2T6VEAH0BW 2T6VEAH0BW
| URI | m2://inv/2T6VEAH0BW |
|---|---|
| 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#CR16 (statement). In E63NRC7MBE/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
Simple polygon 2T6WE0JV3R
| URI | m2://inv/2T6WE0JV3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#ES3S, Simple polygon (definition)
History
- 2026-11-02: add by m2/dev
Applications 2T7E1RMV6W
| URI | m2://inv/2T7E1RMV6W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangle (mathematics)#AJ8H, Applications (example)
History
- 2026-11-02: add by m2/dev
Levi problem 2T7J6RGA0K
| URI | m2://inv/2T7J6RGA0K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.6/levi-problem, Levi problem (concept). In VNMV985MXX, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
William Petty 2T7PY5JG9N
| URI | m2://inv/2T7PY5JG9N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#RNTJ, William Petty (unknown)
History
- 2026-11-02: add by m2/dev
Subset sum 2T87845R93
| URI | m2://inv/2T87845R93 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ILYV, Subset sum (problem)
History
- 2026-11-02: add by m2/dev
2T88F7G78D 2T88F7G78D
| URI | m2://inv/2T88F7G78D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#N45C (example). In TQ9CKHBTWN/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.12
Self-normalized CLT for plug-in quantities 2T8FNNKRKX
| URI | m2://inv/2T8FNNKRKX |
|---|---|
| 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.39274#X5MN, Self-normalized CLT for plug-in quantities (statement). In HVC7RVEM6V/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
2T8HMHKSWE 2T8HMHKSWE
| URI | m2://inv/2T8HMHKSWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03144#YGZ2 (statement). In 9QW88325GS/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
Examples 2T8TK60PNA
| URI | m2://inv/2T8TK60PNA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent orbit#6JRF, Examples (example)
History
- 2026-11-02: add by m2/dev
2T8VPM4BWA 2T8VPM4BWA
| URI | m2://inv/2T8VPM4BWA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#MQOS (definition). In XXN6KKXPYF/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Minneapolis 2T8ZKZ4T35
| URI | m2://inv/2T8ZKZ4T35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9H86, Minneapolis (unknown)
History
- 2026-11-02: add by m2/dev
Numerical linear algebra 2T8ZXG5NRR
| URI | m2://inv/2T8ZXG5NRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#WNM4, Numerical linear algebra (definition)
History
- 2026-11-02: add by m2/dev
Sudoku puzzle 2T92PRA192
| URI | m2://inv/2T92PRA192 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/1.7/sudoku-puzzle, Sudoku puzzle (concept). In QKM9DD2H56, index, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
2T9EJX1ZQG 2T9EJX1ZQG
| URI | m2://inv/2T9EJX1ZQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#8B6P (statement). In JW8HH6EPG2/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.10
2T9GMPEN56 2T9GMPEN56
| URI | m2://inv/2T9GMPEN56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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 2610.01694#KZ8M (statement). In EBMHYN0XK9/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
2T9K644FXV 2T9K644FXV
| URI | m2://inv/2T9K644FXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21092#NFT4 (statement). In AGJE43FTF8/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.4.2
Electromagnetic closure along fluid limits 2T9MV2ZH4B
| URI | m2://inv/2T9MV2ZH4B |
|---|---|
| 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.24960#VAFL, Electromagnetic closure along fluid limits (statement)
History
- 2026-11-01: add by m2/v0.6.15
2T9XCE6EP6 2T9XCE6EP6
| URI | m2://inv/2T9XCE6EP6 |
|---|---|
| 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.22296#0DM3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Measurable approximate minimizer 2TA0MB0ZA7
| URI | m2://inv/2TA0MB0ZA7 |
|---|---|
| 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.05388#39CF, Measurable approximate minimizer (statement). In 4HJK1986EJ/e1, proposition B.4
History
- 2026-10-29: add by m2/v0.4.10
2TA76FZ7G5 2TA76FZ7G5
| URI | m2://inv/2TA76FZ7G5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.36022#KAYD (statement). In ENH5XNBQWH/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
Generalization 2TAGV53N07
| URI | m2://inv/2TAGV53N07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halting problem#21B4, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Japanese M-1 cipher machine 2TAHM5MK2F
| URI | m2://inv/2TAHM5MK2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Japanese M-1 cipher machine, Japanese M-1 cipher machine (definition). Also Wikidata Q18359024
History
- 2026-11-02: add by m2/dev
Glossary of set theory 2TAR5Z1XRX
| URI | m2://inv/2TAR5Z1XRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory, Glossary of set theory (topic). Also Wikidata Q18344972
History
- 2026-11-02: add by m2/dev
Formal definition 2TAVRGCW9C
| URI | m2://inv/2TAVRGCW9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin matrix#K0I5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Paulus Gerdes 2TAYXWRJNB
| URI | m2://inv/2TAYXWRJNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paulus Gerdes, Paulus Gerdes (topic). Also Wikidata Q54158474
History
- 2026-11-02: add by m2/dev
Principal pyramid 2TB1WREV9H
| URI | m2://inv/2TB1WREV9H |
|---|---|
| Kind | definition |
| 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.26262#TF2C, Principal pyramid (definition)
History
- 2026-11-01: add by m2/v0.6.15
Ruth Hendry 2TBG8TJXJB
| URI | m2://inv/2TBG8TJXJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Senior Wrangler#T1V2, Ruth Hendry (unknown)
History
- 2026-11-02: add by m2/dev
2TBH6DX45S 2TBH6DX45S
| URI | m2://inv/2TBH6DX45S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#AJAB (statement). In BWJS3H55WH/e1, lemma 22
History
- 2026-10-27: add by m2/v0.3.5
Outer localization 2TBJPME19A
| URI | m2://inv/2TBJPME19A |
|---|---|
| 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 2609.32829#0FJX, Outer localization (statement). In RYWAX33Z51/e1, lemma 8.7
History
- 2026-10-31: add by m2/v0.5.6
2TBN8K9EMB 2TBN8K9EMB
| URI | m2://inv/2TBN8K9EMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.12649#RDTD (statement). In RT27S2YZKJ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
GP, defocusing, with external time-dependent field 2TBQX47Z25
| URI | m2://inv/2TBQX47Z25 |
|---|---|
| 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 2405.04958#3N8O, GP, defocusing, with external time-dependent field (example). In 5HQJSF6458/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Example (S2) 2TBT3E54CR
| URI | m2://inv/2TBT3E54CR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#GPPO, Example (S2) (example)
History
- 2026-11-02: add by m2/dev
Toy problem 2TBXCA7K0C
| URI | m2://inv/2TBXCA7K0C |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toy problem, Toy problem (problem). Also Wikidata Q3889635
History
- 2026-11-02: add by m2/dev
2TBZ2P19NX 2TBZ2P19NX
| URI | m2://inv/2TBZ2P19NX |
|---|---|
| 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 2406.07116#WXFE (statement). In 5B030CB2RK/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.6
SigmaStat 2TC0JFQ5D8
| URI | m2://inv/2TC0JFQ5D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#85L9, SigmaStat (definition)
History
- 2026-11-02: add by m2/dev
2TC7DG9XPX 2TC7DG9XPX
| URI | m2://inv/2TC7DG9XPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#2LJF (statement). In QEFS0Y021A/e1, corollary 8.2
History
- 2026-10-27: add by m2/v0.3.5
2TCCZF43E9 2TCCZF43E9
| URI | m2://inv/2TCCZF43E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#VGWS (statement). In QPJ6FWG5HD/e1, corollary 2.67
History
- 2026-10-29: add by m2/v0.4.12
hyper-Mahlo 2TCDYD4H8A
| URI | m2://inv/2TCDYD4H8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HQMT, hyper-Mahlo (definition)
History
- 2026-11-02: add by m2/dev
R-LWE 2TCHPMMX82
| URI | m2://inv/2TCHPMMX82 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learning with errors#9TRU, R-LWE (unknown)
History
- 2026-11-02: add by m2/dev
2TCJGQE8KN 2TCJGQE8KN
| URI | m2://inv/2TCJGQE8KN |
|---|---|
| Kind | example |
| 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#AWC0 (example). In KJY735KSMF/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
Coralia Cartis 2TCN65XYSR
| URI | m2://inv/2TCN65XYSR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9PMY, Coralia Cartis (topic)
History
- 2026-11-02: add by m2/dev
Properties 2TCQNQEX3J
| URI | m2://inv/2TCQNQEX3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal factor#HSN8, Properties (statement)
History
- 2026-11-02: add by m2/dev
2TCRK9P4HE 2TCRK9P4HE
| URI | m2://inv/2TCRK9P4HE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 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.13042#PZXU (problem). In 4QA108C07Y/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Continuity under extensive perturbations 2TCRX4JGGX
| URI | m2://inv/2TCRX4JGGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#0B33, Continuity under extensive perturbations (statement). In QV16PHDXKJ/e1, theorem 4.16
History
- 2026-10-31: add by m2/v0.5.6
Low and high hierarchies 2TCT8YAAZ5
| URI | m2://inv/2TCT8YAAZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low and high hierarchies, Low and high hierarchies (definition). Also Wikidata Q6692967
History
- 2026-11-02: add by m2/dev
2TCY66BPHB 2TCY66BPHB
| URI | m2://inv/2TCY66BPHB |
|---|---|
| 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.26357#H7NF (statement)
History
- 2026-11-01: add by m2/v0.6.15
2TD3TTEDDK 2TD3TTEDDK
| URI | m2://inv/2TD3TTEDDK |
|---|---|
| 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.12105#T7IW (statement). In 289HM2RXT3/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.3
Carathéodory's existence theorem 2TDBSHZGG9
| URI | m2://inv/2TDBSHZGG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QNPF, Carathéodory's existence theorem (statement)
History
- 2026-11-02: add by m2/dev
2TDDW3AS90 2TDDW3AS90
| URI | m2://inv/2TDDW3AS90 |
|---|---|
| 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.26357#5DFA (statement)
History
- 2026-11-01: add by m2/v0.6.15
2TDQXF09C6 2TDQXF09C6
| URI | m2://inv/2TDQXF09C6 |
|---|---|
| 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.13484#0ICQ (statement). In MP7GA6MQED/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
2TDTPKR5R7 2TDTPKR5R7
| URI | m2://inv/2TDTPKR5R7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
2TDV02N7W0 2TDV02N7W0
| URI | m2://inv/2TDV02N7W0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#OBFW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Symmetry 2TDWAENP5Z
| URI | m2://inv/2TDWAENP5Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patterns in nature#5IST, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Denjoy–Wolff theorem 2TDY633C25
| URI | m2://inv/2TDY633C25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy–Wolff theorem, Denjoy–Wolff theorem (statement). Also Wikidata Q5257888
History
- 2026-11-02: add by m2/dev
2TE0PSN3AY 2TE0PSN3AY
| URI | m2://inv/2TE0PSN3AY |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#DPBG (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Generalizing 2TE4799KNV
| URI | m2://inv/2TE4799KNV |
|---|---|
| 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.22685#XH1L, Generalizing (statement)
History
- 2026-11-02: add by m2/v0.6.17
2TE9KE39V2 2TE9KE39V2
| URI | m2://inv/2TE9KE39V2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Uniform recursive tree benchmark 2TEGDFEP3N
| URI | m2://inv/2TEGDFEP3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00614#79LC, Uniform recursive tree benchmark (statement). In NC5Z77F6H4/e1, corollary 6.5
History
- 2026-10-30: add by m2/v0.4.12
Absolute norm 2TEMWFAWW1
| URI | m2://inv/2TEMWFAWW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal norm#HDKI, Absolute norm (unknown)
History
- 2026-11-02: add by m2/dev
2TEWQV98PS 2TEWQV98PS
| URI | m2://inv/2TEWQV98PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#B1H2 (statement). In 9J7TJYKGYX/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
2TEX5390VK 2TEX5390VK
| URI | m2://inv/2TEX5390VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#4MYS (statement). In YXZX6Z8S6A/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Eugenio Curiel 2TF16XT8X2
| URI | m2://inv/2TF16XT8X2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#KD3A, Eugenio Curiel (unknown)
History
- 2026-11-02: add by m2/dev
Min-max for M\"obius bands 2TF1PRKVNH
| URI | m2://inv/2TF1PRKVNH |
|---|---|
| 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.26745#VJI4, Min-max for M\"obius bands (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comparison of programming languages (type safety) 2TFQ4SWWR6
| URI | m2://inv/2TFQ4SWWR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type safety#GGD8, Comparison of programming languages (type safety) (unknown)
History
- 2026-11-02: add by m2/dev
2TFQZYJTAX 2TFQZYJTAX
| URI | m2://inv/2TFQZYJTAX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#LEN6 (example). In RZWJ0AT8W5/e1, example 4.9
History
- 2026-10-31: add by m2/v0.5.6
2TFV2AD1D6 2TFV2AD1D6
| URI | m2://inv/2TFV2AD1D6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#SZJ7 (example). In 9ZSNSJRJ5N/e1, example 55
History
- 2026-10-27: add by m2/v0.4.2
Isomorphism extension theorem 2TFZV31PYP
| URI | m2://inv/2TFZV31PYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism extension theorem#R71M, Isomorphism extension theorem (statement)
History
- 2026-11-02: add by m2/dev
algebraic group 2TG6G8Z3VS
| URI | m2://inv/2TG6G8Z3VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#HX0N, algebraic group (definition)
History
- 2026-11-02: add by m2/dev
2TGAS8N5J7 2TGAS8N5J7
| URI | m2://inv/2TGAS8N5J7 |
|---|---|
| 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.26813#WEQB (statement)
History
- 2026-11-01: add by m2/v0.6.15
no-hair theorem 2TGFQ3YJKA
| URI | m2://inv/2TGFQ3YJKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1376515, No-hair theorem (statement). Also Wikidata Q1376515
- thousand_plus: thousand_plus Q1376515, No-hair theorem (statement). Also Wikidata Q1376515, Wikipedia No-hair theorem
- wikidata: Wikidata Q1376515, no-hair theorem (statement). Also nLab no-hair theorem
- wikipedia: Wikipedia No-hair theorem, No-hair theorem (statement). Also Wikidata Q1376515
History
- 2026-10-26: add by m2/dev
Herbert Robbins 2TGKVTGAJD
| URI | m2://inv/2TGKVTGAJD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4TKM, Herbert Robbins (topic)
History
- 2026-11-02: add by m2/dev
hyperplane interface in $\R^n$, Levels I and II 2TGP0P8V9R
| URI | m2://inv/2TGP0P8V9R |
|---|---|
| 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.08016#7RSR, hyperplane interface in $\R^n$, Levels I and II (example). In YR3CSTYEJW/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
Z. W. Birnbaum 2TGWYNRVSM
| URI | m2://inv/2TGWYNRVSM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#58AZ, Z. W. Birnbaum (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#IIFS, Z. W. Birnbaum (unknown)
History
- 2026-11-02: add by m2/dev
2TH0A91VAH 2TH0A91VAH
| URI | m2://inv/2TH0A91VAH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#OEJT (definition)
History
- 2026-11-01: add by m2/v0.6.15
2TH1KZJBK1 2TH1KZJBK1
| URI | m2://inv/2TH1KZJBK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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 2609.31090#B1AZ (statement). In SMTJDX0Q6R/e1, corollary 7.2
History
- 2026-10-31: add by m2/v0.5.6
Spectral gap and inverse at a strictly stable profile 2THBPK00R3
| URI | m2://inv/2THBPK00R3 |
|---|---|
| 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.06490#DWNN, Spectral gap and inverse at a strictly stable profile (statement). In NKXTXH59P1/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
2THHJ1XJT6 2THHJ1XJT6
| URI | m2://inv/2THHJ1XJT6 |
|---|---|
| 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.27898#UQ3W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 2THHKD7ACA
| URI | m2://inv/2THHKD7ACA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct integral#79EU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
2THMC4CX6E 2THMC4CX6E
| URI | m2://inv/2THMC4CX6E |
|---|---|
| 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.17129#X8CG (statement). In TCZWAMNYCV/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
2THMQYGKPX 2THMQYGKPX
| URI | m2://inv/2THMQYGKPX |
|---|---|
| Kind | definition |
| 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.19416#UDPD (definition). In TJVWQ0ZSGY/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Stephen Stigler 2THNFV41J3
| URI | m2://inv/2THNFV41J3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Stigler, Stephen Stigler (topic). Also Wikidata Q7610606
History
- 2026-11-02: add by m2/dev
Examples 2THPFEPW2G
| URI | m2://inv/2THPFEPW2G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eberhard's theorem#9YC6, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties 2THQ39A09K
| URI | m2://inv/2THQ39A09K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo algebraically closed field#KRAB, Properties (statement)
History
- 2026-11-02: add by m2/dev
2TJ11M8ZHM 2TJ11M8ZHM
| URI | m2://inv/2TJ11M8ZHM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#3YRY (definition). In 5CKPXBWSCX/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
2TJ8Y1M8CE 2TJ8Y1M8CE
| URI | m2://inv/2TJ8Y1M8CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#ZARO (statement). In ZH0PFTZ12Y/e1, corollary 4.24
History
- 2026-10-28: add by m2/v0.4.2
Raghavan Narasimhan 2TJBRQ86P7
| URI | m2://inv/2TJBRQ86P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raghavan Narasimhan, Raghavan Narasimhan (topic). Also Wikidata Q2127239
History
- 2026-11-02: add by m2/dev
Griffith Davies 2TJMWWJKS9
| URI | m2://inv/2TJMWWJKS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#NKCX, Griffith Davies (unknown)
History
- 2026-11-02: add by m2/dev
Romanas Januškevičius 2TJRW0RB56
| URI | m2://inv/2TJRW0RB56 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanas Januškevičius, Romanas Januškevičius (topic). Also Wikidata Q16471422
History
- 2026-11-02: add by m2/dev
Dynamic Programming Principle 2TJSQGBDRH
| URI | m2://inv/2TJSQGBDRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#ZX5U, Dynamic Programming Principle (statement). In A5KESSK05N/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Logic gate 2TJTQ9F631
| URI | m2://inv/2TJTQ9F631 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#JZ7R, Logic gate (unknown)
History
- 2026-11-02: add by m2/dev
Frattini's argument 2TJXS37GN1
| URI | m2://inv/2TJXS37GN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frattini's argument, Frattini's argument (definition). Also Wikidata Q1053997
History
- 2026-11-02: add by m2/dev
2TJZMQKVT7 2TJZMQKVT7
| URI | m2://inv/2TJZMQKVT7 |
|---|---|
| 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.10928#TNGE (statement). In 8M7BFVQYMM/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.3
Conditional error profiles 2TK40V6ESF
| URI | m2://inv/2TK40V6ESF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37575#AZYI, Conditional error profiles (statement). In W9R9C3YS83/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Inductive prediction 2TK4K9Y414
| URI | m2://inv/2TK4K9Y414 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive reasoning#GKB3, Inductive prediction (unknown)
History
- 2026-11-02: add by m2/dev
2TK9TA2T69 2TK9TA2T69
| URI | m2://inv/2TK9TA2T69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2208.13855#U4T9 (statement). In GJKRVZ5YN5/e1, lemma 19
History
- 2026-10-27: add by m2/v0.3.5
Analytic proof 2TKCCPXF3H
| URI | m2://inv/2TKCCPXF3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#JYER, Analytic proof (definition)
History
- 2026-11-02: add by m2/dev
induced metric 2TKK25WCGS
| URI | m2://inv/2TKK25WCGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3855711, induced metric (unknown). Also nLab induced metric
- wikipedia: Wikipedia Induced metric, Induced metric (definition). Also Wikidata Q3855711
History
- 2026-10-26: add by m2/dev
2TKYNXQHWW 2TKYNXQHWW
| URI | m2://inv/2TKYNXQHWW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#ANZA (definition). In MS13WE3CSD/e1, definition 2.18
History
- 2026-10-29: add by m2/v0.4.10
Path analysis (statistics) 2TKZ8RSRG8
| URI | m2://inv/2TKZ8RSRG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4DN5, Path analysis (statistics) (definition)
History
- 2026-11-02: add by m2/dev
2TM544670N 2TM544670N
| URI | m2://inv/2TM544670N |
|---|---|
| Kind | definition |
| 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 2609.11301#93O2 (definition). In YH1W5A0JTS/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Proposition 2TM6FT3CVJ
| URI | m2://inv/2TM6FT3CVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hook length formula#7G6G, Proposition (statement)
History
- 2026-11-02: add by m2/dev
2TMFJ62N4Y 2TMFJ62N4Y
| URI | m2://inv/2TMFJ62N4Y |
|---|---|
| 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.23006#1UV3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Resource stability 2TMKGD370B
| URI | m2://inv/2TMKGD370B |
|---|---|
| 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.20414#QIOZ, Resource stability (statement). In X2NNNW8CX5/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.2
Bernoulli representation 2TMMGM1VMA
| URI | m2://inv/2TMMGM1VMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00614#7IZQ, Bernoulli representation (statement). In NC5Z77F6H4/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Comparison of split additive and symmetric hybrid corrections 2TMSBSA62K
| URI | m2://inv/2TMSBSA62K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38871#OO82, Comparison of split additive and symmetric hybrid corrections (statement). In X705R2Q780/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
2TMSXF32M5 2TMSXF32M5
| URI | m2://inv/2TMSXF32M5 |
|---|---|
| Kind | example |
| 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.17240#GO0V (example). In 59BZ4V9RQW/e1, example 9.8
History
- 2026-10-28: add by m2/v0.4.2
Ruzsa--Szemer\'edi 2TMTF03A65
| URI | m2://inv/2TMTF03A65 |
|---|---|
| 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.38772#XESW, Ruzsa--Szemer\'edi (statement). In 1C3R5NAQAP/e1, theorem 3.18
History
- 2026-10-30: add by m2/v0.4.12
Bishop–Cannings theorem 2TMXXNYC11
| URI | m2://inv/2TMXXNYC11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#71SH, Bishop–Cannings theorem (statement)
History
- 2026-11-02: add by m2/dev
Size of the full singular set 2TN7KKW3D0
| URI | m2://inv/2TN7KKW3D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13613#RCR7, Size of the full singular set (statement). In 3HCT4TQ5PM/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
2TNDQC011C 2TNDQC011C
| URI | m2://inv/2TNDQC011C |
|---|---|
| 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 2508.08809#08IP (statement). In X5NX1YEABW/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
2TNETR2P8J 2TNETR2P8J
| URI | m2://inv/2TNETR2P8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26500#WSF6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2TNK3SN0KK 2TNK3SN0KK
| URI | m2://inv/2TNK3SN0KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#K2GH (statement). In 5CKPXBWSCX/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
Probability axioms 2TNKYN7TTN
| URI | m2://inv/2TNKYN7TTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#0LC7, Probability axioms (statement)
- wikipedia: Wikipedia List of axioms#9QCH, Probability axioms (statement)
History
- 2026-11-02: add by m2/dev
Population mean 2TP3X2C794
| URI | m2://inv/2TP3X2C794 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical population#BNMM, Population mean (unknown)
History
- 2026-11-02: add by m2/dev
Rudin's conjecture 2TPJTR943T
| URI | m2://inv/2TPJTR943T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#OX15, Rudin's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Algorithm 2TPM8BHN2A
| URI | m2://inv/2TPM8BHN2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted median#CFHQ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Implementations 2TPR2GRB29
| URI | m2://inv/2TPR2GRB29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Default logic#GEXX, Implementations (definition)
History
- 2026-11-02: add by m2/dev
14-15 puzzle 2TPW5YTJ18
| URI | m2://inv/2TPW5YTJ18 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 15 puzzle#Y31Z, 14-15 puzzle (unknown)
History
- 2026-11-02: add by m2/dev
2TPX9K7S52 2TPX9K7S52
| URI | m2://inv/2TPX9K7S52 |
|---|---|
| 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.29943#FQZI (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Australasian Journal of Logic 2TPXDR7XGT
| URI | m2://inv/2TPXDR7XGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#3R01, Australasian Journal of Logic (unknown)
History
- 2026-11-02: add by m2/dev
string group 2TPYTWZCA7
| URI | m2://inv/2TPYTWZCA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7623979, string group (unknown). Also nLab string group
- wikipedia: Wikipedia String group, String group (definition). Also Wikidata Q7623979
History
- 2026-10-26: add by m2/dev
2TQ870BSZF 2TQ870BSZF
| URI | m2://inv/2TQ870BSZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#lemma-2 (statement). In RZP28ERRZV, lemma, section 14.7
History
- 2026-11-01: add by m2/v0.6.13
magic tesseract 2TQCY0XE7K
| URI | m2://inv/2TQCY0XE7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3519010, magic tesseract (unknown). Also MathWorld MagicTesseract
History
- 2026-10-26: add by m2/dev
subring 2TQFQ2SNPY
| URI | m2://inv/2TQFQ2SNPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Subring 0GNCRPYXYV |
Mentions
- mathlib_overview: mathlib_overview General algebra > Rings > subring, subring (unknown). Also Mathlib Subring
- mathlib_undergrad: mathlib_undergrad Ring Theory > Fundamentals > subrings, subrings (unknown). Also Mathlib Subring
- wikidata: Wikidata Q929536, subring (definition). Also Mathlib Subring, MathWorld Subring, nLab subring, ProofWiki Definition:Subring
- wikipedia: Wikipedia Subring, Subring (definition). Also Wikidata Q929536
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Möbius's theorem 2TQPMQJE50
| URI | m2://inv/2TQPMQJE50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius configuration#A3X1, Möbius's theorem (statement)
History
- 2026-11-02: add by m2/dev
Klecka's tau 2TQR0QZ2MT
| URI | m2://inv/2TQR0QZ2MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#3MN6, Klecka's tau (definition)
- wikipedia: Wikipedia List of statistics articles#BN1C, Klecka's tau (definition)
History
- 2026-11-02: add by m2/dev
Second axiom 2TQSC783DE
| URI | m2://inv/2TQSC783DE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability axioms#C2E3, Second axiom (statement)
History
- 2026-11-02: add by m2/dev
2TQV9WWZ58 2TQV9WWZ58
| URI | m2://inv/2TQV9WWZ58 |
|---|---|
| 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#KXQ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Burt Ovrut 2TQZ43T290
| URI | m2://inv/2TQZ43T290 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3647462, Burt Ovrut (unknown). Also nLab Burt Ovrut
History
- 2026-10-26: add by m2/dev
Properties 2TRARW7AG1
| URI | m2://inv/2TRARW7AG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution#YWVL, Properties (statement)
History
- 2026-11-02: add by m2/dev
2TREXMJ261 2TREXMJ261
| URI | m2://inv/2TREXMJ261 |
|---|---|
| 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.36717#ZPTM (statement). In 69FBWG9P3B/e1, lemma 3.17
History
- 2026-10-30: add by m2/v0.4.12
Relative neighborhood graph 2TRHBGPB8J
| URI | m2://inv/2TRHBGPB8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative neighborhood graph, Relative neighborhood graph (definition). Also Wikidata Q591159
History
- 2026-11-02: add by m2/dev
stationary process 2TRKX9YK18
| URI | m2://inv/2TRKX9YK18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stationary process DT0QXJE705 |
Mentions
- wikidata: Wikidata Q1192209, stationary process (unknown). Also EoM Stationary_stochastic_process
- wikipedia: Wikipedia Stationary process, Stationary process (definition). Also Wikidata Q1192209
History
- 2026-10-26: add by m2/dev
2TRM6BBV2H 2TRM6BBV2H
| URI | m2://inv/2TRM6BBV2H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#OOUW (definition). In 13H5BTAXHF/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
2TRMECF5EP 2TRMECF5EP
| URI | m2://inv/2TRMECF5EP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RD-cauchy-complete (statement). In N54F33XE07, thm, section B.2.2
History
- 2026-11-01: add by m2/v0.6.13
LOKI97 2TRTHXPQJE
| URI | m2://inv/2TRTHXPQJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LOKI97, LOKI97 (definition). Also Wikidata Q1648054
History
- 2026-11-02: add by m2/dev
Journal of Official Statistics 2TSA1DR8RC
| URI | m2://inv/2TSA1DR8RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#J41N, Journal of Official Statistics (definition)
History
- 2026-11-02: add by m2/dev
F-algebra 2TSBYKPJVY
| URI | m2://inv/2TSBYKPJVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#99IH, F-algebra (definition)
History
- 2026-11-02: add by m2/dev
Calibrated probability assessment 2TSCXKCQSK
| URI | m2://inv/2TSCXKCQSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PR2Y, Calibrated probability assessment (definition)
History
- 2026-11-02: add by m2/dev
2TSEZK6VDE 2TSEZK6VDE
| URI | m2://inv/2TSEZK6VDE |
|---|---|
| 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 2205.06433#X4J3 (statement). In 628PJKD3EV/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.3.5
2TSH8V4JA5 2TSH8V4JA5
| URI | m2://inv/2TSH8V4JA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-5 (example). In E59CDZA4DP, example, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
Non-wellfounded mereology 2TSR64AJ01
| URI | m2://inv/2TSR64AJ01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-wellfounded mereology, Non-wellfounded mereology (definition). Also Wikidata Q7049084
History
- 2026-11-02: add by m2/dev
2TSS846V5H 2TSS846V5H
| URI | m2://inv/2TSS846V5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#H87P (statement)
History
- 2026-11-01: add by m2/v0.6.15
2TSX6T9F35 2TSX6T9F35
| URI | m2://inv/2TSX6T9F35 |
|---|---|
| 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.14616#SUDZ (statement). In 17ACAG0N9C/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.2
Polygraph 2TT0A1N3M1
| URI | m2://inv/2TT0A1N3M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygraph (mathematics), Polygraph (definition). Also Wikidata Q7226477
History
- 2026-11-02: add by m2/dev
2TTBPNA85T 2TTBPNA85T
| URI | m2://inv/2TTBPNA85T |
|---|---|
| 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.26262#YB8L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Line of force 2TTQ1400CR
| URI | m2://inv/2TTQ1400CR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#SHKB, Line of force (unknown)
History
- 2026-11-02: add by m2/dev
2TTTY7DYGP 2TTTY7DYGP
| URI | m2://inv/2TTTY7DYGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#5UWF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Glenn W. Brier 2TTWA1E42R
| URI | m2://inv/2TTWA1E42R |
|---|---|
| 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#74J9, Glenn W. Brier (unknown)
History
- 2026-11-02: add by m2/dev
disquotationalism 2TV3P7HAMY
| URI | m2://inv/2TV3P7HAMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AYGG, disquotationalism (definition)
History
- 2026-11-02: add by m2/dev
Blocks indexed by prefixes 2TV9BRZ1TZ
| URI | m2://inv/2TV9BRZ1TZ |
|---|---|
| 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.22927#NLUF, Blocks indexed by prefixes (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eckmann–Hilton duality 2TVCDXGR63
| URI | m2://inv/2TVCDXGR63 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 55P30 |
| Sources | 2 |
| Outcome | open |
| Node | Eckmann–Hilton duality 1EK3355WMC |
Mentions
- wikidata: Wikidata Q5332931, Eckmann–Hilton duality (topic). Also EoM Eckmann-Hilton_duality, nLab Eckmann-Hilton duality
- wikipedia: Wikipedia Eckmann–Hilton duality, Eckmann–Hilton duality (topic). Also Wikidata Q5332931
History
- 2026-10-26: add by m2/dev
Divisia monetary aggregates index 2TVE6ABWHJ
| URI | m2://inv/2TVE6ABWHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#11RH, Divisia monetary aggregates index (definition)
History
- 2026-11-02: add by m2/dev
2TVFZEE5J9 2TVFZEE5J9
| URI | m2://inv/2TVFZEE5J9 |
|---|---|
| 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#OTAO (statement)
History
- 2026-11-02: add by m2/v0.6.17
2TVG1DFQS4 2TVG1DFQS4
| URI | m2://inv/2TVG1DFQS4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-90 (exercise). In E9HS8K3A52, exercise, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
2TVJ83F9AB 2TVJ83F9AB
| URI | m2://inv/2TVJ83F9AB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03988#IG98 (definition). In PQ2X97H1T9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
2TVP0TP1J8 2TVP0TP1J8
| URI | m2://inv/2TVP0TP1J8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#defn-2 (definition). In N54F33XE07, defn, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
hyperbolic link 2TVQF2QVNZ
| URI | m2://inv/2TVQF2QVNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5957788, hyperbolic link (unknown). Also MathWorld HyperbolicKnot, nLab hyperbolic link
- wikipedia: Wikipedia Hyperbolic link, Hyperbolic link (definition). Also Wikidata Q5957788
History
- 2026-10-26: add by m2/dev
Most commonly used axioms 2TVVPKTCDN
| URI | m2://inv/2TVVPKTCDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preference (economics)#21CL, Most commonly used axioms (statement)
History
- 2026-11-02: add by m2/dev
2TVWR8X3R7 2TVWR8X3R7
| URI | m2://inv/2TVWR8X3R7 |
|---|---|
| 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.14458#C5KD (statement). In WJ76MVYAZQ/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
Examples 2TVXFJWVFC
| URI | m2://inv/2TVXFJWVFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed Hodge structure#OPZ9, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties 2TW4Q13JQE
| URI | m2://inv/2TW4Q13JQE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encompassment ordering#4D9S, Properties (statement)
History
- 2026-11-02: add by m2/dev
2TW7DD737W 2TW7DD737W
| URI | m2://inv/2TW7DD737W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#4N2F (statement). In 7WDA4MEWE2/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.6
2TWCR969K7 2TWCR969K7
| URI | m2://inv/2TWCR969K7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#UX05 (definition). In C04B15GH1T/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Control system 2TWR2MS65P
| URI | m2://inv/2TWR2MS65P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#XBKG, Control system (unknown)
History
- 2026-11-02: add by m2/dev
2TWRSQ1X6W 2TWRSQ1X6W
| URI | m2://inv/2TWRSQ1X6W |
|---|---|
| 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.22190#0NCX (statement). In AM6Y5W3HGG/e1, fact 7
History
- 2026-10-27: add by m2/v0.4.0
Definition 2-2 (simply connected space) 2TWT1444SA
| URI | m2://inv/2TWT1444SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' theorem#MTQB, Definition 2-2 (simply connected space) (definition)
History
- 2026-11-02: add by m2/dev
Jill Pipher 2TWTFVTTF9
| URI | m2://inv/2TWTFVTTF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jill Pipher, Jill Pipher (topic). Also Wikidata Q3828462
History
- 2026-11-02: add by m2/dev
Maxwell Rosenlicht 2TWTG2E056
| URI | m2://inv/2TWTG2E056 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#X0LV, Maxwell Rosenlicht (topic)
History
- 2026-11-02: add by m2/dev
2TWVK4BDF2 2TWVK4BDF2
| URI | m2://inv/2TWVK4BDF2 |
|---|---|
| Kind | statement |
| 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#BHV6 (statement). In 7V2PVZS04C/e1, proposition 5.4
History
- 2026-10-31: add by m2/v0.5.6
2TWXFV8998 2TWXFV8998
| URI | m2://inv/2TWXFV8998 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33704#LXNO (statement). In STRVMT83HE/e1, fact 1
History
- 2026-10-30: add by m2/v0.4.12
Sd∞ functor 2TX6V6VFY1
| URI | m2://inv/2TX6V6VFY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivision (simplicial set)#MUNU, Sd∞ functor (unknown)
History
- 2026-11-02: add by m2/dev
2TXAHAGSMD 2TXAHAGSMD
| URI | m2://inv/2TXAHAGSMD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#2SMB (example). In XGPZ0G9E1Q/e1, example 7.12
History
- 2026-10-29: add by m2/v0.4.12
2TXCZH5NEG 2TXCZH5NEG
| URI | m2://inv/2TXCZH5NEG |
|---|---|
| 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 2609.28794#IINI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Brownian Motion Limit 2TXPTNKBP8
| URI | m2://inv/2TXPTNKBP8 |
|---|---|
| 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 2109.12716#Z4AU, Brownian Motion Limit (statement). In 6X76XBE3HV/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
Christopher Wren 2TXS3BK177
| URI | m2://inv/2TXS3BK177 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christopher Wren, Christopher Wren (topic). Also Wikidata Q170373
History
- 2026-11-02: add by m2/dev
Szpilrajn extension theorem 2TXSAS6NZ1
| URI | m2://inv/2TXSAS6NZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WV01, Szpilrajn extension theorem (statement)
History
- 2026-11-02: add by m2/dev
2TXT0Q2Y5A 2TXT0Q2Y5A
| URI | m2://inv/2TXT0Q2Y5A |
|---|---|
| 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.33578#V728 (statement). In 3XTDDKY6YE/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
A general symmetric-function inequality 2TXVXQ9KXT
| URI | m2://inv/2TXVXQ9KXT |
|---|---|
| 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.23781#WWBK, A general symmetric-function inequality (statement)
History
- 2026-11-02: add by m2/v0.6.17
2TXY8P3PQR 2TXY8P3PQR
| URI | m2://inv/2TXY8P3PQR |
|---|---|
| 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.19437#1J64 (definition). In 9PXXGQ978Z/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
2TY1Z9T9NK 2TY1Z9T9NK
| URI | m2://inv/2TY1Z9T9NK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
2TY4HBF639 2TY4HBF639
| URI | m2://inv/2TY4HBF639 |
|---|---|
| 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.11997#BRF8 (statement). In REVYK9ZEP2/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.3
Bayesian search theory 2TYA0E7J1B
| URI | m2://inv/2TYA0E7J1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian search theory, Bayesian search theory (definition). Also Wikidata Q4455102
History
- 2026-11-02: add by m2/dev
Musical notation 2TYCCPBPQG
| URI | m2://inv/2TYCCPBPQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Musical notation, Musical notation (definition). Also Wikidata Q233861
History
- 2026-11-02: add by m2/dev
2TYDHYVZ9F 2TYDHYVZ9F
| URI | m2://inv/2TYDHYVZ9F |
|---|---|
| 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.06544#6RAV (statement). In VCRB27RMN6/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
Strict lower-row non-attainment 2TYE9B6P7A
| URI | m2://inv/2TYE9B6P7A |
|---|---|
| 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.01328#TLQO, Strict lower-row non-attainment (statement). In GNY2MTPWW6/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
2TYH9G1HKR 2TYH9G1HKR
| URI | m2://inv/2TYH9G1HKR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ex:rezk-vankampen (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Herbert Robbins 2TYMSA45F9
| URI | m2://inv/2TYMSA45F9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#CVIS, Herbert Robbins (topic)
History
- 2026-11-02: add by m2/dev
Krystyna Kuperberg 2TYS1S6C89
| URI | m2://inv/2TYS1S6C89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krystyna Kuperberg, Krystyna Kuperberg (topic). Also Wikidata Q450393
History
- 2026-11-02: add by m2/dev
Isaak Pomeranchuk 2TYS7KJRCP
| URI | m2://inv/2TYS7KJRCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#EMME, Isaak Pomeranchuk (unknown)
History
- 2026-11-02: add by m2/dev
2TYT1RKZXG 2TYT1RKZXG
| URI | m2://inv/2TYT1RKZXG |
|---|---|
| Kind | definition |
| 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 2507.23666#UQVL (definition). In YKQ89G5QA2/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.6
2TYVR6CW8F 2TYVR6CW8F
| URI | m2://inv/2TYVR6CW8F |
|---|---|
| Kind | example |
| 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.24043#2EBX (example)
History
- 2026-11-02: add by m2/v0.6.17
2TYY1T7F9W 2TYY1T7F9W
| URI | m2://inv/2TYY1T7F9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#F3QT (statement). In VD53W58DS1/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Tschuprow's T 2TYYH6HNKZ
| URI | m2://inv/2TYYH6HNKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#LZ00, Tschuprow's T (definition)
- wikipedia: Wikipedia List of statistics articles#NFGK, Tschuprow's T (definition)
History
- 2026-11-02: add by m2/dev
compound of two tetrahedra 2TYZVFQCJ0
| URI | m2://inv/2TYZVFQCJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098604, compound of two tetrahedra (unknown). Also MathWorld Tetrahedron2-Compound
History
- 2026-10-26: add by m2/dev
Gateaux derivative 2TZ2AMXDKA
| URI | m2://inv/2TZ2AMXDKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gateaux derivative, Gateaux derivative (definition). Also Wikidata Q919459
History
- 2026-11-02: add by m2/dev
Path-dependent induced geometry 2TZ4Z8HD5Y
| URI | m2://inv/2TZ4Z8HD5Y |
|---|---|
| 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.02528#LA4K, Path-dependent induced geometry (statement). In 5FQHVY6RXK/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
2TZ62Y41Q3 2TZ62Y41Q3
| URI | m2://inv/2TZ62Y41Q3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem-4 (statement). In N54F33XE07, lem, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
Amnon Yekutieli 2TZCNAAV91
| URI | m2://inv/2TZCNAAV91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14492076, Amnon Yekutieli (unknown). Also nLab Amnon Yekutieli
- wikipedia: Wikipedia Amnon Yekutieli, Amnon Yekutieli (topic). Also Wikidata Q14492076
History
- 2026-10-26: add by m2/dev
2TZCP69HKT 2TZCP69HKT
| URI | m2://inv/2TZCP69HKT |
|---|---|
| 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.31615#BF0J (statement). In TNV6XTEWEG/e1, lemma 3.7
History
- 2026-10-31: add by m2/v0.5.6
2TZEBK1CF0 2TZEBK1CF0
| URI | m2://inv/2TZEBK1CF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20663#HDZP (statement). In AZMX0CY5NE/e1, lemma 22
History
- 2026-10-27: add by m2/v0.4.2
2TZEMHD11Y 2TZEMHD11Y
| URI | m2://inv/2TZEMHD11Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#TDID (statement)
History
- 2026-11-01: add by m2/v0.6.15
Caccioppoli inequality 2TZS6PP42K
| URI | m2://inv/2TZS6PP42K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#GCF0, Caccioppoli inequality (statement). In HXFA55BREZ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
2TZXXKJCYA 2TZXXKJCYA
| URI | m2://inv/2TZXXKJCYA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:not-plump (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13