An a posteriori certification algorithm for Newton homotopies. - Jonathan D. Hauenstein; Ian Haywood; Alan C. Liddell Jr. (ISSAC, 2014)

A hybrid symbolic-numeric approach to exceptional sets of generically zero-dimensional systems. - Jonathan D. Hauenstein; Alan C. Liddell Jr. (PASCO, 2015)

Decomposing Solution Sets of Polynomial Systems Using Derivatives. - Daniel A. Brake; Jonathan D. Hauenstein; Alan C. Liddell Jr. (ICMS, 2016)

Validating the Completeness of the Real Solution Set of a System of Polynomial Equations. - Daniel A. Brake; Jonathan D. Hauenstein; Alan C. Liddell Jr. (ISSAC, 2016)

Numerically validating the completeness of the real solution set of a system of polynomial equations. - Daniel A. Brake; Jonathan D. Hauenstein; Alan C. Liddell Jr. (CoRR, 2016)

Certified predictor-corrector tracking for Newton homotopies. - Jonathan D. Hauenstein; Alan C. Liddell Jr. (J. Symb. Comput., 2016)

Hybrid Methods in Solving Alternating-Current Optimal Power Flows. - Jie Liu 036; Alan C. Liddell Jr.; Jakub Marecek; Martin Takác 001 (IEEE Trans. Smart Grid, 2017)