Theorems and Algorithms: An Interface between Isabelle and Maple.

Clemens Ballarin Karsten Homann Jacques Calmet

Published in: ISSAC (1995)

Keyphrases

orders of magnitude
computational cost
times faster
learning algorithm
optimization problems
theoretical analysis
databases
computational efficiency
worst case
significant improvement
np hard
multi objective
computational complexity
reinforcement learning
search engine
computationally expensive
database