Home > Papers

 
 
Computer Aided Proof for the Global Stability of a Lotka-Volterra System with Discrete Diffusions
YANG Ming, LU Zheng-Yi
Institute of Computer Applications, Academia Sinica, Chengdu 610041, China
*Correspondence author
#Submitted by
Subject:
Funding: Specialized Research Fund for the Doctoral Program of Higher Education of China （No.20115134110001）
Opened online: 7 November 2014
Accepted by: none
Citation: YANG Ming, LU Zheng-Yi.Computer Aided Proof for the Global Stability of a Lotka-Volterra System with Discrete Diffusions[OL]. [ 7 November 2014] http://en.paper.edu.cn/en_releasepaper/content/4616114
 
 
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.
Keywords:Lotka-Volterra systems; Discrete diffusion; Modified PD-algorithm; {Hofbauer-So-Takeuchi} conjecture
 
 
 

For this paper
  • ● PDF (0B)
  • ● Revision 0 　　
  • ● Print this paper
  • ● Recommend this paper to a friend
  • ● Add to my favorite list

    Saved Papers

    Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags
Add yours

Related Papers

Statistics
PDF Downloaded 100
Bookmarked 0
Recommend 5
Comments Array
Submit your papers