Login / Signup

Extending a Resolution Prover for Inequalities on Elementary Functions.

Behzad AkbarpourLawrence C. Paulson
Published in: LPAR (2007)
Keyphrases
  • elementary functions
  • gabor filters
  • morphological operators
  • theorem prover
  • theorem proving
  • bayesian networks
  • pattern recognition
  • support vector
  • feature space
  • feature vectors
  • higher order
  • automated theorem proving