Änderungen

Zeile 16: Zeile 16:  
* SSP - Super Sketchpad
 
* SSP - Super Sketchpad
 
* Theorema (Buchberger et al)
 
* Theorema (Buchberger et al)
 +
* [http://www.swisseduc.ch/informatik/exorciser/ Exorciser] (zu theoretischer Informatik)
 +
* Saraswati