English Unordered Computer algebra and symbolic computation: mathematical methods Joel S. Cohen 2003 View book