SCAS Web
Regelbasiertes Umformen mit Pattern-Variablen (Großbuchstaben).
Prototype
Ergebnis
Historie
Anregungen und Aufgaben
SCAS ist ein transparentes, winziges Computer-Algebra-System, das mit Binärbäumen arbeitet.
Studieren Sie, wie Terme vereinfacht werden. Schalten Sie dazu bestimmte Umformungsregeln ein oder aus und verändern Sie diese.
Finden Sie Terme, die mit den aktuellen Regeln nicht vereinfacht werden, und fügen Sie neue Regeln hinzu.
Implementieren Sie eine Funktion zum Differenzieren von Termen.
Regeln