Algorithm for finding integer solutions for linear inequalities
Posted by CYC, at math.stackexchange.com,
Given $b_i,c_{i,j}\in \mathrm N^+, R_i(X_1,X_2,X_3,X_4)=\sum_jc_{i,j}X_j$ : $0< R_1(x_1,x_2,x_3,x_4) < b_1$ $0< R_2(x_1…
Computer Algebra in Scientific Computing
Springer, Cham