research
∙
02/11/2022
Dandelion: Certified Approximations of Elementary Functions
Elementary function operations such as sin and exp cannot in general be ...
share
research
∙
01/04/2021
Lassie: HOL4 Tactics by Example
Proof engineering efforts using interactive theorem proving have yielded...
research
∙
05/07/2018
Combining Tools for Optimization and Analysis of Floating-Point Computations
Recent renewed interest in optimizing and analyzing floating-point progr...
research
∙
07/07/2017