Software in mathematical research
Mathematical research is currently showing two significant trends: Research is becoming more and more interdisciplinary, and at the same time, research questions are increasingly requiring computational methods to cope with the emerging complexity. Many researchers use modern computer algebra systems and collections of mathematical data.
In the working group the systems ANTIC, GAP, Hecke, Nemo and SINGULAR as well as the comprehensive system of the next generation OSCAR are developed.
Singular is a computer algebra system for polynomial calculations with a special focus on commutative and noncommutative algebra, algebraic geometry, and singularity theory. With Singular, the long-standing tradition in the development of world-leading computer algebra systems at the University of Kaiserslautern has been established.
All systems listed above together with the external system Polymake are to be integrated into the new comprehensive computer algebra system OSCAR developed within the framework of the SFB-TRR 195. This will achieve a next-generation system. The goal is to sustainably enrich worldwide mathematical research through this tool.