Tech Report Number
82-427A
Date of this Version
12-22-1982
Revised Date
1983-12-05 00:00
Recommended Citation
Arnon, Dennis S.; Collins, George E.; and McCallum, Scot, "Cylindrical Algebraic Decomposition I: The Basic Algorithm" (1982). Department of Computer Science Technical Reports. Paper 352.
https://docs.lib.purdue.edu/cstech/352
Number of Pages
27