RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC5282,
    author = {A. Maletzky},
    title = {{Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0}},
    booktitle = {{Mathematical Software - ICMS 2016}},
    language = {english},
    series = {Lecture Notes in Computer Science},
    volume = {9725},
    pages = {59--66},
    publisher = {Springer-Verlag},
    isbn_issn = {ISBN 978-3-319-42432-3},
    year = {2016},
    note = {The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3_8},
    editor = {Gert-Martin Greuel and Peter Paule and Andrew Sommese},
    refereed = {yes},
    length = {8},
    conferencename = {5th International Congress on Mathematical Software, Berlin, Germany, July 11--14},
    url = {http://dx.doi.org/10.1007/978-3-319-42432-3_8}
    }