Computer Aided Proof for the Global Stability of a Lotka-Volterra System with Discrete Diffusions
Ming Yang (Institute of Computer Applications, Chinese Academy of Sciences)
*Zhengyi Lu (Department of Mathematics, Sichuan Normal University)
In this paper, based on the PD algorithm and the computer system Maple, the Hofbauer-So-Takeuchi conjecture for a Lotka-Volterra system with discrete diffusion is proved in the case of $n = 5$ by checking the positive definiteness of a class of polynomials with the largest one 4874376 terms.