Dandelion: Certified Approximations of Elementary Functions.

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

Browse the full ITP paper archive.