Generic computation of the real closure of an ordered field Original Research Article

This paper describes a generalization of the real closure computation of an ordered field (Rioboo, 1991) enabling to use different techniques to code a single real algebraic number.