Formalizing Desargues' theorem in Coq using ranks.

Nicolas Magaud Julien Narboux Pascal Schreck

Published in: SAC (2009)

Keyphrases

formal methods
theorem prover
rank order
real time
data sets
data mining
machine learning
three dimensional
high level
digital libraries
artificial neural networks
evolutionary algorithm
multiresolution
ranking functions
von neumann