6.972 | Spring 2006 | Graduate

Algebraic Techniques and Semidefinite Optimization

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
Download File

Course Info

Instructor

Departments

As Taught In

Spring 2006

Level

Graduate

Topics

Learning Resource Types

Lecture Notes
Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2026 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2026 Massachusetts Institute of Technology