Results 201 to 210 of about 983 (218)

A Formally Verified Solver for Homogeneous Linear Diophantine Equations

Lecture Notes in Computer Science, 2018
Jonas Schopf, Christian Sternagel, Julian Parsert   +2 more
exaly  

Algorithms for solving systems of linear diophantine equations in integer domains

Cybernetics and Systems Analysis, 2006
Kryvyi S L, S L Kryvyi
exaly  

Some Characterizations for Box Spline Wavelets and Linear Diophantine Equations

Rocky Mountain Journal of Mathematics, 1998
Ding-Xuan Zhou
exaly  

Algorithms for solving systems of linear diophantine equations in residue rings

Cybernetics and Systems Analysis, 2007
Kryvyi S L, S L Kryvyi
exaly  

Linear diophantine equations

1997
openaire   +1 more source

Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations

Formal Methods in System Design, 2009
Orna Grumberg, Edmund M Clarke, Grumberg Orna   +2 more
exaly  

NP completeness conditions for verifying the consistency of several kinds of systems of linear Diophantine congruences and equations

Vestnik St Petersburg University: Mathematics, 2016
Kosovskaya T M
exaly  

- Linear Diophantine Equations

2014
openaire   +1 more source

On the existence of solutions in systems of linear Diophantine equations

Revista De La Real Academia De Ciencias Exactas, Fisicas Y Naturales - Serie A: Matematicas, 2011
A Hernando, Hernando Antonio
exaly  

Linear Diophantine Equations

2009
openaire   +1 more source