Theorem of three circles in Coq.

Published in: CoRR (2013)

Keyphrases

hough transform
formal methods
theorem prover
feature extraction
digital topology
database
artificial intelligence
information systems
high level
high quality
cooperative
artificial neural networks
von neumann