computer algebra system (CAS), originally developed by the MuPAD research group at the University of Paderborn, Germany