An exact and efficient approach for computing a cell in an arrangement of quadrics