Research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolic-numeric computation. The algorithms developed are incorporated into the Maple computer algebra system. Publications, software, meetings, people.
Symbolic Computation Group, University of Waterloo