15 citations · 33 across the 13 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.SC2012★ 1 cited
logcf: An Efficient Tool for Real Root Isolation
Liyun Dai, Bican Xia
This paper revisits an algorithm for isolating real roots of univariate polynomials based on continued fractions. It follows the work of Vincent, Uspen- sky, Collins and Akritas, J…
cs.LO2012
Non-Termination Sets of Simple Linear Loops
Liyun Dai, Bican Xia
A simple linear loop is a simple while loop with linear assignments and linear loop guards. If a simple linear loop has only two program variables, we give a complete algorithm for…