Login / Signup
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods.
Jesse Alama
Tom Heskes
Daniel Kühlwein
Evgeni Tsivtsivadze
Josef Urban
Published in:
J. Autom. Reason. (2014)
Keyphrases
</>
kernel methods
support vector machine
support vector
data mining
reproducing kernel hilbert space
kernel matrices