The flow of ODEs: formalization of variational equation and Poincaré map
scientific article; zbMATH DE number 7024457
scientific article