Lecture Notes
lecture_18.pdf
Description:
This course contains notes on Quantifier Elimination, Tarski-Seidenberg, Cylindrical Algebraic Decomposition (CAD).
Resource Type:
Lecture Notes
pdf
160 kB
lecture_18.pdf
Course Info
Instructor
Departments
As Taught In
Spring
2006
Level
Topics
Learning Resource Types
notes
Lecture Notes