Real Algebraic Closure of an Ordered Field: Implementation in Axiom

Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ting with real algebra+c numbers. This paper describes an implement ation for computations with the real roots of a polynomial. This process is designed to be recursively used, so the resulting domain of compu tation is the set of all red algebraic n urn hers. An implementation for the red algebrm"c closure has been done in Ax'om (previously called Scratchpad).

• Type: Conference
• Year: 1992
• Where: ISSAC
• Authors: Renaud Rioboo
• Keywords: Cylindrical Algebraic Decomposition, ISSAC 1992, Mathematics, Real Algebraic Numbers, Space Requires Compu