Towards a Certified and Efficient Computing of Gröbner Bases | Publicación