Numerical verification of industrial numerical codes
scientific article; zbMATH DE number 6023188