Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations
Co-author(s): Andreas Weber, Thomas Sturm and Essam O. Abdel-Rahman
Reference: Computer Algebra in Scientific Computing - CASC 2010, V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2010, Lecture Notes in Computer Science 6244, pp. 267-279 (invited contribution)
Description: We describe how techniques from quantifier elimination can be applied for deciding questions about the existence of oscillations in parametric algebraic differential equations. The main emphasis is on sufficient conditions for Hopf bifurcations.
PDF File: PDF (178 kB)
Home, Last update: Fri May 23 20:14:58 2014