Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I am not sure. If a polytope determined by the system is bounded then there are definitely finitely many integer solutions, but if this polytope is not bounded can it still be the case that we have finitely many solutions?
