Alexander Maletzky,
"A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, RISC, JKU, Hagenberg, Linz, 9-2018
Original Titel:
A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms
Sprache des Titels:
Englisch
Original Kurzfassung:
Note: submitted
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg, Linz
Serie:
RISC Report Series, Johannes Kepler University Linz, Austria