Mioara Maria Joldes
IdRefMots clés
FR |
EN
Calcul formel
Arithmétique des ordinateurs
Approximations polynomiales rigoureuses
Fonctions D-finies
Calcul numérique rigoureux
Validation a posteriori
Méthodes symboliques-numériques
Preuve formelle
Aérospatial
Preuves assistées par ordinateur
Calcul de la norme L∞
Systèmes polynomiaux
Solutions réelles maximales
Calcul symbolique
Calcul de complexité
Théorie du contrôle
Implémentation
Équations polynomiales
Assistant de preuve Coq
Filtre numérique linéaire