Hipster: Integrating Theory Exploration in a Proof Assistant.

Moa Johansson Dan Rosén Nicholas Smallbone Koen Claessen

Published in: CICM (2014)

Keyphrases

theoretical basis
general theory
multiscale
data mining
test bed
search strategies
theoretical framework
proof theory
theorem prover
inference rules
information theory
database
computational model
search algorithm
support vector
genetic algorithm
information retrieval
databases