On the existence of solutions in systems of linear Diophantine equations

被引:0
|
作者
Hernando, Antonio [1 ]
de Ledesma, Luis [2 ]
机构
[1] Univ Politecn Madrid, Dept Sistemas Informat, Escuela Univ Informat, E-28660 Madrid, Spain
[2] Univ Politecn Madrid, Depto Inteligencia Artificial, Fac Informat, E-28660 Madrid, Spain
关键词
Number theory; Diophantine equations; Smith normal form; ALGORITHMS;
D O I
10.1007/s13398-011-0044-4
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The question about the existence of solutions in a family of systems of Diophantine linear equations can be always answered by means of a set of functions called 'Testers'. In this paper, we will propose a procedure to obtain this set of 'Testers' (named complete set of testers) which characterizes each family of systems of Diophantine equations.
引用
收藏
页码:223 / 245
页数:23
相关论文
共 50 条