Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
A Generalized Representer Theorem