Research supported by the Swedish Board for Technological Development.
Preview
Unable to display preview. Download preview PDF.
References
Arnborg S., Feng, H.: Algebraic decomposition of regular curves. J. Symb. Comp. 5 (1988) 131–140.
Arnon, D.S., Collins, G.E. and McCallum,S.: Cylindrical algebraic decomposition, SIAM J. Comp., 13, 865–877, 878–889.
Arnon, D.S. and Mignotte, M.: On mechanical quantifier elimination for elementary algebra and geometry, J. Symb. Comp. 5 (1988) 237–260.
Buchberger, B. (1985). Gröbner-bases: An algorithmic method in polynomial ideal theory. Multidimensional Systems Theory (Ed. N.K. Bose). D. Reidel Publishing Company 1985, 184–232.
Canny, J.: A new algebraic method for robot motion planning and real gemoetry. IEEE Fo CS 1987, 39–48.
Canny, J.: Some algebraic and geometric computations in PSPACE, ACM SToC 1988 460–467.
Davenport, J. H.: A ”Piano Mover's” Problem, SIGSAM Bulletin 20 (1986) 15–17.
Davenport, J. H.: Looking at a set of equations, Bath CS Tech. Report 87–06
Davenport, J.H., Siret, Y. and Tournier, E.: Computer Algebra, Academic Press, 1988.
Grigorev D.Yu. and Vorobjov, N.N.: Solving systems of polynomial equations in subexponential time. J. Symb. Comp. 5 (1988) 37–64.
Lazard, D.: Quantifier elimination: Optimal solution for two classical examples, J. Symb. Comp. 5 (1988) 261–266.
McCallum, S.: An improved projection operation for cylindrical algebraic decomposition of three-dimensional space. J: Symb. Comp. 5 (1988) 141–162
McCallum, S.: Solving polynomial inequalities using cylindrical algebraic decomposition. RISC-LINZ Series no. 87-25.0
Morse, M.: The critical points of a function of n variables, Trans. AMS, Jan 1931, 72–91
Seidenberg: A new decision method for elementary algebra. Annals of Mathematics 60 (1954), 365–374.
Whitney, H.: Elementary structure of real algebraic varietes. Annals of Mathematics 66 (1957) 545–556.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arnborg, S. (1989). Experiments with a projection operator for algebraic decomposition. In: Gianni, P. (eds) Symbolic and Algebraic Computation. ISSAC 1988. Lecture Notes in Computer Science, vol 358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51084-2_16
Download citation
DOI: https://doi.org/10.1007/3-540-51084-2_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51084-0
Online ISBN: 978-3-540-46153-1
eBook Packages: Springer Book Archive