ADA software for teaching modern computer arithmetic

Abstract

This paper describes three Ada packages which support the teaching of some recent and important ideas in numerical computation. The first is designed to enable students to write and use applications programs demonstrating the behaviour of floating point arithmetic with different precisions and roundings. It also underpins the other two packages which provide simple computational tools for interval arithmetic and for accurate arithmetic.