Proof-Pattern Recognition in ACL2.
Jónathan HerasEkaterina KomendantskayaMoa JohanssonEwen MacleanPublished in: CoRR (2013)
Keyphrases
- pattern recognition
- machine learning
- neural network
- pattern recognition problems
- signal processing
- pattern analysis
- feature extraction
- natural language learning
- image processing
- computer vision
- image analysis
- theorem proving
- automated theorem proving
- dimensionality reduction
- linear logic
- theorem prover
- field of pattern recognition
- mathematical proofs
- parallel distributed processing
- support vector machine svm
- similarity measure
- pattern classification
- speech recognition
- database
- database systems
- proof planning
- decision trees
- learning algorithm
- information retrieval
- geometry theorem proving