A. Maletzky. Computer-Assisted Exploration of Gröbner Bases Theory in Theorema.
PhD Thesis, submitted 2016. Examiners: Prof. Buchberger, Prof. Kreuzer.
Dissertation_AlexanderMaletzkyDK1_2016.pdf
—
PDF document,
1.63 MB (1709063 bytes)