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)