You are here

Computer Algebra & Symbolic Computation

URL: http://www.scg.uwaterloo.ca/

Contact Person: George Labahn, glabahn@uwaterloo.ca

Group Members:   Mark Giesbrecht, George Labahn, Arne Storjohann

Overview

The Computer Algebra & 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. The group has been in existence since 1981 and is best known for the creation of the Maple computer algebra system. The group is directed by George Labahn.

Currently the main areas of interest for the group 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 members of the group and their students are typically later incorporated into the Maple computer algebra system.

In addition to the topics mentioned above, 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 which 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 todays computer algebra systems.

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

In 2004 SCG, along with the corresponding groups at UWO and SFU, was awarded a NSERC Synergy Award which highlighted their strong industry interaction with MapleSoft over a large number of years.