Rabin's width of a complete proof and the width of a semialgebraic set

  • Tomás Recio
  • Luis M. Pardo
Advanced Algorithms
Part of the Lecture Notes in Computer Science book series (LNCS, volume 378)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [A-B]
    C. Andradas, E. Becker, On the Real Stability Index of Rings and its Application to Real Algebraic Geometery, Publ. Sem. Logique et Algèbre Réelle, Univ. Paris VII, 1984–85.Google Scholar
  2. [B]
    M. Ben-Or, Lower bounds for Algebraic Computation Trees, Proc. 15th ACM Annual Symp. on Theory of Comp., pp 80–86, 1983Google Scholar
  3. [B-C-R]
    J. Bochnak, M. Coste, M. F. Roy, Géometrie Algebrique Réelle, forthcoming book in Springer.Google Scholar
  4. [Br1]
    L. Bröcker, Minimale Erzeugung von Positivbereichen, Geometriae Dedicata 16, pp 335–350, 1984CrossRefGoogle Scholar
  5. [Br2]
    L. Bröcker, Spaces of Orderings and Semialgebraic Sets, Quadratic and Hermitian Forms CMS Conference Proc. 4, pp 231–248, 1984Google Scholar
  6. [Br3]
    L. Bröcker, Description of Semialgebraic Sets by few polynomials, ICPAM Summer School on Real Algebraic Geometry, Nice 1985Google Scholar
  7. [J]
    J. W. Jaromczyk, An Extention of Rabin's Complete Proof Concept, Springer LNCS 118, pp 321–326, 1981Google Scholar
  8. [Ra]
    M. O. Rabin, Proving Simultaneous Positivity of Linear Forms, J. of Computer and System Sciences 6, pp 639–650, 1972Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Tomás Recio
    • 1
  • Luis M. Pardo
    • 1
  1. 1.Dept. de MatematicasFacultad de Ciencias (Universidad de Cantabria)SantanderSpain

Personalised recommendations