Directory: Top/Science/Math/Algebra/Software

Top / Science / Math / Algebra / Software /

FRISCO - A Framework for Integrated Symbolic/Numeric Computation
The FRISCO project aims to develop highly efficient, versatile polynomial solvers for industrial users.
http://www.nag.co.uk/projects/FRISCO.html
Nag.co.uk ~ Site Info Whois Trace Route RBL Check

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.
http://netlib2.cs.utk.edu/lapack/
Utk.edu ~ Site Info Whois Trace Route RBL Check

SymbolicNet
Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, and researcher directory.
http://www.symbolicnet.org/
Symbolicnet.org ~ Site Info Whois Trace Route RBL Check

Aldor
Originally an extension to Axiom, now a separate product. Binaries are available free for non-profit use, with documentation, tips, projects and links.
http://www.aldor.org/
Aldor.org ~ Site Info Whois Trace Route RBL Check

KAN
Rings and Computer algebra software, part of OpenXM.
http://www.math.sci.kobe-u.ac.jp/KAN/
Kobe-u.ac.jp ~ Site Info Whois Trace Route RBL Check

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.
http://math.nist.gov/lapack++/
Nist.gov ~ Site Info Whois Trace Route RBL Check

SINGULAR
Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory.
http://www.singular.uni-kl.de/
Uni-kl.de ~ Site Info Whois Trace Route RBL Check

Felix
Computer algebra system for computation in commutative and non-commutative rings and modules. Win32, Unix.
http://felix.hgb-leipzig.de/
Hgb-leipzig.de ~ Site Info Whois Trace Route RBL Check

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.
http://www.nag.co.uk/symbolic_software.asp
Nag.co.uk ~ Site Info Whois Trace Route RBL Check

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.
http://www.mathematik.uni-bielefeld.de/~sek/crep.html
Uni-bielefeld.de ~ Site Info Whois Trace Route RBL Check