Abstract
This paper gives examples of how computer algebra systems can help us to understand nonlinear dynamical systems and their numerical simulations. We caution against naive use of exact arithmetic, but we give examples where elementary use is helpful. We also look at the use of polynomial computations — such as factoring, computation of discriminants, and Gröbner bases — in bifurcation studies.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
E. J. Barbeau,Polynomials, Springer-Verlag Problem Books in Mathematics, 1989.
H. H. Bau, T. Herbert, and M. M. Yovanovich, eds,Symbolic Computation in Fluid Mechanics and Heat Transfer, ASME HTD-vol 105 AMD-vol 97, 1988.
Wolf-Jürgen Beyn, “Numerical Methods for Dynamical Systems” inAdvances in Numerical Analysis, I, Will Light, ed., Oxford Science Publications, pp. 175–236, 1991.
K. Briggs, personal communication.
V. T. Coppola and R. H. Rand, “Symbolic Computation and Perturbation Methods Using Elliptic Functions”, Trans. Sixth Army Conference on Applied Mathematics and Computing, pp. 639–676, 1989.
R. M. Corless,Symbolic Recipes, vol II, Springer-Verlag, to appear.
R. M. Corless, “Error Backward”, inProceedings of Chaotic Numerics, Geelong, 1993, Peter E. Kloeden and Ken J. Palmer, eds., Contemporary Mathematics172, 31 (1994).
R. M. Corless, “Bifurcation in a flow-induced vibration model”, to appear in Proc. Fields Institute Workshop on Normal Forms and Homoclinic Chaos, W. Nagata and W. Langford, eds.
R. M. Corless, Computers Maths. Applic.28 (10–12), 107 (1994).
R. M. Corless, “HURWITZ”,Maple share library, 1990.
R. M. Corless, American Mathematical Monthly99, no. 3 (1992).
R. M. Corless, Gregory W. Frank, and J. Graham Monroe, Physica D46 (1990).
R. L. Devaney,An Introduction to Chaotic Dynamical Systems, 2nd. ed., Addison-Wesley, 1989.
W. Gander and J. Hřebíček,Solving Problems in Scientific Computing using Maple and MATLAB, Springer-Verlag, 1993.
D. Gavelek and T. Erber, J. Comp. Phys.101 (1992).
E. Katende, A. Jutan, and Robert M. Corless, “A problem in automatic control”, to appear.
D. F. Griffiths and J. M. Sanz-Serna, SIAM J. Sci. Stat. Comput.7, No. 3 (1986).
E. Kaltofen and S. M. Watt, eds,Computers and Mathematics, Springer-Verlag, 1989.
A. Y. Khintchin,Continued Fractions, P. Noordhoff, Gröningen, 1963.
G. Labelle, Europ. J. Combinatorics 1 (1980).
T. Lee, ed.,Mathematical Computation with Maple V: Ideas and Applications, Birkhäuser, 1993.
J. L. McCauley,Chaos, Dynamics, and Fractals, Cambridge, 1993.
K. R. Meyer and D. S. Schmidt, eds,Computer Aided Proofs in Analysis, IMA vol. 28, Springer-Verlag, 1991.
Ramon E. Moore,Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979.
R. H. Rand and D. Armbruster,Perturbation Methods, Bifurcation Theory, and Computer Algebra, 65 Applied Mathematical Sciences, Springer-Verlag, New York, 1987.
B. Salvy, personal communication.
N. I. A. Sloane and S. Plouffe,The Encyclopedia of Integer Sequences, Academic Press, 1995.
E. J. Weniger, Computer Physics Reports 10, North-Holland, 1989.
Author information
Authors and Affiliations
Additional information
This paper is dedicated to the memory of M. A. H. Nerenberg (1936–1993).
Rights and permissions
About this article
Cite this article
Corless, R.M. Symbolic computation in nonlinear dynamics. Open Syst Inf Dyn 3, 131–147 (1995). https://doi.org/10.1007/BF02228812
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02228812