Current Challenges in Developing Open Source Computer Algebra Systems

Abstract

This note is based on the plenary talk given by the second author at MACIS 2015, the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences. Motivated by some of the work done within the Priority Programme SPP 1489 of the German Research Council DFG, we discuss a number of current challenges in the development of Open Source computer algebra systems. The main focus is on algebraic geometry and the system Singular.

arXiv comment18 pages, 13 figures

References in corpus (10)

• Sheaf Cohomology and Free Resolutions over Exterior Algebras
• Normalization of Rings
• Parallel algorithms for normalization
• A-Tint: A polymake extension for algorithmic tropical intersection theory
• Refined Algorithms to Compute Syzygies
• Computing the GIT-fan
• Local to global algorithms for the Gorenstein adjoint ideal of a curve
• Computing integral bases via localization and Hensel lifting
• Computing GIT-fans with symmetry and the Mori chamber decomposition of ${\bar{M}}_{0,6}$
• Gröbner Bases over Algebraic Number Fields

Cited by in corpus (2)

• Computing GIT-fans with symmetry and the Mori chamber decomposition of ${\bar{M}}_{0,6}$
• Massively parallel computations in algebraic geometry - not a contradiction