Alexander Maletzky,
"Mathematical Theory Exploration in Theorema: Reduction Rings"
, in Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa: Intelligent Computer Mathematics (Proceedings of CICM 2016, Bialystok, Poland, July 25--29), Serie Lecture Notes in Artificial Intelligence (LNAI), Vol. 9791, Springer-Verlag, Seite(n) 3-17, 7-2016, ISBN: 978-3-319-42546-7
Original Titel:
Mathematical Theory Exploration in Theorema: Reduction Rings
Sprache des Titels:
Englisch
Original Buchtitel:
Intelligent Computer Mathematics (Proceedings of CICM 2016, Bialystok, Poland, July 25--29)
Original Kurzfassung:
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]
Forschungs-