Text Size: ππππ

CECM Home > Research

CECM Research Posters CECM IRMACS MITACS PIMS

Research

Symbolic Computation

These projects use symbolic computation in an essential way both in the process of discovery and proof. Each aims at producing robust software.

Complexity Issues And Computational Phenomena

These concern the theoretical behaviour of analytic algorithms and the exhibition of unusual related computational phenomena.

Numerical Computation

The following projects involve differing mixtures of symbolic and numerical computation. The mathematics involved suggests the following classification.

Computational Modern and Applied Analysis
Computational Number Theory
Scientific Computation
Advanced Collaborative Network Technologies

These projects explore issues arising from the CECM's role in the development of network-based, environments for research and education in the mathematical sciences.

Visualization of Mathematics

Closely connected to the philosophy of experimental mathematics, these projects represent explorations into visualizing a largely abstract domain of science which strongly constrains the bounds of rigorous knowledge.