Portal/TA1

Task area 1: Computer Algebra

Mission

Computer algebra systems work with exact computations from various fields within Mathematics. In recent years computations that have previously seemed impossible have now become possible. This does not come without challenges. As the input and output data have now become too large for humans to handle, the resulting computations are run in parallel thus affecting runtime, which can take up to several months. In turn, there is now a need to affirm the accuracy of the results generated and to digest the results of these computations. Thus, the focus of TA1 will be to establish confirmable workflows, data formats and databases for computer algebra ensuring a degree of standardization that is beneficial to developers and publishing companies within the mathematical community.

Both data and software play an increasingly important role in publications in mathematics. A normal paper in mathematics has to adhere to the notation of the respective field and provide the references upon which it builds its results. This is to make sure that it is easily understood by its peers. For a publication containing software or data we aim at providing guidelines and standards to ensure easy understanding and reviewability as well. We will augment this with a multitude of examples over time.

• Guidelines for authors of computer experiments in computer algebra
• Guidelines for refereeing computer experiments in computer algebra
• We offer a technical reviewing service for conferences and journals
• We are developping methods and data formats for serialization

Workshops

• MOM workshop on MaRDI, OSCAR and MATHREPO

Members

• Antony Della Vecchia (TU Berlin)
• Claus Fieker (TU Kaiserslautern)
• Jeroen Hanselman (TU Kaiserslautern)
• Max Horn (TU Kaiserslautern)
• Michael Joswig (TU Berlin)
• Lars Kastner (TU Berlin)