so symbolic much wow
my prof made the first version of (pre-)maple actually
it was about determinant decision diagrams (DDD's)
Georges Gielen was my supervisor
at the time his tool was called ISAAC
(symbolic reduction techniques)