# Geomsolvex

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.

## References in zbMATH (referenced in 1 article )

Showing result 1 of 1.

Sorted by year (