Applications of real number theorem proving in PVS
Article in Formal Aspects of Computing (June 2012)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Formal Aspects of Computing (June 2012)
Article in Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (September 2005)
Article in Journal of Symbolic Computation (May 2005)