A verified ODE solver and the Lorenz attractor
scientific article; zbMATH DE number 6921413
scientific article