RISC JKU
  • @inproceedings{RISC4997,
    author = {B. Buchberger and A. Maletzky},
    title = {{Groebner Bases in Theorema}},
    booktitle = {{Mathematical Software -- ICMS 2014}},
    language = {english},
    series = {Lecture Notes in Computer Science},
    volume = {8592},
    pages = {374--381},
    publisher = {Springer Berlin Heidelberg},
    isbn_issn = {ISBN 978-3-662-44198-5},
    year = {2014},
    annote = {2014-08-00-A},
    note = {The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_58},
    editor = {Hoon Hong and Chee Yap},
    refereed = {yes},
    length = {8},
    conferencename = {The 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014},
    url = {http://dx.doi.org/10.1007/978-3-662-44199-2_58}
    }