RISC JKU
  • @inproceedings{RISC5919,
    author = {A. Maletzky},
    title = {{Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL}},
    booktitle = {{Intelligent Computer Mathematics (Proceedings of CICM 2019, Prague, Czech Republic, July 8-12)}},
    language = {english},
    series = {Lecture Notes in Computer Science},
    pages = {?--?},
    publisher = {Springer},
    isbn_issn = {?},
    year = {2019},
    note = {to appear},
    editor = {Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Claudio Sacerdoti-Coen},
    refereed = {yes},
    length = {16},
    conferencename = {CICM 2019}
    }