Guy M. Mbakop

Learn More
Let S0 be a smooth and compact real variety given by a reduced regular sequence of polynomials f1, . . . , fp . This paper is devoted to the algorithmic problem of finding efficiently a representative point for each connected component of S0 . For this purpose we exhibit explicit polynomial equations that describe the generic polar varieties of S0 . This(More)
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, Morgenstern, Pardo [10] can be applied to a case of real polynomial equation solving. Our main result concerns the problem of finding one representative point for each connected component of a real bounded smooth hypersurface. The algorithm in [10] yields a(More)
In this paper we apply for the first time a new method for multivariate equation solving which was developed in [18], [19], [20] for complex root determination to the real case. Our main result concerns the problem of finding at least one representative point for each connected component of a real compact and smooth hypersurface. The basic algorithm of(More)
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, Morgenstern, Pardo 10] can be applied to a case of real polynomial equation solving. Our main result concerns the problem of nding one representative point for each connected component of a real bounded smooth hypersurface. The algorithm in 10] yields a method(More)
In this paper we apply for the rst time a new method for multivariate equation solving which was developed in for complex root determination to the real case Our main result concerns the problem of nding at least one representative point for each connected component of a real compact and smooth hypersurface The basic algorithm of yields a new method for(More)
Let V be a smooth and compact real variety given by a reduced regular sequence of polynomials f fp This paper is devoted to the algorithmic problem of nding e ciently for each connected component of V a representative point For this purpose we exhibit explicit polynomial equations which describe for generic variables the polar varieties of V of all(More)
  • 1