An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations (1994)
by
Evelyne Contejean
,
Herve Devie
| Citations: | 21 - 0 self |
BibTeX
@MISC{Contejean94anefficient,
author = {Evelyne Contejean and Herve Devie},
title = {An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 [3]. 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.
