Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Simone‏ D'Amico

Mots clés

FR |

EN

Calcul numérique rigoureux

Approximations polynomiales rigoureuses

Validation a posteriori

Méthodes symboliques-numériques

Preuve formelle

Fonctions D-finies

Arithmétique des ordinateurs

Preuves assistées par ordinateur