A Certified Interval Method for the Distance from a Point to an Ellipse
Este artigo apresenta um algoritmo de intervalo certificado e livre de sementes que computa rigorosamente a distância euclidiana de um ponto a uma elipse ao isolar raízes de uma equação quarta através de parametrizações duplas, garantindo limites de enclausuramento sem depender de sementes heurísticas mesmo em casos mal condicionados.