RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC5324,
    author = {Bruno Buchberger},
    title = {{Stam's Identities Collection: A Case Study for Math Knowledge Bases}},
    booktitle = {{Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings}},
    language = {english},
    pages = {437--442},
    publisher = {Springer International Publishing},
    address = {Cham},
    isbn_issn = {978-3-319-42432-3},
    year = {2016},
    editor = {Gert-Martin Greuel and Thorsten Koch and Peter Paule and Andrew Sommese},
    refereed = {no},
    length = {6},
    url = {http://dx.doi.org/10.1007/978-3-319-42432-3_55}
    }