1. Daniel Cabarcas, An Implementation of Faugère's F4 Algorithm for Computing Gröbner Bases, Master's Thesis, University of Cincinnati, 2010.[link]