'Galculator': functional prototype of a Galois-connection based proof assistant.

Paulo F. Silva José Nuno Oliveira

Published in: PPDP (2008)

Keyphrases

test bed
functional language
database
knowledge base
search algorithm
theorem proving
formal concept analysis
mathematical proofs
data sets
real world
genetic algorithm
image segmentation