A sophisticated computer algebra system
