Inventory rows T7
The cards of the rows of the inventory whose ids start with T7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Conjectures T709HMQXWZ
| URI | m2://inv/T709HMQXWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#W1ZG, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
T70B20E04H T70B20E04H
| URI | m2://inv/T70B20E04H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#example-6 (example). In E59CDZA4DP, example, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
Persons using television T70J8XJJZF
| URI | m2://inv/T70J8XJJZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persons using television, Persons using television (definition). Also Wikidata Q17146914
History
- 2026-11-02: add by m2/dev
T70JVE8Q9M T70JVE8Q9M
| URI | m2://inv/T70JVE8Q9M |
|---|---|
| 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.10477#1AEM (statement). In 1NZSZ241WE/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
T70KJZ725K T70KJZ725K
| URI | m2://inv/T70KJZ725K |
|---|---|
| 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 2207.07461#GRSB (statement). In GAG532VMPF/e1, theorem 8.1.1
History
- 2026-10-27: add by m2/v0.3.5
T70MZXFH05 T70MZXFH05
| URI | m2://inv/T70MZXFH05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.07001#J7F7 (statement). In 5DFTVG7FFF/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Home prime T70TGJAKJB
| URI | m2://inv/T70TGJAKJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Home prime, Home prime (definition). Also Wikidata Q5889155
History
- 2026-11-02: add by m2/dev
Isotoxal figure T70W8YVJ57
| URI | m2://inv/T70W8YVJ57 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotoxal figure, Isotoxal figure (object). Also Wikidata Q3847026
History
- 2026-11-02: add by m2/dev
topological closure T70Y0F6SHF
| URI | m2://inv/T70Y0F6SHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#CIFH, topological closure (definition)
History
- 2026-11-02: add by m2/dev
Definition T70YATDSKY
| URI | m2://inv/T70YATDSKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anafunctor#5Z8P, Definition (definition)
History
- 2026-11-02: add by m2/dev
T7128V9WG6 T7128V9WG6
| URI | m2://inv/T7128V9WG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11388#5911 (statement). In PC1SZ68BPZ/e1, proposition C.3
History
- 2026-10-28: add by m2/v0.4.3
Operators and group law T714KQQDJZ
| URI | m2://inv/T714KQQDJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta representation#NSBK, Operators and group law (statement)
History
- 2026-11-02: add by m2/dev
quotient in stages T71CGGT9MY
| URI | m2://inv/T71CGGT9MY |
|---|---|
| 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 1408.1555#DVQQ, quotient in stages (statement). In S1F2QW24YW/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
T71DBTNDQY T71DBTNDQY
| URI | m2://inv/T71DBTNDQY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_graph.ptx#example-1 (example). In QKM9DD2H56, example, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Algebraic differential equation T71PK9P0YJ
| URI | m2://inv/T71PK9P0YJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic differential equation, Algebraic differential equation (definition). Also Wikidata Q4723995
History
- 2026-11-02: add by m2/dev
T71QBA0N94 T71QBA0N94
| URI | m2://inv/T71QBA0N94 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-36 (proof). In N54F33XE07, proof, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Bashar ibn Shu'aib T71QH7VBKR
| URI | m2://inv/T71QH7VBKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bashar ibn Shu'aib, Bashar ibn Shu'aib (definition). Also Wikidata Q55604958
History
- 2026-11-02: add by m2/dev
T71R7ECGZ7 T71R7ECGZ7
| URI | m2://inv/T71R7ECGZ7 |
|---|---|
| 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 1001.3646#U3XI (statement). In 46QFY2X6A0/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Silvano Martello T71RD3E3M5
| URI | m2://inv/T71RD3E3M5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silvano Martello, Silvano Martello (topic). Also Wikidata Q102272543
History
- 2026-11-02: add by m2/dev
T71TFXE60B T71TFXE60B
| URI | m2://inv/T71TFXE60B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#KSCY (definition). In R604B78EVK/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
complex bordism T7221YV23Z
| URI | m2://inv/T7221YV23Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#KS02, complex bordism (definition)
History
- 2026-11-02: add by m2/dev
Harries–Wong graph T726GKNP13
| URI | m2://inv/T726GKNP13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115503, Harries–Wong graph (unknown). Also House of Graphs 1148, MathWorld Harries-WongGraph
- wikipedia: Wikipedia Harries–Wong graph, Harries–Wong graph (definition). Also Wikidata Q3115503
History
- 2026-10-26: add by m2/dev
Single-source whole-space reference T7293J81FG
| URI | m2://inv/T7293J81FG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21301#UFCF, Single-source whole-space reference (statement). In W7GCDXAK1K/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.2
Definition T72EC9F1WS
| URI | m2://inv/T72EC9F1WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-spline#E4QV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples T72K2SNEQ8
| URI | m2://inv/T72K2SNEQ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hough transform#MJGJ, Examples (example)
History
- 2026-11-02: add by m2/dev
T72NNFDMKW T72NNFDMKW
| URI | m2://inv/T72NNFDMKW |
|---|---|
| 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.33068#NQ19 (statement). In V9Z9Z0V5Y0/e1, corollary 6
History
- 2026-10-30: add by m2/v0.4.12
Collider (statistics) T72PM52X1S
| URI | m2://inv/T72PM52X1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PGAJ, Collider (statistics) (definition)
History
- 2026-11-02: add by m2/dev
T72SJHJN3H T72SJHJN3H
| URI | m2://inv/T72SJHJN3H |
|---|---|
| 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.11757#ZVGJ (statement). In VSJRVTHWWA/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
T72TSMTCKQ T72TSMTCKQ
| URI | m2://inv/T72TSMTCKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02669#CIHU (statement). In NSBSWH6XB4/e1, lemma 7.6
History
- 2026-10-29: add by m2/v0.4.12
T733T08VX0 T733T08VX0
| URI | m2://inv/T733T08VX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#QNFT (statement). In 332PQD90SW/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
\bf Explicit $abc-$conjecture T73DPA2T8C
| URI | m2://inv/T73DPA2T8C |
|---|---|
| Kind | conjecture |
| 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 2105.03715#4B7O, \bf Explicit $abc-$conjecture (conjecture). In H3FWT3Z0J4/e1, conjecture 6
History
- 2026-10-27: add by m2/v0.3.5
sketch T73FGKEN9R
| URI | m2://inv/T73FGKEN9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sketch K8P15XTH1M |
Mentions
- wikidata: Wikidata Q7534724, sketch (unknown). Also nLab sketch
- wikipedia: Wikipedia Sketch (mathematics), Sketch (definition). Also Wikidata Q7534724
History
- 2026-10-26: add by m2/dev
Eduard Study T73QSEEPA0
| URI | m2://inv/T73QSEEPA0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DTNZ, Eduard Study (topic)
History
- 2026-11-02: add by m2/dev
T73R47E1MH T73R47E1MH
| URI | m2://inv/T73R47E1MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#VARH (statement). In JQFPH09JG8/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
T73TTAB1RX T73TTAB1RX
| URI | m2://inv/T73TTAB1RX |
|---|---|
| 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.07963#ZQ91 (statement). In HAGJKEZ1CK/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
ILP$(\mathcal{I},\vec{\gamma}\in\mathbb{Z}_{\geq 0}^{\phi})$ T73ZBV8Z7H
| URI | m2://inv/T73ZBV8Z7H |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26366#WS0K, ILP$(\mathcal{I},\vec{\gamma}\in\mathbb{Z}_{\geq 0}^{\phi})$ (unknown)
History
- 2026-11-01: add by m2/v0.6.15
partition function T745P271C1
| URI | m2://inv/T745P271C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Partition function 001CX45SWQ |
Mentions
- wikidata: Wikidata Q15846551, partition function (object). Also MathWorld PartitionFunction, MathWorld PartitionFunctionP, OEIS A000041
- wikipedia: Wikipedia Partition function (number theory), Partition function (definition). Also Wikidata Q15846551
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
The algorithm T749TAH96W
| URI | m2://inv/T749TAH96W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ITP method#P8YU, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Representation classes T74ASRWZDN
| URI | m2://inv/T74ASRWZDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02637#WDII, Representation classes (statement). In 5Z2H5XJ6EM/e1, proposition S3.5
History
- 2026-10-29: add by m2/v0.4.12
Applications T74B8RBFSH
| URI | m2://inv/T74B8RBFSH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman Type A distribution#CZ8S, Applications (example)
History
- 2026-11-02: add by m2/dev
Upper semicontinuity of algebraic dimension T74GANMHAN
| URI | m2://inv/T74GANMHAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#7N6S, Upper semicontinuity of algebraic dimension (statement). In RZDNWV9E29/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.6
T74N6VA6F8 T74N6VA6F8
| URI | m2://inv/T74N6VA6F8 |
|---|---|
| Kind | definition |
| 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.19455#G94I (definition). In CBF6TQS4DW/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Avadhesh Narayan Singh T74NFSDN1Z
| URI | m2://inv/T74NFSDN1Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Avadhesh Narayan Singh, Avadhesh Narayan Singh (topic). Also Wikidata Q29180923
History
- 2026-11-02: add by m2/dev
Samuel H. Preston T74S5VCPWQ
| URI | m2://inv/T74S5VCPWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#NPQY, Samuel H. Preston (unknown)
History
- 2026-11-02: add by m2/dev
T74VYSF615 T74VYSF615
| URI | m2://inv/T74VYSF615 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.26417#QGPI (statement)
History
- 2026-11-01: add by m2/v0.6.15
T74WK302MB T74WK302MB
| URI | m2://inv/T74WK302MB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#RVSM (statement). In VQA35Q7C00/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
T74XTY0MYV T74XTY0MYV
| URI | m2://inv/T74XTY0MYV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#LBB4 (example)
History
- 2026-11-01: add by m2/v0.6.15
Sandrine Péché T752FYQRS2
| URI | m2://inv/T752FYQRS2 |
|---|---|
| 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#IW64, Sandrine Péché (topic)
History
- 2026-11-02: add by m2/dev
Hall T758BRCE9C
| URI | m2://inv/T758BRCE9C |
|---|---|
| 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.15024#TG0P, Hall (statement). In GTZZ9BMWE9/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Alexander Ivanovich Bobenko T75CV5PG69
| URI | m2://inv/T75CV5PG69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15455703, Alexander Ivanovich Bobenko (unknown). Also nLab Alexander Bobenko
History
- 2026-10-26: add by m2/dev
T75E2371WX T75E2371WX
| URI | m2://inv/T75E2371WX |
|---|---|
| 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 1601.02354#CVN4 (statement). In 3YSZKHNCRA/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Cayleyan T75HAG7Q4R
| URI | m2://inv/T75HAG7Q4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#HWOT, Cayleyan (definition)
History
- 2026-11-02: add by m2/dev
T75P4KPPZ7 T75P4KPPZ7
| URI | m2://inv/T75P4KPPZ7 |
|---|---|
| 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.19273#PZBK (definition). In T3BY4TXYT4/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
KAHM reconstruction score T75PPRVSSW
| URI | m2://inv/T75PPRVSSW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#24XK, KAHM reconstruction score (definition). In 6KAZWJ8RFX/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
T75Q1ZW18R T75Q1ZW18R
| URI | m2://inv/T75Q1ZW18R |
|---|---|
| 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.18992#9B4V (statement). In S7PNTM0GZC/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Infinitesimal generator T75RTD36ER
| URI | m2://inv/T75RTD36ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitesimal generator (stochastic processes), Infinitesimal generator (definition). Also Wikidata Q915487
History
- 2026-11-02: add by m2/dev
Compact semigroup T75S3DQ4GT
| URI | m2://inv/T75S3DQ4GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact semigroup, Compact semigroup (definition). Also Wikidata Q5155317
History
- 2026-11-02: add by m2/dev
T75WP6MYZ5 T75WP6MYZ5
| URI | m2://inv/T75WP6MYZ5 |
|---|---|
| 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.26191#RFGR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition T763DFN3ZZ
| URI | m2://inv/T763DFN3ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive model#4LUW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conjecture T76C7VZ84M
| URI | m2://inv/T76C7VZ84M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#1867, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Grothendieck connection T76NN0T28H
| URI | m2://inv/T76NN0T28H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5610720, Grothendieck connection (concept). Also nLab Grothendieck connection
- wikipedia: Wikipedia Grothendieck connection, Grothendieck connection (definition). Also Wikidata Q5610720
History
- 2026-10-26: add by m2/dev
T76V35VKCG T76V35VKCG
| URI | m2://inv/T76V35VKCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34458#GKUG (statement). In 2KQ85H6MS4/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
Dictum de omni et nullo T76ZC2CHGN
| URI | m2://inv/T76ZC2CHGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dictum de omni et nullo, Dictum de omni et nullo (definition). Also Wikidata Q5273991
History
- 2026-11-02: add by m2/dev
span T77BN9J2YK
| URI | m2://inv/T77BN9J2YK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5.1/span, span (concept). In N54F33XE07, index, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Kramers–Moyal expansion T77BSNJG9W
| URI | m2://inv/T77BSNJG9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramers–Moyal expansion, Kramers–Moyal expansion (definition). Also Wikidata Q1786418
History
- 2026-11-02: add by m2/dev
unit distance problem T77BTP6KZ2
| URI | m2://inv/T77BTP6KZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#O8KX, unit distance problem (definition)
History
- 2026-11-02: add by m2/dev
Galois cohomology T77EFQM2YB
| URI | m2://inv/T77EFQM2YB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0JW6, Galois cohomology (definition)
History
- 2026-11-02: add by m2/dev
T77MPK69WM T77MPK69WM
| URI | m2://inv/T77MPK69WM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#7GKD (statement). In JW8HH6EPG2/e1, lemma 3.50
History
- 2026-10-29: add by m2/v0.4.10
A free certificate T77NN7XBAN
| URI | m2://inv/T77NN7XBAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17403#XREH, A free certificate (statement). In 9EMNMAW8YH/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
T77PEV31HZ T77PEV31HZ
| URI | m2://inv/T77PEV31HZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16002#7H02 (example). In MWXDTQ7XC4/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.2
Aperiodic classes have $k$ members, one Lyndon T77Q5CYW1E
| URI | m2://inv/T77Q5CYW1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#X1DG, Aperiodic classes have $k$ members, one Lyndon (statement)
History
- 2026-11-02: add by m2/v0.6.17
T783A0T99D T783A0T99D
| URI | m2://inv/T783A0T99D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#SOXN (statement). In B9EX6K51RD/e1, proposition 2.26
History
- 2026-10-28: add by m2/v0.4.2
WDVV T785VZ5H0Y
| URI | m2://inv/T785VZ5H0Y |
|---|---|
| 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 2609.21914#KLO0, WDVV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bernadette Perrin-Riou T787WW0FK2
| URI | m2://inv/T787WW0FK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernadette Perrin-Riou, Bernadette Perrin-Riou (topic). Also Wikidata Q822161
History
- 2026-11-02: add by m2/dev
Clyde Kruskal T787YZTTQK
| URI | m2://inv/T787YZTTQK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H0EQ, Clyde Kruskal (unknown)
History
- 2026-11-02: add by m2/dev
T78FHQYVGJ T78FHQYVGJ
| URI | m2://inv/T78FHQYVGJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01251#EM2L (definition). In CZ2247RGQ4/e1, definition 3.1.2
History
- 2026-10-29: add by m2/v0.4.12
Statement T78G64EF5Z
| URI | m2://inv/T78G64EF5Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain central limit theorem#4WGB, Statement (statement)
History
- 2026-11-02: add by m2/dev
T78H81M76P T78H81M76P
| URI | m2://inv/T78H81M76P |
|---|---|
| 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.40207#OY2X (statement). In JXTG8KP95P/e1, lemma 6.7
History
- 2026-10-30: add by m2/v0.4.12
T78YE42D05 T78YE42D05
| URI | m2://inv/T78YE42D05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20577#1ZP2 (statement). In 3P13XJQSVK/e1, proposition 1.5
History
- 2026-10-27: add by m2/v0.4.2
Use and principle T7909GCC28
| URI | m2://inv/T7909GCC28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduction compass#CWZM, Use and principle (statement)
History
- 2026-11-02: add by m2/dev
Forests, growth orders, root indicator T790CENN60
| URI | m2://inv/T790CENN60 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#PPFE, Forests, growth orders, root indicator (definition). In R5AFFWBMAF/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Theorem T799806KT5
| URI | m2://inv/T799806KT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#HNUE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Vyacheslav Rychkov T79BR30PE1
| URI | m2://inv/T79BR30PE1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vyacheslav Rychkov, Vyacheslav Rychkov (topic). Also Wikidata Q15428901
History
- 2026-11-02: add by m2/dev
T79D13HRWC T79D13HRWC
| URI | m2://inv/T79D13HRWC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33531#IV92 (definition). In HNMJEAR2ER/e1, definition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Landau kernel T79DPAFWYQ
| URI | m2://inv/T79DPAFWYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau kernel, Landau kernel (definition). Also Wikidata Q115804663
History
- 2026-11-02: add by m2/dev
T79E153WS8 T79E153WS8
| URI | m2://inv/T79E153WS8 |
|---|---|
| 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.17883#IDE4 (statement). In 9WSJV2WY2S/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Matrix calculus T79FGZDC3Q
| URI | m2://inv/T79FGZDC3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#MCZF, Matrix calculus (definition)
History
- 2026-11-02: add by m2/dev
Christoffel symbols T79K3AQX8K
| URI | m2://inv/T79K3AQX8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#EF2R, Christoffel symbols (definition)
History
- 2026-11-02: add by m2/dev
T79NGTNBDJ T79NGTNBDJ
| URI | m2://inv/T79NGTNBDJ |
|---|---|
| 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 0808.1331#1TDF (statement). In RB2B1N73P0/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Maxime Bôcher T79SDY38KC
| URI | m2://inv/T79SDY38KC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#BIOD, Maxime Bôcher (topic)
History
- 2026-11-02: add by m2/dev
Inflation in India T79T7GSYSP
| URI | m2://inv/T79T7GSYSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inflation in India, Inflation in India (definition). Also Wikidata Q17050834
History
- 2026-11-02: add by m2/dev
Ricci-flat manifold T79VWX4WC5
| URI | m2://inv/T79VWX4WC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci-flat manifold, Ricci-flat manifold (definition). Also Wikidata Q7322952
History
- 2026-11-02: add by m2/dev
Formal semantics T7A0XN17ZR
| URI | m2://inv/T7A0XN17ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal semantics (natural language), Formal semantics (definition). Also Wikidata Q5469969
History
- 2026-11-02: add by m2/dev
T7AFBF2YMH T7AFBF2YMH
| URI | m2://inv/T7AFBF2YMH |
|---|---|
| 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.20140#RC5W (statement)
History
- 2026-11-02: add by m2/v0.6.18
John Lomas T7AHMNDCT6
| URI | m2://inv/T7AHMNDCT6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Lomas (RAF officer), John Lomas (topic). Also Wikidata Q84590783
History
- 2026-11-02: add by m2/dev
T7AHXACD2H T7AHXACD2H
| URI | m2://inv/T7AHXACD2H |
|---|---|
| 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.14236#B6R5 (statement). In XEQD21EBTT/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
2-EPT probability density function T7B91ZJ9GN
| URI | m2://inv/T7B91ZJ9GN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-EPT probability density function, 2-EPT probability density function (definition). Also Wikidata Q17146826
History
- 2026-11-02: add by m2/dev
Properties T7BAYZNC49
| URI | m2://inv/T7BAYZNC49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helly metric#S9MB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jean-Éric Pin T7BCQSD3E1
| URI | m2://inv/T7BCQSD3E1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Éric Pin, Jean-Éric Pin (topic). Also Wikidata Q29067175
History
- 2026-11-02: add by m2/dev
Examples T7BJ9721JS
| URI | m2://inv/T7BJ9721JS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (order theory)#SDCQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Golyhedron T7BN8YNYAE
| URI | m2://inv/T7BN8YNYAE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golygon#NL8N, Golyhedron (unknown)
History
- 2026-11-02: add by m2/dev
Solid geometry T7BQ8DXQPV
| URI | m2://inv/T7BQ8DXQPV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of shapes#V6ZE, Solid geometry (topic)
History
- 2026-11-02: add by m2/dev
Log-linear analysis T7C0GW3Y19
| URI | m2://inv/T7C0GW3Y19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V7GY, Log-linear analysis (definition)
History
- 2026-11-02: add by m2/dev
T7C4K5BGHK T7C4K5BGHK
| URI | m2://inv/T7C4K5BGHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.00312#1EMW (statement). In 41NFABHFXH/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
T7C80PRDBT T7C80PRDBT
| URI | m2://inv/T7C80PRDBT |
|---|---|
| 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.08583#05D4 (statement). In 5EKTECQ2P1/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
T7C85GJPZG T7C85GJPZG
| URI | m2://inv/T7C85GJPZG |
|---|---|
| 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 2609.31278#YA9R (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
T7C9CJYW00 T7C9CJYW00
| URI | m2://inv/T7C9CJYW00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#DVT4 (statement). In R03K2N7FRF/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
T7CD4FP03N T7CD4FP03N
| URI | m2://inv/T7CD4FP03N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/standard-models.tex#prop:standard-domain (statement). In PKGMM3P5QY, prop, section 49.4
History
- 2026-11-01: add by m2/v0.6.13
T7CFFYX7MP T7CFFYX7MP
| URI | m2://inv/T7CFFYX7MP |
|---|---|
| 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.35682#7U6P (statement). In 7XM8WXVBWK/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Tobler's hiking function T7CHYBMNKE
| URI | m2://inv/T7CHYBMNKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tobler's hiking function, Tobler's hiking function (definition). Also Wikidata Q17085977
History
- 2026-11-02: add by m2/dev
T7CQ5MW57B T7CQ5MW57B
| URI | m2://inv/T7CQ5MW57B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16180#CIJ4 (statement). In FCFD59D3T6/e1, lemma B.4
History
- 2026-10-28: add by m2/v0.4.2
ISW effect T7CTHBJN7W
| URI | m2://inv/T7CTHBJN7W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sachs–Wolfe effect#OLWH, ISW effect (unknown)
History
- 2026-11-02: add by m2/dev
Recurrent tensor T7CY1ZF9BG
| URI | m2://inv/T7CY1ZF9BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent tensor, Recurrent tensor (definition). Also Wikidata Q2142454
History
- 2026-11-02: add by m2/dev
necessary condition T7D6Y2YT54
| URI | m2://inv/T7D6Y2YT54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#35JT, necessary condition (definition)
History
- 2026-11-02: add by m2/dev
Algebraic properties T7E2G39MPF
| URI | m2://inv/T7E2G39MPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franklin graph#O0QL, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
T7E3K51N6P T7E3K51N6P
| URI | m2://inv/T7E3K51N6P |
|---|---|
| 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.16883#CRRK (statement). In TYS9N30M63/e1, lemma A.9
History
- 2026-10-28: add by m2/v0.4.2
T7EFSMEYYV T7EFSMEYYV
| URI | m2://inv/T7EFSMEYYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05486#61N4 (statement). In 5Z46AK2XTC/e1, lemma B.5
History
- 2026-10-29: add by m2/v0.4.10
T7EFZA2RTZ T7EFZA2RTZ
| URI | m2://inv/T7EFZA2RTZ |
|---|---|
| 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.20119#QTIF (definition)
History
- 2026-11-02: add by m2/v0.6.18
Spatial upper semicontinuity T7EGBR3AJN
| URI | m2://inv/T7EGBR3AJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#2KIZ, Spatial upper semicontinuity (statement). In KM3Q791JY0/e1, lemma 2.30
History
- 2026-10-27: add by m2/v0.4.2
Compound of eight triangular prisms T7EKJ5R04J
| URI | m2://inv/T7EKJ5R04J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of eight triangular prisms, Compound of eight triangular prisms (definition). Also Wikidata Q5156850
History
- 2026-11-02: add by m2/dev
T7F6P3GRXW T7F6P3GRXW
| URI | m2://inv/T7F6P3GRXW |
|---|---|
| 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 2609.20718#80GQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Herbert Grötzsch T7F91J0Q2E
| URI | m2://inv/T7F91J0Q2E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Grötzsch, Herbert Grötzsch (topic). Also Wikidata Q98300
History
- 2026-11-02: add by m2/dev
T7FA6SANAT T7FA6SANAT
| URI | m2://inv/T7FA6SANAT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#U7AX (definition). In RPC7VG3KHQ/e1, definition 9.1
History
- 2026-10-30: add by m2/v0.4.12
Dynamic rectangle T7FHJYFBK2
| URI | m2://inv/T7FHJYFBK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic rectangle, Dynamic rectangle (definition). Also Wikidata Q5319007
History
- 2026-11-02: add by m2/dev
NK model T7FKJ5FSHF
| URI | m2://inv/T7FKJ5FSHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NK model, NK model (definition). Also Wikidata Q6954615
History
- 2026-11-02: add by m2/dev
T7FRJ6PTMK T7FRJ6PTMK
| URI | m2://inv/T7FRJ6PTMK |
|---|---|
| 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#GPX2 (statement). In MWGXPXF3BW/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Recursion with the axiom of replacement T7FRK8KEDG
| URI | m2://inv/T7FRK8KEDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfinite recursion theorem#JNPZ, Recursion with the axiom of replacement (statement)
History
- 2026-11-02: add by m2/dev
AVX-10 T7FTV6ZRB2
| URI | m2://inv/T7FTV6ZRB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Vector Extensions#K6LY, AVX-10 (unknown)
History
- 2026-11-02: add by m2/dev
Characterization T7G0PJT138
| URI | m2://inv/T7G0PJT138 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leech lattice#USLZ, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Cauchy interlacing theorem T7G1J6KM6G
| URI | m2://inv/T7G1J6KM6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#BZU1, Cauchy interlacing theorem (statement). In 2HSB99DW4M/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.6
arithmetic zeta function T7G2SYEFMW
| URI | m2://inv/T7G2SYEFMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4791135, arithmetic zeta function (unknown). Also nLab arithmetic zeta function
- wikipedia: Wikipedia Arithmetic zeta function, Arithmetic zeta function (definition). Also Wikidata Q4791135
History
- 2026-10-26: add by m2/dev
T7GA9BY6T4 T7GA9BY6T4
| URI | m2://inv/T7GA9BY6T4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#XKXW (statement). In E7W2HDNEKJ/e1, theorem 5.38
History
- 2026-10-30: add by m2/v0.4.12
T7GB4MTRTT T7GB4MTRTT
| URI | m2://inv/T7GB4MTRTT |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#Z07N (proof). In 9Z8RSQ36JC/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
T7GGTRD4TK T7GGTRD4TK
| URI | m2://inv/T7GGTRD4TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#8LJF (statement). In 13GSWBXPCM/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Tracking bound T7GNMH9Y9J
| URI | m2://inv/T7GNMH9Y9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35631#6RNT, Tracking bound (statement). In 9NCX0S6MTP/e1, lemma D.6
History
- 2026-10-30: add by m2/v0.4.12
T7GQA5E5M9 T7GQA5E5M9
| URI | m2://inv/T7GQA5E5M9 |
|---|---|
| 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.39491#SXPJ (statement). In 9R00V9TGVT/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
T7GTWT95TA T7GTWT95TA
| URI | m2://inv/T7GTWT95TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#PJQ0 (statement). In SN6F0MPPVF/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Tree--dual-tree inequality T7H34M0ES1
| URI | m2://inv/T7H34M0ES1 |
|---|---|
| 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#Y1IL, Tree--dual-tree inequality (statement). In DR7BK4CQ0V/e1, lemma 3.19
History
- 2026-10-28: add by m2/v0.4.3
Agrawal's conjecture T7H5YTMJAP
| URI | m2://inv/T7H5YTMJAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agrawal's conjecture, Agrawal's conjecture (statement). Also Wikidata Q4693778
History
- 2026-11-02: add by m2/dev
Works by Francis Bacon T7H67XHY0F
| URI | m2://inv/T7H67XHY0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Works by Francis Bacon, Works by Francis Bacon (topic). Also Wikidata Q8035093
History
- 2026-11-02: add by m2/dev
T7H8P3H7SC T7H8P3H7SC
| URI | m2://inv/T7H8P3H7SC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#HV6W (statement). In Q4R7J8JE3F/e1, corollary 2.27
History
- 2026-10-27: add by m2/v0.4.2
A compatible Gaussian lift T7HEHGWBX1
| URI | m2://inv/T7HEHGWBX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2501.09848#6URG, A compatible Gaussian lift (statement). In HF7YNMW39N/e1, proposition 12.2
History
- 2026-10-27: add by m2/v0.4.0
Full radical filtration T7HQ1AV6AD
| URI | m2://inv/T7HQ1AV6AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39262#76N0, Full radical filtration (statement). In XA2NE2Z06S/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
T7HTJ6VKCT T7HTJ6VKCT
| URI | m2://inv/T7HTJ6VKCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17565#81IL (statement). In C422901XCN/e1, fact 3.6
History
- 2026-10-28: add by m2/v0.4.2
Enumeration T7HVBJKMJY
| URI | m2://inv/T7HVBJKMJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytree#LW87, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Weak convergence of locally finite Borel measures T7HVRA8SMS
| URI | m2://inv/T7HVRA8SMS |
|---|---|
| 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.17519#TFNH, Weak convergence of locally finite Borel measures (statement). In H2DNTQ5MKV/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
T7HY91586J T7HY91586J
| URI | m2://inv/T7HY91586J |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#SPSU (unknown). In 32ZZ1DETCX/e1, unknown 3.6
History
- 2026-10-27: add by m2/v0.3.5
T7J1MBMGSY T7J1MBMGSY
| URI | m2://inv/T7J1MBMGSY |
|---|---|
| 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.08288#XGD5 (statement). In CHVWYJM7RM/e1, lemma B.6
History
- 2026-10-29: add by m2/v0.4.10
T7J3TF2XDX T7J3TF2XDX
| URI | m2://inv/T7J3TF2XDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#M8V1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T7J8CMDR97 T7J8CMDR97
| URI | m2://inv/T7J8CMDR97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06200#9H84 (statement). In B5XCHJKX7Q/e1, corollary 2.11
History
- 2026-10-29: add by m2/v0.4.10
Examples T7JF1010DJ
| URI | m2://inv/T7JF1010DJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collapsing manifold#77QU, Examples (example)
History
- 2026-11-02: add by m2/dev
Fillrate T7JGXXBTK0
| URI | m2://inv/T7JGXXBTK0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#5UBE, Fillrate (unknown)
History
- 2026-11-02: add by m2/dev
T7JN498BE2 T7JN498BE2
| URI | m2://inv/T7JN498BE2 |
|---|---|
| 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.04172#4FQC (statement). In 9Q1D1NMTTS/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
T7JPG40V09 T7JPG40V09
| URI | m2://inv/T7JPG40V09 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#LP0P (example)
History
- 2026-11-01: add by m2/v0.6.15
T7JRN4Y1R9 T7JRN4Y1R9
| URI | m2://inv/T7JRN4Y1R9 |
|---|---|
| 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.20409#SKKC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Richard Kaner T7JTC87F32
| URI | m2://inv/T7JTC87F32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#T03K, Richard Kaner (unknown)
History
- 2026-11-02: add by m2/dev
T7K8GZE8FK T7K8GZE8FK
| URI | m2://inv/T7K8GZE8FK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#Z4YF (statement). In FCMMB2EVAP/e1, proposition 2.27
History
- 2026-10-27: add by m2/v0.4.2
T7KFQ2CZ7R T7KFQ2CZ7R
| URI | m2://inv/T7KFQ2CZ7R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
Voderberg tiling T7KWMMX4BF
| URI | m2://inv/T7KWMMX4BF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voderberg tiling, Voderberg tiling (object). Also Wikidata Q20811299
History
- 2026-11-02: add by m2/dev
Descriptive fallacy T7M4MBCYXJ
| URI | m2://inv/T7M4MBCYXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive fallacy, Descriptive fallacy (definition). Also Wikidata Q5263802
History
- 2026-11-02: add by m2/dev
Theorem T7M8XRGB5A
| URI | m2://inv/T7M8XRGB5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of normal C*-algebras#YXJC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
T7MG2FEKED T7MG2FEKED
| URI | m2://inv/T7MG2FEKED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#11KH (statement). In TX0H26X4VX/e1, proposition 7.6
History
- 2026-10-29: add by m2/v0.4.12
Signature and Sylvester's law of inertia T7MM5N0V7Z
| URI | m2://inv/T7MM5N0V7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric bilinear form#7G4T, Signature and Sylvester's law of inertia (statement)
History
- 2026-11-02: add by m2/dev
Michael Duff T7MNFFPVFK
| URI | m2://inv/T7MNFFPVFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#N1SV, Michael Duff (unknown)
History
- 2026-11-02: add by m2/dev
Khattree, Ravindra T7N4DRSPXZ
| URI | m2://inv/T7N4DRSPXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VU6M, Khattree, Ravindra (topic)
History
- 2026-11-02: add by m2/dev
Main result, informal T7N57DMTXV
| URI | m2://inv/T7N57DMTXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#28S7, Main result, informal (statement)
History
- 2026-11-01: add by m2/v0.6.15
♯SAT T7N5ZKF0F6
| URI | m2://inv/T7N5ZKF0F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ♯SAT, ♯SAT (definition). Also Wikidata Q7490283
History
- 2026-11-02: add by m2/dev
René Thom T7N9ESH22J
| URI | m2://inv/T7N9ESH22J |
|---|---|
| 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 Q164428, René Thom (unknown). Also nLab René Thom
- wikipedia: Wikipedia René Thom, René Thom (topic). Also Wikidata Q164428
History
- 2026-10-26: add by m2/dev
\tc{Reach\_K T7NBF414Y9
| URI | m2://inv/T7NBF414Y9 |
|---|---|
| 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.36279#8AE4, \tc{Reach\_K (statement). In HX1QA0MJYV/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
power series T7NDCA12WD
| URI | m2://inv/T7NDCA12WD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Power series 0MZB06ST2B |
Mentions
- wikidata: Wikidata Q206925, power series (unknown). Also EoM Power_series, MathWorld PowerSeries, nLab power series
- wikipedia: Wikipedia Power series, Power series (definition). Also Wikidata Q206925
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
asymptotic expansion T7NJ0H0PMQ
| URI | m2://inv/T7NJ0H0PMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Asymptotic expansion BJQTEPEZ9G |
Mentions
- wikidata: Wikidata Q752726, asymptotic expansion (unknown). Also MathWorld AsymptoticSeries, nLab asymptotic expansion
- wikipedia: Wikipedia Asymptotic expansion, Asymptotic expansion (definition). Also Wikidata Q752726
History
- 2026-10-26: add by m2/dev
Carlo Miranda T7NJH7V1QP
| URI | m2://inv/T7NJH7V1QP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlo Miranda, Carlo Miranda (topic). Also Wikidata Q470578
History
- 2026-11-02: add by m2/dev
Further examples T7NR9BTF8G
| URI | m2://inv/T7NR9BTF8G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel curve#UXC4, Further examples (example)
History
- 2026-11-02: add by m2/dev
Quaternionic vector space T7NYVFTYHZ
| URI | m2://inv/T7NYVFTYHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic vector space, Quaternionic vector space (definition). Also Wikidata Q7269568
History
- 2026-11-02: add by m2/dev
Mcrypt T7P02Y1C23
| URI | m2://inv/T7P02Y1C23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mcrypt, Mcrypt (definition). Also Wikidata Q6391653
History
- 2026-11-02: add by m2/dev
Scale invariance T7P3S8MP2P
| URI | m2://inv/T7P3S8MP2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#TLQZ, Scale invariance (unknown)
History
- 2026-11-02: add by m2/dev
Jessica Utts T7PF0KEY6F
| URI | m2://inv/T7PF0KEY6F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jessica Utts, Jessica Utts (topic). Also Wikidata Q6187532
History
- 2026-11-02: add by m2/dev
Consequences of integrality T7PNJHTN7M
| URI | m2://inv/T7PNJHTN7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02585#M5AP, Consequences of integrality (statement). In V0KBBY82SY/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
T7PWBMTV6N T7PWBMTV6N
| URI | m2://inv/T7PWBMTV6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11671#RUOF (statement). In V06H8BAGEH/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.3
T7Q0CB119X T7Q0CB119X
| URI | m2://inv/T7Q0CB119X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29477#QXVQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
symmetry, of equality T7QA7X2ACT
| URI | m2://inv/T7QA7X2ACT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/symmetry-of-equality, symmetry, of equality (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Covariance T7QK176WXP
| URI | m2://inv/T7QK176WXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6EPD, Covariance (definition)
History
- 2026-11-02: add by m2/dev
T7QNNHW415 T7QNNHW415
| URI | m2://inv/T7QNNHW415 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#ZSFB (statement). In G97FA99ZEF/e1, fact 3.6
History
- 2026-10-30: add by m2/v0.4.12
Excess kurtosis T7QTGJ0K85
| URI | m2://inv/T7QTGJ0K85 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurtosis#LUEC, Excess kurtosis (unknown)
History
- 2026-11-02: add by m2/dev
Rodrigues' formula and other explicit formulas T7QWPPFF25
| URI | m2://inv/T7QWPPFF25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre polynomials#E9KR, Rodrigues' formula and other explicit formulas (statement)
History
- 2026-11-02: add by m2/dev
Topological Hochschild homology T7QYX18142
| URI | m2://inv/T7QYX18142 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological Hochschild homology, Topological Hochschild homology (definition). Also Wikidata Q105038900
History
- 2026-11-02: add by m2/dev
T7QZ6DZCAY T7QZ6DZCAY
| URI | m2://inv/T7QZ6DZCAY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#D851 (definition). In AYG8HYGW6V/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Gibbs–Duhem equation T7R6CN48ZH
| URI | m2://inv/T7R6CN48ZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs–Duhem equation, Gibbs–Duhem equation (definition). Also Wikidata Q899155
History
- 2026-11-02: add by m2/dev
Trace-free Ricci tensor T7RCEZ7KCK
| URI | m2://inv/T7RCEZ7KCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci curvature#JWHH, Trace-free Ricci tensor (unknown)
History
- 2026-11-02: add by m2/dev
Analysis of flows T7RDGKTJM2
| URI | m2://inv/T7RDGKTJM2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#EKFL, Analysis of flows (unknown)
History
- 2026-11-02: add by m2/dev
Esther Szekeres T7RDWPERAF
| URI | m2://inv/T7RDWPERAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BYQD, Esther Szekeres (topic)
History
- 2026-11-02: add by m2/dev
An integrated Bessel term T7REGH7PJA
| URI | m2://inv/T7REGH7PJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02531#O76L, An integrated Bessel term (statement). In 44EQ0MZE8G/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Properties T7RFH37X4B
| URI | m2://inv/T7RFH37X4B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy flight#K7YI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Riemann mapping theorem T7RPGDT7XR
| URI | m2://inv/T7RPGDT7XR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric function theory#4Z19, Riemann mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
Vanishing optimal type-II error probability at finite total time T7RTF2083B
| URI | m2://inv/T7RTF2083B |
|---|---|
| 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.03629#JHRT, Vanishing optimal type-II error probability at finite total time (statement). In T6W0HCPXFN/e1, theorem A3
History
- 2026-10-29: add by m2/v0.4.12
T7S41YHF0V T7S41YHF0V
| URI | m2://inv/T7S41YHF0V |
|---|---|
| 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.38436#V1TM (statement). In 702AF3E4AF/e1, theorem 7.12
History
- 2026-10-30: add by m2/v0.4.12
\bf Partitions with near-optimal modularity are close to the planted T7SGAXK504
| URI | m2://inv/T7SGAXK504 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#91RD, \bf Partitions with near-optimal modularity are close to the planted (statement). In Y23VR7N90M/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Tonelli–Shanks algorithm T7SGCR53VD
| URI | m2://inv/T7SGCR53VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tonelli–Shanks algorithm, Tonelli–Shanks algorithm (definition). Also Wikidata Q17104164
History
- 2026-11-02: add by m2/dev
idempotent monad T7SH61FWZT
| URI | m2://inv/T7SH61FWZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141051444, idempotent monad (unknown). Also nLab idempotent monad
History
- 2026-10-26: add by m2/dev
Unisolvence for the Poisson Operator T7SXVRS1DQ
| URI | m2://inv/T7SXVRS1DQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#S3MP, Unisolvence for the Poisson Operator (statement). In Z6WA2R0J50/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
Weber problem T7TJSF2NG1
| URI | m2://inv/T7TJSF2NG1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weber problem, Weber problem (problem). Also Wikidata Q14325966
History
- 2026-11-02: add by m2/dev
Eli Schechtman T7TZ336FEG
| URI | m2://inv/T7TZ336FEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#OY4Y, Eli Schechtman (unknown)
History
- 2026-11-02: add by m2/dev
½ T7V391H2WS
| URI | m2://inv/T7V391H2WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2114394, ½ (unknown). Also MathWorld Half
- wikipedia: Wikipedia One half, One half (definition). Also Wikidata Q2114394
History
- 2026-10-26: add by m2/dev
The primitive torus T7V3CC7FVJ
| URI | m2://inv/T7V3CC7FVJ |
|---|---|
| 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.20230#P3LT, The primitive torus (statement)
History
- 2026-11-02: add by m2/v0.6.18
Regular open set T7V3ZCZDYP
| URI | m2://inv/T7V3ZCZDYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular open set, Regular open set (definition). Also Wikidata Q110745661
History
- 2026-11-02: add by m2/dev
Sparse arithmetic work T7V5CRS8KP
| URI | m2://inv/T7V5CRS8KP |
|---|---|
| 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.32558#S38R, Sparse arithmetic work (statement). In SGQS629QNK/e1, theorem 4.3
History
- 2026-10-31: add by m2/v0.5.6
Timely availability of data T7V7ZFCAVZ
| URI | m2://inv/T7V7ZFCAVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28791#HHWX, Timely availability of data (statement)
History
- 2026-11-01: add by m2/v0.6.15
T7VK4GHP7V T7VK4GHP7V
| URI | m2://inv/T7VK4GHP7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.14629#UV7V (statement). In AX7TZJ5PP9/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
T7VMX864RN T7VMX864RN
| URI | m2://inv/T7VMX864RN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#9NA0 (statement). In 7XV6T4N79V/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Sharp exponential-sum bounds T7VN6MAFCX
| URI | m2://inv/T7VN6MAFCX |
|---|---|
| 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#SL71, Sharp exponential-sum bounds (statement). In 7JATJ4VG9G/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Nielsen-Schreier, c.f. T7VQG3Y168
| URI | m2://inv/T7VQG3Y168 |
|---|---|
| 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.06108#X3QM, Nielsen-Schreier, c.f. (statement). In D3WKY1PW64/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Local structure of the cone T7VSBMNRWE
| URI | m2://inv/T7VSBMNRWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#NINE, Local structure of the cone (statement). In YCRZC9SDCE/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Square Isomorphism 1 T7VVX96KYJ
| URI | m2://inv/T7VVX96KYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#GROZ, Square Isomorphism 1 (statement). In 46370P3Y9S/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.4.2
Ennio De Giorgi T7VXGGBX36
| URI | m2://inv/T7VXGGBX36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3Q2F, Ennio De Giorgi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M0P3, Ennio De Giorgi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OMHO, Ennio De Giorgi (topic)
History
- 2026-11-02: add by m2/dev
Initial algebra T7VXHNJ2AX
| URI | m2://inv/T7VXHNJ2AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial algebra, Initial algebra (definition). Also Wikidata Q6034125
History
- 2026-11-02: add by m2/dev
Common-coordinate families T7VZCYSHKD
| URI | m2://inv/T7VZCYSHKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#A7WZ, Common-coordinate families (statement). In 9YAE8FNQST/e1, corollary 11.8
History
- 2026-10-30: add by m2/v0.4.12
Optical signal-to-noise ratio T7WATFRJ0T
| URI | m2://inv/T7WATFRJ0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal-to-noise ratio#8MMT, Optical signal-to-noise ratio (unknown)
History
- 2026-11-02: add by m2/dev
T7WAZY48R3 T7WAZY48R3
| URI | m2://inv/T7WAZY48R3 |
|---|---|
| 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.28898#Q956 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Subcritical Sobolev embedding T7WMWSVR86
| URI | m2://inv/T7WMWSVR86 |
|---|---|
| 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.09001#4N46, Subcritical Sobolev embedding (statement). In HJC1JJZRSH/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Distance geometry T7WY05CJV7
| URI | m2://inv/T7WY05CJV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AZA8, Distance geometry (definition)
History
- 2026-11-02: add by m2/dev
P-Laplacian T7X5M17DKR
| URI | m2://inv/T7X5M17DKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-Laplacian, P-Laplacian (definition). Also Wikidata Q7116898
History
- 2026-11-02: add by m2/dev
Affine geometry T7X8546VTQ
| URI | m2://inv/T7X8546VTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0BJL, Affine geometry (definition)
History
- 2026-11-02: add by m2/dev
Change of distribution T7XCQ47YSB
| URI | m2://inv/T7XCQ47YSB |
|---|---|
| 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.39837#D9PC, Change of distribution (statement). In MDQXTBEK0F/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
T7XDBPYAXE T7XDBPYAXE
| URI | m2://inv/T7XDBPYAXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#STPL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Local inverse risk and conditional approximate-ERM recovery T7XFPBCR90
| URI | m2://inv/T7XFPBCR90 |
|---|---|
| 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.33472#LH0J, Local inverse risk and conditional approximate-ERM recovery (statement). In WBQQBZ4FCJ/e1, corollary E.1
History
- 2026-10-30: add by m2/v0.4.12
T7XFR9PSA6 T7XFR9PSA6
| URI | m2://inv/T7XFR9PSA6 |
|---|---|
| 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 2408.13548#UA1I (statement). In EQF1ZQ5K1S/e1, corollary 3.16
History
- 2026-10-27: add by m2/v0.4.0
T7XK5QMK2N T7XK5QMK2N
| URI | m2://inv/T7XK5QMK2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#VRF8 (statement). In DPJ15KW23C/e1, lemma 9.10
History
- 2026-10-30: add by m2/v0.4.12
T7XTKKCADS T7XTKKCADS
| URI | m2://inv/T7XTKKCADS |
|---|---|
| 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 2112.14455#6EYL (definition). In VDE5R8HBS1/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
T7XZ7RGD94 T7XZ7RGD94
| URI | m2://inv/T7XZ7RGD94 |
|---|---|
| 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 2406.07116#ADP0 (definition). In 5B030CB2RK/e1, definition 11.3
History
- 2026-10-27: add by m2/v0.3.6
Definition T7Y1P3YNTF
| URI | m2://inv/T7Y1P3YNTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized dihedral group#PO6Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Regular complex polygon T7Y6G37831
| URI | m2://inv/T7Y6G37831 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular complex polygon, Regular complex polygon (definition). Also Wikidata Q86762015
History
- 2026-11-02: add by m2/dev
Examples T7YAGV66Q0
| URI | m2://inv/T7YAGV66Q0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric measure theory#3AJK, Examples (example)
History
- 2026-11-02: add by m2/dev
Bounding the search cost for dependent queries T7YMY4NASA
| URI | m2://inv/T7YMY4NASA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#6KM1, Bounding the search cost for dependent queries (statement). In 9QDRMZX8EY/e1, lemma 20
History
- 2026-10-30: add by m2/v0.4.12
T7YQ2RD46A T7YQ2RD46A
| URI | m2://inv/T7YQ2RD46A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#80OQ (statement). In 9DQKY7KGE8/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Mathematically Correct T7YSY242RM
| URI | m2://inv/T7YSY242RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematically Correct, Mathematically Correct (definition). Also Wikidata Q6786875
History
- 2026-11-02: add by m2/dev
T7Z3GYZ1MT T7Z3GYZ1MT
| URI | m2://inv/T7Z3GYZ1MT |
|---|---|
| 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 2310.02073#QIGX (statement). In 3PNCRG6J62/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Inference; Corollary 1 T7Z8PRMBKX
| URI | m2://inv/T7Z8PRMBKX |
|---|---|
| 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 2102.11076#M51C, Inference; Corollary 1 (statement). In T9HZXHTQBJ/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.6
Prime triplet T7ZB0B3GEX
| URI | m2://inv/T7ZB0B3GEX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#9955, Prime triplet (conjecture)
History
- 2026-11-02: add by m2/dev
parafactorial T7ZDE6738N
| URI | m2://inv/T7ZDE6738N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#9TOS, parafactorial (definition)
History
- 2026-11-02: add by m2/dev
Euler's formula T7ZM4RYPNK
| URI | m2://inv/T7ZM4RYPNK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3/euler-s-formula, Euler's formula (concept). In Y91XFCEVHQ, index, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
T7ZMS8N3FA T7ZMS8N3FA
| URI | m2://inv/T7ZMS8N3FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#9PBZ (statement). In QQFXT31CA5/e1, theorem 8.10
History
- 2026-10-28: add by m2/v0.4.3
T7ZP51YWH8 T7ZP51YWH8
| URI | m2://inv/T7ZP51YWH8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#A0XT (definition). In G02N9D40B9/e1, definition 2.3.2
History
- 2026-10-29: add by m2/v0.4.10
Kirchhoff's theorem for multigraphs T7ZSPAQCV3
| URI | m2://inv/T7ZSPAQCV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's theorem#D0O8, Kirchhoff's theorem for multigraphs (statement)
History
- 2026-11-02: add by m2/dev
T7ZVN7CP42 T7ZVN7CP42
| URI | m2://inv/T7ZVN7CP42 |
|---|---|
| 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#PCBB (definition). In D424GB5MAW/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10