The Use of Proof Plans to Sum Series.

Toby Walsh Alex Nunes Alan Bundy

Published in: CADE (1992)

Keyphrases

plan recognition
objective function
theorem proving
plan generation
theorem prover
efficiency gains
geometry theorem proving
neural network
artificial intelligence
website
decision trees
multiscale
evolutionary algorithm
planning domains
mathematical proofs