Z. Liang

Polynomial time certifying algorithms for the planar quantified integer programming problem

K. Subramani, James Worthington, Z. Liang, 2013, J. Log. Comput..

Simple and Efficient Real Root-finding for a Univariate Polynomial

Victor Y. Pan, Elias P. Tsigaridas, V. Pan, 2015 .