Master of Mathematics in Computer Science - Computer Algebra and Symbolic Computation in Waterloo Canada | University of Waterloo

The David R. Cheriton School of Computer Science is globally recognized for excellence in education, scholarship, investigation, and career preparation. We draw outstanding students worldwide to learn and collaborate with our distinguished faculty. Engage in diverse research initiatives alongside world-renowned scholars across the computing spectrum - from fundamental systems, theory, and programming to cutting-edge domains like human-computer interaction, quantum computing, and advanced machine learning. Graduate students benefit from: Dedicated research facilities. Publishing opportunities in leading academic venues. Presentation platforms at top-tier conferences among peers and industry experts. Pursue specialized research under faculty guidance or complete coursework requirements through our flexible degree pathways.

The Computer Algebra and Symbolic Computation Group focuses on advancing algorithms for symbolic mathematics, blending both pure symbolic and numerical-symbolic approaches. Under George Labahn's leadership since 1981, the team is renowned for developing the Maple system. Current research emphasizes symbolic integration, differential equations, hybrid computational methods, operator matrix algebra, and symbolic linear algebra techniques. These algorithmic innovations frequently enhance Maple's capabilities. The group additionally explores intuitive mathematical interfaces for touch devices, creating natural input methods that harness modern computer algebra power while maintaining expression manipulability on tablets and similar platforms.