| Computational Geometry is the study of algorithms for solving geometric problems, primarily discrete and combinatorial geometry, rather than continuous. The application areas are many, including graphics, databases, and robotics. This term the course will have a particular emphasis on geometric theorem proving and experimental mathematics. We will look at several tools for finding interesting geometric examples, generalizing from them, and visualizing or exploring them. There will be both an experimental and a theoretical component of the course: students will be expected both to write programs, to prove theorems, and possibly to write programs that prove theorems. Prerequisites: CS 3933. |
