Ein algorithmisches kriterium für die Lösbarkeit eines algebraischen Gleischunssystem (1970)

by B Buchberger
Venue:Aeq. Math