Certifying properties of an efficient functional program for computing Gröbner bases | Publicación