Bernina Bernina is an interactive interface to the Sum^it library that provides some efficient computations revolving around operators in Q[x,d/dx] or Q(x)[d/dx]. Shasta Shasta is an interactive interface to the Sum^it library that provides some efficient computations revolving around difference operators with coefficients in Q[n] or Q(n). Libaldor Libaldor (ex-Salli) is the new standard Aldor library. It provides the basic arithmetic types and data structures for general Aldor programming. Algebra Algebra is a new general-purpose computer algebra library in Aldor, designed to provide reusable and efficient algorithms for manipulating the standard objects of algebra, namely polynomials, series and matrices. Sum^it Sum^it is a specialized computer algebra library designed to provide reusable and efficient implementations of algorithms for linear ordinary differential and difference equations. diffalg diffalg is a Maple package to handle systems of polynomial differential equations and inequations. The main functionalities are differential elimination and analysis of singular solutions. See also in Lille.