61 citations · 109 across the 8 of their papers we have counts for
1 paper · 1 filter
Scott McCallum, Adam Parusinski, Laurentiu Paunescu
In 1994 Lazard proposed an improved method for cylindrical algebraic decomposition (CAD). The method comprised a simplified projection operation together with a generalized cell li…