𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Searching and sorting real numbers

✍ Scribed by Gideon Ehrlich


Publisher
Elsevier Science
Year
1981
Tongue
English
Weight
611 KB
Volume
2
Category
Article
ISSN
0196-6774

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Real Numbers and BDDs
✍ Norbert Th. MΓΌller πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 205 KB

We present a proposal for representing large vectors of real numbers using binary decision diagrams (BDDs). If the vectors contain structured data, the necessary size may be reduced significantly compared to an explicit representation of the numbers. We are able to prove a nontrivial upper bound for

Real numbers and other completions
✍ Fred Richman πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 135 KB

## Abstract A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the construction of the real numbers as well as the completion of an arbitrary metric space. The real numbers are characterized as a complete Archimedean Heyting fi