A Preprocessor for Linear Diophantine Equalities and Inequalities.

Published in: Arch. Formal Proofs (2024)

Keyphrases

linear inequalities
linear programming
integer linear programming
linear program
convex hull
real numbers
sufficient conditions
linear systems
real time
website
bayesian networks
multiscale
evolutionary algorithm