Termination of floating-point computations
scientific article; zbMATH DE number 5070710
scientific article