Alexander Maletzky,
"Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL"
, in Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Claudio Sacerdoti-Coen: Intelligent Computer Mathematics (Proceedings of CICM 2019, Prague, Czech Republic, July 8-12), Serie Lecture Notes in Computer Science, Springer, 2019
Original Titel:
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL
Sprache des Titels:
Englisch
Original Buchtitel:
Intelligent Computer Mathematics (Proceedings of CICM 2019, Prague, Czech Republic, July 8-12)
Forschungs-