C++ library Geomsolvex of MATHEMAGIX: Implementation of the Kronecker polynomial solver for a reduced regular sequence. The geometric resolution algorithm is a Gröbner-free alternative for solving polynomial systems of equations and inequations. It computes a lifting fiber of the system (see e.g. [Giusti, Lecerf, Salvy - A Gröbner free alternative for polynomial system solving]). Its current implementation in Mathemagix handles only certain polynomial systems in input, that are systems of equations that form a regular reduced sequence. This restriction implies in particular that there are the same number of equations and variables and that the solutions of the system are a set of points.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Jeronimo, Gabriela; Sabia, Juan: Sparse resultants and straight-line programs (2018)
- Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo: Degeneracy loci and polynomial equation solving (2015)