Symbolisches Rechnen bedeutet: Automatisches Rechnen mit Formeln (statt nur mit Zahlen). Wir implementieren Rechenregeln der mathematischen Logik und Algebra als Computerprogramme und wenden sie an.  Unser Spezialgebiet ist SAT-Solving in Boolescher Algebra. Unsere besondere Stärke liegt in der Konstruktion leistungsfähiger symbolischer Software-Systeme in Java.

Unsere Anwendungen umfassen Konfigurationsprobleme in der Automobil-Industrie, in Computer- und Speicher-Netzwerken sowie in der formalen Fehler-Analyse und Verifikation von Systemsoftware.