TY  - RPRT
TI  - Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
AU  - Jesse Alama
AU  - Tom Heskes
AU  - Daniel Kühlwein
AU  - Evgeni Tsivtsivadze
AU  - Josef Urban
PY  - 2012
DO  - 10.1007/s10817-013-9286-5
UR  - https://arxiv.org/abs/1108.3446
ID  - 1108.3446
ER  -