Inventory rows TQ
The cards of the rows of the inventory whose ids start with TQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
TQ00RB0B8X TQ00RB0B8X
| URI | m2://inv/TQ00RB0B8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#IDXA (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
TQ03VV7Y83 TQ03VV7Y83
| URI | m2://inv/TQ03VV7Y83 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#JMNF (problem)
History
- 2026-11-01: add by m2/v0.6.15
CZF TQ04N3Y88D
| URI | m2://inv/TQ04N3Y88D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive set theory#JLCK, CZF (unknown)
History
- 2026-11-02: add by m2/dev
Weil cohomology TQ0APZKTQE
| URI | m2://inv/TQ0APZKTQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#YIYK, Weil cohomology (topic)
History
- 2026-11-02: add by m2/dev
Ramsey–Cass–Koopmans model TQ0CHY0PAX
| URI | m2://inv/TQ0CHY0PAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey–Cass–Koopmans model, Ramsey–Cass–Koopmans model (definition). Also Wikidata Q3137640
History
- 2026-11-02: add by m2/dev
Special cases TQ0D6A20VP
| URI | m2://inv/TQ0D6A20VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square number#PMHJ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
TQ0PCC062G TQ0PCC062G
| URI | m2://inv/TQ0PCC062G |
|---|---|
| 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.24412#CB16 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TQ0X20PCEY TQ0X20PCEY
| URI | m2://inv/TQ0X20PCEY |
|---|---|
| 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.20366#R048 (statement)
History
- 2026-11-02: add by m2/v0.6.18
variable TQ0YP9VFA6
| URI | m2://inv/TQ0YP9VFA6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.4/variable, variable (concept). In N54F33XE07, index, section A.4
History
- 2026-11-01: add by m2/v0.6.13
Landau–Mignotte bound TQ0ZSFJ3SR
| URI | m2://inv/TQ0ZSFJ3SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau–Mignotte bound, Landau–Mignotte bound (definition). Also Wikidata Q118905621
History
- 2026-11-02: add by m2/dev
Twisted K-theory TQ13GXJTDR
| URI | m2://inv/TQ13GXJTDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#2JGD, Twisted K-theory (definition)
History
- 2026-11-02: add by m2/dev
edge-transitive graph TQ19E3EPB2
| URI | m2://inv/TQ19E3EPB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4391289, edge-transitive graph (unknown). Also MathWorld Edge-TransitiveGraph
- wikipedia: Wikipedia Edge-transitive graph, Edge-transitive graph (definition). Also Wikidata Q4391289
History
- 2026-10-26: add by m2/dev
Symmetries TQ19S474RF
| URI | m2://inv/TQ19S474RF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desargues configuration#E1CT, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Kaps-Rentrop methods TQ1BSES8RT
| URI | m2://inv/TQ1BSES8RT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosenbrock methods#D6F4, Kaps-Rentrop methods (unknown)
History
- 2026-11-02: add by m2/dev
Stacking and clearing TQ1EPEQCYH
| URI | m2://inv/TQ1EPEQCYH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#ABYG, Stacking and clearing (definition). In 628KM8869P/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Explicit values TQ1G4A0MMK
| URI | m2://inv/TQ1G4A0MMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#UWYN, Explicit values (statement). In 4W7ARR1DAR/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
TQ1HD58H9F TQ1HD58H9F
| URI | m2://inv/TQ1HD58H9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#NVXZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hamiltonian constraint TQ1Q5WYMMV
| URI | m2://inv/TQ1Q5WYMMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#IAT4, Hamiltonian constraint (definition)
History
- 2026-11-02: add by m2/dev
Shape operator TQ1S5K85NW
| URI | m2://inv/TQ1S5K85NW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential geometry of surfaces#X8WK, Shape operator (unknown)
History
- 2026-11-02: add by m2/dev
Renegar TQ1WMMMSV0
| URI | m2://inv/TQ1WMMMSV0 |
|---|---|
| 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.20422#6AP4, Renegar (statement). In HCH89W5Y2C/e1, lemma 15
History
- 2026-10-27: add by m2/v0.4.2
TQ1WN2XM98 TQ1WN2XM98
| URI | m2://inv/TQ1WN2XM98 |
|---|---|
| Kind | example |
| 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.07608#TXSJ (example). In X8FQD4TEVG/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
A error TQ24DCWQDW
| URI | m2://inv/TQ24DCWQDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type I and type II errors#WPXO, A error (unknown)
History
- 2026-11-02: add by m2/dev
Kernel of the linearised operator TQ29TH7P4N
| URI | m2://inv/TQ29TH7P4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.19483#LQTY, Kernel of the linearised operator (statement). In M2PEDAF7AX/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Structure of the bordered kernel TQ2J2X4952
| URI | m2://inv/TQ2J2X4952 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#4Y9Z, Structure of the bordered kernel (statement)
History
- 2026-11-01: add by m2/v0.6.15
TQ2JB5BG4N TQ2JB5BG4N
| URI | m2://inv/TQ2JB5BG4N |
|---|---|
| Kind | example |
| 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.32176#JJ8S (example). In N9F5R2PV0E/e1, example 2.2
History
- 2026-10-31: add by m2/v0.5.6
TQ2NVW0SFH TQ2NVW0SFH
| URI | m2://inv/TQ2NVW0SFH |
|---|---|
| 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 1809.06512#UBL9 (statement). In RY2X22P6XW/e1, theorem 43
History
- 2026-10-27: add by m2/v0.3.5
TQ2X4DV7X5 TQ2X4DV7X5
| URI | m2://inv/TQ2X4DV7X5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#BCOW (statement). In 3N9E9T6AF5/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
TQ2ZY8CPJS TQ2ZY8CPJS
| URI | m2://inv/TQ2ZY8CPJS |
|---|---|
| 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 2207.05628#NAW2 (statement). In 9JPKTEWW4W/e1, theorem 3.21
History
- 2026-10-27: add by m2/v0.3.5
Properties of Büchi arithmetic TQ3BC8AYAX
| URI | m2://inv/TQ3BC8AYAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi arithmetic#JLZG, Properties of Büchi arithmetic (statement)
History
- 2026-11-02: add by m2/dev
Algorithms TQ3FC7EGMB
| URI | m2://inv/TQ3FC7EGMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine approximation#MRSK, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
TQ3FMXWWKX TQ3FMXWWKX
| URI | m2://inv/TQ3FMXWWKX |
|---|---|
| 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.20488#XYFT (statement)
History
- 2026-11-02: add by m2/v0.6.18
k-vertex-connected graph TQ3H4STQ80
| URI | m2://inv/TQ3H4STQ80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115621, k-vertex-connected graph (unknown). Also MathWorld k-ConnectedGraph
History
- 2026-10-26: add by m2/dev
TQ3JYA3HE2 TQ3JYA3HE2
| URI | m2://inv/TQ3JYA3HE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#48X8 (statement). In RK0ZMDJ23T/e1, lemma 1.3.13
History
- 2026-10-31: add by m2/v0.5.6
special TQ3MMJYKJA
| URI | m2://inv/TQ3MMJYKJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#EJZU, special (definition)
History
- 2026-11-02: add by m2/dev
Normalized form of the Hopf formula TQ3ZN09ZJE
| URI | m2://inv/TQ3ZN09ZJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#2BFP, Normalized form of the Hopf formula (statement). In KVYG6R7CGJ/e1, lemma 6.4
History
- 2026-10-31: add by m2/v0.5.6
topos TQ3ZSF6BVZ
| URI | m2://inv/TQ3ZSF6BVZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Topos 6837RS7N82 |
Mentions
- wikidata: Wikidata Q2143621, topos (concept). Also MathWorld Topos
- wikipedia: Wikipedia Topos, Topos (definition). Also Wikidata Q2143621
History
- 2026-10-26: add by m2/dev
TQ44BEXZWH TQ44BEXZWH
| URI | m2://inv/TQ44BEXZWH |
|---|---|
| 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.27617#FADX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Level TQ48QYN7F7
| URI | m2://inv/TQ48QYN7F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level (logarithmic quantity), Level (definition). Also Wikidata Q11349892
History
- 2026-11-02: add by m2/dev
TQ4JMPTD6D TQ4JMPTD6D
| URI | m2://inv/TQ4JMPTD6D |
|---|---|
| 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.12810#JMTN (statement). In DR35633CPN/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Henri Hogbe Nlend TQ4R3ET6G4
| URI | m2://inv/TQ4R3ET6G4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henri Hogbe Nlend, Henri Hogbe Nlend (topic). Also Wikidata Q2747148
History
- 2026-11-02: add by m2/dev
Goldbach's conjecture TQ4V2ZWVYX
| URI | m2://inv/TQ4V2ZWVYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau's problems#38FM, Goldbach's conjecture (statement)
History
- 2026-11-02: add by m2/dev
PhiBE coefficient approximation TQ4Y1ACYCM
| URI | m2://inv/TQ4Y1ACYCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32026#5D5M, PhiBE coefficient approximation (statement). In KM6PX54YFZ/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
Bretherton equation TQ4YKN64TD
| URI | m2://inv/TQ4YKN64TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bretherton equation, Bretherton equation (definition). Also Wikidata Q15838896
History
- 2026-11-02: add by m2/dev
TQ53WVW8ZK TQ53WVW8ZK
| URI | m2://inv/TQ53WVW8ZK |
|---|---|
| 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 2609.26776#AVHD (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cartesian closed TQ5ANXJ5FG
| URI | m2://inv/TQ5ANXJ5FG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > Cartesian closed, Cartesian closed (unknown). Also Mathlib CategoryTheory.MonoidalClosed
History
- 2026-10-26: add by m2/dev
Definition TQ5F5M1ADQ
| URI | m2://inv/TQ5F5M1ADQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinc group#JY72, Definition (definition)
History
- 2026-11-02: add by m2/dev
TQ5NK5HZYA TQ5NK5HZYA
| URI | m2://inv/TQ5NK5HZYA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#XQTP (definition). In ESDKTYDHC8/e1, definition 28
History
- 2026-10-29: add by m2/v0.4.12
Hutter search TQ5S978BX2
| URI | m2://inv/TQ5S978BX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galactic algorithm#BH1A, Hutter search (unknown)
History
- 2026-11-02: add by m2/dev
Ninety Mile Beach TQ5T1679R0
| URI | m2://inv/TQ5T1679R0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0RZ2, Ninety Mile Beach (unknown)
History
- 2026-11-02: add by m2/dev
TQ5VT73WKA TQ5VT73WKA
| URI | m2://inv/TQ5VT73WKA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#prob:parabola (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
TQ68BZJFYT TQ68BZJFYT
| URI | m2://inv/TQ68BZJFYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#NI31 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A neighborhood from constructible compactness TQ6CZM53T7
| URI | m2://inv/TQ6CZM53T7 |
|---|---|
| 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 2609.33808#CLSB, A neighborhood from constructible compactness (statement). In 328KGRNN0W/e1, lemma 8.4
History
- 2026-10-30: add by m2/v0.4.12
Mary W. Gray TQ6G3Q9A5N
| URI | m2://inv/TQ6G3Q9A5N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary W. Gray, Mary W. Gray (topic). Also Wikidata Q3296183
History
- 2026-11-02: add by m2/dev
TQ6R1N2H20 TQ6R1N2H20
| URI | m2://inv/TQ6R1N2H20 |
|---|---|
| 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.03337#XCCU (statement). In VH7EZDGTNA/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Probability stability of linear regression TQ6S605584
| URI | m2://inv/TQ6S605584 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20772#QGX3, Probability stability of linear regression (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition TQ6THRYJPQ
| URI | m2://inv/TQ6THRYJPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive analytics#O5BR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example TQ6V7BTSJ1
| URI | m2://inv/TQ6V7BTSJ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly chained diagonally dominant matrix#2VIA, Example (example)
History
- 2026-11-02: add by m2/dev
Anscombe transform TQ71543JD5
| URI | m2://inv/TQ71543JD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M97N, Anscombe transform (definition)
History
- 2026-11-02: add by m2/dev
Homotopy excision theorem TQ78QGRHKP
| URI | m2://inv/TQ78QGRHKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy excision theorem, Homotopy excision theorem (statement). Also Wikidata Q17030684
History
- 2026-11-02: add by m2/dev
Reflection formula TQ7ENTB7MD
| URI | m2://inv/TQ7ENTB7MD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple zeta function#L3CG, Reflection formula (statement)
History
- 2026-11-02: add by m2/dev
Theorem statement TQ7FJMFZVA
| URI | m2://inv/TQ7FJMFZVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive element theorem#Z8TZ, Theorem statement (statement)
History
- 2026-11-02: add by m2/dev
Davenport–Schinzel sequence TQ7GM2CP2S
| URI | m2://inv/TQ7GM2CP2S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3503244, Davenport–Schinzel sequence (concept). Also MathWorld Davenport-SchinzelSequence
- wikipedia: Wikipedia Davenport–Schinzel sequence, Davenport–Schinzel sequence (definition). Also Wikidata Q3503244
History
- 2026-10-26: add by m2/dev
TQ7NG9BV2J TQ7NG9BV2J
| URI | m2://inv/TQ7NG9BV2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#698G (statement). In P0HKF5DY7M/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Heinrich-Wolfgang Leopoldt TQ80RMG70Q
| URI | m2://inv/TQ80RMG70Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#2XST, Heinrich-Wolfgang Leopoldt (topic)
History
- 2026-11-02: add by m2/dev
Cornelius Lanczos TQ84JYH12N
| URI | m2://inv/TQ84JYH12N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornelius Lanczos, Cornelius Lanczos (topic). Also Wikidata Q1068631
History
- 2026-11-02: add by m2/dev
Atoms and the exponent one TQ86N40P2N
| URI | m2://inv/TQ86N40P2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#DWX0, Atoms and the exponent one (statement). In AMRWRJDNKJ/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
TQ8E7WFBH0 TQ8E7WFBH0
| URI | m2://inv/TQ8E7WFBH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#WI8N (statement). In 8SXY7Y68HV/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Ordinary least squares TQ8F9QN2TA
| URI | m2://inv/TQ8F9QN2TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H214, Ordinary least squares (definition)
History
- 2026-11-02: add by m2/dev
TQ99P5621Q TQ99P5621Q
| URI | m2://inv/TQ99P5621Q |
|---|---|
| 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.05280#ZBFU (statement). In K05CHVKH1B/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
TQ9MZA7TKP TQ9MZA7TKP
| URI | m2://inv/TQ9MZA7TKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2204.04317#U8NB (statement). In 49V3ANDZTY/e1, lemma 6.16
History
- 2026-10-27: add by m2/v0.3.5
GCD TQ9P003HWW
| URI | m2://inv/TQ9P003HWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#U6YE, GCD (definition)
History
- 2026-11-02: add by m2/dev
Generalized p-value TQ9QNEN8F1
| URI | m2://inv/TQ9QNEN8F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized p-value, Generalized p-value (definition). Also Wikidata Q5532498
History
- 2026-11-02: add by m2/dev
Construction TQ9QZWEG8M
| URI | m2://inv/TQ9QZWEG8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-cell#F818, Construction (definition)
History
- 2026-11-02: add by m2/dev
argument TQA457QX1X
| URI | m2://inv/TQA457QX1X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4/argument, argument (concept). In Y91XFCEVHQ, index, section 4
History
- 2026-11-01: add by m2/v0.6.13
Tadeusz Figiel TQA80C9A64
| URI | m2://inv/TQA80C9A64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#52EZ, Tadeusz Figiel (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QA14, Tadeusz Figiel (unknown)
History
- 2026-11-02: add by m2/dev
Pollard's p − 1 algorithm TQA91MTY46
| URI | m2://inv/TQA91MTY46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#ZVGO, Pollard's p − 1 algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Direct attribution theory of reference TQABA5CPM5
| URI | m2://inv/TQABA5CPM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roderick Chisholm#2ESX, Direct attribution theory of reference (unknown)
History
- 2026-11-02: add by m2/dev
A simple example TQABN6CD0Z
| URI | m2://inv/TQABN6CD0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perverse sheaf#TN0P, A simple example (example)
History
- 2026-11-02: add by m2/dev
TQAFQ65N2S TQAFQ65N2S
| URI | m2://inv/TQAFQ65N2S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26776#O4S4 (example)
History
- 2026-11-01: add by m2/v0.6.15
TQAJ8AEVY0 TQAJ8AEVY0
| URI | m2://inv/TQAJ8AEVY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30033#98LY (statement)
History
- 2026-11-01: add by m2/v0.6.15
TQAJKCQ0DJ TQAJKCQ0DJ
| URI | m2://inv/TQAJKCQ0DJ |
|---|---|
| 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 1904.09810#WF4H (statement). In T1VFA7TXPA/e1, theorem 71
History
- 2026-10-27: add by m2/v0.3.5
Definition TQAJZEP5TT
| URI | m2://inv/TQAJZEP5TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocurvature#Z2P0, Definition (definition)
History
- 2026-11-02: add by m2/dev
TQAJZEWRAW TQAJZEWRAW
| URI | m2://inv/TQAJZEWRAW |
|---|---|
| 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 2404.06445#PV8E (statement). In 12JKZ8EN52/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
\theoremcite{Theorem 2.41}{aliprantis_burkinshaw2003 TQAM1HHSHT
| URI | m2://inv/TQAM1HHSHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#M0ZZ, \theoremcite{Theorem 2.41}{aliprantis_burkinshaw2003 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TQANKX4HSV TQANKX4HSV
| URI | m2://inv/TQANKX4HSV |
|---|---|
| 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.28540#IIN3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TQAR1EH7M5 TQAR1EH7M5
| URI | m2://inv/TQAR1EH7M5 |
|---|---|
| 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 2609.36045#KZNU (statement). In F0E8YBV0Z0/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
S. Ramanan TQASDX2WAW
| URI | m2://inv/TQASDX2WAW |
|---|---|
| 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#UE39, S. Ramanan (topic)
History
- 2026-11-02: add by m2/dev
TQAYV53AFR TQAYV53AFR
| URI | m2://inv/TQAYV53AFR |
|---|---|
| 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 2511.17751#DEJV (statement). In J39X0NB31S/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Shifted-Gaussian comparison TQB05ARJJ2
| URI | m2://inv/TQB05ARJJ2 |
|---|---|
| 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.16248#XCTO, Shifted-Gaussian comparison (statement). In TP61DYMBMK/e1, lemma 17
History
- 2026-10-28: add by m2/v0.4.2
TQB2S5SJZ0 TQB2S5SJZ0
| URI | m2://inv/TQB2S5SJZ0 |
|---|---|
| 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.09810#A39D (statement). In B6PCH930FV/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
TQB53S6HB7 TQB53S6HB7
| URI | m2://inv/TQB53S6HB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1810.06028#4KUP (statement). In ZPFHH6YJG3/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Conway group Co2 TQB8KH18GK
| URI | m2://inv/TQB8KH18GK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#UNE6, Conway group Co2 (object)
History
- 2026-11-02: add by m2/dev
TQBA6QX3Q4 TQBA6QX3Q4
| URI | m2://inv/TQBA6QX3Q4 |
|---|---|
| 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 2303.14022#OETN (statement). In NSYR6W27FP/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
Definition TQBRFMMMKG
| URI | m2://inv/TQBRFMMMKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Li's criterion#29F5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mian–Chowla sequence TQBWVWH1XG
| URI | m2://inv/TQBWVWH1XG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3976569, Mian–Chowla sequence (object). Also MathWorld Mian-ChowlaSequence, OEIS A005282
- wikipedia: Wikipedia Mian–Chowla sequence, Mian–Chowla sequence (definition). Also Wikidata Q3976569
History
- 2026-10-26: add by m2/dev
Menachem Mendel Schneerson TQBX6FV8MY
| URI | m2://inv/TQBX6FV8MY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#A0VO, Menachem Mendel Schneerson (unknown)
History
- 2026-11-02: add by m2/dev
inverse Galois problem TQC54HW13Y
| URI | m2://inv/TQC54HW13Y |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Inverse Galois problem YJS6X8JN7D |
Mentions
- wikidata: Wikidata Q2358071, inverse Galois problem (problem). Also nLab inverse Galois problem
- wikipedia: Wikipedia Inverse Galois problem, Inverse Galois problem (conjecture). Also Wikidata Q2358071
History
- 2026-10-26: add by m2/dev
TQCFZ9DNQ7 TQCFZ9DNQ7
| URI | m2://inv/TQCFZ9DNQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35383#7TJW (statement). In HSR4748706/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
Examples TQD213M0TN
| URI | m2://inv/TQD213M0TN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism#ZX0F, Examples (example)
History
- 2026-11-02: add by m2/dev
TQD4Y45NNB TQD4Y45NNB
| URI | m2://inv/TQD4Y45NNB |
|---|---|
| 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.03555#N52F (statement). In 9JZJTRRVR1/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Lapse rate TQD79QR7VV
| URI | m2://inv/TQD79QR7VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lapse rate, Lapse rate (definition). Also Wikidata Q66900467
History
- 2026-11-02: add by m2/dev
TQDC9FRDK8 TQDC9FRDK8
| URI | m2://inv/TQDC9FRDK8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Gyárfás conjecture#DC4J (problem)
History
- 2026-11-02: add by m2/dev
Examples TQDEX1YQQD
| URI | m2://inv/TQDEX1YQQD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#7IJY, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
TQDGGCDQSS TQDGGCDQSS
| URI | m2://inv/TQDGGCDQSS |
|---|---|
| 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.30823#77BJ (statement). In 1YHQ9YNQ68/e1, theorem 2.4
History
- 2026-10-31: add by m2/v0.5.6
Examples TQDT1JX8WG
| URI | m2://inv/TQDT1JX8WG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function field of an algebraic variety#CE3H, Examples (example)
History
- 2026-11-02: add by m2/dev
special unitary group TQDTD2P0GP
| URI | m2://inv/TQDTD2P0GP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > special unitary group, special unitary group (unknown). Also Mathlib Matrix.specialUnitaryGroup
- mathlib_undergrad: mathlib_undergrad Group Theory > Classical automorphism groups > special unitary group, special unitary group (unknown). Also Mathlib Matrix.specialUnitaryGroup
History
- 2026-10-26: add by m2/dev
Pathwise weak kinetic trace TQDTS0224Z
| URI | m2://inv/TQDTS0224Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#3DYC, Pathwise weak kinetic trace (statement)
History
- 2026-11-02: add by m2/v0.6.18
absolutely convergent series in Banach spaces TQDWAJ3RD0
| URI | m2://inv/TQDWAJ3RD0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > absolutely convergent series in Banach spaces, absolutely convergent series in Banach spaces (unknown). Also Mathlib Summable.of_norm
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > absolutely convergent series in Banach spaces, absolutely convergent series in Banach spaces (unknown). Also Mathlib Summable.of_norm
History
- 2026-10-26: add by m2/dev
Properties TQDX4B992B
| URI | m2://inv/TQDX4B992B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank-index method#RFDZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
TQDZSEXTG4 TQDZSEXTG4
| URI | m2://inv/TQDZSEXTG4 |
|---|---|
| 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.19288#RIJF (statement). In 1EA6AM9V01/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
rate of convergence and estimation of error TQE27W1VBS
| URI | m2://inv/TQE27W1VBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > rate of convergence and estimation of error, rate of convergence and estimation of error (unknown)
History
- 2026-10-26: add by m2/dev
David Milman TQE69XMJ32
| URI | m2://inv/TQE69XMJ32 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8XUR, David Milman (topic)
History
- 2026-11-02: add by m2/dev
Formal definition TQEA4Q1S1J
| URI | m2://inv/TQEA4Q1S1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howson property#8ZBP, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Propensity score matching TQED1XVC09
| URI | m2://inv/TQED1XVC09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propensity score matching, Propensity score matching (definition). Also Wikidata Q7250160
History
- 2026-11-02: add by m2/dev
TQEH2SWGBB TQEH2SWGBB
| URI | m2://inv/TQEH2SWGBB |
|---|---|
| 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.13931#UGGV (statement). In EXA79VR78Q/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.2
strong, normalization TQEHR2GBMZ
| URI | m2://inv/TQEHR2GBMZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/strong-normalization, strong, normalization (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Stone–Weierstrass theorem (C*-algebras) TQF53M7DKN
| URI | m2://inv/TQF53M7DKN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#KL7A, Stone–Weierstrass theorem (C*-algebras) (statement)
History
- 2026-11-02: add by m2/dev
Quantifier shift TQFY0CRB9Y
| URI | m2://inv/TQFY0CRB9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier shift, Quantifier shift (definition). Also Wikidata Q7268914
History
- 2026-11-02: add by m2/dev
TQG10RDGP3 TQG10RDGP3
| URI | m2://inv/TQG10RDGP3 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#WX87 (unknown). In AQGEM4XAKD/e1, unknown 5.5
History
- 2026-10-27: add by m2/v0.3.5
Rhonda Hatcher TQG25J91NQ
| URI | m2://inv/TQG25J91NQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhonda Hatcher, Rhonda Hatcher (topic). Also Wikidata Q54622196
History
- 2026-11-02: add by m2/dev
Move (S): Remove a regular sink TQG4BDHDYZ
| URI | m2://inv/TQG4BDHDYZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#8Z7Q, Move (S): Remove a regular sink (definition). In 6HJQXZS0A6/e1, definition 1.12
History
- 2026-10-29: add by m2/v0.4.12
TQG4G82NP0 TQG4G82NP0
| URI | m2://inv/TQG4G82NP0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#2HJ1 (problem). In E7BPGPP9Z5/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.10
TQG54QKFW0 TQG54QKFW0
| URI | m2://inv/TQG54QKFW0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#L9RV (definition). In RYFV9HGWWZ/e1, definition 40
History
- 2026-10-27: add by m2/v0.3.5
TQG5SSBE3R TQG5SSBE3R
| URI | m2://inv/TQG5SSBE3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30525#8C4D (statement). In CHEZQEACQG/e1, corollary 8.1
History
- 2026-10-31: add by m2/v0.5.6
Normed relative cocompletion TQG5V6FTQA
| URI | m2://inv/TQG5V6FTQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#RW65, Normed relative cocompletion (statement). In F3BKXXPR3K/e1, proposition 3.54
History
- 2026-10-27: add by m2/v0.4.2
TQG81XS1ND TQG81XS1ND
| URI | m2://inv/TQG81XS1ND |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-34 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
Marc G. Genton TQG9H73HG8
| URI | m2://inv/TQG9H73HG8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marc G. Genton, Marc G. Genton (topic). Also Wikidata Q58416851
History
- 2026-11-02: add by m2/dev
Şaban Karataş TQGBNKCMPH
| URI | m2://inv/TQGBNKCMPH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Şaban Karataş, Şaban Karataş (topic). Also Wikidata Q17432310
History
- 2026-11-02: add by m2/dev
TQGE9BMYAD TQGE9BMYAD
| URI | m2://inv/TQGE9BMYAD |
|---|---|
| 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.36313#X752 (statement). In Z5SP3NW41S/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
TQGEJW7G6T TQGEJW7G6T
| URI | m2://inv/TQGEJW7G6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23685#O081 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Basic properties TQGHE1BMKM
| URI | m2://inv/TQGHE1BMKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating group#VQ4S, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
TQGK0SF900 TQGK0SF900
| URI | m2://inv/TQGK0SF900 |
|---|---|
| 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.38548#CNSH (definition). In Z7ZFV3HM1S/e1, definition 4.15
History
- 2026-10-30: add by m2/v0.4.12
induction principle, for type of booleans TQGZWXX9YX
| URI | m2://inv/TQGZWXX9YX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.8/induction-principle-for-type-of-booleans, induction principle, for type of booleans (concept). In N54F33XE07, index, section A.8
History
- 2026-11-01: add by m2/v0.6.13
TQH3CJEMN9 TQH3CJEMN9
| URI | m2://inv/TQH3CJEMN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#INV0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
First Kronecker limit formula TQH991MP94
| URI | m2://inv/TQH991MP94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker limit formula#7ZIF, First Kronecker limit formula (statement)
History
- 2026-11-02: add by m2/dev
Volume viscosity TQHHBHYRMV
| URI | m2://inv/TQHHBHYRMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#SLH5, Volume viscosity (unknown)
History
- 2026-11-02: add by m2/dev
Translation bound for the observation window TQHJ4PCS64
| URI | m2://inv/TQHJ4PCS64 |
|---|---|
| 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.06372#C50G, Translation bound for the observation window (statement). In G3E1P350Z6/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
TQHMDP58JP TQHMDP58JP
| URI | m2://inv/TQHMDP58JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27898#31YN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem TQHNA3DCNM
| URI | m2://inv/TQHNA3DCNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological homomorphism#QZ9Z, Theorem (statement)
History
- 2026-11-02: add by m2/dev
TQHNNRSPK9 TQHNNRSPK9
| URI | m2://inv/TQHNNRSPK9 |
|---|---|
| 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.09949#4Y0X (statement). In VGJVFCDV8A/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
TQHR2DK18G TQHR2DK18G
| URI | m2://inv/TQHR2DK18G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#AYWB (statement). In 4F8QRV05BV/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Distributed computer network TQHRNF4JNT
| URI | m2://inv/TQHRNF4JNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#AD7K, Distributed computer network (unknown)
History
- 2026-11-02: add by m2/dev
Example TQJ59TJE8V
| URI | m2://inv/TQJ59TJE8V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hindley–Milner type system#T9O9, Example (example)
History
- 2026-11-02: add by m2/dev
Definition TQJ752JV9A
| URI | m2://inv/TQJ752JV9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real radical#OUNJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
TQJA5B9YRF TQJA5B9YRF
| URI | m2://inv/TQJA5B9YRF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#VO3F (definition). In PWXT7J9JX3/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Meno TQJBDFY92H
| URI | m2://inv/TQJBDFY92H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meno, Meno (definition). Also Wikidata Q746253
History
- 2026-11-02: add by m2/dev
Scaling pattern of occupancy TQJQ1FKXF5
| URI | m2://inv/TQJQ1FKXF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P0EJ, Scaling pattern of occupancy (definition)
History
- 2026-11-02: add by m2/dev
effectively computable function TQJRA7KJ6Q
| URI | m2://inv/TQJRA7KJ6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#C9GP, effectively computable function (definition)
History
- 2026-11-02: add by m2/dev
Simplicial extension TQJRVPGVTS
| URI | m2://inv/TQJRVPGVTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21513#QYF7, Simplicial extension (statement)
History
- 2026-11-02: add by m2/v0.6.18
TQJVVN5KPY TQJVVN5KPY
| URI | m2://inv/TQJVVN5KPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36714#MWSE (statement). In Z2BKQBEMTQ/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
TQJYZDTT78 TQJYZDTT78
| URI | m2://inv/TQJYZDTT78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#3UCM (statement). In CSRZ9CWK69/e1, lemma 8.21
History
- 2026-10-29: add by m2/v0.4.12
Examples TQK71JXJ3Z
| URI | m2://inv/TQK71JXJ3Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simpson's paradox#AUGZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Três Fronteiras TQK9462VWY
| URI | m2://inv/TQK9462VWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Y69A, Três Fronteiras (unknown)
History
- 2026-11-02: add by m2/dev
TQKCCJAFFP TQKCCJAFFP
| URI | m2://inv/TQKCCJAFFP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
TQKG6DNNAG TQKG6DNNAG
| URI | m2://inv/TQKG6DNNAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#RK3R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties TQKN6DB76P
| URI | m2://inv/TQKN6DB76P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cooperative game theory#JN0J, Properties (statement)
History
- 2026-11-02: add by m2/dev
Chunming Zhang TQKP25JB7G
| URI | m2://inv/TQKP25JB7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5BV4, Chunming Zhang (topic)
History
- 2026-11-02: add by m2/dev
Box's M test TQKQSDXR11
| URI | m2://inv/TQKQSDXR11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box's M test, Box's M test (definition). Also Wikidata Q60792387
History
- 2026-11-02: add by m2/dev
Cluster characters TQKTAQ6M5Y
| URI | m2://inv/TQKTAQ6M5Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#717I, Cluster characters (definition). In 6G1KBA0SXV/e1, definition 3.10
History
- 2026-10-31: add by m2/v0.5.6
TQKXKM21N5 TQKXKM21N5
| URI | m2://inv/TQKXKM21N5 |
|---|---|
| Kind | example |
| 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 2310.14879#TLRD (example). In 3VZ55B2N0D/e1, example 5.9
History
- 2026-10-27: add by m2/v0.4.0
TQM2BH5PHZ TQM2BH5PHZ
| URI | m2://inv/TQM2BH5PHZ |
|---|---|
| Kind | example |
| 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 2401.14162#84VO (example). In JC1XF1JE6J/e1, example 3.14
History
- 2026-10-27: add by m2/v0.3.5
Benoit Perthame TQMEFW1VXB
| URI | m2://inv/TQMEFW1VXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#96X8, Benoit Perthame (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VMYF, Benoit Perthame (unknown)
History
- 2026-11-02: add by m2/dev
A bound independent of heap count TQMHCVRY88
| URI | m2://inv/TQMHCVRY88 |
|---|---|
| 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.06925#FXXD, A bound independent of heap count (statement). In P0NV7337EK/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
741 (number) TQMHDET70P
| URI | m2://inv/TQMHDET70P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#LLPD, 741 (number) (unknown)
History
- 2026-11-02: add by m2/dev
TQMKNC3DFG TQMKNC3DFG
| URI | m2://inv/TQMKNC3DFG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 17.8
History
- 2026-11-01: add by m2/v0.6.13
Topology optimization TQMKWEW44C
| URI | m2://inv/TQMKWEW44C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#AGEH, Topology optimization (definition)
History
- 2026-11-02: add by m2/dev
TQMVMPR3SA TQMVMPR3SA
| URI | m2://inv/TQMVMPR3SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14047#1JDZ (statement). In PJYGJNS48K/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Alexander subbase theorem TQMVSZHN4Y
| URI | m2://inv/TQMVSZHN4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subbase#GKU6, Alexander subbase theorem (statement)
History
- 2026-11-02: add by m2/dev
TQMYRGJA6H TQMYRGJA6H
| URI | m2://inv/TQMYRGJA6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#GFZ3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
TQMYTEAXC1 TQMYTEAXC1
| URI | m2://inv/TQMYTEAXC1 |
|---|---|
| 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.08912#0DPX (statement). In DK5QY64NGH/e1, lemma 5.11
History
- 2026-10-29: add by m2/v0.4.10
Definitions TQN14485F9
| URI | m2://inv/TQN14485F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations#PB2A, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Three-point inequality for PMD TQN1BYKX80
| URI | m2://inv/TQN1BYKX80 |
|---|---|
| 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.04117#N5O4, Three-point inequality for PMD (statement). In 65E9N3DFYP/e1, fact 3.6
History
- 2026-10-29: add by m2/v0.4.12
TQN4M6BCBY TQN4M6BCBY
| URI | m2://inv/TQN4M6BCBY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#6BQO (definition). In GW23NX78SB/e1, definition 3.7
History
- 2026-10-28: add by m2/v0.4.2
TQN7E5A78P TQN7E5A78P
| URI | m2://inv/TQN7E5A78P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33238#FGAN (statement). In MVWXMDFP3P/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
TQN99RF9BS TQN99RF9BS
| URI | m2://inv/TQN99RF9BS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#HUEZ (definition). In 4SZNPS3Z00/e1, definition B.10
History
- 2026-10-27: add by m2/v0.3.6
Sampling theory of intelligence TQNDW96CD8
| URI | m2://inv/TQNDW96CD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G factor (psychometrics)#F5BO, Sampling theory of intelligence (unknown)
History
- 2026-11-02: add by m2/dev
TQP2CBWW37 TQP2CBWW37
| URI | m2://inv/TQP2CBWW37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02689#9KOH (statement). In 7BWXR38MNE/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
TQP697V57Y TQP697V57Y
| URI | m2://inv/TQP697V57Y |
|---|---|
| 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 1509.00950#X017 (definition). In MDZFW5GACV/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.3.5
Theorem TQP9MP13C2
| URI | m2://inv/TQP9MP13C2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixing (mathematics)#SBFS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Maximum score estimator TQP9WRRBN6
| URI | m2://inv/TQP9WRRBN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum score estimator, Maximum score estimator (definition). Also Wikidata Q25111844
History
- 2026-11-02: add by m2/dev
TQPHSFDCWN TQPHSFDCWN
| URI | m2://inv/TQPHSFDCWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00247#A63Z (statement). In ZAM4S2XS9F/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
TQPJG3J7DB TQPJG3J7DB
| URI | m2://inv/TQPJG3J7DB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#HSX3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
TQPKA5GYC4 TQPKA5GYC4
| URI | m2://inv/TQPKA5GYC4 |
|---|---|
| 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.18777#4T4O (statement). In TFZDPHDF7V/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.6
Al-Salam–Carlitz polynomials TQPKP01PTT
| URI | m2://inv/TQPKP01PTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Salam–Carlitz polynomials, Al-Salam–Carlitz polynomials (definition). Also Wikidata Q4703170
History
- 2026-11-02: add by m2/dev
TQPQW6BF8W TQPQW6BF8W
| URI | m2://inv/TQPQW6BF8W |
|---|---|
| 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.22769#UG4A (statement)
History
- 2026-11-02: add by m2/v0.6.17
Further examples TQPWPA06XK
| URI | m2://inv/TQPWPA06XK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive identity#EEJ3, Further examples (example)
History
- 2026-11-02: add by m2/dev
Regularity of the initial condition TQPXMGKGHQ
| URI | m2://inv/TQPXMGKGHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#L3T8, Regularity of the initial condition (statement). In KVYG6R7CGJ/e1, proposition 2.8
History
- 2026-10-31: add by m2/v0.5.6
Exotic affine space TQQ67PK9PY
| URI | m2://inv/TQQ67PK9PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exotic affine space, Exotic affine space (definition). Also Wikidata Q16872679
History
- 2026-11-02: add by m2/dev
TQQ76MN6J8 TQQ76MN6J8
| URI | m2://inv/TQQ76MN6J8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#YURL (problem). In WRE0P7V6Z3/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
Example TQQK018JM6
| URI | m2://inv/TQQK018JM6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data validation#R5DU, Example (example)
History
- 2026-11-02: add by m2/dev
TQQNK1CY66 TQQNK1CY66
| URI | m2://inv/TQQNK1CY66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#J0KR (statement). In F3BKXXPR3K/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.4.2
Definition TQQQ1BFS6Y
| URI | m2://inv/TQQQ1BFS6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviation of a poset#ARC1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of tessarine algebra TQR1TNDE56
| URI | m2://inv/TQR1TNDE56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#EB49, Fundamental theorem of tessarine algebra (definition)
History
- 2026-11-02: add by m2/dev
Examples TQR3XP8MEF
| URI | m2://inv/TQR3XP8MEF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General recursive function#JR2Q, Examples (example)
History
- 2026-11-02: add by m2/dev
TQR8SHX5HM TQR8SHX5HM
| URI | m2://inv/TQR8SHX5HM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24355#OQU1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TQRD175XJ1 TQRD175XJ1
| URI | m2://inv/TQRD175XJ1 |
|---|---|
| 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.27114#ZN8F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hardy–Ramanujan asymptotic formula TQRD3Z7BJK
| URI | m2://inv/TQRD3Z7BJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#58LH, Hardy–Ramanujan asymptotic formula (definition)
History
- 2026-11-02: add by m2/dev
Alexander horned sphere TQREXB7RPW
| URI | m2://inv/TQREXB7RPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#46E1, Alexander horned sphere (definition)
History
- 2026-11-02: add by m2/dev
TQRT9340CM TQRT9340CM
| URI | m2://inv/TQRT9340CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#R3BL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Urquhart graph TQRY79EFMT
| URI | m2://inv/TQRY79EFMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urquhart graph, Urquhart graph (definition). Also Wikidata Q2811423
History
- 2026-11-02: add by m2/dev
TQS2NX7V9W TQS2NX7V9W
| URI | m2://inv/TQS2NX7V9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#HU2D (statement). In 9J7TJYKGYX/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
SAT prep TQS3EX77N5
| URI | m2://inv/TQS3EX77N5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SAT#HM64, SAT prep (unknown)
History
- 2026-11-02: add by m2/dev
TQS61KZ502 TQS61KZ502
| URI | m2://inv/TQS61KZ502 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aliquot sequence#M72K (problem)
History
- 2026-11-02: add by m2/dev
The Factor and Remainder Theorems TQS6C395XE
| URI | m2://inv/TQS6C395XE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 89, The Factor and Remainder Theorems (statement). Also Mathlib Polynomial.dvd_iff_isRoot, Mathlib Polynomial.mod_X_sub_C_eq_C_eval
History
- 2026-10-26: add by m2/dev
Afrikan Spir TQSX7GB2YH
| URI | m2://inv/TQSX7GB2YH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Afrikan Spir, Afrikan Spir (topic). Also Wikidata Q385790
History
- 2026-11-02: add by m2/dev
TQT417EDXE TQT417EDXE
| URI | m2://inv/TQT417EDXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#XZ67 (statement). In 5PN85N6EJF/e1, lemma C.1
History
- 2026-10-31: add by m2/v0.5.6
Sylvain Cappell TQT4ME5FCK
| URI | m2://inv/TQT4ME5FCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XPU4, Sylvain Cappell (topic)
History
- 2026-11-02: add by m2/dev
Solid sweep TQT9YHGBNH
| URI | m2://inv/TQT9YHGBNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solid sweep, Solid sweep (definition). Also Wikidata Q7557934
History
- 2026-11-02: add by m2/dev
Perfectoidness at full $p$-level TQTCWX0MK2
| URI | m2://inv/TQTCWX0MK2 |
|---|---|
| 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 2609.33808#7VJN, Perfectoidness at full $p$-level (statement). In 328KGRNN0W/e1, theorem 8.6
History
- 2026-10-30: add by m2/v0.4.12
TQTNXQJGQM TQTNXQJGQM
| URI | m2://inv/TQTNXQJGQM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/wo.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 73.4
History
- 2026-11-01: add by m2/v0.6.13
TQTQVREPRP TQTQVREPRP
| URI | m2://inv/TQTQVREPRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#QHNR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Terminology TQTRYHQPMB
| URI | m2://inv/TQTRYHQPMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random graph#SD98, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Block length TQV3AVBXV1
| URI | m2://inv/TQV3AVBXV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#B8OJ, Block length (statement). In ZZER8ZBSCR/e1, lemma 6.17
History
- 2026-10-29: add by m2/v0.4.12
Józef Schreier TQV7AM245W
| URI | m2://inv/TQV7AM245W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6NVN, Józef Schreier (topic)
History
- 2026-11-02: add by m2/dev
TQVAS73J01 TQVAS73J01
| URI | m2://inv/TQVAS73J01 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00247#TIZ0 (conjecture). In ZAM4S2XS9F/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
Definition TQVQHMV5WT
| URI | m2://inv/TQVQHMV5WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz's theorem (composition algebras)#JK5V, Definition (definition)
History
- 2026-11-02: add by m2/dev
TQW455N76A TQW455N76A
| URI | m2://inv/TQW455N76A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#1CYA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kuo-Tsai Chen TQWAG43WXF
| URI | m2://inv/TQWAG43WXF |
|---|---|
| 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 Q15444532, Kuo-Tsai Chen (unknown). Also nLab Kuo Tsai Chen
History
- 2026-10-26: add by m2/dev
TQWB3R2SES TQWB3R2SES
| URI | m2://inv/TQWB3R2SES |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
TQWFGE8SA0 TQWFGE8SA0
| URI | m2://inv/TQWFGE8SA0 |
|---|---|
| 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 2610.18673#XW8I (definition). In 7ZFD9XRKA1/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Maria Hoffmann-Ostenhof TQWMRZ5J99
| URI | m2://inv/TQWMRZ5J99 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LME7, Maria Hoffmann-Ostenhof (topic)
History
- 2026-11-02: add by m2/dev
TQWP0K95GT TQWP0K95GT
| URI | m2://inv/TQWP0K95GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#N845 (statement). In SD28S3K7BT/e1, theorem 26
History
- 2026-10-29: add by m2/v0.4.12
TQWY4WAEV0 TQWY4WAEV0
| URI | m2://inv/TQWY4WAEV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#ET15 (statement). In XYYEJN00D8/e1, proposition 2.11
History
- 2026-10-30: add by m2/v0.4.12
Run chart TQWZQT0HMS
| URI | m2://inv/TQWZQT0HMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TZGT, Run chart (definition)
- wikipedia: Wikipedia List of graphical methods#84QV, Run chart (definition)
History
- 2026-11-02: add by m2/dev
TQX3C7VFKA TQX3C7VFKA
| URI | m2://inv/TQX3C7VFKA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#KH4R (definition). In 4SZNPS3Z00/e1, definition
History
- 2026-10-27: add by m2/v0.3.6
Reformulation of Schur–Horn theorem TQX637Q0V0
| URI | m2://inv/TQX637Q0V0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Horn theorem#MGZL, Reformulation of Schur–Horn theorem (statement)
History
- 2026-11-02: add by m2/dev
Stochastic realization TQX6CG9QNQ
| URI | m2://inv/TQX6CG9QNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#GK5E, Stochastic realization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aleksandr Khazanov TQXARKV2EP
| URI | m2://inv/TQXARKV2EP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksandr Khazanov, Aleksandr Khazanov (topic). Also Wikidata Q4715199
History
- 2026-11-02: add by m2/dev
TQXMJ4FVQM TQXMJ4FVQM
| URI | m2://inv/TQXMJ4FVQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#BYO9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dirac's theorem on cycles in k-connected graphs TQY0XJBMRF
| URI | m2://inv/TQY0XJBMRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connectivity (graph theory)#ZUAZ, Dirac's theorem on cycles in k-connected graphs (unknown)
History
- 2026-11-02: add by m2/dev
Definitions TQY1Z0ZM4W
| URI | m2://inv/TQY1Z0ZM4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of apportionment#UUTG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Quasi-triangulation TQY40DG43V
| URI | m2://inv/TQY40DG43V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-triangulation, Quasi-triangulation (definition). Also Wikidata Q4218426
History
- 2026-11-02: add by m2/dev
Ogden's lemma TQY5FXA9T5
| URI | m2://inv/TQY5FXA9T5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#JJVV, Ogden's lemma (statement)
History
- 2026-11-02: add by m2/dev
Donnie TQY9EFRV4F
| URI | m2://inv/TQY9EFRV4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#6SVJ, Donnie (unknown)
History
- 2026-11-02: add by m2/dev
TQYFP68JQ4 TQYFP68JQ4
| URI | m2://inv/TQYFP68JQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#H8GE (statement). In EAABRG99V8/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.4.0
TQYPSFFCJG TQYPSFFCJG
| URI | m2://inv/TQYPSFFCJG |
|---|---|
| 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.20002#BIK5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Uncontrolled decompression TQZ0HPN0SY
| URI | m2://inv/TQZ0HPN0SY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#JQMF, Uncontrolled decompression (unknown)
History
- 2026-11-02: add by m2/dev
$\dot H^{\ndmu}$ estimates TQZ6W9QE72
| URI | m2://inv/TQZ6W9QE72 |
|---|---|
| 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 2605.00407#8407, $\dot H^{\ndmu}$ estimates (statement). In TVFD0G3F2W/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
TQZCGEG26B TQZCGEG26B
| URI | m2://inv/TQZCGEG26B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28046#5R81 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TQZDV5S9DP TQZDV5S9DP
| URI | m2://inv/TQZDV5S9DP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#YRR0 (example). In G00EYA9DXG/e1, example 4.1
History
- 2026-10-28: add by m2/v0.4.2
Bowtie-free graph TQZGH7X94F
| URI | m2://inv/TQZGH7X94F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Butterfly graph#KSLZ, Bowtie-free graph (unknown)
History
- 2026-11-02: add by m2/dev
finite presentation TQZY7BX24S
| URI | m2://inv/TQZY7BX24S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#Q6VJ, finite presentation (definition)
History
- 2026-11-02: add by m2/dev
Weighted correlation polynomial TQZZXD1VKA
| URI | m2://inv/TQZZXD1VKA |
|---|---|
| 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 2401.05118#JWRQ, Weighted correlation polynomial (definition). In BT0T0QS2TN/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0