48 citations · 73 across the 5 of their papers we have counts for
1 paper · 1 filter
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
We present a new open source C library \texttt{msolve} dedicated to solving multivariate polynomial systems of dimension zero through computer algebra methods. The core algorithmic…