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 3301–3400 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Thâbit ibn Kurrah rule | GTYTY6QJEE | statement | open | Wikidata Q3345196, MathWorld ThabitibnKurrahRule |
| Thébault's theorem | V29R6C941D | statement | open | mathlib_1000 Q2500408, Wikidata Q2500408, thousand_plus Q2500408, Wikipedia Thébault's theorem |
| Théophile de Donder | JETS4E3SG9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q558384, nLab Théophile de Donder |
| Thévenin's theorem | KNYR5NX7TS | statement | open | mathlib_1000 Q241868, Wikidata Q241868, thousand_plus Q241868, Wikipedia Thévenin's theorem |
| Thābit ibn Qurra | REXJ6WHSM7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q250568, ProofWiki Mathematician:Thabit_ibn_Qurra |
| Tian's formula for Weil-Petersson metric | NWQ6VX53G2 | 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.27800#QQRH |
| tic-tac-toe | X3JMTRJ7TV | unknown | open | Wikidata Q210339, MathWorld Tic-Tac-Toe |
| tie | 12YQP48QQ1 | unknown | open | Wikidata Q1164849, MathWorld Draw |
| Tierney | EZZYF8MY6F | concept | open | hott_book index/6.7/tierney |
| Tietze extension theorem | Y8ES0K9J0F | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1346677, Mathlib BoundedContinuousFunction.exists_extension_norm_eq_of_isClosedEmbedding, Wikidata Q1346677, thousand_plus Q1346677, Wikipedia Tietze extension theorem, MathWorld TietzesExtensionTheorem, nLab Tietze extension theorem, ProofWiki Tietze_Extension_Theorem |
| Tietze's graph | G61RS518T8 | unknown | open | Wikidata Q3115539, House of Graphs 1368, MathWorld TietzesGraph |
| Tight gap exponents | X8T89MZ4R6 | 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.17127#4V7X |
| Tight Gaussian reference | FV44B7MT7D | 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.22308#YTGX |
| Tight stochastic complexity and SAPD+ | TR2YMEG62F | 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.30877#N996 |
| Tightened conditional energy decay | 9ZE1SS1XAK | 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.09356#03VD |
| tightness | B0BP090C25 | 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.10408#JWP1 |
| Tightness | EQKFSN863K | 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.27908#FF4U |
| Tightness criterion for survival asymptotics | N172WY0FJS | 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.27335#NWR3 |
| Tightness in $\mathcal D(\R_+; \mathcal C_\R^\text{tem})$ | 5Y2KM4V1D2 | 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.02669#KOL3 |
| Tightness of the convex-regret form | S404GM2TXQ | 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.12713#THZ6 |
| Tightness of the coverage guarantee | Z09BYWYDVA | 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.26951#W0DH |
| Tightness of the relative margin | KYF87FS87F | 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.38268#3VHW |
| Tijdeman's theorem | 2EWTNBV6SN | statement | open | mathlib_1000 Q777924, Wikidata Q777924, thousand_plus Q777924, Wikipedia Tijdeman's theorem |
| Tikhonov Regularization for Linear Equations | GX83MZVMJQ | 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.32505#5NNV |
| tilde | B399AA4P3A | unknown | open | Wikidata Q11167, MathWorld Tilde |
| Tiles | 5R529T9092 | 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.03612#9NNN |
| Tiles admitting a factor of iid tiling | 6WRPCN2B93 | 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 2203.01511#ZMMF |
| Tiles and limit set | 8GPCJN1AD7 | 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 2411.17227#51X4 |
| tilt | VEX177R592 | 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.14050#U7P0 |
| Tilt function | K9R9EGAE9P | 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.09596#YF03 |
| Tilt-excess estimate | ZSA1KGAX51 | 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.09596#N8VV |
| Tilted boundary order | YR1T1SV6V0 | 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.30637#EH3J |
| Tilted edge moments | KHDA9VK8BJ | 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.19356#OC2N |
| Tilted quantiles; \appproof{pf:tilt | T1FKP3SWT5 | 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.39233#PWAN |
| Tilting module | 8ACDS09TSF | 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.30637#7UM3 |
| Tilts are free | 5YDR19R240 | 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.35418#LYPO |
| Tilts with a product structure | ZRQHFJECHE | 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.32710#TGPT |
| Tim Maudlin | CE3ZVFKN59 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q75377, nLab Tim Maudlin |
| time | R11ZNVC2EH | definition | open | Wikidata Q11471, ProofWiki Definition:Time |
| Time as a function of speed | 39CGK8EXRG | example | open | active_calculus source/sec-1-5-units.xml#Ex-1-5a-2-time-speed |
| Time consistency | H6PC20X8ME | 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 math/0003117#IK5K |
| time dilation | GCDHVFZ1QK | definition | open | Wikidata Q185918, ProofWiki Definition:Time_Dilation |
| Time evolution generated by finitely supported interactions | APD93NMT4D | 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.12731#NT67 |
| Time evolution generated by general interactions | ZK233HT01S | 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.12731#VC0X |
| Time hierarchy theorem | QARKN6QWWE | statement | open | mathlib_1000 Q5251122, Wikidata Q5251122, thousand_plus Q5251122, Wikipedia Time hierarchy theorem |
| Time index grows almost linearly with learning rate | 2R0QKXNCJD | 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.30957#3NIL |
| Time negligibility of achronal sets | W4SF6DVVS3 | 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.21775#FQD0 |
| Time negligibility of infinities | 5EYSGF07NG | 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.21775#C74S |
| Time negligible set | Y1JYSVZXQ6 | 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.21775#AYHS |
| Time regularity | YC48MEKRVT | 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.14555#BIFH |
| Time regularity of the vertical temperature derivative | Y7YSZW41D8 | 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.14555#2UHU |
| Time scale invariance | E9MXTPS780 | 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.07341#W7AS |
| Time semicontinuity | KBK9MEBWS2 | 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.21775#J4DB |
| Time separation function | MR22TBA0XA | 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.21775#V56Y |
| time series | WTCWP39S5M | unknown | open | Wikidata Q186588, nLab time series |
| Time uniform discretization bound for constant reference | TCZ4F2HDWK | 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.09522#JMYE |
| Time-discontinuous plasticity | Z8GGY1EWM9 | 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.37584#06WI |
| Time-expanded too-long path graph | 11Y8MZ41F9 | 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.39269#T0H9 |
| time-fractional Hille-Yosida theorem | 39K2WWMSBV | 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.35001#M4T9 |
| time-independent Schrödinger equation | 7VX359GXVH | definition | open | Wikidata Q25829357, ProofWiki Definition:Schrödinger's_Equation/Time_Independent |
| Time-integrable density gradient and effective force | MYKP2SZBES | 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.13613#FWEA |
| Time-integrable weighted pointwise velocity | A4BTKWCWX6 | 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.13248#HLTA |
| Time-like half-wave trace | JPG83980NJ | 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.24481#YJNX |
| Time-local OU-basis approximation | P646H43DVE | 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.05333#VH8B |
| Time-scale desingularization | PTC4V3RDF7 | 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.05354#CM6M |
| Time-varying accuracy | XT5Y80MDFZ | 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.35418#ZIN4 |
| Time-weighted estimate | R0XP0PP669 | 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.22090#AM78 |
| timelike four-vector | 3RRK3PN20N | unknown | open | Wikidata Q122208637, MathWorld Timelike |
| Timelike quantitative focusing | SW49DK4QER | 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.11911#59DJ |
| Timelike quantitative focusing for general bounds | KW7EC3TWHJ | 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.11911#0OOO |
| Timelike sectional curvature bounds | CGHGP0T0G2 | 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.10051#1PMI |
| Timelike triangle comparison | XM9FCNGP1A | 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.10051#C3J7 |
| timeline of category theory and related mathematics | RVRZ1SWY74 | unknown | open | Wikidata Q7806026, nLab Timeline of category theory and related mathematics |
| Timely availability of data | T7V7ZFCAVZ | 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.28791#HHWX |
| Timing side-channels | 8CQ0BDA8ET | 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 1803.10042#GPHC |
| Tiny-corner completion; computer-assisted | 3VR6EP2NV6 | 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.24931#TPPH |
| titanic prime | KGHP1CQHE6 | unknown | open | Wikidata Q660303, MathWorld TitanicPrime |
| Titchmarsh convolution theorem | 99GJH10V75 | statement | open | mathlib_1000 Q7809920, Wikidata Q7809920, thousand_plus Q7809920, Wikipedia Titchmarsh convolution theorem |
| Titius–Bode law | BN20NN4NYQ | statement | open | Wikidata Q193698, ProofWiki Titius-Bode_Law |
| Tits alternative | HGQ449N03R | statement | open | mathlib_1000 Q3613173, Wikidata Q3613173, thousand_plus Q3613173, Wikipedia Tits alternative |
| Tits alternative for varieties | MS3WVQQBXS | 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.18106#H4FG |
| Tits building | NTBFM2XV2H | concept | open | Wikidata Q4986445, MathWorld Building, nLab building |
| Tits group | DGDM2C3TPB | unknown | open | Wikidata Q2856369, MathWorld TitsGroup |
| Tits' Lemma | GS4W4SW6F4 | 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.37237#M37M |
| TJ0406EF3Y | TJ0406EF3Y | 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 2502.08738#W5M2 |
| TJ04KV3EGY | TJ04KV3EGY | 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.29298#EAGO |
| TJ04N32S18 | TJ04N32S18 | 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 2409.20170#7F6Y |
| TJ05FF9FNV | TJ05FF9FNV | 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 2504.07573#AJB6 |
| TJ0BDQ9QR3 | TJ0BDQ9QR3 | 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.03144#ENBI |
| TJ0R75R7YS | TJ0R75R7YS | 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.13100#V7XE |
| TJ0Y2H2DZP | TJ0Y2H2DZP | 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.40028#M3UZ |
| TJ1Z79FTQT | TJ1Z79FTQT | 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.18094#MC31 |
| TJ23FTC5E1 | TJ23FTC5E1 | definition | open | hott_book hits.tex#defn-1 |
| TJ24P3G5HR | TJ24P3G5HR | 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.12054#0AWP |
| TJ2TEECBEJ | TJ2TEECBEJ | 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 2607.25960#YD2T |
| TJ3F2XCHW1 | TJ3F2XCHW1 | 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.09154#9FDE |
| TJ44PTXMXW | TJ44PTXMXW | 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 2204.13401#HEK1 |
| TJ4RV8X3KN | TJ4RV8X3KN | 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 2402.17852#VR4F |
| TJ5839Z3ZQ | TJ5839Z3ZQ | 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.02061#HF18 |
| TJ5E8WRFS2 | TJ5E8WRFS2 | 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 hep-th/9409063#3MBA |