EasyChair Smart SlideDocs/Log in
Author: Eva Darulova

This page shows all presentations of this author published in EasyChair Smart Slide.

Dandelion: Certified Approximations of Elementary Functions

Dandelion: Certified Approximations of Elementary Functions

Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova and Jean-Baptiste Jeannin

Combining Tools for Optimization and Analysis of Floating-Point Computations

Combining Tools for Optimization and Analysis of Floating-Point Computations

Heiko Becker, Pavel Panchekha, Eva Darulova and Zachary Tatlock

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair