Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk).

Andreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman

Browse the full CASC paper archive.