Title: Computer algebra-- design of algorithms, implementations and applications