Real-time animated dynamic geometry in the classrooms by using fast Gröbner basis computations. A talk at the Applications of Computer Algebra conference, Kassel, Germany, 2016, August 1-4.
1. Thales' circle: an implicit locus
2. Definition of a parabola as a locus
3. Parabola as an envelope
4. Cardiod as envelope
5. Limaçon trisectrix
6. String art envelope
7. Locus equations which may need absolute factorization