Retour Séminaire de Théorie Algorithmique des Nombres
Fredrik Johansson
( imb ) Salle 385
16 septembre 2014 à 10:00
Many calculations involving real or complex numbers can be done provably correctly by combining mathematical error bounds with a rigorous error propagation scheme (interval arithmetic or ball arithmetic). An ongoing research subject is to develop efficient algorithms and software implementations in this setting.