Add to ORKGThe 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 method for symbolically solving a zerodimensional polynomial equation system in the affine (and toric) case. Its main feature is the use of adapted data structure: Arithmetical networks and straight-line programs. The algorithm solves any affine zerodimensional equation system in non-uniform sequential time that is polynomial in the length of the input description and an adequately defined ...
For a real square-free multivariate polynomial F, we treat the general problem of finding real solut...
In previous work we designed an efficient procedure that finds an algebraic sam-ple point for each c...
The aim of this paper is a comprehensive presentation of the geometrical tools which are necessary t...
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, M...
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, M...
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, M...
The objective of this paper is to show how the recently proposed method by Giusti Heintz Morais M...
In this paper we apply for the first time a new method for multivariate equation solving which was d...
AbstractIn this paper we apply for the first time a new method for multivariate equation solving whi...
AbstractIn this paper we apply for the first time a new method for multivariate equation solving whi...
Let V_0 be a smooth and compact real variety given by a reduced regular sequence of polynomials f_1,...
Let $V_0$ be a smooth and compact real variety given by a reduced regular sequence of polynomials $f...
Let $V_0$ be a smooth and compact real variety given by a reduced regular sequence of polynomials $f...
We introduce the concept of a bipolar variety of a real algebraic hypersurface. This notion is then ...
We present a new method for solving symbolically zero-dimensional polynomial equation systems in the...
For a real square-free multivariate polynomial F, we treat the general problem of finding real solut...
In previous work we designed an efficient procedure that finds an algebraic sam-ple point for each c...
The aim of this paper is a comprehensive presentation of the geometrical tools which are necessary t...
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, M...
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, M...
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, M...
The objective of this paper is to show how the recently proposed method by Giusti Heintz Morais M...
In this paper we apply for the first time a new method for multivariate equation solving which was d...
AbstractIn this paper we apply for the first time a new method for multivariate equation solving whi...
AbstractIn this paper we apply for the first time a new method for multivariate equation solving whi...
Let V_0 be a smooth and compact real variety given by a reduced regular sequence of polynomials f_1,...
Let $V_0$ be a smooth and compact real variety given by a reduced regular sequence of polynomials $f...
Let $V_0$ be a smooth and compact real variety given by a reduced regular sequence of polynomials $f...
We introduce the concept of a bipolar variety of a real algebraic hypersurface. This notion is then ...
We present a new method for solving symbolically zero-dimensional polynomial equation systems in the...
For a real square-free multivariate polynomial F, we treat the general problem of finding real solut...
In previous work we designed an efficient procedure that finds an algebraic sam-ple point for each c...
The aim of this paper is a comprehensive presentation of the geometrical tools which are necessary t...