Knowledge Tree

researcher / Marc Daumas

Marc Daumas

at_id:

orcid_id:

Disciplines:

Applied sciences

Chemistry

Computer sciences

Edit Merge See Links

Thesis:

Contributions a l'arithmetique des ordinateurs : vers une maitrise de la precision

Contribution a la synthese de la rhizobitoxine : synthese d'analogues structuraux, aminoacidees beta, gamma-ethers d'enol et beta, gamma-arylethers d'enol

Directed Thesis:

Enjeux de conception des architectures GPGPU : unités arithmétiques spécialisées et exploitation de la régularité

Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves

De l'arithmétique d'intervalles à la certification de programmes

Preuves formelles en arithmétiques à virgule flottante

Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE