Academy of Mathematics and Systems Science, CAS Colloquia & Seminars
Speaker:
窦孝杰, 中国民航大学
Inviter:
Title:
Deterministically Certifying an Isolated Simple Zero of an Over-determined Polynomial System with Interval Arithmetic and Its Applications
Time & Venue:
2018.8.27 16:00 N402
Abstract:
We realize a Maple implementation of interval verification method of a simple zero of a square system. Compared to Matlab implementation, it can reach a much higher accuracy. We can evaluate a polynomial on a point to get a number whose absolute value is very small, which can reach the bound computed by the formula for not very big systems. Thus we can deterministically certify isolated simple zeros of an over-determined polynomial systems. As an application, we use it to deterministically certify isolated multiple zeros of small systems.