Was (könnte der aufgeweckte Student hier noch) tun?

• autotool-Aufgaben dokumentieren, verbessern, erweitern https://autotool.imn.htwk-leipzig.de/cgi-bin/Trial.cgi?lecture=214
  • abstrakte und Termersetzung
  • Polynome (Euklid, Gröbner)
  • Gitter
  • Geometrie (!)

• geometrische Geradeausprogramme/Theoreme http://autolat.imn.htwk-leipzig.de/gitweb/?p=tool;a=tree;f=collection/src/Geo;hb=for-ghc-7.8

• Intl. School on Rewriting (10.-14. August) http://www.imn.htwk-leipzig.de/ISR2015/