Abstract: In this talk, I will give a brief review on the history, recent developments, and current state of automated geometric reasoning, with emphasis on the role of algebraic methods for theorem-proving. I will show how interesting geometric theorems may be proved or even discovered automatically. The discussed methods will be illustrated with a number of application examples and a live demo of my GEOTHER environment.

This featured lecture is being arranged in connection with the Mathematics Department's Special Year in Number Theory and Combinatorics For more information see the website:
http://qseries.org/specialyears/2004-5/.
It is also connected with the upcoming Automated Deduction in Geometry Workshop, Sept.16-18 .