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 3501–3600 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The cyclic quotient | J8GVH4EKVA | 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#AFGN |
| The Daily Mirror | H2RJQZQM4Z | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#W9K8 |
| The Daily Telegraph | EJD5PHZK8K | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#4JPN |
| The Darboux-Weinstein theorem | 2Q9GTAD26W | statement | open | Wikipedia Darboux's theorem#YQB6 |
| The de Almeida--Thouless threshold | KYCKC2KAJ0 | 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#O35S |
| The de Bruijn–Erdős theorem | GYT08ZWDGP | statement | open | Wikipedia Incidence geometry#JXA1 |
| The De Giorgi engine | CA902V76QA | 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.20097#P910 |
| The De Morgan laws in a Heyting algebra | J61PTAA8G1 | statement | open | Wikipedia Heyting algebra#J0FE |
| The decomposition is defined over $\Q$ | KHPF0DVDD1 | 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.01731#TR11 |
| The deduction theorem in predicate logic | TGSPJ68GEB | statement | open | Wikipedia Deduction theorem#Y3DL |
| The defect of a non-unit row | 1ABB486GSM | 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#IDVJ |
| The defect on convergent series cannot be removed | HGA7504HJA | 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#IS6S |
| The definition | PSBB961JVP | definition | open | Wikipedia Lie bialgebroid#YPQC |
| The definition of a spectrum | 30DA6NNB0Z | definition | open | Wikipedia Spectrum (topology)#W1FB |
| The definition of the cotangent complex | 3G33MSNDF9 | definition | open | Wikipedia Cotangent complex#AFZL |
| the degenerate reduction with a nonaffine constraint | 5QC8HZ234E | 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.01029#FYY1 |
| The degree-eleven loss | 3M8VEYHTX9 | 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#OKC6 |
| The degree-eleven monomial polygon | RT2HWF1DCH | 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#0G5I |
| The degree-five anticanonical metric | XBEXXBT8SB | 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.22832#YQ7R |
| The degree-five construction | KYWTWADZN1 | 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.20285#H044 |
| The Dehn–Lickorish theorem | AMHQ9V9R31 | statement | open | Wikipedia Mapping class group of a surface#LN2J |
| The Dehn–Nielsen–Baer theorem | SKT8BFHCZA | statement | open | Wikipedia Mapping class group of a surface#ZLYJ |
| The deletion configurations are rigid | PHS904WQQ3 | 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#BI6L |
| The density $d^{\plustimes}$ | 2QHGECB6EJ | 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.30410#CKN1 |
| The density as a conserved quantity | W1RJS8D9CD | 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.17026#L7KO |
| The density hypothesis | XKQP6YPK8K | statement | open | Wikipedia Lindelöf hypothesis#8NVS |
| The Denumerability of the Rational Numbers | ZAT7AREGG2 | statement | open | mathlib_100 3, Mathlib Rat.instDenumerable |
| The descent part and the frontier gradient | QC63XX1KH6 | 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.03638#377L |
| the description $\Delta$ | XKM742775S | 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#2Y1B |
| the description $D$ | WG14RRP54E | 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#VGQP |
| The Design of Experiments | FWEH5KXY03 | definition | open | Wikipedia The Design of Experiments, Wikidata Q7729822 |
| The design of the conversion path decides viability | AZ08BSQN4A | unknown | open | arXiv 2609.29554#TIG2 |
| The determinant and the permanent | T5205XZQJ0 | 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#6TLQ |
| The determinant as a product of Vandermonde determinants | SBVE4KWXEG | 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.20368#8TME |
| The determinant formula | 8RBGA9Z1P8 | statement | open | Wikipedia Continued fraction#I9MK |
| 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 $\beta=\alpha$ | RZCB6NDBVG | 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.23922#F67H |
| 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 Dinitz–Garg–Goemans theorem | CFJKP8KY8Q | statement | open | Wikipedia Dinitz–Garg–Goemans conjecture#TWIZ |
| 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 discovery of the completeness theorems | CN5ZWDFN9Z | statement | open | Wikipedia Leon Henkin#XHJV |
| The Diseases Population Index for lung cancer incidence | 4NBTZNPKC7 | definition | open | Wikipedia The Diseases Population Index for lung cancer incidence, Wikidata Q16255475 |
| 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 distribution axiom | RNRNX8VNH2 | statement | open | Wikipedia Epistemic modal logic#62EG |
| The distributive law | BAW4921Z62 | statement | open | Wikipedia FOIL method#GCZU |
| 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 DKW inequality | X9BCJMDNZK | statement | open | Wikipedia Dvoretzky–Kiefer–Wolfowitz inequality#Z1GN |
| The Doctrine of Chances | 1YQ4FW8S8T | definition | open | Wikipedia List of probability topics#KMBZ |
| The Doctrine of Chances | 3KXJQ3T00K | definition | open | Wikipedia The Doctrine of Chances, Wikidata Q2007756 |
| 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 Doughnut | E2REXW5MYH | definition | open | Wikipedia The Doughnut, Wikidata Q15870077 |
| The Drucker yield criterion | 4B7917WSEZ | statement | open | Wikipedia Drucker–Prager yield criterion#Q4L4 |
| The Drunkard's Walk | 3PVVB2PNR7 | definition | open | Wikipedia The Drunkard's Walk, Wikidata Q18011319 |
| 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 duality theorem | WDCZ856RCJ | definition | open | Wikipedia List of theorems#LM97 |
| The duality theorem | YX0DTAHY2N | statement | open | Wikipedia Stone duality#2LPS |
| The duality theorems | EF7T20PECP | statement | open | Wikipedia Dual linear program#YSAY |
| 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 Dynamics of an Asteroid | 7CDVC9TV8G | definition | open | Wikipedia The Dynamics of an Asteroid, Wikidata Q7731300 |
| The ease of knowing analytic propositions | X29EN8CY2P | statement | open | Wikipedia Analytic–synthetic distinction#FALU |
| The Econometrics Journal | 8EZSNK6W3Y | definition | open | Wikipedia The Econometrics Journal, Wikidata Q5333343 |
| 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 Effros-Handelman-Shen theorem | QV7JK2PYBC | statement | open | Wikipedia Approximately finite-dimensional C*-algebra#VN12 |
| The eight-square identity | BM34PFAH6Z | statement | open | Wikipedia Carl Ferdinand Degen#XG55 |
| The Einstein equivalence principle | ZXNG3J9YD7 | statement | open | Wikipedia Alternatives to general relativity#CERY |
| 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 Elements | NMRG0G11ZE | definition | open | Wikipedia List of mathematics books#34NZ |
| 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 | A5FQW64SGH | unknown | open | Wikipedia List of mathematics books#ZEJN |
| 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 |