共 50 条
- [6] A Formally Verified Solver for Homogeneous Linear Diophantine Equations [J]. INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 441 - 458
- [10] LINEAR DIOPHANTINE EQUATIONS [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1979, 288 (17): : 785 - 787