Skip to main content
SpringerLink
Log in
Book cover

Real Algebraic Geometry pp 402–415Cite as

Effective stratification of regular real algebraic varieties

  • Other Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 1524))

Abstract

An algorithm is proposed, producing a Whitney stratification for a real algebraic variety which is a union of transversally intersecting smooth varieties. The complexity of the algorithm and the estimates on the parameters of the produced strata are single exponential in the number of variables of the input polynomials.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Goresky M., MacPherson R.: Stratified Morse Theory. Springer-Verlag, Berlin, 1988.

    Book  MATH  Google Scholar 

  2. Canny J., Grigor'ev D. Yu., Vorobjov N.N. Jr.: Finding connected components of a semialgebraic set in subexponential time, 1990, to appear in AAECC.

    Google Scholar 

  3. Heintz J., Roy M.-F., Solerno P.: Description des composantes connexes d'un ensemble semi-algébrique en temps simplement exponentiel C.R. Acad. Sci. Paris 313,1991, p. 167–170.

    MathSciNet  Google Scholar 

  4. Lang S.: Algebra. Addison-Wesley, New York, 1965.

    MATH  Google Scholar 

  5. Thorpe J.A.: Elementary Topics in Differential Geometry. Springer-Verlag, Berlin, 1979.

    Book  MATH  Google Scholar 

  6. Heintz J., Roy M.-F., Solerno P.: Sur la complexité du principe de Tarski-Seidenberg, Bull. Soc. Math. France, 118, 1990, p. 101–126.

    MathSciNet  MATH  Google Scholar 

  7. Renegar J.: On the computational complexity and geometry of the first order theory of the reals, Parts I, II, III, Tech. Report 856, Cornell University Ithaca, 1989.

    Google Scholar 

  8. Grigor'ev D.Yu., Vorobjov N.N. Jr.: Solving systems of polynomial inequalities in subexponential time. J. Symbolic Comp., 5, 1988, p. 37–64.

    Article  MathSciNet  MATH  Google Scholar 

  9. Mostowski T., Rannou E.: Canonical Whitney stratification of an algebraic set in ℂn. AAECC 1991, New Orleans.

    Google Scholar 

  10. Kashiwara M.: B-functions and holonomic systems. Inv. Math., 38, 1976, p. 33–53.

    Article  MathSciNet  MATH  Google Scholar 

  11. Henry J.-P., Merle M., Sabbah C.: Sur la condition de Thom stricte pour un morphisme analytique complexe. Ann. Scient. Ec. Norm. Sup., 4 série, 17, 1984, p. 227–268.

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. St. Petersburg Dept. of Mathematical, Steklov Institute of Academy of Sci., 27, Fontanka, 191011, St. Petersburg, Russia

    Nicolai N. Vorobjov

Authors
  1. Nicolai N. Vorobjov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michel Coste Louis Mahé Marie-Françoise Roy

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag

About this paper

Cite this paper

Vorobjov, N.N. (1992). Effective stratification of regular real algebraic varieties. In: Coste, M., Mahé, L., Roy, MF. (eds) Real Algebraic Geometry. Lecture Notes in Mathematics, vol 1524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0084637

Download citation

  • DOI: https://doi.org/10.1007/BFb0084637

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55992-4

  • Online ISBN: 978-3-540-47337-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation