A complete algorithm for counting real solutions of polynomial systems of equations and inequalities

✍ Scribed by Bican Xia; Xiaorong Hou

• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 561 KB
• Volume: 44
• Category: Article
• ISSN: 0898-1221
• DOI: 10.1016/s0898-1221(02)00178-5

✦ Synopsis

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. (~) 2002 Elsevier Science Ltd. All rights reserved.