Exploring approximations for floating-point arithmetic using UppSAT
scientific article; zbMATH DE number 6958103