GAP is a system for discrete computational algebra.

A Computer Algebra System for Polynomial Computations Welcome to SINGULAR Top News: April 2002 Typesetting of the book A SINGULAR Introduction to Commutative Algebra (by G.-M. Greuel and G. Pfister, with contributions by O. Bachmann, C. Lossen and H. Sch nemann) completed. The book includes a CD containing a distribution of SINGULAR version 2-0-3 (for Unix/Windows/Mac platforms) and will appear ...

LAPACK -- Linear Algebra PACKage ( L A P A C K) ( L -A P -A C -K) ( L A P A -C -K) ( L -A P -A -C K) ( L A -P -A C K) ( L -A -P A C -K) ( l l l l ) ( a -a a -a ) 1/4 * ( p p -p -p ) ( a -a -a a ) ( c c -c -c ) ( k -k -k k ) Version 3.0 lapack@cs.utk.edu # Accesses LAPACK is written in Fortran77 and provides routines for solving systems of simultaneous linear equations, least-squares solutions of ...

Macaulay 2 home page ...

CoCoA System Computations in Commutative Algebra Home Page Download CoCoA 4.2 CoCoA manual help.html download: gz, zip GUI help download: tar.gz, zip CoCoA packages news, updates and bug fixes The CoCoA Team Conferences and publications by the Research Team in GENOVA WinCoCoA page in REGENSBURG What is CoCoA Overview (pdf) History Research and Education: Papers and books citing CoCoA Teaching ...

About GiNaC News & Announcements updated July 24 2002 Tutorial view tutorial as PS Developer's Reference view reference as PS CVS tree Mini-FAQ updated February 28 2002 Screenshots Get it now! Related Software CLN Class Library for Numbers CINT C/C++ Interpreter Bug Reports Mailing Lists ToDo List updated March 21 2001 The Authors Christian Bauer Alexander Frink Richard Kreckel Credits GiNaC is ...

Information center for researchers and professionals in the field of symbolic computation, computer algebra, mathematical computation, software, systems, conferences, jobs, calendar, announcements, literature, books, research groups, email directory, live demos ...

JACAL is 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 holonomic functions.

Lapack++ (v. 1.1a) LAPACK++ (Linear Algebra PACKage in C++) is a software library for numerical linear algebra that solves systems of linear equations and eigenvalue problems on high performance computer architectures. Computational support is provided for supports various matrix classes for vectors, non-symmetric matrices, SPD matrices, symmetric matrices, banded, triangular, and tridiagonal ...

Above graphic created with the float version of Fermat. (For best viewing, set your monitor to at least thousands of colors.) Fermat is a computer algebra system for Macintosh and Windows by me, Robert H. Lewis of Fordham University, that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, matrices over polynomial rings, graphics, and other numerical calculations.

SYMMETRICA Symmetrica is a program developed by Lehrstuhl Mathematik II of the University of Bayreuth. It has routines to handle the following topics ordinary representation theory of the symmetric group and related groups ordinary representation theory of the classical groups modular representation theory of the symmetric group projective representation theory of the symmetric group ...

Designed and maintained by S. Christensen . | Schur Group Theory Software | by Brian G. Wybourne | An Interactive Program For Calculating Properties Of Lie Groups and Symmetric Functions | Wybourne's Home Page with lots more about Group Theory and Schur . | Version Schur 5.2 | Platforms currently supported: | Pricing and Ordering | What is Schur

Mathscribe is a free dynamic graphing and mathematical modeling tool designed for algebra, trigonometry and precalculus students.

AXIOM is a powerful computer algebra system which provides a complete environment for anyone needing to manipulate and solve mathematical formulae. Its application is wide-ranging, from pure mathematics research through branches of physics, chemistry, biology and engineering to financial modelling and cryptography.

Computer Algebra Benchmarks Benchmark Initiative, Computer Algebra Fachgruppe of GI, DMV and GAMM Abstract: The initiative will discuss, develop, define, collect all facettes of this challenging problem. It should analyse and develop test suites but also define standard examples for the various topics of computer algebra where algorithm and system developer can test their newly developed and ...

CREP 1.3 Introduction+ History and Future+ Abilities and Structure+ Examples + Manuals and Background Literature+ Availability and System Requirements+ Information+ Links Introduction 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 ...

Personal Algebra Tutor Algebra Software - Enter your algebra problems into the tutor and get instant help with step-by-step solutions with explanations and tutorial.

Online gr bner basis calculations ...

Math Forum - Algebra Software Algebra Resources Math by Subject K12 Topics algebra arithmetic calculus discrete math geometry pre-calculus prob/stat Advanced Topics analysis calculus diff. equations game theory discrete math geometry (coll.) geometry (adv.) linear algebra modern algebra num. analysis Software for Algebra This list contains what we feel is some of the best algebra software. For a ...

Computer Algebra and Problem Solving Environments Stanly Steinberg (stanly@math.unm.edu) in Comparative CAS Reviews and Philosophy, organized by Michael Wester Abstract: Problem Solving Environments provide a promising new approach for solving modeling problems that occur in engineering and science . Such environments will provide easy access to integrated symbolic and numeric computing and this ...

MET - Matrix Expression Templates Goals of MET - Promoting the code Reusability MET is a C++ matrix class library which promotes the notational convenience of linear algebraic codes but is free of the overhead of superfluous temporary matrix objects. Instead of coding tedious loops for the linear algebraic expression in C or fortran, C++ overloaded operators enable one to write the simplest code ...

Authors Joachim Apel, Uwe Klaus Title Felix Short description Special computer algebra system for the computation in commutative and non-commutative rings and modules. The central method is Buchberger's algorithm and its generalizations to non-commutative rings, in particular to free k-algebras and algebras of solvable type. Among the implemented applications there are syzygy computations and ...

Algebra Cheat 1 Enter an Algebra expression or equation and press the simplify button, immediately the simplified version of expression is shown. A great tool for polynomial multiplication, Algebra Cheat 1 is even capable of polynomial division, try it and see. To help you learn and understand Algebra, Algebra Cheat 1 also provides an explanation of how the simplification was done. Algebra Cheat ...

Comparison of Polynomial-Oriented Computer Algebra Systems (Preliminary Report) Robert H. Lewis and Michael Wester This paper was presented as a poster to the 1999 ISSAC Conference, Vancouver, British Columbia, 28-31 July 1999. Exact symbolic computation with polynomials and matrices over polynomial rings has wide applicability to many fields. By exact symbolic we mean computation with ...

Computer Algebra Pages and Servers In Europe Computer Algebra Netherlands CAIN - Computer Algebra Information Network, Amsterdam. PoSSo WWW Server PoSSo IBP Paris RSIC Linz MuPAD WWW Server Reduce WWW Server Matematica WWW Server Bibliographies on Computational Mathematics Tutorial on FORM Maple OpenMath Specification as of July 1994, OpenMath Objectives (K ln, old). Not in Europe Symbolic Net ...

Info Help Applet Load Home ...

Lehrstuhl Prof. Weispfenning Mittwoch 14 Aug 2002 22:10 MAS - The Modula-2 Algebra System The current version of MAS is 1.00, released 27 Oct 1996. MAS (Modula-2 Algebra System) is an experimental computer algebra system. MAS combines imperative programming facilities with algebraic specification capabilities for the design and study of algebraic algorithms. It contains a large library of ...