A Modular Coding of UNITY in COQ.

Barbara Heyd Pierre Crégut

Published in: TPHOLs (1996)

Keyphrases

coding scheme
coding method
shape coding
linear prediction
artificial intelligence
website
inter frame
theorem prover
formal methods
database
data sets
databases
learning algorithm
social networks
feature vectors
error correcting