Thibault Hilaire
IdRefMots clés
FR |
EN
Arithmétique virgule fixe
Filtres linéaires
Analyse d'erreur
Filtres numériques (mathématiques)
Arithmétique en virgule fixe
Traitement du signal
Systèmes informatiques
Arithmétique en virgule flottante
Arithmétique d'ordinateur
Algorithmes rigoureux et fiables
Générateur du code
Assistant de preuve Coq
Filtre numérique linéaire
Méthodes formelles
Arithmétique des ordinateurs
Méthodes formelles (informatique)
Calculs numériques
Coq (logiciel)
Systemes linéaires
Arithmétique Radix-2