- There is a paper in english describing this work, here is a temporary version
- There is a paper in french describing this work available on the Inria HAL
- Here are the sources as a tarball : realalg.tgz . The files about real algebraic numbers are cauchyreals.v and realalg.v. Note that the development is now complete. However it is fully operational (if not, please tell me), it may not exactly reflect the current state of this work but I’ll try to keep up as much as I remember to do so.
This page was last updated at 2014-12-01 03:52:16 +0100