Alexander Maletzky, F. Immler,
"Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL"
, in Florian Rabe, William Farmer, Grant Passmore, Abdou Youssef: Intelligent Computer Mathematics (Proceedings of CICM 2018), Serie Lecture Notes in Computer Science (LNCS), Vol. 11006, Springer, Seite(n) 178-193, 2018, ISBN: 978-3-319-96811-7
Original Titel:
Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL
Sprache des Titels:
Englisch
Original Buchtitel:
Intelligent Computer Mathematics (Proceedings of CICM 2018)