Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.

Joachim Bard Heiko Becker Eva Darulova

Published in: FM (2019)

Keyphrases

error analysis
least squares
public key
data sets
databases
decision making
website
artificial neural networks
prediction error
error propagation
statistical machine translation