A precise numerical analysis program
scientific article; zbMATH DE number 3448005