From MaRDI portal

Task area 1: Computer Algebra


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.