4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
arend 1.5.0-1 0 0.00 Proof assistant based on Homotopy Type Theory knisht
bertini 1.6-1 1 0.00 Homotopy continuation solver for systems of polynomial equations akobel
bertini_real-git r1075.3dbac52-1 0 0.00 Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver akobel
phcpack 2.4.12-1 1 0.00 software package to solve polynomial systems by homotopy continuation methods akobel

4 packages found. Page 1 of 1.