Automating change of representation for proofs in discrete mathematics.

Daniel Raggi Alan Bundy Gudmund Grov Alison Pease

Published in: CoRR (2015)

Keyphrases

translation invariant
image representation
theorem proving
neural network
multiscale
continuous domains
discrete space
information systems
theorem prover
feature representation
matrix representation
mathematical knowledge