Applications of real number theorem proving in PVS. - Hanne Gottliebsen; Ruth Hardy; Olga Lightfoot; Ursula Martin (Formal Aspects Comput., 2013)