TY  - RPRT
TI  - Implementation and Synthesis of Math Library Functions
AU  - Briggs, Ian
AU  - Lad, Yash
AU  - Panchekha, Pavel
PY  - 2024
DO  - 10.1145/3632874
UR  - https://www.osti.gov/biblio/2338155
ID  - 2338155
ER  -