Automated backward error analysis for numerical code.

Zhoulai Fu Zhaojun Bai Zhendong Su

Published in: OOPSLA (2015)

Keyphrases

error analysis
cross ratio
semi automated
fully automated
error correction
least squares
source code
numerical data
numerical methods
bi directional
forward and backward
web pages
support vector
sensitivity analysis
error estimates
stochastic differential equations