Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture

Journal of Symbolic Computation

Volumn 30, Issue 2, 2000, Pages 161-179

  Kahoui, M'Hammed El ^a   Weber, Andreas ^b  

^a FACULTÉ DES SCIENCES SEMLALIA   (Morocco)

^b UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345851264     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1999.0353     Document Type: Article

References (33)

1. Arnold V. I. Ordinary Differential Equations. 1973;MIT Press, Cambridge.
2. C. W. Brown, Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC'98), Rostock, Germany, Gloor, O. 1998, The Association for Computing Machinery, 295, 301.
3. Chow S. N., Hale J. K. Methods of Bifurcation Theory. 1996;Springer-Verlag.
4. Collins G. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Second GI Conference on Automata Theory and Formal Languages. 1975;Springer-Verlag. p. 134-183.
5. Collins G., Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12:1991;299-328.
6. S. Dalmas, M. Gaëtano, S. Watt, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC '97), Aston Wailea Resort, Maui, Hawaii, Küchlin, W. 1997, The Association for Computing Machinery, 241, 248.
7. A. Dolzmann, T. Sturm, Redlog User Manual.
8. Gantmacher F. Application of the Theory of Matrices. 1959;Interscience Publisher, New York.
9. Göbel M., Küchlin W., Müller S., Weber A. Extending a Java based framework for scientific software-components. Ganzha V. G., Mayr E. W., Vorozhtsov E. V. Computer Algebra in Scientific Computing (CASC '99), München. 1999;207-222 Springer-Verlag, Berlin-Heidelberg.
10. Gonzalez-Vega L., Ruillier F., Roy M.-F. Symbolic recipes for polynomial system solving. Cohen A. M., Cuypers H., Sterk H. Some Tapas of Computer Algebra. 1999;35-65 Springer-Verlag, Berlin-Heidelberg.
11. Guckenheimer J., Holmes P. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, volume 42 of Applied Mathematical Sciences. 1990;Springer-Verlag.
12. G. Hamilton.
13. Hereman W. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath. Bull. 1994.
14. H. Hong, 1990.
15. Hong H., Liska R., Steinberg S. Testing stability by quantifier elimination. J. Symb. Comput. 24:1997;161-187.
16. Jirstrand M. Nonlinear control system design by quantifier elimination. J. Symb. Comput. 24:1997;137-152.
17. Liu W.-M., van den Driessche P. Epidemiological models with varying population size and dose-dependent latent period. Math. Biosci. 128:1995;57-69.
18. Lorenz E. N. Deterministic non-periodic flow. J. Atmos. Sci. 20:1963;130-141.
19. Olver P. J. Applications of Lie Groups to Differential Equations, volume 107 of Graduate Texts in Mathematics. 1986;Springer-Verlag.
20. PolyMath Development Group.
21. Rand R. H., Armbruster D. Perturbation Methods, Bifurcation Theory and Computer Algebra, volume 65 of Applied Mathematical Sciences. 1987;Springer-Verlag.
22. Seiler W. M. Computer algebra and differential equations - an overview. mathPAD Also available at http://iaks-www.ira.uka.de/iaks-calmet/werner/publ.html. 7:1997;34-49.
23. Singer M. F. Formal solutions of differential equations. J. Symb. Comput. 10:1990a;59-94.
24. Singer M. F. An outline of differential Galois theory. Tournier E. Computer Algebra and Differential Equations. 1990b;Academic-Press.
25. Singer M. F., Ulmer F. Galois groups of second and third order linear differential equations. J. Symb. Comput. 16:1993;9-36.
26. Stephani H. Differential Equations: Their Solution Using Symmetries. 1989;Cambridge University Press.
27. Sun Microsystems.
28. Tarski A. A Decision Method for Elementary Algebra and Geometry, 2nd edn. 1951;University of California Press, Berkeley.
29. Weber A., Küchlin W., Eggers B. Parallel computer algebra software as a Web component. Concurrency: Pract. Exp. 10 (11-13):1998;1179-1188.
30. V. Weispfenning, Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation (ISSAC'94), Oxford, 1994, Association for Computing Machinery, 258, 263.
31. Weispfenning V. Quantifier elimination for real algebra - the quadratic case and beyond. Appl. Algebra Eng. Commun. Comput. 8:1997;85-101.
32. World Wide Web Consortium.
33. R. Zippel, The MathBus Term Structure.