Math 2.0

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.

Rows 3001–3100 of 11759.

NameIdKindOutcomeSources
Thales9G1V8B53FVtopicopenWikipedia List of Greek mathematicians#F9X7
Thales Of MiletusTKE1MH27ETtopicopenWikipedia List of logicians#5A9S
Thales of MiletusX3G4KWEN33topicopenWikipedia List of geometers#KQLU
Thales' theoremE99H1SBJCXstatementopenWikipedia List of triangle topics#GWC4, Wikipedia List of circle topics#5CGH
Thales' theoremH3N6V3FAXCstatementopenWikipedia Right angle#PSAL
Thales' theoremH8C1YT1CGPstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q285719, Mathlib EuclideanGeometry.Sphere.thales_theorem, Wikidata Q285719, thousand_plus Q285719, Wikipedia Thales's theorem, MathWorld ThalesTheorem, ProofWiki Thales'_Theorem
Thales' theoremJYDMTPVW2DstatementopenWikipedia Right triangle#WFZT
Thales' theoremKD1FZXVVGCstatementopenWikipedia Euclidean geometry#R9Z9
Thales's theoremS82JR9RCV1statementopenWikipedia List of theorems#HXEL
Thanh ; De Bonis and KatonaKMV5HQZW68statementrecord (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.30336#T2ON
Thanu PadmanabhanH5FZV0XB4Punknownout_of_scope (a person, not an item of mathematics)Wikidata Q2409133, nLab Thanu Padmanabhan
THAVWNW3RGTHAVWNW3RGstatementrecord (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.08873#38EF
THBCAH2VWVTHBCAH2VWVstatementrecord (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.25167#D1BN
THBCZDR2KJTHBCZDR2KJstatementrecord (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.27931#4LM6
THBWGGA3MQTHBWGGA3MQstatementrecord (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.29877#KWF0
THC9Z0FW3TTHC9Z0FW3Tstatementopenopen_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#lem-1
THCFR5BMWTTHCFR5BMWTdefinitionrecord (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.28794#SA0J
THD3WEDNCFTHD3WEDNCFdefinitionrecord (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.20376#FRRS
THD49F5734THD49F5734statementrecord (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.15881#WJLL
THD60F693GTHD60F693Gstatementrecord (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.29489#1IQ0
The "Magnum Opus": "Principles of set theory"92ETCV6Z1PstatementopenWikipedia Felix Hausdorff#12K7
The "Paradox" paperYJAY2N3KDKstatementopenWikipedia Einstein–Podolsky–Rosen paradox#J987
The $1$-form $dz$BHKQ4B7Y5Jexampleopennapkin tex/riemann-surface/forms.tex#example-1
the $1$-skeleton does not determine a quotient flag complexPW2DD74TPPstatementrecord (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.32733#9H6U
the $2$-adic bound is attainedRZT2MVYZ4Hstatementrecord (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.37459#Z9YR
the $2$-skeleton does not determine a quotient flag complex either4CTY9K7REJstatementrecord (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.32733#N4T5
The $23$-point caseSYHC901K5Fstatementrecord (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#9092
The $23$-point case from a uniqueness statementPB9E9FD27Xstatementrecord (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#PFMY
The $24$-contact case as an inequality between anglesDBHGWZFX77statementrecord (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#ZYG5
The $3+4$ incidence correspondence7GNA8E2DF0statementrecord (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 2501.09848#HU6E
the $3\times5$ chartS2YCXV7NK2examplerecord (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.13291#FJ2C
The $6$-wheel parametrizationTC3H0EQR4Bstatementrecord (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.22305#WF21
The $9$TET miniatureE2XBNG7MJTexamplerecord (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.26114#V4XV
The $\alpha \beta \gamma$ magic2C6PKAZFK8statementrecord (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.01932#P0BT
The $\alpha$-divergence regularizerB6NDMD7VN2statementrecord (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.14988#7AI4
The $\alpha$-indexYFNXTY93WBdefinitionrecord (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.31276#15YL
The $\gamma$ magic theoremP9AQV1SNZ0statementrecord (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.01932#X67I
The $\HOD$ Dichotomy, Woodin8532FWH26Rstatementrecord (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.32338#RT5J
The $\ij{i,j}_T$ component of a $\C$-transfer systemC5G6W9M2AVdefinitionrecord (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 2401.13523#X9IJ
The $\mathbf{x}$- and $\mathbf{z}$-tracesBS6S9C3RCRstatementrecord (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.12326#NON2
The $\mathcal H$-spectrum of $L^mR^m$4NKX16YHRRstatementrecord (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.18512#8B4C
The $\mu$-ordinary stratumYC55P9ZV7Adefinitionrecord (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.33808#66Q6
The $\oplaxn\mbox{-}\lax$ parametrized Yoneda lemmaZEYK672VHEstatementrecord (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 2302.04566#W93Q
The $\sqrt{|C|}$ sandwich is sharpBMVBDGE5VJstatementrecord (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.21523#M468
The $A_+$ sector constructs Evans--Gannon's $(H,\beta)$VF57H7Q49Tstatementrecord (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.18512#PEB0
The $A_-$ classes stratify, and the degeneration is local13Z1GGSDXFstatementrecord (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.18512#WRD0
The $A_-$ sector of $L^mR^m$ at prime $m$JC3BCR18JZstatementrecord (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.18512#PRFR
The $A_-$ spins at $L^3R^3$202ZRSF6YEstatementrecord (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.18512#4P9E
The $A_4$ tangent determinantKDK1K0MZS2statementrecord (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.37615#IDZD
The $C_3$-criterion on the unitalWK163FBZW9statementrecord (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.15340#QO2N
The $D_4$ tangent sectionS02PDHCXMAstatementrecord (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.37615#9M4I
The $G_2'$ rows: orbits and pointwise stabilizersXKXAQMZWAVstatementrecord (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.15340#FN4L
The $k^{\text{th}}$ Distributional Anti-Derivative $P_{\eta}^{[k]}$, for any $k \in \mathbb{Z}$; see pages 138 and 1585AJ6HN76CXdefinitionrecord (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.22759#UQ73
The $L$-dcpo case of Jia's question8VRS6GN8X1statementrecord (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.02642#8XHC
The $n$ embeddings of a number field1GXK9G3TZZstatementopennapkin tex/alg-NT/classgrp.tex#theorem-1
The $n$ embeddings of a number fieldJ8FGSANP07statementopennapkin tex/alg-NT/galois.tex#thm:n_embeddings
The $n$ embeddings of any separable extension4AK3Z7Y7MHstatementopennapkin tex/alg-NT/galois.tex#theorem-4
The $p$-Cheeger bound and smooth trial densitiesKD8HD0435Wstatementrecord (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.38228#3U0A
The $p$th power automorphism13D8RQZJ5Pstatementopennapkin tex/alg-NT/finite-field.tex#theorem-4
The $Q$-Taylor radius of the mirror mapXTXS3YJGJSstatementrecord (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.10828#Y6UH
The $S$-matrixVHSC59NF60statementrecord (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.18512#LS1K
The $T$-matrixYRSZWD3GW4statementrecord (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.18512#VM0G
The $v_1$-$v_2$ edge is certified for freeX07WZNXTEPstatementrecord (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#1W7T
The (1,1)-entry in the matrix M^n, where M is the 7 X 7 Cartan matrix [2,-1,0,0,0,0,0; -1,2,-1,0,0,0,0; 0,-1,2,-1,0,0,-1; 0,0,-1C79ZMCMS97objectopenWikidata Q100193389, OEIS A125501
The (1,1)-entry of the matrix A^n, where A = [0,1;2,3].4F3EF4SRQSobjectopenWikidata Q100194072, OEIS A106434
The (1,1)-entry of the vector v[n]=Mv[n-1], where M is the 3 x 3 matrix [[0,-1/r,r],[ -1/r,-2/r,1],[r,1,2+2/r]], r being the golKM6Z31GKJTobjectopenWikidata Q100193872, OEIS A117110
The (1,1)-term of the 3 X 3 matrix M^n, where M = [1,2,3 / 4,7,11 / 6,10,16].672JHA245RobjectopenWikidata Q100194176, OEIS A095898
The (10^n)-th 4-almost prime.NE11PD655FobjectopenWikidata Q100193499, OEIS A120045
The (10^n)-th odd-digit number.XZ5YG0JBM4objectopenWikidata Q100194423, OEIS A075879
The (classical) trace test6FHA9PRKBPstatementrecord (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.23238#TLRT
The (n!)-th composite number.90YJZE68W5objectopenWikidata Q100194489, OEIS A073167
The (n,r)-th term of the following triangle is T(n)-T(r) for r = 0 to n. The n-th row contains n+1 terms. T(n) = the n-th triang4D5KV03180objectopenWikidata Q100193995, OEIS A109900
The (N2) criterionTV2G1CEY4Cstatementrecord (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.33469#BB0F
The (N3) criterionXW4DHYVWPKstatementrecord (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.33469#6ZKT
The - theoremB6XKPBG73GstatementopenWikipedia Pi-system#GUFQ
The /principle/theorem2ZYVRYPSYKstatementopenWikipedia Ultrafilter on a set#0H3O
The 1st resolvent formula2RTPPWJ2K2statementopenWikipedia Holomorphic functional calculus#4538
The 2-out-of-3 propertyM88W0H8E76statementopenhott_book equivalences.tex#thm:two-out-of-three
The 2D frequency estimateEHSGV0H4ZKstatementrecord (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.29047#V1Y8
The 2D TQFT Functor2VA86Y144Dstatementrecord (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.03384#PQM7
The 3SUM conjecture9CT6S4MFC0statementopenWikipedia Computational hardness assumption#A2KF
The 85 Ways to Tie a TieX48S283QP2definitionopenWikipedia The 85 Ways to Tie a Tie, Wikidata Q7711997
The \(1/T\) dependence is sharp for the every-window criterion4S5WQKYBVRstatementrecord (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.16351#2407
The \(K3^{[n]}\) fibrationX87XYEFQQ3examplerecord (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.02481#7TY8
The \(n\)-th Gram discriminantEQFPNBNF17definitionrecord (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 2406.06548#4MJQ
The \texorpdfstring{$q$}{q}-state matrix extension of the branched Stieltjes recursion2HY70JGTKKstatementrecord (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.26066#G7C1
The ``if'' direction of the tempered conjectureVHYKFQ5Q2Estatementrecord (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.05364#TP6M
The ``let'' constructPX6FQG4SD1definitionrecord (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#VF9J
The ``wider lightcone" relation $\prec$P1C9V0N86Vdefinitionrecord (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#KP2C
The abelian-kernel exampleBD94EXD0BYstatementrecord (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.03424#MB39
The abelianization of the orbifold group1XN9JB0Z9Cstatementrecord (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.29839#2AJ9
The action factors through $\Aut/\Inn$75826CR5FFstatementrecord (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.27042#LCBV
The action integral for Hamilton's principle on diffeomorphic flows97C3B1THRYstatementopenWikipedia Computational anatomy#JBMY
The action principleSBPX43FVWVstatementopenWikipedia Brans–Dicke theory#G92K
The actual unnormalized filter is admissibleVVANGCRTP0statementrecord (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.28985#M7PG
The additional sets are negligible3KXXE79HRRstatementrecord (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.25101#TFVC
The additive identity annihilates ring elementsX19AGH87C7statementopenWikipedia Additive identity#2TES
The additive identity is unique in a group6BR2KWEF8RstatementopenWikipedia Additive identity#DCDE
The additivity theoremYCAD67MMXBstatementopenWikipedia K-theory of a category#33O4
The adjoint string and cohesionHCV5C37FQEstatementrecord (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#4AH0