Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Jesse Alama Daniel Kühlwein Evgeni Tsivtsivadze Josef Urban Tom Heskes

Published in: CoRR (2011)

Keyphrases

kernel methods
kernel matrix
image processing
feature space
pairwise
learning problems