Massively parallel computations in algebraic geometry - not a contradiction [article]

Janko Boehm, Anne Frühbis-Krüger, Mirko Rahn
2018 arXiv   pre-print
The design and implementation of parallel algorithms is a fundamental task in computer algebra. Combining the computer algebra system Singular and the workflow management system GPI-Space, we have developed an infrastructure for massively parallel computations in commutative algebra and algebraic geometry. In this note, we give an overview on the current capabilities of this framework by looking into three sample applications: determining smoothness of algebraic varieties, computing GIT-fans in
more » ... geometric invariant theory, and determining tropicalizations. These applications employ algorithmic methods originating from commutative algebra, sheaf structures on manifolds, local geometry, convex geometry, group theory, and combinatorics, illustrating the potential of the framework in further problems in computer algebra.
arXiv:1811.06092v1 fatcat:krqnzl46uzfzfbtkd43aim7l7q