Title: Computer algebra--algorithms, implementations and applications