Implementation in Axiom of the Dynamic Real Algebraic Closure.

Here is a .ps version of my report .

drcacm.ps.gz

Here are the full sources of the program : drc.tar.gz