共 50 条
- [3] LINEAR HOMOGENEOUS DIOPHANTINE EQUATIONS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A43 - A43
- [7] The solvability of linear systems and the satisfiability [J]. Vestnik Sankt-Peterburgskogo Universiteta. Ser 1. Matematika Mekhanika Astronomiya, 1995, (04): : 14 - 17
- [8] LINEAR SYSTEMS OF DIOPHANTINE EQUATIONS [J]. ELECTRONIC JOURNAL OF LINEAR ALGEBRA, 2022, 38 : 160 - 169
- [9] A Formally Verified Solver for Homogeneous Linear Diophantine Equations [J]. INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 441 - 458