A Practical View on the Computability of Real Numbers

Branimir Lambov's Master Thesis, defended on November 8, 2001

The thesis, as presented on this site, consists of a main text (PDF file, 571 KB) written in Bulgarian and the source code in C++ (ZIP file, 56 KB) of an implemented system for representation and manipulation of computable real numbers. An English abstract (Word 97 document, 29 KB) is also present.

One can find the thesis also by using links from the RealLib page on the former Lambov's site at
http://www.brics.dk/~barnie/
(there are usable copies of this site in the Internet Archive, and the last of them is from June 29, 2011).