ACAC Seminar Abstract

ACAC Seminar Abstract

ACAC Seminars

ACAC Seminar Abstract

Quality of computations on a machine: Certified evaluation of numerical functions

Speaker: Nicolas Brisebarre
Date, Time: Thu, 10 Jan 2013 15:00

We will present some issues related to the machine evaluation of an elementary function, such as the exponential function or the cube root. These works were done in the AriC team (LIP lab, ENS Lyon), specialized in Computer Arithmetic. We use tools from numerical analysis, approximation theory but also from algorithmic number theory and symbolic computation.

Back to the top of this page