CS780 Advanced Symbolic Computation
Article Archive
Look here for links, copies and references to relevant research papers