05021 Executive Summary -- Mathematics, Algorithms, Proofs.

Thierry Coquand

Published in: Mathematics, Algorithms, Proofs (2005)

Keyphrases

orders of magnitude
neural network
significant improvement
computational cost
computationally efficient
theoretical analysis
machine learning
learning algorithm
reinforcement learning
data structure
evolutionary algorithm
graph theory
theorem proving