Precise Numerical Analysis with Disk

Optimizing programs over the constructive reals

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

The role of computer software in numerical analysis teaching

ACM SIGNUM Newsletter

For unknown-but-bounded errors, interval estimates are often better than averaging

ACM SIGNUM Newsletter

The mathematical basis and a prototype implementation of a new polynomial rootfinder with quadratic convergence

ACM Transactions on Mathematical Software (TOMS)

Consistency Techniques in Ordinary Differential Equations

CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming

RealLib: An efficient implementation of exact real arithmetic

Mathematical Structures in Computer Science