A. Maletzky. Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
In G.M. Greuel, P. Paule, A. Sommese (eds.), Mathematical Software - ICMS 2016. Pages 59-66 of LNCS 9725, Springer-Verlag, 2016.
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3_8.
Extended_Abstract.pdf
—
PDF document,
297 KB (304413 bytes)