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 5001–5100 of 5819.

Name	Id	Kind	Outcome	Sources
tungsten-183	XNXFG0PJRN	definition	open	Wikidata Q18882866, ProofWiki Definition:Tungsten/183
tungsten-184	2JDZWZDQMZ	definition	open	Wikidata Q18882868, ProofWiki Definition:Tungsten/184
tungsten-185	JDCWSGAE1K	definition	open	Wikidata Q18882869, ProofWiki Definition:Tungsten/185
tungsten-186	JADVXESSJ2	definition	open	Wikidata Q18882871, ProofWiki Definition:Tungsten/186
Tuning	HZW3DQZ264	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.32140#25TW
tunnel number	KF152EXA36	unknown	open	Wikidata Q16994816, MathWorld TunnelNumber
Tunneling beyond semi-excited states	WRFF8FPXDZ	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.28076#3UBT
Tunnell's theorem	Z59TZJME24	statement	open	mathlib_1000 Q7853325, Wikidata Q7853325, thousand_plus Q7853325, Wikipedia Tunnell's theorem
Tupper's self-referential formula	82N8SXZXWP	unknown	open	Wikidata Q2630528, MathWorld TuppersSelf-ReferentialFormula
Turaev	ZY6QQGRJC6	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 2111.07409#34CN
turbulence	GW8664MM00	topic	open	Wikidata Q190132, EoM Turbulence,_mathematical_problems_in
Turing completeness	6RKW0CT32H	concept	open	Wikidata Q197970, MathWorld Universality
Turing degrees	23Z8DCS89Z	unknown	open	mathlib_overview Logic and computation > Computability > Turing degrees, Mathlib TuringDegree
Turing machine	1MXBCXC459	definition	open	Wikidata Q163310, MathWorld TuringMachine, ProofWiki Definition:Turing_Machine
Turing machine	7SJN9S3ZHC	unknown	open	mathlib_overview Logic and computation > Computability > Turing machine, Mathlib Turing.TM0.Machine
Turing machine	MH8SPTJA5X	definition	open	open_logic content/turing-machines/machines-computations/turing-machines.tex#defn-1
Turing's method	QZGBX5DQZP	concept	open	Wikidata Q96411357, MathWorld TuringsMethod
Turkey	Q7B8FNC21X	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q43, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Turkey
Turmite	P36W8CQDWQ	unknown	open	Wikidata Q3099136, MathWorld Turmite
Turán graph	9M5M1NN2ZS	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q720459, MathWorld TuranGraph
Turán's brick factory problem	8HFM575YWV	problem	open	Wikidata Q25303632, MathWorld ZarankiewiczsConjecture
Turán's theorem	V6HN7H6FVT	statement	node (a node has the same name as the row)	mathlib_1000 Q1047749, Mathlib SimpleGraph.isTuranMaximal_iff_nonempty_iso_turanGraph, Wikidata Q1047749, mathlib_overview Combinatorics > Graph theory > Turán's theorem, thousand_plus Q1047749, Wikipedia Turán's theorem
Turán–Kubilius theorem	1C86V37NB9	statement	open	mathlib_1000 Q7856599, Wikidata Q7856599, thousand_plus Q7856599, Wikipedia Turán–Kubilius inequality
Tusi couple	19775CH4E7	statement	open	Wikidata Q1035674, MathWorld TusiCouple
Tutte	4EE8VGFRG8	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.28552#IQKR
Tutte 12-cage	Q456GZWBT4	unknown	open	Wikidata Q731686, House of Graphs 1397, MathWorld Tutte12-Cage
Tutte conjecture	9MPFPVJEJY	conjecture	open	Wikidata Q118372164, MathWorld TutteConjecture
Tutte contrast	9G5BSEVWMC	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.20649#AJ6P
Tutte graph	QVB6E8HNT9	unknown	open	Wikidata Q3115541, House of Graphs 1399, MathWorld TuttesGraph
Tutte matrix	A00S7EMMMH	concept	open	Wikidata Q7857001, MathWorld TutteMatrix
Tutte polynomial	49S6KS7SDN	unknown	open	Wikidata Q7857002, MathWorld TuttePolynomial
Tutte theorem	5SJYM3MGXT	statement	node (a node has the same Wikidata item as the row)	mathlib_1000 Q510197, Mathlib SimpleGraph.tutte, Wikidata Q510197, thousand_plus Q510197, Wikipedia Tutte theorem, MathWorld TuttesTheorem
Tutte–Coxeter graph	ACCRHQ8RP1	unknown	open	Wikidata Q3115542, House of Graphs 1208, MathWorld Tutte8-Cage
TV convergence, dimension-dependent warm-up	HRV10QKM99	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.10640#YV3K
TV norm of the iterates	Y7RNQ21A7B	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#ID8L
TV-distance between Markov chains	C1C5ZHKHHZ	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.24235#66X3
TV-distance between mixtures of Markov chains	1DNTKJZBXE	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.24235#2C4I
TV-distance between mixtures of product distributions	C5XDRPHF02	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.24235#GJ45
TV-distance between product distributions	FC1S0GDW5B	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.24235#EB2N
TV09N5TAHN	TV09N5TAHN	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.35543#MYY8
TV0XRMCM7M	TV0XRMCM7M	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.06719#6O56
TV128R1C6A	TV128R1C6A	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 2212.05398#0343
TV163414JK	TV163414JK	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.09298#PN9O
TV1HTB47HB	TV1HTB47HB	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 2403.15255#7EJL
TV2D0D3DRE	TV2D0D3DRE	statement	open	open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#prop-2
TV2HXCHH2W	TV2HXCHH2W	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.31126#8FEQ
TV2RZN10RD	TV2RZN10RD	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.06806#SORY
TV2VBZXMCN	TV2VBZXMCN	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.04398#ICN5
TV3Y4C8WDJ	TV3Y4C8WDJ	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.00134#XC5D
TV4PZB1EB2	TV4PZB1EB2	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 2308.02672#BJSC
TV51M8BKTP	TV51M8BKTP	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.24578#QMSS
TV5GTYC0M2	TV5GTYC0M2	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.03083#AEX1
TV5PZ84GSY	TV5PZ84GSY	statement	open	lebl_ra ch-metric.tex#prop:topology:ballsopenclosed
TV5WSFPG9S	TV5WSFPG9S	exercise	open	napkin tex/diffgeo/forms.tex#exercise-2
TV6HDFPKDG	TV6HDFPKDG	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#X0UZ
TV6J3DS20A	TV6J3DS20A	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.40054#E0FH
TV6N35MFEG	TV6N35MFEG	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.08837#7QH0
TV737A0DA6	TV737A0DA6	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 1010.3284#C4RD
TV76PD3Y2T	TV76PD3Y2T	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#498U
TV8CH0TTZ3	TV8CH0TTZ3	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.27918#V9P4
TV8RJR17Y5	TV8RJR17Y5	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.24807#LI6K
TV8S1WKCGN	TV8S1WKCGN	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.24412#IQJP
TV8WJD6DFV	TV8WJD6DFV	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.36725#QWN4
TV9BFK1KHA	TV9BFK1KHA	exercise	open	lebl_scv scv.tex#exercise-218
TV9NCPDKEJ	TV9NCPDKEJ	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.19468#G9MF
TV9SCP3MQE	TV9SCP3MQE	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.01803#22KY
TV9TJRZNAZ	TV9TJRZNAZ	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.18859#IRGI
TVA41KWJND	TVA41KWJND	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.05696#CZCN
TVAHNV79K7	TVAHNV79K7	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.31604#WSXG
TVAT8MST81	TVAT8MST81	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.10205#UUVH
TVBBDDJSK3	TVBBDDJSK3	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.17817#O9CS
TVCARQVCBD	TVCARQVCBD	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.21960#D1MF
TVCJW1BH21	TVCJW1BH21	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.05784#BGY0
TVDWYC0GE5	TVDWYC0GE5	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 2310.14879#N25P
TVE2VVCQEN	TVE2VVCQEN	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#ZLDK
TVEKN9VRGX	TVEKN9VRGX	exercise	open	lebl_diffyqs ch-first-order-ode.tex#exercise-3
Tverberg's theorem	TN4702ZSHA	statement	open	mathlib_1000 Q7857350, Wikidata Q7857350, thousand_plus Q7857350, Wikipedia Tverberg's theorem
TVF23S5TP0	TVF23S5TP0	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#ZHVE
TVFTEBV34F	TVFTEBV34F	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.22082#3ZFD
TVGTPG1DBK	TVGTPG1DBK	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 2506.09840#A1MO
TVH520FTBP	TVH520FTBP	example	open	napkin tex/calculus/integrate.tex#example-1
TVHK43F429	TVHK43F429	exercise	open	lebl_ra ch-metric.tex#exercise-74
TVHNJNM23D	TVHNJNM23D	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.07240#QQEY
TVJ6JXG45M	TVJ6JXG45M	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.20994#DBWR
TVJAJX8GX4	TVJAJX8GX4	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.07546#5I7F
TVJGEWAANT	TVJGEWAANT	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.28794#32O0
TVJVWE48ZT	TVJVWE48ZT	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.01915#JRK7
TVJZ3MQQ8W	TVJZ3MQQ8W	exercise	open	lebl_ra ch-contfunc.tex#exercise-60
TVKNHKVQ48	TVKNHKVQ48	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.38838#6CXI
TVKP5ZJWCH	TVKP5ZJWCH	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.13618#326J
TVKZ4GN403	TVKZ4GN403	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.06739#7SR4
TVM8RZ7TWE	TVM8RZ7TWE	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 math/0406514#3KTN
TVMCEPZMVZ	TVMCEPZMVZ	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.05365#JVKH
TVMEWRBR4J	TVMEWRBR4J	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.01828#C9E2
TVMV3BCGHG	TVMV3BCGHG	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.05193#N4L8
TVMWS8C6FM	TVMWS8C6FM	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.00409#Z5T7
TVNN7ZJJH9	TVNN7ZJJH9	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.06707#NK6B
TVPCC5AY5Y	TVPCC5AY5Y	exercise	open	lebl_ra ch-contfunc.tex#exercise-22
TVPD4Z5Z06	TVPD4Z5Z06	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 1802.02910#44WB
TVPERTX5FC	TVPERTX5FC	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.08426#QUVZ