 |
Math Forum - Algebra Software
Math Forum - Algebra Software: Algebra software resources compiled by The Math Forum. (Software)
http://mathforum.org/algebra/alg.software.html |
 |
WinCoCoA Home Page
WinCoCoA Home Page: A version of CoCoA for Windows. (Software)
http://www.physik.uni-regensburg.de/~krm03530/WinCoCoA.html |
 |
LAPACK++: Linear Algebra Package in C++
LAPACK++: Linear Algebra Package in C++: (v. 1.1a) a software library for numerical linear algebra; however, it does not include all of the capabilities of original f77 LAPACK. (Software)
http://math.nist.gov/lapack++/ |
 |
SymbolicNet
SymbolicNet: Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, and researcher directory. (Software)
http://www.SymbolicNet.org/ |
 |
Axiom Computer Algebra System
Axiom Computer Algebra System: Savannah Free Software project for revival of Axiom as open source. (Software)
http://savannah.nongnu.org/projects/axiom |
 |
Mathscribe
Mathscribe: Mathscribe is free dynamic graphing and modeling software for use in algebra classes. Lesson plans for linears and quadratics are included. (Software)
http://www.mathscribe.com/ |
 |
GiNaC
GiNaC: 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 for Computer Algebra System. Its design is revolutionary in a se (Software)
http://www.ginac.de/ |
 |
GIAC
GIAC: Is A Computer algebra system. A semi-classical CAS by Bernard Parisse, available for Windows, Linux. (Software)
http://www-fourier.ujf-grenoble.fr/~parisse/english.html |
 |
Linear Algebra Functions
Linear Algebra Functions: A set of C routines for matrix and vector operations over the reals (matrxf07). (Software)
http://www.simtel.net/pub/pd/61050.shtml |
 |
perisic
perisic: A Java package for multivariate polynomials over polymorphic rings. (Software)
http://ring.perisic.com/ |
 |
SINGULAR
SINGULAR: Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory. (Software)
http://www.singular.uni-kl.de/ |
 |
Combinatorial Representation Theory (CREP)
Combinatorial Representation Theory (CREP): 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-dimensional representations of an associative unital k-algebra. (Software)
http://www.mathematik.uni-bielefeld.de/~sek/crep.html |
 |
KAN
KAN: Rings and Computer algebra software, part of OpenXM. (Software)
http://www.math.sci.kobe-u.ac.jp/KAN/ |
 |
Algebra Problem Solver
Algebra Problem Solver: Personal Algebra Tutor - Enter your algebra problems and get instant step-by-step solutions with explanations. (Software)
http://www.cyberedinc.com/ |
 |
MAS - The Modula-2 Algebra System
MAS - The Modula-2 Algebra System: MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms. Downloads, documentation. (Software)
http://www.fmi.uni-passau.de/algebra/projects/mas.php3 |
 |
Computer Algebra and Problem Solving Environments
Computer Algebra and Problem Solving Environments: Abstract for Stanly Steinberg's article in "Comparative CAS Reviews and Philosophy", suggesting 6 ways in which computer algebra systems could be improved. (Software)
http://math.unm.edu/~wester/aca96/Steinberg_abstract.html |
 |
Macaulay
Macaulay: 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 methods for manipulating systems of polynomial equations. (Software)
http://www.math.columbia.edu/~bayer/Macaulay.html |
 |
CoCoA
CoCoA: A special-purpose system for computations in Commutative Algebra. (Software)
http://cocoa.dima.unige.it/ |
 |
LAPACK -- Linear Algebra PACKage
LAPACK -- Linear Algebra PACKage: written in Fortran77; provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems. (Software)
http://netlib2.cs.utk.edu/lapack/ |
 |
HartMath
HartMath: An experimental computer algebra system written in Java and available free under GPL. (Software)
http://www.hartmath.com/ |
 |
FRISCO - A Framework for Integrated Symbolic/Numeric Computation
FRISCO - A Framework for Integrated Symbolic/Numeric Computation: The FRISCO project aims to develop highly efficient, versatile polynomial solvers for industrial users. (Software)
http://www.nag.co.uk/projects/FRISCO.html |
 |
Symmetrica
Symmetrica: A collection of routines, written in C, for computing in the representation theory of classical and symmetric groups, and related areas. Public domain. (Software)
http://www.mathe2.uni-bayreuth.de/axel/symneu_engl.html |
 |
GAP - Groups, Algorithms and Programming
GAP - Groups, Algorithms and Programming: A free system for computational discrete algebra. (Software)
http://www-history.mcs.st-and.ac.uk/~gap/ |
 |
Computer Algebra Pages and Servers
Computer Algebra Pages and Servers: A collection of links. (Software)
http://krum.rz.uni-mannheim.de/cabench/cawww.html |
 |
Algebra Word Problem Tutor:Miss Lindquist
Algebra Word Problem Tutor:Miss Lindquist: The world's first web-delivered self-improving intelligent tutoring system able to tutor students in writing expressions for algebra word problems. (Software)
http://www.cs.cmu.edu/~neil/ |
 |
Fermat
Fermat: Computer algebra system that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations. Free download. Documentation. (Software)
http://www.bway.net/~lewis/ |
 |
Macaulay 2
Macaulay 2: A new software system devoted to supporting research in algebraic geometry and commutative algebra. (Software)
http://www.math.uiuc.edu/Macaulay2/ |
 |
Comparison of Polynomial-Oriented Computer Algebra Systems
Comparison of Polynomial-Oriented Computer Algebra Systems: By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference. (Software)
http://www.fordham.edu/lewis/cacomp.html |
 |
