Computer algebra and symbolic computation


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.

The group also has interests in mathematical interfaces for pen-based devices, including for example PC tablets and iPads. The intent is to create interfaces that allow for natural two dimensional input of mathematical notation which allows for simple manipulation of expressions on such devices while also allowing one to take advantage of the power of today's computer algebra systems.

The group is a partner in the Ontario Research Centre for Computer Algebra (ORCCA) with the Symbolic Computation Lab at the Wester University. This organization represents one of the largest computer algebra research centres in the world today.

In 2004, the Symbolic Computation Group, along with the corresponding groups at UWO and SFU, was awarded a NSERC Synergy Award, which highlighted their strong industry interaction with MapleSoft.