Applications of real number theorem proving in PVS.

Hanne Gottliebsen Ruth Hardy Olga Lightfoot Ursula Martin

Published in: Formal Aspects Comput. (2013)

Keyphrases

theorem proving
inference rules
automatic programming
term rewriting
automated reasoning
automated theorem proving
automated deduction
decision procedures
training data
theorem prover
artificial intelligence
distributed search
parallel search
proof planning