𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fixed Points on the Real Numbers without the Equality Test

✍ Scribed by M.V. Korovina


Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
140 KB
Volume
66
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On Ξ£-definability without equality over
✍ Andrei S. Morozov; Margarita V. Korovina πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 139 KB

## Abstract In [5] (1982) it has been shown that for first‐order definability over the reals there exists an effective procedure which by a finite formula with equality defining an open set produces a finite formula without equality that defines the same set. In this paper we prove that there exist

The distribution of the maximum conditio
✍ Debra Lewis; Mike Shub πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 92 KB

If P A (Ο‡) denotes the probability that the maximum condition number along a great circle passing through a matrix A in the unit sphere in the space of 2 Γ— 2 matrices is less than Ο‡, then P A (Ο‡) always attains its maximum at the normalized identity matrix. This result is the first nontrivial case o