31 citations · 78 across the 16 of their papers we have counts for
1 paper · 1 filter
Marc Giusti, Joos Heintz, Bart Kuijpers
We model the algorithmic task of geometric elimination (e.g., quantifier elimination in the elementary field theories of real and complex numbers) by means of certain constraint da…