Login / Signup
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics.
Daniel Kühlwein
Twan van Laarhoven
Evgeni Tsivtsivadze
Josef Urban
Tom Heskes
Published in:
IJCAR (2012)
Keyphrases
</>
computer science
evaluation method
theoretical framework
evaluation methods
gold standard
computer algebra
neural network
selection strategy
conceptual framework
theoretical foundation
general theory
theoretical basis
real time
decision trees
image processing
genetic algorithm
databases