Software
Software Links
- CLICAL A calculator type computer program for vectors, complex numbers, quaternions, bivectors, spinors, and multivectors in Clifford algebras.
- Computer Algebra Benchmarks Collated by Computer Algebra Fachgruppe, Mannheim.
- Macaulay 2 A new software system devoted to supporting research in algebraic geometry and commutative algebra.
- 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.
- Free Complex Matrix and Vector classes Two C++ classes: implementations of a matrix and a vector of complex numbers. Free to use for everyone.
- Algebra Problem Solver Personal Algebra Tutor - Enter your algebra problems and get instant step-by-step solutions with explanations.
- WinCoCoA Home Page A version of CoCoA for Windows.
- 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.
- 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.
- 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.
- Derive for Windows Compact, easy to use, reliable computer algebra software. It intelligently applies the rules of algebra, trigonometry, calculus and matrix algebra to solve a wide range of mathematical problems. This nonnumeric approach goes far beyond the capabilities of dedicated statistics packages and equation solvers that use only approximate numerical techniques.
- Felix Computer algebra system for computation in commutative and non-commutative rings and modules.
- MuPAD Free, Open Source computer algebra system for symbolic and numerical computations. Library routines for linear algebra, integration, polynomials, graphics and more. Can generate and be called from C or Fortran code. Started in 1989 and used worldwide. [In English and Deutsch]
- Edu2000 Visual Algebra Visual Algebra is designed to ease the difficulties many students experience during the transition from arithmetic into the world of algebra using visualization technology.
- ZEN A toolbox for computation in finite rings.
- Fermat Computer algebra system that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations. Free download. Documentation.
- Comparison of Polynomial-Oriented Computer Algebra Systems By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference.
- 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 sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities. It is published under the GNU Public License (GPL).
- SINGULAR a Computer Algebra System for polynomial computations with special emphasize on the needs of commutative algebra, algebraic geometry, and singularity theory.
- CoCoA A special-purpose system for computations in Commutative Algebra.
- Seventh Meeting on Computer Algebra and Applications (EACA-2001) The main goal of this series of Meetings on Computer Algebra and Applications (EACA) is to provide a forum for researchers on Computer Algebra as well as for researchers who essentially use these techniques in their investigations. Ezcaray, La Rioja, Spain; 12--14 September 2001.
- RWCA'02 Eighth Rhine Workshop on Computer Algebra. Mannheim, Germany; 21--22 March 2002.
- 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.
- MathPad - Scientific Matrices Calculator Java applet based online Matrix calculation program for analyzing various simultaneous equations.
- SymbolicNet Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, researcher directory and more.
- KAN Rings and Computer algebra software,part of OpenXM.
- 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.
- Computer Algebra Pages and Servers A collection of links.
- Vector Enumerator A program by Steve Linton which constructs finitely-presented modules for finitely-presented algebras over certain fields and rings.
- REDUCE Program for general algebraic computations of interest to mathematicians, scientists and engineers. Over 20 years old. Comes with full source code. Site even lets you run REDUCE remotely on their machine, to test it out.
- Groups & Graphs Groups & Graphs is a software package for graphs, digraphs, combinatorial designs, and their automorphism groups.
- A Tutorial Introduction To AXIOM By Martin N. Dunstan.
- 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.
- Math Forum - Algebra Software Algebra software resources compiled by The Math Forum.
- Mathscribe Mathscribe is free dynamic graphing and modeling software for use in algebra classes. Lesson plans for linears and quadratics are included.
- RWCA'00 Rhine Workshop on Computer Algebra. Bregenz, Austria; 22--24 March 2000.
- Symmetrica collection of routines, written in the programming language C, for doing computations in the representation theory of classical and symmetric groups, and related areas.
- 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.
- FRISCO - A Framework for Integrated Symbolic/Numeric Computation The FRISCO project aims to develop highly efficient, versatile polynomial solvers for industrial users.
- 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.
- GB and FGB Software for solving algebraic equations: GB computes Groebner bases and FGB solves polynomial systems.
- REDUCE IDE Integrated Development Environment for the REDUCE computer algebra system within the GNU Emacs editor. Free download, documentation.
- Sheafhom a set of tools for computation in the category of combinatorial sheaves. It is intended for research involving complexes of sheaves and the derived category
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |