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 5501–5600 of 5819.

NameIdKindOutcomeSources
TY40DRH7CHTY40DRH7CHstatementrecord (an 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.19285#QI5X
TY550WJEWPTY550WJEWPexerciseopenlebl_diffyqs ap-linear-algebra.tex#exercise-19
TY565M19MBTY565M19MBstatementrecord (an 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.16814#QIGY
TY58R5R5GETY58R5R5GEstatementrecord (an 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.00843#HDPW
TY664EVXVTTY664EVXVTexamplerecord (an 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.03327#GDSH
TY6RJJCVX4TY6RJJCVX4statementrecord (an 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.38659#11XV
TY6WK6KGX6TY6WK6KGX6statementrecord (an 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.30664#772P
TY6XHF0VGPTY6XHF0VGPexerciseopenhott_book preliminaries.tex#ex:without-K
TY7PHH6009TY7PHH6009statementrecord (an 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.04305#ABPW
TY8QWTQSGATY8QWTQSGAdefinitionrecord (an 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.21461#4W9J
TY95B32E8VTY95B32E8Vexamplerecord (an 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.24553#7PNX
TYB6JZBD9RTYB6JZBD9Rstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2509.16523#M77S
TYBE9W8VN5TYBE9W8VN5statementopenhott_book homotopy.tex#thm:pinsn
TYBKA9GVSRTYBKA9GVSRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2507.12309#1ANN
TYBTW7TTM5TYBTW7TTM5statementrecord (an 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.01818#MSUB
TYC1H9SAWJTYC1H9SAWJstatementrecord (an 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.05715#7875
TYCB5ZG3SATYCB5ZG3SAdefinitionrecord (an 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.04761#LI4T
Tycho BraheVHWGWED7TJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q36620, ProofWiki Mathematician:Tycho_Brahe
Tychonoff cube84AMVQM144examplerecord (an 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.33841#VKKO
Tychonoff plankHJ33MWC9HSconceptopenWikidata Q250509, MathWorld TychonoffPlank
Tychonoff's theoremAAHZ150GBKstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q1137014, Mathlib isCompact_pi_infinite, Wikidata Q1137014, thousand_plus Q1137014, Wikipedia Tychonoff's theorem, MathWorld TychonoffTheorem, ProofWiki Tychonoff's_Theorem
TYCQAZ82W0TYCQAZ82W0statementrecord (an 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.24845#NLKX
TYCZV0RZSWTYCZV0RZSWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2510.12502#AEFI
TYD5211ZVHTYD5211ZVHproofopenhott_book basics.tex#proof-31
TYD71H6T0KTYD71H6T0Kstatementrecord (an 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.40274#V4FS
TYDC0ATJWXTYDC0ATJWXdefinitionrecord (an 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.02901#PKEV
TYDCTRQ5Y9TYDCTRQ5Y9statementrecord (an 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.10963#A67S
TYDF0QH1FBTYDF0QH1FBexamplerecord (an 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.04046#WVPG
TYE3GE9G5KTYE3GE9G5Kstatementrecord (an 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.13528#8ZF7
TYECCNAR36TYECCNAR36exampleopennapkin tex/homology/singular.tex#example-5
TYEYK258T3TYEYK258T3statementrecord (an 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.19694#2J68
TYFCX9ZQ33TYFCX9ZQ33statementrecord (an 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.21929#DEK0
TYFS8K8ZY7TYFS8K8ZY7statementrecord (an 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.32446#Z5HH
TYGBYME638TYGBYME638statementrecord (an 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.00914#UFCG
TYHDXHFE13TYHDXHFE13statementrecord (an 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.32906#0D5Q
TYHR758ZGFTYHR758ZGFconjecturerecord (an 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.21533#D2MZ
TYHZ0HBTVKTYHZ0HBTVKstatementrecord (an 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.04675#V753
TYJB62SVVATYJB62SVVAstatementrecord (an 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.17411#7AWN
TYJS6B23ZJTYJS6B23ZJstatementrecord (an 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.28774#X6UW
TYJW8FBADKTYJW8FBADKstatementrecord (an 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.28597#M0YX
TYK6DMJPA3TYK6DMJPA3statementrecord (an 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.14154#R6BK
TYKDSS8V4TTYKDSS8V4Tstatementrecord (an 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.03837#5TGK
TYM0MJ0AY2TYM0MJ0AY2exerciseopenlebl_ra ch-metric.tex#exercise:CabRcomplete
TYP5VC5QB1TYP5VC5QB1statementrecord (an 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.08944#AQMZ
type6W2AQD2M94unknownopenWikidata Q834884, nLab type (in model theory)
typeP2Q9E9Q54RconceptopenWikidata Q124168363, MathWorld Type, nLab type
Type $(1, 0)$ and type $(0, 1)$ $1$-forms64K6NM85K8definitionopennapkin tex/riemann-surface/forms.tex#definition-3
Type $\omega$-Vaught's conjectureXV9MJW95DJconjecturerecord (an 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.09314#MSBJ
Type $A$ endpoint specializationVMSDS8TPQ0statementrecord (an 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.04325#WP9D
type 0 string theoryEB40YFQ6YKunknownopenWikidata Q1051074, nLab type 0 string theory
Type \texorpdfstring{$A_2$}{A2} with the chordal diamondJ3ZF2V4B4Gexamplerecord (an 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.04325#5VFD
Type determines the hypothesis up to $n^2$ bitsGGATNYMB12statementrecord (an 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.40290#KFMB
Type Gluing Model $\Uc_i^\ast$K38J2MGGCKdefinitionrecord (an 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.21131#W77K
type I domainAA5NYK0KGZconceptopenlebl_ra index/5.6/type-i-domain
type I error3WJPFRFAH2conceptopenWikidata Q1369227, MathWorld TypeIError
Type I estimateGS2AT1HB2Gstatementrecord (an 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.11487#W1FY
type I minimum value distribution364AN1XX1WunknownopenWikidata Q113481001, MathWorld GumbelDistribution
type I string theoryM1RQHQJEF3unknownopenWikidata Q2276860, nLab type I string theory
Type I$_2$ estimatesMSC3723J8Bstatementrecord (an 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.11487#FM27
Type I, Type $\mathrm{I}_2$, Type II trichotomy7WXZ0XDW25statementrecord (an 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.09567#PKFD
Type I, Type II, Type I/II trichotomyRTN0MSPSCAstatementrecord (an 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.09567#LD0F
Type IIRRNQPT2G7Cstatementrecord (an 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#D0V4
Type II admissible supportXG6GN1KEGQdefinitionrecord (an 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.26055#JV73
Type II block normal formCXQQSQ23GKstatementrecord (an 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.26055#P0LJ
type II domainHG8W18ENDCconceptopenlebl_ra index/5.6/type-ii-domain
type II error8DZ5ZYHAYRunknownopenWikidata Q1369221, MathWorld TypeIIError
Type II estimatesN7ASET48S8statementrecord (an 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.11487#JNSR
Type II Farey data from $q,d,z$26YHMESWQKstatementrecord (an 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.26055#7OEO
type II string theoryM1GH4HFV0JunknownopenWikidata Q2556395, nLab type II string theory
Type II support theoremKK0BPMSEC1statementrecord (an 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.26055#3VDA
type III domain70PFCE4S71conceptopenlebl_ra index/5.6/type-iii-domain
Type III estimate5B192HDS7Astatementrecord (an 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.11487#2D21
Type III estimateQGQYKR2GHYstatementrecord (an 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.19273#7GH4
Type of hidden choiceTCPE3JX0VTstatementrecord (an 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#PXE4
Type of visible choiceYEWZ8M6H1Tstatementrecord (an 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#9EL3
type theory2HENY574BGconceptopenhott_book index/A.1/type-theory
type theoryK75EPE3A0Fconceptopenhott_book index/u1.u1/type-theory
type theorySW8TAYCBWStopicopenWikidata Q1056428, nLab type theory
type theory, extensional4HTKXNSFK6conceptopenhott_book index/A.12.3/type-theory-extensional
type theory, extensional70R3N1CAK9conceptopenhott_book index/1.15/type-theory-extensional
type theory, formalD1GZ7S1P30conceptopenhott_book index/4/type-theory-formal
type theory, formalGW8CTN2J23conceptopenhott_book index/u1.u6/type-theory-formal
type theory, informal7B74FAG55Xconceptopenhott_book index/A.1/type-theory-informal
type theory, informalD4MHW5HNP5conceptopenhott_book index/u1.u6/type-theory-informal
type theory, intensional4ZKWHJFEKEconceptopenhott_book index/A.12.3/type-theory-intensional
type theory, intensionalX4CW42CZ1Aconceptopenhott_book index/1.15/type-theory-intensional
type, $n$-sphere4NSTCQZ07Tconceptopenhott_book index/7.6/type-n-sphere
type, $n$-sphereC8EACCT33Rconceptopenhott_book index/5.5/type-n-sphere
type, $n$-sphereYBH0QBSC1Tconceptopenhott_book index/5.4/type-n-sphere
type, 2-sphereD04AMGRE7Econceptopenhott_book index/5.1/type-2-sphere
type, 2-sphereNKY4F83PPJconceptopenhott_book index/5.4/type-2-sphere
type, circle1ER7V9XWF3conceptopenhott_book index/5.5/type-circle
type, circle23KA4KABCPconceptopenhott_book index/4.3.2/type-circle
type, circle7ANNMGHNKGconceptopenhott_book index/5.4/type-circle
type, circleEZ8E9KVSQ3conceptopenhott_book index/5.1/type-circle
type, circleX60MPKRCDMconceptopenhott_book index/5.2/type-circle
type, colimit5DPVT0Q1YZconceptopenhott_book index/5.8/type-colimit
type, colimitFHH9FNGQYXconceptopenhott_book index/1.15/type-colimit
type, contractibleY18WH2R2GXconceptopenhott_book index/9.11/type-contractible
type, coproduct2SBKHMBKKKconceptopenhott_book index/1.12/type-coproduct