Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Guillaume Revy
Guillaume Revy
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Implementation of binary floating-point arithmetic on embedded integer processors : Polynomial evaluation-based algorithms and certified code generation
Directed Thesis:
Elementary functions : towards automatically generated, efficient, and vectorizable implementations
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks : and its application to linear algebra basic blocks