MaRDI QIDQ46332swMATHFDO
Official website https://link.springer.com/article/10.1007/s10898-019-00805-x
Source code repository https://github.com/baharev/ManiSolve
This page was built for software: ManiSolve