diochnos/software/algebra

More about the Computer Algebra Sturm soLVer (SLV) can be found here.