«Mini Course on Real Algebraic Numbers»
on Tuesday and Thursday at 16:15-17:45 in room 46/024;
starting Tue, July 6th and ending Tue, July 20th.
This mini course started out with the idea to do "something on non-linear computational geometry and the algebraic methods it needs" in a bottom-up fashion. While collecting material and preparing the first lecture, it became clear to me that in the limited time frame of 4 × 90 minutes, we cannot get much further from the bottom than to cover real algebraic numbers and their algorithmic treatment. I'd like to address the following three items which I consider to be particularly interesting:
Tue, July 6th | Rational, real, complex, algebraic, and transcendental numbers. Computing with guaranteed approximations. Lecture notes (.ps.gz) |
Thu, July 8th | no mini course (speaker absent) |
Tue, July 13th | Univariate polynomials. Algebraic numbers, 1st half. Click here for references. Exceptional room for this day: 46/021 |
Thu, July 15th | Algebraic numbers, 2nd half. Click here for references. |
Tue, July 20th | The first order theory of real closed fields is decidable. Click here for references. |