RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC5265,
    author = {A. Maletzky},
    title = {{Mathematical Theory Exploration in Theorema: Reduction Rings}},
    booktitle = {{Intelligent Computer Mathematics (Proceedings of CICM 2016, Bialystok, Poland, July 25--29)}},
    language = {english},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {9791},
    pages = {3--17},
    publisher = {Springer-Verlag},
    isbn_issn = {ISBN 978-3-319-42546-7},
    year = {2016},
    month = {July},
    note = {The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42547-4_1. Preprint on arXiv: 1602.04339 [cs.SC]},
    editor = {Michael Kohlhase and Moa Johansson and Bruce Miller and Leonardo de Moura and Frank Tompa},
    refereed = {yes},
    length = {15},
    conferencename = {CICM 2016},
    url = {http://dx.doi.org/10.1007/978-3-319-42547-4_1}
    }