Primitive Floats in Coq.

Guillaume Bertholon Érik Martin-Dorel Pierre Roux

Published in: ITP (2019)

Keyphrases

theorem prover
formal methods
neural network
high level
multiscale
real time
data sets
decision trees
three dimensional
image sequences
pattern recognition
multiresolution
low level
digital images
higher level