Algebraic Composition and Refinement of Proofs.

Martin Simons Michel Sintzoff

Published in: AMAST (1997)

Keyphrases

theorem prover
theorem proving
formal proofs
computer algebra
higher order
formal proof
decision procedures
data sets
information retrieval
artificial neural networks
learning environment
data structure
web service composition
linear algebra
computer vision
genetic algorithm
databases