Verification of Linear (In)Dependence in Finite Precision Arithmetic.

Published in: Math. Comput. Sci. (2014)

Keyphrases

high precision
finite dimensional
database
databases
model checking
finite number
face verification
formal methods
computer vision
multiresolution
average precision
formal verification
arithmetic operations