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}