8 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
paramotopy-git 1.0.3.7.r15.48174f3-2 0 0.00 Parallel parameter homotopy through Bertini vitaliikuzhdin 2024-08-23 19:45 (UTC)
paramotopy 1.0.3.7-2 0 0.00 Parallel parameter homotopy through Bertini vitaliikuzhdin 2024-08-23 19:41 (UTC)
bertini_real-git 1.6.1.r281.062c9cc-1 1 0.00 Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver vitaliikuzhdin 2024-09-29 09:06 (UTC)
bertini_real 1.6.1-1 0 0.00 Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver vitaliikuzhdin 2024-09-29 09:05 (UTC)
bertini-bin 1.6-2 0 0.00 Homotopy continuation solver for systems of polynomial equations vitaliikuzhdin 2024-08-09 14:17 (UTC)
bertini-parallel 1.6-4 2 0.00 Homotopy continuation solver for systems of polynomial equations - OpenMPI parallelism vitaliikuzhdin 2024-08-09 21:55 (UTC)
bertini 1.6-4 2 0.00 Homotopy continuation solver for systems of polynomial equations vitaliikuzhdin 2024-08-09 21:55 (UTC)
arend 1.5.0-1 0 0.00 Proof assistant based on Homotopy Type Theory knisht 2020-10-10 11:27 (UTC)

8 packages found. Page 1 of 1.