Skip to main content
Springer Nature Link
Log in

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

  • Advanced Algorithms
  • Conference paper
  • First Online:
Eurocal '87 (EUROCAL 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 378))

Included in the following conference series:

  • 145 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. M. Ben-Or, Lower bounds for Algebraic Computation Trees, Proc. 15th ACM Annual Symp. on Theory of Comp., pp 80–86, 1983

    Google Scholar 

  3. J. Bochnak, M. Coste, M. F. Roy, Géometrie Algebrique Réelle, forthcoming book in Springer.

    Google Scholar 

  4. L. Bröcker, Minimale Erzeugung von Positivbereichen, Geometriae Dedicata 16, pp 335–350, 1984

    Article  Google Scholar 

  5. L. Bröcker, Spaces of Orderings and Semialgebraic Sets, Quadratic and Hermitian Forms CMS Conference Proc. 4, pp 231–248, 1984

    Google Scholar 

  6. L. Bröcker, Description of Semialgebraic Sets by few polynomials, ICPAM Summer School on Real Algebraic Geometry, Nice 1985

    Google Scholar 

  7. J. W. Jaromczyk, An Extention of Rabin's Complete Proof Concept, Springer LNCS 118, pp 321–326, 1981

    Google Scholar 

  8. M. O. Rabin, Proving Simultaneous Positivity of Linear Forms, J. of Computer and System Sciences 6, pp 639–650, 1972

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. de Matematicas, Facultad de Ciencias (Universidad de Cantabria), 39006, Santander, Spain

    Tomás Recio & Luis M. Pardo

Authors
  1. Tomás Recio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis M. Pardo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James H. Davenport

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Recio, T., Pardo, L.M. (1989). Rabin's width of a complete proof and the width of a semialgebraic set. In: Davenport, J.H. (eds) Eurocal '87. EUROCAL 1987. Lecture Notes in Computer Science, vol 378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51517-8_153

Download citation

  • DOI: https://doi.org/10.1007/3-540-51517-8_153

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51517-3

  • Online ISBN: 978-3-540-48207-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics