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

David R. Lester

Published in: Numerical Software with Result Verification (2003)

Keyphrases

basis functions
arithmetic operations
real world
theorem proving
neural network
linear combination
xml schema
exact solution
discrete fourier transform
exact and approximate