Polynomial System Solver,
version 3.0.5
This is my latest working version of my software for solving sparse
polynomial systems. It is qualitatively much better than pss 2.0.
However, many important features are missing. It may have serious bugs.
The algorithm is based on polyhedral homotopy and homotopy on toric varieties. Results are certified with alpha-theory. The procedure for computing mixed subdivisions is based on a certain conjecture, so the program is not absolutely guaranteed to return the correct mixed volume.
This software was tested under Linux on a pc. It is distributed under GNU Public License Agreement version 2. The very old version, pss 2 - Polynomial System Solver is still available.
A linux PC binary is also available, for convenience. This version is good for dense systems only.
A description of the algorithms is available also.
roots, version 1.0 ! This software was tested under Linux on a pc. It is distributed under GNU Public License Agreement version 2.
Old software It used to run on a PC, under EGA or VGA.
Miscellaneous

|
|
|
|
|
|
|
|
|
|
gregorio@ufrj.br