Top : Science : Math : Algebra :
Software
Categories
| Derive @ Maple @ Mathcad @ Mathematica @ MATLAB @ MuPAD @ Pari-GP @ UBASIC @ |
Websites
Software for solving algebraic equations: GB computes Groebner bases and FGB solves polynomial systems.
site exerpt
public_html Home Doc Gb Theory Download FGb Home About Us News Software Papers Links Web Page Theory and Practice Benchs Seminaire New Web site of JC Faugere Copyright 2003, JC Faugere (jcf@calfor.lip6.fr All rights reserved Mise jour 11/04/2003 18:07:09)...A new software system devoted to supporting research in algebraic geometry and commutative algebra.
site exerpt
Macaulay 2 home page We hope you will download it, try it out, and give us useful feedback as we continue the development of the program. Macaulay 2 is copyright 1993-2002 by Daniel R. Grayson and Michael E. Stillman. We permit you to use...Abstract for Stanly Steinberg's article in "Comparative CAS Reviews and Philosophy", suggesting 6 ways in which computer algebra systems could be improved.
site exerpt
Computer Algebra and Problem Solving Environments Environments provide a promising new approach for solving modeling problems that occur in engineering and science [1 Such environments will provide easy access to integrated symbolic and numeric computing and this will greatly enhance the tools available to modelers. However,...Mathscribe is free dynamic graphing and modeling software for use in algebra classes. Lesson plans for linears and quadratics are included.
site exerpt
Mathscribe I computer lab assignments below. These exercises use dynamic graphing and guided discovery to strengthen and connect both symbolic and visual reasoning. Short answers are checked automatically. Essay question answers are e-mailed to the teacher at the end of each...A collection of routines, written in C, for computing in the representation theory of classical and symmetric groups, and related areas. Public domain.
site exerpt
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 (2/11/04) ordinary representation theory of the classical groups...A special-purpose system for computations in Commutative Algebra.
site exerpt
CoCoA System Installation instructions CoCoA manual WWW cocoa.dima.unige.it GUI help help.pdf refcard.pdf and more help CoCoA packages news, updates and bug fixes The CoCoA Team Research team in Genova: Conferences and Publications COCOA School 2005 CoCoA Forum CoCoA Wiki Past and present...Computer algebra system that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations. Free download. Documentation.
site exerpt
Fermat, Computer Algebra System Above graphic created with the float version of Fermat. Fermat is a computer algebra system for Macintosh, Windows, Linux, and Unix by me, Robert H. Lewis of Fordham University, that does arithmetic of arbitrarily long integers and fractions, symbolic calculations,...By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference.
site exerpt
Fermat, Computer Algebra System II 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...Personal Algebra Tutor - Enter your algebra problems and get instant step-by-step solutions with explanations.
site exerpt
CyberEd, Inc. Personal Algebra Tutor Algebra unlike other algebra software that only talks about algebra. Enter your college algebra or high school algebra problems from your textbook or other source. The tutors solve them step-by-step and explain the steps. Isn't that the kind of algebra...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).
site exerpt
GiNaC is Not a CAS For the last few years the European Patent Office (EPO) has, contrary to the letter and spirit of the existing law, granted more than 30000 patents on computer-implemented rules of organisation and calculation (programs for computers Now Europe's patent movement...The FRISCO project aims to develop highly efficient, versatile polynomial solvers for industrial users.
site exerpt
The FRISCO Project There are various generic algorithms implemented in commercial algebra systems such as AXIOM, Maple, Mathematica etc. for solving these problems, but in many cases their very generality makes them too inefficient for use on the size of problems encountered in...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.
site exerpt
LAPACK Linear Algebra PACKage The associated matrix factorizations (LU, Cholesky, QR, SVD, Schur, generalized Schur) are also provided, as are related computations such as reordering of the Schur factorizations and estimating condition numbers. Dense and banded matrices are handled, but not general sparse matrices....Online computation of reduced ideal bases.
site exerpt
online gröbner basis [OGB, version 1.0] online grbner basis [OGB] version 1.0 planned for version 1.1: maple interface [G. O'Murchu] arbitrary term orderings [J. O'Connell]...Rings and Computer algebra software, part of OpenXM.
site exerpt
Kan/sm1 M home page to download the OpenXM package After downloading, build the system following the instruction included. The system sm1 will be built under OpenXM/bin. The system has been tested on cygwin (windows Debian, and FreeBSD. Documents Documents for kan/sm1...(v. 1.1a) a software library for numerical linear algebra; however, it does not include all of the capabilities of original f77 LAPACK.
site exerpt
LAPACK Linear Algebra Package in C This package is being superseded by the Template Numerical Toolkit (TNT which utilizes new features of the ANSI C specification. TNT is a newer design, and will integrate the functionlaity of Lapack IML SparseLib and MV LAPACK Linear Algebra PACKage...Computer algebra system for computation in commutative and non-commutative rings and modules. Win32, Unix.
site exerpt
Felix 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...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.
site exerpt
NAG Symbolic Software M symbolic solver is no longer available from NAG. Release 2.3, made available in March 2001 to sites already licensed to use AXIOM, was the last update produced. NAG has released the source code to a consortium of AXIOM users...A version of CoCoA for Windows.
site exerpt
Private Homepage Kurzinfos Private homepages like http www-physik.uni-regensburg.de/~dau12345 do not exist any longer! You find all private homepages of the University using the URL http homepages.uni-regensburg.de/~user-id Private Homepages in der zentralen Unixdomne Stand 14.11.2001 Fritz Wünsch Rudolf Holzer Da der Physik-eigene WAP Server...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.
site exerpt
CREP Home Page P 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. For many applications even...Java applet based online Matrix calculation program for analyzing various simultaneous equations.
site exerpt
Matrix Calculator It is as easy to use as a pocket calculator, but can perform most standard matrix operations for matrices. Matrix Calculator is aimed at teachers preparing coursework, students, or anyone who needs to work practically with matrices, simultaneous equations, etc....Collated by Computer Algebra Fachgruppe, Mannheim.
site exerpt
Computer Algebra Benchmarks 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...A collection of links.
site exerpt
Computer Algebra Pages and Servers 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...Is A Computer algebra system. A semi-classical CAS by Bernard Parisse, available for Windows, Linux.
site exerpt
Xcas is a free computer algebra system for Windows, Mac OS X and Linux/Unix. It has a compatibility mode for maple, mupad and the TI89. It is available as a standalone program (graphic or text interfaces) or as a C...MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms. Downloads, documentation.
site exerpt
MAS The Modula-2 Algebra System S combines imperative programming facilities with algebraic specification capabilities for the design and study of algebraic algorithms. It contains a large library of implemented up-to-date Grbner basis algorithms for nearly all algebraic structures where such methods exist. MAS further includes...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. Linux RPM distribution.
site exerpt
JACAL L 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. New: jacal.1: Documented jacal script. New...Algebra software resources compiled by The Math Forum.
site exerpt
Math Forum: Algebra Software 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...C++ matrix class library which promotes the notational convenience of linear algebraic codes. Free download.
site exerpt
Matrix Expression Templates 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...A free system for computational discrete algebra.
site exerpt
GAP System for Computational Discrete Algebra P is a system for computational discrete algebra, with particular emphasis on ComputationalGroupTheory. GAP provides a programminglanguage, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large datalibraries of algebraic objects. See...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.
site exerpt
Visual Algebra 1 Software Demo will open a new browser window. Please close it to come back here. Visual Algebra I is designed to ease the difficulties many students experience during the transition from arithmetic into the world of algebra. This program will help...Program solves variable equations and gives explanations of steps used.
site exerpt
Algebra Cheat 2 Simplifies any algebraic expression, Solves Simple Equations, Solves Quadratic Equations and Solves Simultaneous equations. A great tool for polynomial multiplication, Algebra Cheat 2 is even capable of polynomial division, try it and see. To help you learn and understand Algebra,...A package for Lie groups by Brian G. Wybourne. DOS, Win32, Unix. Ordering information.
site exerpt
Schur Group Theory Software It is my sad duty to report that Dr. Wybourne passed away recently. He will be very greatly missed. An Interactive Program For Calculating Properties Of Lie Groups and Symmetric Functions Wybourne's Home Page with lots more about Group Theory...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.
site exerpt
The Yacas computer algebra system It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system has a library of scripts that implement many of the symbolic algebra operations; new algorithms can be easily added to the library. YACAS...Evaluate, calculate, simplify and derive symbolic scalar, complex or vector expression. [OpenSource]
site exerpt
cdrnet Math.NET T is a mathematical open source library written in C Math.NET aims to provide a self contained* clean framework for symbolic mathematical (CAS, Computer Algebra System and also for numerical scientific computations. The Math.NET project is covered under the LGPL...Free C software for computing primitive polynomials of degree n modulo p for p^n up to about 2^60.
site exerpt
Software for Computing Primitive Polynomials. C software for a program which generates a primitive polynomial of degree n modulo p. A sample run from the command line pp 13 10 Primpoly Version 5.1 A Program for Computing Primitive Polynomials. Copyright (C) 1999-2005 by Sean Erik...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.
site exerpt
DESCRIPTION OF CMAT T is 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. There is also a DOS version which runs...Savannah Free Software project for revival of Axiom as open source.
site exerpt
Axiom Computer Algebra System Summary [Savannah] Cryptographic software legal notice Anonymous CVS GNU Webmasters Documentation Organization Projects map www project GNU Project Coming Events Brave GNU World Free Software Directory Help GNU GNU Task List Dev Documentation Licenses List GNU Mirrors Axiom Computer Algebra System Summary...An experimental free computer algebra system built on top of GiNaC, CLN and a program to interpret C and C++ commands.
site exerpt
gTybalt Home Page Tybalt a free computer algebra system gTybalt is a free computer algebra system. It is distributed under the terms and conditions of the GNU General Public Licence (GPL Main Features Object Oriented: gTybalt allows symbolic calculations within the C programming...A GPL CAS based on DOE-MACSYMA. A GPL project.
site exerpt
Maxima A GPL CAS based on DOE-MACSYMA Maxima a sophisticated computer algebra system Home FAQ Docs Screen Shots Download Report Bugs Project Page Release Plans Misc Third Party Maxima Code Related Projects Lisp Links Computer Algebra Wiki Mail Lists About Maxima Maxima is a descendant of DOE...A Java package for multivariate polynomials over polymorphic rings.
site exerpt
A Java package for multivariate polynomials over rings Welcome to the home page of ring.perisic.com featuring the Java class package com.perisic.ring which is a package of Java classes for multivariate and univariate polynomials over the rings: Z(integers Q (rational numbers R (real numbers C (complex numbers F_2 (field...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.
site exerpt
Dr. Peter Dobcsanyi X is a program to determine all subgroups of up to a given (low) index in a finitely presented group. The program incorporates three adaptations of the low index subgroups algorithm: standard: finding a representative from each conjugacy class of...Discussion group for this package for the construction and analysis of finite algebraic structures such as loops, quasigroups, and groups.
http://groups.yahoo.com/group/finitas
Helps students with equations and inequalities, simplifying expression, graphing and complex numbers. Includes problem solving exercises.
site exerpt
Algebra Helper Welcome! Well you have landed in the right place! Relief is just around the corner a couple of clicks away. Introducing The Algebra Helper an exciting new algebra learning tool. The Algebra Helper is not your typical algebra homework software. It...A simple opensource library in C++ for arithmetic between elements and polynomials over finite fields.
site exerpt
Galois Field Arithmetic Library The branch in mathematics known as Galois theory (pronounced as gal-wah which is based on abstract algebra was discovered by a young brilliant french mathematician known as Evariste Galois. The branch deals mainly with the analysis and formal description of...By Martin N. Dunstan.
site exerpt
A Tutorial Introduction To AXIOM This document is intended to be a tutorial introduction to the AXIOM (Release 2.0) system and its language. Initially the examples and discussion will relate to the interactive system and the use of input files will be touched on later....A toolbox for computation in finite rings, by Florent Chabaud and Reynald Lercier. ANSI-C source, free download, GPL.
site exerpt
ZEN A toolbox for fast computation in finite extension over finite rings Acknowledgements Authors BUGS Links PIPS documentation example license sources zen zenfact A toolbox for fast computation in finite extension over finite rings Florent Chabaud 3.0 Reynald Lercier. SGDN DCSSI...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.
site exerpt
Macaulay A system for computation in algebraic geometry and commutative algebra This page is www.math.columbia.edu/~bayer/Macaulay Description 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...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 varieties of nonassociative algebras. Download source code in C.
http://www.cs.clemson.edu/~dpj/albertstuff/albert.html
Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory.
site exerpt
SINGULAR Team provides free support for registered users. You may register here. ReleaseJune 2005: Release of SINGULAR version 3.0.0. More Your location: SINGULAR Home Latest News September 2005: The Singular web pages have been revised and equipped with a new css-based...