Introduction
GBSolver is an automatic procedure for generating Gr?bner basis solvers, which could be used even by non-experts to solve technical problems, such as finding the solutions of multivariate polynomials. GBSolver provides the possibilities to solve more complicated problems which could not be handled manually or solving existing problems in a better and more efficient way. Using GBsolver must be suppored by the Maple.
The software is provided by Martin Bujnak, Zuzana Kukelova, Tomas Pajdla CTU Prague 2008. All rights belong to all above author. Details of the GBSolver can be found in paper:
"Kukelova Z., Bujnak M., Pajdla T., Automatic Generator of Minimal Problem Solvers, ECCV 2008, Marseille, France, October 12-18, 2008"