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