Real Algebraic Closure of an Ordered Field: Implementation in

Renaud Rioboo

Browse the full ISSAC paper archive.