ELEFFAN Project

Eleffan is a 3-year Digicosme project. It started in October 2016 and aims at formally proving rounding error bounds of numerical schemes.

People involved:

Eleffan funds the PhD of F. Faissole, with S. Boldo and A. Chapoutot as advisors.

Comments are closed