On projection in CAD-based quantifier elimination with equational constraint

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On projection in CAD-based quantifier elimination with equational constraint

Full text

Pdf (548 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1999 international symposium on Symbolic and algebraic computation table of contents

Vancouver, British Columbia, Canada

Pages: 145 - 149

Year of Publication: 1999

ISBN:1-58113-073-2

Author

Scott McCallum

Department of Computing, Division of Information and Communication Sciences, Macquaric University, NSW 2109, Australia

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 11, Citation Count: 8

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/309831.309892 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ABIIYANK-X{t.. S. S. Algebraic Geometry for Scie.ntist~ and Engineers. American Mathcinatical Society. Providence, 1990.
	2	Dennis S. Arnon , George E. Collins , Scott McCallum, Cylindrical algebraic decomposition I: the basic algorithm, SIAM Journal on Computing, v.13 n.4, p.865-877, Nov. 1984 [doi>10.1137/0213054]
	3	George E. Collins, Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages, p.134-183, May 20-23, 1975
	4	COLLINS, G. E. Quantifier elimination 1)y cylindrical algebraic decomt,osit.ion twenty years of progress, hi Quant,ifier Eliminatiov, and Cylindrical Algebraic Decor,..position (Vienna, 1998), B. F. Caviness and J. R. Johnson, Eds., Springer-Verlag, pp. 8-23.
	5	George E. Collins , Hoon Hong, Partial cylindrical algebraic decomposition for quantifier elimination, Journal of Symbolic Computation, v.12 n.3, p.299-328, Sept. 1991 [doi>10.1016/S0747-7171(08)80152-6]
	6	I~AI'LAN. W. Introduction to Analytic Functions. Addison-Wesley, Reading, 1966.
	7	MCC:AI~I~IJM, S. An ImpTvved Projection Operation for Cylindrical Alg~braic Decomposition. PhD thesis, University of Wisconsin-Madison, 1984.
	8	Scott McCallum, An improved projection operation for cylindrical algebraic decomposition of three-dimensional space, Journal of Symbolic Computation, v.5 n.1-2, p.141-161, February/April 1988 [doi>10.1016/S0747-7171(88)80010-5]
	9	MCC, AI~I~UM, S. An improved projection opcrat, ion tbr cylindrical algebraic decomposition. In Quant4fier Elimination and Cylindrical Algebraic Decomposition (Vienna, 1998), B. F. Caviness and J. R. Johnson, Eds., Springer-Verlag, pp. 242-268.
	10	\~AI.KEr~. R. J. Algebraic Curves. Springer-Verlag, N(;w
	11	\~'HITNE'~, H. Complex Analytic Varieties. Addisoil- Wesley, Menlo Park, 1972.

CITED BY 8

	Christopher W. Brown, Improved projection for cylindrical algebraic decomposition, Journal of Symbolic Computation, v.32 n.5, p.447-465, November 2001
	George E. Collins , Jeremy R. Johnson , Werner Krandick, Interval arithmetic in cylindrical algebraic decomposition, Journal of Symbolic Computation, v.34 n.2, p.145-157, August 2002
	Scott McCallum, On propagation of equational constraints in CAD-based quantifier elimination, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.223-231, July 2001, London, Ontario, Canada
	Christopher W. Brown, Improved projection for CAD's of R³, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.48-53, July 2000, St. Andrews, Scotland
	Scott McCallum , George E. Collins, Local box adjacency algorithms for cylindrical algebraic decompositions, Journal of Symbolic Computation, v.33 n.3, p.321-342, March 2002
	Christopher W. Brown , Scott McCallum, On using bi-equational constraints in CAD construction, Proceedings of the 2005 international symposium on Symbolic and algebraic computation, p.76-83, July 24-27, 2005, Beijing, China
	Scott McCallum , Christopher W. Brown, On delineability of varieties in CAD-based quantifier elimination with two equational constraints, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, July 28-31, 2009, Seoul, Republic of Korea
	Hoon Hong , Mohab Safey El Din, Variant real quantifier elimination: algorithm and application, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, July 28-31, 2009, Seoul, Republic of Korea