Floating-point arithmetic in AriC

The IEEE 754-2008 standard specifies the behavior of floating-point arithmetic. We are interested in preparing future evolutions of the standard, in implementing it efficiently on embedded processors, in exploring its “low level” properties for better numerical analysis (for instance by finding certified and tight error bounds of numerical algorithms), and in building correctly rounded mathematical function programs. We are also interested in designing efficient algorithms and software for multiple-precision arithmetic and complex arithmetic.

Members of the team participating in this activity are:

AriC project – Arithmetic and Computing