The rules for unification in a simple syntactic theory, using Kirchner’s mutation [15, 16] do not terminate in the case of associativecommutative theories. We show that in the case of a linear equation, these rules terminate, yielding a complete set of solved forms, each variable introduced by the unifiers corresponding to a (trivial) minimal solution of the (trivial) Diophantine equation where...

A difficulty in solving linear Diophantine systems is the rapid growth of intermediate results. Rosser’s algorithm for solving a single linear Diophatine equation is an efficient algorithm that effectively controls the growth of intermediate results. Here, we propose an approach to generalize Rosser’s algorithm and present two algorithms for solving systems of linear Diophantine equations. Then...

In this paper, we show how to handle linear Diophantine constraints incre-mentally by using several variations of the algorithm by Contejean and Devie (hereafter called ABCD) for solving linear Diophantine systems 4, 5]. The basic algorithm is based on a certain enumeration of the potential solutions of a system, and termination is ensured by an adequate restriction on the search. This algorith...

In this chapter we propose a Key exchange protocol based on random solution of linear Diophantine equation in n variables, where the considered satisfies condition for existence infinitely many solutions. Also crypt analysis is analysed.

This paper is dedicated to studying the n-refined neutrosophic linear Diophantine equations. It provides for first time an easy algorithm solve these equations, with many related examples.

This paper deals with the study of test sets of the knapsack problem and simultaneous diophantine approximation. The Graver test set of the knapsack problem can be derived from minimal integral solutions of linear diophantine equations. We present best possible inequalities that must be satisfied by all minimal integral solutions of a linear diophantine equation and prove that for the correspon...

Absact This paper deals with the study of test sets of the knapsack problem and simultaneous diophantine approximation. The Graver test set of the knapsack problem can be derived from minimal integral solutions of linear diophantine equations. We present best possible inequalities that must be satisfied by all minimal integral solutions of a linear diophantine equation and prove that for the co...

Let Ax = B be a system of m x n linear equations with integer coefficients. Assume the rows of A are linearly independent and denote by X (respectively Y) the maximum of the absolute values of the m x m minors of the matrix A (the augmented matrix (A, B)). If the system has a solution in nonnegative integers, it is proved that the system has a solution X = (xi) in nonnegative integers with xi <...

The contribution is focused on a control design and simulation of multi input output (MIMO) linear continuous-time systems. Suitable and efficient tools for description and controller derivation are algebraic notions as rings, polynomial matrices, and Diophantine equations. The generalized MIMO PI controller design is studied for stable and unstable systems. A unified approach through matrix Di...

Determining whether a Diophantine equation has a solution or not is the most important challenge in solving this type of problems. In this paper a special computational device which uses light rays is proposed to answer this question, namely check the existence of nonnegative solutions for linear Diophantine equations. The way of representation for this device is similar to an directed graph, h...