Weber, Andreas; Sturm, Thomas; Abdel-Rahman, Essam O. Algorithmic global criteria for excluding oscillations. (English) Zbl 1214.92002 Bull. Math. Biol. 73, No. 4, 899-916 (2011). MSC: 92B05 34C99 37N25 92C45 PDFBibTeX XMLCite \textit{A. Weber} et al., Bull. Math. Biol. 73, No. 4, 899--916 (2011; Zbl 1214.92002) Full Text: DOI
Weber, Andreas; Sturm, Thomas; Seiler, Werner M.; Abdel-Rahman, Essam O. Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations (extended abstract, invited talk). (English) Zbl 1290.68140 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 267-279 (2010). MSC: 68W30 34C07 34C10 34C23 PDFBibTeX XMLCite \textit{A. Weber} et al., Lect. Notes Comput. Sci. 6244, 267--279 (2010; Zbl 1290.68140) Full Text: DOI
Sturm, Thomas; Weber, Andreas; Abdel-Rahman, Essam O.; El Kahoui, M’hammed Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology. (English) Zbl 1205.37062 Math. Comput. Sci. 2, No. 3, 493-515 (2009). MSC: 37G10 92C45 34-04 03C10 34C23 PDFBibTeX XMLCite \textit{T. Sturm} et al., Math. Comput. Sci. 2, No. 3, 493--515 (2009; Zbl 1205.37062) Full Text: DOI