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:

• Florent Bréhard
• Nicolas Brisebarre
• Guillaume Hanrot
• Claude-Pierre Jeannerod
• Vincent Lefèvre
• Nicolas Louvet
• Jean-Michel Muller
• Antoine Plet
• Valentina Popescu
• Nathalie Revol
• Laurent Thévenoux
• Serge Torres
• Gilles Villard