A short proof for the parameter continuation theorem
arXiv:2302.14697
Abstract
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.