Master of Mathematics in Computer Science - Computer Algebra and Symbolic Computation

University of Waterloo

The Computer Algebra and Symbolic Computation Group has as its primary goal the research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolic-numeric computations. Directed by George Labahn, the group has existed since 1981 and is best known for the creation of the Maple computer algebra system. Currently, the main areas of interest include symbolic integration, linear differential equations, the development of hybrid symbolic-numeric algorithms for scientific computation, the algebraic manipulation of matrices of differential operators and symbolic linear algebra including normal forms and matrix polynomial algebra. The algorithms developed by the group members and their students are typically later incorporated into the Maple computer algebra system.