Algebraic_Numbers

Algebraic_Numbers_Prelim

Bivariate_Polynomials

Resultant

Algebraic_Numbers

Sturm_Rat

Factors_of_Int_Poly

Min_Int_Poly

Real_Algebraic_Numbers

Real_Roots

Complex_Roots_Real_Poly

Compare_Complex

Interval_Arithmetic

Complex_Algebraic_Numbers

Show_Real_Alg

Show_Real_Approx

Show_Real_Precise

Algebraic_Number_Tests

Algebraic_Numbers_External_Code