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 Lambov's site.