Mathematics – Algebraic Geometry
Scientific paper
1996-09-06
Mathematics
Algebraic Geometry
Latex
Scientific paper
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, Morgenstern, Pardo \cite{gihemorpar} 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 \cite{gihemorpar} yields a method for symbolically solving a zero-dimensional 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 zero-dimensional equation system in non-uniform sequential time that is polynomial in the length of the input description and an adequately defined {\em affine degree} of the equation system. Replacing the affine degree of the equation system by a suitably defined {\em real degree} of certain polar varieties associated to the input equation, which describes the hypersurface under consideration, and using straight-line program codification of the input and intermediate results, we obtain a method for the problem introduced above that is polynomial in the input length and the real degree.
Bank B.
Giusti Marc
Heintz Joos
Mandel Rainer
Mbakop G. M.
No associations
LandOfFree
Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-382234