Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization