Bruno Buchberger,
"Theorem Proving with and for Gröbner Bases"
, in Mitteilungen der Deutschen Mathematiker Vereinigung, Seite(n) 16-19, 2-2000, ISSN: 0947-4471
Original Titel:
Theorem Proving with and for Gröbner Bases
Sprache des Titels:
Englisch
Journal:
Mitteilungen der Deutschen Mathematiker Vereinigung
Seitenreferenz:
16-19
Erscheinungsmonat:
2
Erscheinungsjahr:
2000
ISSN:
0947-4471
Anzahl der Seiten:
4
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in nicht-referierter Fachzeitschrift