Quati: An Automated Tool for Proving Permutation Lemmas.

Vivek Nigam Giselle Reis Leonardo Lima

Published in: IJCAR (2014)

Keyphrases

analysis tool
theorem proving
fully automated
semi automated
database
data sets
search engine
social networks
image processing
multiscale
special case
knowledge acquisition
semi automatic
software tools