A. Maletzky. Automated Reasoning in Reduction Rings using the Theorema System.
Computer Algebra in Scientific Computing (Proceedings of CASC 2015, September 14-18, Aachen, Germany). Vol. 9301 of Lecture Notes in Computer Science, pp. 305-319, Springer-Verlag, 2015.
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24021-3_23
Paper.pdf
—
PDF document,
387 KB (396529 bytes)