Postdoctoral fellow: Dr. Rong Xiao, Computer Science, University of Western Ontario
Lead faculty member: Dr. Marc Moreno Maza, Computer Science, University of Western Ontario
The theoretical and practical aspects of manipulating mathematical expressions on computers are usually referred to as computer algebra or symbolic computation. In this field, calculations are designed to yield exact and complete results, by opposition to numerical analysis which is meant to handle approximate values, potentially producing incomplete results. Exactness and completeness have some significant computational overhead. Computer algebra software is highly demanding in CPU time and memory.
Computer algebra systems such as Maple compute using mathematical formulae as well as numbers, mechanizing the mathematics used in education and research labs. This project focuses on the design and implementation of algorithms for these systems. Emphasis is placed on efficiency that allows large and complex problems of the type encountered in industrial settings to be solved. In the past year the team has made major advances in the core tools that are needed to solve these complex problems.