共 50 条
- [21] A new algorithm on linear Diophantine equations DISCRETE AND COMPUTATIONAL MATHEMATICS, 2008, : 215 - +
- [26] Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations Formal Methods in System Design, 2009, 35 : 6 - 39
- [27] Efficient Craig interpolation for linear diophantine (dis)equations and linear modular equations COMPUTER AIDED VERIFICATION, 2008, 5123 : 254 - +
- [29] LINEAR DIOPHANTINE EQUATIONS APPLIED TO MODULAR COORDINATION AUSTRALIAN JOURNAL OF APPLIED SCIENCE, 1964, 15 (04): : 345 - &
- [30] On Two Classes of Exponential Diophantine Equations COMMUNICATIONS IN MATHEMATICS AND APPLICATIONS, 2022, 13 (01): : 137 - 145