已为您找到该学者3条结果 成果回收站
侯晓荣, BICAN XIA*, XIAORONG HOU
Computers and Mathematics with Applications 44(2002)633-642,-0001,():
-1年11月30日
We present a complete and practical algorithm which can determine the number of distinct real solutions of a given polynomial system of equations and inequalities with integer coefficients mechanically.Based on this algorithm, a program called nearsolve has been implemented in Maple.The algorithm and program have been successfully applied to many problems with vations backgrounds and to automated discovering and proving for inequality-type theorems.
Real root-counting, Polynomial system, Resultant, Computer algebra, Algorithm.,
-
113浏览
-
0点赞
-
0收藏
-
0分享
-
188下载
-
0
-
引用
【期刊论文】Bifurcations of a Polynomial Differential System of Degree n in Biochemical Reactions
侯晓荣, XIAORONG HOU, RUI YAN, WEINIAN ZHANG*
Computers and Mathematics with Applications 43(2002)1407-1423,-0001,():
-1年11月30日
in this paper,we consider a polynomial differential system of degreen,which was given from a general multimolecular reaction in biochemistry as a theoretical problem of concentration kinetics.The high degree of polynomials involves so many difficulties that we hardly give coordinates of all equilibria,although that is basic for qualitative analysis.Using techniques of decomposition, truncation, and elimination with a computer algebra system,we first give qualitative properties of all equilibria, and then analyze their saddle-node bifurcation and Hopf bifurcation both for real parameters and for integer'parameters.
polynomial system,, Degenerate equilibrium,, Saddle-node bifurcation,, Itopf bifurcation,, Computer algebra system.,
-
80浏览
-
0点赞
-
0收藏
-
0分享
-
112下载
-
0
-
引用
【期刊论文】A complete algorithm for automated discovering of a class of inequality-type theorems
侯晓荣, YANG Lu, HOU Xiaorong, XIA Bican
SCIENCE IN CHINA Vol. 44 No.1 (2001) 33-49,-0001,():
-1年11月30日
Making use of the discriminant sequence for polynomials,WR algorithm,Wu's elimination and a partial cylindrical algebraic decomposition,we present here a practical algorithm for automated inequality discovering which can discover new inequalities automatically without requiring to put forward any conjectures beforehand.That is complete for an extensive class of inequality-type theorems.Also this algorithm is applied to the classification of the real physical solutions of geometric constraint problems.Many inequalities with various backgrounds have been discovered or rediscovered by our program,DISCOVERER,which implements the algorithm in Maple.
discriminant sequence, WR algorithm, Wu', s elimination, partial cylindrical algebraic decomposition
-
42浏览
-
0点赞
-
0收藏
-
0分享
-
96下载
-
0
-
引用