-
113浏览
-
0点赞
-
0收藏
-
0分享
-
188下载
-
0评论
-
引用
期刊论文
A Complete Algorithm for Counting Real Solutions of Polynomial Systems of Equations and Inequalities
Computers and Mathematics with Applications 44(2002)633-642,-0001,():
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.
【免责声明】以下全部内容由[侯晓荣]上传于[2009年08月26日 16时03分43秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。
本学者其他成果
同领域成果