Regarding solving systems of linear inequalities, please check this paper. I think the descriptions and proofs are clear. Anyway, I will be discussing a problem soon.

https://courses.csail.mit.edu/6.006/spring11/lectures/lec17.pdf