Ulrich Kulisch

Computer Arithmetic and Validity

Theory, Implementation, and Applications

De Gruyter | 2012