Axiom

Mathematica is a computational software program used widely in scientific, engineering, and mathematical fields and other areas of technical computing.

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear...

Microsoft Mathematics is a desktop graphing calculator that can help you visualize and see mathematical concepts as you’ve never seen them before. Microsoft Mathematics includes ink handwriting support to...

Maple is a general-purpose commercial computer algebra system. Users can enter mathematics in traditional mathematical notation. Custom user interfaces can also be created. There is support for numeric...

MathStudio, formerly SpaceTime, is the most comprehensive math app available for mobile devices. Whether you need a simple calculator to do your finances or a replacement for your TI graphing …

MathJournal is an interactive program for the Tablet PC that provides a natural and intuitive environment for solving mathematical and engineering problems. MathJournal recognizes handwritten mathematical...

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic...

A software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.

GiNaC is a C++ library. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense …