This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
12.9 Bibliographical Notes
M. E. Alonso, E. Becker, M.-F. Roy, T. Wörmann, Zeroes, Multiplicities and Idempotents for Zerodimensional Systems, Algorithms in algebraic geometry and applications, Progress in Mathematics, vol 143. Birkhauser 1–16 (1996).
S. Basu, On Bounding the Betti Numbers and Computing the Euler Characteristics of Semi-algebraic Sets, Discrete and Computational Geometry, 22 1–18 (1999).
B. Buchberger, An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal, PhD Thesis, Mathematical Institute, University of Innsbruck, Austria, (1965).
B. Buchberger, Gröbner bases: an algorithmic method in polynomial ideal theory, Recent trends in multidimensional systems theory, Reider ed. Bose, (1985).
J. Canny, Some Algebraic and Geometric Computations in PSPACE, Proc. Twentieth ACM Symp. on Theory of Computing, 460–467, (1988).
L. Gournay, J. J. Risler, Construction of roadmaps of semi-algebraic sets, Appl. Algebra Eng. Commun. Comput. 4, No.4, 239–252 (1993).
L. Kronecker, Werke, Vol 1. Leipzig, Teubner (1895).
J. Renegar. On the computational complexity and geometry of the first order theory of the reals, Journal of Symbolic Computation, 13: 255–352 (1992).
F. Rouillier, Solving Polynomial Systems through the Rational Univariate Representation, Applicable Algebra in Engineering Comunication and Computing, 9(5) 433–461 (1999).
F. Rouillier, M.-F. Roy, M. Safey El Din, Finding at least one point in each connected component of a real algebraic set defined by a single equation, Journal of Complexity 16, 716–750 (2000).
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Polynomial System Solving. In: Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics, vol 10. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-33099-2_13
Download citation
DOI: https://doi.org/10.1007/3-540-33099-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33098-1
Online ISBN: 978-3-540-33099-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)