Inventory rows TT
The cards of the rows of the inventory whose ids start with TT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Robert Kass TT02GAY3CC
| URI | m2://inv/TT02GAY3CC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#21D7, Robert Kass (topic)
History
- 2026-11-02: add by m2/dev
Heinrich Schröter TT07RRJDGE
| URI | m2://inv/TT07RRJDGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#N9GM, Heinrich Schröter (unknown)
History
- 2026-11-02: add by m2/dev
TT0B926B7D TT0B926B7D
| URI | m2://inv/TT0B926B7D |
|---|---|
| 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.23526#MWCH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Alcubierre drive TT0D250Q9J
| URI | m2://inv/TT0D250Q9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alcubierre drive, Alcubierre drive (definition). Also Wikidata Q169890
History
- 2026-11-02: add by m2/dev
Tenth Legion, Virginia TT0N9Q7AFX
| URI | m2://inv/TT0N9Q7AFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#F2Z2, Tenth Legion, Virginia (unknown)
History
- 2026-11-02: add by m2/dev
Punctured disk TT0W6A2PXA
| URI | m2://inv/TT0W6A2PXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annulus (mathematics)#23Q9, Punctured disk (unknown)
History
- 2026-11-02: add by m2/dev
linear equation TT0WAXSHC8
| URI | m2://inv/TT0WAXSHC8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.4/linear-equation, linear equation (concept). In E9HS8K3A52, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Examples TT0XMQBT04
| URI | m2://inv/TT0XMQBT04 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine space#1J3M, Examples (example)
History
- 2026-11-02: add by m2/dev
General inequality in a probabilistic setting TT0YZVNDMR
| URI | m2://inv/TT0YZVNDMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jensen's inequality#35N1, General inequality in a probabilistic setting (statement)
History
- 2026-11-02: add by m2/dev
Instituto Nacional de Estatística TT122NX5FP
| URI | m2://inv/TT122NX5FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instituto Nacional de Estatística (Cape Verde), Instituto Nacional de Estatística (definition). Also Wikidata Q17123735
History
- 2026-11-02: add by m2/dev
TT1349XFM8 TT1349XFM8
| URI | m2://inv/TT1349XFM8 |
|---|---|
| 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.20097#3GA1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Field TT13PR0VPZ
| URI | m2://inv/TT13PR0VPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#GN6Q, Field (definition)
History
- 2026-11-02: add by m2/dev
Baire function TT16VSGQ6N
| URI | m2://inv/TT16VSGQ6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire function, Baire function (definition). Also Wikidata Q803935
History
- 2026-11-02: add by m2/dev
treewidth TT173BYWB8
| URI | m2://inv/TT173BYWB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#NT46, treewidth (definition)
History
- 2026-11-02: add by m2/dev
Generalizations TT18B9TS3M
| URI | m2://inv/TT18B9TS3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cassini oval#D35J, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Journal of Philosophical Logic TT1C3N6YE2
| URI | m2://inv/TT1C3N6YE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Philosophical Logic, Journal of Philosophical Logic (definition). Also Wikidata Q6295748
History
- 2026-11-02: add by m2/dev
Lee TT1CWZ22G4
| URI | m2://inv/TT1CWZ22G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17850#INP6, Lee (statement). In WS5KWBEG5Q/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
TT1DA9H0Z3 TT1DA9H0Z3
| URI | m2://inv/TT1DA9H0Z3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:dirichsol (statement). In VNMV985MXX, thm, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Properties TT1FB7RS97
| URI | m2://inv/TT1FB7RS97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract m-space#QTJU, Properties (statement)
History
- 2026-11-02: add by m2/dev
TT1G2EYGNN TT1G2EYGNN
| URI | m2://inv/TT1G2EYGNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12873#V9S9 (statement). In 9MMD2N7DQ1/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
TT1GF3A6Y7 TT1GF3A6Y7
| URI | m2://inv/TT1GF3A6Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02481#CUV6 (statement). In 5HACFNFY0P/e1, proposition 1.4
History
- 2026-10-29: add by m2/v0.4.12
TT1KZ0AHFT TT1KZ0AHFT
| URI | m2://inv/TT1KZ0AHFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#12G2 (statement). In 9YR0E0T9XA/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Lenore Blum TT1PNFXYJ1
| URI | m2://inv/TT1PNFXYJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lenore Blum, Lenore Blum (topic). Also Wikidata Q93004
History
- 2026-11-02: add by m2/dev
TT22JCSR8Z TT22JCSR8Z
| URI | m2://inv/TT22JCSR8Z |
|---|---|
| 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 2204.01073#IR43 (statement). In W4TYN4PGE8/e1, theorem 6.14
History
- 2026-10-27: add by m2/v0.3.5
Radon measure TT2F1GSXC4
| URI | m2://inv/TT2F1GSXC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#NXKF, Radon measure (definition)
History
- 2026-11-02: add by m2/dev
TT2NAJH5EE TT2NAJH5EE
| URI | m2://inv/TT2NAJH5EE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#example-6 (example). In RZP28ERRZV, example, section 23.4
History
- 2026-11-01: add by m2/v0.6.13
Multicanonical ensemble TT2T55DA9E
| URI | m2://inv/TT2T55DA9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multicanonical ensemble, Multicanonical ensemble (definition). Also Wikidata Q6934577
History
- 2026-11-02: add by m2/dev
TT30XX1Y67 TT30XX1Y67
| URI | m2://inv/TT30XX1Y67 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
Peter Donnelly TT3819VHCR
| URI | m2://inv/TT3819VHCR |
|---|---|
| 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#ZV0K, Peter Donnelly (topic)
History
- 2026-11-02: add by m2/dev
TT38S8V5RV TT38S8V5RV
| URI | m2://inv/TT38S8V5RV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30933#VXHP (statement). In KXWYE4SJY3/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
tantipartite TT3BZK665J
| URI | m2://inv/TT3BZK665J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#W86V, tantipartite (definition)
History
- 2026-11-02: add by m2/dev
Zero bounds TT3DRB5K5V
| URI | m2://inv/TT3DRB5K5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#6EQN, Zero bounds (statement). In GHT5WXFA4E/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Statement TT3JQTT0MJ
| URI | m2://inv/TT3JQTT0MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MacMahon's master theorem#ADT9, Statement (statement)
History
- 2026-11-02: add by m2/dev
Paco Lagerstrom TT3KM8P7MA
| URI | m2://inv/TT3KM8P7MA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paco Lagerstrom, Paco Lagerstrom (topic). Also Wikidata Q2045741
History
- 2026-11-02: add by m2/dev
Properties of the Petz recovery map TT3R184JFH
| URI | m2://inv/TT3R184JFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petz recovery map#LGE6, Properties of the Petz recovery map (statement)
History
- 2026-11-02: add by m2/dev
TT3T14RZC3 TT3T14RZC3
| URI | m2://inv/TT3T14RZC3 |
|---|---|
| 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.22345#T5OL (statement). In 7JATJ4VG9G/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
Blum Blum Shub TT3V5Y3CQ7
| URI | m2://inv/TT3V5Y3CQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blum Blum Shub, Blum Blum Shub (definition). Also Wikidata Q886155
History
- 2026-11-02: add by m2/dev
Malgrange preparation theorem TT41FKZS4Q
| URI | m2://inv/TT41FKZS4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FCQM, Malgrange preparation theorem (statement)
History
- 2026-11-02: add by m2/dev
$f$-compatibility degree TT44ZE0MCC
| URI | m2://inv/TT44ZE0MCC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#I629, $f$-compatibility degree (definition). In 6G1KBA0SXV/e1, definition 3.31
History
- 2026-10-31: add by m2/v0.5.6
Variations TT45ZWK1SE
| URI | m2://inv/TT45ZWK1SE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modern Arabic mathematical notation#Z0R0, Variations (statement)
History
- 2026-11-02: add by m2/dev
Zonal spherical function TT47XM8HHF
| URI | m2://inv/TT47XM8HHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 43A90 |
| Sources | 2 |
| Outcome | open |
| Node | Spherical function BKZNC76RC8 |
Mentions
- wikidata: Wikidata Q8073863, Zonal spherical function (topic)
- wikipedia: Wikipedia Zonal spherical function, Zonal spherical function (definition). Also Wikidata Q8073863
History
- 2026-10-26: add by m2/dev
TT4J6PW2R9 TT4J6PW2R9
| URI | m2://inv/TT4J6PW2R9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-159 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Gilbert Ryle TT4RQ5D88B
| URI | m2://inv/TT4RQ5D88B |
|---|---|
| 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 Q313386, Gilbert Ryle (unknown). Also nLab Gilbert Ryle
- wikipedia: Wikipedia Gilbert Ryle, Gilbert Ryle (topic). Also Wikidata Q313386
History
- 2026-10-26: add by m2/dev
Minkowski diagram TT4WBJF4SG
| URI | m2://inv/TT4WBJF4SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#WIR0, Minkowski diagram (definition)
History
- 2026-11-02: add by m2/dev
Cantor \footnote{Named after the German mathematician \href{https://en.wikipedia.org/wiki/Georg_Cantor}{Georg Ferdinand Ludwig Philipp Cantor} (1845--1918).} TT5J8B4NA9
| URI | m2://inv/TT5J8B4NA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#cantorspowersetthm, Cantor \footnote{Named after the German mathematician \href{https://en.wikipedia.org/wiki/Georg_Cantor}{Georg Ferdinand Ludwig Philipp Cantor} (1845--1918).} (statement). In E59CDZA4DP, thm, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
Transferable belief model TT5S26PJ3Z
| URI | m2://inv/TT5S26PJ3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transferable belief model, Transferable belief model (definition). Also Wikidata Q952473
History
- 2026-11-02: add by m2/dev
Finite singular-factor identity TT5XV7KDJK
| URI | m2://inv/TT5XV7KDJK |
|---|---|
| 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.22305#IBWJ, Finite singular-factor identity (statement). In P6FTXTV09Q/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.0
Properties TT61B5H0WD
| URI | m2://inv/TT61B5H0WD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratically closed field#RKKL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Mathematical constant (sorted by continued fraction representation) TT6CA42DK9
| URI | m2://inv/TT6CA42DK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#N0XR, Mathematical constant (sorted by continued fraction representation) (topic)
History
- 2026-11-02: add by m2/dev
Friedrich Karl Schmidt TT6EMZ9VAE
| URI | m2://inv/TT6EMZ9VAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#143C, Friedrich Karl Schmidt (topic)
History
- 2026-11-02: add by m2/dev
the Yin and Yang curves converge to the limit curves, $\mathrm{Yin}_{\infty}$ and $\mathrm{Yang}_{\infty}$ TT6JM1MZF3
| URI | m2://inv/TT6JM1MZF3 |
|---|---|
| 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.03728#C78A, the Yin and Yang curves converge to the limit curves, $\mathrm{Yin}_{\infty}$ and $\mathrm{Yang}_{\infty}$ (statement). In NXR84SNM8F/e1, theorem 6.5
History
- 2026-10-29: add by m2/v0.4.12
Shell theorem TT6N2MEPAJ
| URI | m2://inv/TT6N2MEPAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8WT9, Shell theorem (statement)
History
- 2026-11-02: add by m2/dev
plaintext TT6RAFPW2X
| URI | m2://inv/TT6RAFPW2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1162538, plaintext (unknown). Also MathWorld Plaintext
- wikipedia: Wikipedia Plaintext, Plaintext (definition). Also Wikidata Q1162538
History
- 2026-10-26: add by m2/dev
Arbitrary constant of integration TT6ZG3SHW5
| URI | m2://inv/TT6ZG3SHW5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#ZM23, Arbitrary constant of integration (object)
History
- 2026-11-02: add by m2/dev
Wiesława Nizioł TT73X1C3XE
| URI | m2://inv/TT73X1C3XE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiesława Nizioł, Wiesława Nizioł (topic). Also Wikidata Q20744109
History
- 2026-11-02: add by m2/dev
TT76PDZ15S TT76PDZ15S
| URI | m2://inv/TT76PDZ15S |
|---|---|
| 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.22304#033L (statement)
History
- 2026-11-02: add by m2/v0.6.17
TT7A9BE11X TT7A9BE11X
| URI | m2://inv/TT7A9BE11X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#BCGS (example). In PF5JJ9DS8Q/e1, example 5.4.4
History
- 2026-10-28: add by m2/v0.4.2
Ernest Julius Wilczynski TT7CTVJYCC
| URI | m2://inv/TT7CTVJYCC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#BZQ0, Ernest Julius Wilczynski (topic)
History
- 2026-11-02: add by m2/dev
TT7E3TNVBS TT7E3TNVBS
| URI | m2://inv/TT7E3TNVBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19959#Z94A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Metric Cobordisms TT7RNGQ8B3
| URI | m2://inv/TT7RNGQ8B3 |
|---|---|
| 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.03384#JK7G, Metric Cobordisms (definition). In J55JTTKG84/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
fundamental, theorem of Galois theory TT84QEMK4W
| URI | m2://inv/TT84QEMK4W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.6/fundamental-theorem-of-galois-theory, fundamental, theorem of Galois theory (concept). In N54F33XE07, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
TT87S612W4 TT87S612W4
| URI | m2://inv/TT87S612W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#ASLF (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
The factor $1/2$ TT8G3T76GW
| URI | m2://inv/TT8G3T76GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#WNWW, The factor $1/2$ (statement). In 4W7ARR1DAR/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
TT90H2NZCR TT90H2NZCR
| URI | m2://inv/TT90H2NZCR |
|---|---|
| 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 2610.14047#B0V2 (statement). In PJYGJNS48K/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
TT90R46EFJ TT90R46EFJ
| URI | m2://inv/TT90R46EFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#5H5C (statement)
History
- 2026-11-02: add by m2/v0.6.18
TT91CDPWYK TT91CDPWYK
| URI | m2://inv/TT91CDPWYK |
|---|---|
| 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 2609.37124#B2A9 (statement). In 2QF1YG9DD0/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Generalizations TT92RS33K3
| URI | m2://inv/TT92RS33K3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential function#8QW6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
TT959ZZ5WC TT959ZZ5WC
| URI | m2://inv/TT959ZZ5WC |
|---|---|
| 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 math/0301148#050Z (statement). In 5RE15848Z0/e1, corollary 1.9
History
- 2026-10-27: add by m2/v0.3.5
Case (C) forces a congruence on $p$ TT9BZ73P82
| URI | m2://inv/TT9BZ73P82 |
|---|---|
| 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#2963, Case (C) forces a congruence on $p$ (statement). In QPJ6FWG5HD/e1, proposition 2.52
History
- 2026-10-29: add by m2/v0.4.12
TT9F62KAKA TT9F62KAKA
| URI | m2://inv/TT9F62KAKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#MWRG (statement). In XDMM0KNNZ9/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.10
TT9T1HSGDN TT9T1HSGDN
| URI | m2://inv/TT9T1HSGDN |
|---|---|
| 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.33027#Y3HD (statement). In E2AF84709B/e1, theorem 43
History
- 2026-10-31: add by m2/v0.5.6
relative invariant TTA6E4KWP7
| URI | m2://inv/TTA6E4KWP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#N74X, relative invariant (definition)
History
- 2026-11-02: add by m2/dev
TTAB17NY3T TTAB17NY3T
| URI | m2://inv/TTAB17NY3T |
|---|---|
| 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.25129#S3K6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
An insufficient ordinary plot site TTAB3FAXCM
| URI | m2://inv/TTAB3FAXCM |
|---|---|
| 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#BPNS, An insufficient ordinary plot site (statement)
History
- 2026-11-01: add by m2/v0.6.15
TTAC0V2T88 TTAC0V2T88
| URI | m2://inv/TTAC0V2T88 |
|---|---|
| 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.25301#I08I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hisashi Okamoto TTAF5CGFJ3
| URI | m2://inv/TTAF5CGFJ3 |
|---|---|
| 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#FQ2N, Hisashi Okamoto (topic)
History
- 2026-11-02: add by m2/dev
TTAJ8Q08S9 TTAJ8Q08S9
| URI | m2://inv/TTAJ8Q08S9 |
|---|---|
| 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.29597#4ZMT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Unknotting number of simply-linked links TTAJXCWEQE
| URI | m2://inv/TTAJXCWEQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#DDLJ, Unknotting number of simply-linked links (statement). In 8TRCP1482Q/e1, theorem B.30
History
- 2026-10-29: add by m2/v0.4.10
Theorem TTARHG7M1E
| URI | m2://inv/TTARHG7M1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glivenko–Cantelli theorem#0JGJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
TTB3N3HF6C TTB3N3HF6C
| URI | m2://inv/TTB3N3HF6C |
|---|---|
| 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.26438#2432 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hilbert–Pólya conjecture TTB776KGZA
| URI | m2://inv/TTB776KGZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit formulae for L-functions#6QAK, Hilbert–Pólya conjecture (statement)
History
- 2026-11-02: add by m2/dev
TTB95CCJEP TTB95CCJEP
| URI | m2://inv/TTB95CCJEP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-83 (exercise). In E9HS8K3A52, exercise, section 6.6.3
History
- 2026-11-01: add by m2/v0.6.13
TTBDEFJKPY TTBDEFJKPY
| URI | m2://inv/TTBDEFJKPY |
|---|---|
| Kind | definition |
| 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 2403.16814#RQV3 (definition). In MN03Z3PRFT/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Implementations TTBHFRQBQB
| URI | m2://inv/TTBHFRQBQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SPHINCS+#F27V, Implementations (definition)
History
- 2026-11-02: add by m2/dev
TTBHWHG1QF TTBHWHG1QF
| URI | m2://inv/TTBHWHG1QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#lemma:boundedimpriemann (statement). In E59CDZA4DP, lemma, section 8.2.3
History
- 2026-11-01: add by m2/v0.6.13
Jürgen Jost TTBNK55DVC
| URI | m2://inv/TTBNK55DVC |
|---|---|
| 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#MNZF, Jürgen Jost (topic)
- wikipedia: Wikipedia List of German mathematicians#65NX, Jürgen Jost (topic)
History
- 2026-11-02: add by m2/dev
Generalization TTBPD6W8SH
| URI | m2://inv/TTBPD6W8SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular prime (algebraic number theory)#0LH5, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Brill–Noether theory TTBT10Y2RF
| URI | m2://inv/TTBT10Y2RF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Brill–Noether theory 82ZR6BCJXV |
Mentions
- wikidata: Wikidata Q3032324, Brill–Noether theory (topic). Also ProofWiki Definition:Brill-Noether_Theory
- wikipedia: Wikipedia Brill–Noether theory, Brill–Noether theory (topic). Also Wikidata Q3032324
History
- 2026-10-26: add by m2/dev
$d=3, n = 6$ TTBWK86P38
| URI | m2://inv/TTBWK86P38 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03730#B4OV, $d=3, n = 6$ (example). In ADEX39KM1T/e1, example 4.1
History
- 2026-10-27: add by m2/v0.4.0
Master noise lemma, contraction form TTBZE8683Y
| URI | m2://inv/TTBZE8683Y |
|---|---|
| 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 2610.00295#Y6CG, Master noise lemma, contraction form (statement). In 7HXP270BD0/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Lattice TTC1M9EDSA
| URI | m2://inv/TTC1M9EDSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (module), Lattice (definition). Also Wikidata Q6497090
History
- 2026-11-02: add by m2/dev
convergence test TTC6TZFC5B
| URI | m2://inv/TTC6TZFC5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Convergence tests FJKV01J9F1 |
Mentions
- wikidata: Wikidata Q3979448, convergence test (unknown). Also MathWorld ConvergenceTests
- wikipedia: Wikipedia Convergence tests, Convergence tests (definition). Also Wikidata Q3979448
History
- 2026-10-26: add by m2/dev
Snakes are not deaf TTCE9YXJSV
| URI | m2://inv/TTCE9YXJSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#EH9Q, Snakes are not deaf (unknown)
History
- 2026-11-02: add by m2/dev
Online clinical trials TTCR79WT4F
| URI | m2://inv/TTCR79WT4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical trial#ALZA, Online clinical trials (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of calculus in multiple dimensions TTCV1YTAF1
| URI | m2://inv/TTCV1YTAF1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariable calculus#OBSH, Fundamental theorem of calculus in multiple dimensions (statement)
History
- 2026-11-02: add by m2/dev
TTD3S98Z7V TTD3S98Z7V
| URI | m2://inv/TTD3S98Z7V |
|---|---|
| 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 2609.20488#6T81 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Complete spatial randomness TTDB7RBA4Y
| URI | m2://inv/TTDB7RBA4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete spatial randomness, Complete spatial randomness (definition). Also Wikidata Q5156514
History
- 2026-11-02: add by m2/dev
TTDF1MQPST TTDF1MQPST
| URI | m2://inv/TTDF1MQPST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#H6TV (statement). In KR7WXN4EWR/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Dirichlet principle TTDQAEK582
| URI | m2://inv/TTDQAEK582 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#63A2, Dirichlet principle (statement)
- wikipedia: Wikipedia List of variational topics#2F36, Dirichlet principle (statement)
History
- 2026-11-02: add by m2/dev
TTDQD7N365 TTDQD7N365
| URI | m2://inv/TTDQD7N365 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
Network coding TTDYH4CE1A
| URI | m2://inv/TTDYH4CE1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#FXHN, Network coding (definition)
History
- 2026-11-02: add by m2/dev
TTE3KPWT8J TTE3KPWT8J
| URI | m2://inv/TTE3KPWT8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Definition TTE5193QEC
| URI | m2://inv/TTE5193QEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String diagram#37Y8, Definition (definition)
History
- 2026-11-02: add by m2/dev
TTE5QZXRSW TTE5QZXRSW
| URI | m2://inv/TTE5QZXRSW |
|---|---|
| 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 2211.13105#9LOM (statement). In 5ACPY6CEDV/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
TTEJ6XFW4R TTEJ6XFW4R
| URI | m2://inv/TTEJ6XFW4R |
|---|---|
| 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.20208#64GD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Automated theorem proving TTETRQZRJQ
| URI | m2://inv/TTETRQZRJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductio ad absurdum#B27P, Automated theorem proving (statement)
History
- 2026-11-02: add by m2/dev
TTEWA796H3 TTEWA796H3
| URI | m2://inv/TTEWA796H3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-15 (example). In E9HS8K3A52, example, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
Ruzsa covering lemma TTEYWQ4KK5
| URI | m2://inv/TTEYWQ4KK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiman's theorem#T4FS, Ruzsa covering lemma (statement)
History
- 2026-11-02: add by m2/dev
TTEZRCZTNN TTEZRCZTNN
| URI | m2://inv/TTEZRCZTNN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#R4CJ (example). In Q5Z178SAHP/e1, example 5.3
History
- 2026-10-30: add by m2/v0.4.12
TTFC05002Y TTFC05002Y
| URI | m2://inv/TTFC05002Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#MMA9 (statement). In 6XP6PD2XZA/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Projective bundle formula TTFCA5Q4MJ
| URI | m2://inv/TTFCA5Q4MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow group#KB3O, Projective bundle formula (statement)
History
- 2026-11-02: add by m2/dev
TTFDPXGW8F TTFDPXGW8F
| URI | m2://inv/TTFDPXGW8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#2OKD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert TTFG4SB3J4
| URI | m2://inv/TTFG4SB3J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert, Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert (definition). Also Wikidata Q56655890
History
- 2026-11-02: add by m2/dev
Donald Geman TTFK3M0Z23
| URI | m2://inv/TTFK3M0Z23 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Geman, Donald Geman (topic). Also Wikidata Q5294412
History
- 2026-11-02: add by m2/dev
Emanuel Lasker TTFP6M5Q3P
| URI | m2://inv/TTFP6M5Q3P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emanuel Lasker, Emanuel Lasker (topic). Also Wikidata Q57095
History
- 2026-11-02: add by m2/dev
Squares TTFPQ724QG
| URI | m2://inv/TTFPQ724QG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#ASG0, Squares (example)
History
- 2026-11-02: add by m2/v0.6.17
TTFR0GXZR0 TTFR0GXZR0
| URI | m2://inv/TTFR0GXZR0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#J69Y (definition)
History
- 2026-11-02: add by m2/v0.6.18
TTFTCEBVY5 TTFTCEBVY5
| URI | m2://inv/TTFTCEBVY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35153#5G3J (statement). In RNDAAR1ER9/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
TTG09N0EMJ TTG09N0EMJ
| URI | m2://inv/TTG09N0EMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#N27Y (statement). In DR7BK4CQ0V/e1, lemma 5.12
History
- 2026-10-28: add by m2/v0.4.3
TTG2D1B7S3 TTG2D1B7S3
| URI | m2://inv/TTG2D1B7S3 |
|---|---|
| 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.36423#FNB2 (definition). In Q5Z178SAHP/e1, definition 3.10
History
- 2026-10-30: add by m2/v0.4.12
TTGAMW91TS TTGAMW91TS
| URI | m2://inv/TTGAMW91TS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#NAIL (statement). In VWNB6QJWFN/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
TTGHM9T41J TTGHM9T41J
| URI | m2://inv/TTGHM9T41J |
|---|---|
| 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 2411.07596#JLRI (statement). In 4SFRNADV8F/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Tame ramification TTGP2W4H7K
| URI | m2://inv/TTGP2W4H7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramification (mathematics)#1UI5, Tame ramification (unknown)
History
- 2026-11-02: add by m2/dev
Discounted costs, horizon-free TTGSG4G148
| URI | m2://inv/TTGSG4G148 |
|---|---|
| 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.12713#HUMG, Discounted costs, horizon-free (statement). In F14A5HX20Q/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.2
TTH36TM2GS TTH36TM2GS
| URI | m2://inv/TTH36TM2GS |
|---|---|
| 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.15160#9O2B (statement). In 6FV4CCY1NX/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
$\theta$-capillary convex body TTH8RDPSF4
| URI | m2://inv/TTH8RDPSF4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.09840#YVT5, $\theta$-capillary convex body (definition). In Y7TWHSF2HC/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.3.5
Applications TTHH1KKB2J
| URI | m2://inv/TTHH1KKB2J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normality test#Y01E, Applications (example)
History
- 2026-11-02: add by m2/dev
Lossless cubical complex TTHJAX16BD
| URI | m2://inv/TTHJAX16BD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00525#1PW8, Lossless cubical complex (definition). In JN34PDDXH8/e1, definition 2.18
History
- 2026-10-30: add by m2/v0.4.12
TTHM9YKAXY TTHM9YKAXY
| URI | m2://inv/TTHM9YKAXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#223K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reciprocal normal distribution TTHW6DHWNF
| URI | m2://inv/TTHW6DHWNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse distribution#PXLI, Reciprocal normal distribution (unknown)
History
- 2026-11-02: add by m2/dev
Quillen adjunction TTJ3PGVP7H
| URI | m2://inv/TTJ3PGVP7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quillen adjunction SY38F954FE |
Mentions
- wikidata: Wikidata Q7271995, Quillen adjunction (unknown). Also nLab Quillen adjunction
- wikipedia: Wikipedia Quillen adjunction, Quillen adjunction (definition). Also Wikidata Q7271995
History
- 2026-10-26: add by m2/dev
TTJ4ENVFYM TTJ4ENVFYM
| URI | m2://inv/TTJ4ENVFYM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25973#VWAJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Contraction TTJCMNW05Z
| URI | m2://inv/TTJCMNW05Z |
|---|---|
| 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.21093#KX4P, Contraction (statement). In TBFPBPQV3G/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.2
ELKI TTJEPS9MVV
| URI | m2://inv/TTJEPS9MVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#1UF0, ELKI (unknown)
History
- 2026-11-02: add by m2/dev
Mikhail Shubin TTJF47RVVB
| URI | m2://inv/TTJF47RVVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Shubin (mathematician), Mikhail Shubin (topic). Also Wikidata Q6849714
History
- 2026-11-02: add by m2/dev
Stochastic Gronwall inequality TTJF6919MM
| URI | m2://inv/TTJF6919MM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#VDK6, Stochastic Gronwall inequality (statement)
History
- 2026-11-02: add by m2/dev
Properties TTJKXMTJ7N
| URI | m2://inv/TTJKXMTJ7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic logarithm#8MSD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Laurent Bartholdi TTJPEZYYY3
| URI | m2://inv/TTJPEZYYY3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurent Bartholdi, Laurent Bartholdi (topic). Also Wikidata Q102204846
History
- 2026-11-02: add by m2/dev
primitive polynomial TTJVXJ6PG1
| URI | m2://inv/TTJVXJ6PG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Primitive polynomial 0SP14DZN0G |
Mentions
- wikidata: Wikidata Q1458669, primitive polynomial (unknown). Also MathWorld PrimitivePolynomial
- wikipedia: Wikipedia Primitive polynomial (field theory), Primitive polynomial (definition). Also Wikidata Q1458669
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Joan Birman TTJW54A0GD
| URI | m2://inv/TTJW54A0GD |
|---|---|
| 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 Q450308, Joan Birman (unknown). Also nLab Joan S. Birman
- wikipedia: Wikipedia Joan Birman, Joan Birman (topic). Also Wikidata Q450308
History
- 2026-10-26: add by m2/dev
TTJY98Q0WC TTJY98Q0WC
| URI | m2://inv/TTJY98Q0WC |
|---|---|
| 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.09809#2JC1 (statement). In 7NKQ6PR78N/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
fiber sequence TTJZ3SZ2TR
| URI | m2://inv/TTJZ3SZ2TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#4K23, fiber sequence (definition)
History
- 2026-11-02: add by m2/dev
Detective Chief Superintendent TTK3FRYPAA
| URI | m2://inv/TTK3FRYPAA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#ORJD, Detective Chief Superintendent (unknown)
History
- 2026-11-02: add by m2/dev
Micha Perles TTK6BKZWC8
| URI | m2://inv/TTK6BKZWC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SPC3, Micha Perles (topic)
History
- 2026-11-02: add by m2/dev
Leonhard Euler TTKBXZ9HRH
| URI | m2://inv/TTKBXZ9HRH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#NWM1, Leonhard Euler (topic)
History
- 2026-11-02: add by m2/dev
Rose Peltesohn TTKE817HAR
| URI | m2://inv/TTKE817HAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#J90W, Rose Peltesohn (topic)
History
- 2026-11-02: add by m2/dev
2018 Colombian census TTKEZD47SE
| URI | m2://inv/TTKEZD47SE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2018 Colombian census, 2018 Colombian census (definition). Also Wikidata Q48790679
History
- 2026-11-02: add by m2/dev
TTKJS8BG0Q TTKJS8BG0Q
| URI | m2://inv/TTKJS8BG0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#1KA3 (statement). In CC6S1HVK0T/e1, theorem 9.7
History
- 2026-10-28: add by m2/v0.4.2
Heat transfer TTKQK98SW1
| URI | m2://inv/TTKQK98SW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat transfer, Heat transfer (definition). Also Wikidata Q179635
History
- 2026-11-02: add by m2/dev
double integral TTKREMP6CQ
| URI | m2://inv/TTKREMP6CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#IXGY, double integral (definition)
History
- 2026-11-02: add by m2/dev
TTKT7B8FR7 TTKT7B8FR7
| URI | m2://inv/TTKT7B8FR7 |
|---|---|
| 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#0KLV (statement). In GYSF9JXQCH/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
TTKWX2P0KX TTKWX2P0KX
| URI | m2://inv/TTKWX2P0KX |
|---|---|
| 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.06899#8GGX (statement). In 5Z2K9JGFSS/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
TTM17D4GHH TTM17D4GHH
| URI | m2://inv/TTM17D4GHH |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnside problem#Q7ST (problem)
History
- 2026-11-02: add by m2/dev
Grothendieck topology TTM1VP1HG6
| URI | m2://inv/TTM1VP1HG6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Grothendieck topology GDRFSJ8E2B |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > Grothendieck topology, Grothendieck topology (unknown). Also Mathlib CategoryTheory.GrothendieckTopology
- wikidata: Wikidata Q1062242, Grothendieck topology (concept). Also Mathlib CategoryTheory.GrothendieckTopology, nLab Grothendieck topology
- wikipedia: Wikipedia Grothendieck topology, Grothendieck topology (definition). Also Wikidata Q1062242
History
- 2026-10-26: add by m2/dev
TTM271CCJE TTM271CCJE
| URI | m2://inv/TTM271CCJE |
|---|---|
| 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#LYFZ (statement). In AGJE43FTF8/e1, corollary 8.4
History
- 2026-10-27: add by m2/v0.4.2
TTM3PK0NAW TTM3PK0NAW
| URI | m2://inv/TTM3PK0NAW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28650#C96Q (definition)
History
- 2026-11-01: add by m2/v0.6.15
purely transcendental base change TTMBF2DS8T
| URI | m2://inv/TTMBF2DS8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#JV0O, purely transcendental base change (statement). In TPA3E67MKK/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Poncelet map TTMF73S267
| URI | m2://inv/TTMF73S267 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poncelet map, Poncelet map (definition). Also Wikidata Q139499749
History
- 2026-11-02: add by m2/dev
Generalizations TTMH5724F0
| URI | m2://inv/TTMH5724F0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph removal lemma#AR6F, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
S. A. Choudum TTMTN5R3BM
| URI | m2://inv/TTMTN5R3BM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IQ9C, S. A. Choudum (unknown)
History
- 2026-11-02: add by m2/dev
Optical path length TTMXDNNEPP
| URI | m2://inv/TTMXDNNEPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical path length, Optical path length (definition). Also Wikidata Q1475329
History
- 2026-11-02: add by m2/dev
TTMXWW0P5P TTMXWW0P5P
| URI | m2://inv/TTMXWW0P5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04600#Y8ZU (statement). In 4V64K0DYSV/e1, lemma I.8.3
History
- 2026-10-29: add by m2/v0.4.12
Properties TTN0ZAY61R
| URI | m2://inv/TTN0ZAY61R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Mazur compactum#3HBB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Creative and productive sets TTN9R8QTA7
| URI | m2://inv/TTN9R8QTA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Creative and productive sets, Creative and productive sets (definition). Also Wikidata Q3917237
History
- 2026-11-02: add by m2/dev
Dieudonné plank TTNG7KW15H
| URI | m2://inv/TTNG7KW15H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#DMJQ, Dieudonné plank (definition)
History
- 2026-11-02: add by m2/dev
Definition TTNP41WJC4
| URI | m2://inv/TTNP41WJC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forbidden graph characterization#Z1UW, Definition (definition)
History
- 2026-11-02: add by m2/dev
TTNQKHD66B TTNQKHD66B
| URI | m2://inv/TTNQKHD66B |
|---|---|
| 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.13556#SZON (statement). In 5ZB8N3YY72/e1, corollary 5.9
History
- 2026-10-28: add by m2/v0.4.2
TTP3AR13JB TTP3AR13JB
| URI | m2://inv/TTP3AR13JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22263#TG66 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalization TTPAVVKZ6P
| URI | m2://inv/TTPAVVKZ6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-definite function#HDNU, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Lattice of covering groups TTPC0JMJ35
| URI | m2://inv/TTPC0JMJ35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering group#OWY0, Lattice of covering groups (unknown)
History
- 2026-11-02: add by m2/dev
TTPFCQBYFM TTPFCQBYFM
| URI | m2://inv/TTPFCQBYFM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-1.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
TTPH2KSH88 TTPH2KSH88
| URI | m2://inv/TTPH2KSH88 |
|---|---|
| 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 2606.20229#2ZA7 (statement). In 1B85G2QJC2/e1, theorem 9.4
History
- 2026-10-27: add by m2/v0.3.6
TTPHN2AVKG TTPHN2AVKG
| URI | m2://inv/TTPHN2AVKG |
|---|---|
| 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.33241#OK00 (statement). In NX6QV01PCE/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Blow-down compactness at $q_c$ TTPJSSN2DZ
| URI | m2://inv/TTPJSSN2DZ |
|---|---|
| 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.02751#JHWQ, Blow-down compactness at $q_c$ (statement). In MWGXPXF3BW/e1, proposition 26
History
- 2026-10-29: add by m2/v0.4.12
verified matching rules for the 3D chair TTPNEWDFP1
| URI | m2://inv/TTPNEWDFP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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.00916#5HHB, verified matching rules for the 3D chair (statement). In 3MMFCTKPPJ/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
TTPQCRH5Q6 TTPQCRH5Q6
| URI | m2://inv/TTPQCRH5Q6 |
|---|---|
| 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 2603.29838#LFV0 (statement). In KP0X1RKKKB/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.0
Unit in the last place TTPZA20YQ2
| URI | m2://inv/TTPZA20YQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit in the last place, Unit in the last place (definition). Also Wikidata Q7887129
History
- 2026-11-02: add by m2/dev
Schnyder's theorem TTQ1WCE0AC
| URI | m2://inv/TTQ1WCE0AC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7431925, Schnyder's theorem (statement). Also Wikidata Q7431925
- thousand_plus: thousand_plus Q7431925, Schnyder's theorem (statement). Also Wikidata Q7431925, Wikipedia Schnyder's theorem
- wikipedia: Wikipedia Schnyder's theorem, Schnyder's theorem (statement). Also Wikidata Q7431925
History
- 2026-10-26: add by m2/dev
TTQ3QVWB73 TTQ3QVWB73
| URI | m2://inv/TTQ3QVWB73 |
|---|---|
| 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.11056#G2S9 (statement). In 1NDB3SAG7K/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.3
Idele norm TTQ4B3VTCW
| URI | m2://inv/TTQ4B3VTCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idele group#VLIS, Idele norm (unknown)
History
- 2026-11-02: add by m2/dev
508 (number) TTQ6PWD9WQ
| URI | m2://inv/TTQ6PWD9WQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#OZZK, 508 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Diffusion on SPD TTQ7XSGQ0F
| URI | m2://inv/TTQ7XSGQ0F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03264#1E9S, Diffusion on SPD (example). In 5TXRSPPTHP/e1, example 5
History
- 2026-10-29: add by m2/v0.4.12
TTQ8Z9YVJN TTQ8Z9YVJN
| URI | m2://inv/TTQ8Z9YVJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#PWK1 (statement). In 3PSAWXCCJ8/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.12
Results TTQG79NP5G
| URI | m2://inv/TTQG79NP5G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thue number#QJXT, Results (statement)
History
- 2026-11-02: add by m2/dev
TTQHWAK205 TTQHWAK205
| URI | m2://inv/TTQHWAK205 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#2LXS (statement). In 9H45HQE7AZ/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Michel André TTQJJHB47J
| URI | m2://inv/TTQJJHB47J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michel André (mathematician), Michel André (topic). Also Wikidata Q20241080
History
- 2026-11-02: add by m2/dev
Russel E. Caflisch TTQKXRZYB9
| URI | m2://inv/TTQKXRZYB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0OQX, Russel E. Caflisch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QH4I, Russel E. Caflisch (topic)
History
- 2026-11-02: add by m2/dev
National Institute of Statistics TTQNDCJM9W
| URI | m2://inv/TTQNDCJM9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute of Statistics (Romania), National Institute of Statistics (definition). Also Wikidata Q6973708
History
- 2026-11-02: add by m2/dev
Closed Graph Theorem TTQZCFKRD3
| URI | m2://inv/TTQZCFKRD3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Webbed space#MAV6, Closed Graph Theorem (statement)
History
- 2026-11-02: add by m2/dev
TTR45JMQSD TTR45JMQSD
| URI | m2://inv/TTR45JMQSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1707.06795#9BGG (statement). In 32MMSEVHYN/e1, corollary 2.15
History
- 2026-10-27: add by m2/v0.3.5
TTR869QFBF TTR869QFBF
| URI | m2://inv/TTR869QFBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18468#9HEF (statement). In VP29RN7ZMA/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Hadamard manifold TTRCXJ118M
| URI | m2://inv/TTRCXJ118M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#B6AK, Hadamard manifold (definition)
History
- 2026-11-02: add by m2/dev
TTRFA0T15X TTRFA0T15X
| URI | m2://inv/TTRFA0T15X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#697L (statement). In TJH58FRGEN/e1, proposition 8.8
History
- 2026-10-29: add by m2/v0.4.12
Trishal TTRG809145
| URI | m2://inv/TTRG809145 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#S0LS, Trishal (unknown)
History
- 2026-11-02: add by m2/dev
TTRK6QYQMD TTRK6QYQMD
| URI | m2://inv/TTRK6QYQMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#PU47 (statement). In VN084GGZGK/e1, proposition A
History
- 2026-10-28: add by m2/v0.4.3
Sum-free sequence TTRY40DBKE
| URI | m2://inv/TTRY40DBKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#LXN6, Sum-free sequence (definition)
History
- 2026-11-02: add by m2/dev
TTS68BGSY6 TTS68BGSY6
| URI | m2://inv/TTS68BGSY6 |
|---|---|
| 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.07598#83T1 (statement). In V57RPDNR8H/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Optimality of the local energy rate TTSD1KXZJX
| URI | m2://inv/TTSD1KXZJX |
|---|---|
| Kind | problem |
| 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.15086#V5MZ, Optimality of the local energy rate (problem). In V60MVF3KQ1/e1, problem 8.3
History
- 2026-10-28: add by m2/v0.4.2
TTSJNTGDMG TTSJNTGDMG
| URI | m2://inv/TTSJNTGDMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01932#RT3K (statement). In XDKWW6NR0K/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
*{Theorem 5.5 TTST66DC7Y
| URI | m2://inv/TTST66DC7Y |
|---|---|
| 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.27518#Q7XX, *{Theorem 5.5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Higher hydrostatic Stokes estimate at orthogonal junctions TTSTMQ3Z6K
| URI | m2://inv/TTSTMQ3Z6K |
|---|---|
| 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.14555#3ZOQ, Higher hydrostatic Stokes estimate at orthogonal junctions (statement). In NHW0VEJ09F/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
meager TTSXAK18WQ
| URI | m2://inv/TTSXAK18WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#SHUL, meager (definition)
History
- 2026-11-02: add by m2/dev
Gaussian states TTSZSAH11W
| URI | m2://inv/TTSZSAH11W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#OMVU, Gaussian states (definition). In MM8P5CJR18/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Cotangent stack TTT0XHE24A
| URI | m2://inv/TTT0XHE24A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent sheaf#YX37, Cotangent stack (unknown)
History
- 2026-11-02: add by m2/dev
PROPOSITION 1 TTT4Z0KJNN
| URI | m2://inv/TTT4Z0KJNN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple theorems in the algebra of sets#JL34, PROPOSITION 1 (statement)
History
- 2026-11-02: add by m2/dev
Equilateral TTT96V06TH
| URI | m2://inv/TTT96V06TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#A86K, Equilateral (definition)
History
- 2026-11-02: add by m2/dev
Near-ERM generalization TTTS9D27FV
| URI | m2://inv/TTTS9D27FV |
|---|---|
| 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.31458#OFJS, Near-ERM generalization (statement). In SNWC76WKWT/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
The theory of inhabited sets TTTSFGWYKQ
| URI | m2://inv/TTTSFGWYKQ |
|---|---|
| Kind | counterexample |
| 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.33469#IXSS, The theory of inhabited sets (counterexample). In TC5QA4AB4Z/e1, counterexample 3.33
History
- 2026-10-30: add by m2/v0.4.12
Examples TTTV1V9MD4
| URI | m2://inv/TTTV1V9MD4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index set#MLNL, Examples (example)
History
- 2026-11-02: add by m2/dev
Census Agglomeration TTTVKHA5YK
| URI | m2://inv/TTTVKHA5YK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census geographic units of Canada#I16Y, Census Agglomeration (unknown)
History
- 2026-11-02: add by m2/dev
TTTWJXJC45 TTTWJXJC45
| URI | m2://inv/TTTWJXJC45 |
|---|---|
| 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.16886#08FA (statement). In Y8QQAH7VCF/e1, lemma E.14
History
- 2026-10-28: add by m2/v0.4.2
TTV6J4NTJ1 TTV6J4NTJ1
| URI | m2://inv/TTV6J4NTJ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#1B68 (definition). In XD0YT3XCW2/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
centered tree TTVJC62T44
| URI | m2://inv/TTVJC62T44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5060034, centered tree (unknown). Also MathWorld CenteredTree
- wikipedia: Wikipedia Centered tree, Centered tree (definition). Also Wikidata Q5060034
History
- 2026-10-26: add by m2/dev
Proper fixed stable-map locus TTVKE3Q6GJ
| URI | m2://inv/TTVKE3Q6GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#XMGT, Proper fixed stable-map locus (statement). In CSRZ9CWK69/e1, corollary A.3
History
- 2026-10-29: add by m2/v0.4.12
Quincy TTVMK7ZV4P
| URI | m2://inv/TTVMK7ZV4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#ANTV, Quincy (unknown)
History
- 2026-11-02: add by m2/dev
TTVPC9DZDG TTVPC9DZDG
| URI | m2://inv/TTVPC9DZDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#HFVH (statement). In 9VPMHV0M4R/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Column formula for the spread TTVR35Z1ME
| URI | m2://inv/TTVR35Z1ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2610.04834#TSJ1, Column formula for the spread (statement). In YZNK67K060/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
TTVSV6PCCK TTVSV6PCCK
| URI | m2://inv/TTVSV6PCCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#0XJ8 (statement). In YVGRZK1HRS/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
TTW9993EW7 TTW9993EW7
| URI | m2://inv/TTW9993EW7 |
|---|---|
| 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 2106.01660#BL68 (statement). In DY520CF58X/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Michael Ben-Or TTW9WPX104
| URI | m2://inv/TTW9WPX104 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G59F, Michael Ben-Or (unknown)
History
- 2026-11-02: add by m2/dev
Snub 24-cell honeycomb TTWFH7BS64
| URI | m2://inv/TTWFH7BS64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#92O3, Snub 24-cell honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#VW6P, Snub 24-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Quantum ergodicity TTWQ74QNH8
| URI | m2://inv/TTWQ74QNH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum ergodicity, Quantum ergodicity (definition). Also Wikidata Q7269044
History
- 2026-11-02: add by m2/dev
TTWR8H8328 TTWR8H8328
| URI | m2://inv/TTWR8H8328 |
|---|---|
| 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.12908#P02M (statement). In TNC658NVMQ/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Control of the local $L^{p^*}$ norm TTWW5SFS10
| URI | m2://inv/TTWW5SFS10 |
|---|---|
| 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.00339#QF9E, Control of the local $L^{p^*}$ norm (statement). In ZRG6NY1ECH/e1, lemma 22
History
- 2026-10-30: add by m2/v0.4.12
TTWXD9F33H TTWXD9F33H
| URI | m2://inv/TTWXD9F33H |
|---|---|
| Kind | definition |
| 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.35691#CZRY (definition). In G7R61RPWE2/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
synclastic TTWYM72F3H
| URI | m2://inv/TTWYM72F3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2375998, synclastic (unknown). Also MathWorld Synclastic
History
- 2026-10-26: add by m2/dev
TTX494YP9Q TTX494YP9Q
| URI | m2://inv/TTX494YP9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05953#B1HC (statement). In P3XHJ1VB8C/e1, corollary 11
History
- 2026-10-29: add by m2/v0.4.10
Joint stabilizer TTX4JJB5QH
| URI | m2://inv/TTX4JJB5QH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#NYQC, Joint stabilizer (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cayley's theorem TTXJMM17D4
| URI | m2://inv/TTXJMM17D4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#4TNO, Cayley's theorem (statement)
- wikipedia: Wikipedia List of mathematical proofs#3AEN, Cayley's theorem (statement)
- wikipedia: Wikipedia List of things named after Arthur Cayley#LGAF, Cayley's theorem (statement)
- wikipedia: Wikipedia List of permutation topics#7DSH, Cayley's theorem (statement)
History
- 2026-11-02: add by m2/dev
Cost-of-living index TTXMSW7WH6
| URI | m2://inv/TTXMSW7WH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cost-of-living index, Cost-of-living index (definition). Also Wikidata Q2408351
History
- 2026-11-02: add by m2/dev
TTXND0K08G TTXND0K08G
| URI | m2://inv/TTXND0K08G |
|---|---|
| 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.17677#1RSF (statement). In 5E9G06XJKC/e1, lemma C.18
History
- 2026-10-28: add by m2/v0.4.2
TTXNSMZBZH TTXNSMZBZH
| URI | m2://inv/TTXNSMZBZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20599#U5GB (statement)
History
- 2026-11-02: add by m2/v0.6.18
TTXQYV4JM4 TTXQYV4JM4
| URI | m2://inv/TTXQYV4JM4 |
|---|---|
| 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.10660#6CXD (statement). In 1T12A2H411/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.3
Labourie ; Labourie--Schlenker TTXW9BMHQM
| URI | m2://inv/TTXW9BMHQM |
|---|---|
| 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 2609.32300#1X39, Labourie ; Labourie--Schlenker (statement). In VNE8N0D2FB/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
TTXZKW7ZK0 TTXZKW7ZK0
| URI | m2://inv/TTXZKW7ZK0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#V2DW (definition). In D424GB5MAW/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
TTY57HFD7Q TTY57HFD7Q
| URI | m2://inv/TTY57HFD7Q |
|---|---|
| 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.27800#WWC7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TTY6ZYNMM9 TTY6ZYNMM9
| URI | m2://inv/TTY6ZYNMM9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#X46E (definition). In RNXRAZYR3S/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Cartan decomposition TTYGG2C2EB
| URI | m2://inv/TTYGG2C2EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#GK1V, Cartan decomposition (definition)
History
- 2026-11-02: add by m2/dev
TTYGY67M1X TTYGY67M1X
| URI | m2://inv/TTYGY67M1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-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 2610.16267#RHAX (statement). In 65GKPZ15VH/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Termination criterion TTYJXFAVTM
| URI | m2://inv/TTYJXFAVTM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computerized classification test#LJSI, Termination criterion (statement)
History
- 2026-11-02: add by m2/dev
K-function TTYKG638VN
| URI | m2://inv/TTYKG638VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | K-function TXCA43CMYR |
Mentions
- wikidata: Wikidata Q1541649, K-function (unknown). Also MathWorld K-Function
- wikipedia: Wikipedia K-function, K-function (definition). Also Wikidata Q1541649
History
- 2026-10-26: add by m2/dev
tetradecagon TTYM4SD9A8
| URI | m2://inv/TTYM4SD9A8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1058780, tetradecagon (unknown). Also MathWorld Tetradecagon
- wikipedia: Wikipedia Tetradecagon, Tetradecagon (definition). Also Wikidata Q1058780
History
- 2026-10-26: add by m2/dev
TTYR6PAJ76 TTYR6PAJ76
| URI | m2://inv/TTYR6PAJ76 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27635#E6MF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties TTYVWDY490
| URI | m2://inv/TTYVWDY490 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density topology#6MNP, Properties (statement)
History
- 2026-11-02: add by m2/dev
TTYXGQNN9D TTYXGQNN9D
| URI | m2://inv/TTYXGQNN9D |
|---|---|
| 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.21929#HSNN (statement). In 2PP4XRVS0J/e1, theorem 9.4
History
- 2026-10-27: add by m2/v0.4.2
Zenzizenzizenzic TTZ1AFQ7KH
| URI | m2://inv/TTZ1AFQ7KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#20JP, Zenzizenzizenzic (definition)
History
- 2026-11-02: add by m2/dev
TTZAKV46R7 TTZAKV46R7
| URI | m2://inv/TTZAKV46R7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#76WX (definition). In QHFP0837Q8/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Newtonian constant of gravitation TTZCM34QRA
| URI | m2://inv/TTZCM34QRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#M0I1, Newtonian constant of gravitation (unknown)
History
- 2026-11-02: add by m2/dev
Yuval Peres TTZM50GH6P
| URI | m2://inv/TTZM50GH6P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6RVN, Yuval Peres (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IJ72, Yuval Peres (topic)
History
- 2026-11-02: add by m2/dev
Coefficient recovery TTZNF1FPSQ
| URI | m2://inv/TTZNF1FPSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#BFLV, Coefficient recovery (statement). In 25B3WHEKH2/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.2
TTZQYVB74Y TTZQYVB74Y
| URI | m2://inv/TTZQYVB74Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#GEUF (statement). In Z4TD36VFPW/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
piecewise-defined function TTZSSA4VDZ
| URI | m2://inv/TTZSSA4VDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#O69J, piecewise-defined function (definition)
History
- 2026-11-02: add by m2/dev
TTZVD50H31 TTZVD50H31
| URI | m2://inv/TTZVD50H31 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#KHMC (example). In HX63A1PH1W/e1, example 4.36
History
- 2026-10-28: add by m2/v0.4.3