Symbolic computation for the qualitative theory of differential equations
scientific article; zbMATH DE number 7600118
scientific article