A short proof for the parameter continuation theorem

02/28/2023

∙

by   Viktoriia Borovik, et al.

∙

0

∙

share

The Parameter Continuation Theorem is the theoretical foundation for polynomial homotopy continuation, which is one of the main tools in computational algebraic geometry. In this note, we give a short proof using Gröbner bases. Our approach gives a method for computing discriminants.