Personal tools
You are here: Home / People / Alexander Maletzky / Publications
 

Publications

File DK-Report 2015-06, A. Maletzky
Exploring Reduction Ring Theory in Theorema
File DK Report 2014-10, A. Maletzky
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema
File 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
File B. Buchberger and A. Maletzky. Groebner Bases in Theorema
Proceedings of the 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_58
File A. Maletzky. Verifying Buchberger's Algorithm in Reduction Rings
In Proceedings of the 4th International Seminar on Program Verification, Automated Debugging, and Symbolic Computation (PAS'2015, Beijing, China, October 21-23). arXiv:1604.08736 [cs.SC]
File 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
File A. Maletzky. Computer-Assisted Exploration of Gröbner Bases Theory in Theorema.
PhD Thesis, submitted 2016. Examiners: Prof. Buchberger, Prof. Kreuzer.
File A. Maletzky and B. Buchberger. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema
Proceedings of the 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_8
File 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.