Results 161 to 170 of about 4,479,316 (202)

Solving Linear Diophantine Equations

open access: yes, 2023
Linear diophantine equations are at the heart of any unification algorithm for associative and commutative theories. The known algorithms for solving homogeneous linear diophantine equations of Huet and Fortenbacher are presented and their implementation is compared. The algorithms for homogeneous equations are extended to solve inhomogeneous equations,
Guckenbiehl, Thomas, Herold, Alexander
openaire   +2 more sources

On a Linear Diophantine Equation

Proceedings of the Indian Academy of Sciences - Section A, 1940
S S Pillai
exaly   +3 more sources

Quasi-Polynomials, Linear Diophantine Equations and Semi-Linear Sets

open access: yesTheoretical Computer Science, 2012
We investigate the family of semi-linear sets of N-t and Z(t). We study the growth function of semi-linear sets and we prove that such a function is a piecewise quasi-polynomial on a polyhedral partition of N-t.
Flavio D'Alessandro   +2 more
exaly   +2 more sources

Hardness of Approximating the Minimum Solutions of Linear Diophantine Equations

open access: yesTheoretical Computer Science, 2007
Let 1≤p0 where n is the number of variables in the ...
Chen, Wenbin, Meng, Jiangtao
exaly   +2 more sources

Linear Diophantine Equations

1995
A linear Diophantine equation in two variables is an equation of the form ax + by = c where a, b and c are given integers, and x and y are unknown integers. Sometimes x and y are restricted to the set of positive integers.
W. S. Anglin, J. Lambek
openaire   +1 more source

Linear Diophantine Equations

2020
A study of linear Diophantine equations, with a focus on the Frobenius number and the denumerants.
openaire   +1 more source

On solving probabilistic linear Diophantine equations

J. Mach. Learn. Res., 2021
Summary: Multiple methods exist for computing marginals involving a linear Diophantine constraint on random variables. Each of these extant methods has some limitation on the dimension and support or on the type of marginal computed (e.g., sum-product inference, max-product inference, maximum a posteriori, etc.).
Patrick Kreitzberg, Oliver Serang
openaire   +2 more sources

Linear Diophantine Equations

Mathematics Magazine, 1958
We shall describe elementary methods for solving linear Diophantine equations, either single equations or systems of equations. The equations with which we shall deal have integral coefficients and require integral solutions. Such equations are named after Diophantus of Alexandria, who lived probably between 100 and 300 A. D.
openaire   +1 more source

Home - About - Disclaimer - Privacy