SLV (Sturm soLVer), is a package containing Sturm-based solvers as well as allows computations with Real Algebraic Numbers and Polynomial Remainder Sequences. It was created as part of my Master's Thesis implementation. Source code is developed in Maple jointly with Ioannis Z. Emiris and Elias P. Tsigaridas.

SLV homepage is now under Ερ.Γ.Α..

GRUR is based on Modular GCD, Computer Algebra Group @ SFU.