Computer aided proof for the global stability of Lotka-Volterra systems

DOI10.1016/0898-1221(96)00075-2zbMath0887.34050OpenAlexW2095469588MaRDI QIDQ1921255

Zhengyi Lu

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

zbMATH Keywords

global stabilityLotka-Volterra systemLaSalle's invariance principle

Mathematics Subject Classification ID

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