New Strategies for Computing Gröbner Bases. - Bruno Manuel Gameiro Simões (2013)