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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 3301–3400 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The Burali-Forti paradox | YV0FEJH2NV | statement | open | Wikipedia Absolute infinite#9FFG |
| The Buridan formula | ZA0ZBTQEM2 | statement | open | Wikipedia Buridan formula#VN3Y |
| The BV algebra determines $\pi_1$ | VRGMQ1H1DE | 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.04164#FYCL |
| The Cabal | 6P0DT48BJR | definition | open | Wikipedia List of set theory topics#VV0N |
| The Calculating Machines | XHXMW1YNPC | definition | open | Wikipedia The Calculating Machines, Wikidata Q85806697 |
| The calibrated framing signs | 1JEZ3YGJT5 | 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.29839#1NZQ |
| The calibration constant | 27BJHMQJMC | 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.05164#EHHS |
| The Canadian Journal of Statistics | 8RNG9XKXK3 | unknown | open | Wikipedia List of statistics journals#ZRNH |
| The cancellation law | R3R8ARV1CQ | statement | open | Wikipedia Proofs of Fermat's little theorem#IWJN |
| The canonical bundle formula | T8J8H8NC5A | statement | open | Wikipedia Canonical bundle#QDIV |
| The canonical certificate can hide structure | JKQB4AH1YV | 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.40290#GK2B |
| The canonical circle action | VEZPQX4Z2F | 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.29839#1PQB |
| The canonical form on modular lattices | 9CSFKGF86Q | 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.33469#QBQG |
| The canonical graph | WVXF8P3WQB | 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.12434#VFAE |
| The cap and the pair term | ZBJNB8TZWH | 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.25120#WF3R |
| The capacity reduction from disconnected components | RCWN95N4RY | 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.38228#WAVH |
| The Caracciolo–Sportiello–Sokal identity for Manin matrices | BSC21BJF3G | statement | open | Wikipedia Capelli's identity#VO46 |
| The case $(a,b)=(3,4)$ | BVT1DFWNZ3 | 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.20567#RPBO |
| The case $(a,b)=(4,5)$ | 8BZYRG0V9T | 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.20567#5RPY |
| The case $\ell=2$ | E6CPM1MNPV | 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.40207#FRCK |
| The case $\mu=\nu=(1)$ | G2R6VSV6B3 | 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.12326#LMCW |
| The case $b = -1$ | KFE3006GN4 | 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.01924#FH80 |
| The case $b = 0$ | AJ00AGKVXS | 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.01924#K36X |
| The case $b = 1$ | PZFB3P05QV | 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.01924#PC3K |
| The case $m = 2$ | PFX9BZX87T | 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.25353#EAO2 |
| The case $m= 3$ | RY3R54C441 | 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.25353#8D7Y |
| The case \(b<0\ | 92XY6CRH97 | 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.39218#PHG4 |
| The case \(b>0\ | R7ECFD60DF | 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.39218#TA1H |
| The case \texorpdfstring{$q=1$}{q=1} and the branched Stieltjes recursion | 2XBN2JDFWW | 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.26066#OVFW |
| The case when the lower threshold is active | 5Q9G2FQ54E | 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.18242#LNX6 |
| The case when the upper threshold is active | VKH9B59T3X | 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.18242#Y827 |
| The case without hysteresis | F0BFJNPKKW | 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.18242#YY5W |
| the category of algebras over a ring | N4EVNEZE2G | unknown | open | mathlib_overview General algebra > Algebras over a ring > the category of algebras over a ring, Mathlib AlgCat |
| The category of differentiable simulators | G98GF8D2DT | 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.26270#6LA0 |
| the category of measurable spaces | 9WJWCQ5CSS | unknown | open | mathlib_overview Analysis > Measures and integral calculus > the category of measurable spaces, Mathlib MeasCat |
| the category of modules over a ring | 9NYK3ZMEDK | unknown | open | mathlib_overview Linear algebra > Fundamentals > the category of modules over a ring, Mathlib ModuleCat |
| the category of rings | Z2QGJJGVCN | unknown | open | mathlib_overview General algebra > Rings > the category of rings, Mathlib RingCat |
| the category of topological spaces | ZS6QNM6G34 | unknown | open | mathlib_overview Topology > General topology > the category of topological spaces, Mathlib TopCat |
| The Cauchy identity | RHR3V2RKDK | statement | open | Wikipedia Schur polynomial#Q744 |
| The Cauchy-Schwarz Inequality | 5AY2NHK57Q | statement | open | mathlib_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 Cauchy–Binet formula | KYNPF8JA13 | statement | open | Wikipedia Lindström–Gessel–Viennot lemma#1D9L |
| the ceiling | 43BFH6YRWS | 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.06909#QDIT |
| The ceiling | BP5M0KXAW5 | 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.27765#1UX1 |
| The ceiling and the Stein exponent have one limit | 9YVKW1YS6A | 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.27765#QP7E |
| The ceiling binds the error | 4AMHB7R36Q | 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.27765#GY94 |
| The ceiling binds the error, not only the bound | AADW0MSP55 | 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.27765#I7VZ |
| The ceiling is not attained; i.i.d.\ model | HFPYDVVDSQ | 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.27765#ME0I |
| The ceiling is the compensator of the information spectrum | 28PVBFS5TT | 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.27765#YI3G |
| The ceiling, matched | P2YYPNSPSR | 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.27765#F4M8 |
| The ceiling, matched; i.i.d.\ model | EM630G7WXC | 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.27765#F363 |
| The cell inside a ball | X66GGYM5MD | 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.25120#KL70 |
| The centered identity | T9N3DP8852 | 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.12203#XINB |
| The centering lift | 7MCB6SMC4S | 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.05164#9LUC |
| The central family | JFHZN2Q0P1 | 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#YMM3 |
| The central gerbe and finite trace | J942JVJY3Z | 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.00490#4J4J |
| The central limit theorem | 8QW7RA4SB7 | statement | open | Wikipedia Central limit theorem for directional statistics#655S |
| The central symbol | 57Q9WVE6G0 | 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.00490#WOD6 |
| The Ceremony (cryptography) | N277DM6RWK | unknown | open | Wikipedia Zcash#N47G |
| The certificate as an integral quadratic constraint | AKXHCW1ZND | 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#3CO7 |
| The certificate lemma | RGS6J8J0ZN | 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.25120#274V |
| The certification scale under a supplied moment cap | JTBKS7FFQ2 | 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.15202#PS1H |
| The certified constant | NQXQDS3NF0 | 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.05164#TPG1 |
| The chain criterion rejects the false candidates | P68YXR04VH | 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.27966#JJF0 |
| The chain of equalities | AFBVE45FP6 | 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.14735#E3NY |
| The chain store paradox | 3A89R7KKRM | statement | open | Wikipedia Chainstore paradox#B4WH |
| The chamber volume polynomial | 17411DT6QN | 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.21670#PLFF |
| The Chandrasekhar transformation | Y8QXXP0D81 | 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.22513#OPTM |
| The change of image at exceptional parameters | HMZ1Y9JSXA | 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.25805#6I20 |
| The Channel Set | PG1F9DFZB0 | 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.01932#G3CU |
| The characteristic-five example from the first level | 9ZVK910DRM | 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.05652#629O |
| The characterization | 7E59867Y47 | statement | open | Wikipedia Left-right planarity test#3SVH |
| The Chase | TPH5KPB04J | unknown | open | Wikipedia List of algorithms#HQ7J |
| The Cherlin–Zilber conjecture | 13QCPMHC1E | statement | open | Wikipedia Stable group#AXS4 |
| The Chernoff--Stein exponent is the type-II exponent of an i.i.d.\ product | YKFFFD6E3R | 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.27765#CHBG |
| The Chernoff--Stein exponent of an \evar | FWYND6MPA1 | 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.27765#IXV5 |
| The chief-factor bound is not tight | E5MRY6J06A | 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.18154#5JWO |
| The choiceless Solovay model | F6PBH8WKZE | 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.14548#JLMN |
| the chord recovers the fractional amount of the next main summand | VA8A9FYZ08 | 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.03728#YTMZ |
| the chord recovers the limit profile | JQ8MTRDGVJ | 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.03728#SX3U |
| the chordless four-cycle | 215AKA1N2V | 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.32733#BLW6 |
| The Ciphers of the Monks | WC7Z1K5VHH | unknown | open | Wikipedia Cistercian numerals#686G |
| The circle | AGJ7516KVF | 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.31689#EBRG |
| The circle | KVKNFDRMZK | example | open | napkin tex/riemann-surface/affine-projective.tex#example-3 |
| The circle | Z9271PXMZ7 | 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.24777#J5HU |
| The clasp belt | 8XBPW4KX8P | 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.29839#47K0 |
| The class $n\equiv3\pmod6$ | FR2HAJ9E9X | 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.17100#2ATA |
| The class $n\equiv4\pmod6$ | QG1SBTQ9MN | 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.17100#BRA4 |
| The class $U_1$ | DTEPJ85T33 | 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.01216#RGRM |
| The class $U_2$ | Q29WFX8EYB | 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.01216#JKCM |
| The classical associated-group theorem in a homotopy four-sphere | 1XX82NR7HA | 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.29839#OWE2 |
| The Classical Groups | Z65ANEBNNR | definition | open | Wikipedia The Classical Groups, Wikidata Q7723308 |
| The classical Poincaré inequality | Z7NCEDVHAY | statement | open | Wikipedia Poincaré inequality#ZABX |
| The classical strong maximum principle for linear elliptic PDE | XG54TDV0QZ | statement | open | Wikipedia Maximum principle#BW30 |
| The classical weak maximum principle for linear elliptic PDE | KX9YK10GQ5 | statement | open | Wikipedia Maximum principle#ZERM |
| The clean dichotomy | M4QEY349BF | 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.04099#XH05 |
| The clock | 2XBHJ382QF | 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.04271#27LC |
| The Closed Graph Theorem | VRN82XFRBH | statement | open | Wikipedia Banach space#POQL |
| The closed testing principle | RTR46DXANQ | statement | open | Wikipedia Closed testing procedure#CE33 |
| The closure quotient | FV5J0PA5HS | 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.01329#11HX |
| The coarse bridge trial | 8VP0Q997ZR | 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.11330#4NZF |