# A. Maletzky. Mathematical Theory Exploration in Theorema: Reduction Rings

In Intelligent Computer Mathematics (Proceedings of CICM 2016, Bialystok, Poland, July 25-29), volume LNCS 9791, pages 3-17, 2016

Mathematical Theory Exploration in Theorema - Reduction Rings.pdf — PDF document, 517 KB (530251 bytes)