Together with Dr. Le Ngoc Long (University of Passau and Hue University of Education) and Prof. Lorenzo Robbiano (Università di Genova), Prof. Kreuzer studies the efficient computation of re-embeddings of embedded affine varieties into lower dimensional affine spaces. They have been developing the method of Z-separating re-embeddings which allows to find and calculate such re-embeddings without the (potentially expensive) use of Gröbner bases.
The following CoCoA code for paper [4] was implemented by Dr. Le Ngoc Long:
ApCoCoA package: GFanLin.cpkg5
Some functions in this package use the program GLPK which is currently supported only in the Linux version of ApCoCoA
ApCoCoA package (without GLPK): GFanLinear.cpkg5
Source code for the examples in [4]: GFanLinear-Examples.cocoa5
In a series of papers, Dr. Le Ngoc Long (University of Passau and Hue University), Prof. Lorenzo Robbiano (Università di Genova) and Prof. Martin Kreuzer develop algorithms to check 0-dimenisonal schemes for certain algebraic and geometric properties. Furthermore, they derive algorithms to compute the locus of all schemes having a particular property inside the moduli space given by the border basis scheme.
The following CoCoA code was implemented by Dr. Le Ngoc Long:
CoCoA-5 package: BBS_subschemes.cpkg
Source code for the examples in [3]: BBS_examples.cocoa5
Details can be found on the projects website.
In this software project the computeralgebra framework ApCoCoA is developed.