Arbitrary precision real arithmetic: design and algorithms (2005)

by V Ménissier-Morain
Venue:Journal of Logic and Algebraic Programming