Samuel Coward, Lawrence C. Paulson, Theo Drane, Emiliano Morini. Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover. Formal Asp. Comput., 34(2):1-22, 2022. [doi]
@article{CowardPDM22,
title = {Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover},
author = {Samuel Coward and Lawrence C. Paulson and Theo Drane and Emiliano Morini},
year = {2022},
doi = {10.1145/3543670},
url = {https://doi.org/10.1145/3543670},
researchr = {https://researchr.org/publication/CowardPDM22},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {34},
number = {2},
pages = {1-22},
}