Embedding of Systems of Affine Recurrence Equations in Coq.

David Cachera David Pichardie

Published in: TPHOLs (2003)

Keyphrases

formal methods
complex systems
vector space
distributed systems
computer vision
knowledge base
case study
management system
information retrieval systems
databases
computer systems
knowledge based systems
learning systems
artificial intelligence
affine transformation
linear systems
information retrieval