Programy według scirl.sf.net

Obsługuje symboliczne wyrażenia naukowe z dopasowaniem wzorcaStrategii. Wszystkie wzorce rozwiązań symbolicznych oparte na bibliotekach badawczych definiowanych przez użytkownika.