"Computing the CAD adapted to a set of equalities" - читать интересную книгу автора (Gonzalez-Campos, Gonzalez-Vega.)