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 Keith Geddes, Mark Giesbrecht, George Labahn (director) and Arne Storjohann.

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.

• 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.