Schur
Schur: A package for Lie groups by Brian G. Wybourne. DOS, Win32, Unix. Ordering information. (Software)
http://smc.vnet.net/Schur.html |
 |
Aldor
Aldor: Originally an extension to Axiom, now a separate product. Binaries are available free for non-profit use, with documentation, tips, projects and links. (Software)
http://www.aldor.org/ |
 |
Maxima
Maxima: A GPL CAS based on DOE-MACSYMA. A GPL project. (Software)
http://maxima.sourceforge.net/ |
 |
AXIOM
AXIOM: Symbolic solver complete with a high-level interactive language, user extensible library and visualisation tool for the manipulation of graphical output. For Unix and Windows. No longer produced: support ceases at the end of 2001. (Software)
http://www.nag.co.uk/symbolic_software.asp |
 |
Algebra Helper
Algebra Helper: Helps students with equations and inequalities, simplifying expression, graphing and complex numbers. Includes problem solving exercises. (Software)
http://www.algebra-answer.com/ |
 |
Groups and Graphs
Groups and Graphs: A software package for graphs, digraphs, combinatorial designs, and their automorphism groups. (Software)
http://130.179.24.217/G&G/G&G.html |
 |
Online Gröbner Basis Calculations
Online Gröbner Basis Calculations: Online computation of reduced ideal bases. (Software)
http://grobner.nuigalway.ie/ |
 |
ZEN
ZEN: A toolbox for computation in finite rings, by Florent Chabaud and Reynald Lercier. ANSI-C source, free download, GPL. (Software)
http://fchabaud.free.fr/English/ZEN/ |
 |
JACAL
JACAL: An interactive symbolic mathematics program. JACAL can manipulate and simplify equations, scalars, vectors, and matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals, and algebraic differential, and holonomi (Software)
http://swissnet.ai.mit.edu/~jaffer/JACAL.html |
 |
LOWX
LOWX: Parallel "low-index subgroups algorithm" software by Peter Dobcsányi for finding all subgroups up to given index in a finitely-presented group. Download documentation and binary distribution for Linux/i386 and Sparc/Solaris platforms. (Software)
http://www.math.auckland.ac.nz/~peter/ |
 |
Edu2000 Visual Algebra
Edu2000 Visual Algebra: Designed to ease the difficulties many students experience during the transition from arithmetic into the world of algebra using visualization. Covers linear and quadratic equations. (Software)
http://www.mathematicssoftware.com/mathematics-software-html/algebra-1-software.php |
 |
CMAT
CMAT: 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 with elements mod p. (Software)
http://www.numbertheory.org/cmat/krm_cmat.html |
 |
Yet Another Computer Algebra System
Yet Another Computer Algebra System: A general purpose easy program for It is built on top of its own programming language designed for symbolic manipulation of math symbols. Includes information on how to use the software. (Software)
http://yacas.sourceforge.net/ |
 |
Math Symbolic Library
Math Symbolic Library: Evaluate, calculate, simplify and derive symbolic scalar, complex or vector expression. [OpenSource] (Software)
http://www.cdrnet.net/projects/nmath/ |
 |
Felix
Felix: Computer algebra system for computation in commutative and non-commutative rings and modules. Win32, Unix. (Software)
http://felix.hgb-leipzig.de/ |
 |
Matrix Expression Templates (MET)
Matrix Expression Templates (MET): C++ matrix class library which promotes the notational convenience of linear algebraic codes. Free download. (Software)
http://met.sourceforge.net/ |
 |
Galois Field Arithmetic Library
Galois Field Arithmetic Library: A simple opensource library in C++ for arithmetic between elements and polynomials over finite fields. (Software)
http://www.partow.net/projects/galois/ |
 |
A Tutorial Introduction To AXIOM
A Tutorial Introduction To AXIOM: By Martin N. Dunstan. (Software)
http://www.dcs.st-and.ac.uk/~mnd/documentation/axiom_tutorial/axiom.html |
 |
GB and FGB
GB and FGB: Software for solving algebraic equations: GB computes Groebner bases and FGB solves polynomial systems. (Software)
http://www-calfor.lip6.fr/~jcf/ |
 |
Algebra Cheat
Algebra Cheat: Program solves variable equations and gives explanations of steps used. (Software)
http://www.bacsoftware.co.uk/algebra/ |
 |
gTybalt
gTybalt: An experimental free computer algebra system built on top of GiNaC, CLN and a program to interpret C and C++ commands. (Software)
http://www.fis.unipr.it/~stefanw/gtybalt.html |
 |
Software for Computing Primitive Polynomials.
Software for Computing Primitive Polynomials.: Free C software for computing primitive polynomials of degree n modulo p for p^n up to about 2^60. (Software)
http://www.seanerikoconnor.freeservers.com/Mathematics/AbstractAlgebra/PrimitivePolynomials/overview.html |
 |
MathPad - Scientific Matrices Calculator
MathPad - Scientific Matrices Calculator: Java applet based online Matrix calculation program for analyzing various simultaneous equations. (Software)
http://www.mathpad.com/public/htmls/main/left/matrix/MatrixInfo.html |
 |
FINITAS
FINITAS: Discussion group for this package for the construction and analysis of finite algebraic structures such as loops, quasigroups, and groups. (Software)
http://groups.yahoo.com/group/finitas |
 |
CLICAL
CLICAL: A calculator type computer program for vectors, complex numbers, quaternions, bivectors, spinors, and multivectors in Clifford algebras. (Software)
http://www.hit.fi/~lounesto/CLICAL.htm |
 |
Computer Algebra Benchmarks
Computer Algebra Benchmarks: Collated by Computer Algebra Fachgruppe, Mannheim. (Software)
http://krum.rz.uni-mannheim.de/cafgbench.html |