Publisher
Springer Science and Business Media LLC
Reference5 articles.
1. S. L. Kryvyi, “Algorithms for solving systems of linear diophantine equations in residue rings,” Cybern. Syst. Analysis, Vol. 43, No. 6, 787–798 (2007). https://doi.org/https://doi.org/10.1007/s10559-007-0103-1.
2. S. L. Kryvyi, “An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers,” Cybern. Syst. Analysis, Vol. 45, No. 6, 875–880 (2009). https://doi.org/10.1007/s10559-009-9160-y.
3. A. I. Kostrikin, Introduction to Algebra, Pt. 2 [in Russian], Fizmatlit, Moscow (2004).
4. V. V. Skobelev, Automata over Algebraic Structures: Models and Methods of Its Investigation [in Russian], IPMM NANU, Donetsk (2013).
5. A. Bockmayr, V. Weispfenning, and M. Maher, “Solving numerical constraints,” in: Handbook of Automated Reasoning, Ch. 12 (2001), pp. 753–842.