Claverton Down
Bath, BA2 7AY
United Kingdom
University of Bath
cylindrical algebraic decomposition, Complexity, frontier condition, closure finite, boundary coherent