Welcome to SCG

The Symbolic Computation Group is a research group within the David R. Cheriton School of Computer Science in the Faculty of Mathematics at the University of Waterloo, Waterloo, Ontario, Canada. SCG is affiliated with the Ontario Research Centre in Computer Algebra (ORCCA). The principal investigators in the lab are Mark Giesbrecht, George Labahn (director), Éric Schost, Arne Storjohann, and Stephen Watt.

SCG has as its primary goal the design, analysis and implementation of algorithms and systems for computer algebra and symbolic computation. Many of the algorithms developed are incorporated into the Maple computer algebra system.

Main Areas of Interest

Some of the Symbolic Computation Group's main research interests include:

• Symbolic Integration.
• Exact and symbolic linear algebra.
• Hybrid symbolic-numeric computing.
• Finding closed-form solutions for ordinary differential equations.
• Pen-based mathematics.
• Algebraic manipulation of differential and Ore operators.
• Rational approximation algorithms.
• Sparse polynomials and matrices.
• Complexity of algebraic computations.