Login / Signup

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods.

Jesse AlamaTom HeskesDaniel KühlweinEvgeni TsivtsivadzeJosef Urban
Published in: J. Autom. Reason. (2014)
Keyphrases
  • kernel methods
  • support vector machine
  • support vector
  • data mining
  • reproducing kernel hilbert space
  • kernel matrices