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.


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.


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.

ANTIC, Hecke und Nemo

ANTIC, Hecke and Nemoare new software projects of number theory, which focus on calculations in and with number fields and certain finite rings. They are written in the programming languages C and Julia.


 GAP is a computer algebra system for group theory.