Approximation of holomorphic maps from Runge domains to affine algebraic varieties. - Marcin Bilski; Adam Parusinski (J. Lond. Math. Soc., 2014)

Validity proof of Lazard's method for CAD construction. - Scott McCallum; Adam Parusinski; Laurentiu Paunescu (J. Symb. Comput., 2019)