Lecture Notes

lecture_18.pdf

Description:

This course contains notes on Quantifier Elimination, Tarski-Seidenberg, Cylindrical Algebraic Decomposition (CAD).

Resource Type:
Lecture Notes

Course Info

Instructor
As Taught In
Spring 2006
Level