Muñozand Lester. Real Number Calculations and Theorem Proving. Springer Berlin Heidelberg, 2005, doi:10.1007/11541868_13.