Overview of Quantifier Elimination and its Applications

• Slides for the talk at the ACL2 meeting: PS or PDF or DVI .
• Some papers on quantifier-elimination:
• feedback-design.pdf
• geometry.pdf .
• non-linear-control-systems-design.pdf