Alexander Maletzky,
"A generic and executable formalization of signature-based Gröbner basis algorithms"
, in Journal of Symbolic Computation, Vol. 106, Elsevier, Seite(n) 23-47, 2021, ISSN: 1095-855X
Original Titel:
A generic and executable formalization of signature-based Gröbner basis algorithms
Sprache des Titels:
Englisch
Original Kurzfassung:
Notiz zur Publikation = arXiv:2012.02239 [cs.SC], https://doi.org/10.1016/j.jsc.2020.12.001
Forschungs-