2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/109826We propose a new algorithm to solve sparse linear systems of equations over the integers. This algorithm is based on a $p$-adic lifting technique combined with the use of block matrices with structured blocks. It achieves a sub-cubic complexity in terms of machine operations subject to a conjecture on the effectiveness of certain sparse projections. A LinBox-based implementation of this algorithm is demonstrated, and emphasizes the practical benefits of this new method over the previous state of the art.Symbolic ComputationI.1.2Solving Sparse Integer Linear Systemstext