Symbolic and Exact Linear Algebra

over Rings and Fields

Applications of Computer Algebra

15-19 August 2022, Turkey


Mark Giesbrecht (University of Waterloo), email:

Armin Jamshidpey (University of Toronto), email:

Éric Schost (University of Waterloo), email:

Symbolic and exact linear algebra over various mathematical domains has developed to become a cornerstone of modern computer algebra systems. Over fields, such as finite fields, we now have well developed methods to work with massive systems of sparse linear equations.

Over the ring of integers, there have been many developments with exact integer matrices, canonical forms such as Smith and Hermite, and integer lattices. Polynomial matrices have seen similar developments with respect to order bases and M-Padé approximation.

Algorithmic techniques are less well-developed for matrices over non-commutative rings, such as rings of differential or difference operators. Similarly algorithms for rings with zero divisors and modules over more general commutative rings present many open problems.

All of these are applicable to a wide range of applications of the theory in science and engineering.

The aim of this special session is to gather experts in the area to discuss the recent achievements and potential new directions, in algorithms, mathematics, and implementations/libraries.

If you are interested in giving a talk, please submit an abstract of a talk to us by May 25, using the available LaTeX template.

Topics of interest include, over a variety of rings and fields:

Linear algebra over non-commutative rings

Lattices and ideals

Sparse matrices

Symbolic eigenvalue problems

Canonical forms

Linear system solving

Integer matrices

Computing null ideals

Applications: to coding theory, cryptography, mathematics