Effective Algorithms in Polyhedral Geometry and Symbolic Analysis

The proposed research projects will expand the scope of computer algebra systems (CAS) into two areas where much remains to be done: symbolic analysis and polyhedral geometry. One of the proposed research projects will also strengthen CAS in one of their well-established territory, namely symbolic integration. These themes will support applications such as the analysis, transformation and scheduling of computer programs as well as the computation of limits of families of geometrical objects (e.g. tangent cones) algebraic geometry. This proposal capitalizes on the research conducted by 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

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: