Cardinalities of Finite Relations in Coq.

Paul Brunet Damien Pous Insa Stucke

Published in: ITP (2016)

Keyphrases

semantic relations
finite number
real time
computer vision
decision making
image processing
theorem prover
formal methods
data sets
knowledge base
video sequences
co occurrence
real numbers
causal relations
unit length