Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Matthieu Martel
Matthieu Martel
at_id:
orcid_id:
Disciplines:
Applied mathematics
Computer sciences
Edit
Merge
See Links
Thesis:
Analyse statique et évaluation partielle de systèmes de processus mobiles
Directed Thesis:
Exponentiation of set-valued maps and applications
Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks : and its application to linear algebra basic blocks
Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
Transformation de programmes synchrones pour l’optimisation de la précision numérique
Analyse statique par interprétation abstraite de systèmes hybrides