Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Aequationes Math (1970)

by B Buchberger
Venue:In: Gröbner Bases and Applications