Login / Signup

MetiTarski: An Automatic Prover for the Elementary Functions.

Behzad AkbarpourLawrence C. Paulson
Published in: AISC/MKM/Calculemus (2008)
Keyphrases
  • elementary functions
  • gabor filters
  • semi automatic
  • fully automatic
  • hidden markov models
  • database
  • real world
  • first order logic
  • morphological operators