Le moteur de recherche
des thèses françaises
Mioara 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
Viseurs
Systèmes polynomiaux
Équations polynomiales
Théorie de la commande
Biologie computationnelle
Précision mixte
Calcul haute performance
Passage à l'échelle
Equation différentielle ordinaire
Analyse numérique