Given Q 2 R[X1 ; : : : ; Xk ] with deg(Q) d; we give an algorithm that outputs a semi-algebraic description for each of the semi-algebraically connected components of Z(Q) ae R k : The complexity of the algorithm as well as the size of the output are bounded by d O(k 3 ) : More generally, given any semi-algebraic set S defined by a quantifier-free formula involving a family of polynomials, P = fP1 ; : : : ; Psg ae R[X1 ; : : : ; Xk ] whose degrees are at most d; we give an algorithm that outputs a semi-algebraic description for each of the semialgebraically connected components of S: The complexity of the algorithm as well as the size of the output is bounded by s k+1 d O(k 3 ) : This improves the previously best known bound ...
Let $S\subset \mathbb{R}^n$ be a semi algebraic set defined by symmetric polynomials of degree $d$....
AbstractWe give new positive and negative results, some conditional, on speeding up computational al...
Solving polynomial systems is an active research area located between computer sciences and mathemat...
AbstractLet W ⊂ Rn be a semialgebraic set defined by a quantifier-free formula with k atomic polynom...
AbstractWe consider a family ofspolynomials, P = {P1, …,Ps}, inkvariables with coefficients in a rea...
(eng) We show that deciding whether an algebraic variety has an irreducible component of codimension...
International audienceLet R be a real closed field and D ⊂ R an ordered domain. We give an algorithm...
This paper gives a description of some aspects of complexity in real algebraic geometry: explicit bo...
Let R be a real closed field, , with degY(Q)2, degX(Q)d, , , and with degX(P)d, , . Let SRℓ+k be a ...
Let $\R$ be a real closed field, $ {\mathcal Q} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], $ with $ \de...
AbstractWe give a uniform method for the two problems of counting the connected and irreducible comp...
AbstractWe define counting classes #PR and #PC in the Blum–Shub–Smale setting of computations over ...
Abstract. We prove that the number of distinct homotopy types of limits of one-parameter semi-algebr...
In this thesis, we consider semi-algebraic sets over a real closed field R defined by quadratic poly...
This thesis addresses several classic problems in algebraic and symbolic computation related to the...
Let $S\subset \mathbb{R}^n$ be a semi algebraic set defined by symmetric polynomials of degree $d$....
AbstractWe give new positive and negative results, some conditional, on speeding up computational al...
Solving polynomial systems is an active research area located between computer sciences and mathemat...
AbstractLet W ⊂ Rn be a semialgebraic set defined by a quantifier-free formula with k atomic polynom...
AbstractWe consider a family ofspolynomials, P = {P1, …,Ps}, inkvariables with coefficients in a rea...
(eng) We show that deciding whether an algebraic variety has an irreducible component of codimension...
International audienceLet R be a real closed field and D ⊂ R an ordered domain. We give an algorithm...
This paper gives a description of some aspects of complexity in real algebraic geometry: explicit bo...
Let R be a real closed field, , with degY(Q)2, degX(Q)d, , , and with degX(P)d, , . Let SRℓ+k be a ...
Let $\R$ be a real closed field, $ {\mathcal Q} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], $ with $ \de...
AbstractWe give a uniform method for the two problems of counting the connected and irreducible comp...
AbstractWe define counting classes #PR and #PC in the Blum–Shub–Smale setting of computations over ...
Abstract. We prove that the number of distinct homotopy types of limits of one-parameter semi-algebr...
In this thesis, we consider semi-algebraic sets over a real closed field R defined by quadratic poly...
This thesis addresses several classic problems in algebraic and symbolic computation related to the...
Let $S\subset \mathbb{R}^n$ be a semi algebraic set defined by symmetric polynomials of degree $d$....
AbstractWe give new positive and negative results, some conditional, on speeding up computational al...
Solving polynomial systems is an active research area located between computer sciences and mathemat...