Theorem of Three Circles in Coq.

Published in: J. Autom. Reason. (2014)

Keyphrases

hough transform
theorem prover
formal methods
von neumann
evolutionary algorithm
artificial intelligence
case study
three dimensional
face recognition
feature extraction
digital topology