✦ LIBER ✦

Real Numbers and BDDs

✍ Scribed by Norbert Th. Müller

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 205 KB
Volume: 66
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80385-2

No coin nor oath required. For personal study only.

✦ Synopsis

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 this size for a rather theoretical example: tables approximating linear functions.

📜 SIMILAR VOLUMES

Real Numbers

✍ Fiume, Orest J;Cunningham, Jean E 📂 Fiction 📅 2011 🌐 English ⚖ 489 KB

Are your accounting data and reports providing a true and timely picture of your company's performance? Are your lean operations personnel complaining that the numbers "lie"? This explosive issue and its implications are fully explored in "Real Numbers." The authors, each a former chief financial e

Fuzzy real numbers

✍ Siegfried Gähler; Werner Gähler 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 918 KB

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

Searching and sorting real numbers

✍ Gideon Ehrlich 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 611 KB

Monotonically Computable Real Numbers

✍ Robert Rettinger; Xizhong Zheng; Romain Gengler; Burchard von Braunmühl 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 310 KB

Weakly Computable Real Numbers

✍ Klaus Ambos-Spies; Klaus Weihrauch; Xizhong Zheng 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 161 KB