This is a preview of subscription content, log in via an institution to check access.
References
Arnon D.S., Collins G.E., McCallum S: Cylindrical algebraic decomposition I: the basic algorithm, SIAM J. Comp., 13,4, (1984), 865–877.
Collins G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in Second GI Conference on Automata Theory and Formal Languages, vol.33 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1975, 134–183.
McCallum S: An improved projection operation for cylindrical algebraic decomposition, Ph.D. Thesis, Univ. of Wisconsin-Madison, Dec., 1984.
Zariski O: On equimultiple subvarieties of algebroid hypersurfaces, Proc.Nat.Acad.Sci.USA, 72,4,(1975), 1425–1426.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McCallum, S. (1985). An improved projection operation for cylindrical algebraic decomposition. In: Caviness, B.F. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15984-3_277
Download citation
DOI: https://doi.org/10.1007/3-540-15984-3_277
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15984-1
Online ISBN: 978-3-540-39685-7
eBook Packages: Springer Book Archive