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 databased for computer algebra ensuring a degree of standardisation that is beneficial to developers and publishing companies within the mathematical community.

Members

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