Introduction to the Flyspeck Project.

Thomas C. Hales

Published in: Mathematics, Algorithms, Proofs (2005)

Keyphrases

project management
real time
software development
pilot project
image sequences
european project
genetic algorithm
decision making
information technology
evolutionary algorithm
source code
current status
future plans
eu funded