Book chapter
English

The decidability of real algebraic sets by the index formula

Published inCoste, M., Mahé, L. & Roy, M.-F. (Ed.), Real algebraic geometry. Proceedings of the Conference held in Rennes, France, June 24–28, 1991, 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. Coste, M., Mahé, L. & Roy, M.-F. (Ed.). [s.l.] : Springer, 1992. p. 235–239. (Lecture Notes in Mathematics) doi: 10.1007/BFb0084623
Identifiers
946views
0downloads

Technical informations

Creation11/10/2010 17:47:00
First validation11/10/2010 17:47:00
Update14/03/2023 16:07:26
Status update14/03/2023 16:07:26
Last indexation29/10/2024 17:14:25
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack