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 1601–1700 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TERCV4D6G4 | TERCV4D6G4 | 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.21533#22KM |
| Terence Tao | YFPR23H5MQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q295981, nLab Terence Tao, ProofWiki Mathematician:Terence_Chi-Shen_Tao |
| term algebra | KGFHCECNF9 | concept | open | Wikidata Q21998744, MathWorld HerbrandUniverse, Wikidata Q280896 |
| Term model | F1YN79NKV3 | definition | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#defn:termmodel |
| Term predicate closed under PER-equivalence | G88SWJFJ4B | 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.21131#UISE |
| Term retraction | XAR6YXJBNF | 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.39700#AVRL |
| term, closed | MD6XDV4C88 | concept | open | hott_book index/4.4/term-closed |
| term, convertibility of | 60WE9DCFQR | concept | open | hott_book index/4.1/term-convertibility-of |
| term, normal form of | 9CZSD3CNTB | concept | open | hott_book index/4.4/term-normal-form-of |
| Term-predicate syntactic escape | EXZ9DCHCM1 | 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.21131#O676 |
| Terminal $L^2$ asymptotic | ZKRCAFXF04 | 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.20414#AI9T |
| Terminal cosets | H0VPDJRFE8 | 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.03763#GOYH |
| Terminal groupoid object | GVG2E18JTD | 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.03865#H75T |
| Terminal identification | J5X167RZ5D | 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.17400#OV2D |
| Terminal localization and endpoint separation | M2GR746ZRE | 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.05204#1LFS |
| terminal object | B2CFVYBZA3 | definition | open | Wikidata Q91432273, MathWorld TerminalObject, nLab terminal object, ProofWiki Definition:Terminal_Object |
| Terminal output | TVYZ3BKHJ6 | 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.01843#0JKP |
| Terminal point | D4V3Y463JK | 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.30877#RXVJ |
| Terminal recovery away from shared component closures | T5TQYWVCW5 | 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#0TJG |
| Terminal sandwich | PXAPQSNRE5 | 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#MS8L |
| Terminal vertices | V4BHJ25ZDM | 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.00525#4LPP |
| Terminal wealth decomposition and admissibility | ACHBMD47QY | 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.08631#BXF0 |
| Terminal-exact recurrences and their gain | TJWGCNYHR4 | 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.05164#8U3A |
| Terminating hypergeometric components at the pure Euler boundary | DBTAG6WPEA | 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.26110#WNKU |
| Termination | KCWD9NQ4K6 | 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.28160#I7GP |
| Termination degree zero | Y6H4PHV3SB | 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.20593#2C9R |
| Termination of the finite-horizon program | VK2GTZWAXG | 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.28791#1KUQ |
| Terms | D57508T346 | definition | open | open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#defn:terms |
| Terms | XKYSPGDMHE | definition | open | open_logic content/lambda-calculus/syntax/terms.tex#defn:term |
| Termwise Calibration Error | ZMR77066XT | 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.03769#2XU0 |
| termwise comparison | EPYJQ3NSXE | 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.26134#3ICM |
| Termwise differentiation | SD7AZ5KJAQ | 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.11077#2DC5 |
| Ternary carry lemma | 7PXJ32Z5D9 | 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.25742#5DZS |
| Ternary extinction | 2E4EWVMWQG | 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.10557#P8RZ |
| ternary numeral system | EEZVNGAETA | definition | open | Wikidata Q1056486, MathWorld Ternary, ProofWiki Definition:Ternary_Notation |
| ternary plot | VXSQDCG43H | unknown | open | Wikidata Q1257468, MathWorld TernaryDiagram |
| ternary relation | BZBKZPWEZ7 | unknown | open | Wikidata Q3756532, nLab ternary relation |
| tesla | QQHDRNQ6BS | definition | open | Wikidata Q163343, ProofWiki Definition:Tesla_(Unit) |
| TESM82M3V1 | TESM82M3V1 | 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.18329#AULR |
| tessellation | WPC7B2VXCE | unknown | open | Wikidata Q214856, MathWorld Tessellation, Wikidata Q2995026 |
| tesseract | SK3Q33QRTR | unknown | open | Wikidata Q12142, MathWorld Tesseract |
| tesseract graph | YPSGZQYSY1 | unknown | open | Wikidata Q3115607, House of Graphs 1340, MathWorld TesseractGraph |
| Test Criterion , specialized to Shamir sharing | QHWD37D33A | 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.12357#PJ6M |
| Test functions | 9DRRZHK6JP | 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#0CO7 |
| Test functions | D2EMMHJPRE | unknown | open | mathlib_overview Analysis > Distribution theory > Test functions, Mathlib TestFunction, mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > smooth functions with compact support on $\R^d$ |
| Test plan | QQBAP3G4G4 | 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.21775#4QN5 |
| Test plans | DDE8V81BNY | 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 2204.04317#J84F |
| Test-noise energies for selected directions | DQSFG03XXE | 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.11309#EIHZ |
| TET4Q9TQTB | TET4Q9TQTB | 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.33682#G7SE |
| TET64XQJZX | TET64XQJZX | 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#KOXM |
| TETPDPPGF7 | TETPDPPGF7 | 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 2607.00146#ADLY |
| Tetrabiblos | N9HHSPGSA1 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q1879027, ProofWiki Book:Claudius_Ptolemy/Apotelesmatika |
| tetracategory | N4EE9WP9E7 | unknown | open | Wikidata Q7706224, nLab tetracategory |
| tetracontagon | 2ZX03TVPBZ | unknown | open | Wikidata Q16919645, MathWorld Tetracontagon |
| tetracontaoctagon | ZDKPA1MBDM | unknown | open | Wikidata Q25304284, MathWorld Octatetracontagon |
| tetractys | 8TJRF7W2C1 | definition | open | Wikidata Q609359, ProofWiki Definition:Tetractys |
| tetradecagon | TTYM4SD9A8 | unknown | open | Wikidata Q1058780, MathWorld Tetradecagon |
| tetradecagonal number | ZJVWHJ42PG | object | open | Wikidata Q18455108, OEIS A051866 |
| tetradecahedron | 9SKBJ3M9QT | unknown | open | Wikidata Q7706309, MathWorld Tetradecahedron |
| Tetradic number | XSKMM5F68F | unknown | open | Wikidata Q60750752, MathWorld TetradicNumber |
| Tetradyakis hexahedron | K5J2CN1DCS | object | open | Wikidata Q28001371, MathWorld TetradyakisHexahedron |
| Tetrahedral evaluations | B0RKB2TW7F | 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.11652#N6BT |
| tetrahedral graph | 8J4ZYB9YSC | unknown | open | Wikidata Q3115620, House of Graphs 74, MathWorld TetrahedralGraph |
| tetrahedral group | DZX6T1VHNX | statement | open | Wikidata Q45034192, MathWorld TetrahedralGroup, nLab tetrahedral group, ProofWiki Alternating_Group_on_4_Letters |
| tetrahedral number | 87HVRSB83X | unknown | open | Wikidata Q975166, MathWorld TetrahedralNumber, OEIS A000292 |
| Tetrahedral Spider Lemma | GEWK1A01DY | 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.38493#9SRX |
| tetrahedron | 148AQ2YQNG | concept | open | levin_dmoi index/5.3.2/tetrahedron |
| tetrahedron | KT74NVYHA5 | object | open | Wikidata Q160003, EoM Tetrahedron, MathWorld Tetrahedron |
| tetrahemihexahedron | 2CCCSWTWVN | object | open | Wikidata Q3100395, MathWorld Tetrahemihexacron |
| tetrakis hexahedral graph | W0EHZM4VF6 | unknown | open | Wikidata Q3115618, House of Graphs 1343, MathWorld TetrakisHexahedralGraph |
| tetrakis hexahedron | TEJ2924BWP | object | open | Wikidata Q664307, MathWorld TetrakisHexahedron |
| Tetranacci sequence | R6BD2YQKG1 | object | open | Wikidata Q3976563, MathWorld TetranacciSequence, OEIS A000078 |
| tetraquark | V0BJRRAAMH | unknown | open | Wikidata Q606387, nLab tetraquark |
| tetration | 3XKFP8MPQ4 | unknown | open | Wikidata Q194324, MathWorld PowerTower |
| tetromino | GTMRY36Y98 | unknown | open | Wikidata Q2082757, MathWorld Tetromino |
| TETZADA4YK | TETZADA4YK | 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.04834#IPA9 |
| TEV5DWXCTF | TEV5DWXCTF | 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.27911#ZF8H |
| Tevian Dray | WGQ4WKVAHM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7707133, nLab Tevian Dray |
| TEVSV57G67 | TEVSV57G67 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-10 |
| TEVWSSAZXG | TEVWSSAZXG | 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.10325#CRWH |
| TEW2K36N1N | TEW2K36N1N | proof | open | lebl_ra ch-riemann.tex#proof-22 |
| TEW7VDXQCF | TEW7VDXQCF | 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 2603.29838#093J |
| TEX2NJ3WG0 | TEX2NJ3WG0 | 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 2504.02065#7ATW |
| TEXZ2TYY18 | TEXZ2TYY18 | 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.05730#QFV5 |
| TEY1N56GQ4 | TEY1N56GQ4 | 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.24325#TJRQ |
| TEYG4DWZKW | TEYG4DWZKW | 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.27360#AV9L |
| TF112SKF5W | TF112SKF5W | statement | open | open_logic content/set-theory/spine/stagesbasics.tex#Valphabasicprops |
| TF1BPNV0T1 | TF1BPNV0T1 | 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 2405.05684#IN9F |
| TF2G67DHNZ | TF2G67DHNZ | example | open | lebl_ra ch-several-vars-ders.tex#example-14 |
| TF2P4YN1GF | TF2P4YN1GF | 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.07695#66Z4 |
| TF2TQX7012 | TF2TQX7012 | statement | open | open_logic content/set-theory/replacement/refproofs.tex#lemreflection |
| TF33TTZ3CA | TF33TTZ3CA | 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 2207.07461#A2M8 |
| TF3DGNQ3HY | TF3DGNQ3HY | 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 2412.14956#47AO |
| TF3Z0824QR | TF3Z0824QR | 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.36613#F24V |
| TF45SSNC9T | TF45SSNC9T | 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.18847#TNH5 |
| TF4EF3AA6V | TF4EF3AA6V | 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.20106#1ZVV |
| TF4KRS43DJ | TF4KRS43DJ | example | open | napkin tex/topology/fundamental-group.tex#example-8 |
| TF53827VQ5 | TF53827VQ5 | 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.37524#O315 |
| TF5547P76Y | TF5547P76Y | 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.02669#5M43 |
| TF56S193NR | TF56S193NR | 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.15352#2WGZ |