A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems

In this paper, by transforming the given over-determined system into a square system, we prove a necessary and sufficient condition to certify the simple real zeros of the over-determined system by certifying the simple real zeros of the square system. After certifying a simple real zero of the rela...

Full description

Bibliographic Details
Main Authors: Xiaojie Dou, Jin-San Cheng
Format: Article
Language:English
Published: MDPI AG 2018-09-01
Series:Mathematics
Subjects:
Online Access:http://www.mdpi.com/2227-7390/6/9/166