Skip to content

On sound relative error bounds for floating-point arithmetic.

Anastasiia Izycheva, Eva Darulova

VenueBFMCAD
Year2017
ProceedingsFMCAD

Browse the full FMCAD paper archive.