SIGSAM Bulletin, ACM Special Interest Group on Symbolic and Algebraic Manipulation (informationswissenschaftl. Veröffentlichungen)