LAPACK  Linear Algebra PACKage Provides routines for solving systems of simultaneous linear equations, leastsquares solutions of linear systems of equations, eigenvalue problems and singular value problems. Written in Fortran77. 
Aldor Typecomplete, stronglytyped, imperative programming language with a twolevel object model of categories and domains. Improved extension language for the Axiom algebra system; captures the highlevel objects and relationships in modern mathematics. 
CoCoA System System for computer and commutative algebra. It computes Gröbner bases, syzygies and minimal free resolutions, intersections, divisions, the radical of an ideal, Poincaré series, Hilbert functions and factorization of polynomials. 
Mathscribe Graphing and mathematical modeling program for algebra, trigonometry and precalculus classes, as well as mathematical model scientific data. Algebra computer lab assignments including linear equations, systems of linear equations, quadratic equations. 
GiNaC is not a CAS Open framework for symbolic computation within the C++ programming language. Allows the creation of integrated systems that embed different areas of computer science like computation, graphical interfaces, intense numeric applications. 
Hermetic Systems HTML construction kit, file deletion, file and email encryption, graphics files conversion, computational science, Chinese, Mayan and Lunar calendars and date conversion software along with free trials, screenshots and short descriptions. 
Super Teacher Worksheets Free printable math, reading, writing, grammar, and spelling activities for teachers. Includes counting money, fractions, multiplication tables, handwriting, phonics, puzzles and brain teasers, early learning, and seasonal and holiday worksheets.http://www.superteacherworksheets.com  site info 

Quiz Buddy School, corporate, and educational software for Palm and Windows, with teaching tools for standardized test, and quiz preparedness, math, Spanish, vocabulary building, and other learning activities. 
GAP  Groups, Algorithms and Programming A system for computational discrete algebra with particular emphasis on computational group theory. Introduction, examples, manual, distribution and additional tables of marks. 
TestedOK Software Simple word processors, bug trackers and idea logs, as well as skills testing programs for typing, data entry keying, keyboarding, and basic math specifically for use by elementary school children. 
 