Login / Signup
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Daniel Raggi
Alan Bundy
Gudmund Grov
Alison Pease
Published in:
Math. Comput. Sci. (2016)
Keyphrases
</>
computer science
feature representation
image representation
discrete version
information systems
three dimensional
face recognition
expert systems
continuous domains
real valued time series