"Ch\u00E1ves" . "Certification de programmes"@fr . "Numerical computations"@en . "Preuve formelle"@fr . "Formal proof"@en . "Arithm\u00E9tique d'intervalles"@fr . . "Francisco" . "Taylor models"@en . "Calcul num\u00E9rique"@fr . "cd1aa70aa5b2df46a608531a20c85176" . "Certification of programs"@en . "Mod\u00E8les de Taylor"@fr . "Francisco Ch\u00E1ves" . "Proof checker"@en . . "PVS"@fr . . "Interval arithmetic"@en .