Methods and applications of error-free computation / R. T. Gregory ; E. V. Krishnamurthy