Implementation of Exact Computation 
What's new?  Last Update: Feb. 1, 1997. 
Our Interpretation of Exact Computation  
Introduction to Real/Expr  
Example Programs
The example program to compute the sign of determinants can be found here. 

Source Codes  
References 