Fast Methods for Solving Linear Diophantine Equations
暂无分享,去创建一个
[1] Éric Domenjoud. Outils pour la déduction automatique dans les théories associative-commutatives , 1991 .
[2] Ana Paula Tomás,et al. A New Method for Solving Linear Constraints on the Natural Numbers , 1991, EPIA.
[3] Michael Clausen,et al. Efficient Solution of Linear Diophantine Equations , 1989, J. Symb. Comput..
[4] Richard P. Stanley,et al. Linear homogeneous Diophantine equations and magic labelings of graphs , 1973 .
[5] Evelyne Contejean,et al. A new AC unification algorithm with an algorithm for solving systems of diophantine equations , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[6] Gérard P. Huet,et al. An Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations , 1978, Inf. Process. Lett..