Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness.

Sarmen Keshishzadeh Jan Friso Groote

Published in: CoRR (2015)

Keyphrases

real world
real life
databases
information systems
database
machine learning
brute force
arithmetic operations
provably correct