A Maple Implementation for Deterministically Certifying Isolated Simple Zeros of Over-Determined Polynomial Systems with Interval Arithmetic and Its Applications. - Dou, Xiaojie; Cheng, Jin-San; Wen, Junyi (AppliedMath, 2026)