I detta papper generaliserar vi algoritmen som beskrivs av Rump och Graillat, samt vårt tidigare arbete med att certifiera bredd-en singular lösningar av polynom system, att beräkna verifierade och smala felgränser så att ett något perturbed system garanteras att ha en isolerad singular lösning inom de beräknade gränserna. Vår nya verifieringsmetod bygger på deflationsteknik med utjämningsparametrar. Vi demonstrerar algoritmens prestanda för system med unika lösningar av multiplicitet upp till hundratals.
I sitt sekventiella resultat REF föreslog de en algoritm för att beräkna verifierade felgränser så att ett perturbed system garanteras ha en isolerad singular lösning inom beräknade felgränser.
Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems
{'venue': None, 'journal': 'arXiv: Numerical Analysis', 'mag_field_of_study': ['Computer Science', 'Mathematics']}