Alexander Maletzky,
"Computer-Assisted Exploration of Gröbner Bases Theory in Theorema"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, Nummer 16-04, RISC, JKU, Hagenberg, Linz, 5-2016
Original Titel:
Computer-Assisted Exploration of Gröbner Bases Theory in Theorema
Sprache des Titels:
Englisch
Original Kurzfassung:
PhD thesis
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg, Linz
Serie:
RISC Report Series, Johannes Kepler University Linz, Austria
Forschungs-