next up previous contents
Up: A Calculator for Exact Previous: References

About this document ...

A Calculator for Exact Real Number Computation
4th year project
Departments of Computer Science and Artificial Intelligence
University of Edinburgh

This document was generated using the LaTeX2HTML translator Version 97.1 (release) (July 13th, 1997)

Copyright © 1993, 1994, 1995, 1996, 1997, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html report.

The translation was initiated by Martin Escardo on 5/11/2000

Martin Escardo