This article describes recent developments connecting problems of enumerative combinatorics, constrained by linear systems of Diophantine inequalities, with number theory topics like partitions, partition congruences, and q-series identities. Special emphasis is put on the role of computer algebra algorithms. The presentation is intended for a broader audience; to this end, elementary introduct...

The linear reachability problem for finite state transition systems is to decide whether there is an execution path in a given finite state transition system such that the counts of labels on the path satisfy a given linear constraint. Using some known results on minimal solutions (in nonnegative integers) for linear Diophantine equation systems, we present new time complexity bounds for the pr...

In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. These P systems are stable under composition and iteration of functions. We prove that every diophantine set can be generated by such P systems; then, the universality of this model can be deduced from the theorem by Matiyasevich, Robinson, Davis and Putnam in which they esta...

We develop an algorithm for solving a diophantine equation with lower and upper bounds on the variables. The algorithm is based on lattice basis reduction, and rst nds short vectors satisfying the diophantine equation. The next step is to branch on linear combinations of these vectors, which either yields a vector that satis es the bound constraints or provides a proof that no such vector exist...

An arbitrary quadratic diophantine equation with two unknowns can be reduced to a Pell-type equation. How can such equations be solved? Recall that the general solution of a linear diophantine equation is a linear function of some parameters. This does not happen with general quadratic diophantine equations. However, as we will see later, in the case of such equations with two unknowns there st...

In this paper, we describe an algorithm for solving systems of linear Diophantine equations based on a generalization of an algorithm for solving one equation due to Fortenbacher 3]. It can solve a system as a whole, or be used incrementally when the system is a sequential accumulation of several subsystems. The proof of termination of the algorithm is diicult, whereas the proofs of completenes...

We discuss p-adic unipotent Albanese maps for curves of positive genus, extending the theory of p-adic multiple polylogarithms. This construction is then used to relate linear Diophantine conjectures of ‘Birch and Swinnerton-Dyer type’ to non-linear theorems of Faltings-Siegel type. In a letter to Faltings [14] dated June, 1983, Grothendieck proposed several striking conjectural connections bet...

Discrete truncate power is very useful for studying the number of nonnegative integer solutions of linear Diophantine equations. In this paper, some detail information about discrete truncated power is presented. To study the number of integer solutions of linear Diophantine inequations, the generalized truncated power and generalized discrete truncated power are defined and discussed respectiv...