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 3901–4000 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The history ultrametric | GDPVH7WGQ8 | 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.37375#WBXQ |
| The Hitchhiker's Guide to Calculus | 5P75ENREHT | unknown | open | Wikipedia Michael Spivak#OWUJ |
| The HOD Hypothesis, Woodin | V6WFR4C5QT | 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.32338#PC1X |
| The Hodge Standard Conjecture | R4RDMYX902 | statement | open | Wikipedia Standard conjectures on algebraic cycles#N830 |
| The Hoffman–Singleton theorem | GW0GFKCB7H | statement | open | Wikipedia Strongly regular graph#S4HA |
| The holomorphic-annihilator obstruction | GWE0RHHFFN | 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#2N2Y |
| The homogeneous space construction theorem | 6S1DFTJW4B | statement | open | Wikipedia Closed-subgroup theorem#1YXB |
| The homology groups of $S^m$ | HA9A95T9SF | statement | open | napkin tex/homology/long-exact.tex#thm:reduced_homology_sphere |
| The homology groups of the figure eight | 8VYMVAC1EE | statement | open | napkin tex/homology/long-exact.tex#proposition-1 |
| The homology suspension | NXJXF68WNV | 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#316Y |
| The homology suspension kills decomposables | CR7CAYPEBK | 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#42DE |
| The homotopy hypothesis | T41VXHW93P | statement | open | Wikipedia Fundamental groupoid#BDDK |
| The Hopf value through potentials | FAEZYZCB5M | 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.18350#Q9IX |
| The Howe–Umeda–Kostant–Sahi identity for antisymmetric matrices | 3HZNXMJ1W7 | statement | open | Wikipedia Capelli's identity#G1S3 |
| The Hume-Edwards principle | Z66BNRCGA5 | statement | open | Wikipedia Cosmological argument#AVZH |
| The Hunting of the Snark | XTV8DR0NNT | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q1079681, ProofWiki Book:Lewis_Carroll/The_Hunting_of_the_Snark |
| The Hurwitz–Radon theorem | DFANZFH4EX | statement | open | Wikipedia Hurwitz problem#HIMW |
| The hyperbolisation theorem | ERA24NJPB8 | statement | open | Wikipedia Hyperbolic 3-manifold#QZV0 |
| The hyperelliptic defect interval | T4ZSES9MN9 | 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.21093#P5OG |
| The hyperfinite-factor counterexample | P859MJE5KN | 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.03424#PII3 |
| The hypothesis test | C7W0N8GQW4 | statement | open | Wikipedia One-way analysis of variance#K85V |
| The hypothesis {$\EE[X_i]=0$} is important | 2CCQVAB2TK | example | open | napkin tex/measure/large-laws.tex#example-2 |
| The hypothetical extraspecial group is pinned down | F6K5ZGEGVY | 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#P7YF |
| The i.i.d.\ case | G4KP3K9V3J | 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.27766#MP5L |
| The i.i.d.\ model | AS7THPY5N5 | 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#OUET |
| The identified curve | P1JR4E2DTS | 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.14695#NEFL |
| The identifying signal factorizes through the relevance | QTB99MQV5Y | 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.14695#GCKK |
| The identity | 4HTWA4RZ1C | statement | open | Wikipedia Mingarelli identity#DMDS |
| The identity | AAAZNP0MZV | statement | open | Wikipedia Li Shanlan identity#82KM |
| The identity without a root set | JC8T3B4ATD | 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.13063#39UE |
| The Imitation Game | 2S70P5VPNB | definition | open | Wikipedia List of films about mathematicians#SLX8 |
| The Imitation Game | JYNW0DKDNA | definition | open | Wikipedia The Imitation Game, Wikidata Q14918344 |
| The implicit graph conjecture | CP02SXFRPX | statement | open | Wikipedia Implicit graph#79E6 |
| The Importance of Synthetic Apriori Propositions to Kant's metaphysics | B3B8CDPS0Y | statement | open | Wikipedia Analytic–synthetic distinction#EQSI |
| The Impossibility of Trisecting the Angle and Doubling the Cube | 2G3W1H7A3S | statement | open | mathlib_100 8 |
| The inclusion–exclusion principle | ZAA6WRFR0P | statement | open | Wikipedia Sieve theory#EH4F |
| The Independence of the Continuum Hypothesis | W7B0WKKAFF | statement | open | mathlib_100 24 |
| The Independence of the Parallel Postulate | R7QVMXCY4T | statement | open | mathlib_100 12 |
| The independent product | JP0M68ZC0J | 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.11002#HY90 |
| The index set for one new term | HFSDMPRFRY | 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#81HK |
| The index vector is the kernel vector of the monodromy | FHNZZ8PEF7 | 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#T2EF |
| The index window cannot be widened | 321ASVR2CK | 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.06490#VZGM |
| The indicator of $\Qcode$ | 5C8WVA8FD4 | 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.09341#XHPG |
| The Indispensability of Mathematics | TFVDR6EJHG | definition | open | Wikipedia The Indispensability of Mathematics, Wikidata Q60786085 |
| The individual long-horizon limit | 327Q8VH6TA | 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.39895#EOQG |
| The induced $\sigma$-algebra | REC5KDKJ0Q | 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#YRJN |
| The inequality | 6AN2XTKER2 | statement | open | Wikipedia Remez inequality#Z662 |
| The inequality | 9ETJGDAP1Z | statement | open | Wikipedia AM–GM inequality#ANX8 |
| The inequality | MNYZ7H6MAK | statement | open | Wikipedia Milnor–Wood inequality#S6C2 |
| The inequality | T8TG8CM9RZ | statement | open | Wikipedia FKG inequality#K9RF |
| The inequality constrained case | BTR70TCEZS | statement | open | Wikipedia Sequential quadratic programming#O5ZB |
| The Infinite Fan | 8H3WS5YJJH | 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.00934#AH2I |
| The infinite independence lemma | WBZA8WMMFC | 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 1912.02769#T92F |
| The information retained by an independent refinement | Y3FG4N4EF1 | 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#OFH2 |
| The inherited eigenspace | WK8313ECA0 | 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.14310#YZUP |
| The inhomogeneous Picard--Fuchs equation | DD23VG490T | 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.10821#K6R7 |
| the initial segment to the tail | D4H4NQNBSG | 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.27153#0CJF |
| The initial-condition matrices and their inverses | WHDKV0FRE0 | 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.08568#ZK1T |
| The inner infimum at a critical path | EJ5Z9EHX8S | 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.32710#O0KT |
| the inner products to the root system | GVEC3MWE1S | 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#36TN |
| The insertion routine | 8A9VBA9HCY | 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.10474#FNTF |
| The integral normalization of the cycle map | V1WVTC05J9 | 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#94L9 |
| The integral representation of $S_p(P)$ | 7KY8WXC4AM | 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.19410#F000 |
| the intermediate fields of $L/K$ for $G=\Z/p^n$ | 81XSEBJ0SW | 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#N2EO |
| The intermediate value theorem | 1371Z4CA7S | statement | open | Wikipedia Constructive analysis#K1CZ |
| The intermediate value theorem | E6NS9REZNA | statement | open | Wikipedia Completeness of the real numbers#LJNF |
| The intermediate-width bridge | V8DMCHYTKC | 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.19461#FX8P |
| The International Journal of Biostatistics | 3CJYZW2FV6 | unknown | open | Wikipedia List of statistics journals#MWTV |
| The interpolation and its adjoint | CP55BDV0G8 | 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.18350#V252 |
| The interpolation formula | 5X1B69Y1C1 | statement | open | Wikipedia Padua points#3WIT |
| The interpolation route is unavailable | Q0GM7BE7RF | 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#8BA4 |
| The intersection ring of the quotient | 6Y282QS61M | 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#R6P7 |
| The interval equality principle | MK2J7VH22W | statement | open | Wikipedia Binomial proportion confidence interval#0YYR |
| The interval is compact | 2B450B8JJJ | statement | open | napkin tex/topology/compactness.tex#thm:interval_compact |
| The invariant trace formula | ZJTV8189ZP | statement | open | Wikipedia Arthur–Selberg trace formula#ADMG |
| The invariant-quartic space is exactly $5$-dimensional | SY2RQ8GJSP | 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#H7TR |
| The inverse flux | D80511TAWY | 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.19296#SMHX |
| The inverse of $\widehat D_{+,\mathbf b}$ | B28TPDR79T | 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.24739#RUBA |
| The inverse of the displayed Dirichlet certificates | AXTX8WDGSM | 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.19461#BGZW |
| The inverse problem for rapidly decaying coefficients | 42YCCQCDNE | 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.13753#ZJAS |
| The Irrationality of the Square Root of 2 | 4RM0P6E39K | statement | open | mathlib_100 1, Mathlib irrational_sqrt_two |
| The irreducible calculation | ZJM4GZV3J3 | 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#M6C1 |
| The Ising boost along the pair chain | 3N6A1PQ1MY | 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.22301#C4RK |
| The isolated $n=0$ term | 8MBKAP1ZFA | 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.34016#FI6D |
| The isolation lemma of Mulmuley, Vazirani, and Vazirani | XDV69M757M | statement | open | Wikipedia Isolation lemma#JCUR |
| The isoperimetric inequality | H5MCRTCPBM | statement | open | Wikipedia Minkowski's first inequality for convex bodies#9C5I |
| The Isoperimetric Theorem | TK3A32GMVM | statement | open | mathlib_100 43 |
| The iterates enter the local region | E4FA6TZKAC | 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.06557#82QA |
| The iterates lie in the domain of the slope | 1AJN7GPKKN | 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.20998#FW8J |
| The iterates stay in a ball | HP9ZVXEAS9 | 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.35418#LTNU |
| The Itô–Alekseev–Gröbner formula | G065Z5R0DZ | statement | open | Wikipedia Alekseev–Gröbner formula#UO6I |
| The Jacobi identity | P7JT2RS3X0 | statement | open | Wikipedia Courant bracket#BCI3 |
| The Jacobi potential and ambient curvature | 83FH29Y7XJ | 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.32001#10HQ |
| The Jacobi-like moment-shift rectangle | C325NWH2M7 | 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#BYRD |
| The Jacobian at the non-identity fixed points | NE2EA8P59N | 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#IO2R |
| The Jacobson density theorem | VESRZPPE2W | statement | open | Wikipedia Simple module#ONVI |
| The jet embedding is a change of chart | 6JNF71MECA | 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.02637#ZUFR |
| The jet identifiability at any sampling rate | JKY5G1A4J7 | 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.02637#K8QQ |
| The John–Nirenberg inequality | NVRNE1X8P7 | statement | open | Wikipedia Bounded mean oscillation#XPBU |
| The Join-$C_{\max}$ Theorem | KD877CG890 | 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.20656#0P06 |