Automating Change of Representation for Proofs in Discrete Mathematics.

Daniel Raggi Alan Bundy Gudmund Grov Alison Pease

Published in: CICM (2015)

Keyphrases

continuous domains
translation invariant
image representation
data sets
machine learning
information retrieval
theorem prover
finite number
artificial intelligence
image sequences
hidden markov models
theorem proving
representation scheme