Algebraic certification of numerical algorithms computing Lagrange resolvents

摘要

We introduce a certified numerical algorithm to calculate Lagrange's resolvent. This algebraic certification uses Galoisian ideal.