Parameter synthesis of polynomial dynamical systems
scientific article; zbMATH DE number 7629135
scientific article