en
Book chapter
English

The decidability of real algebraic sets by the index formula

Published inReal algebraic geometry. Proceedings of the Conference held in Rennes, France, June 24–28, 1991, Editors Coste, M., Mahé, L. & Roy, M.-F., p. 235-239
PublisherSpringer
Collection
  • Lecture Notes in Mathematics; 1524
Publication date1992
Abstract

We propose an algorithm to decide if a real algebraic set defined by polynomials with integer coefficients has a non empty intersection with a given ball by the index formula of Kronecker. We approximate the integral by a Riemann sum and we give an estimate of the time of computation which is needed. The method is well adapted to the use of parallel time computations.

Keywords
  • Real algebraic geometry
  • Index formula
  • NP-problems
Citation (ISO format)
FRANÇOISE, J.-P., RONGA, Felice. The decidability of real algebraic sets by the index formula. In: Real algebraic geometry. Proceedings of the Conference held in Rennes, France, June 24–28, 1991. [s.l.] : Springer, 1992. p. 235–239. (Lecture Notes in Mathematics) doi: 10.1007/BFb0084623
Identifiers
829views
0downloads

Technical informations

Creation10/11/2010 5:47:00 PM
First validation10/11/2010 5:47:00 PM
Update time03/14/2023 4:07:26 PM
Status update03/14/2023 4:07:26 PM
Last indexation08/28/2023 7:49:05 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack