Two Algorithms for Root Finding in Exact RealArithmeticAbbas Edalat