An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine EquationsÉvelyne Contejean and Hervé Devie |
Abstract: In this paper, we describe an algorithm for solving systems of linear Diophantine equations based on a generalization of an algorithm for solving one equation due to Fortenbacher [1]. It can solve a system as a whole, or be used incrementally when the system is a sequential accumulation of several subsystems. The proof of termination of the algorithm is difficult, whereas the proofs of completeness and correctness are straightforward generalizations of Fortenbacher’s proof.
This document was translated from L^{A}T_{E}X by H^{E}V^{E}A.