Computer aided proof for the global stability of Lotka-Volterra systems
From MaRDI portal
Publication:1921255
DOI10.1016/0898-1221(96)00075-2zbMath0887.34050OpenAlexW2095469588MaRDI QIDQ1921255
Publication date: 14 May 1998
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0898-1221(96)00075-2
Population dynamics (general) (92D25) Stability of solutions to ordinary differential equations (34D20)
Related Items (2)
Computer aided solving the high-order transition probability matrix of the finite Markov chain ⋮ Symbolic computation for the qualitative theory of differential equations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Global stability and oscillations in classical Lotka-Volterra loops
- Basic principles of mechanical theorem proving in elementary geometries
- The structure of LaSalle's invariant set for Lotka-Volterra systems
- The application of the Poincaré-transform to the Lotka-Volterra model
- The Volterra model for three species predator-prey systems: Boundedness and stability
- Associative differential operations
- Global asymptotic stability for a class of many-variable volterra prey-predator systems
- On the LaSalle's invariant set for five-dimensional Lotka-Volterra prey-predator chain systems
This page was built for publication: Computer aided proof for the global stability of Lotka-Volterra systems