KRONECKER
Polynomial Equation System Solver
Grégoire Lecerf
Features
- It can efficiently solve systems containing inequations;
- The running time complexity is linear in the evaluation complexity of the given system and polynomial in a certain geometric degree of the given system;
- Probabilistic algorithm;
- On some examples Kronecker is faster than many other methods;
- Basic support for MathML.