Computer Sciences Dept.

An Improved Projection Operation for Cylindrical Algebraic Decomposition

Scott McCallum
1985

Download this report (PDF)


Return to tech report index

 
Computer Science | UW Home