Alexander Maletzky's project was approved by the FWF

Alexander Maletzky's FWF stand-alone project "Theory Exploration in Theorema: Recent Approaches to Gröbner Bases" was approved. Many congratulations from the whole DK!

Basic data of the project:

Project number: P 29498-N31

Time period: Jan. 2017 - Dec. 2018

Abstract: This research project basically represents a continuation of the proposer's PhD thesis, done in the frame of the DK1-project, where he formalized the theory of Gröbner bases in reduction rings in the mathematical assistant system Theorema. The new project now aims at formalizing another aspect of Gröbner bases, namely their computation by means of so-called "generalized Sylvester matrices"; this novel approach was first proposed by Buchberger and recently investigated thoroughly by Wiesinger-Widi in her PhD thesis, done in the frame of the DK1-project as well. In addition, another objective of the project is extending Theorema by new features that will increase its practical usefulness and help establish it as a state-of-the-art mathematical assistant system.