61 citations · 109 across the 8 of their papers we have counts for
1 paper · 1 filter
Scott McCallum, Hoon Hong
In 1990 Lazard proposed an improved projection operation for cylindrical algebraic decomposition (CAD). For the proof he introduced a certain notion of valuation of a multivariate…