Inventory: T
The rows of the inventory whose names start with T. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1101–1200 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TASYKDC95H | TASYKDC95H | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#5AES |
| TAT5KAV7Q9 | TAT5KAV7Q9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32946#SQ2W |
| Tate | YD1EVYPDPA | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01731#3WVV |
| Tate algebra | EJ82EVMT06 | unknown | open | Wikidata Q7687971, nLab Tate algebra |
| Tate conjecture | RVTJP737N1 | conjecture | open | Wikidata Q7687975, nLab Tate conjecture |
| Tate curve | 54ZD001EP9 | concept | open | Wikidata Q7687976, nLab Tate curve |
| Tate module | 7T8D3YR3MT | concept | open | Wikidata Q7687981, nLab Tate module |
| Tate twist | 2C7H8WASHN | unknown | open | Wikidata Q7687984, nLab Tate twist |
| Tate's thesis | XM4EBBJCNY | topic | open | Wikidata Q7687933, LMFDB knowl lfunction.history.tates_thesis |
| Tate–Shafarevich group | ZPTXYD94EX | concept | open | Wikidata Q7688027, LMFDB knowl ag.tate_shafarevich, nLab Tate–Shafarevich group |
| tau | QDND4G8JFM | object | open | Wikidata Q2333151, OEIS A019692 |
| Tau cross | 8NX73CSRYZ | unknown | open | Wikidata Q607055, MathWorld SaintAnthonysCross |
| Tau function | AS2E6E09F0 | concept | open | Wikidata Q104869809, nLab tau-function |
| tau-function | ZP9AA5PEKM | unknown | open | Wikidata Q3535240, MathWorld TauFunction, OEIS A000594 |
| Taub-NUT metrics on $\C^2$ | XG309YRFY2 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24578#888I |
| Tauberian theorem | C18HT81B4M | unknown | open | Wikidata Q122798083, EoM Tauberian_theorems, MathWorld TauberianTheorem |
| Taub–NUT space | S7KM5EVRZ5 | unknown | open | Wikidata Q4016655, nLab Taub-NUT space |
| Taut foliation | MQ297YMDXP | unknown | open | Wikidata Q7688954, MathWorld TautFoliation |
| tautochrone curve | K8P6FBCBHF | unknown | open | Wikidata Q3284444, MathWorld TautochroneProblem |
| tautological bundle | FQP31RJQ6S | unknown | open | Wikidata Q2397465, nLab tautological line bundle |
| Tautological covering projection | ZHRV17DFFM | example | open | napkin tex/topology/cover-project.tex#example-1 |
| tautological one-form | 2BGJSPQWNZ | unknown | open | Wikidata Q1014878, nLab Liouville-Poincaré 1-form |
| tautological system | MFZB7GJ8N8 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15099#I18N |
| tautology | DATXNCWDP0 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q209555, MathWorld Tautology |
| tautology | T1AJMXEGFM | concept | open | levin_dmoi index/4.1.1/tautology |
| TAV5VDBXHB | TAV5VDBXHB | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.06338#GBK7 |
| TAVM2F096E | TAVM2F096E | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.13811#513R |
| TAWMB4YXD6 | TAWMB4YXD6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.2055#WX72 |
| TAX5NY7BSC | TAX5NY7BSC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26496#X50Z |
| TAXFKFB0CK | TAXFKFB0CK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04434#FAYB |
| taxicab geometry | E3PA6WTNC0 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q573509, MathWorld TaxicabMetric |
| taxicab number | 9XJK4TA1NQ | unknown | open | Wikidata Q1462591, MathWorld TaxicabNumber, OEIS A011541 |
| Taxicab on $\RR^2$ | WTMX37AVRT | example | open | napkin tex/topology/metric-top.tex#example-3 |
| TAXP43AYMA | TAXP43AYMA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32233#VH7C |
| TAXSEVCTRK | TAXSEVCTRK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.17091#7OMY |
| TAXWDBTA8P | TAXWDBTA8P | exercise | open | open_logic content/first-order-logic/natural-deduction/proving-things-quant.tex#prob-1 |
| TAYC8RVTSC | TAYC8RVTSC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12817#8ZL7 |
| TAYFY270AM | TAYFY270AM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01828#W6QI |
| TAYKT9NWFE | TAYKT9NWFE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14435#I27O |
| Taylor | AFMATZCNCH | statement | open | lebl_ra ch-der.tex#thm:taylor |
| Taylor | DAZC7E1CXC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08145#TJ5Y |
| Taylor circle | A4GWRXMHAF | concept | open | Wikidata Q365086, MathWorld TaylorCircle |
| Taylor coefficient bound | CZ8V9A3397 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25120#DF8X |
| Taylor Coefficient Majorization | 7B1QGYGE2W | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12239#3438 |
| Taylor coefficients and critical exponents | 3THWTPKEAD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25915#1BNB |
| Taylor Dupuy | KX8YP5EV4X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q87701643, nLab Taylor Dupuy |
| Taylor expansion | 7W07GBFFXV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10873#9LSW |
| Taylor expansion of the population kernel | 6QKEAX8YBK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39855#H8FH |
| Taylor expansions on the kernel | JTQKNC24AC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30220#25BE |
| Taylor Polynomial of $p$th-order | NWDZXD9HBZ | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17604#E0TX |
| Taylor remainder bound | 2V1VV6DX80 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04357#QP6B |
| Taylor remainder using both derivative bounds | MXH9QZCR2C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18739#FZGC |
| Taylor Remainders and Polarization | 505H4G970A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12239#M7J3 |
| Taylor series | RVEXNVC2HR | concept | node (a node has the same name as the row) | Wikidata Q131187, MathWorld TaylorSeries, nLab Taylor series, ProofWiki Definition:Taylor_Series |
| Taylor series expansions | 5W4Q1KCNHP | unknown | open | mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor series expansions |
| Taylor's theorem | 61W6DFJGXV | concept | open | lebl_ra index/3.3.2/taylor-s-theorem |
| Taylor's theorem | DEKKVKZ2AZ | unknown | open | mathlib_overview Analysis > Differentiability > Taylor's theorem |
| Taylor's theorem | XZFTG769VT | statement | node (a node has the same Wikidata item as the row) | mathlib_100 35, Mathlib taylor_mean_remainder_lagrange, Mathlib taylor_mean_remainder_cauchy, Mathlib map_add_eq_sum_add_integral_iteratedFDeriv, mathlib_1000 Q1137206, Wikidata Q1137206, mathlib_undergrad Multivariable calculus > Differential calculus > Taylor's theorem with integral form for remainder, mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor's theorem with Lagrange form for remainder, thousand_plus Q1137206, Wikipedia Taylor's theorem, MathWorld TaylorsTheorem |
| Taylor's theorem for real-analytic functions | PQ2KN9PWXD | statement | open | lebl_ra ch-approximate.tex#thm:tayloranal |
| Taylor's theorem with integral form for remainder | 6MCDG33Q7C | unknown | open | mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor's theorem with integral form for remainder, Mathlib taylor_integral_remainder_of_absolutelyContinuous |
| Taylor's theorem with little-o remainder | M2X7Z19CA1 | unknown | open | mathlib_undergrad Multivariable calculus > Differential calculus > Taylor's theorem with little-o remainder |
| Taylor's theorem with little-o remainder | WQF78E83NF | unknown | open | mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor's theorem with little-o remainder |
| Taylor's theorem, real-analytic | 8ZHVGPM3GF | concept | open | lebl_ra index/1.3.4/taylor-s-theorem-real-analytic |
| Taylor-coefficient and evaluation rank characterization | J7AWZF0TX1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04357#7L1K |
| Taylor–Proudman theorem | XHVR5H6G46 | statement | open | mathlib_1000 Q2600653, Wikidata Q2600653, thousand_plus Q2600653, Wikipedia Taylor–Proudman theorem |
| TAYY9S092E | TAYY9S092E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04694#S2EV |
| TAZK3GNZQ0 | TAZK3GNZQ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14278#48FF |
| TAZW2VATXY | TAZW2VATXY | statement | open | hott_book logic.tex#thm:ac-epis-split |
| TAZXK389CA | TAZXK389CA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32077#6VYV |
| TB0GA0ZJN0 | TB0GA0ZJN0 | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-20 |
| TB0X45DB65 | TB0X45DB65 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.02312#O5ZI |
| TB1CC589ZX | TB1CC589ZX | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04046#DPG5 |
| TB1FQAKTYR | TB1FQAKTYR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.22045#0JGW |
| TB1PE5GXCH | TB1PE5GXCH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28518#VIFT |
| TB1Y7J9NA5 | TB1Y7J9NA5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.17484#SWMH |
| TB21DZXQTV | TB21DZXQTV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36818#CDLN |
| TB21M5RQ13 | TB21M5RQ13 | statement | open | open_logic content/proof-theory/cut-elimination/ce-largest.tex#lem:inv-G3c-cut |
| TB3ARTX2AM | TB3ARTX2AM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29552#YOYD |
| TB3E19PYA2 | TB3E19PYA2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09562#JJLF |
| TB3SZH78PE | TB3SZH78PE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16388#YK3N |
| TB47GGRQKH | TB47GGRQKH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39845#ZLFF |
| TB4W79RHG2 | TB4W79RHG2 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.18704#3Z26 |
| TB548FNJKF | TB548FNJKF | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.17066#6FXZ |
| TB57MRHW47 | TB57MRHW47 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.02312#NMSE |
| TB58BSQ064 | TB58BSQ064 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0905.2248#SVEK |
| TB67BER6GH | TB67BER6GH | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32174#7MYT |
| TB7F12VFJM | TB7F12VFJM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17518#M8UN |
| TB7PARD5WR | TB7PARD5WR | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-18 |
| TB7R2ZA67F | TB7R2ZA67F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03661#TTKG |
| TB7SW55K6J | TB7SW55K6J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.1307#HQ3Y |
| TB8A597HA0 | TB8A597HA0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18016#HC4U |
| TB8F0D5ZYE | TB8F0D5ZYE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19309#H65F |
| TB8HMG2Z4V | TB8HMG2Z4V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20087#EHUA |
| TB8PFJ4T5Y | TB8PFJ4T5Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06206#0EJ0 |
| TB8PP65F54 | TB8PP65F54 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-13 |
| TB8Z1FWCYY | TB8Z1FWCYY | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15217#OVO2 |
| TB9CH63ZR3 | TB9CH63ZR3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.11507#Z86X |
| TB9DDKYT2S | TB9DDKYT2S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12169#0X5F |
| TB9EVRA17E | TB9EVRA17E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06683#EWFM |
| TB9H79PC0D | TB9H79PC0D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03336#QYBG |