Daniel Wilczak
Mots clés
FR |
EN
Analyse par intervalles
Systèmes dynamiques
Calcul numérique rigoureux
Approximations polynomiales rigoureuses
Validation a posteriori
Méthodes symboliques-numériques
Preuve formelle
Fonctions D-finies
Aérospatial
Arithmétique des ordinateurs
Calcul formel
Preuves assistées par ordinateur
Robotique mobile
Exploration
Topologie
Robots mobiles
Degré topologique
Arithmétique flottante
Arithmétique multi-précision
Calcul GPGPU