The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation

William M. Farmer

Published in: CoRR (2013)

Keyphrases

high level
orders of magnitude
computational efficiency
significant improvement
knowledge representation
computationally expensive
databases
learning algorithm
evaluation measures
evaluation method
neural network
data structure
classification algorithm
times faster
mathematical models