Efficient Computation of Syzygies by Faugere s F5 algorithm - - Mathematical Aspects of Computer and Information Sciences ( MACIS 2007 ) doi 2007-12 Article type Conference