Linear algebra is the study of matrices, linear maps, vector spaces, etc. Usually one chooses the coefficients to be in a field, such as the rational or the real numbers, finite fields, and others.
For many applications, for instance in number theory and cryptography, one wants to work with matrices over the integers. This means, in particular, that one must not divide (otherwise one usually ends up with a rational number with a non-trivial denominator)! Instead, the greatest common divisor plays an important role. If one adapts the Gauss algorithm accordingly, one can transform matrices into the Hermite Normal Form, which can be used for solving systems of linear equations.
The project allows many different subprojects, such as
Supervisors: Gabor Wiese, Luca Notarnicola
Difficulty level: EML 1 (especially for students of the lecture Linear Algebra 2).
Tools: Any computer language.