Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology. - Thomas Sturm 001; Andreas Weber 004; Essam O. Abdel-Rahman; M'hammed El Kahoui (Math. Comput. Sci., 2009)

Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). - Andreas Weber 004; Thomas Sturm 001; Werner M. Seiler; Essam O. Abdel-Rahman (CASC, 2010)