Andreas Weber 0004, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman. Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings. Volume 6244 of Lecture Notes in Computer Science, pages 267-279, Springer, 2010. [doi]
Abstract is missing.