Le moteur de recherche
des thèses françaises
Mioara Maria Joldes
IdRefMots clés
FR |
EN
Calcul formel
Approximations polynomiales rigoureuses
Fonctions D-finies
Arithmétique des ordinateurs
Calcul numérique rigoureux
Validation a posteriori
Méthodes symboliques-numériques
Preuve formelle
Aérospatial
Preuves assistées par ordinateur
Calcul rigoureux
Calculs validés
Erreur d'approximation
Series de Chebyshev
Modèles de Taylor
Modèles de Chebyshev –
Arithmétique Flottante
Méthodes d'encadrement
Évaluation des fonctions
Opérateurs Matériels