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 1501–1600 of 5819.

Name	Id	Kind	Outcome	Sources
TEG8PJFQV9	TEG8PJFQV9	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.34856#GY0H
TEGKXFT3SM	TEGKXFT3SM	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 2512.19872#52WQ
TEGMY0EAWC	TEGMY0EAWC	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 2403.15043#PP3V
TEHVD9HZ4J	TEHVD9HZ4J	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.11671#55ES
TEHW37SY5P	TEHW37SY5P	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.03298#PPVY
TEHWVNRNN1	TEHWVNRNN1	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.19260#G7C4
Teichm\"uller space and moduli space	9S9ZX8WR72	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.15926#M54M
Teichmüller–Tukey lemma	MY8Z7S31V5	statement	open	Wikidata Q277987, ProofWiki Tukey's_Lemma
TEJ8JKYD2A	TEJ8JKYD2A	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.32300#Z4Z4
TEJBN0PGH2	TEJBN0PGH2	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.00806#UL2F
TEJHGM9TAJ	TEJHGM9TAJ	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.12983#2ZMC
TEJZNZQWVD	TEJZNZQWVD	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.04730#KD2V
TEK8T1ZJSM	TEK8T1ZJSM	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.12013#HQ3R
TEKC14QQMN	TEKC14QQMN	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.01792#WVHK
TEKMYAX5PE	TEKMYAX5PE	exercise	open	open_logic content/normal-modal-logic/tableaux/soundness.tex#prob-1
TEKYY50SD3	TEKYY50SD3	definition	open	hott_book equivalences.tex#defn:homotopy-fiber
telegrapher's equations	RQ4690K9BJ	unknown	open	Wikidata Q1156880, MathWorld TelegraphEquation
teleparallelism	9X8319AAXT	unknown	open	Wikidata Q4454070, nLab teleparallel gravity
Telescopic localization	PH5X74RECJ	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.21675#D8R1
Telescoping	KH47DDABVW	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.18512#W6SN
Telescoping	X4MGJWMFYJ	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.09912#ESBC
telescoping	YT62BGZXJM	concept	open	levin_dmoi index/3.4/telescoping
Telescoping	ZZ0JXY716W	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.00453#MUE3
Telescoping factor	YAQNX8F357	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.00453#ASGH
Telescoping identity	ZSQQ0TYKT3	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.09001#8OWK
Telescoping recursion	6RTYPX1HAR	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.37466#J1M0
telescoping sum	P30W8B5D3W	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q2164293, MathWorld TelescopingSum
Telescoping trace relation	Y0V7RNN13D	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.12326#27R0
temperature	BKZ79HA2A4	definition	open	Wikidata Q11466, nLab temperature, ProofWiki Definition:Temperature
temperature scale	MSBYT50SS4	definition	open	Wikidata Q2394680, ProofWiki Definition:Temperature/Scales
Tempered distinction for $G_5$	40B1CJE4ZR	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.05364#4ZAN
Tempered distinction: parameter form	PBWH51B1NH	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.05364#CIMJ
tempered distribution	CR6BDKG9QK	definition	open	Wikidata Q3030799, nLab tempered distribution, ProofWiki Definition:Tempered_Distribution
tempered distributions	R2ZJK85JAX	unknown	open	mathlib_overview Analysis > Distribution theory > tempered distributions, Mathlib TemperedDistribution, mathlib_undergrad Distribution calculus > Tempered distributions > definition
Template	ZFY2RW8KTE	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 2403.16840#M2VG
Temporal CLT	BX094WQZFM	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.33590#CRZS
Temporal Local CLT	EAWRRA53TC	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.33590#J484
temporal logic	4WJ2V1VVWJ	topic	open	Wikidata Q781833, nLab temporal logic, ProofWiki Definition:Temporal_Logic
Temporal maps	N7KWJZK0D6	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.29597#WQ57
Temporal velocity of $v_\star$	CMGMDXTJD7	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.02663#O0UT
TEMT1AMJWT	TEMT1AMJWT	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.06699#COM8
Ten witness words	D90ZBAS7VD	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.39700#6XRZ
ten-pin bowling	XJ8W2DF41J	unknown	open	Wikidata Q172809, MathWorld Bowling
Ten-point bases	CD92TAZBB8	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.39615#RNJN
TENDTSJGVB	TENDTSJGVB	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.16669#K03Q
Tennenbaum's theorem	6DZXDZJW9Z	statement	open	mathlib_1000 Q2226803, Wikidata Q2226803, thousand_plus Q2226803, Wikipedia Tennenbaum's theorem
Tennenbaum's Theorem	X3ZD2GQ98T	statement	open	open_logic content/model-theory/models-of-arithmetic/computable-models.tex#thm-1
Tennis ball theorem	CXG5FE61QX	statement	open	Wikidata Q55634934, MathWorld TennisBallTheorem
tensegrity	R0BWJTZ0AB	unknown	open	Wikidata Q1930978, MathWorld Tensegrity
tensor	DX6WRA1JZK	unknown	open	Wikidata Q188524, MathWorld Tensor
tensor algebra	FCZG8G43PF	topic	open	Wikidata Q2296021
tensor algebra of a commutative ring	2PFP00GJX4	unknown	open	mathlib_overview General algebra > Algebras over a ring > tensor algebra of a commutative ring, Mathlib TensorAlgebra
tensor analysis	MH19HSTR2E	topic	open	Wikidata Q1318181, MathWorld TensorAnalysis
tensor bundle	21A2YF27M5	unknown	open	Wikidata Q4454684, EoM Tensor_bundle
tensor calculus	370N33S5QE	unknown	open	Wikidata Q4454681, MathWorld TensorCalculus, nLab tensor calculus
tensor conjugate transpose	MN3TNVTYDF	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 2505.04063#QKL9
tensor contraction	WYK05SHTTD	concept	open	Wikidata Q428091, MathWorld TensorContraction
tensor density	J1NCJMQ0V4	unknown	open	Wikidata Q904927, MathWorld TensorDensity
Tensor equation	Q050QHC1CP	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.02721#RYX9
Tensor Hessian identity for $p$	71QXFYCMGW	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.25762#N8T3
Tensor independence	B0YXF77P7S	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 1711.00219#L3N9
Tensor induction	GXAN18GBH0	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.36444#Y972
Tensor nuclear decomposition	8FDV4JMZ6Y	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.33219#S89Z
Tensor nuclear norm	Q4RF9YEX3Y	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.33219#G5CK
Tensor nuclear rank	75RGF23VTP	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.33219#CAZR
tensor operator	G03C33ZXMZ	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 2505.04063#IIEC
tensor operator norm	HGFTTQTBRR	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 2505.04063#Q7I2
tensor power	M8QVFNFTPD	unknown	open	Wikidata Q77977447, nLab tensor power
tensor product	6NZZ348DC2	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q1163016, EoM Tensor_product, MathWorld VectorSpaceTensorProduct, nLab tensor product
tensor product	9DXJWA5N58	unknown	open	mathlib_overview Linear algebra > Fundamentals > tensor product, Mathlib TensorProduct
tensor product of algebras	33DGH2ZC6H	unknown	open	mathlib_overview General algebra > Algebras over a ring > tensor product of algebras, Mathlib Algebra.TensorProduct.instAlgebra
tensor product of commutative monoids	PK29NAKN5R	concept	open	Wikidata Q139546703, nLab tensor product of commutative monoids
tensor product of graphs	C0ETYMJACT	unknown	open	Wikidata Q15994781, MathWorld GraphCategoricalProduct
tensor product of modules	YRR8WYCNZF	definition	open	Wikidata Q3406761, MathWorld ModuleTensorProduct, nLab tensor product of modules, ProofWiki Definition:Tensor_Product_of_Modules
tensor product of representations	Q6FHWK51E9	unknown	open	Wikidata Q48995828, nLab tensor product of representations
Tensor representation and effective coordinates	N7TFEMKYWW	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.06810#L9U7
tensor singular value decomposition: t-SVD	XB07GW15TT	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 2505.04063#UT3C
tensor space	AMM46PEXAW	unknown	open	Wikidata Q16635030, MathWorld TensorSpace
Tensor spectral calculus	1T17TBAVBP	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.22109#Z8BE
Tensor spectral norm	PMEY93VMRM	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.33219#XYSB
tensor spectral norm	SA9Z858MKJ	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 2505.04063#XO1J
tensor tubal rank	D6RVS2YXSJ	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 2505.04063#GI61
Tensor-coordinate estimate	3ZPDFNNZX9	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.26743#BZJH
Tensor-factor extraction	SY5N5KYVB5	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.00364#5NQ1
tensor-hom adjunction	PNYPWXJR2M	concept	open	Wikidata Q16147769, MathWorld Adjunction
Tensor-product tails	2DY5V2BJ36	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.36594#ZGFQ
Tensorization of barycenters	S5Z9RFCN0K	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.01855#VYA8
Tent domination	QBCYEHAB20	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.16351#VXI1
Teodor Precupanu	EYTK3JNXAA	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q102230644, ProofWiki Mathematician:Teodor_Precupanu
TEP25D2HQK	TEP25D2HQK	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.26922#00SL
TEP6HKM1H7	TEP6HKM1H7	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.01346#WLTU
TEPT1EVTCX	TEPT1EVTCX	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.37815#G4BM
TEQ5P1Y42P	TEQ5P1Y42P	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 1009.2047#1OT7
TEQ74J1241	TEQ74J1241	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.28454#V8LY
TEQJSYDJSC	TEQJSYDJSC	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.16606#S5Q3
TEQRRHZNX5	TEQRRHZNX5	statement	open	lebl_ra ch-several-vars-ders.tex#prop-11
tera	EMV9QXH3X3	definition	open	Wikidata Q108529, ProofWiki Definition:Metric_System/Scaling_Prefixes/tera-
terabyte	YQKMCJAHTD	unknown	open	Wikidata Q79741, MathWorld Terabyte
teraelectronvolt	MK8BVT0PMS	unknown	open	Wikidata Q3984193, nLab TeV
Terao's factorization theorem	S8EJCNSM11	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.13291#NDNC