2 books in this genre
Mathematische Optimierung mit Computeralgebrasystemen
Hans Benker
Grbner Bases In Ring Theory
Huishi Li
