Session Algebraic_Numbers
View
theory dependencies
View
document
View
outline
Theories
Deriving.Compare_Rat
Deriving.Compare_Real
Algebraic_Numbers_Prelim
Bivariate_Polynomials
Resultant
Algebraic_Numbers
Pure-ex.Guess
Sturm_Sequences.Misc_Polynomial
Sturm_Sequences.Sturm_Library
Sturm_Sequences.Sturm_Theorem
Sturm_Rat
Factors_of_Int_Poly
Min_Int_Poly
Algebraic_Numbers_Pre_Impl
Cauchy_Root_Bound
Real_Algebraic_Numbers
Real_Roots
Complex_Roots_Real_Poly
Compare_Complex
Interval_Arithmetic
Complex_Algebraic_Numbers
Show.Show_Real
Show_Real_Alg
Show_Real_Approx
Show_Real_Precise
Show.Show_Complex
Algebraic_Number_Tests
Algebraic_Numbers_External_Code