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 1001–1100 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Tangency estimate | JEZ7DYS1X0 | 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.12434#B938 |
| Tangency order | Y4SH13S2Y4 | 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 2103.12669#7ASO |
| tangent | G9F3RBJ0YQ | concept | open | active_calculus index/2.4.1/tangent |
| tangent | THXZVAXNRY | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1129196, EoM Tangent, MathWorld Tangent, ProofWiki Definition:Tangent_Function, Wikidata Q131251 |
| Tangent bound | RGZWWKKW2H | 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.06490#Z13R |
| Tangent bundle | 2B2G1YYFVT | 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.26270#ZZDH |
| tangent bundle | H68R0K8BHY | definition | open | arXiv 2610.17004#LYB4, mathlib_overview Geometry > Differentiable manifolds > tangent bundle, Mathlib TangentBundle, Wikidata Q746550, EoM Tangent_bundle, MathWorld TangentBundle, nLab tangent bundle, ProofWiki Definition:Tangent_Bundle |
| tangent circles | EJ09K4V6KT | unknown | open | Wikidata Q7682871, MathWorld TangentCircles |
| Tangent complex | KZN491P36W | 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.20801#CSLF |
| Tangent complex | WZ5SGDC1ZZ | 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.20801#VA14 |
| tangent cone | 3SP6VNVJQA | concept | open | Wikidata Q2392464, EoM Tangent_cone, nLab tangent cone |
| Tangent cone | 9C2H5BV72P | 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.11869#CS6E |
| Tangent cone | CYV8BPDK90 | 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.25987#R4YG |
| Tangent cone and log function | EHR23C6YMV | 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.17909#8L29 |
| Tangent developable | 9X16892ASF | concept | open | Wikidata Q7682872, MathWorld TangentDevelopable |
| Tangent direction of the river | JR0440A5QF | 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#8OZ8 |
| Tangent estimation event | V32RFS1X76 | 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.31458#P736 |
| tangent half-angle formula | D16XKQDJQ3 | unknown | open | Wikidata Q2641564, EoM Tangent_formula |
| tangent indicatrix | 5PRHA1T9SR | unknown | open | Wikidata Q7682873, MathWorld TangentIndicatrix |
| tangent line | D6PB5GRJ43 | concept | open | active_calculus index/1.3.2/tangent-line |
| tangent line | WNP0T8ZSK9 | unknown | open | Wikidata Q141108322, MathWorld TangentLine |
| tangent line, equation | SNTYNB0ZM7 | concept | open | active_calculus index/1.8.2/tangent-line-equation |
| tangent lines to circles | PBK3N3K7SF | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q647040, MathWorld CircleTangentLine |
| Tangent MALA | QQRMZS016G | 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.17946#M9G4 |
| tangent map | 1S4FR30SNP | concept | open | Wikidata Q110535159, MathWorld TangentMap, nLab tangent map, ProofWiki Definition:Tangent_Map |
| tangent map | S6VH2WQVVY | unknown | open | mathlib_overview Geometry > Differentiable manifolds > tangent map, Mathlib tangentMap |
| tangent number | QMS9H6RGPA | concept | open | Wikidata Q11316496, MathWorld TangentNumber |
| tangent plane | FSA3E4MRR0 | unknown | open | Wikidata Q2392469, MathWorld TangentPlane |
| Tangent RWMH | 58CRHTDHKF | 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.17946#G5BE |
| tangent segments theorem | EWX71HMVN4 | statement | open | Wikidata Q139618219, ProofWiki Tangents to Circle from Point are of Equal Length |
| tangent space | 306J7CWK4E | definition | open | Wikidata Q909601, Mathlib TangentSpace, MathWorld TangentSpace, ProofWiki Definition:Tangent_Space |
| tangent space | YHXP9FR261 | unknown | open | mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > tangent space |
| tangent vector | 6J7P5S22FQ | concept | open | lebl_scv index/2.2/tangent-vector |
| tangent vector | 857WNV3NF2 | unknown | open | Wikidata Q1179296, MathWorld ManifoldTangentVector, MathWorld TangentVector |
| Tangent vector and gradient in the flat direction | HBD3C1X5FY | 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#KEAZ |
| Tangent-cone orbit classification | VDHQWWKYAM | 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.25987#39MA |
| Tangent-cone restricted Euclidean groupoid | 2CG2151PRX | 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.25987#NK48 |
| Tangent-flow classification | 56CW8G63J8 | 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.09557#MDO0 |
| tangent-secant theorem | GEKB5F7T3R | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q2267175, Mathlib EuclideanGeometry.Sphere.dist_sq_eq_mul_dist_of_tangent_and_secant, Wikidata Q2267175, thousand_plus Q2267175, Wikipedia Tangent-secant theorem, ProofWiki Tangent_Secant_Theorem |
| tangential 2-type | 45JHWZ345H | 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.07608#3EM5 |
| tangential angle | 66PRFWV07A | unknown | open | Wikidata Q7682880, MathWorld TangentialAngle |
| Tangential derivative of the boundary condition | 8HYPXYSCMB | 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.29393#RFJ6 |
| Tangential Laplace asymptotics | 3H5E9B7F4F | 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.21328#G3M9 |
| tangential polygon | KSBYJ5A3PY | unknown | open | Wikidata Q7682882, MathWorld TangentialPolygon |
| tangential quadrilateral | XRME7JYD9T | unknown | open | Wikidata Q1064389, MathWorld TangentialQuadrilateral |
| Tangential radial energy | 11RTT0WT9R | 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.01324#I52H |
| tangential structure | 3N6D8AQA6D | 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.07608#4518 |
| tangential triangle | 8HE72WHGWG | unknown | open | Wikidata Q20828394, MathWorld TangentialTriangle |
| Tangentiality to countably $\mathcal{H}^k$-rectifiable set | MZKVDPBK7F | 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.24451#BPJD |
| tangle | 4HQN5ZDNK4 | unknown | open | Wikidata Q7683003, MathWorld Tangle |
| Tangloid algebra $\mathcal{T}_n$ | ZW0ZG2BMHP | 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.37524#FJJ1 |
| tangram | N3320BFJSW | unknown | open | Wikidata Q245336, MathWorld tangram |
| tanh | D9ZYH6BQCJ | 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.09044#KME0 |
| Tanh-sinh quadrature | PTSF4PB63Q | concept | open | Wikidata Q7683194, MathWorld Tanh-SinhQuadrature |
| tanhc function | GK3WRN1DMC | unknown | open | Wikidata Q19603577, MathWorld TanhcFunction |
| Taniguchi's constant | Q8N8PVKKP7 | object | open | Wikidata Q55735325, MathWorld TaniguchisConstant, OEIS A175639 |
| Tannakian category | F0JJGJ9CW1 | unknown | open | Wikidata Q7683609, nLab Tannakian category |
| Tanner sheaf codes and their duals | S2F4JRDQ7D | 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.28028#4XG7 |
| Tao | WXEYQH0K2S | 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.33018#0IOW |
| Tao Te Ching | VV62GQXH1T | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q134425, nLab 道德經 |
| Tao--Vu 2017 | 64EPCJG380 | 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.11047#U7QQ |
| TAP free energy for the planted SK model | W2052GJ3Y7 | 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.30590#2WFO |
| TAP residual bound | EPP78BTFHR | 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.09882#07NX |
| TAP values at small self-overlap | DMHCTJ0YZZ | 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.06490#IVC0 |
| TAP3SEKY0B | TAP3SEKY0B | 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.13908#6E1E |
| TAP465T54X | TAP465T54X | 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.13847#9A0U |
| TAPVERE16W | TAPVERE16W | 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.28009#8EBG |
| TAPVTNA1ZV | TAPVTNA1ZV | 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.28403#KE5Q |
| TAQ3XK5XMH | TAQ3XK5XMH | definition | open | hott_book logic.tex#defn:logical-notation |
| TAQ4JS1BG2 | TAQ4JS1BG2 | 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.02798#DCA2 |
| TAQACR5YP3 | TAQACR5YP3 | 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 2108.03672#SEGX |
| TAQBC0VZ89 | TAQBC0VZ89 | 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.05327#I5BA |
| TAQTPSGPYY | TAQTPSGPYY | 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.16081#GUYO |
| Target and full-state risk | S9WPBD3GFY | 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.37247#259H |
| Target projection for an architecture linear in its output weights | 9V14HQHPT5 | 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#K01V |
| Target ring | A996Z2Q6P8 | 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.20801#AQ2O |
| Target start | S1441HGV9Z | 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.31641#5X67 |
| target, of a path constructor | 9Q5VQ2M4MB | concept | open | hott_book index/5.6/target-of-a-path-constructor |
| target, of a path constructor | DXS4BZQA4W | concept | open | hott_book index/5.13/target-of-a-path-constructor |
| Target-ensemble representation | 3Q6R5V85QP | 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.11038#CHBV |
| Target-linked clean initialization | W7N523YF8D | 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.15202#WAUF |
| Target-linked protected corruption budgets | 33VGWA9C2B | 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.15202#TEOB |
| Target-Set Convergence | 17KCX29ZGN | 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 2610.07674#8CSG |
| Tarry point | RG35PJXZYY | concept | open | Wikidata Q4460034, MathWorld TarryPoint |
| Tarski | 93N3FJZZXM | 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.12434#0VG3 |
| Tarski's plank problem | TBRFF5YGZH | statement | open | mathlib_1000 Q7686760, Wikidata Q7686760, thousand_plus Q7686760, Wikipedia Tarski's plank problem, MathWorld TarskisPlankProblem |
| Tarski's undefinability theorem | D5G99EW0RD | statement | open | mathlib_1000 Q574902, Wikidata Q574902, thousand_plus Q574902, Wikipedia Tarski's undefinability theorem |
| Tarski--F{\o}lner theorem | 9K52J50BEY | 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.00789#NOGS |
| Tarski--Scott | NQ5Q6FGCMC | definition | open | open_logic content/set-theory/choice/tarskiscott.tex#defn-1 |
| Tarski–Grothendieck set theory | KZ0YR7RT89 | definition | open | Wikidata Q3984085, ProofWiki Definition:Tarski-Grothendieck_Set_Theory |
| Tarski–Seidenberg theorem | TH2ZHYJJ7H | statement | open | Wikidata Q16705451, MathWorld TarskisTheorem, nLab Tarski-Seidenberg theorem |
| TAS20PY691 | TAS20PY691 | 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.01653#CIBJ |
| TASAADPPC8 | TASAADPPC8 | 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 2303.09207#E7BT |
| TASGMYYZX0 | TASGMYYZX0 | 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.4587#H0F4 |
| Task-aligned hidden FTMLE localization | 6AHD684DHE | 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.39190#8IP7 |
| Task-conditional generation at the sharp prompt rate | YVM9SAP3G8 | 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#WAA8 |
| Task-conditioned backward characterization | YG5M2TYQTE | 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.05504#QOLW |
| Task-dependent boundary | TMJPGFW77Y | 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.33154#5YYV |
| Task-orthogonal off-boundary expansion | YB94WKT85F | 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.39190#7JB7 |
| TASQBEJFB9 | TASQBEJFB9 | 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.28993#FE5L |