Sign in

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).

Daniel RaggiAlan BundyGudmund GrovAlison 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