Interfacing Coq + SSReflect with GAP.

Vladimir Komendantsky Alexander Konovalov Steve Linton

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

theorem prover
formal methods
data acquisition
database
neural network
image processing
information extraction
monitoring system