Symbolic-numeric completion of differential systems by homotopy continuation


Two ideas are combined to construct a hybrid symbolic-numeric differential-elimination method for identifying and including missing constraints arising in differential systems. First we exploit the fact that a system once differentiated becomes linear in its highest derivatives. Then we apply diagonal homotopies to incrementally process new constraints, one… (More)
DOI: 10.1145/1073884.1073922


3 Figures and Tables