Symbolic Computation Group
David R. Cheriton School of Computer Science
University of Waterloo
Waterloo, Ontario, Canada N2L 3G1
Office: Davis Centre 3619
Phone: (519) 888-4567x36361
Email: astorjoh AT uwaterloo.ca
683 Munich Circle
Waterloo ON, N2V 2L6
Phone: (519) 954-7729
Symbolic and Exact Linear Algebra:
Algorithms for canonical forms of matrices.
Solving systems of linear equations.
Computing invariants of integer matrices.
Linear algebra over rings with zero divisors.
Algorithms for sparse and black-box matrices.
Lattice basis reduction.
Algorithmic Number Theory:
Algorithms for basic operations over rings.
Variations of the extended GCD problem.
IML: Integer Matrix Library
hnfproj: Hermite canonical form of integer matrices
LinBox: Exact computational linear algebra
Last modified October 21, 2013