Handbook of Floating-Point Arithmetic

This book develops algorithms for using formulaic representations of real numbers. Techniques are illustrated by a corresponding program.