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.
