Report copyright - Preuves formelles en arithm´etiques `a virgule flottante · en arithm´etiques `a virgule flottante Directeur de th`ese : Marc Daumas Apr`es avis de : Gilles Dowek Paul Zimmermann
Please pass captcha verification before submit form
Please pass captcha verification before submit form