Solving Polynomial Systems with Gröbner Bases: An Introduction to F4 and FGLM. - Anna Maria Bigatti; Alessio Caminata; Tor Kristian Ellingsen; Evelina Lanteri; Andrea Sanguineti; Irene Villa (CoRR, 2025)