EFFICIENT SOLUTION OF LINEAR DIOPHANTINE EQUATIONS

被引：62

|

作者：

CLAUSEN, M

FORTENBACHER, A

机构：

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1989年 / 8卷 / 1-2期

关键词：

D O I：

10.1016/S0747-7171(89)80025-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：201 / 216

页数：16

相关论文

共 50 条

[1] Solution of systems of linear Diophantine equations
Malaschonok, GI
[J]. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 2001, : 401 - 415
[2] ALGORITHMS FOR THE SOLUTION OF SYSTEMS OF LINEAR DIOPHANTINE EQUATIONS
CHOU, TWJ
COLLINS, GE
[J]. SIAM JOURNAL ON COMPUTING, 1982, 11 (04) : 687 - 708
[3] PARAMETRIC SOLUTION OF LINEAR HOMOGENEOUS DIOPHANTINE EQUATIONS
GIVENS, W
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1947, 53 (08) : 780 - 783
[4] PARAMETRIC SOLUTION OF LINEAR HOMOGENEOUS DIOPHANTINE EQUATIONS
GIVENS, W
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1947, 53 (01) : 47 - 48
[5] Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
Himanshu Jain
Edmund M. Clarke
Orna Grumberg
[J]. Formal Methods in System Design, 2009, 35 : 6 - 39
[6] Efficient Craig interpolation for linear diophantine (dis)equations and linear modular equations
Jain, Himanshu
Clarke, Edmund
Grumberg, Orna
[J]. COMPUTER AIDED VERIFICATION, 2008, 5123 : 254 - +
[7] Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
Jain, Himanshu
Clarke, Edmund M.
Grumberg, Orna
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2009, 35 (01) : 6 - 39
[8] LINEAR DIOPHANTINE EQUATIONS
EHRHART, E
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1979, 288 (17): : 785 - 787
[9] SOLUTION OF SIMULTANEOUS LINEAR DIOPHANTINE EQUATIONS [F4]
BLANKINSHIP, WA
[J]. COMMUNICATIONS OF THE ACM, 1966, 9 (07) : 514 - +
[10] ALGORITHMS FOR SOLUTION OF SYSTEMS OF LINEAR DIOPHANTINE EQUATIONS IN RESIDUE FIELDS
Kryvyi, S. L.
[J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2007, 43 (02) : 171 - 178

← 1 2 3 4 5 →