Tech Report Number
82-427
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 351.
https://docs.lib.purdue.edu/cstech/351
Number of Pages
27