Computer algebra : concepts and techniques /: concepts and techniques. (2018)