KSEG is a program for exploring Euclidean geometry, similar to Geometer's Sketchpad. It features points, lines, transformations, measurements, calculations, simple editable recursive Constructions (similar to macros), adaptively sampled loci, and selection groups. Several languages are supported. KSEG is very fast, stable, and has an efficient and consistent UI. It uses Qt and does not require KDE.
LinAl was designed to bring together C++ and FORTRAN. At the same time LinAl is supposed to be easy to use, fast, and reasonably safe. The LinAl library is based on STL techniques and uses STL containers for the storage of matrix data and STL algorithms where feasible. Low level, algebraic operators, linear solvers, and eigenvalue solvers are implemented, based on calls to BLAS, LAPACK, and CGSOLX.
Yacas is a general purpose, easy to use Computer Algebra System (a CAS is a program that can be used to do symbolic manipulation of mathematical expressions). It is built on top of its own programming language designed for this purpose, in which new algorithms can easily be implemented. In addition, it comes with extensive documentation on the functionality implemented and methods used to implement them.
This is an application to help user (mathematician) to make regression between series of data, draw grpahics, and export them into various formats by means of common graphics packages (i.e., gnuplot, plotutils). It is written in Python. The user interfeace is built upon the wxPython (wxWindows) widget set. The idea of usage is as follows: the user builds a project which is represented as a tree of modules; modules can generate data variables, as well as consume them. Essentialy, such a tree represents an algorithm of data analysis. The system is intended to educate students.