Algorithms and software for symbolic analysis of nonlinear systems
scientific article; zbMATH DE number 1067245