Computable metrization (Q5307607)
From MaRDI portal
scientific article; zbMATH DE number 5191419
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable metrization |
scientific article; zbMATH DE number 5191419 |
Statements
Computable metrization (English)
0 references
17 September 2007
0 references
computable analysis
0 references
TTE
0 references
computable metrization
0 references
computable embedding
0 references
computable metric space
0 references
