Symbolic Computation Laboratory

The University of Western Ontario

The Symbolic Computation Laboratory (SCL) performs research in algorithms and software systems for symbolic computation. SCL is part of the Ontario Research Centre for Computre Algebra (ORCCA)

Some specific research topics include:

• symbolic linear and non-linear algebra
• computer algebra software, see
• symbolic analysis of ODE's and PDE's
• computer algebra software:
  • our GitHub, Maple, BPAS, CUMODP and RegularChains and PowerSeries libraries
• languages and programming environments, see Aldor and MetaFork
• high-performance computer algebra, see BPAS and CUMODP
• symbolic-numeric algorithms
• symbolic analysis of ODEs and PDEs