Automated Certified Proofs with CiME3.

Evelyne Contejean Pierre Courtieu Julien Forest Olivier Pons Xavier Urbain

Published in: RTA (2011)

Keyphrases

automated theorem provers
fully automated
semi automated
information retrieval
data driven
theorem proving
image processing
image segmentation
multi agent
wide range
information systems
genetic algorithm
automated analysis
computer algebra
formal proof
equational theories
neural network
mathematical proofs