Applications of real number theorem proving in PVS
Hanne Gottliebsen‚ Ruth Hardy‚ Olga Lightfoot and Ursula Martin
Journal
Formal Asp. Comput.
Number
6
Pages
993−1016
Volume
25
Year
2013
Hanne Gottliebsen‚ Ruth Hardy‚ Olga Lightfoot and Ursula Martin