Algorithmic and Software Progress in Symbolic Computation

In recent years, research in computer algebra has expanded beyond its traditional territories, such
as exact linear algebra and formal solutions of partial differential equations, to enter new arenas,
such as symbolic analysis and polyhedral geometry. The proposed research projects will expand the
scope of computer algebra systems (CAS) into these two new areas. They will also strengthen CAS
in one of their well-established territories, namely symbolic integration.
This proposal capitalizes on the research conducted by the academic partners at the University of
Western Ontario in order to strengthen and extend the technology of their industrial partner, MAPLESOFT,
the developers of MAPLE, one of the leading CAS world-wide. In fact, the proposed research
projects extend a series of research projects conducted by the partners over the past two years with
the support of MITACS.

Faculty Supervisor:

Marc Moreno Maza;David Jeffrey;Gregory Reid

Student:

Partner:

Maplesoft

Discipline:

Computer science

Sector:

Information and cultural industries; Professional, scientific and technical services

University:

The University of Western Ontario

Program: