- Article
A Maple Implementation for Deterministically Certifying Isolated Simple Zeros of Over-Determined Polynomial Systems with Interval Arithmetic and Its Applications
- Xiaojie Dou,
- Jin-San Cheng and
- Junyi Wen
This paper presents a Maple implementation of an interval verification method for identifying isolated simple zeros in square polynomial systems. Compared to the known MATLAB (R2019b) implementation, the Maple-based approach achieves significantly hi...