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 2001–2100 of 5819.

NameIdKindOutcomeSources
The atom3VRVS6M7DGstatementrecord (an 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.06480#JMQ1
The band cover criterionBEFQZCH8Q2statementrecord (an 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.27641#NU2K
The band problem at a contactS5ZZV9FQMCstatementrecord (an 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#J0Q7
The band theorem at every exponential rateJPPW9RYMW8statementrecord (an 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#X79S
The bar as a bridge, the number line as arrivalMMXX3S2TYHstatementrecord (an 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.14735#5A21
The base-vacuum rule: the spin modulo $1$40NJSSAJWGstatementrecord (an 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#WPFM
The based loop sideT22YS6T4FQstatementrecord (an 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.04164#RSMX
the basisFTV715Q2WSstatementrecord (an 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.18803#FJI9
The Beauville--Mukai systemN1YCJJ91TCexamplerecord (an 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#VFST
The Bernoulli product law1EDAHKEBQ0statementrecord (an 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.26984#2T1J
The Bethe classes of every wordSVNV2768STstatementrecord (an 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#TD8B
The binary exceptionVBTEDMTP5Rstatementrecord (an 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#F1AT
The binary invariant3NCC5JMWGZstatementrecord (an 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.13365#TFS3
The Birthday Problem5KTBH6CHJCstatementopenmathlib_100 93, Mathlib Theorems100.birthday, Mathlib Theorems100.birthday_measure
The bit as a single spin-bordism coordinateJS3YYC9JVTstatementrecord (an 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#QIBC
The Blagove\v{s}\v{c}enski\u{i} identitiesAW2ZBMPYC0statementrecord (an 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.13629#N6FH
the blocks form a forestVAW4C9QN5Kstatementrecord (an 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.05617#2YPQ
The Book of NumbersG8YQY2S5H9unknownout_of_scope (a book, not an item of mathematics)Wikidata Q56805646, ProofWiki Book:John_H._Conway/The_Book_of_Numbers
The Book of SquaresDCM1BG01RRunknownout_of_scope (a book, not an item of mathematics)Wikidata Q7719307, ProofWiki Book:Leonardo_Fibonacci/Liber_Quadratorum
The border support modelT6J6W75RS5statementrecord (an 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.27320#HJGW
The Borell-Brascamp-Lieb inequalityC8SCYEKXGHstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2404.08319#DVTT
The Bottle ImpXEDM07C6H1unknownout_of_scope (a book or a journal, not an item of mathematics)Wikidata Q82737, MathWorld BottleImpParadox
The bottom of the support for small fieldsWHHNHVTYRWstatementrecord (an 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.06480#ZO3Q
The bound can fail completelyFX54KRSGA1examplerecord (an 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.05558#132F
The bound from the smallest heapG3N98BARRGstatementrecord (an 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.06925#EIXM
The bound of the second levelDDT8TMBFWNstatementrecord (an 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#O0WZ
The bound on the modulusX04ZK1S66Hstatementrecord (an 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.26058#24LY
The boundary case $\kappa=1$X953QD4SAYstatementrecord (an 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.04944#PPO1
The boundary casesSKBC4EGKQZstatementrecord (an 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.30544#AFLB
The boundary fibre at $t=0$3WYYECZCZHstatementrecord (an 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.04099#WCYB
The boundary filtration9FE2JX5YPAstatementrecord (an 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.00490#8KXL
The boundary graph carries $H_1$W15TQNK9N3statementrecord (an 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.26196#1V0W
The boundary graph of a peelX7E8ZXQFQHstatementrecord (an 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.26196#LEBM
The Boundary LayerG319FMWMM9statementrecord (an 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.13222#JMJY
The boundary of a triangleBQBZP5JFGQexamplerecord (an 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.14783#I6CN
The boundary of the boundary is emptyQXYNFN4CJPstatementopennapkin tex/diffgeo/stokes.tex#theorem-1
The boundary of valuativityCDAGJXMA4Tstatementrecord (an 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#WCRM
The boundary: meetsW6QHEXRSC6statementrecord (an 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.11002#7I6F
The bounded joint reference4ZT8SZ9DEFstatementrecord (an 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#KCZS
The box in $\R$: an exactly solvable caseGZ3EGJP3DFexamplerecord (an 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.15086#JAVO
The branch as the limit of the selected leavesG73AAHT8NVstatementrecord (an 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.18350#Q8KE
The branch functionsKYDRPPZXCJstatementrecord (an 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.06480#2L98
The branched lineDK2P2SCZF7definitionrecord (an 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#KRI2
The branching vertex can be absent from every optimumX196KYRT9Aexamplerecord (an 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.31535#YGR1
The Brieskorn lattices, {\cfS4HC4V4KRBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2311.01874#LNAV
The BV algebra determines $\pi_1$VRGMQ1H1DEstatementrecord (an 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.04164#FYCL
The calibrated framing signs1JEZ3YGJT5statementrecord (an 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#1NZQ
The calibration constant27BJHMQJMCstatementrecord (an 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.05164#EHHS
The canonical certificate can hide structureJKQB4AH1YVexamplerecord (an 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#GK2B
The canonical circle actionVEZPQX4Z2Fstatementrecord (an 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#1PQB
The canonical form on modular lattices9CSFKGF86Qstatementrecord (an 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#QBQG
The canonical graphWVXF8P3WQBstatementrecord (an 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#VFAE
The cap and the pair termZBJNB8TZWHstatementrecord (an 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#WF3R
The capacity reduction from disconnected componentsRCWN95N4RYstatementrecord (an 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#WAVH
The case $\ell=2$E6CPM1MNPVstatementrecord (an 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.40207#FRCK
The case $\mu=\nu=(1)$G2R6VSV6B3examplerecord (an 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#LMCW
The case $b = -1$KFE3006GN4statementrecord (an 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.01924#FH80
The case $b = 0$AJ00AGKVXSstatementrecord (an 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.01924#K36X
The case $b = 1$PZFB3P05QVstatementrecord (an 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.01924#PC3K
The case $m = 2$PFX9BZX87Texamplerecord (an 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.25353#EAO2
The case $m= 3$RY3R54C441examplerecord (an 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.25353#8D7Y
The case \(b<0\92XY6CRH97examplerecord (an 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.39218#PHG4
The case \(b>0\R7ECFD60DFexamplerecord (an 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.39218#TA1H
The case \texorpdfstring{$q=1$}{q=1} and the branched Stieltjes recursion2XBN2JDFWWstatementrecord (an 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#OVFW
The case when the lower threshold is active5Q9G2FQ54Eexamplerecord (an 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.18242#LNX6
The case when the upper threshold is activeVKH9B59T3Xexamplerecord (an 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.18242#Y827
The case without hysteresisF0BFJNPKKWexamplerecord (an 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.18242#YY5W
the category of algebras over a ringN4EVNEZE2Gunknownopenmathlib_overview General algebra > Algebras over a ring > the category of algebras over a ring, Mathlib AlgCat
The category of differentiable simulatorsG98GF8D2DTdefinitionrecord (an 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#6LA0
the category of measurable spaces9WJWCQ5CSSunknownopenmathlib_overview Analysis > Measures and integral calculus > the category of measurable spaces, Mathlib MeasCat
the category of modules over a ring9NYK3ZMEDKunknownopenmathlib_overview Linear algebra > Fundamentals > the category of modules over a ring, Mathlib ModuleCat
the category of ringsZ2QGJJGVCNunknownopenmathlib_overview General algebra > Rings > the category of rings, Mathlib RingCat
the category of topological spacesZS6QNM6G34unknownopenmathlib_overview Topology > General topology > the category of topological spaces, Mathlib TopCat
The Cauchy-Schwarz Inequality5AY2NHK57Qstatementopenmathlib_100 78, Mathlib inner_mul_inner_self_le, Mathlib norm_inner_le_norm, mathlib_overview Analysis > Hilbert spaces > Cauchy-Schwarz inequality, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Cauchy-Schwarz inequality
the ceiling43BFH6YRWSproblemrecord (an 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.06909#QDIT
The ceilingBP5M0KXAW5statementrecord (an 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.27765#1UX1
The ceiling and the Stein exponent have one limit9YVKW1YS6Astatementrecord (an 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.27765#QP7E
The ceiling binds the error4AMHB7R36Qstatementrecord (an 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.27765#GY94
The ceiling binds the error, not only the boundAADW0MSP55statementrecord (an 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.27765#I7VZ
The ceiling is not attained; i.i.d.\ modelHFPYDVVDSQstatementrecord (an 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.27765#ME0I
The ceiling is the compensator of the information spectrum28PVBFS5TTstatementrecord (an 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.27765#YI3G
The ceiling, matchedP2YYPNSPSRstatementrecord (an 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.27765#F4M8
The ceiling, matched; i.i.d.\ modelEM630G7WXCstatementrecord (an 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.27765#F363
The cell inside a ballX66GGYM5MDstatementrecord (an 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#KL70
The centered identityT9N3DP8852statementrecord (an 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.12203#XINB
The centering lift7MCB6SMC4Sstatementrecord (an 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.05164#9LUC
The central familyJFHZN2Q0P1statementrecord (an 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#YMM3
The central gerbe and finite traceJ942JVJY3Zstatementrecord (an 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.00490#4J4J
The central symbol57Q9WVE6G0statementrecord (an 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.00490#WOD6
The certificate as an integral quadratic constraintAKXHCW1ZNDstatementrecord (an 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#3CO7
The certificate lemmaRGS6J8J0ZNstatementrecord (an 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#274V
The certification scale under a supplied moment capJTBKS7FFQ2statementrecord (an 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#PS1H
The certified constantNQXQDS3NF0statementrecord (an 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.05164#TPG1
The chain criterion rejects the false candidatesP68YXR04VHstatementrecord (an 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.27966#JJF0
The chain of equalitiesAFBVE45FP6statementrecord (an 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.14735#E3NY
The change of image at exceptional parametersHMZ1Y9JSXAstatementrecord (an 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.25805#6I20
The Channel SetPG1F9DFZB0definitionrecord (an 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#G3CU
The characteristic-five example from the first level9ZVK910DRMstatementrecord (an 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.05652#629O
The Chernoff--Stein exponent is the type-II exponent of an i.i.d.\ productYKFFFD6E3Rstatementrecord (an 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.27765#CHBG
The Chernoff--Stein exponent of an \evarFWYND6MPA1definitionrecord (an 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.27765#IXV5