Login / Signup
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.
Andrew Adams
Martin Dunstan
Hanne Gottliebsen
Tom Kelsey
Ursula Martin
Sam Owre
Published in:
TPHOLs (2001)
Keyphrases
</>
automated theorem proving
theorem prover
computer algebra
computer algebra systems
theorem proving
timed automata
inference rules
first order logic
information systems
case study
high level
search algorithm
formal verification
neural network
artificial intelligence
training data