Implementation of Exact Computation 
What's new?  Last Update: Jan. 22, 1999. 
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 