Computing in the Field of Complex Algebraic Numbers

In this paper we present two methods of computing with complex algebraic numbers. The first uses isolating rectangles to distinguish between the roots of the minimal polynomial, the second method uses validated numeric approximations. We present algorithms for arithmetic and for solving polynomial equations, and compare implementations of both methods inMathematica.