The book "Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra" by Cox, Little & O'Shea, contains some "real world" applications, specifically chapter 6 (of the 3rd edition) is titled "Robotics and Automatic Geometric Theorem Proving".