Report - Arithmétique réelle exacte certifiée, co-induction et base ...jfla.inria.fr/2007/actes/Presentation/julien.pdf · I On note que [d 1 :: s ] ... Algorithmes de calcul Calcul de

Please pass captcha verification before submit form