Now showing items 1-1 of 1
Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials
Let R be a real closed field, , with degY(Q)2, degX(Q)d, , , and with degX(P)d, , . Let SRℓ+k be a semi-algebraic set defined by a Boolean formula without negations, with atoms P=0, P0, P0, . We describe an algorithm for ...