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 2201–2300 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The determinant of a $2 \times 2$ matrix | E2DJCM08D8 | example | open | napkin tex/linalg/dets.tex#example-3 |
| The determinism lemma | CXA2QABS0D | 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#J5DZ |
| The deterministic coalescence comparison | DXY29MFQP2 | 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.14154#DSSU |
| the diagonal | G3K95AREQA | 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.01753#BT4P |
| The diagonal case | WYJ9MWV51R | 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.30544#5RC9 |
| The diagonal words | RQEZG4QSRZ | 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#WH71 |
| The dichotomy | NBPQ9NRASH | 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#9UHX |
| The dichotomy is a single-instance phenomenon: fixed schedules | JQJRBG4K4Y | 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.00295#J8G7 |
| The dictionary | 3TDQTNJ1KR | 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#82CA |
| The direct operator | H2NVSQ7NBJ | 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#TKCR |
| The direct problem for smooth data | MEQF4DAHGG | 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#6O71 |
| The Dirichlet Problem on a Box | 4C46X4JHXE | 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.13222#6ZXN |
| The Disk | 2WQ389AHDP | 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.31352#OPWC |
| The disk remains extremal | YY4X5SSF1S | 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.38041#Y7X7 |
| The divisibility lemma | 57VYD7R9PJ | 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 2607.25960#GXBX |
| The divisor correction is Steinberg-valued | ZQJ99ZP6A4 | 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.03520#Y1B8 |
| The domain | DWS8218K7S | 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.29605#D67P |
| The dominant saddle of the half-index is $V^*$ | TYBAZM0N21 | 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#NF4N |
| The dot product is the ``only'' inner form | 1BDEQH1V1C | example | open | napkin tex/linalg/inner-form.tex#example-5 |
| The double branched cover | MNV4ZPCH33 | 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#H29L |
| The double characteristic value at \(K\ | SX0C1YS70A | 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.19426#TN9C |
| the doubling functor | HHT2HX8DA4 | 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.37520#7RX6 |
| The dual basis for $V^\vee$ | 7R2N850J0T | statement | open | napkin tex/linalg/dual-trace.tex#proposition-2 |
| The dual function | 2Q1MR4V3RF | 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#UD91 |
| The dual octahedral axiom $(\mathrm{ET4})^{\mathrm{op}}$ | WZ5XCXJQCR | 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.00135#8RON |
| The dyadic group | 8G2N27GMEB | 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#8Y47 |
| the dynamic decomposition structure is flat, and its counting degenerates | 1BSDCVVVCP | 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.05617#MK2S |
| The edge hypothesis for the Parisi variables | ZD0PF77PT0 | 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#TK0K |
| The edge of the bulk | DS929JSZ11 | 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#D6RW |
| The Edinburgh philosophical journal | ANGP02QACD | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q5818510, ProofWiki Book:Journal/The_Edinburgh_Philosophical_Journal |
| The edit-cap term is unavoidable | AT73DGRMM9 | 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.11007#TF1F |
| The effect of row operations on the determinant | 71NH4XJS66 | statement | open | austin_ula src/section3-4.xml#proposition-det-row-operations |
| The effective case | 2VXQ1MXR06 | 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 2403.15255#59S3 |
| The effective central charge | YKV2D2GBXM | 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#GFKK |
| The effective gluing of $\K(27,5)$ | 5JS04BAMJH | 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#YOII |
| The effective sample size never exceeds the respondents | N3W9ECZYAQ | 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#L80S |
| The elastic feasible set is contractible | PKRVGAAX88 | 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.30173#1RUP |
| The elementary \texorpdfstring{$\tau$}{tau}-determinants | 8GXNPSK86F | 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#710F |
| The elliptic curve $y^2 = x^3 - x$ | WMJMCSANNN | example | open | napkin tex/riemann-surface/affine-projective.tex#example-4 |
| The embedding | ZVEZGWZ4TP | 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.26984#B0MD |
| The Emperor's New Mind | ARPJ1GW8KV | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q1448484, ProofWiki Book:Roger_Penrose/The_Emperor's_New_Mind |
| The empty coefficient and the spectral deficit | SCT1C9F74X | 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.16069#S1GN |
| the endomorphism induced by a correspondence | X08AD4WTD0 | 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.40207#UV33 |
| The endpoint $s=1$ | V5D4PVTF1R | 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.14069#JMJH |
| The endpoint estimate | 1BRP6X3F38 | 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.32387#TR0X |
| The enlarged site | N8AR72K8E6 | 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#BP18 |
| The entire invariant radical | 1HHRTW1XSF | 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.38212#GC1R |
| The equal-degree variant A | CJC0SSKMJJ | 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.21991#AT9P |
| The equation $A\xvec = \bvec$ | 2SQ00J3XKR | exercise | open | austin_ula src/section2-2.xml#activity-3 |
| The equilibrium measure near zero | 3J0HJP2QX6 | 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.06480#O7LA |
| The Equilibrium Measure of the Tail | VSJHFD3FJN | 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.13222#2AJK |
| The equivalent definitions of a Noetherian ring | 2111J5SGPY | statement | open | napkin tex/H113/ring-intro.tex#proposition-2 |
| The equivariant reduced fiber sequence | DE80BH1FWQ | 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.03865#YVF2 |
| The Erd\H{o}s--Ulam conjectures | 9GAK8834BZ | 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.02833#3QPQ |
| The error after one model step | NFKCFVRG7B | 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#FSZV |
| The error bound in the metastable seminorm | 7AXFZ4AFYV | 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.40214#I4OS |
| The estimator is a primal--dual gap | E09K0CR4W5 | 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.12088#N2PQ |
| the Euler exception | M5ZC6JM2D4 | 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.02743#BG1V |
| The even-$d=3$ unitary case: closed forms | 5NFXC3G1J4 | 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.15340#ATUD |
| The exact common-neighbor kernel | 8JA04B4ANT | 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.33365#4LNL |
| The exact flat-group reduction | FVSX4FV6QM | 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.12014#3P14 |
| The exact reduction | TFN22DTPMA | 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#H4XT |
| The exact two-step transition | A3X8EQF6ZG | 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#PR1P |
| the exact universal exponent | 5R797NFDMG | 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.27458#00AO |
| the exact-cover polynomial, and why it factorises | 1KTK3Y2ZJQ | 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.05617#EWSN |
| The exceptional branch is impossible | AW63B18AFJ | 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#CWTI |
| The exceptional order five | VZX9A56KWN | 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.10950#D2FG |
| The exceptional order four | JEBWMGK6Q6 | 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.10950#A543 |
| the existence of Morse Lyapunov functions | 9BVAZ8J6CR | 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.05626#9EJJ |
| The existence of solutions | AP3NC8DRWG | exercise | open | austin_ula src/section2-3.xml#ula-preview-2-3 |
| The expectile risk measure | 8P090NG5FR | 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.11917#3TFD |
| The explicit real--imaginary path formula | 8DCFKD6Y1W | 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.04325#H6LW |
| The exponent | EXK4WQ34TD | 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#FZ4B |
| The exponent of the likelihood ratio | G4F9TX2QZ8 | 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#W035 |
| The exponent of the one-step likelihood ratio | B3FED4E6V4 | 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#SCXI |
| The exponential-integral specialization | QXE818XKV1 | 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.26110#WFR1 |
| The extension used in each transform | HP5WGZV2PV | 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.10828#CM60 |
| the extremal collapse family | ZKNW1FG7SV | 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#R2K7 |
| The F\o lner function | B0BWHN1QZ8 | 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#IYZW |
| The faces | X3XMMQJH3Q | 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.14160#1BZE |
| The factor $1/2$ | TT8G3T76GW | 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#WNWW |
| The factor $2$ for an embedding | Z6DZW4DFZX | 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.26984#CZV0 |
| the factor $K$ | CJSZZDRZ7T | 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.19249#I2FI |
| The Factor and Remainder Theorems | TQS6C395XE | statement | open | mathlib_100 89, Mathlib Polynomial.dvd_iff_isRoot, Mathlib Polynomial.mod_X_sub_C_eq_C_eval |
| The factor-compatible sparse arithmetic-support hierarchy | DNMNQ0BEE4 | 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#JDDU |
| The Faddeev--Jackiw bracket is a reduced Dirac bracket | QTF3VT1PST | 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#O1E2 |
| The families of measures are the reparametrisable ones | B3B3BN9KPH | 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.26270#95Z6 |
| the family $\mathcal C$ | D3Q7FAVN4H | 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.01753#Q5WF |
| The family $P_1$ | S3YKWPCGWA | 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#8QRQ |
| The family $W(2q+1,2)$ | 9E5GAPV6X4 | 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.27153#B1FS |
| The family is a multiplicative convolution | Y0S8FCJZKK | 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#VN2X |
| The Fano plane | RVZS5RHKMV | 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#H005 |
| The fastest back-end changes completely with the machine | WXEXACJMKH | unknown | open | arXiv 2609.29554#UR8G |
| The fibering map | RSGWJQKS1V | 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.02933#NVZE |
| The field | 1K8YERKJHD | 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#11BH |
| The field conjugation causes no fusion for general $q$ | S7MH2F9QK9 | 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.15340#PFFU |
| The field factor | N3DZ902XKZ | 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.21662#QIM8 |
| The field kernel | 98ABC0Y8SQ | 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.21662#YFSS |
| The field large-deviation principle | MGGFWFBV4P | 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.02436#526X |
| The field of real constructible numbers | 9EMABR512G | 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.04317#TKKD |