Software

Albert

cs.clemson.edu

Albert is an interactive program to assist the specialist in the study of nonassociative algebra: the main problem addressed is the recognition of polynomial identities in varietie…

181 visits Jan 26, 2024 Details

Aldor

aldor.org

Originally an extension to Axiom, now a separate product. Binaries are available free for non-profit use, with documentation, tips, projects and links.

23 visits Jan 30, 2024 Details

Algebra Cheat

bacsoftware.co.uk

Program solves variable equations and gives explanations of steps used.

392 visits May 1, 2024 Details

Algebra Helper

algebra-answer.com

Helps students with equations and inequalities, simplifying expression, graphing and complex numbers. Includes problem solving exercises.

261 visits May 4, 2026 Details

Algebra Word Problem Tutor:Miss Lindquist

cs.cmu.edu

The world's first web-delivered self-improving intelligent tutoring system able to tutor students in writing expressions for algebra word problems.

210 visits Aug 23, 2025 Details

Axiom Computer Algebra System

savannah.nongnu.org

Savannah Free Software project for revival of Axiom as open source.

256 visits Jul 26, 2025 Details

CMAT

numbertheory.org

A matrix calculator program, written in C. Calculations can be performed on matrices with complex rational coefficients using exact arithmetic routines, as well as on matrices wi…

304 visits Apr 9, 2024 Details

CoCoA

cocoa.dima.unige.it

A special-purpose system for computations in Commutative Algebra.

298 visits Jun 10, 2025 Details

Combinatorial Representation Theory (CREP)

mathematik.uni-bielefeld.de

CREP is designed to deal with categories whose morphism spaces are finite-dimensional over a field k. The main example of a category with this property is the category of finite-d…

267 visits Dec 17, 2025 Details

Computer Algebra and Problem Solving Environments

math.unm.edu

Abstract for Stanly Steinberg's article in "Comparative CAS Reviews and Philosophy", suggesting 6 ways in which computer algebra systems could be improved.

9 visits May 6, 2024 Details

Computer Algebra Benchmarks

krum.rz.uni-mannheim.de

Collated by Computer Algebra Fachgruppe, Mannheim.

276 visits Aug 12, 2025 Details

Computer Algebra Pages and Servers

krum.rz.uni-mannheim.de

A collection of links.

416 visits Aug 23, 2025 Details

Felix

felix.hgb-leipzig.de

Computer algebra system for computation in commutative and non-commutative rings and modules. Win32, Unix.

257 visits Jun 12, 2025 Details

FINITAS

groups.yahoo.com

Discussion group for this package for the construction and analysis of finite algebraic structures such as loops, quasigroups, and groups.

405 visits Oct 30, 2024 Details

GIAC

-fourier.ujf-grenoble.fr

Is A Computer algebra system. A semi-classical CAS by Bernard Parisse, available for Windows, Linux.

414 visits Feb 24, 2024 Details

GiNaC

ginac.de

An open framework for symbolic computation within the C++ programming language. The name GiNaC is an iterated and recursive abbreviation for "GiNaC is Not a CAS", where CAS stands…

498 visits Aug 28, 2025 Details

JACAL

swissnet.ai.mit.edu

An interactive symbolic mathematics program. JACAL can manipulate and simplify equations, scalars, vectors, and matrices of single and multiple valued algebraic expressions contai…

315 visits Aug 7, 2024 Details

LAPACK++: Linear Algebra Package in C++

math.nist.gov

(v. 1.1a) a software library for numerical linear algebra; however, it does not include all of the capabilities of original f77 LAPACK.

370 visits Mar 1, 2025 Details

Macaulay

math.columbia.edu

Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra. At its core is a carefully tuned implementation of Grobner basis …

301 visits Apr 30, 2026 Details

Macaulay 2

math.uiuc.edu

A new software system devoted to supporting research in algebraic geometry and commutative algebra.

125 visits Jan 18, 2024 Details

Software

Category Info