Portal/TA1: Difference between revisions
Create front page for task area 1 |
JHanselman (talk | contribs) No edit summary |
||
(20 intermediate revisions by 3 users not shown) | |||
Line 2: | Line 2: | ||
== Mission == | == 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 | 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. | |||
* [[Portal/T1/guidelines/authors|Guidelines for authors of computer experiments in computer algebra]] | |||
* [[Portal/T1/guidelines/referees|Guidelines for refereeing computer experiments in computer algebra]] | |||
As a first demonstration we developed a testing process | |||
<ref>Michael Joswig, Lars Kastner, Benjamin Lorenz: [https://arxiv.org/abs/2404.06241v1 Confirmable Workflows in OSCAR] (2024)</ref> | |||
during the writing process of the book "The Computer Algebra System OSCAR: Algorithms and Examples" | |||
<ref>Wolfram Decker, Christian Eder, Claus Fieker, Max Horn, and Michael Joswig: [https://link.springer.com/book/9783031621260 The Computer Algebra System OSCAR] (2024) </ref>. | |||
This testing process aimed at keeping all the examples up to date during the writing process. After the writing phase of the book, all examples were integrated into the OSCAR testsuite to ensure that OSCAR development does not break the examples. | |||
== Software peer review == | |||
In order to develop best practices for software peer reviewing of mathematical papers we need to be able to work with journals and conferences to be able to test out the reviewing process in order to see what works and what doesn't. We are therefore willing to work with anyone who would like to experiment with introducing some kind of software peer reviewing process and do this by initially taking over the burden of doing software reviews. | |||
'''Conferences for which we did software reviews:''' | |||
* LuCaNT: https://icerm.brown.edu/events/sc-23-lucant/ | |||
* ANTS XVI: https://antsmath.org/ANTSXVI/index.html | |||
* ISSAC 2024: https://www.issac-conference.org/2024/ | |||
* MEGA 2024: https://www.mis.mpg.de/de/events/series/mega-2024 | |||
If you are interested in letting us do software peer reviewing for you, please contact Jeroen Hanselman. | |||
== File Formats and Serialization == | |||
We aim to broaden the accessibility, usability and find-ability of mathematical research results so that the data can be used amongst different research groups and software systems. | |||
=== Our View on Data === | |||
Software and data formats are in a state of flux, which is quite the opposite of mathematical objects. Mathematical data should be made to stand the test of time. Our mission is to provide guidelines and a data format that can be adapted to as many technologies as possible as well as to new technologies. | |||
=== The Data Format === | |||
We have written a paper about our file format, currently available [https://arxiv.org/abs/2309.00465 here]. Our approach to data serialization is a bottom up approach, meaning we have started the implementation of (de)serialization from a specific software system namely [https://oscar-system.github.io/Oscar.jl/stable/ OSCAR] expanding to other software systems when specific use cases arise. | |||
== Runtime systems == | |||
We are currently developing a prototype for predefined software environments called [[Portal/T1/MaRDI Packaging System|MaPS]]. | |||
== Workshops == | |||
* [https://polymake.org/doku.php/workshops/workshop1122 MOM workshop on MaRDI, OSCAR and MATHREPO] | |||
== Members == | == Members == | ||
* Antony Della Vecchia (TU Berlin) | * [https://antonydellavecchia.github.io/ Antony Della Vecchia (TU Berlin)] | ||
* [https://www.mathematik.uni-kl.de/en/agag/people/head/prof-dr-claus-fieker/seite Claus Fieker ( | * [https://www.mathematik.uni-kl.de/en/agag/people/head/prof-dr-claus-fieker/seite Claus Fieker (RPTU Kaiserslautern)] | ||
* [https://www.hanselmanj.eu/ Jeroen Hanselman] | * [https://www.hanselmanj.eu/ Jeroen Hanselman (RPTU Kaiserslautern)] | ||
* [https://www.mathematik.uni-kl.de/agag/personen/leitung/prof-dr-max-horn/seite Max Horn ( | * [https://www.mathematik.uni-kl.de/agag/personen/leitung/prof-dr-max-horn/seite Max Horn (RPTU Kaiserslautern)] | ||
* [https://page.math.tu-berlin.de/~joswig/ Michael Joswig (TU Berlin)] | * [https://page.math.tu-berlin.de/~joswig/ Michael Joswig (TU Berlin)] | ||
* [https://lkastner.github.io/ Lars Kastner (TU Berlin)] | * [https://lkastner.github.io/ Lars Kastner (TU Berlin)] | ||
* [https://akaushik.edufor.me/ Aaruni Kaushik (RPTU Kaiserslautern)] | |||
== References == | |||
<references /> |
Latest revision as of 12:59, 31 May 2024
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
As a first demonstration we developed a testing process [1] during the writing process of the book "The Computer Algebra System OSCAR: Algorithms and Examples" [2]. This testing process aimed at keeping all the examples up to date during the writing process. After the writing phase of the book, all examples were integrated into the OSCAR testsuite to ensure that OSCAR development does not break the examples.
Software peer review
In order to develop best practices for software peer reviewing of mathematical papers we need to be able to work with journals and conferences to be able to test out the reviewing process in order to see what works and what doesn't. We are therefore willing to work with anyone who would like to experiment with introducing some kind of software peer reviewing process and do this by initially taking over the burden of doing software reviews.
Conferences for which we did software reviews:
- LuCaNT: https://icerm.brown.edu/events/sc-23-lucant/
- ANTS XVI: https://antsmath.org/ANTSXVI/index.html
- ISSAC 2024: https://www.issac-conference.org/2024/
- MEGA 2024: https://www.mis.mpg.de/de/events/series/mega-2024
If you are interested in letting us do software peer reviewing for you, please contact Jeroen Hanselman.
File Formats and Serialization
We aim to broaden the accessibility, usability and find-ability of mathematical research results so that the data can be used amongst different research groups and software systems.
Our View on Data
Software and data formats are in a state of flux, which is quite the opposite of mathematical objects. Mathematical data should be made to stand the test of time. Our mission is to provide guidelines and a data format that can be adapted to as many technologies as possible as well as to new technologies.
The Data Format
We have written a paper about our file format, currently available here. Our approach to data serialization is a bottom up approach, meaning we have started the implementation of (de)serialization from a specific software system namely OSCAR expanding to other software systems when specific use cases arise.
Runtime systems
We are currently developing a prototype for predefined software environments called MaPS.
Workshops
Members
- Antony Della Vecchia (TU Berlin)
- Claus Fieker (RPTU Kaiserslautern)
- Jeroen Hanselman (RPTU Kaiserslautern)
- Max Horn (RPTU Kaiserslautern)
- Michael Joswig (TU Berlin)
- Lars Kastner (TU Berlin)
- Aaruni Kaushik (RPTU Kaiserslautern)
References
- ↑ Michael Joswig, Lars Kastner, Benjamin Lorenz: Confirmable Workflows in OSCAR (2024)
- ↑ Wolfram Decker, Christian Eder, Claus Fieker, Max Horn, and Michael Joswig: The Computer Algebra System OSCAR (2024)