Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic

David Lester, René Alt (Editor), Andreas Frommer (Editor), R Baker Kearfott (Editor), Wolfram Luther (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this