TY  - RPRT
TI  - Dandelion: Certified Approximations of Elementary Functions
AU  - Heiko Becker
AU  - Mohit Tekriwal
AU  - Eva Darulova
AU  - Anastasia Volkova
AU  - Jean-Baptiste Jeannin
PY  - 2022
UR  - https://arxiv.org/abs/2202.05472
ID  - 2202.05472
ER  -