Systems and Packages

Special Purpose Systems

CAIN contains information about the following special purpose Computer Algebra systems and packages. Systems are organized by topic.

Topics

• (Non)Commutative Algebra & Algebraic Geometry

• Differential Equation Solvers & Tools

• Finite Element Analysis

• Group Theory

• High Energy Physics

• Number Theory

• Tensor Calculus

(Non)Commutative Algebra & Algebraic Geometry

• Albert

• Bergman

• CALI

• CASA

• CLICAL

• CLIFFORD

• CoCoA

• FELIX

• GANITH

• GB

• The Grassman package

• GRB

• GROEBNER (from RISC-Linz)

• GROEBNER (REDUCE package)

• IDEALS

• KAN

• Macaulay

• Macaulay 2

• MAS

• NCALGEBRA

• SACLIB

• Singular

• WU

Differential Equation Solvers & Tools

• A review of ODE Solvers

• List of Symmetry Programs (PostScript, gzip-compressed)

• CONTENT: Dynamical System Software

• CRACK

• DELiA

• DESIR

• Diffgrob2 (Manual: PostScript, gzip-formatted)

• DIMSYM

• FIDE

• ODEtools (symmetry methods)

• LIE (A.K. Head, in MuMath)

• liesymm

• ODESOLVE

• PDELIE

• PDEtools package

• Phaser: an Animator/Simulator for Dynamical Systems for IBM PC's

• The Poincare package

• SPDE

• StandardForm

• SYM_DE

• SYMMGRP.MAX (Manual: PostScript, gzip-formatted)

Finite Element Analysis

• PDEase

• SENAC/FEM (PostScipt, gzip-formatted); see also SENAC

Group Theory

• ANU Software

• Cayley

• CHEVIE

• GAP

• GRAPE

• GUAVA

• LiE

• LIE (REDUCE package)

• Magma

• MeatAxe

• The Magnus system for exploring infinite groups

• Schur

• Sisyphos

• Symmetrica

• Weyl Groups and Hecke Algebras

High Energy Physics

• FeynArts

• Foam

• FORM

• The Partials package

• Schoonschip

• Tracer

Number Theory

• Galois

• KANT

• KASH

• LiDIA

• MALM

• NTL

• Numbers

• PARI

• SIMATH

Tensor Calculus

• CARTAN

• Classi

• Eins

• GRTensor

• MathTensor

• Redten

• Ricci

• SHEEP

• STENSOR

• Tensors in Macsyma (R)

• Tools of Tensor Calculus

Go to:
Systems and Packages
CAIN Home page