No label defined (Q5302828)
From MaRDI portal
scientific article; zbMATH DE number 5490696
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 5490696 |
Statements
13 January 2009
0 references
order-theoretic proof
0 references
Banach fixed-point theorem for selfmaps on complete metric spaces
0 references
formal balls
0 references
computational model
0 references
