Symbolic Computing and Computer Algebra profiles

Vijay Ganesh

Department of Electrical and Computer Engineering

Email: vganesh@uwaterloo.ca

Research Interests: Boolean SAT and SMT solvers, theorem provers, solvers for combinatorial mathematics, foundations of mathematics, complexity theory

Link to Profile: Vijay Ganesh

Mark Giesbrecht

School of Computer Science

Email: mwg@uwaterloo.ca

Research Interests: Computer algebra, algebraic algorithms and computational complexity

Link to Profile: Mark Giesbrecht

Ilias Kotsireas

Department of Physics and Computer Science, Wilfrid Laurier University

Email: ikotsire@wlu.ca

Research Interests: Symbolic Computation, Computer Algebra, Computational Algebra, Combinatorial Matrix Theory, Combinatorial Optimization, Commutative Algebra & Algebraic Geometry, Computer Algebra, Combinatorial Designs, Discrete Mathematics, Combinatorics

Link to Profile: Ilias Kotsireas

George Labahn

School of Computer Science

Email: glabahn@uwaterloo.ca

Research Interests: Computer Algebra with a secondary area being in the field of Computational Finance

Link to Profile: George Labahn

Éric Schost

School of Computer Science

Email: eschost@uwaterloo.ca

Research Interests: Computer algebra, from polynomial system solving to efficient polynomial and power series arithmetic

Link to Profile: Éric Schost

Arne Storjohann

School of Computer Science

Email: astorjoh@uwaterloo.ca

Research Interests: Symbolic and Exact Linear Algebra, Algorithmic Number Theory

Link to Profile: Arne Storjohann

Stephen Watt

School of Computer Science

Email: smwatt@uwaterloo.ca

Research Interests: Computer algebra, programming languages and compilers,  pen-based computing, and mathematical knowledge management 

Link to Profile: Stephen Watt